Benchmark Result Comparison

Rank Loopus
All 632 658
Bounded 84 386
Timeouts 6 6
Failed 542 266
Runtime without Timeouts 173 sec 226 sec
O(1) O(log n) O(n) O(n log n) O(n2) O(n3) O(n>=4) EXP
Rank 56 0 19 0 8 1 0 0
Loopus 134 0 152 0 81 15 4 0
Show examples where
Source File Rank Loopus
Bound Degree Time ms Bound Degree Time ms
1.t2.c FAILED 40 FAILED 1000
1394-fail.t2.c FAILED 43 FAILED 1000
1394-succeed.t2.c FAILED 44 FAILED 1000
1394complete-fail.t2.c FAILED 42 FAILED 500
1394complete-succeed.t2.c FAILED 43 FAILED 1000
2.t2.c FAILED 43 FAILED 500
232.t2.c max((1 + 1), ((1 + (((3 / 2... O(n2) 62 -2 + (-2 + max(call_to_non... O(n2) 500
241.t2.c max((1 + 1), ((1 + (((3 / 2... O(n2) 59 -2 + (-2 + max(call_to_non... O(n2) 500
3.t2.c FAILED 53 FAILED 500
5.t2.c FAILED 42 1 (no loops) O(1) 500
6.t2.c FAILED 51 FAILED 500
7.t2.c FAILED 49 FAILED 500
ABC_ex01.c FAILED 59 a - b O(n) 500
ABC_ex02.c FAILED 75 b + -1 + b × (b + -1) O(n2) 500
ABC_ex03.c FAILED 146 b + -1 + (b + -1) × (-1 + ... O(n4) 500
ABC_ex04.c FAILED 39 -1 + (n + -1) × (-1 + (( n... O(n5) 500
ABC_ex05.c FAILED 74 b + -1 + (b + -1) × (-1 + ... O(n2) 500
ABC_ex06.c FAILED 76 b + -1 + (b + -2) × (b + -1) O(n2) 500
ABC_ex07.c FAILED 80 b + -1 + (b + -1) × (d + -1) O(n2) 500
ABC_ex08.c FAILED 75 a + -1 + (a + -1) × (b + -1) O(n2) 500
ABC_ex09.c FAILED 85 b + -1 + (d + -1) × (b + -1) O(n2) 500
ABC_ex10.c FAILED 79 b + -1 + (a + -1) × (b + -1) O(n2) 500
ABC_ex11.c FAILED 74 a + -1 + (a + -1) × (b + -1) O(n2) 500
ABC_ex12.c FAILED 76 0 O(1) 500
ABC_ex13.c FAILED 151 b + (b - a) × (d - c) + (... O(n3) 500
ABC_ex14.c FAILED 165 b + -1 + (a + -1) × (b + -... O(n4) 500
ABC_ex15.c FAILED 232 n + -1 + (n + -1) × (m + -... O(n4) 500
FGPSF09-Beerendonk_01.c FAILED 53 a + -1 + -b O(n) 500
FGPSF09-Beerendonk_02.c FAILED 53 a + -1 + -b O(n) 500
FGPSF09-Beerendonk_03.c FAILED 48 a + -1 + -b O(n) 500
FGPSF09-Beerendonk_04.c FAILED 58 a + -1 + -b O(n) 500
FGPSF09-Beerendonk_05.c max(((2 + 1) + 1)) O(1) 57 1 O(1) 500
FGPSF09-Beerendonk_06.c max(((2 + 1) + 1)) O(1) 54 1 O(1) 500
FGPSF09-Beerendonk_07.c max(((4 + 1) + 1)) O(1) 58 1 O(1) 1000
FGPSF09-Beerendonk_08.c FAILED 56 b + -1 O(n) 500
FGPSF09-Beerendonk_09.c FAILED 59 a + -1 + -b O(n) 500
FGPSF09-Beerendonk_10.c FAILED 109 FAILED 500
FGPSF09-Beerendonk_11.c FAILED 63 b + b + 1 + max(-1, min(-1,... O(n) 500
FGPSF09-Beerendonk_13.c FAILED 54 a + max(-1, min(-1, (-1 - b))) O(n) 500
FGPSF09-Beerendonk_15.c FAILED 43 b + a + -1 O(n) 500
FGPSF09-Beerendonk_16.c FAILED 40 a + b + -1 + -c O(n) 500
FGPSF09-Beerendonk_17.c FAILED 58 b + a + -2 + a × 2 O(n) 500
FGPSF09-Beerendonk_18.c FAILED 44 a + b + -2 O(n) 500
FGPSF09-Beerendonk_19.c FAILED 47 c + a + -2 + -b + -b O(n) 500
FGPSF09-Beerendonk_20.c FAILED 58 a + a + -2 O(n) 500
FGPSF09-Beerendonk_21.c FAILED 64 a + a + -2 + -b + -b O(n) 500
FGPSF09-Beerendonk_22.c FAILED 57 FAILED 500
FGPSF09-Beerendonk_23.c FAILED 64 FAILED 500
FGPSF09-Beerendonk_24.c FAILED 62 a + a + b + b + -4 O(n) 500
FGPSF09-CAV02_practical1.c FAILED 56 a + a × (a + -1) O(n2) 500
FGPSF09-CAV02_practical2.c FAILED 145 309 + 9 × (99 - b) + -b + ... O(n) 500
FGPSF09-CAV05_c.05.c FAILED 50 a + -2 O(n) 1000
FGPSF09-ESOP08_abstractions.c FAILED 59 a + -1 O(n) 500
FGPSF09-LICS04_c.01.c FAILED 53 a + a × (a + -2) O(n2) 500
FGPSF09-LICS04_choice.c FAILED 59 a + -1 O(n) 500
FGPSF09-PLDI06_c.03.c FAILED 58 a + -1 + max(b, a) + -b + -c O(n) 500
FGPSF09-PLDI06_c.04.c FAILED 53 a + -1 + -b O(n) 500
FGPSF09-SAS05_c.02.c FAILED 58 a + a × (a + -1) O(n2) 500
FGPSF09-TACAS01_terminate.c FAILED 57 100 - a O(n) 500
FGPSF09-VMCAI04_complete1.c FAILED 54 a + -1 + -b O(n) 500
FGPSF09-VMCAI04_complete2.c FAILED 57 FAILED 500
FGPSF09-VMCAI04_complete3.c FAILED 58 a + a × (a + -1) O(n2) 500
FGPSF09-VMCAI04_complete4.c FAILED 59 b + a + a × max(call_to_no... O(n2) 500
FGPSF09-VMCAI05_poly1.c FAILED 40 FAILED 500
FGPSF09-VMCAI05_poly2.c FAILED 51 FAILED 500
FGPSF09-VMCAI05_poly3.c FAILED 40 FAILED 1000
FGPSF09-VMCAI05_poly4.c FAILED 75 c + a + -2 + -b + -d O(n) 500
FGPSF09-new_unsatCond2.c FAILED 45 FAILED 500
FGPSF09-patrs-pasta_a.01.c FAILED 59 a + -1 + (a + -2) × (a + -1) O(n2) 500
FGPSF09-patrs-pasta_a.02.c FAILED 78 FAILED 500
FGPSF09-patrs-pasta_a.03.c FAILED 70 b + b + a + a + -8 O(n) 500
FGPSF09-patrs-pasta_a.04.c FAILED 55 a + -1 + -b O(n) 500
FGPSF09-patrs-pasta_a.05.c FAILED 56 a + -1 + -b O(n) 500
FGPSF09-patrs-pasta_a.06.c FAILED 55 a + -1 + -c + -b O(n) 500
FGPSF09-patrs-pasta_a.07.c FAILED 56 a + -1 + -b O(n) 500
FGPSF09-patrs-pasta_a.08.c FAILED 53 a + -1 + -b O(n) 500
FGPSF09-patrs-pasta_a.09.c FAILED 47 a - b O(n) 500
FGPSF09-patrs-pasta_a.10.c FAILED 56 FAILED 500
FGPSF09-patrs-pasta_a.11.c FAILED 65 a + -1 + -b O(n) 500
FGPSF09-patrs_div.c FAILED 48 b + -1 + -a O(n) 500
FGPSF09-patrs_increase1.c FAILED 55 a + -1 + -b O(n) 500
FGPSF09-patrs_increase2.c FAILED 60 a + -1 + -b + -c O(n) 500
FGPSF09-patrs_increase3.c FAILED 57 a + -1 + -b O(n) 500
FGPSF09-patrs_increase4.c FAILED 53 a + -1 + -b O(n) 500
FGPSF09-patrs_sqrt.c FAILED 51 d + -1 O(n) 500
FGPSF09-patrs_sumto_no_if.c FAILED 56 b - a O(n) 500
KoAT-2013_sect1-lin.c FAILED 58 b + a + a + -3 O(n) 500
KoAT-2013_sect1-quad.c FAILED 51 a + b + -2 + a × (a + -1) O(n2) 500
KoAT-2013_sect2.c FAILED 73 b + b + -3 + (b + -3) × (b... O(n2) 500
KoAT-2013_sect5-len.c FAILED 54 b + -1 O(n) 500
KoAT-2013_sect5-sumSum.c FAILED 52 b + -1 + (b + -2) × (b + -1) O(n2) 500
Loop.t2.c FAILED 42 1 (no loops) O(1) 500
Loopus_Example1.c FAILED 134 max((b + -1), min((b + -2),... O(n) 500
Loopus_Example2.c FAILED 1312 FAILED 1000
Loopus_Example3.c FAILED 69 507 + 254 × (254 - a) + -a O(n) 500
Rank_ex1.c FAILED 178 b + b × b O(n2) 500
Rank_ex2.c FAILED 125 b + b + -2 + (b + -2) × (b... O(n3) 500
Rank_ex3.c FAILED 240 b + b + -3 + (b + -2) × (b... O(n2) 500
SAS10_aaron2.c FAILED 72 x - y O(n) 500
SAS10_ackermann.c max((((((((((1 + A) + 1) + ... O(n) 105 a + -1 O(n) 500
SAS10_ax.c max((((1 + 1) + 1) + 1), ((... O(n2) 124 n + n + -3 + (n + -2) × (n... O(n2) 500
SAS10_complex.c TIMEOUT 30 + (30 - a) × ((29 - b) ... O(n2) 500
SAS10_counterex1.c max(((((((1 + 1) + 1) + (1 ... O(n) 234 FAILED 500
SAS10_cousot9.c max((((1 + 1) + 1) + 1), ((... O(n) 130 j + N + N × N O(n2) 500
SAS10_determinant.c max((((((((1 + 1) + A) + ((... O(n3) 160 -1 + (-2 + min(a, (a + 1))... O(n3) 1000
SAS10_easy1.c max(((((1 + 40) + 1) + 1) +... O(1) 118 40 O(1) 500
SAS10_easy2.c max(((((1 + 1) + A) + 1) + ... O(n) 80 z O(n) 500
SAS10_exmini.c FAILED 74 100 - i O(n) 500
SAS10_gcd.c FAILED 68 y + x + -2 O(n) 500
SAS10_insertsort.c max((((1 + 1) + 1) + 1), ((... O(n2) 213 length + -1 + (length + -2... O(n2) 500
SAS10_loops.c FAILED 70 n + n × (n + -1) O(n2) 500
SAS10_maccarthy91.c FAILED 149 310 + 9 × (100 - x) + -x +... O(n) 500
SAS10_nd_loop.c max((((((1 + 10) + 1) + 9) ... O(1) 84 FAILED 500
SAS10_ndecr.c max(((((1 + 1) + (1 + A)) +... O(n) 71 n + -2 O(n) 500
SAS10_nestedLoop.c FAILED 254 m × min(n, N) + min(n, N) ... O(n2) 500
SAS10_perfect.c FAILED 98 FAILED 500
SAS10_random1d.c max(((((1 + 1) + A) + 1) + ... O(n) 89 max + -1 O(n) 500
SAS10_random2d.c FAILED 237 N O(n) 500
SAS10_realbubble.c FAILED 213 length + length + -2 + (le... O(n2) 500
SAS10_realheapsort.c FAILED 50 FAILED 500
SAS10_realselect.c FAILED 220 array_size + -1 + (array_s... O(n2) 500
SAS10_realshellsort.c FAILED 47 FAILED 500
SAS10_relation1.c FAILED 56 1 O(1) 500
SAS10_rsd.c FAILED 81 -1 + r × 2 + r × 2 + (-1... O(n2) 500
SAS10_sipmabubble.c max(((((1 + 1) + (1 + A)) +... O(n2) 264 n + n × (n + -1) O(n2) 500
SAS10_speedFails4.c FAILED 92 FAILED 500
SAS10_speedpldi2.c max((((1 + 1) + 1) + 1), ((... O(n) 203 FAILED 500
SAS10_speedpldi3.c max(((((((1 + 1) + (C * A))... O(n2) 341 m + n + m × n O(n2) 500
SAS10_speedpldi4.c FAILED 70 FAILED 500
SAS10_terminate.c FAILED 73 100 - i O(n) 500
SAS10_wcet1.c FAILED 93 n + -1 O(n) 500
SAS10_wcet2.c TIMEOUT 2 + 9 × (2 - i) + -i O(n) 500
SAS10_while2.c max((((1 + 1) + 1) + 1), ((... O(n2) 110 N + N × N O(n2) 500
SAS10_wise.c max(((((1 + 1) + ((2 + (1 *... O(n) 110 FAILED 500
SPEED-CAV09_ex1.c FAILED 77 c + 98 O(n) 500
SPEED-CAV09_ex2.c FAILED 83 d + c + -2 + (d + -1) × (c... O(n2) 500
SPEED-CAV09_ex3.c FAILED 101 b + b + -2 O(n) 500
SPEED-PLDI09_Example2.c FAILED 97 FAILED 500
SPEED-PLDI09_Example3.c FAILED 135 b + a + -2 + (b + -1) × (a... O(n2) 500
SPEED-PLDI09_Example4.c FAILED 103 FAILED 1000
SPEED-PLDI09_Example5.c FAILED 83 b + -2 + (b + -1) × (a + -1) O(n2) 500
SPEED-PLDI09_Example6.c FAILED 171 d + g + g + -3 O(n) 500
SPEED-PLDI09_NestedLoop.c FAILED 188 (b + -1) × max((c + -1), (... O(n2) 500
SPEED-PLDI09_cyclic.c FAILED 112 FAILED 500
SPEED-PLDI10_Ex1.c FAILED 110 a + -1 + (a + -2) × (a + -1) O(n2) 500
SPEED-PLDI10_Ex2.c FAILED 93 FAILED 500
SPEED-PLDI10_Ex3.c FAILED 88 FAILED 500
SPEED-PLDI10_Ex4.c FAILED 101 FAILED 500
SPEED-PLDI10_Ex5.c FAILED 120 FAILED 500
SPEED-PLDI10_Ex6.c FAILED 79 c + -1 + max(c, b) + -a + -b O(n) 500
SPEED-PLDI10_Ex7.c FAILED 82 FAILED 500
SPEED-POPL09_Dis1.c FAILED 86 c + a + -2 + -d + -b O(n) 500
SPEED-POPL09_Dis2.c FAILED 52 a + -1 + max(c, a) + -b + -c O(n) 500
SPEED-POPL09_NestedMultiple.c FAILED 123 FAILED 500
SPEED-POPL09_NestedMultipleDep.c FAILED 90 b + -1 + (b + -1) × (e + -1) O(n2) 500
SPEED-POPL09_NestedSingle.c FAILED 69 b + b + -2 O(n) 500
SPEED-POPL09_SequentialSingle.c FAILED 86 b + b + b + -3 O(n) 500
SPEED-POPL09_SimpleMultiple.c FAILED 88 c + d + -2 O(n) 500
SPEED-POPL09_SimpleMultipleDep.c FAILED 58 d + c + -2 + (d + -1) × (c... O(n2) 500
SPEED-POPL09_SimpleSingle.c FAILED 58 b + -1 O(n) 500
SPEED-POPL09_SimpleSingle2.c FAILED 105 d + c + -2 O(n) 500
WTC_aaron2.c FAILED 90 b - c O(n) 500
WTC_ax.c FAILED 80 c + c + -5 + (c + -3) × (c... O(n2) 500
WTC_complex.c FAILED 127 FAILED 500
WTC_counterex1b.c FAILED 191 FAILED 500
WTC_cousot9.c FAILED 83 c + d + -2 + (c + -1) × (c... O(n2) 500
WTC_easy1.c FAILED 69 39 O(1) 500
WTC_easy2.c FAILED 52 a + -1 O(n) 500
WTC_exmini.c FAILED 64 b - c O(n) 500
WTC_gcd.c FAILED 85 FAILED 500
WTC_insertsort.c FAILED 108 b + -2 + (b + -2) × (b + -2) O(n2) 500
WTC_loops.c FAILED 86 a + -2 + (a + -3) × (a + -2) O(n2) 500
WTC_nd_loop.c max((((((1 + 1) + 3) + 1) +... O(1) 60 FAILED 500
WTC_ndecr.c FAILED 55 a + -3 O(n) 500
WTC_nestedLoop.c FAILED 250 (b + -1) × max((c + -1), (... O(n2) 500
WTC_perfect.c FAILED 110 a + -2 + a × (a + -2) O(n2) 500
WTC_random1d.c max(((((1 + 1) + 1) + 1) + ... O(n) 80 a + -1 O(n) 500
WTC_random2d.c FAILED 401 b + -1 O(n) 500
WTC_realbubble.c FAILED 145 a + a + -4 + (a + -3) × (a... O(n2) 500
WTC_realheapsort.c FAILED 272 FAILED 1000
WTC_realheapsort_step1.c FAILED 516 N + -2 + (N + -2) × (N + -1) O(n2) 500
WTC_realheapsort_step2.c FAILED 255 FAILED 500
WTC_realselect.c FAILED 104 b + -2 + (b + -3) × (b + -2) O(n2) 500
WTC_realshellsort.c FAILED 248 FAILED 500
WTC_rsd.c FAILED 91 -1 + a × 2 + a × 2 + (-1... O(n2) 500
WTC_sipma91.c FAILED 147 309 + 9 × (99 - a) + -a + ... O(n) 500
WTC_sipmabubble.c FAILED 96 a + a × (a + -1) O(n2) 500
WTC_speedFails4.c FAILED 86 FAILED 500
WTC_speedpldi2.c FAILED 81 FAILED 500
WTC_speedpldi3.c FAILED 103 a + b + -2 + (a + -1) × (b... O(n2) 500
WTC_speedpldi4.c max(((((((((1 + 1) + 1) + (... O(n) 88 FAILED 500
WTC_terminate.c FAILED 67 100 - a O(n) 500
WTC_wcet1.c max((((((((((1 + 1) + A) + ... O(n) 143 a + -2 O(n) 500
WTC_wcet2.c FAILED 71 4 + 8 × (4 - a) + -a O(n) 500
WTC_while2.c FAILED 84 b + -1 + (b + -1) × (b + -1) O(n2) 500
WTC_wise.c max(((((((((1 + 1) + 1) + (... O(n) 125 FAILED 500
a.10.c.t2.c FAILED (Irreducible Control Flow) 41 1 (no loops) O(1) 500
acqrel-fail.t2.c FAILED 76 FAILED 500
afagp-fail.t2.c FAILED 45 FAILED 1000
afagx1.t2.c FAILED 63 FAILED 500
agafp.t2.c FAILED 48 FAILED 500
apchild-accepted-fail.t2.c FAILED 45 FAILED 500
apchild-accepted.t2.c FAILED 44 FAILED 500
apchild-live.t2.c FAILED 43 FAILED 500
apchildlive-succeed.t2.c FAILED 45 FAILED 1000
array.t2.c FAILED 50 1 (no loops) O(1) 500
array1.t2.c FAILED 51 1 (no loops) O(1) 500
array2.t2.c max((((1 + 51) + 1) + 1)) O(1) 65 49 O(1) 500
array3.t2.c max(((((1 + 51) + 51) + 1) ... O(1) 71 98 O(1) 500
array_free.t2.c max((((1 + 43) + 1) + 1)) O(1) 58 41 O(1) 500
array_init.t2.c max((((1 + 11) + 1) + 1)) O(1) 57 9 O(1) 500
array_init_assign.t2.c max(((((1 + 3) + 3) + 1) + 1)) O(1) 64 2 O(1) 500
ase_example.t2.c max((((((11 + 11) + 11) + 1... O(1) 104 27 O(1) 500
bf10.t2.c max((((((((1 + 6) + 6) + 59... O(1) 197 22 O(1) 500
bf11.t2.c max((((((((1 + 6) + 6) + 64... O(1) 198 24 O(1) 500
bf12.t2.c max((((((((1 + 6) + 6) + 69... O(1) 194 26 O(1) 500
bf13.t2.c max((((((((1 + 6) + 6) + 74... O(1) 192 28 O(1) 1000
bf14.t2.c max((((((((1 + 6) + 6) + 79... O(1) 196 30 O(1) 500
bf15.t2.c max((((((((1 + 6) + 6) + 84... O(1) 195 32 O(1) 500
bf16.t2.c max((((((((1 + 6) + 6) + 89... O(1) 192 34 O(1) 500
bf17.t2.c max((((((((1 + 6) + 6) + 94... O(1) 201 36 O(1) 500
bf18.t2.c max((((((((1 + 6) + 6) + 99... O(1) 196 38 O(1) 500
bf19.t2.c max((((((((1 + 6) + 6) + 10... O(1) 199 40 O(1) 500
bf20.t2.c max((((((((1 + 6) + 6) + 10... O(1) 192 42 O(1) 1000
bf5.t2.c max((((((((1 + 6) + 6) + 34... O(1) 199 12 O(1) 500
bf6.t2.c max((((((((1 + 6) + 6) + 39... O(1) 202 14 O(1) 500
bf7.t2.c max((((((((1 + 6) + 6) + 44... O(1) 194 16 O(1) 500
bf8.t2.c max((((((((1 + 6) + 6) + 49... O(1) 199 18 O(1) 500
bf9.t2.c max((((((((1 + 6) + 6) + 54... O(1) 197 20 O(1) 500
bio.t2.c FAILED 44 FAILED 1000
bitcount16.t2.c max((((1 + 17) + 1) + 1)) O(1) 122 15 O(1) 500
bitcount32.t2.c max((((1 + 33) + 1) + 1)) O(1) 124 31 O(1) 500
broydn.c.i.broydn.pl.t2.fixed.t2.c FAILED 47 TIMEOUT
broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.c FAILED 47 TIMEOUT
broydn.t2.c FAILED 41 TIMEOUT
brp.t2.c FAILED 48 1 (no loops) O(1) 500
brp_withassume.t2.c FAILED 42 FAILED 1000
bs.t2.c FAILED 114 FAILED 500
bsort100.t2.c FAILED 207 198 O(1) 500
bubbleSort.t2.c FAILED 143 -4 + max(call_to_nondet_lin... O(n) 1000
bubblesort_inner_loop.t2.c max((((1 + 5) + 1) + 1)) O(1) 71 3 O(1) 500
buggyNonTermLoop.t2.c FAILED 48 1 (no loops) O(1) 500
byron-1.t2.c FAILED 55 FAILED 500
byron-2.t2.c FAILED 120 -4 + (-3 + max(call_to_non... O(n2) 500
byron-3.t2.c FAILED 49 FAILED 500
byron-4.t2.c FAILED 86 FAILED 500
cfg.t2.c FAILED (Irreducible Control Flow) 55 1 (no loops) O(1) 500
cnt.t2.c FAILED 46 20 O(1) 500
collatz.t2.c FAILED 66 FAILED 500
complex_guard.t2.c max((((((4 + 4) + 1) + 1) +... O(1) 64 2 O(1) 500
constants.t2.c FAILED 85 399 O(1) 1000
consts1.t2.c max(((1 + 200) + 1)) O(1) 53 FAILED 500
consts1nt.t2.c FAILED 51 FAILED 500
consts2.t2.c FAILED 51 -1001 + max(call_to_nondet_... O(n) 500
consts2nt.t2.c FAILED 52 FAILED 500
consts3.t2.c FAILED 53 -202 + max(call_to_nondet_l... O(n) 500
consts3nt.t2.c FAILED 65 FAILED 500
consts4.t2.c FAILED 53 -1201 + max(call_to_nondet_... O(n) 500
consts4nt.t2.c FAILED 49 FAILED 500
consts5.t2.c max(((1 + 1) + 1)) O(1) 55 1 (no loops) O(1) 500
consts5nt.t2.c FAILED 56 FAILED 500
costa-jvm-cost_ArrayReverse.c not analyzed length O(n) 500
costa-jvm-cost_Concat.c not analyzed lengthB + lengthA O(n) 500
costa-jvm-cost_Cons.c not analyzed Depth(Set(Select(1, _), c)) O(n) 500
costa-jvm-cost_Delete.c not analyzed la × Depth(Set(Select(1, _... O(n2) 500
costa-jvm-cost_DetEval.c not analyzed la + la + la + la + la + -1... O(n3) 500
costa-jvm-cost_DivByTwo.c not analyzed n O(n) 500
costa-jvm-cost_EvenDigits.c not analyzed n + n × (n + -1) O(n2) 500
costa-jvm-cost_FactSum.c not analyzed n + n × (n + -2) O(n2) 500
costa-jvm-cost_Factorial.c not analyzed n + -2 O(n) 500
costa-jvm-cost_Incr.c not analyzed n O(n) 500
costa-jvm-cost_LinEqSolve.c not analyzed la + la + la + la + la + la... O(n3) 1000
costa-jvm-cost_ListInter.c not analyzed Depth(Set(Select(1, _), l1)... O(n2) 500
costa-jvm-cost_ListReverse.c not analyzed Depth(Set(Select(1, _), x)) O(n) 500
costa-jvm-cost_MatMult.c not analyzed la + la × lb + la × lb × lb O(n3) 500
costa-jvm-cost_MatrixInverse.c not analyzed la + la + la + la + la + la... O(n3) 500
costa-jvm-cost_MergeList.c not analyzed Depth(Set(Select(1, _), oth... O(n2) 500
costa-jvm-cost_Polynomial.c not analyzed min(Select(0, this), 10) O(n) 500
costa-jvm-cost_Power.c not analyzed n + -1 O(n) 500
costa-jvm-cost_SelectOrd.c not analyzed lv + -2 + (lv + -2) × (lv ... O(n2) 500
costa-misc_ack.c FAILED 61 a + -1 O(n) 500
costa-misc_direct_n_log_n.c max((1 + 1), ((1 + A) + 1)) O(n) 63 a + -2 O(n) 500
costa-misc_linear.c max((1 + 1), ((1 + (1 + A))... O(n) 54 FAILED 500
costa-misc_logarithmic.c FAILED 42 1 O(1) 500
costa-misc_merge.c FAILED 56 a + -1 O(n) 500
costa-misc_mspe.c max((1 + 1), (1 + 1), (1 + ... O(n) 32477 FAILED 1000
costa-misc_quadratic.c not analyzed n + -1 + (n + -1) × (n + -1) O(n2) 500
cover.t2.c FAILED 1455 177 O(1) 500
crc.t2.c FAILED 46 96 O(1) 500
create.t2.c FAILED 42 call_to_nondet_line_66 + -3 O(n) 1000
create_seg.t2.c FAILED 42 call_to_nondet_line_69 + -3 O(n) 500
create_via_tmps.t2.c FAILED 43 -3 + max(call_to_nondet_lin... O(n) 500
ctl.t2.c FAILED 117 FAILED 500
curious.t2.c FAILED 52 FAILED 500
curious2.t2.c not analyzed 1 (no loops) O(1) 500
curious4.t2.c FAILED 44 FAILED 500
d.t2.c FAILED 56 FAILED 500
db.t2.c not analyzed 1 (no loops) O(1) 500
db2.t2.c FAILED 46 FAILED 1000
db3.t2.c FAILED 46 FAILED 1000
dead.neg-st88b-succeed.t2.c FAILED 89 FAILED 500
destroy.t2.c FAILED 45 call_to_nondet_line_150 + -... O(n) 500
destroy_seg.t2.c FAILED 42 call_to_nondet_line_234 + -... O(n) 500
destroy_seg_leak.t2.c FAILED 83 FAILED 500
disj_nightmare.t2.c not analyzed FAILED 500
disj_nightmare_abi.t2.c FAILED 57 1 O(1) 500
dropbuf-live.t2.c FAILED 61 1 (no loops) O(1) 500
dropbuf.t2.c FAILED 42 FAILED 1000
dsa_test.t2.c FAILED 53 1 (no loops) O(1) 500
dsa_test1.t2.c FAILED 58 1 (no loops) O(1) 500
dsa_test10.t2.c max(((((11 + 11) + 1) + 1) ... O(1) 85 18 O(1) 500
dsa_test11.t2.c FAILED 53 1 (no loops) O(1) 500
dsa_test12.t2.c FAILED 55 1 (no loops) O(1) 500
dsa_test13.t2.c FAILED 47 1 (no loops) O(1) 500
dsa_test14.t2.c not analyzed 1 (no loops) O(1) 500
dsa_test15.t2.c max(((((1 + 11) + 11) + 1) ... O(1) 70 18 O(1) 500
dsa_test2.t2.c not analyzed 1 (no loops) O(1) 500
dsa_test4.t2.c FAILED 51 1 (no loops) O(1) 500
dsa_test5.t2.c FAILED 60 1 (no loops) O(1) 500
dsa_test6.t2.c max((((1 + 11) + 1) + 1)) O(1) 59 9 O(1) 500
dsa_test7.t2.c not analyzed 1 (no loops) O(1) 500
dsa_test8.t2.c FAILED 53 1 (no loops) O(1) 500
dsa_test9.t2.c FAILED 59 1 (no loops) O(1) 500
dummy.t2.c FAILED 48 FAILED 500
e-1394complete-succeed.t2.c FAILED 43 FAILED 1000
e-acqrel-fail.t2.c FAILED 76 FAILED 500
e-acqrel-succeed.t2.c FAILED 79 FAILED 500
e-pgarch-fail.t2.c FAILED 44 FAILED 500
e-pgarch-succeed.t2.c FAILED 45 FAILED 500
e-popl07-fail.t2.c FAILED 40 FAILED 1000
edn.t2.c FAILED 41 398 O(1) 500
efegp.t2.c FAILED 42 FAILED 1000
elmhes.c.i.elmhes.pl.t2.fixed.t2.c FAILED 41 -1 + (max(call_to_nondet_l... O(n2) 1000
elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed.t2.c FAILED 711 -1 + (max(call_to_nondet_l... O(n2) 500
elmhes.t2.c FAILED 710 -1 + (max(call_to_nondet_l... O(n2) 1000
eric.t2.c FAILED 75 -4 + max(call_to_nondet_lin... O(n) 1000
eric1.t2.c max((1 + 1), ((((((3 / 2) *... O(n2) 68 FAILED 500
eric2.t2.c FAILED 45 FAILED 1000
eric3.t2.c FAILED 79 FAILED 500
ex1.t2.c FAILED 66 FAILED 500
ex10.t2.c FAILED 140 FAILED 500
ex11.t2.c FAILED 68 FAILED 500
ex12.t2.c max((((1 + 20) + 1) + 1)) O(1) 61 17 O(1) 500
ex13.t2.c FAILED 53 1 (no loops) O(1) 500
ex14.t2.c max((((1 + 11) + 1) + 1)) O(1) 58 9 O(1) 500
ex15.t2.c FAILED 57 1 (no loops) O(1) 500
ex16.t2.c FAILED 44 FAILED 500
ex17.t2.c FAILED 96 FAILED 1000
ex18.t2.c FAILED 122 FAILED 500
ex19.t2.c FAILED 70 FAILED 1000
ex2.t2.c FAILED 69 FAILED 500
ex20.t2.c max((((1 + 1025) + 1) + 1)) O(1) 88 1023 O(1) 500
ex21.t2.c max(((((1 + 101) + 101) + 1... O(1) 73 198 O(1) 500
ex22.t2.c FAILED 43 366 O(1) 500
ex23.t2.c max((((1 + 1) + 37) + 1), (... O(1) 63 35 O(1) 500
ex26.t2.c max(((((1 + 101) + 101) + 1... O(1) 77 198 O(1) 500
ex27.t2.c FAILED 43 565 O(1) 500
ex29.t2.c FAILED 42 1 (no loops) O(1) 500
ex3.t2.c max((((1 + 22) + 1) + 1)) O(1) 63 9 O(1) 500
ex30.t2.c FAILED 103 call_to_nondet_line_56 + ca... O(n) 500
ex31.t2.c FAILED 69 FAILED 1000
ex32.t2.c FAILED 62 1998 O(1) 500
ex33.t2.c FAILED 62 1 (no loops) O(1) 500
ex34.t2.c FAILED 40 1 (no loops) O(1) 500
ex36.t2.c FAILED 43 FAILED 11000
ex37.t2.c FAILED 52 1 (no loops) O(1) 500
ex4.t2.c max((((((1 + 11) + 11) + 11... O(1) 125 18 O(1) 500
ex40.t2.c FAILED 63 FAILED 500
ex6.t2.c FAILED 54 1 (no loops) O(1) 500
ex7.t2.c max((((1 + 11) + 1) + 1)) O(1) 69 9 O(1) 500
ex8.t2.c FAILED 55 FAILED 500
ex9.t2.c FAILED 66 FAILED 500
example.t2.c max((1 + 1), (1 + 1), ((1 +... O(n) 58 -4 + max(call_to_nondet_lin... O(n) 500
fake-succeed.t2.c FAILED 49 FAILED 500
fast_poll.t2.c FAILED 42 FAILED 500
fdct.t2.c FAILED 41 14 O(1) 500
fermat.t2.c FAILED 41 6 O(1) 500
fibcall.t2.c FAILED 63 28 O(1) 500
fir.t2.c FAILED 221 7 + 9 × (-2 + max(call_to_... O(n) 1000
firewire.t2.c FAILED 565 FAILED 3000
flipflop.t2.c FAILED 51 FAILED 500
fourn.c.i.fourn.pl.t2.fixed.t2.c FAILED 44 FAILED 1000
fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.c FAILED 44 FAILED 2000
fourn.t2.c FAILED 43 FAILED 1000
fuhs-inflasso.t2.c FAILED 50 -2 + (-1 + max(call_to_non... O(n2) 500
fun1.t2.c FAILED 46 FAILED 1000
fun10.t2.c FAILED (Irreducible Control Flow) 49 FAILED (Irreducible Control Flow) 500
fun10b.t2.c FAILED (Irreducible Control Flow) 42 FAILED (Irreducible Control Flow) 500
fun11.t2.c FAILED 107 FAILED 500
fun1b.t2.c FAILED 45 FAILED 1000
fun2.t2.c FAILED 45 FAILED 500
fun2b.t2.c FAILED 43 FAILED 500
fun3.t2.c FAILED 44 FAILED 1000
fun4-alt.t2.c FAILED 61 FAILED 500
fun4.t2.c FAILED 70 FAILED 500
fun5.t2.c TIMEOUT FAILED 2000
fun6.t2.c FAILED (Irreducible Control Flow) 42 FAILED (Irreducible Control Flow) 500
fun7.t2.c FAILED (Irreducible Control Flow) 44 FAILED (Irreducible Control Flow) 500
fun8.t2.c FAILED 43 27 O(1) 500
fun9.t2.c FAILED 1234 FAILED 500
graycode.t2.c FAILED 644 43 O(1) 500
heidy1.t2.c FAILED 55 FAILED 500
heidy10.t2.c FAILED 57 call_to_nondet_line_27 + -2... O(n2) 500
heidy2.t2.c FAILED 55 FAILED 500
heidy3.t2.c FAILED 61 FAILED 1000
heidy5.t2.c FAILED 59 -1 + max(call_to_nondet_lin... O(n) 500
heidy6.t2.c FAILED 65 FAILED 500
heidy7-simple.t2.c FAILED 61 FAILED 500
heidy7.t2.c FAILED 71 FAILED 500
heidy8.t2.c FAILED 85 FAILED 500
heidy9.t2.c FAILED 53 -1 + max(call_to_nondet_lin... O(n) 500
hongyi1.t2.c FAILED 47 FAILED 1000
hqr.c.i.hqr.pl.t2.fixed.t2.c FAILED 50 FAILED 4000
hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.c FAILED 46 FAILED 4000
hqr.t2.c FAILED 47 FAILED 4000
huh.t2.c FAILED 42 27 + max(call_to_nondet_lin... O(n) 500
iecs.t2.c FAILED 46 FAILED 500
insertsort.t2.c FAILED 79 FAILED 500
intSqRoot.t2.c FAILED 42 FAILED 500
invgen.t2.c FAILED 47 max(call_to_nondet_line_5, ... O(n) 500
jacobi.c.i.jacobi.pl.t2.fixed.t2.c FAILED 46 -12 + (-1 + max((call_to_n... O(n3) 10000
jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2.c FAILED 42