Tool 2LS 0.6.0 CBMC 5.8 CPAchecker 1.6.1-svn 26725 CPAchecker 1.6.1-svn 26758M CPAchecker 1.6.1-svn 26773 DepthK DepthK version 3.0 - Fri Jan 6 18:14:20 AMT 2017 ESBMC ESBMC version 4.6.0 64-bit x86_64 linux CPAchecker Map2Check Map2Check 7.1 : Wed Nov 22 22:30:11 -04 2017 skink symbiotic 5.0.0-KLEE:1faddfe0-dg:12c34aac-symbiotic:5e14b94d-minisat:3db58943-llvm-instrumentation:cd767593-stp:17249213 ULTIMATE Automizer 0.1.23-3204b741 ULTIMATE Kojak 0.1.23-3204b741 ULTIMATE Taipan 0.1.23-3204b741 VeriAbs VerifierIntegerAssignmentPrograms File not exits
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-11-30 11:20:26 CET 2017-11-30 16:01:31 CET 2017-12-01 08:49:27 CET 2017-12-01 12:59:33 CET 2017-12-01 19:00:34 CET 2017-12-01 19:46:39 CET 2017-12-01 22:03:39 CET 2017-12-01 22:41:19 CET 2017-12-02 01:06:24 CET 2017-12-02 02:33:02 CET 2017-12-02 17:23:13 CET 2017-12-02 18:04:04 CET 2017-12-03 03:42:11 CET
Run set 2ls.sv-comp18.ReachSafety-Recursive cbmc.sv-comp18.ReachSafety-Recursive cpa-bam-bnb.sv-comp18.ReachSafety-Recursive cpa-bam-slicing.sv-comp18.ReachSafety-Recursive cpa-seq.sv-comp18.ReachSafety-Recursive depthk.sv-comp18.ReachSafety-Recursive esbmc-incr.sv-comp18.ReachSafety-Recursive esbmc-kind.sv-comp18.ReachSafety-Recursive interpchecker.sv-comp18.ReachSafety-Recursive map2check.sv-comp18.ReachSafety-Recursive skink.sv-comp18.ReachSafety-Recursive symbiotic.sv-comp18.ReachSafety-Recursive uautomizer.sv-comp18.ReachSafety-Recursive ukojak.sv-comp18.ReachSafety-Recursive utaipan.sv-comp18.ReachSafety-Recursive veriabs.sv-comp18.ReachSafety-Recursive viap.sv-comp18.ReachSafety-Recursive
Options --graphml-witness witness.graphml --graphml-witness witness.graphml -svcomp18-bam-bnb -disable-java-assertions -heap 10000m -ldv-bam-svcomp -disable-java-assertions -heap 10000m -svcomp18 -heap 10000M -benchmark -timelimit 900s -s incr -s kinduction -sv-comp18-interpcpachecker -heap 10000M -disable-java-assertions --witness witness.graphml --full-output --full-output --full-output
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score
recursive/Ackermann02_false-unreach-call_true-no-overflow_true-termination.c .11  22 .69 0 1.9  94 21   1 3.4 290 32 0 3.2 280 29 0 4.6 290 44 1 720    15000 9100   0 .33  30 4.0  1 .27  28 2.9  1 2.8 270 23 0 .82 12 9.9 1 4.1 260 42 0 .20 11 1.9 1 6.2 300 51 1 900   2600 12000 0 7.5 380 54 1 670   190 2800 1 120   780 1200 0
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c .092 22 .63 0 .29 33 2.3 1 3.4 290 31 1 3.5 280 33 0 3.7 290 32 1 1.1  50 15   1 .26  28 2.7  1 .25  28 2.1  1 3.3 270 31 1 .69 12 9.0 1 11   360 130 1 .16 12 2.1 1 5.6 300 47 1 5.8 310 46 1 6.0 290 49 1 580   2200 6600 1 10   100 130 1
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c .12  22 .67 0 .25 33 2.2 1 3.1 280 29 0 3.1 280 28 0 2.8 260 25 1 .88 49 12   1 .16  28 1.7  1 .21  28 1.5  1 2.7 260 23 0 .38 12 4.2 1 7.0 320 59 0 .17 11 1.9 1 5.5 290 40 1 5.2 300 40 1 5.8 300 48 1 7.2 220 65 0 7.8 110 110 0
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c .11  22 .66 0 .26 33 2.2 1 3.5 290 27 1 3.3 280 31 1 3.3 270 31 1 .57 50 7.8 1 .24  28 1.9  1 .22  28 2.1  1 2.8 270 25 1 .43 12 4.4 1 5.7 330 49 1 .20 12 2.8 1 4.3 250 33 1 4.4 260 36 1 4.2 250 32 1 7.9 250 66 1 110   220 1400 0
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c .098 22 .80 0 .90 42 9.4 1 3.2 280 31 1 3.2 280 27 0 7.4 380 70 1 610    15000 7600   0 .23  28 2.0  1 .25  28 2.9  1 2.8 260 24 0 .62 12 9.4 1 3.9 250 33 0 .24 12 2.4 1 10   560 86 1 12   510 94 1 23   810 200 1 670   160 3000 1 900   100 11000 0
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c .091 22 .94 0 870    270 3100   0 3.4 280 28 1 3.2 280 29 0 22   500 270 1 610    15000 7000   0 3.7   97 45    1 3.0   56 35    1 2.9 270 26 0 1.1  12 14   1 3.8 250 34 0 .32 12 4.2 1 18   1100 170 0 25   1600 210 0 44   1600 370 0 690   780 2800 1 900   93 11000 0
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c .12  22 .69 0 .25 33 2.1 1 3.3 290 27 0 3.2 280 27 0 3.2 280 30 1 .56 49 6.5 1 .17  28 1.4  1 .17  28 2.5  1 2.7 270 24 0 .45 12 5.9 1 4.1 240 36 0 .16 11 2.1 1 4.2 240 31 1 4.2 250 34 1 4.1 240 32 1 670   160 2900 1 110   470 1600 0
recursive/Ackermann01_true-unreach-call_true-no-overflow.c .11  22 .60 0 870    380 2700   0 3.4 280 31 -16 3.4 280 30 -16 4.9 290 41 2 720    15000 8500   0 570     15000 7700    0 340     15000 4200    0 2.9 280 25 -16 890    16 12000   0 3.7 250 36 0 900    8100 12000   0 12   530 86 2 900   1500 10000 0 910   13000 6200 0 900   4400 5300 0 22   160 290 2
recursive/Ackermann03_true-unreach-call_true-no-overflow.c .12  22 .66 0 870    370 2500   0 3.5 290 28 -16 3.4 280 29 -16 900   3100 11000 0 720    15000 10000   0 520     15000 6700    0 540     15000 6600    0 2.8 260 29 -16 890    16 12000   0 4.0 250 39 0 900    8100 12000   0 33   1100 280 2 900   2400 9100 0 120   4900 1300 2 900   4400 5900 0 110   600 1300 0
recursive/Ackermann04_true-unreach-call_true-no-overflow.c .10  22 .64 0 870    370 2400   0 3.3 290 28 -16 3.3 280 29 -16 900   6700 12000 0 720    15000 8900   0 560     15000 5800    0 340     15000 4200    0 3.0 270 27 -16 900    16 10000   0 3.9 320 40 0 900    8100 12000   0 18   770 180 2 900   2600 10000 0 100   4900 960 2 900   8300 5500 0 120   190 1800 0
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c .096 22 .77 0 880    8600 8300   0 3.4 280 27 -16 3.4 280 32 -16 900   1200 12000 0 640    15000 7800   0 820     15000 8100    0 540     15000 6400    0 3.2 280 30 -16 900    650 8200   0 210   670 2300 2 900    93 12000   0 6.8 340 61 2 900   1700 12000 0 8.5 480 75 2 610   2200 6700 2 120   370 1400 0
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c .11  22 .68 0 880    14000 7600   0 3.4 290 30 -16 3.7 290 30 -16 900   3700 11000 0 900    15000 11000   0 820     15000 8500    0 540     15000 6300    0 3.1 270 30 -16 900    630 9700   0 900   1600 10000 0 900    130 12000   0 340   4600 4300 2 900   5200 12000 0 900   1500 13000 0 610   2200 6700 2 110   390 1300 0
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c .086 22 .85 0 870    8700 6500   0 3.4 290 30 -16 3.2 280 30 -16 900   14000 11000 0 6.2  320 66   0 900     1300 10000    0 900     1300 12000    0 2.9 270 24 -16 900    540 10000   0 260   740 2600 0 .39 13 4.7 1 900   3900 13000 0 900   2400 11000 0 900   1600 14000 0 7.6 160 73 0 110   270 1400 0
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c .095 22 .78 0 870    260 2800   0 3.2 280 30 -16 3.2 280 31 -16 900   1500 10000 0 900    10000 13000   0 250     15000 2700    0 470     15000 4100    0 2.8 260 25 -16 890    13 11000   0 3.9 250 35 0 900    11000 11000   0 10   540 94 2 900   1800 11000 0 26   870 210 2 900   3000 4500 0 16   130 160 2
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c .10  22 .71 0 1.3  33 12   2 3.3 290 32 -16 3.2 280 29 -16 5.7 420 47 2 6.9  450 61   0 .12  26 1.5  2 .14  26 1.3  2 2.9 270 24 -16 .29 11 3.6 0 4.0 240 42 0 .14 11 1.4 2 40   3300 430 2 900   5000 13000 0 480   11000 5000 2 7.6 270 75 2 8.3 110 120 0
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c .11  22 .83 0 870    280 3600   0 3.2 280 32 -16 3.3 280 28 -16 900   4400 11000 0 610    15000 9000   0 250     15000 2400    0 460     15000 5800    0 2.8 270 25 -16 890    13 12000   0 3.8 250 36 0 900    14000 12000   0 43   3400 360 2 900   4900 12000 0 140   4600 1900 2 900   3000 5500 0 110   160 1500 0
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c .12  22 .66 0 870    1400 3500   0 3.2 280 29 -16 3.3 290 30 -16 3.5 290 32 2 740    15000 9400   0 900     14000 7000    0 900     7600 8400    0 2.8 270 29 -16 900    120 12000   0 3.8 250 35 0 900    190 11000   0 6.3 320 54 2 6.7 420 55 2 7.4 420 61 2 900   4000 5000 0 110   470 1200 0
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c .10  22 .73 0 870    450 2500   0 3.6 290 30 -16 3.4 280 31 -16 900   1100 11000 0 710    15000 10000   0 510     15000 6800    0 770     15000 7700    0 3.0 280 26 -16 900    190 13000   0 900   1500 9200 0 900    140 11000   0 900   1400 11000 0 900   1900 11000 0 910   14000 3900 0 900   5800 7100 0 97   170 1400 0
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c .10  23 .70 0 870    340 2800   0 3.8 290 32 -16 3.9 290 38 -16 900   1400 11000 0 710    15000 10000   0 710     15000 6900    0 450     15000 4900    0 3.7 280 29 -16 900    190 11000   0 4.8 300 44 0 900    1400 13000   0 900   4900 13000 0 900   3300 11000 0 900   6000 12000 0 900   3000 7500 0 19   150 220 0
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c .098 22 .71 0 870    3300 4900   0 3.4 290 30 -16 3.1 280 28 -16 4.6 300 40 2 570    15000 7000   0 900     280 8500    0 900     450 9300    0 2.8 270 26 -16 890    92 13000   0 34   730 380 2 900    48 13000   0 7.5 370 60 2 6.5 440 53 2 7.6 390 63 2 900   2300 9600 0 21   170 280 0
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c .11  23 .62 0 870    190 12000   0 3.5 290 29 -16 3.6 290 32 -16 900   730 11000 0 900    15000 11000   0 900     180 10000    0 900     220 9600    0 3.0 270 30 -16 890    33 10000   0 210   740 2900 0 900    26 12000   0 900   1200 12000 0 900   1800 12000 0 900   6900 11000 0 900   3100 11000 0 120   830 1400 0
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c .10  22 .73 0 870    810 3000   0 3.4 290 33 -16 3.3 280 33 -16 5.1 310 42 0 610    15000 7400   0 490     15000 5000    0 280     15000 3300    0 2.7 270 23 -16 890    12 11000   0 3.9 270 32 0 900    12000 12000   0 900   5500 11000 0 900   1700 9800 0 900   12000 8900 0 900   8400 7200 0 13   120 150 0
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c .12  22 .70 0 2.5  35 26   2 3.3 280 30 -16 3.1 290 33 -16 900   4800 12000 0 8.0  460 78   0 .27  26 2.9  2 .29  26 3.7  2 2.9 270 24 -16 1.9  12 26   2 3.7 240 38 0 .23 12 2.8 2 4.9 290 42 2 4.9 270 43 2 4.9 290 40 2 6.9 160 67 0 13   130 190 2
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c .098 22 .75 0 2.5  35 27   2 3.2 280 31 -16 3.3 280 29 -16 900   8400 13000 0 11    480 120   0 .43  26 5.4  2 .44  26 4.6  2 2.9 280 28 -16 1.9  12 23   2 3.7 240 35 0 .23 12 2.6 2 26   820 300 2 11   600 100 2 900   1600 12000 0 6.8 160 63 0 13   130 190 2
recursive-simple/afterrec_2calls_false-unreach-call_true-termination.c .10  22 .56 0 .27 33 2.0 1 3.4 310 28 1 3.1 280 30 1 2.6 250 25 1 1.0  48 14   1 .11  28 .89 1 .085 28 .77 1 2.8 270 27 1 .34 11 4.3 1 3.9 250 38 0 .16 11 1.4 1 4.7 290 43 1 5.0 270 39 1 4.7 290 41 1 23   160 210 0 7.9 92 100 1
recursive-simple/afterrec_false-unreach-call_true-termination.c .10  22 .62 0 .23 33 2.3 1 3.1 270 29 1 3.1 280 27 1 2.7 260 24 1 1.0  48 13   1 .094 28 .92 1 .084 28 .90 1 3.0 280 27 1 .34 11 3.8 1 3.6 230 31 0 .16 11 1.4 1 4.2 240 40 1 4.3 240 38 1 4.3 240 33 1 7.0 220 67 1 6.5 92 88 1
recursive-simple/fibo_10_false-unreach-call_true-termination.c .094 22 .86 0 1.1  35 12   1 3.2 280 28 1 3.4 290 33 1 6.2 390 52 1 1.2  49 15   1 .17  28 1.7  1 .13  28 1.7  1 2.8 260 25 1 .35 11 3.9 1 4.1 340 35 0 .14 11 1.6 1 31   2700 260 1 900   4300 10000 0 910   13000 7600 0 7.6 240 80 1 7.2 98 87 1
recursive-simple/fibo_15_false-unreach-call.c .083 22 .75 0 3.4  73 41   1 3.2 280 26 1 3.3 280 33 1 30   1500 290 1 2.5  61 39   1 .87  33 11    1 1.0   34 15    1 2.8 270 24 1 .50 11 6.4 1 3.9 250 31 0 .15 11 1.7 1 900   5600 12000 0 900   3500 11000 0 910   13000 6900 0 11   210 120 1 9.4 420 130 1
recursive-simple/fibo_20_false-unreach-call.c .099 22 .67 0 170    770 1200   1 3.2 280 30 1 3.1 280 28 1 960   10000 7100 0 19    520 260   1 14     220 200    1 13     200 190    1 2.8 270 28 1 2.4  11 31   1 3.9 250 33 0 .23 19 2.7 1 900   5600 11000 0 900   3600 11000 0 910   13000 7000 0 250   240 2100 0 35   4000 370 1
recursive-simple/fibo_25_false-unreach-call.c .11  22 .70 0 870    480 4300   0 3.3 280 28 1 3.2 290 27 1 220   15000 1900 0 240    5400 3100   1 210     2400 2800    1 230     2600 3100    1 2.8 270 24 1 23    11 310   1 3.7 250 31 0 .84 110 11   1 900   5600 11000 0 900   3400 13000 0 910   13000 6600 0 6.8 160 56 0 11   1200 130 0
recursive-simple/fibo_2calls_10_false-unreach-call.c .099 22 .88 0 .77 33 7.6 1 3.5 280 29 1 3.5 290 34 1 6.4 400 54 1 1.3  49 15   1 .12  28 1.0  1 .15  28 1.6  1 2.9 270 26 1 .36 11 5.0 1 4.2 270 37 0 .16 11 1.5 1 73   4600 730 1 900   2100 10000 0 910   12000 7600 0 7.7 240 69 1 8.7 110 120 1
recursive-simple/fibo_2calls_15_false-unreach-call.c .098 22 .88 0 3.4  80 35   1 3.4 280 29 1 3.3 280 30 1 27   1500 230 1 2.7  69 32   1 .71  31 8.7  1 .54  29 7.5  1 3.1 260 28 1 .62 11 7.7 1 4.2 270 35 0 .17 11 1.5 1 900   5900 14000 0 900   2000 13000 0 910   14000 6200 0 12   240 110 1 11   420 150 1
recursive-simple/fibo_2calls_20_false-unreach-call.c .10  22 .82 0 170    840 1300   1 3.4 290 31 1 3.3 290 32 1 960   10000 7100 0 20    610 240   1 8.4   170 120    1 6.5   150 83    1 3.0 270 27 1 3.5  11 43   1 4.1 270 34 0 .19 14 1.9 1 900   6700 11000 0 900   2500 11000 0 910   13000 6700 0 900   270 5300 0 35   4000 320 1
recursive-simple/fibo_2calls_25_false-unreach-call.c .11  22 .73 0 870    480 6000   0 3.3 290 27 1 3.6 290 34 1 230   15000 1900 0 230    6400 3200   1 120     1700 1600    1 140     1900 1700    1 2.9 260 28 1 36    11 490   1 4.1 270 36 0 .42 52 5.2 1 900   5900 12000 0 900   2300 12000 0 910   13000 7300 0 900   270 6700 0 12   1200 160 0
recursive-simple/fibo_2calls_2_false-unreach-call_true-termination.c .11  22 .70 0 .26 33 2.1 1 3.6 280 32 1 3.5 290 29 1 3.1 280 27 1 .39 48 4.7 1 .11  28 .67 1 .11  28 .95 1 3.1 270 28 1 .34 11 4.5 1 5.4 320 43 1 .16 11 1.5 1 6.0 290 47 1 6.2 340 47 1 6.3 300 56 1 7.2 240 69 1 8.5 92 130 1
recursive-simple/fibo_2calls_4_false-unreach-call_true-termination.c .11  22 .70 0 .24 33 1.9 1 3.5 290 31 1 3.3 290 28 1 4.0 300 32 1 1.1  50 12   1 .11  28 .86 1 .084 28 .80 1 2.9 280 30 1 .36 11 3.7 1 4.0 270 41 0 .17 11 1.5 1 9.7 550 69 1 900   1700 12000 0 17   610 140 1 7.6 240 68 1 8.5 92 110 1
recursive-simple/fibo_2calls_5_false-unreach-call_true-termination.c .099 22 .71 0 .25 33 2.1 1 3.6 280 33 1 3.4 290 31 1 4.1 300 39 1 1.2  49 13   1 .12  28 .89 1 .12  28 .83 1 3.0 260 26 1 .34 11 3.8 1 4.0 270 34 0 .16 11 1.7 1 13   600 110 1 900   1400 12000 0 19   700 170 1 7.3 250 71 1 8.5 92 110 1
recursive-simple/fibo_2calls_6_false-unreach-call_true-termination.c .097 22 .66 0 .25 33 2.4 1 3.5 290 33 1 3.3 290 32 1 4.4 310 34 1 1.2  50 14   1 .082 28 1.1  1 .11  28 .83 1 3.1 280 30 1 .36 11 4.2 1 4.3 270 39 0 .14 11 1.7 1 14   670 130 1 900   1900 13000 0 27   840 230 1 7.2 220 64 1 8.5 92 120 1
recursive-simple/fibo_2calls_8_false-unreach-call_true-termination.c .12  22 .72 0 .64 33 7.5 1 3.4 290 32 1 3.4 280 30 1 5.2 330 43 1 1.2  50 15   1 .10  28 1.0  1 .10  28 1.1  1 3.0 260 26 1 .34 11 4.8 1 4.3 270 42 0 .16 11 1.9 1 32   1600 280 1 900   3600 10000 0 110   3600 990 1 7.1 250 71 1 8.5 92 110 1
recursive-simple/fibo_5_false-unreach-call_true-termination.c .098 22 .89 0 .62 33 6.5 1 3.2 280 32 1 3.1 280 27 1 3.8 300 32 1 1.1  49 13   1 .096 28 1.1  1 .082 28 1.1  1 2.9 260 28 1 .31 11 4.1 1 3.8 250 35 0 .14 11 1.5 1 10   590 86 1 900   2600 12000 0 12   610 98 1 7.3 240 72 1 7.1 92 86 1
recursive-simple/fibo_7_false-unreach-call_true-termination.c .099 22 .73 0 .65 33 6.1 1 3.2 280 27 1 3.3 290 29 1 4.3 310 41 1 1.1  49 13   1 .12  28 1.1  1 .11  28 1.1  1 3.0 280 29 1 .34 11 3.5 1 3.9 240 38 0 .14 11 1.8 1 14   670 120 1 900   2800 12000 0 25   970 210 1 7.6 240 62 1 7.2 92 94 1
recursive-simple/id2_b3_o2_false-unreach-call_true-termination_true-no-overflow.c .11  22 .71 0 .25 33 2.3 1 3.4 290 30 1 3.3 280 27 0 3.9 300 29 1 1.1  49 12   1 .28  28 2.5  1 .26  28 2.6  1 2.9 260 25 1 .47 11 6.2 1 4.2 260 39 0 .18 12 2.2 1 5.9 300 47 1 6.3 350 48 1 5.8 280 50 1 8.0 240 73 1 8.8 92 140 1
recursive-simple/id2_i5_o5_false-unreach-call_true-termination.c .096 22 .93 0 .25 33 2.3 1 3.4 280 30 1 3.1 280 28 1 3.8 300 32 1 1.1  49 16   1 .080 28 .88 1 .082 28 .84 1 2.7 270 24 1 .32 11 3.6 1 3.9 250 35 0 .14 11 1.5 1 7.6 390 66 1 8.7 500 78 1 10   530 78 1 7.3 250 67 1 8.5 92 110 1
recursive-simple/id_b3_o2_false-unreach-call_true-termination_true-no-overflow.c .087 22 .93 0 .26 33 2.0 1 3.3 280 26 1 3.1 280 31 0 3.6 300 35 1 1.1  49 14   1 .30  28 1.7  1 .30  28 2.0  1 2.9 280 23 1 .52 12 6.3 1 3.8 260 37 0 .17 11 1.7 1 5.8 310 47 1 6.0 330 48 1 6.9 350 63 1 7.4 250 73 1 7.5 92 90 1
recursive-simple/id_i10_o10_false-unreach-call_true-termination.c .096 22 .73 0 1.0  33 10   1 3.1 280 26 1 3.1 280 27 1 3.7 300 35 1 1.0  49 13   1 .088 28 1.1  1 .089 28 .88 1 2.7 270 29 1 .31 11 4.1 1 4.9 290 42 1 .14 11 1.7 1 10   570 88 1 24   940 200 1 26   820 280 1 7.4 240 64 1 7.2 92 96 1
recursive-simple/id_i15_o15_false-unreach-call_true-termination.c .12  22 .65 0 1.4  35 14   1 3.2 280 27 1 3.2 280 28 1 3.8 300 32 1 1.1  49 12   1 .10  28 1.0  1 .097 28 1.2  1 2.8 270 24 1 .32 11 4.3 1 4.7 290 39 1 .16 11 1.3 1 15   660 140 1 50   1400 680 1 69   1300 870 1 7.5 240 65 1 7.2 92 82 1
recursive-simple/id_i20_o20_false-unreach-call_true-termination.c .096 22 .82 0 1.7  33 20   1 3.2 280 31 1 3.2 280 26 1 3.8 310 32 1 1.1  49 15   1 .11  28 1.3  1 .13  28 1.3  1 2.8 270 27 1 .33 11 3.3 1 5.0 290 45 1 .14 11 1.6 1 23   800 230 1 100   2400 1300 1 180   1500 2200 1 7.4 240 68 1 7.2 92 87 1
recursive-simple/id_i25_o25_false-unreach-call_true-termination.c .096 22 .73 0 2.1  33 20   1 3.1 280 32 1 3.1 280 30 1 4.0 310 37 1 5.1  300 48   0 .12  28 1.3  1 .15  28 1.4  1 2.8 280 25 1 .31 11 3.3 1 5.0 290 43 1 .16 11 1.5 1 27   860 300 1 170   3200 2100 1 410   1500 6300 1 6.7 160 61 0 7.1 92 92 1
recursive-simple/id_i5_o5_false-unreach-call_true-termination.c .094 22 .62 0 .64 33 5.7 1 3.3 280 30 1 3.1 280 29 1 3.5 280 29 1 1.0  49 14   1 .12  28 1.0  1 .081 28 .86 1 2.7 280 23 1 .33 11 3.8 1 4.8 290 46 1 .14 11 1.9 1 6.7 340 54 1 8.3 470 75 1 9.7 570 89 1 7.1 240 68 1 7.1 92 100 1
recursive-simple/id_o1000_false-unreach-call_true-termination_true-no-overflow.c .12  22 .64 0 47    410 490   1 3.4 310 29 0 3.1 280 29 0 120   4700 1200 1 360    4300 3800   0 900     1200 11000    0 900     1200 9900    0 2.8 270 24 0 180    210 1700   1 5.3 310 49 0 .15 11 1.9 1 900   690 10000 0 900   2500 10000 0 900   850 9900 0 7.0 160 61 0 7.5 92 98 0
recursive-simple/id_o100_false-unreach-call_true-termination_true-no-overflow.c .085 22 .71 0 3.5  51 36   1 3.1 280 31 1 3.2 280 27 0 9.0 510 77 1 9.2  570 76   0 2.3   36 29    1 2.3   37 30    1 2.9 280 23 0 5.0  13 59   1 5.1 290 43 1 .15 11 2.0 1 900   700 12000 0 900   3300 11000 0 900   900 11000 0 7.0 160 60 0 7.7 92 97 1
recursive-simple/id_o10_false-unreach-call_true-termination_true-no-overflow.c .096 22 .67 0 .99 33 9.4 1 3.1 280 28 1 3.3 290 29 0 3.8 300 34 1 .93 49 11   1 .23  28 1.8  1 .19  28 2.0  1 2.8 280 25 0 .78 12 9.3 1 5.1 290 47 1 .17 11 1.5 1 11   540 98 1 16   680 170 1 20   610 180 1 7.1 220 64 1 7.5 92 95 1
recursive-simple/id_o200_false-unreach-call_true-termination_true-no-overflow.c .090 22 .72 0 3.3  47 35   1 3.6 310 31 1 3.1 280 31 0 13   730 100 1 12    690 110   0 13     85 180    1 14     86 170    1 2.8 270 25 0 11    20 120   1 5.0 300 46 1 .18 11 1.3 1 900   800 12000 0 900   2300 12000 0 900   830 12000 0 6.8 160 68 0 7.7 92 95 1
recursive-simple/id_o20_false-unreach-call_true-termination_true-no-overflow.c .12  22 .71 0 1.8  33 18   1 3.2 280 31 1 3.3 280 27 0 4.2 310 36 1 .92 49 11   1 .23  28 2.6  1 .28  28 2.4  1 2.8 280 25 0 1.2  12 18   1 5.0 280 50 1 .15 11 1.9 1 290   710 4100 1 91   1100 1200 1 320   860 3700 1 7.4 240 55 1 7.6 92 97 1
recursive-simple/id_o3_false-unreach-call_true-termination_true-no-overflow.c .12  22 .67 0 .62 33 5.7 1 3.2 280 27 1 3.1 280 29 0 3.5 280 29 1 .90 49 10   1 .20  28 1.6  1 .19  28 1.8  1 2.8 270 23 1 .50 11 5.7 1 5.2 300 47 1 .17 11 1.8 1 6.1 300 47 1 6.7 420 53 1 7.5 380 63 1 7.2 220 60 1 7.4 92 89 1
recursive-simple/sum_10x0_false-unreach-call_true-termination.c .12  22 .63 0 1.0  33 10   1 3.2 280 27 1 3.1 280 28 1 3.9 300 29 1 1.0  49 13   1 .093 28 .92 1 .089 28 .94 1 2.9 270 27 1 .32 11 3.8 1 5.0 300 45 1 .16 11 1.5 1 10   540 90 1 12   480 110 1 30   900 290 1 7.3 240 63 1 7.6 95 95 1
recursive-simple/sum_15x0_false-unreach-call_true-termination.c .099 22 .58 0 1.4  33 17   1 3.2 280 31 1 3.2 280 28 1 4.0 310 37 1 1.1  49 14   1 .12  28 1.1  1 .12  28 1.1  1 2.8 270 26 1 .35 11 3.6 1 5.0 300 46 1 .17 11 1.7 1 15   670 120 1 12   530 110 1 80   1300 870 1 7.0 220 62 1 7.6 92 110 1
recursive-simple/sum_20x0_false-unreach-call_true-termination.c .10  22 .75 0 1.8  33 17   1 3.2 280 28 1 3.2 280 28 1 4.0 310 40 1 1.1  49 17   1 .15  28 1.1  1 .13  28 1.2  1 2.7 270 23 1 .31 11 4.2 1 5.2 320 44 1 .15 11 1.5 1 18   800 140 1 16   700 140 1 210   1500 2500 1 7.5 250 68 1 7.6 92 110 1
recursive-simple/sum_25x0_false-unreach-call_true-termination.c .096 22 .76 0 2.3  33 22   1 3.1 280 30 1 3.3 280 33 1 4.0 310 35 1 5.2  310 48   0 .12  28 1.4  1 .16  28 1.6  1 2.8 260 23 1 .32 11 3.4 1 5.2 300 44 1 .16 11 1.7 1 25   910 220 1 19   790 170 1 440   1400 6100 1 6.5 160 62 0 7.6 92 95 1
recursive-simple/sum_2x3_false-unreach-call_true-termination.c .097 22 .64 0 .24 33 2.2 1 3.2 280 30 1 3.2 280 31 1 3.6 290 31 1 1.0  49 12   1 .080 28 1.0  1 .099 28 1.1  1 2.7 270 25 1 .31 11 3.6 1 5.1 330 45 1 .16 11 1.6 1 5.6 290 41 1 5.2 300 44 1 6.4 310 57 1 7.2 220 70 1 7.6 92 120 1
recursive-simple/sum_non_eq_false-unreach-call_true-termination_true-no-overflow.c .11  22 .70 0 .26 33 2.4 1 3.1 280 29 1 3.3 290 29 1 3.4 290 31 1 .39 49 4.4 1 .20  28 2.0  1 .20  28 2.2  1 2.9 270 25 1 .36 12 4.5 1 5.0 290 43 1 .14 11 1.6 1 4.2 240 34 1 4.3 250 37 1 4.2 240 34 1 7.3 250 62 1 7.9 120 94 1
recursive-simple/afterrec_2calls_true-unreach-call_true-termination.c .11  22 .63 0 .41 33 4.1 2 2.7 270 28 2 2.8 270 26 2 2.3 240 23 2 3.1  260 29   2 .073 26 .73 2 .084 26 .84 2 2.9 270 27 2 .32 11 3.9 2 4.1 260 37 2 .14 11 1.7 2 4.6 280 39 2 4.2 260 38 2 4.6 280 35 2 7.9 270 69 2 8.7 110 110 0
recursive-simple/afterrec_true-unreach-call_true-termination.c .096 22 .75 0 .39 33 5.1 2 2.8 270 24 2 2.8 270 23 2 2.4 250 22 2 3.0  260 32   2 .096 26 .75 2 .10  26 .73 2 2.7 280 26 2 .32 11 3.5 2 3.9 240 35 2 .15 11 1.4 2 4.5 290 40 2 4.4 250 35 2 4.7 280 43 2 7.5 270 64 2 7.3 110 100 0
recursive-simple/fibo_10_true-unreach-call_true-termination.c .12  22 .72 0 1.3  33 13   2 3.1 280 34 -16 3.2 280 31 -16 6.4 460 56 2 8.1  500 74   0 .18  26 1.6  2 .17  26 1.4  2 2.8 270 28 -16 .33 11 3.5 2 4.0 240 36 0 .16 11 1.5 2 70   4600 720 2 900   4800 13000 0 910   13000 7500 0 7.5 260 70 2 14   200 160 2
recursive-simple/fibo_15_true-unreach-call.c .098 22 .60 0 4.2  40 58   1 3.1 280 28 -16 3.2 280 28 -16 36   2100 500 1 50    2400 640   0 .96  32 12    1 1.1   33 16    1 2.8 260 26 -16 .54 11 5.7 1 3.9 250 36 0 .14 11 1.6 1 900   5400 12000 0 900   5900 11000 0 910   13000 7800 0 9.9 270 90 1 14   210 150 1
recursive-simple/fibo_20_true-unreach-call.c .12  22 .65 0 340    400 2700   1 3.2 280 29 -16 3.5 280 30 -16 910   3900 13000 0 900    3900 12000   0 16     240 220    1 15     220 180    1 2.8 270 26 -16 2.4  11 32   1 3.9 240 40 0 .22 13 2.7 1 900   5700 11000 0 900   6100 13000 0 910   13000 8000 0 250   250 2300 0 19   210 230 1
recursive-simple/fibo_25_true-unreach-call.c .12  22 .71 0 870    470 4000   0 3.3 290 27 -16 3.2 280 26 -16 960   5000 11000 0 900    4400 12000   0 240     2600 2800    1 260     2800 3300    1 2.7 270 25 -16 22    11 320   1 3.4 250 31 0 .73 35 9.0 1 900   5700 11000 0 900   6400 12000 0 910   13000 6500 0 6.5 160 58 0 25   1200 330 1
recursive-simple/fibo_2calls_10_true-unreach-call.c .091 22 .74 0 .95 33 9.2 2 3.5 290 30 -16 3.3 290 30 -16 7.7 470 59 2 9.1  510 70   0 .13  26 1.3  2 .12  26 1.3  2 2.9 280 27 -16 .35 11 5.2 2 4.0 270 44 0 .16 11 1.6 2 110   4600 1100 2 900   4800 11000 0 900   13000 7800 0 7.8 270 57 2 15   200 180 2
recursive-simple/fibo_2calls_15_true-unreach-call.c .085 22 .81 0 4.3  41 55   1 3.4 290 30 -16 3.4 280 30 -16 54   2100 690 1 66    2200 810   0 .81  30 11    1 .68  28 8.2  1 3.0 260 26 -16 .64 11 7.8 1 4.0 260 42 0 .14 11 1.9 1 900   6000 11000 0 900   4800 13000 0 910   13000 7200 0 9.9 270 96 1 15   200 210 1
recursive-simple/fibo_2calls_20_true-unreach-call.c .12  22 .71 0 370    420 2200   1 3.5 280 34 -16 3.4 290 30 -16 910   3900 12000 0 900    3900 11000   0 10     180 160    1 8.3   160 110    1 3.1 260 26 -16 3.5  11 50   1 3.8 270 36 0 .16 11 1.9 1 900   5700 12000 0 900   4900 12000 0 900   13000 6300 0 900   260 5700 0 29   220 360 1
recursive-simple/fibo_2calls_25_true-unreach-call.c .099 23 .76 0 870    480 5300   0 3.6 310 32 -16 3.2 280 27 -16 960   5200 11000 0 900    4500 13000   0 140     1900 2000    1 160     2100 1800    1 2.9 270 30 -16 35    11 490   1 4.1 270 39 0 .37 20 4.9 1 900   6100 10000 0 900   4900 13000 0 910   13000 6800 0 900   270 6000 0 17   1200 240 1
recursive-simple/fibo_2calls_2_true-unreach-call_true-termination.c .10  22 .64 0 .44 33 3.7 2 2.9 270 26 2 2.9 270 27 2 2.6 270 23 2 3.2  260 30   2 .11  26 .59 2 .10  26 .72 2 4.3 290 39 2 .34 11 4.4 2 4.6 280 47 2 .13 11 1.5 2 7.7 400 63 2 900   1400 11000 0 8.6 450 80 2 8.2 270 69 2 14   170 170 2
recursive-simple/fibo_2calls_4_true-unreach-call_true-termination.c .12  22 .71 0 .41 33 4.5 2 3.5 280 27 -16 3.5 290 29 -16 3.8 290 30 2 4.9  300 45   0 .076 26 .88 2 .11  26 .65 2 3.0 280 25 -16 .33 11 4.7 2 4.1 270 37 0 .13 11 1.5 2 13   630 120 2 900   1800 11000 0 23   730 190 2 8.0 260 70 2 15   200 190 2
recursive-simple/fibo_2calls_5_true-unreach-call_true-termination.c .10  22 .76 0 .41 33 4.4 2 3.4 290 32 -16 3.3 290 33 -16 4.0 290 35 2 5.1  300 48   0 .11  26 .76 2 .11  26 .67 2 3.0 270 29 -16 .33 11 4.5 2 4.2 280 36 0 .17 11 1.4 2 17   710 140 2 900   1600 12000 0 24   770 230 2 7.8 280 66 2 15   200 200 2
recursive-simple/fibo_2calls_6_true-unreach-call_true-termination.c .090 22 .72 0 .45 33 4.2 2 3.5 290 34 -16 3.5 290 32 -16 4.2 290 33 2 5.6  300 53   0 .11  26 .80 2 .10  26 .70 2 2.9 270 25 -16 .34 11 4.1 2 3.8 260 35 0 .14 11 1.5 2 24   850 190 2 900   4100 12000 0 45   1100 450 2 7.7 270 65 2 15   200 190 2
recursive-simple/fibo_2calls_8_true-unreach-call_true-termination.c .10  22 .70 0 .88 33 7.9 2 3.4 290 32 -16 3.5 290 33 -16 5.6 370 51 2 6.2  360 58   0 .098 26 1.0  2 .085 26 1.0  2 3.0 280 23 -16 .37 11 4.5 2 3.9 270 36 0 .17 11 1.9 2 47   2100 420 2 900   4600 13000 0 140   4600 1300 2 7.8 270 70 2 15   200 190 2
recursive-simple/fibo_5_true-unreach-call_true-termination.c .099 22 .76 0 .79 33 9.2 2 3.1 280 28 -16 3.3 290 32 -16 3.7 300 31 2 4.7  290 50   0 .11  26 .69 2 .11  26 .76 2 2.9 270 26 -16 .32 11 3.4 2 3.8 240 39 0 .14 11 1.8 2 13   640 120 2 900   3400 10000 0 18   660 170 2 7.5 260 69 2 14   200 160 2
recursive-simple/fibo_7_true-unreach-call_true-termination.c .11  22 .70 0 .86 33 8.2 2 3.2 280 29 -16 3.1 280 30 -16 4.4 300 40 2 5.5  300 48   0 .11  26 .86 2 .11  26 1.0  2 2.8 270 25 -16 .34 11 3.4 2 3.9 240 32 0 .14 11 1.6 2 18   950 170 2 900   4600 13000 0 37   1200 310 2 8.3 270 86 2 14   200 200 2
recursive-simple/id2_b2_o3_true-unreach-call_true-termination_true-no-overflow.c .094 22 .66 0 870    5200 5000   0 2.9 270 25 2 3.1 270 28 2 3.9 290 34 2 4.9  290 45   0 900     1300 10000    0 900     1200 13000    0 2.9 270 25 2 900    610 11000   0 3.6 260 34 0 900    2100 10000   0 8.4 440 67 2 8.2 480 62 2 9.3 470 79 2 7.5 160 78 0 15   210 230 1
recursive-simple/id2_b3_o5_true-unreach-call_true-termination_true-no-overflow.c .11  22 .72 0 870    5200 6200   0 3.0 270 23 2 3.1 270 25 2 3.7 290 31 2 5.0  300 48   0 900     1200 11000    0 900     1200 11000    0 3.1 280 29 2 900    710 8500   0 4.3 260 35 0 900    2100 12000   0 9.3 520 72 2 11   570 100 2 11   550 85 2 7.4 160 75 0 14   200 180 1
recursive-simple/id2_b5_o10_true-unreach-call_true-termination_true-no-overflow.c .092 22 .68 0 870    5200 7500   0 2.9 270 29 2 3.1 270 28 2 3.6 280 32 2 5.1  300 52   0 900     1200 12000    0 900     1200 9400    0 3.0 270 24 2 890    650 9700   0 3.9 250 39 0 900    2100 11000   0 9.2 520 82 2 14   650 130 2 10   540 97 2 7.6 160 79 0 15   210 190 1
recursive-simple/id2_i5_o5_true-unreach-call_true-termination.c .094 22 .81 0 .43 33 3.3 2 3.2 280 31 -16 3.2 290 32 -16 3.7 290 35 2 4.5  300 42   0 .11  26 .70 2 .10  26 .73 2 2.7 270 24 -16 .35 11 3.3 2 4.0 250 37 0 .16 11 1.8 2 9.7 560 71 2 900   1700 10000 0 13   670 130 2 7.6 270 60 2 14   170 170 2
recursive-simple/id_b2_o3_true-unreach-call_true-termination_true-no-overflow.c .097 22 .68 0 870    10000 3900   0 2.9 270 26 2 2.9 270 26 2 3.4 290 28 2 4.6  300 36   0 900     1200 10000    0 900     1200 9800    0 2.9 260 27 2 890    950 8200   0 4.0 250 38 0 900    1700 9800   0 7.1 350 59 2 7.6 470 61 2 6.4 300 49 2 7.2 150 66 0 14   210 150 1
recursive-simple/id_b3_o5_true-unreach-call_true-termination_true-no-overflow.c .10  22 .71 0 870    5200 7300   0 2.8 270 27 2 2.9 270 22 2 3.4 290 32 2 4.6  290 44   0 900     890 11000    0 900     890 11000    0 3.1 280 24 2 900    860 10000   0 3.8 240 36 0 900    1700 10000   0 5.7 300 45 2 6.3 390 52 2 7.5 370 62 2 6.9 160 66 0 12   160 160 1
recursive-simple/id_b5_o10_true-unreach-call_true-termination_true-no-overflow.c .11  22 .64 0 870    11000 4000   0 3.0 270 29 2 3.0 270 28 2 3.5 290 32 2 4.6  300 44   0 900     890 9800    0 900     890 13000    0 2.9 270 26 2 890    830 9300   0 3.8 240 36 0 900    1700 9300   0 6.0 300 55 2 6.5 390 50 2 7.8 370 71 2 7.1 160 59 0 12   160 150 1
recursive-simple/id_i10_o10_true-unreach-call_true-termination.c .10  22 .63 0 1.2  33 11   2 3.3 280 27 -16 3.1 280 29 -16 3.6 290 29 2 4.8  300 44   0 .11  26 .85 2 .12  26 .76 2 2.7 260 28 -16 .33 11 3.4 2 3.9 240 38 2 .12 11 1.5 2 11   590 100 2 17   720 170 2 28   900 270 2 7.7 260 69 2 14   210 180 2
recursive-simple/id_i15_o15_true-unreach-call_true-termination.c .12  22 .67 0 1.6  35 16   2 3.1 280 25 -16 3.1 280 29 -16 3.7 290 32 2 4.6  290 42   0 .12  26 1.0  2 .093 26 1.1  2 2.9 270 28 -16 .33 11 3.6 2 3.7 240 36 2 .15 11 1.6 2 15   660 130 2 24   840 240 2 73   1500 940 2 7.6 270 61 2 15   210 200 2
recursive-simple/id_i20_o20_true-unreach-call_true-termination.c .12  22 .63 0 1.9  33 25   2 3.3 280 33 -16 3.2 280 28 -16 3.8 290 29 2 4.8  300 50   0 .10  26 1.1  2 .13  26 1.1  2 2.8 270 24 -16 .33 11 4.3 2 3.8 240 39 2 .15 11 1.5 2 20   750 200 2 34   1000 350 2 180   1300 2600 2 7.5 260 66 2 15   210 210 2
recursive-simple/id_i25_o25_true-unreach-call_true-termination.c .096 22 .83 0 2.4  33 25   2 3.5 300 29 -16 3.3 280 34 -16 3.8 300 36 2 4.8  300 47   0 .13  26 1.4  2 .11  26 1.4  2 2.8 270 23 -16 .47 82 4.0 2 3.4 230 31 2 .12 11 1.5 2 27   920 220 2 44   1400 450 2 420   1500 5200 2 6.5 160 54 0 17   220 240 2
recursive-simple/id_i5_o5_true-unreach-call_true-termination.c .094 22 .64 0 .82 33 7.7 2 3.3 280 27 -16 3.2 280 31 -16 3.6 300 35 2 4.6  300 47   0 .078 26 .83 2 .093 26 .78 2 2.7 270 23 -16 .35 11 3.3 2 3.6 240 35 2 .15 11 1.4 2 8.2 450 65 2 11   560 90 2 11   590 97 2 7.6 260 61 2 12   170 160 2
recursive-simple/sum_10x0_true-unreach-call_true-termination.c .095 22 .73 0 1.2  33 11   2 3.3 290 28 -16 3.1 280 27 -16 4.0 300 33 2 4.8  300 41   0 .082 26 1.1  2 .10  26 1.0  2 2.7 260 26 -16 .34 11 4.2 2 3.7 240 34 2 .13 11 1.4 2 13   620 100 2 900   2900 12000 0 29   900 300 2 7.7 260 60 2 12   220 180 2
recursive-simple/sum_15x0_true-unreach-call_true-termination.c .093 22 .65 0 1.6  33 14   2 3.3 280 27 -16 3.3 280 31 -16 4.1 300 37 2 5.0  300 47   0 .10  26 1.0  2 .093 26 1.2  2 2.7 270 24 -16 .33 11 3.8 2 3.9 240 35 2 .15 11 1.5 2 17   690 130 2 900   4400 12000 0 98   1500 1300 2 7.8 270 59 2 13   220 170 2
recursive-simple/sum_20x0_true-unreach-call_true-termination.c .12  22 .50 0 2.0  33 18   2 3.2 280 29 -16 3.2 280 27 -16 4.3 300 39 2 5.3  300 49   0 .11  26 1.1  2 .10  26 1.3  2 2.9 280 24 -16 .31 11 4.1 2 3.7 240 33 2 .13 11 1.4 2 23   840 190 2 900   3500 15000 0 230   1400 2800 2 7.4 260 60 2 110   340 1300 0
recursive-simple/sum_25x0_true-unreach-call_true-termination.c .096 22 .67 0 2.4  33 24   2 3.3 280 26 -16 3.3 280 28 -16 4.8 300 37 2 5.2  310 50   0 .12  26 1.4  2 .12  26 1.3  2 2.8 280 23 -16 .33 11 3.6 2 3.8 240 34 2 .14 11 1.5 2 32   1000 350 2 900   4500 15000 0 480   1500 6200 2 6.7 160 64 0 110   420 1400 0
recursive-simple/sum_2x3_true-unreach-call_true-termination.c .10  22 .70 0 .41 33 3.5 2 3.4 310 31 -16 3.2 280 31 -16 3.5 290 31 2 4.6  300 45   0 .11  26 .66 2 .10  26 .84 2 2.8 270 25 -16 .33 11 3.8 2 3.8 240 34 2 .12 11 1.4 2 7.4 380 67 2 900   1600 11000 0 8.9 540 75 2 7.5 260 61 2 11   140 150 2
recursive-simple/sum_non_eq_true-unreach-call_true-termination_true-no-overflow.c .089 22 .68 0 870    290 10000   0 3.1 280 25 -16 3.2 290 33 -16 3.8 300 33 2 5.1  310 49   0 900     240 12000    0 900     240 12000    0 2.8 270 24 -16 900    760 8500   0 4.2 240 42 2 .13 11 1.5 2 8.5 320 89 2 6.8 370 59 2 17   410 190 2 19   160 220 0 110   280 1300 0
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score
total 96 9.9 2100 68 0 96 24000 89000 140000 95 96 310 27000 2800 -630 96 310 27000 2800 -640 96 17000 150000 210000 108 96 16000   290000 210000 42 96 17000   190000 190000 99 96 16000   180000 190000 99 96 280 26000 2500 -636 96 19000 9000 230000 98 96 2900 30000 31000 51 96 17000   76000 220000 103 96 20000 160000 250000 116 96 48000 200000 620000 61 96 29000 350000 290000 104 96 19000   75000 140000 81 96 4500 30000 55000 91
    correct results 0 66 460 4300 3700 91 49 160 14000 1400 58 39 120 11000 1100 48 73 490 30000 4500 106 39 560   15000 7300 42 68 380   6400 5100 93 68 420   6700 5400 93 43 130 12000 1100 52 68 290 1100 3100 92 35 400 11000 4200 51 70 12   930 130 96 75 1800 67000 20000 116 43 840 27000 9100 61 68 5000 78000 59000 104 56 4900   20000 35000 79 57 650 16000 8300 79
        correct true 0 25 30 830 300 50 9 26 2500 240 18 9 27 2400 230 18 33 130 10000 1200 66 3 9.3 780 92 6 25 3.2 660 31 50 25 3.2 660 31 50 9 28 2500 250 18 24 11 340 140 48 16 290 4800 3200 32 26 3.9 280 42 52 41 1100 43000 12000 82 18 230 10000 2100 36 36 2800 53000 33000 72 23 1400   9900 15000 46 22 320 4100 4100 44
        correct false 0 41 430 3500 3400 41 40 130 11000 1200 40 30 98 8500 890 30 40 360 20000 3400 40 36 550   15000 7300 36 43 380   5800 5100 43 43 420   6000 5400 43 34 98 9200 890 34 44 280 710 3000 44 19 100 5800 940 19 44 8.2 650 92 44 34 740 24000 8100 34 25 610 17000 6900 25 32 2100 25000 26000 32 33 3500   10000 20000 33 35 330 12000 4100 35
    correct-unconfimed results 0 4 720 900 5000 4 4 13 1200 120 0 14 45 3900 400 0 2 91 4200 1200 2 0 6 400   5000 5100 6 6 450   5300 5500 6 10 28 2700 240 0 6 65 67 900 6 2 12 630 110 0 7 2.2 110 27 7 1 18 1100 170 0 1 25 1600 210 0 1 44 1600 370 0 3 27   750 250 2 15 230 7000 3000 12
        correct-unconfirmed true 0 4 720 900 5000 4 0 0 2 91 4200 1200 2 0 6 400   5000 5100 6 6 450   5300 5500 6 0 6 65 67 900 6 0 7 2.2 110 27 7 0 0 0 2 20   530 190 2 12 200 4400 2600 12
        correct-unconfirmed false 0 0 4 13 1200 120 0 14 45 3900 400 0 0 0 0 0 10 28 2700 240 0 0 2 12 630 110 0 0 1 18 1100 170 0 1 25 1600 210 0 1 44 1600 370 0 1 7.2 220 65 0 3 30 2500 380 0
    incorrect results 0 0 43 140 12000 1300 -688 43 140 12000 1300 -688 0 0 0 0 43 120 12000 1100 -688 0 0 0 0 0 0 0 0
        incorrect true 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
        incorrect false 0 0 43 140 12000 1300 -688 43 140 12000 1300 -688 0 0 0 0 43 120 12000 1100 -688 0 0 0 0 0 0 0 0
score (96 tasks, max score: 148) 0 95 -630 -640 108 42 99 99 -636 98 51 103 116 61 104 81 91
Run set 2ls.sv-comp18.ReachSafety-Recursive cbmc.sv-comp18.ReachSafety-Recursive cpa-bam-bnb.sv-comp18.ReachSafety-Recursive cpa-bam-slicing.sv-comp18.ReachSafety-Recursive cpa-seq.sv-comp18.ReachSafety-Recursive depthk.sv-comp18.ReachSafety-Recursive esbmc-incr.sv-comp18.ReachSafety-Recursive esbmc-kind.sv-comp18.ReachSafety-Recursive interpchecker.sv-comp18.ReachSafety-Recursive map2check.sv-comp18.ReachSafety-Recursive skink.sv-comp18.ReachSafety-Recursive symbiotic.sv-comp18.ReachSafety-Recursive uautomizer.sv-comp18.ReachSafety-Recursive ukojak.sv-comp18.ReachSafety-Recursive utaipan.sv-comp18.ReachSafety-Recursive veriabs.sv-comp18.ReachSafety-Recursive viap.sv-comp18.ReachSafety-Recursive