Benchmark Result Comparison

KoAT PUBS Rank Loopus
All 669 669 632 658
Bounded 321 279 84 386
Timeouts 279 58 6 6
Failed 69 332 542 266
Runtime without Timeouts 621 sec 998 sec 173 sec 226 sec
O(1) O(log n) O(n) O(n log n) O(n2) O(n3) O(n>=4) EXP
KoAT 121 0 143 0 54 0 3 0
PUBS 116 5 129 5 15 4 0 5
Rank 56 0 19 0 8 1 0 0
Loopus 134 0 152 0 81 15 4 0
Show examples where
Source File KoAT PUBS Rank Loopus
Bound Degree Time ms Bound Degree Time ms Bound Degree Time ms Bound Degree Time ms
1.t2.c TIMEOUT FAILED 403 FAILED 40 FAILED 1000
1394-fail.t2.c TIMEOUT TIMEOUT FAILED 43 FAILED 1000
1394-succeed.t2.c TIMEOUT TIMEOUT FAILED 44 FAILED 1000
1394complete-fail.t2.c TIMEOUT TIMEOUT FAILED 42 FAILED 500
1394complete-succeed.t2.c TIMEOUT TIMEOUT FAILED 43 FAILED 1000
2.t2.c TIMEOUT FAILED 394 FAILED 43 FAILED 500
232.t2.c A^2 + 3*A + 2 O(n2) 207 FAILED 70 max((1 + 1), ((1 + (((3 / 2... O(n2) 62 -2 + (-2 + max(call_to_non... O(n2) 500
241.t2.c A^2 + 3*A + 2 O(n2) 208 FAILED 71 max((1 + 1), ((1 + (((3 / 2... O(n2) 59 -2 + (-2 + max(call_to_non... O(n2) 500
3.t2.c FAILED 121 FAILED 61 FAILED 53 FAILED 500
5.t2.c TIMEOUT FAILED 275 FAILED 42 1 (no loops) O(1) 500
6.t2.c FAILED 130 FAILED 62 FAILED 51 FAILED 500
7.t2.c TIMEOUT FAILED 70 FAILED 49 FAILED 500
ABC_ex01.c 4*A + 4*B + 6 O(n) 138 (4 + (2 * max(0, ((A + B) +... O(n) 78 FAILED 59 a - b O(n) 500
ABC_ex02.c 69*B + 72*B^2 + 19 O(n2) 344 (5 + (3 * max(0, B))) O(n) 89 FAILED 75 b + -1 + b × (b + -1) O(n2) 500
ABC_ex03.c 964348*B + 2666040*B^2 + 37... O(n6) 852 (4 + (max(0, B) * ((5 + (ma... O(n3) 174 FAILED 146 b + -1 + (b + -1) × (-1 + ... O(n4) 500
ABC_ex04.c TIMEOUT FAILED 78 FAILED 39 -1 + (n + -1) × (-1 + (( n... O(n5) 500
ABC_ex05.c 141*B + 72*B^2 + 66 O(n2) 365 (5 + (3 * max(0, B))) O(n) 109 FAILED 74 b + -1 + (b + -1) × (-1 + ... O(n2) 500
ABC_ex06.c 137*B + 84*B^2 + 58 O(n2) 313 (5 + (3 * max(0, B))) O(n) 90 FAILED 76 b + -1 + (b + -2) × (b + -1) O(n2) 500
ABC_ex07.c 33*B + 12*B*D + 8*D + 26 O(n2) 375 (5 + (3 * max(0, B))) O(n) 99 FAILED 80 b + -1 + (b + -1) × (d + -1) O(n2) 500
ABC_ex08.c 21*A + 12*A*B + 4*B + 11 O(n2) 273 (5 + (3 * max(0, A))) O(n) 89 FAILED 75 a + -1 + (a + -1) × (b + -1) O(n2) 500
ABC_ex09.c 33*B + 12*B*D + 8*D + 26 O(n2) 372 (5 + (3 * max(0, B))) O(n) 99 FAILED 85 b + -1 + (d + -1) × (b + -1) O(n2) 500
ABC_ex10.c 33*A + 12*A*B + 4*B + 15 O(n2) 320 (5 + (3 * max(0, A))) O(n) 91 FAILED 79 b + -1 + (a + -1) × (b + -1) O(n2) 500
ABC_ex11.c 21*A + 12*A*B + 4*B + 11 O(n2) 278 (5 + (3 * max(0, A))) O(n) 85 FAILED 74 a + -1 + (a + -1) × (b + -1) O(n2) 500
ABC_ex12.c 21*A + 24*A*B + 8*B + 11 O(n2) 279 (5 + (3 * max(0, A))) O(n) 90 FAILED 76 0 O(1) 500
ABC_ex13.c 239*A + 231*B + 1280*A*D + ... O(n4) 704 (10 + (3 * max(0, ((A + B) ... O(n) 145 FAILED 151 b + (b - a) × (d - c) + (... O(n3) 500
ABC_ex14.c 4249295*A + 10229904*A*B + ... O(n8) 809 (4 + (max(0, A) * ((6 + (ma... O(n3) 175 FAILED 165 b + -1 + (a + -1) × (b + -... O(n4) 500
ABC_ex15.c TIMEOUT (4 + (max(0, A) * ((6 + (ma... O(n3) 254 FAILED 232 n + -1 + (n + -1) × (m + -... O(n4) 500
FGPSF09-Beerendonk_01.c A + B + 1 O(n) 102 (1 + max(0, (A - B))) O(n) 73 FAILED 53 a + -1 + -b O(n) 500
FGPSF09-Beerendonk_02.c A + B + 1 O(n) 139 (1 + max(0, (((A / 2) - (B ... O(n) 75 FAILED 53 a + -1 + -b O(n) 500
FGPSF09-Beerendonk_03.c A + B + 1 O(n) 114 (1 + max(0, (A - B))) O(n) 76 FAILED 48 a + -1 + -b O(n) 500
FGPSF09-Beerendonk_04.c 2 O(1) 22 1+log(4,3+nat(A/2-B/2+1/2)) O(log n) 69 FAILED 58 a + -1 + -b O(n) 500
FGPSF09-Beerendonk_05.c 2 O(1) 23 (1 + max(0, A)) O(n) 66 max(((2 + 1) + 1)) O(1) 57 1 O(1) 500
FGPSF09-Beerendonk_06.c 2 O(1) 23 (1 + max(0, A)) O(n) 66 max(((2 + 1) + 1)) O(1) 54 1 O(1) 500
FGPSF09-Beerendonk_07.c 2 O(1) 22 (1 + max(0, ((A / 3) + (2 /... O(n) 71 max(((4 + 1) + 1)) O(1) 58 1 O(1) 1000
FGPSF09-Beerendonk_08.c A + 1 O(n) 124 (1 + max(0, B)) O(n) 73 FAILED 56 b + -1 O(n) 500
FGPSF09-Beerendonk_09.c B + C + 1 O(n) 154 (1 + max(0, (B + C))) O(n) 81 FAILED 59 a + -1 + -b O(n) 500
FGPSF09-Beerendonk_10.c 2*A + 2 O(n) 121 (1 + max(0, A)) O(n) 79 FAILED 109 FAILED 500
FGPSF09-Beerendonk_11.c B + 6 O(n) 160 (1 + max(0, B)) O(n) 113 FAILED 63 b + b + 1 + max(-1, min(-1,... O(n) 500
FGPSF09-Beerendonk_13.c A + 2 O(n) 108 (1 + max(0, A)) O(n) 78 FAILED 54 a + max(-1, min(-1, (-1 - b))) O(n) 500
FGPSF09-Beerendonk_15.c 2*A + 2*B + 1 O(n) 172 (1 + max(0, (A + B))) O(n) 86 FAILED 43 b + a + -1 O(n) 500
FGPSF09-Beerendonk_16.c 2*A + 2*B + 2*C + 1 O(n) 184 (1 + max(0, (A + B))) O(n) 108 FAILED 40 a + b + -1 + -c O(n) 500
FGPSF09-Beerendonk_17.c 3*A + 3*B + 1 O(n) 313 (1 + max(0, (A + B))) O(n) 101 FAILED 58 b + a + -2 + a × 2 O(n) 500
FGPSF09-Beerendonk_18.c 2*A + B + 2 O(n) 333 FAILED 77 FAILED 44 a + b + -2 O(n) 500
FGPSF09-Beerendonk_19.c 2*A + 3*B + C + 2 O(n) 378 FAILED 87 FAILED 47 c + a + -2 + -b + -b O(n) 500
FGPSF09-Beerendonk_20.c A + 3 O(n) 152 1+log(4,3+nat(A))* (2+nat(A)) O(n log n) 78 FAILED 58 a + a + -2 O(n) 500
FGPSF09-Beerendonk_21.c A + B + 3 O(n) 170 1+log(4,3+nat(A-B))* (2+nat... O(n log n) 87 FAILED 64 a + a + -2 + -b + -b O(n) 500
FGPSF09-Beerendonk_22.c 4*A + B + 7 O(n) 169 FAILED 85 FAILED 57 FAILED 500
FGPSF09-Beerendonk_23.c 4*A + 5*B + C + 7 O(n) 208 FAILED 94 FAILED 64 FAILED 500
FGPSF09-Beerendonk_24.c 2*A + 2*B + 7 O(n) 201 1+log(4,3+nat(A/2+B-1/2))*m... O(n log n) 103 FAILED 62 a + a + b + b + -4 O(n) 500
FGPSF09-CAV02_practical1.c 13*A + 12*A^2 + 4 O(n2) 232 (1 + (max(0, (A + 1)) * (2 ... O(n2) 83 FAILED 56 a + a × (a + -1) O(n2) 500
FGPSF09-CAV02_practical2.c 4137*B + 20*B^2 + 211282 O(n2) 2638 FAILED 531 FAILED 145 309 + 9 × (99 - b) + -b + ... O(n) 500
FGPSF09-CAV05_c.05.c 2*A + 2*B + 3 O(n) 276 (1 + max(0, ((A + B) - 1))) O(n) 98 FAILED 50 a + -2 O(n) 1000
FGPSF09-ESOP08_abstractions.c TIMEOUT FAILED 82 FAILED 59 a + -1 O(n) 500
FGPSF09-LICS04_c.01.c 12*A + 2*A^2 + 17 O(n2) 191 1+nat(A+1)* (2+log(2,1+nat(... O(n log n) 84 FAILED 53 a + a × (a + -2) O(n2) 500
FGPSF09-LICS04_choice.c TIMEOUT FAILED 73 FAILED 59 a + -1 O(n) 500
FGPSF09-PLDI06_c.03.c 5*A + 2*B + 3*C + 4 O(n) 210 FAILED 81 FAILED 58 a + -1 + max(b, a) + -b + -c O(n) 500
FGPSF09-PLDI06_c.04.c A + B + 2 O(n) 144 (1 + max(0, ((B + C) - 1))) O(n) 111 FAILED 53 a + -1 + -b O(n) 500
FGPSF09-RTA08_round.c FAILED 192 FAILED 48 not analyzed not analyzed
FGPSF09-SAS05_c.02.c 32*A + 6*A^2 + 41 O(n2) 302 (1 + (max(0, (A + 1)) * (2 ... O(n2) 97 FAILED 58 a + a × (a + -1) O(n2) 500
FGPSF09-TACAS01_terminate.c A + B + C + 102 O(n) 153 (1 + max(0, ((((A / 2) + (B... O(n) 103 FAILED 57 100 - a O(n) 500
FGPSF09-VMCAI04_complete1.c A + B + 1 O(n) 117 (1 + max(0, (A - B))) O(n) 78 FAILED 54 a + -1 + -b O(n) 500
FGPSF09-VMCAI04_complete2.c TIMEOUT FAILED 74 FAILED 57 FAILED 500
FGPSF09-VMCAI04_complete3.c 13*A + 12*A^2 + 4 O(n2) 234 (1 + (max(0, (A + 1)) * (2 ... O(n2) 84 FAILED 58 a + a × (a + -1) O(n2) 500
FGPSF09-VMCAI04_complete4.c TIMEOUT FAILED 74 FAILED 59 b + a + a × max(call_to_no... O(n2) 500
FGPSF09-VMCAI05_poly1.c TIMEOUT FAILED 78 FAILED 40 FAILED 500
FGPSF09-VMCAI05_poly2.c TIMEOUT FAILED 78 FAILED 51 FAILED 500
FGPSF09-VMCAI05_poly3.c TIMEOUT FAILED 86 FAILED 40 FAILED 1000
FGPSF09-VMCAI05_poly4.c 2*A + 2*B + 2*C + 2*D + 1 O(n) 588 FAILED 123 FAILED 75 c + a + -2 + -b + -d O(n) 500
FGPSF09-new_randomFullUpDown.c FAILED 702 FAILED 61 not analyzed not analyzed
FGPSF09-new_unsatCond2.c FAILED 109 FAILED 87 FAILED 45 FAILED 500
FGPSF09-patrs-pasta_a.01.c 7*A + 2*A^2 + 7 O(n2) 221 (1 + (max(0, A) * (2 + max(... O(n2) 80 FAILED 59 a + -1 + (a + -2) × (a + -1) O(n2) 500
FGPSF09-patrs-pasta_a.02.c TIMEOUT FAILED 206 FAILED 78 FAILED 500
FGPSF09-patrs-pasta_a.03.c 120*A + 142*B + 22*A*B + 12... O(n2) 760 max((1 + (max(0, ((A + B) -... O(n2) 429 FAILED 70 b + b + a + a + -8 O(n) 500
FGPSF09-patrs-pasta_a.04.c A + B + 1 O(n) 92 (1 + max(0, (A - B))) O(n) 72 FAILED 55 a + -1 + -b O(n) 500
FGPSF09-patrs-pasta_a.05.c A + B + 1 O(n) 111 (1 + max(0, (A - B))) O(n) 85 FAILED 56 a + -1 + -b O(n) 500
FGPSF09-patrs-pasta_a.06.c A + B + C + 1 O(n) 153 (1 + max(0, ((((A / 2) - (B... O(n) 85 FAILED 55 a + -1 + -c + -b O(n) 500
FGPSF09-patrs-pasta_a.07.c A + C + 1 O(n) 153 (1 + max(0, (A - C))) O(n) 85 FAILED 56 a + -1 + -b O(n) 500
FGPSF09-patrs-pasta_a.08.c A + B + 1 O(n) 135 (1 + max(0, (A - B))) O(n) 77 FAILED 53 a + -1 + -b O(n) 500
FGPSF09-patrs-pasta_a.09.c A + B + 2 O(n) 128 (1 + max(0, ((A - B) + 1))) O(n) 84 FAILED 47 a - b O(n) 500
FGPSF09-patrs-pasta_a.10.c 2*A + 2*B + A^2 + 2*A*B + B... O(n2) 264 FAILED 74 FAILED 56 FAILED 500
FGPSF09-patrs-pasta_a.11.c 18*A + 8*B + 10*C + 12 O(n) 564 FAILED 92 FAILED 65 a + -1 + -b O(n) 500
FGPSF09-patrs_div.c A + B + 3 O(n) 127 (2 + max(0, (B - 1))) O(n) 75 FAILED 48 b + -1 + -a O(n) 500
FGPSF09-patrs_increase1.c A + B + 1 O(n) 92 (1 + max(0, (A - B))) O(n) 77 FAILED 55 a + -1 + -b O(n) 500
FGPSF09-patrs_increase2.c 2*A + 2*B + 2*C + 1 O(n) 177 (1 + max(0, ((A - B) - C))) O(n) 97 FAILED 60 a + -1 + -b + -c O(n) 500
FGPSF09-patrs_increase3.c 4*A + 2*B + 2*C + 3 O(n) 179 (1 + max(0, ((((2 * A) - B)... O(n) 93 FAILED 57 a + -1 + -b O(n) 500
FGPSF09-patrs_increase4.c A + B + 1 O(n) 133 (1 + max(0, (A - B))) O(n) 89 FAILED 53 a + -1 + -b O(n) 500
FGPSF09-patrs_random_full_no_wrap.c FAILED 824 FAILED 63 not analyzed not analyzed
FGPSF09-patrs_random_no_wrap.c 24*A + 7 O(n) 62 (2 + (4 * max(0, A))) O(n) 62 not analyzed not analyzed
FGPSF09-patrs_sqrt.c D + 2 O(n) 326 (2 + max(0, ((D / 2) + (1 /... O(n) 99 FAILED 51 d + -1 O(n) 500
FGPSF09-patrs_sumto_no_if.c A + B + 3 O(n) 101 (2 + max(0, ((A + B) + 1))) O(n) 75 FAILED 56 b - a O(n) 500
KoAT-2013_sect1-lin.c 2*A + B + 4 O(n) 221 FAILED 80 FAILED 58 b + a + a + -3 O(n) 500
KoAT-2013_sect1-quad.c 3*A + B + A^2 + 3 O(n2) 264 FAILED 61 FAILED 51 a + b + -2 + a × (a + -1) O(n2) 500
KoAT-2013_sect2.c 8*B + 2*B^2 + 8 O(n2) 405 FAILED 131 FAILED 73 b + b + -3 + (b + -3) × (b... O(n2) 500
KoAT-2013_sect4-facSum.c 105*B + 11*B^2 + 56 O(n2) 401 (2 + (max(0, (B + 1)) * (6 ... O(n2) 69 not analyzed not analyzed
KoAT-2013_sect5-len.c B + 2 O(n) 170 (2 + max(0, B)) O(n) 74 FAILED 54 b + -1 O(n) 500
KoAT-2013_sect5-sumSum.c 4*B + 6*B^2 + 1 O(n2) 470 (1 + (max(0, B) * (2 + max(... O(n2) 103 FAILED 52 b + -1 + (b + -2) × (b + -1) O(n2) 500
Loop.t2.c TIMEOUT TIMEOUT FAILED 42 1 (no loops) O(1) 500
Loopus_Example1.c 804*B + 220*B^2 + 736 O(n2) 2953 FAILED 108 FAILED 134 max((b + -1), min((b + -2),... O(n) 500
Loopus_Example2.c TIMEOUT TIMEOUT FAILED 1312 FAILED 1000
Loopus_Example3.c FAILED 1349 FAILED 83 FAILED 69 507 + 254 × (254 - a) + -a O(n) 500
Rank_ex1.c FAILED 7136 FAILED 424 FAILED 178 b + b × b O(n2) 500
Rank_ex2.c 41*B + 5*B^2 + 38 O(n2) 645 (6 + (4 * max(0, (B / 2)))) O(n) 123 FAILED 125 b + b + -2 + (b + -2) × (b... O(n3) 500
Rank_ex3.c 61*B + 9*B^2 + 84 O(n2) 965 FAILED 129 FAILED 240 b + b + -3 + (b + -2) × (b... O(n2) 500
SAS10_aaron2.c 4*C + 4*E + 7 O(n) 990 FAILED 92 FAILED 72 x - y O(n) 500
SAS10_ackermann.c 16*A + 4 O(n) 244 (5 + (4 * max(0, A))) O(n) 103 max((((((((((1 + A) + 1) + ... O(n) 105 a + -1 O(n) 500
SAS10_ax.c TIMEOUT FAILED 128 max((((1 + 1) + 1) + 1), ((... O(n2) 124 n + n + -3 + (n + -2) × (n... O(n2) 500
SAS10_complex.c 193*A + 32*C + 6550 O(n) 1436 FAILED 88 TIMEOUT 30 + (30 - a) × ((29 - b) ... O(n2) 500
SAS10_counterex1.c TIMEOUT FAILED 100 max(((((((1 + 1) + 1) + (1 ... O(n) 234 FAILED 500
SAS10_cousot9.c TIMEOUT FAILED 79 max((((1 + 1) + 1) + 1), ((... O(n) 130 j + N + N × N O(n2) 500
SAS10_determinant.c TIMEOUT ((5 + (2 * max(0, (A - 1)))... O(n) 281 max((((((((1 + 1) + A) + ((... O(n3) 160 -1 + (-2 + min(a, (a + 1))... O(n3) 1000
SAS10_easy1.c 126 O(1) 901 FAILED 88 max(((((1 + 40) + 1) + 1) +... O(1) 118 40 O(1) 500
SAS10_easy2.c A + 4 O(n) 480 (3 + max(0, (A - 1))) O(n) 143 max(((((1 + 1) + A) + 1) + ... O(n) 80 z O(n) 500
SAS10_exmini.c 2*A + 2*E + G + 106 O(n) 426 (3 + max(0, ((A - G) + 201))) O(n) 252 FAILED 74 100 - i O(n) 500
SAS10_gcd.c 4*A + 4*C + 14 O(n) 778 FAILED 85 FAILED 68 y + x + -2 O(n) 500
SAS10_insertsort.c TIMEOUT ((5 + (max(0, (A - 2)) * (3... O(n2) 619 max((((1 + 1) + 1) + 1), ((... O(n2) 213 length + -1 + (length + -2... O(n2) 500
SAS10_loops.c TIMEOUT FAILED 79 FAILED 70 n + n × (n + -1) O(n2) 500
SAS10_maccarthy91.c 8*A + 1563 O(n) 1172 FAILED 219 FAILED 149 310 + 9 × (100 - x) + -x +... O(n) 500
SAS10_nd_loop.c 43 O(1) 274 21 O(1) 98 max((((((1 + 10) + 1) + 9) ... O(1) 84 FAILED 500
SAS10_ndecr.c A + 4 O(n) 185 (3 + max(0, (A - 2))) O(n) 101 max(((((1 + 1) + (1 + A)) +... O(n) 71 n + -2 O(n) 500
SAS10_nestedLoop.c TIMEOUT FAILED 153 FAILED 254 m × min(n, N) + min(n, N) ... O(n2) 500
SAS10_perfect.c TIMEOUT FAILED 215 FAILED 98 FAILED 500
SAS10_random1d.c 2*A + 7 O(n) 568 (3 + max(0, (A - 1))) O(n) 266 max(((((1 + 1) + A) + 1) + ... O(n) 89 max + -1 O(n) 500
SAS10_random2d.c 22*A + 8 O(n) 1608 (4 + (2 * max(0, (A - 1)))) O(n) 5932 FAILED 237 N O(n) 500
SAS10_realbubble.c TIMEOUT FAILED 467 FAILED 213 length + length + -2 + (le... O(n2) 500
SAS10_realheapsort.c TIMEOUT FAILED 598 FAILED 50 FAILED 500
SAS10_realselect.c 12*A + 19 O(n) 1212 (5 + max(0, (A - 2))) O(n) 6607 FAILED 220 array_size + -1 + (array_s... O(n2) 500
SAS10_realshellsort.c TIMEOUT FAILED 1369 FAILED 47 FAILED 500
SAS10_relation1.c 3 O(1) 26 3 O(1) 70 FAILED 56 1 O(1) 500
SAS10_rsd.c TIMEOUT FAILED 92 FAILED 81 -1 + r × 2 + r × 2 + (-1... O(n2) 500
SAS10_sipmabubble.c TIMEOUT FAILED 95 max(((((1 + 1) + (1 + A)) +... O(n2) 264 n + n × (n + -1) O(n2) 500
SAS10_speedFails4.c 2*B + 2*C + 7 O(n) 975 FAILED 111 FAILED 92 FAILED 500
SAS10_speedpldi2.c 6*G + 9 O(n) 584 (3 + (2 * max(0, (G - 1)))) O(n) 458 max((((1 + 1) + 1) + 1), ((... O(n) 203 FAILED 500
SAS10_speedpldi3.c TIMEOUT FAILED 185 max(((((((1 + 1) + (C * A))... O(n2) 341 m + n + m × n O(n2) 500
SAS10_speedpldi4.c 2*A + 2*C + 17 O(n) 552 ((6 + max(0, (A + C))) + ma... O(n) 238 FAILED 70 FAILED 500
SAS10_terminate.c A + E + 207 O(n) 401 (3 + max(0, ((A - E) + 201))) O(n) 254 FAILED 73 100 - i O(n) 500
SAS10_wcet1.c 3*A + 13 O(n) 932 (3 + max(0, (A - 2))) O(n) 906 FAILED 93 n + -1 O(n) 500
SAS10_wcet2.c 44*A + 221 O(n) 1012 FAILED 91 TIMEOUT 2 + 9 × (2 - i) + -i O(n) 500
SAS10_while2.c TIMEOUT FAILED 129 max((((1 + 1) + 1) + 1), ((... O(n2) 110 N + N × N O(n2) 500
SAS10_wise.c 2*A + 2*C + 14 O(n) 430 FAILED 82 max(((((1 + 1) + ((2 + (1 *... O(n) 110 FAILED 500
SPEED-CAV09_ex1.c 10*C + 898 O(n) 931 FAILED 81 FAILED 77 c + 98 O(n) 500
SPEED-CAV09_ex2.c 15*C + 3*D + 9*C*D + 9 O(n2) 1080 FAILED 93 FAILED 83 d + c + -2 + (d + -1) × (c... O(n2) 500
SPEED-CAV09_ex3.c 90*B + 5 O(n) 402 FAILED 97 FAILED 101 b + b + -2 O(n) 500
SPEED-PLDI09_Example2.c TIMEOUT FAILED 108 FAILED 97 FAILED 500
SPEED-PLDI09_Example3.c 136*B + 20*A + 30*A*B + 105... O(n2) 1235 FAILED 132 FAILED 135 b + a + -2 + (b + -1) × (a... O(n2) 500
SPEED-PLDI09_Example4.c TIMEOUT FAILED 94 FAILED 103 FAILED 1000
SPEED-PLDI09_Example5.c 9*B + 15*A + 27*C + 24*A*C ... O(n2) 792 FAILED 86 FAILED 83 b + -2 + (b + -1) × (a + -1) O(n2) 500
SPEED-PLDI09_Example6.c 28*D + 7*G + 27 O(n) 779 FAILED 445 FAILED 171 d + g + g + -3 O(n) 500
SPEED-PLDI09_NestedLoop.c TIMEOUT FAILED 250 FAILED 188 (b + -1) × max((c + -1), (... O(n2) 500
SPEED-PLDI09_cyclic.c TIMEOUT FAILED 152 FAILED 112 FAILED 500
SPEED-PLDI10_Ex1.c FAILED 7292 FAILED 89 FAILED 110 a + -1 + (a + -2) × (a + -1) O(n2) 500
SPEED-PLDI10_Ex2.c FAILED 1441 FAILED 85 FAILED 93 FAILED 500
SPEED-PLDI10_Ex3.c FAILED 1274 FAILED 84 FAILED 88 FAILED 500
SPEED-PLDI10_Ex4.c 110*A + 33 O(n) 519 FAILED 84 FAILED 101 FAILED 500
SPEED-PLDI10_Ex5.c FAILED 2371 FAILED 118 FAILED 120 FAILED 500
SPEED-PLDI10_Ex6.c 6*A + 9*C + 3*B + 5 O(n) 1042 FAILED 87 FAILED 79 c + -1 + max(c, b) + -a + -b O(n) 500
SPEED-PLDI10_Ex7.c TIMEOUT FAILED 97 FAILED 82 FAILED 500
SPEED-POPL09_Dis1.c 9*A + 9*B + 10*C + 10*D + 7 O(n) 805 FAILED 92 FAILED 86 c + a + -2 + -d + -b O(n) 500
SPEED-POPL09_Dis2.c 6*A + 9*B + 3*C + 5 O(n) 1015 FAILED 83 FAILED 52 a + -1 + max(c, a) + -b + -c O(n) 500
SPEED-POPL09_NestedMultiple.c TIMEOUT (6 + (3 * max(0, (A + B)))) O(n) 145 FAILED 123 FAILED 500
SPEED-POPL09_NestedMultipleDep.c 15*B + 12*B*E + 4*E + 9 O(n2) 404 (5 + (3 * max(0, B))) O(n) 113 FAILED 90 b + -1 + (b + -1) × (e + -1) O(n2) 500
SPEED-POPL09_NestedSingle.c 48*B + 16 O(n) 335 FAILED 85 FAILED 69 b + b + -2 O(n) 500
SPEED-POPL09_SequentialSingle.c 21*B + 6 O(n) 324 ((6 + (3 * max(0, B))) + (2... O(n) 110 FAILED 86 b + b + b + -3 O(n) 500
SPEED-POPL09_SimpleMultiple.c 9*C + 10*D + 7 O(n) 984 FAILED 90 FAILED 88 c + d + -2 O(n) 500
SPEED-POPL09_SimpleMultipleDep.c 15*C + 3*D + 9*C*D + 9 O(n2) 1082 FAILED 90 FAILED 58 d + c + -2 + (d + -1) × (c... O(n2) 500
SPEED-POPL09_SimpleSingle.c 4*B + 6 O(n) 160 (4 + (2 * max(0, B))) O(n) 81 FAILED 58 b + -1 O(n) 500
SPEED-POPL09_SimpleSingle2.c 20*D + 12*C + 17 O(n) 513 FAILED 115 FAILED 105 d + c + -2 O(n) 500
WTC_aaron2.c 35*A + 28*B + 28*C + 13 O(n) 344 (4 + (3 * max(0, ((B - C) +... O(n) 134 FAILED 90 b - c O(n) 500
WTC_ax.c 23*C + 12*C^2 + 14 O(n2) 369 (7 + (3 * max(0, (C - 2)))) O(n) 92 FAILED 80 c + c + -5 + (c + -3) × (c... O(n2) 500
WTC_complex.c TIMEOUT FAILED 96 FAILED 127 FAILED 500
WTC_counterex1b.c TIMEOUT FAILED 197 FAILED 191 FAILED 500
WTC_cousot9.c TIMEOUT FAILED 91 FAILED 83 c + d + -2 + (c + -1) × (c... O(n2) 500
WTC_easy1.c 830 O(1) 298 124 O(1) 96 FAILED 69 39 O(1) 500
WTC_easy2.c 4*A + 6 O(n) 116 (4 + (2 * max(0, A))) O(n) 73 FAILED 52 a + -1 O(n) 500
WTC_exmini.c 2*A + 2*B + 2*C + 207 O(n) 200 (4 + (2 * max(0, ((((A / 2)... O(n) 95 FAILED 64 b - c O(n) 500
WTC_gcd.c TIMEOUT FAILED 82 FAILED 85 FAILED 500
WTC_insertsort.c 716*B + 384*B^2 + 325 O(n2) 469 (6 + (4 * max(0, (B - 1)))) O(n) 111 FAILED 108 b + -2 + (b + -2) × (b + -2) O(n2) 500
WTC_loops.c TIMEOUT (5 + (4 * max(0, (A + 1)))) O(n) 88 FAILED 86 a + -2 + (a + -3) × (a + -2) O(n2) 500
WTC_nd_loop.c 15 O(1) 120 13 O(1) 74 max((((((1 + 1) + 3) + 1) +... O(1) 60 FAILED 500
WTC_ndecr.c 4*A + 6 O(n) 158 (4 + (2 * max(0, (A - 2)))) O(n) 71 FAILED 55 a + -3 O(n) 500
WTC_nestedLoop.c TIMEOUT FAILED 140 FAILED 250 (b + -1) × max((c + -1), (... O(n2) 500
WTC_perfect.c TIMEOUT (6 + (3 * max(0, (A - 1)))) O(n) 174 FAILED 110 a + -2 + a × (a + -2) O(n2) 500
WTC_random1d.c 12*A + 13 O(n) 299 (4 + (2 * max(0, A))) O(n) 92 max(((((1 + 1) + 1) + 1) + ... O(n) 80 a + -1 O(n) 500
WTC_random2d.c 189*B + 139 O(n) 1023 (4 + (7 * max(0, B))) O(n) 392 FAILED 401 b + -1 O(n) 500
WTC_realbubble.c 2548*A + 1248*A^2 + 1305 O(n2) 608 (9 + (4 * max(0, (A - 1)))) O(n) 115 FAILED 145 a + a + -4 + (a + -3) × (a... O(n2) 500
WTC_realheapsort.c TIMEOUT ((11 + (3 * max(0, (A - 1))... O(n) 275 FAILED 272 FAILED 1000
WTC_realheapsort_step1.c 795*A + 216*A^2 + 730 O(n2) 31460 (6 + (3 * max(0, (A - 1)))) O(n) 173 FAILED 516 N + -2 + (N + -2) × (N + -1) O(n2) 500
WTC_realheapsort_step2.c TIMEOUT (10 + (4 * max(0, (A - 1)))) O(n) 115 FAILED 255 FAILED 500
WTC_realselect.c 150*B + 216*B^2 + 28 O(n2) 458 (5 + (4 * max(0, (B - 1)))) O(n) 93 FAILED 104 b + -2 + (b + -3) × (b + -2) O(n2) 500
WTC_realshellsort.c TIMEOUT 1+max([10+3*log(2,1+nat(A))... O(log n) 134 FAILED 248 FAILED 500
WTC_rsd.c 18*A^2 + 21*A + 7 O(n2) 1424 FAILED 95 FAILED 91 -1 + a × 2 + a × 2 + (-1... O(n2) 500
WTC_sipma91.c 3218*A + 15*A^2 + 172966 O(n2) 2962 FAILED 152 FAILED 147 309 + 9 × (99 - a) + -a + ... O(n) 500
WTC_sipmabubble.c 428*A + 864*A^2 + 57 O(n2) 345 (7 + (3 * max(0, (A + 1)))) O(n) 82 FAILED 96 a + a × (a + -1) O(n2) 500
WTC_speedFails4.c TIMEOUT FAILED 91 FAILED 86 FAILED 500
WTC_speedpldi2.c TIMEOUT FAILED 85 FAILED 81 FAILED 500
WTC_speedpldi3.c 15*B + 3*A + 9*A*B + 17 O(n2) 1657 FAILED 92 FAILED 103 a + b + -2 + (a + -1) × (b... O(n2) 500
WTC_speedpldi4.c TIMEOUT FAILED 80 max(((((((((1 + 1) + 1) + (... O(n) 88 FAILED 500
WTC_terminate.c 2*A + 2*B + 2*C + 207 O(n) 205 (4 + (2 * max(0, ((((A / 2)... O(n) 97 FAILED 67 100 - a O(n) 500
WTC_wcet1.c 44*A + 26 O(n) 594 (7 + (4 * max(0, (A - 1)))) O(n) 420 max((((((((((1 + 1) + A) + ... O(n) 143 a + -2 O(n) 500
WTC_wcet2.c 2814*A + 360*A^2 + 5423 O(n2) 334 (5 + (3 * max(0, (A + 5)))) O(n) 88 FAILED 71 4 + 8 × (4 - a) + -a O(n) 500
WTC_while2.c 25*B + 12*B^2 + 11 O(n2) 275 (5 + (3 * max(0, B))) O(n) 88 FAILED 84 b + -1 + (b + -1) × (b + -1) O(n2) 500
WTC_wise.c 78*A + 78*B + 66*A^2 + 132*... O(n2) 575 TIMEOUT max(((((((((1 + 1) + 1) + (... O(n) 125 FAILED 500
a.10.c.t2.c TIMEOUT FAILED (Irreducible Control Flow) 189 FAILED (Irreducible Control Flow) 41 1 (no loops) O(1) 500
acqrel-fail.t2.c TIMEOUT FAILED 92 FAILED 76 FAILED 500
afagp-fail.t2.c TIMEOUT FAILED 47840 FAILED 45 FAILED 1000
afagx1.t2.c FAILED 238 FAILED 68 FAILED 63 FAILED 500
agafp.t2.c TIMEOUT TIMEOUT FAILED 48 FAILED 500
apchild-accepted-fail.t2.c TIMEOUT TIMEOUT FAILED 45 FAILED 500
apchild-accepted.t2.c TIMEOUT TIMEOUT FAILED 44 FAILED 500
apchild-live.t2.c TIMEOUT TIMEOUT FAILED 43 FAILED 500
apchildlive-succeed.t2.c TIMEOUT TIMEOUT FAILED 45 FAILED 1000
array.t2.c 1 O(1) 21 1 O(1) 40 FAILED 50 1 (no loops) O(1) 500
array1.t2.c 1 O(1) 17 1 O(1) 66 FAILED 51 1 (no loops) O(1) 500
array2.t2.c 52 O(1) 141 52 O(1) 76 max((((1 + 51) + 1) + 1)) O(1) 65 49 O(1) 500
array3.t2.c 103 O(1) 287 103 O(1) 93 max(((((1 + 51) + 51) + 1) ... O(1) 71 98 O(1) 500
array_free.t2.c 86 O(1) 198 44 O(1) 69 max((((1 + 43) + 1) + 1)) O(1) 58 41 O(1) 500
array_init.t2.c 13 O(1) 129 12 O(1) 71 max((((1 + 11) + 1) + 1)) O(1) 57 9 O(1) 500
array_init_assign.t2.c 8 O(1) 262 7 O(1) 78 max(((((1 + 3) + 3) + 1) + 1)) O(1) 64 2 O(1) 500
ase_example.t2.c 85 O(1) 579 23 O(1) 150 max((((((11 + 11) + 11) + 1... O(1) 104 27 O(1) 500
bf10.t2.c 756 O(1) 1255 68 O(1) 466 max((((((((1 + 6) + 6) + 59... O(1) 197 22 O(1) 500
bf11.t2.c 807 O(1) 1255 73 O(1) 441 max((((((((1 + 6) + 6) + 64... O(1) 198 24 O(1) 500
bf12.t2.c 858 O(1) 1250 78 O(1) 464 max((((((((1 + 6) + 6) + 69... O(1) 194 26 O(1) 500
bf13.t2.c 909 O(1) 1294 83 O(1) 464 max((((((((1 + 6) + 6) + 74... O(1) 192 28 O(1) 1000
bf14.t2.c 960 O(1) 1253 88 O(1) 463 max((((((((1 + 6) + 6) + 79... O(1) 196 30 O(1) 500
bf15.t2.c 1011 O(1) 1252 93 O(1) 461 max((((((((1 + 6) + 6) + 84... O(1) 195 32 O(1) 500
bf16.t2.c 1062 O(1) 1271 98 O(1) 466 max((((((((1 + 6) + 6) + 89... O(1) 192 34 O(1) 500
bf17.t2.c 1113 O(1) 1248 103 O(1) 462 max((((((((1 + 6) + 6) + 94... O(1) 201 36 O(1) 500
bf18.t2.c 1164 O(1) 1235 108 O(1) 457 max((((((((1 + 6) + 6) + 99... O(1) 196 38 O(1) 500
bf19.t2.c 1215 O(1) 1246 113 O(1) 465 max((((((((1 + 6) + 6) + 10... O(1) 199 40 O(1) 500
bf20.t2.c 1266 O(1) 1249 118 O(1) 465 max((((((((1 + 6) + 6) + 10... O(1) 192 42 O(1) 1000
bf5.t2.c 501 O(1) 1245 43 O(1) 468 max((((((((1 + 6) + 6) + 34... O(1) 199 12 O(1) 500
bf6.t2.c 552 O(1) 1252 48 O(1) 466 max((((((((1 + 6) + 6) + 39... O(1) 202 14 O(1) 500
bf7.t2.c 603 O(1) 1238 53 O(1) 463 max((((((((1 + 6) + 6) + 44... O(1) 194 16 O(1) 500
bf8.t2.c 654 O(1) 1244 58 O(1) 461 max((((((((1 + 6) + 6) + 49... O(1) 199 18 O(1) 500
bf9.t2.c 705 O(1) 1241 63 O(1) 464 max((((((((1 + 6) + 6) + 54... O(1) 197 20 O(1) 500
bio.t2.c TIMEOUT TIMEOUT FAILED 44 FAILED 1000
bitcount16.t2.c 34 O(1) 412 18 O(1) 383 max((((1 + 17) + 1) + 1)) O(1) 122 15 O(1) 500
bitcount32.t2.c 66 O(1) 532 34 O(1) 377 max((((1 + 33) + 1) + 1)) O(1) 124 31 O(1) 500
broydn.c.i.broydn.pl.t2.fixed.t2.c TIMEOUT FAILED 123 FAILED 47 TIMEOUT
broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.c TIMEOUT (3 + max(0, ((A - B) + 1))) O(n) 23206 FAILED 47 TIMEOUT
broydn.t2.c TIMEOUT (3 + max(0, ((A - B) + 1))) O(n) 23167 FAILED 41 TIMEOUT
brp.t2.c TIMEOUT FAILED 7580 FAILED 48 1 (no loops) O(1) 500
brp_withassume.t2.c TIMEOUT FAILED 8101 FAILED 42 FAILED 1000
bs.t2.c TIMEOUT FAILED 153 FAILED 114 FAILED 500
bsort100.t2.c 4959205 O(1) 927 10302 O(1) 396 FAILED 207 198 O(1) 500
bubbleSort.t2.c 127*C + 40*C^2 + 105 O(n2) 876 ((3 + max(0, C)) + (max(0, ... O(n2) 293 FAILED 143 -4 + max(call_to_nondet_lin... O(n) 1000
bubblesort_inner_loop.t2.c 11 O(1) 269 6 O(1) 107 max((((1 + 5) + 1) + 1)) O(1) 71 3 O(1) 500
buggyNonTermLoop.t2.c TIMEOUT TIMEOUT FAILED 48 1 (no loops) O(1) 500
byron-1.t2.c TIMEOUT FAILED 77 FAILED 55 FAILED 500
byron-2.t2.c FAILED 377 FAILED 98 FAILED 120 -4 + (-3 + max(call_to_non... O(n2) 500
byron-3.t2.c TIMEOUT FAILED 71 FAILED 49 FAILED 500
byron-4.t2.c 2*A + 3 O(n) 401 FAILED 98 FAILED 86 FAILED 500
cfg.t2.c TIMEOUT FAILED (Irreducible Control Flow) 69 FAILED (Irreducible Control Flow) 55 1 (no loops) O(1) 500
cnt.t2.c 41596 O(1) 1564 243 O(1) 2057 FAILED 46 20 O(1) 500
collatz.t2.c TIMEOUT FAILED 109 FAILED 66 FAILED 500
complex_guard.t2.c 25 O(1) 171 10 O(1) 74 max((((((4 + 4) + 1) + 1) +... O(1) 64 2 O(1) 500
constants.t2.c 404 O(1) 292 402 O(1) 110 FAILED 85 399 O(1) 1000
consts1.t2.c 301 O(1) 136 FAILED 68 max(((1 + 200) + 1)) O(1) 53 FAILED 500
consts1nt.t2.c TIMEOUT FAILED 64 FAILED 51 FAILED 500
consts2.t2.c A + 1000 O(n) 78 (1 + max(0, ((A / 1000) - (... O(n) 67 FAILED 51 -1001 + max(call_to_nondet_... O(n) 500
consts2nt.t2.c TIMEOUT FAILED 62 FAILED 52 FAILED 500
consts3.t2.c A + 1 O(n) 90 (1 + max(0, (A - 201))) O(n) 129 FAILED 53 -202 + max(call_to_nondet_l... O(n) 500
consts3nt.t2.c TIMEOUT FAILED 68 FAILED 65 FAILED 500
consts4.t2.c A + 1200 O(n) 84 (1 + max(0, ((A / 1000) - (... O(n) 67 FAILED 53 -1201 + max(call_to_nondet_... O(n) 500
consts4nt.t2.c TIMEOUT FAILED 69 FAILED 49 FAILED 500
consts5.t2.c 1 O(1) 28 FAILED 64 max(((1 + 1) + 1)) O(1) 55 1 (no loops) O(1) 500
consts5nt.t2.c TIMEOUT FAILED 71 FAILED 56 FAILED 500
costa-jvm-cost_ArrayReverse.c TIMEOUT (5 + (3 * max(0, A))) O(n) 58 not analyzed length O(n) 500
costa-jvm-cost_BST.c FAILED 10670 -27+52*pow(2,nat(A-1)) EXP 359 not analyzed not analyzed
costa-jvm-cost_Concat.c 9*B + 9*A + 16 O(n) 139 ((10 + (3 * max(0, B))) + (... O(n) 78 not analyzed lengthB + lengthA O(n) 500
costa-jvm-cost_Cons.c 368*A + 70 O(n) 200 (20 + (16 * max(0, (A - 1)))) O(n) 89 not analyzed Depth(Set(Select(1, _), c)) O(n) 500
costa-jvm-cost_Delete.c TIMEOUT (5 + (max(0, D) * max(((21 ... O(n2) 807 not analyzed la × Depth(Set(Select(1, _... O(n2) 500
costa-jvm-cost_DetEval.c 9*A + 7 O(n) 5186 (7 + (3 * max(0, A))) O(n) 1242 not analyzed la + la + la + la + la + -1... O(n3) 500
costa-jvm-cost_DivByTwo.c 18*A + 6 O(n) 63 5+3*log(2,1+nat(2*A-1)) O(log n) 54 not analyzed n O(n) 500
costa-jvm-cost_EvenDigits.c 241*A + 27 O(n) 1572 5+nat(A)* (10+3*log(3,2+nat... O(n log n) 95 not analyzed n + n × (n + -1) O(n2) 500
costa-jvm-cost_EvenDigitsNew.c 28 O(1) 1166 15 O(1) 115 not analyzed not analyzed
costa-jvm-cost_FactSum.c FAILED 1664 (5 + (max(0, (A + 1)) * (10... O(n2) 76 not analyzed n + n × (n + -2) O(n2) 500
costa-jvm-cost_FactSumNew.c 10*B + 35 O(n) 2622 (10 + (5 * max(0, B))) O(n) 103 not analyzed not analyzed
costa-jvm-cost_Factorial.c 25*A + 9 O(n) 71 (6 + (5 * max(0, A))) O(n) 51 not analyzed n + -2 O(n) 500
costa-jvm-cost_Fibonacci.c FAILED 1581 -7+13*pow(2,nat(A-1)) EXP 69 not analyzed not analyzed
costa-jvm-cost_FibonacciNew.c FAILED 1508 FAILED 64 not analyzed not analyzed
costa-jvm-cost_Hanoi.c FAILED 1740 -8+15*pow(2,nat(A)) EXP 71 not analyzed not analyzed
costa-jvm-cost_Incr.c 275*A + 831 O(n) 281 (5 + (11 * max(0, (A + 1)))) O(n) 178 not analyzed n O(n) 500
costa-jvm-cost_LinEqSolve.c 9*B + 9 O(n) 5218 (9 + (3 * max(0, B))) O(n) 1271 not analyzed la + la + la + la + la + la... O(n3) 1000
costa-jvm-cost_ListInter.c 600*A*B + 575*A + 1056*B + ... O(n2) 2370 (11 + (max(0, B) * (25 + (5... O(n2) 223 not analyzed Depth(Set(Select(1, _), l1)... O(n2) 500
costa-jvm-cost_ListReverse.c 9*B + 6 O(n) 227 (5 + (3 * max(0, B))) O(n) 61 not analyzed Depth(Set(Select(1, _), x)) O(n) 500
costa-jvm-cost_MatMult.c TIMEOUT (5 + (max(0, B) * (7 + (max... O(n3) 177 not analyzed la + la × lb + la × lb × lb O(n3) 500
costa-jvm-cost_MatrixInverse.c 9*A + 6 O(n) 5857 (6 + (3 * max(0, A))) O(n) 1326 not analyzed la + la + la + la + la + la... O(n3) 500
costa-jvm-cost_MergeList.c 481*A + 555*B + 47 O(n) 300 (15 + (15 * max(0, (A + B)))) O(n) 177 not analyzed Depth(Set(Select(1, _), oth... O(n2) 500
costa-jvm-cost_Polynomial.c 1066 O(1) 173 71 O(1) 104 not analyzed min(Select(0, this), 10) O(n) 500
costa-jvm-cost_Power.c 25*A + 9 O(n) 83 (6 + (5 * max(0, A))) O(n) 53 not analyzed n + -1 O(n) 500
costa-jvm-cost_SelectOrd.c 113*A + 80*A^2 + 80*A*D + 6 O(n2) 2507 (5 + (max(0, (A - 2)) * (7 ... O(n2) 168 not analyzed lv + -2 + (lv + -2) × (lv ... O(n2) 500
costa-jvm-cost_ms.c 10*C + 10*E + 15 O(n) 2882 3+5*log(2,1+nat(-2*C+2*E-1)) O(log n) 251 not analyzed not analyzed
costa-misc_ack.c TIMEOUT FAILED 68 FAILED 61 a + -1 O(n) 500
costa-misc_direct_n_log_n.c 4*A + 9 O(n) 86 1+log(2,1+nat(A-1)) O(log n) 73 max((1 + 1), ((1 + A) + 1)) O(n) 63 a + -2 O(n) 500
costa-misc_divide_and_conquer.c 12*A + 4 O(n) 153 1+3* (pow(2,nat(2*A+1))-1) EXP 60 not analyzed not analyzed
costa-misc_exponential.c FAILED 263 1+ (pow(2,nat(1*A))-1) EXP 55 not analyzed not analyzed
costa-misc_linear.c A + 2 O(n) 119 max(101, (1 + max(0, A))) O(n) 71 max((1 + 1), ((1 + (1 + A))... O(n) 54 FAILED 500
costa-misc_logarithmic.c 3 O(1) 35 FAILED 79 FAILED 42 1 O(1) 500
costa-misc_merge.c 2*A + 2*B + 3 O(n) 148 (1 + max(0, ((A + B) - 1))) O(n) 88 FAILED 56 a + -1 O(n) 500
costa-misc_ms.c 12*A + 3*B + 10 O(n) 44 (1 + (3 * max(0, (A - 1)))) O(n) 65 not analyzed not analyzed
costa-misc_mspe.c 4*B + 4*F + 5 O(n) 229 (1 + max(0, ((A + B) + 1))) O(n) 571 max((1 + 1), (1 + 1), (1 + ... O(n) 32477 FAILED 1000
costa-misc_n_log_n.c 3 O(1) 51 FAILED 56 not analyzed not analyzed
costa-misc_no_cover_point.c FAILED 381 FAILED 47 not analyzed not analyzed
costa-misc_quadratic.c 16*A + 12*A^2 + 5 O(n2) 181 (1 + (max(0, A) * (3 + max(... O(n2) 55 not analyzed n + -1 + (n + -1) × (n + -1) O(n2) 500
cover.t2.c TIMEOUT TIMEOUT FAILED 1455 177 O(1) 500
crc.t2.c 17*M + 17*N + 17*O + 17*P +... O(n) 18168 5210 O(1) 25587 FAILED 46 96 O(1) 500
create.t2.c TIMEOUT FAILED 265 FAILED 42 call_to_nondet_line_66 + -3 O(n) 1000
create_seg.t2.c TIMEOUT FAILED 358 FAILED 42 call_to_nondet_line_69 + -3 O(n) 500
create_via_tmps.t2.c A + 4*U + 13 O(n) 3502 ((3 + max(0, (A - 2))) + ma... O(n) 16789 FAILED 43 -3 + max(call_to_nondet_lin... O(n) 500
ctl.t2.c FAILED 494 FAILED 106 FAILED 117 FAILED 500
curious.t2.c FAILED 235 FAILED 51 FAILED 52 FAILED 500
curious2.t2.c not analyzed not analyzed not analyzed 1 (no loops) O(1) 500
curious4.t2.c TIMEOUT TIMEOUT FAILED 44 FAILED 500
d.t2.c TIMEOUT FAILED 68 FAILED 56 FAILED 500
db.t2.c not analyzed not analyzed not analyzed 1 (no loops) O(1) 500
db2.t2.c TIMEOUT TIMEOUT FAILED 46 FAILED 1000
db3.t2.c TIMEOUT TIMEOUT FAILED 46 FAILED 1000
dead.neg-st88b-succeed.t2.c FAILED 1473 FAILED 87 FAILED 89 FAILED 500
destroy.t2.c TIMEOUT FAILED 21364 FAILED 45 call_to_nondet_line_150 + -... O(n) 500
destroy_seg.t2.c TIMEOUT FAILED 46319 FAILED 42 call_to_nondet_line_234 + -... O(n) 500
destroy_seg_leak.t2.c TIMEOUT FAILED 27064 FAILED 83 FAILED 500
disj_nightmare.t2.c not analyzed not analyzed not analyzed FAILED 500
disj_nightmare_abi.t2.c 3 O(1) 49 FAILED 69 FAILED 57 1 O(1) 500
dropbuf-live.t2.c 1 O(1) 23 1 O(1) 67 FAILED 61 1 (no loops) O(1) 500
dropbuf.t2.c TIMEOUT FAILED 28863 FAILED 42 FAILED 1000
dsa_test.t2.c 1 O(1) 6 1 O(1) 68 FAILED 53 1 (no loops) O(1) 500
dsa_test1.t2.c 1 O(1) 22 1 O(1) 66 FAILED 58 1 (no loops) O(1) 500
dsa_test10.t2.c 31 O(1) 285 23 O(1) 125 max(((((11 + 11) + 1) + 1) ... O(1) 85 18 O(1) 500
dsa_test11.t2.c 1 O(1) 36 1 O(1) 64 FAILED 53 1 (no loops) O(1) 500
dsa_test12.t2.c 1 O(1) 18 1 O(1) 64 FAILED 55 1 (no loops) O(1) 500
dsa_test13.t2.c 1 O(1) 10 1 O(1) 53 FAILED 47 1 (no loops) O(1) 500
dsa_test14.t2.c not analyzed not analyzed not analyzed 1 (no loops) O(1) 500
dsa_test15.t2.c 23 O(1) 261 23 O(1) 92 max(((((1 + 11) + 11) + 1) ... O(1) 70 18 O(1) 500
dsa_test2.t2.c not analyzed not analyzed not analyzed 1 (no loops) O(1) 500
dsa_test4.t2.c 1 O(1) 13 1 O(1) 64 FAILED 51 1 (no loops) O(1) 500
dsa_test5.t2.c 1 O(1) 39 1 O(1) 66 FAILED 60 1 (no loops) O(1) 500
dsa_test6.t2.c 12 O(1) 142 12 O(1) 74 max((((1 + 11) + 1) + 1)) O(1) 59 9 O(1) 500
dsa_test7.t2.c not analyzed not analyzed not analyzed 1 (no loops) O(1) 500
dsa_test8.t2.c 1 O(1) 10 1 O(1) 53 FAILED 53 1 (no loops) O(1) 500
dsa_test9.t2.c 1 O(1) 18 1 O(1) 63 FAILED 59 1 (no loops) O(1) 500
dummy.t2.c TIMEOUT FAILED 68 FAILED 48 FAILED 500
e-1394complete-succeed.t2.c TIMEOUT TIMEOUT FAILED 43 FAILED 1000
e-acqrel-fail.t2.c FAILED 263 FAILED 79 FAILED 76 FAILED 500
e-acqrel-succeed.t2.c FAILED 624 FAILED 83 FAILED 79 FAILED 500
e-pgarch-fail.t2.c FAILED 1838 FAILED 203 FAILED 44 FAILED 500
e-pgarch-succeed.t2.c FAILED 2984 FAILED 238 FAILED 45 FAILED 500
e-popl07-fail.t2.c TIMEOUT FAILED 1052 FAILED 40 FAILED 1000
edn.t2.c TIMEOUT 2753 O(1) 13287 FAILED 41 398 O(1) 500
efegp.t2.c TIMEOUT FAILED 18458 FAILED 42 FAILED 1000
elmhes.c.i.elmhes.pl.t2.fixed.t2.c TIMEOUT FAILED 89 FAILED 41 -1 + (max(call_to_nondet_l... O(n2) 1000
elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed.t2.c TIMEOUT FAILED 859 FAILED 711 -1 + (max(call_to_nondet_l... O(n2) 500
elmhes.t2.c TIMEOUT FAILED 860 FAILED 710 -1 + (max(call_to_nondet_l... O(n2) 1000
eric.t2.c TIMEOUT FAILED 101 FAILED 75 -4 + max(call_to_nondet_lin... O(n) 1000
eric1.t2.c TIMEOUT FAILED 73 max((1 + 1), ((((((3 / 2) *... O(n2) 68 FAILED 500
eric2.t2.c TIMEOUT FAILED 1626 FAILED 45 FAILED 1000
eric3.t2.c TIMEOUT FAILED 92 FAILED 79 FAILED 500
ex1.t2.c TIMEOUT FAILED 79 FAILED 66 FAILED 500
ex10.t2.c TIMEOUT FAILED 148 FAILED 140 FAILED 500
ex11.t2.c TIMEOUT FAILED 83 FAILED 68 FAILED 500
ex12.t2.c 20 O(1) 191 (23 / 2) O(1) 72 max((((1 + 20) + 1) + 1)) O(1) 61 17 O(1) 500
ex13.t2.c 1 O(1) 20 1 O(1) 66 FAILED 53 1 (no loops) O(1) 500
ex14.t2.c 12 O(1) 169 12 O(1) 79 max((((1 + 11) + 1) + 1)) O(1) 58 9 O(1) 500
ex15.t2.c 1 O(1) 28 1 O(1) 70 FAILED 57 1 (no loops) O(1) 500
ex16.t2.c TIMEOUT FAILED 454 FAILED 44 FAILED 500
ex17.t2.c 104 O(1) 358 102 O(1) 179 FAILED 96 FAILED 1000
ex18.t2.c TIMEOUT FAILED 137 FAILED 122 FAILED 500
ex19.t2.c TIMEOUT FAILED 87 FAILED 70 FAILED 1000
ex2.t2.c TIMEOUT FAILED 75 FAILED 69 FAILED 500
ex20.t2.c 1030 O(1) 509 1026 O(1) 114 max((((1 + 1025) + 1) + 1)) O(1) 88 1023 O(1) 500
ex21.t2.c 203 O(1) 278 203 O(1) 120 max(((((1 + 101) + 101) + 1... O(1) 73 198 O(1) 500
ex22.t2.c 11928 O(1) 9037 390 O(1) 5420 FAILED 43 366 O(1) 500
ex23.t2.c 39 O(1) 176 38 O(1) 79 max((((1 + 1) + 37) + 1), (... O(1) 63 35 O(1) 500
ex26.t2.c 203 O(1) 283 203 O(1) 127 max(((((1 + 101) + 101) + 1... O(1) 77 198 O(1) 500
ex27.t2.c 22853 O(1) 19474 595 O(1) 15104 FAILED 43 565 O(1) 500
ex29.t2.c 15 O(1) 183 4 O(1) 175 FAILED 42 1 (no loops) O(1) 500
ex3.t2.c 13 O(1) 251 12 O(1) 84 max((((1 + 22) + 1) + 1)) O(1) 63 9 O(1) 500
ex30.t2.c TIMEOUT FAILED 168 FAILED 103 call_to_nondet_line_56 + ca... O(n) 500
ex31.t2.c TIMEOUT FAILED 68 FAILED 69 FAILED 1000
ex32.t2.c 2003 O(1) 325 2003 O(1) 108 FAILED 62 1998 O(1) 500
ex33.t2.c 3 O(1) 10 1 O(1) 71 FAILED 62 1 (no loops) O(1) 500
ex34.t2.c 1 O(1) 15 1 O(1) 281 FAILED 40 1 (no loops) O(1) 500
ex36.t2.c TIMEOUT FAILED 24757 FAILED 43 FAILED 11000
ex37.t2.c 1 O(1) 19 1 O(1) 64 FAILED 52 1 (no loops) O(1) 500
ex4.t2.c 87 O(1) 729 34 O(1) 318 max((((((1 + 11) + 11) + 11... O(1) 125 18 O(1) 500
ex40.t2.c TIMEOUT FAILED 51 FAILED 63 FAILED 500
ex6.t2.c 3 O(1) 18 1 O(1) 61 FAILED 54 1 (no loops) O(1) 500
ex7.t2.c 12 O(1) 193 12 O(1) 94 max((((1 + 11) + 1) + 1)) O(1) 69 9 O(1) 500
ex8.t2.c TIMEOUT FAILED 111 FAILED 55 FAILED 500
ex9.t2.c TIMEOUT FAILED 121 FAILED 66 FAILED 500
example.t2.c 2*A + 2*B + 5 O(n) 165 (1 + max(0, ((A + B) - 2))) O(n) 84 max((1 + 1), (1 + 1), ((1 +... O(n) 58 -4 + max(call_to_nondet_lin... O(n) 500
fake-succeed.t2.c TIMEOUT TIMEOUT FAILED 49 FAILED 500
fast_poll.t2.c TIMEOUT TIMEOUT FAILED 42 FAILED 500
fdct.t2.c 19 O(1) 586 19 O(1) 502 FAILED 41 14 O(1) 500
fermat.t2.c 15 O(1) 984 9 O(1) 953 FAILED 41 6 O(1) 500
fibcall.t2.c 31 O(1) 395 31 O(1) 185 FAILED 63 28 O(1) 500
fir.t2.c TIMEOUT FAILED 997 FAILED 221 7 + 9 × (-2 + max(call_to_... O(n) 1000
firewire.t2.c TIMEOUT FAILED 45033 FAILED 565 FAILED 3000
flipflop.t2.c TIMEOUT FAILED 62 FAILED 51 FAILED 500
fourn.c.i.fourn.pl.t2.fixed.t2.c A + B + 4 O(n) 812 FAILED 88 FAILED 44 FAILED 1000
fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.c TIMEOUT FAILED 4317 FAILED 44 FAILED 2000
fourn.t2.c TIMEOUT FAILED 4291 FAILED 43 FAILED 1000
fuhs-inflasso.t2.c C^2 + 5*C + 7 O(n2) 297 FAILED 74 FAILED 50 -2 + (-1 + max(call_to_non... O(n2) 500
fun1.t2.c TIMEOUT TIMEOUT FAILED 46 FAILED 1000
fun10.t2.c TIMEOUT FAILED (Irreducible Control Flow) 57663 FAILED (Irreducible Control Flow) 49 FAILED (Irreducible Control Flow) 500
fun10b.t2.c TIMEOUT FAILED (Irreducible Control Flow) 50929 FAILED (Irreducible Control Flow) 42 FAILED (Irreducible Control Flow) 500
fun11.t2.c TIMEOUT FAILED 105 FAILED 107 FAILED 500
fun1b.t2.c TIMEOUT TIMEOUT FAILED 45 FAILED 1000
fun2.t2.c TIMEOUT TIMEOUT FAILED 45 FAILED 500
fun2b.t2.c TIMEOUT TIMEOUT FAILED 43 FAILED 500
fun3.t2.c TIMEOUT TIMEOUT FAILED 44 FAILED 1000
fun4-alt.t2.c 5*A + 21*B + 3*A^2 + 8*A*B ... O(n2) 366 FAILED 80 FAILED 61 FAILED 500
fun4.t2.c 9*A + 18*B + 2*A^2 + 8*A*B ... O(n2) 620 FAILED 87 FAILED 70 FAILED 500
fun5.t2.c TIMEOUT TIMEOUT TIMEOUT FAILED 2000
fun6.t2.c TIMEOUT FAILED (Irreducible Control Flow) 444 FAILED (Irreducible Control Flow) 42 FAILED (Irreducible Control Flow) 500
fun7.t2.c TIMEOUT FAILED (Irreducible Control Flow) 873 FAILED (Irreducible Control Flow) 44 FAILED (Irreducible Control Flow) 500
fun8.t2.c 573 O(1) 6188 FAILED 25106 FAILED 43 27 O(1) 500
fun9.t2.c TIMEOUT TIMEOUT FAILED 1234 FAILED 500
graycode.t2.c 245854 O(1) 5954 39 O(1) 9856 FAILED 644 43 O(1) 500
heidy1.t2.c TIMEOUT FAILED 68 FAILED 55 FAILED 500
heidy10.t2.c TIMEOUT FAILED 73 FAILED 57 call_to_nondet_line_27 + -2... O(n2) 500
heidy2.t2.c TIMEOUT FAILED 70 FAILED 55 FAILED 500
heidy3.t2.c FAILED 376 FAILED 80 FAILED 61 FAILED 1000
heidy5.t2.c B + 3 O(n) 147 (2 + max(0, B)) O(n) 83 FAILED 59 -1 + max(call_to_nondet_lin... O(n) 500
heidy6.t2.c TIMEOUT FAILED 88 FAILED 65 FAILED 500
heidy7-simple.t2.c TIMEOUT FAILED 77 FAILED 61 FAILED 500
heidy7.t2.c TIMEOUT FAILED 93 FAILED 71 FAILED 500
heidy8.t2.c TIMEOUT FAILED 138 FAILED 85 FAILED 500
heidy9.t2.c A + 2 O(n) 139 (2 + max(0, A)) O(n) 74 FAILED 53 -1 + max(call_to_nondet_lin... O(n) 500
hongyi1.t2.c TIMEOUT (11 + (3 * max(0, D))) O(n) 16934 FAILED 47 FAILED 1000
hqr.c.i.hqr.pl.t2.fixed.t2.c TIMEOUT FAILED 213 FAILED 50 FAILED 4000
hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.c TIMEOUT TIMEOUT FAILED 46 FAILED 4000
hqr.t2.c TIMEOUT TIMEOUT FAILED 47 FAILED 4000
huh.t2.c TIMEOUT FAILED 821 FAILED 42 27 + max(call_to_nondet_lin... O(n) 500
iecs.t2.c TIMEOUT FAILED 46 FAILED 46 FAILED 500
insertsort.t2.c TIMEOUT FAILED 58 FAILED 79 FAILED 500
intSqRoot.t2.c TIMEOUT FAILED 73 FAILED 42 FAILED 500
invgen.t2.c B + 2 O(n) 105 (1 + max(0, (B + 1))) O(n) 74 FAILED 47 max(call_to_nondet_line_5, ... O(n) 500
jacobi.c.i.jacobi.pl.t2.fixed.t2.c TIMEOUT FAILED 108 FAILED 46