Tool 2LS 0.7.2-sv-comp19 CBMC CBMC Path 5.10 () CPAchecker 1.7-svn 29852 DepthK 3.1 DIVINE ESBMC version 6.0.0 64-bit x86_64 linux Map2Check v7.2-Flock : Tue Nov 27 22:00:00 -04 2018 PeSCo 1.7-svn b8d6131600+ Pinaka 0.1 skink 2.0 SMACK 1.9.3 symbiotic 6.0.3-77d4af47 ULTIMATE Automizer 0.1.23-635dfa2a ULTIMATE Kojak 0.1.23-635dfa2a ULTIMATE Taipan 0.1.23-635dfa2a VeriAbs 1.3.10 VeriFuzz 1.0.0 VerifierIntegerAssignmentPrograms 1.1.12(Date 28/11/2018)
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-04 22:44:17 CET 2018-12-04 22:48:40 CET 2018-12-04 22:45:10 CET 2018-12-05 05:46:16 CET 2018-12-05 09:36:33 CET 2018-12-10 10:00:20 CET 2018-12-06 11:06:04 CET 2018-12-06 11:03:31 CET 2018-12-06 12:20:21 CET 2018-12-06 12:44:04 CET 2018-12-06 20:14:43 CET 2018-12-07 12:00:55 CET 2018-12-07 19:13:55 CET 2018-12-07 21:42:05 CET 2018-12-08 07:42:40 CET 2018-12-08 11:04:44 CET 2018-12-08 14:19:36 CET 2018-12-10 16:50:17 CET 2018-12-09 02:47:33 CET 2018-12-09 18:49:43 CET
Run set 2ls.sv-comp19_prop-reachsafety.ReachSafety-Recursive cbmc.sv-comp19_prop-reachsafety.ReachSafety-Recursive cbmc-path.sv-comp19_prop-reachsafety.ReachSafety-Recursive cpa-seq.sv-comp19_prop-reachsafety.ReachSafety-Recursive depthk.sv-comp19_prop-reachsafety.ReachSafety-Recursive divine-explicit.sv-comp19_prop-reachsafety.ReachSafety-Recursive divine-smt.sv-comp19_prop-reachsafety.ReachSafety-Recursive esbmc-kind.sv-comp19_prop-reachsafety.ReachSafety-Recursive map2check.sv-comp19_prop-reachsafety.ReachSafety-Recursive pesco.sv-comp19_prop-reachsafety.ReachSafety-Recursive pinaka.sv-comp19_prop-reachsafety.ReachSafety-Recursive skink.sv-comp19_prop-reachsafety.ReachSafety-Recursive smack.sv-comp19_prop-reachsafety.ReachSafety-Recursive symbiotic.sv-comp19_prop-reachsafety.ReachSafety-Recursive uautomizer.sv-comp19_prop-reachsafety.ReachSafety-Recursive ukojak.sv-comp19_prop-reachsafety.ReachSafety-Recursive utaipan.sv-comp19_prop-reachsafety.ReachSafety-Recursive veriabs.sv-comp19_prop-reachsafety.ReachSafety-Recursive verifuzz.sv-comp19_prop-reachsafety.ReachSafety-Recursive viap.sv-comp19_prop-reachsafety.ReachSafety-Recursive
Options --graphml-witness witness.graphml --graphml-witness witness.graphml --graphml-witness witness.graphml -svcomp19 -heap 10000M -benchmark -timelimit 900s --no-symbolic -s kinduction -svcomp19-pesco -heap 10000M -stack 2048k -benchmark -timelimit 900s --graphml-witness witness.graphml -w error-witness.graphml --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 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 error (5) .099 24 .69 0 false(unreach-call) 1.4   74   15    1 out of memory 180     15000   2600    0 false(unreach-call) 4.5 280 43 1 out of memory 280    15000 3300   0 unknown 8.2 430 110 0 false(unreach-call) 12   440 130 1 false(unreach-call) .21  28 2.5  1 unknown 31    95 440   0 false(unreach-call) 16 1200 120 1 false(unreach-call) .37 58 3.4 1 unknown 7.6 220 69 0 disqualified 2.7 73 30 0 false(unreach-call) .25 17 2.6 1 false(unreach-call) 9.4 360 79 1 timeout 900   1100 9200 0 false(unreach-call) 10   410 75 1 false(unreach-call) 670   200 5700 1 false(unreach-call) 4.0 150 46 1 false(unreach-call) 2.7 130 35 1
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c error (5) .085 24 .85 0 false(unreach-call) .082 9.4 .81 1 false(unreach-call) .071 9.7 .77 1 false(unreach-call) 3.7 270 33 1 false(unreach-call) .40 34 4.8 1 unknown 8.3 430 100 0 false(unreach-call) 9.9 430 120 1 false(unreach-call) .12  26 1.4  1 timeout 900    130 9000   0 false(unreach-call) 13 1200 95 1 false(unreach-call) .37 59 3.6 1 false(unreach-call) 7.9 350 67 1 disqualified 2.6 74 34 0 false(unreach-call) .24 18 2.9 1 false(unreach-call) 8.0 330 66 1 false(unreach-call) 9.1 370 78 1 false(unreach-call) 8.8 360 76 1 false(unreach-call) 570   2200 5200 1 false(unreach-call) 3.5 150 34 1 false(unreach-call) 2.6 130 37 1
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c error (5) .082 24 1.0  0 false(unreach-call) .067 10   .62 1 false(unreach-call) .080 8.6 .57 1 false(unreach-call) 2.8 260 28 1 false(unreach-call) .37 35 4.5 1 unknown 8.1 430 96 0 false(unreach-call) 9.1 430 110 1 false(unreach-call) .087 26 .91 1 false(unreach-call) .49 83 4.4 1 false(unreach-call) 14 1100 95 1 false(unreach-call) .37 59 2.8 0 false(unreach-call) 7.8 320 72 1 disqualified 2.6 74 40 0 false(unreach-call) .19 17 2.2 1 false(unreach-call) 8.7 370 59 1 false(unreach-call) 8.4 360 63 1 false(unreach-call) 9.5 370 78 1 false(unreach-call) 8.5 270 78 0 false(unreach-call) 3.3 150 38 1 false(unreach-call) 2.6 130 34 0
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c error (5) .087 24 .76 0 false(unreach-call) .075 9.1 .62 1 false(unreach-call) .070 9.4 .44 1 false(unreach-call) 3.4 270 31 1 false(unreach-call) .16 34 1.7 1 unknown 8.1 430 92 0 false(unreach-call) 9.1 430 110 1 false(unreach-call) .11  26 .99 1 false(unreach-call) .45 83 5.1 1 false(unreach-call) 13 1100 99 1 false(unreach-call) .35 59 3.2 1 false(unreach-call) 5.9 310 52 1 disqualified 2.6 74 32 0 false(unreach-call) .26 17 3.2 1 false(unreach-call) 7.9 350 58 1 false(unreach-call) 8.0 350 61 1 false(unreach-call) 6.7 330 54 1 false(unreach-call) 9.2 300 77 1 false(unreach-call) 3.6 150 40 1 false(unreach-call) 2.6 130 33 1
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c error (5) .085 24 .83 0 false(unreach-call) .34  20   4.6  1 out of memory 160     15000   2200    0 false(unreach-call) 7.4 320 74 1 out of memory 220    15000 2800   0 unknown 8.2 430 110 0 false(unreach-call) 24   450 290 1 false(unreach-call) .11  26 1.3  1 unknown 21    95 290   0 false(unreach-call) 18 1300 160 1 false(unreach-call) .48 64 4.6 1 unknown 7.7 220 77 0 disqualified 2.7 74 33 0 false(unreach-call) .36 18 4.9 1 false(unreach-call) 13   570 100 1 false(unreach-call) 14   510 120 1 false(unreach-call) 20   690 150 1 false(unreach-call) 670   200 4600 1 false(unreach-call) 46   150 530 1 false(unreach-call) 2.6 130 34 1
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c error (5) .090 23 .73 0 error (42) 880     190   4500    0 out of memory 180     15000   2000    0 false(unreach-call) 22   500 290 1 out of memory 220    15000 2500   0 unknown 8.2 430 110 0 false(unreach-call) 360   680 3500 1 false(unreach-call) 3.5   96 42    1 unknown 23    110 310   0 false(unreach-call) 31 1500 300 1 false(unreach-call) 4.6  1300 52   1 unknown 7.7 220 71 0 disqualified 3.3 86 42 0 false(unreach-call) .55 17 6.4 1 false(unreach-call) 17   620 150 1 false(unreach-call) 25   1000 230 1 false(unreach-call) 30   1000 290 1 false(unreach-call) 700   200 5400 1 false(unreach-call) 16   150 180 1 false(unreach-call) 2.6 130 40 1
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c error (5) .086 24 .74 0 false(unreach-call) .065 9.2 .62 1 false(unreach-call) .074 9.0 .36 1 false(unreach-call) 3.3 270 30 1 false(unreach-call) .13 33 1.9 1 unknown 8.4 430 110 0 false(unreach-call) 9.1 430 120 1 false(unreach-call) .084 26 1.1  1 unknown 260    140 3700   0 false(unreach-call) 12 1200 78 1 false(unreach-call) .36 59 3.9 1 unknown 7.6 220 69 0 disqualified 2.6 71 35 0 false(unreach-call) .23 18 2.7 1 false(unreach-call) 7.6 350 57 1 false(unreach-call) 7.7 370 62 1 false(unreach-call) 7.0 350 59 1 false(unreach-call) 670   200 4600 1 false(unreach-call) 13   150 160 1 false(unreach-call) 2.6 130 34 1
recursive/Ackermann01_true-unreach-call_true-no-overflow.c error (5) .12  23 .68 0 error (42) 880     240   3000    0 out of memory 170     15000   1900    0 true 5.0 290 50 2 out of memory 270    15000 3300   0 unknown 8.2 430 110 0 timeout 900   1300 9000 0 out of memory 610     15000 7400    0 timeout 900    180 11000   0 true 14 1200 110 2 out of memory 54    15000 670   0 unknown 7.0 220 77 0 disqualified 880   470 8500 0 probably out of memory (killed (signal 9, verification)) 830    15000 12000   0 true 14   580 120 2 timeout 900   1100 9900 0 true 28   1000 280 2 timeout 900   700 6900 0 timeout 900   150 12000 0 unknown 110   330 1300 0
recursive/Ackermann03_true-unreach-call_true-no-overflow.c error (5) .085 24 .84 0 error (42) 880     240   3100    0 out of memory 190     15000   2400    0 timeout 900   3000 12000 0 out of memory 270    15000 3800   0 unknown 8.2 430 100 0 timeout 900   1900 8700 0 out of memory 560     15000 5900    0 timeout 900    120 11000   0 timeout 900 3800 11000 0 out of memory 53    15000 680   0 unknown 7.6 230 73 0 disqualified 2.2 74 33 0 probably out of memory (killed (signal 9, verification)) 830    15000 12000   0 true 29   820 260 2 timeout 900   1400 11000 0 true 58   1700 660 2 timeout 900   740 7100 0 timeout 900   150 11000 0 unknown 110   690 1100 0
recursive/Ackermann04_true-unreach-call_true-no-overflow.c error (5) .089 24 .93 0 error (42) 880     240   3500    0 out of memory 190     15000   2400    0 timeout 900   10000 11000 0 out of memory 280    15000 3800   0 unknown 8.1 430 110 0 timeout 900   1300 9300 0 out of memory 620     15000 6800    0 timeout 900    140 11000   0 timeout 900 7000 11000 0 out of memory 54    15000 750   0 unknown 7.4 230 75 0 disqualified 880   530 7300 0 probably out of memory (killed (signal 9, verification)) 900    15000 15000   0 true 21   730 210 2 timeout 900   1400 12000 0 true 47   1400 490 2 timeout 900   710 7200 0 timeout 900   150 12000 0 unknown 110   830 910 0
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c error (5) .099 24 .74 0 out of memory 790     15000   7600    0 out of memory 780     15000   9000    0 timeout 900   840 14000 0 out of memory 260    15000 3600   0 unknown 8.2 430 110 0 timeout 900   680 8400 0 out of memory 850     15000 8500    0 timeout 900    3100 11000   0 timeout 900 1800 13000 0 out of memory 71    15000 1100   0 true 210   740 2500 2 disqualified 880   370 12000 0 timeout (verification) 900    67 9000   0 true 9.8 410 77 2 timeout 900   960 12000 0 true 11   500 92 2 unknown 870   3600 6500 0 timeout 900   150 11000 0 unknown 110   310 1600 0
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c error (5) .093 24 .78 0 out of memory 700     15000   8400    0 error (134) .050 6.6 .40 0 timeout 900   3000 10000 0 out of memory 260    15000 3400   0 unknown 8.2 430 120 0 timeout 900   430 9300 0 out of memory 850     15000 8200    0 timeout 900    75 11000   0 timeout 900 3600 12000 0 out of memory 47    15000 610   0 unknown 850   5100 10000 0 disqualified 890   410 13000 0 timeout (verification) 900    96 8700   0 true 360   1400 4600 2 timeout 900   2700 9000 0 timeout 900   1200 10000 0 true 72   1700 660 2 timeout 900   150 13000 0 true 57   310 690 2
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c error (5) .098 24 .80 0 error (42) 880     3000   8100    0 error (42) 880     290   11000    0 timeout 900   14000 11000 0 unknown .87 67 9.3 0 unknown 8.2 430 110 0 timeout 900   420 9200 0 timeout 900     1200 11000    0 timeout 900    75 9700   0 timeout 900 11000 12000 0 out of memory 89    15000 1400   0 unknown 400   1100 3200 0 disqualified 880   150 13000 0 timeout (verification) 900    1500 12000   0 timeout 900   980 9700 0 timeout 900   920 6900 0 timeout 900   1100 10000 0 error 10   200 92 0 timeout 900   200 11000 0 true 56   190 660 1
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c error (5) .086 24 .95 0 error (42) 880     190   5900    0 out of memory 180     15000   2300    0 timeout 910   1100 9700 0 out of memory 220    15000 3200   0 unknown 8.0 430 120 0 timeout 900   990 9700 0 out of memory 270     15000 3100    0 timeout 900    91 8800   0 timeout 910 2000 9700 0 out of memory 46    15000 590   0 unknown 7.2 220 83 0 disqualified 890   7400 8200 0 probably out of memory (killed (signal 9, verification)) 590    15000 9600   0 true 15   650 140 2 timeout 900   970 9100 0 true 21   750 180 2 true 840   660 9800 2 timeout 900   150 9000 0 true 36   210 530 2
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c error (5) .14  23 .73 0 true .11  6.8 .96 2 witness invalid (true) .10  6.4 .97 0 true 5.6 350 51 2 unknown .82 66 8.6 0 true 8.1 370 99 2 true 8.1 370 100 2 true .12  26 1.4  2 timeout 900    84 9600   0 true 17 1300 130 2 true .44 59 3.3 2 unknown 7.2 210 67 0 disqualified 2.6 83 35 0 true .14 15 1.4 2 true 32   1600 280 2 timeout 900   5200 12000 0 true 85   4600 820 2 true 51   3100 540 2 timeout 900   150 12000 0 true 4.2 130 59 2
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c error (5) .084 24 .98 0 error (42) 880     180   3700    0 out of memory 180     15000   2100    0 timeout 900   4200 12000 0 out of memory 220    15000 2600   0 unknown 8.2 430 100 0 timeout 900   1000 9000 0 out of memory 260     15000 2600    0 timeout 900    83 12000   0 timeout 900 2400 13000 0 out of memory 46    15000 640   0 unknown 7.2 220 71 0 disqualified 890   8200 9500 0 probably out of memory (killed (signal 9, verification)) 540    15000 7300   0 true 25   1100 210 2 timeout 900   4800 13000 0 true 81   2100 880 2 true 880   3600 7700 2 timeout 900   150 11000 0 true 19   230 250 2
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c error (5) .12  24 .68 0 error (42) 880     1100   4400    0 out of memory 270     15000   3200    0 true 3.7 280 36 2 out of memory 200    15000 3000   0 unknown 8.1 430 130 0 timeout 900   660 8000 0 timeout 900     14000 8600    0 timeout 900    260 12000   0 true 15 1200 100 2 out of memory 43    15000 700   0 unknown 7.5 220 69 0 disqualified 880   370 8700 0 timeout (verification) 900    260 14000   0 true 9.9 390 82 2 true 11   480 77 2 true 9.3 410 77 2 true 840   450 5800 2 timeout 900   150 10000 0 true 6.8 130 89 2
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c error (5) .085 24 .86 0 error (42) 880     320   3200    0 out of memory 320     15000   4100    0 timeout 900   810 12000 0 out of memory 240    15000 3500   0 unknown 8.2 430 99 0 timeout 900   420 8100 0 out of memory 540     15000 5300    0 timeout 900    2700 10000   0 timeout 900 1800 14000 0 out of memory 41    15000 530   0 timeout 900   3400 5000 0 disqualified 880   120 13000 0 timeout (verification) 900    45 11000   0 timeout 900   980 8600 0 timeout 900   820 9700 0 timeout 910   14000 5500 0 timeout 900   3600 10000 0 timeout 900   150 11000 0 true 78   220 1000 1
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c error (5) .11  24 .62 0 error (42) 870     210   3300    0 out of memory 300     15000   3900    0 timeout 900   1100 13000 0 out of memory 250    15000 3000   0 unknown 8.2 430 120 0 timeout 900   450 9600 0 out of memory 760     15000 7800    0 timeout 900    76 9400   0 timeout 900 2500 10000 0 out of memory 45    15000 530   0 unknown 9.0 280 87 0 disqualified 890   270 10000 0 timeout (verification) 900    1000 12000   0 timeout 900   870 7700 0 timeout 900   1300 10000 0 timeout 910   14000 8000 0 timeout 900   3800 9000 0 timeout 900   150 11000 0 unknown 4.4 130 60 0
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c error (5) .084 24 .86 0 error (42) 880     3300   6600    0 error (42) 880     15000   12000    0 true 4.4 280 40 2 out of memory 270    15000 3600   0 unknown 8.2 430 95 0 timeout 900   540 9000 0 timeout 900     260 9800    0 timeout 900    81 10000   0 true 16 1300 130 2 out of memory 180    15000 2300   0 true 41   1100 470 2 disqualified 880   150 14000 0 timeout (verification) 900    59 11000   0 true 10   430 76 2 true 11   520 83 2 true 10   430 71 2 timeout 900   2600 8100 0 timeout 900   150 11000 0 true 12   150 190 2
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c error (5) .087 24 .73 0 error (42) 880     230   11000    0 error (42) 870     6800   11000    0 timeout 900   770 12000 0 out of memory 270    15000 3600   0 unknown 8.2 430 89 0 timeout 900   550 8900 0 timeout 900     190 9300    0 timeout 900    75 9000   0 timeout 900 1600 14000 0 out of memory 230    15000 3300   0 unknown 98   1600 1100 0 disqualified 880   91 10000 0 timeout (verification) 900    73 13000   0 timeout 900   1000 10000 0 timeout 900   1000 11000 0 timeout 900   2100 11000 0 timeout 900   3400 9000 0 timeout 900   150 11000 0 unknown 110   730 1400 0
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c error (5) .086 24 1.0  0 error (42) 880     900   2800    0 out of memory 180     15000   2200    0 true 3.7 280 37 1 out of memory 280    15000 4300   0 unknown 8.0 430 89 0 timeout 900   1400 8800 0 out of memory 510     15000 5100    0 timeout 900    97 9700   0 true 15 1200 110 1 timeout 900    4400 6000   0 unknown 8.1 230 73 0 disqualified 880   6300 8500 0 probably out of memory (killed (signal 9, verification)) 650    15000 9800   0 timeout 900   5900 11000 0 timeout 900   960 10000 0 timeout 900   6400 12000 0 true 590   3800 3800 1 timeout 900   200 12000 0 unknown 4.7 130 70 0
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c error (5) .11  24 .75 0 true .28  9.9 3.2  2 true .53  11   6.6  2 timeout 900   4000 13000 0 unknown .78 67 9.7 0 unknown 8.3 430 98 0 true 28   380 300 2 true .26  26 3.1  2 timeout 900    2200 12000   0 timeout 900 2700 11000 0 true .56 61 6.1 2 unknown 7.7 220 72 0 disqualified 2.7 75 37 0 true .41 17 4.6 2 true 8.3 350 60 2 true 9.0 410 70 2 true 7.7 350 69 2 error 9.5 200 79 0 timeout 900   150 12000 0 true 5.7 130 78 2
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c error (5) .091 24 .91 0 true .34  10   3.1  2 true .85  11   12    2 timeout 910   7200 13000 0 unknown .87 66 9.2 0 unknown 8.2 430 100 0 true 31   380 350 2 true .39  26 5.3  2 timeout 900    2300 11000   0 timeout 910 5500 13000 0 true .58 67 6.0 2 unknown 7.5 220 67 0 disqualified 2.8 74 33 0 true .40 18 5.5 2 true 11   560 100 2 true 15   700 150 2 timeout 900   2400 13000 0 error 9.3 200 85 0 timeout 900   150 12000 0 true 5.9 130 77 2
recursive-simple/afterrec_2calls_false-unreach-call_true-termination.c error (5) .12  24 .70 0 false(unreach-call) .064 9.5 .48 1 false(unreach-call) .093 8.8 .35 1 false(unreach-call) 2.9 260 26 1 false(unreach-call) .38 34 4.2 1 false(unreach-call) 8.1 430 100 1 false(unreach-call) 8.1 430 110 1 false(unreach-call) .079 26 .92 1 false(unreach-call) .43 83 4.8 1 false(unreach-call) 13 1100 91 1 false(unreach-call) .36 59 3.3 1 unknown 7.6 220 74 0 disqualified 2.6 72 29 0 false(unreach-call) .16 16 2.3 1 false(unreach-call) 8.6 370 70 1 false(unreach-call) 8.9 370 64 1 false(unreach-call) 8.1 350 63 1 false(unreach-call) 8.7 270 72 1 false(unreach-call) 3.6 200 36 1 false(unreach-call) 2.6 130 31 1
recursive-simple/afterrec_false-unreach-call_true-termination.c error (5) .086 24 .78 0 false(unreach-call) .11  9.1 .43 1 false(unreach-call) .076 10   .47 1 false(unreach-call) 2.9 250 30 1 false(unreach-call) .32 34 4.1 1 false(unreach-call) 8.2 430 110 1 false(unreach-call) 8.0 430 110 1 false(unreach-call) .083 26 .85 1 false(unreach-call) .43 83 5.6 1 false(unreach-call) 11 1200 76 1 false(unreach-call) .36 58 3.3 1 unknown 7.4 210 71 0 disqualified 2.6 73 29 0 false(unreach-call) .17 15 1.8 1 false(unreach-call) 7.6 360 61 1 false(unreach-call) 8.9 360 67 1 false(unreach-call) 7.5 370 60 1 false(unreach-call) 8.3 270 68 1 false(unreach-call) 3.3 160 36 1 false(unreach-call) 2.6 130 34 1
recursive-simple/fibo_10_false-unreach-call_true-termination.c error (5) .083 24 .89 0 false(unreach-call) .15  10   1.8  1 false(unreach-call) .22  12   1.4  1 false(unreach-call) 6.1 340 61 1 false(unreach-call) .34 35 4.1 1 false(unreach-call) 8.1 430 92 1 false(unreach-call) 8.4 430 100 1 false(unreach-call) .14  26 1.5  1 false(unreach-call) .44 83 5.4 1 false(unreach-call) 15 1300 110 1 false(unreach-call) .52 58 5.8 1 unknown 7.4 220 71 0 disqualified 4.8 100 67 0 false(unreach-call) .17 16 2.3 1 false(unreach-call) 25   1800 230 1 timeout 900   1400 9600 0 false(unreach-call) 110   5500 1100 1 false(unreach-call) 9.0 300 70 1 false(unreach-call) 3.6 150 37 1 false(unreach-call) 2.7 130 41 1
recursive-simple/fibo_15_false-unreach-call.c error (5) .090 24 .77 0 false(unreach-call) .94  69   13    1 false(unreach-call) .96  82   10    1 false(unreach-call) 21   1200 180 1 false(unreach-call) .47 34 7.1 1 false(unreach-call) 8.2 430 100 1 false(unreach-call) 8.4 430 130 1 false(unreach-call) .82  29 11    1 false(unreach-call) .43 83 5.2 1 false(unreach-call) 30 2200 280 1 false(unreach-call) 1.9  68 22   1 unknown 7.2 220 71 0 disqualified 130   630 1500 0 false(unreach-call) .18 18 2.4 1 false(unreach-call) 170   4600 2400 1 timeout 900   1400 12000 0 timeout 900   6200 12000 0 false(unreach-call) 11   270 99 1 false(unreach-call) 3.6 150 35 1 false(unreach-call) 5.0 420 54 1
recursive-simple/fibo_20_false-unreach-call.c error (5) .088 24 .72 0 false(unreach-call) 10     710   130    1 false(unreach-call) 11     860   120    1 false(unreach-call) 680   9900 3800 1 false(unreach-call) 2.1  100 31   1 false(unreach-call) 8.9 440 110 1 false(unreach-call) 9.1 440 120 1 false(unreach-call) 14     220 180    1 false(unreach-call) .44 83 5.3 1 false(unreach-call) 380 11000 3500 1 false(unreach-call) 18    630 230   1 unknown 7.3 220 71 0 disqualified 890   3000 9100 0 false(unreach-call) .33 46 5.0 1 timeout 900   5400 12000 0 timeout 900   2100 10000 0 timeout 900   6500 12000 0 false(unreach-call) 50   820 460 1 false(unreach-call) 3.5 150 34 1 false(unreach-call) 29   4000 240 1
recursive-simple/fibo_25_false-unreach-call.c error (5) .088 24 .90 0 false(unreach-call) 110     7900   1300    1 false(unreach-call) 120     9600   1400    1 out of memory 190   15000 1600 0 false(unreach-call) 21    950 310   1 false(unreach-call) 18   640 190 1 false(unreach-call) 18   640 240 1 false(unreach-call) 210     2400 2700    1 false(unreach-call) .42 83 5.1 1 out of memory 220 15000 1900 0 false(unreach-call) 210    6900 2300   1 unknown 7.3 220 67 0 disqualified 890   2800 11000 0 false(unreach-call) 2.0  370 32   1 timeout 900   5500 13000 0 timeout 900   1400 12000 0 timeout 900   7000 13000 0 false(unreach-call) 310   7300 2200 1 false(unreach-call) 3.5 150 38 1 false(unreach-call) 5.6 1200 86 1
recursive-simple/fibo_2calls_10_false-unreach-call.c error (5) .090 24 .78 0 false(unreach-call) .15  10   1.7  1 false(unreach-call) .16  12   1.6  1 false(unreach-call) 6.1 350 45 1 false(unreach-call) .36 34 3.9 1 false(unreach-call) 8.1 430 100 1 false(unreach-call) 8.3 430 97 1 false(unreach-call) .11  26 1.2  1 false(unreach-call) .43 83 5.5 1 false(unreach-call) 17 1300 130 1 false(unreach-call) .51 59 5.3 1 unknown 7.5 240 82 0 disqualified 4.9 110 66 0 false(unreach-call) .18 16 2.1 1 false(unreach-call) 69   3700 660 1 timeout 900   1300 9600 0 false(unreach-call) 820   13000 5700 1 false(unreach-call) 8.7 260 81 1 false(unreach-call) 3.5 150 32 1 false(unreach-call) 2.8 130 36 1
recursive-simple/fibo_2calls_15_false-unreach-call.c error (5) .090 24 .69 0 false(unreach-call) .96  69   13    1 false(unreach-call) .96  84   12    1 false(unreach-call) 19   1200 170 1 false(unreach-call) .48 35 5.6 1 false(unreach-call) 8.5 430 110 1 false(unreach-call) 8.4 430 110 1 false(unreach-call) .75  27 9.1  1 false(unreach-call) .44 83 5.2 1 false(unreach-call) 31 2100 260 1 false(unreach-call) 2.2  68 27   1 unknown 7.8 240 67 0 disqualified 140   620 1400 0 false(unreach-call) .20 18 2.2 1 timeout 900   5500 15000 0 timeout 900   1200 11000 0 timeout 910   13000 5200 0 false(unreach-call) 11   290 110 1 false(unreach-call) 3.5 150 34 1 false(unreach-call) 5.0 420 52 1
recursive-simple/fibo_2calls_20_false-unreach-call.c error (5) .13  24 .75 0 false(unreach-call) 10     730   130    1 false(unreach-call) 11     880   140    1 timeout 910   9900 5000 0 false(unreach-call) 2.1  100 28   1 false(unreach-call) 8.8 440 110 1 false(unreach-call) 9.1 440 140 1 false(unreach-call) 8.1   160 110    1 false(unreach-call) .43 83 5.2 1 false(unreach-call) 440 11000 4400 1 false(unreach-call) 21    680 260   1 unknown 7.5 240 71 0 disqualified 890   3000 8700 0 false(unreach-call) .35 48 5.3 1 timeout 900   6100 11000 0 timeout 900   1200 9800 0 timeout 910   13000 6100 0 false(unreach-call) 52   830 580 1 false(unreach-call) 3.5 150 35 1 false(unreach-call) 29   4000 280 1
recursive-simple/fibo_2calls_25_false-unreach-call.c error (5) .10  24 .69 0 false(unreach-call) 110     8000   1300    1 false(unreach-call) 120     9800   1400    1 out of memory 190   15000 1800 0 false(unreach-call) 22    950 330   1 false(unreach-call) 19   640 200 1 false(unreach-call) 18   640 210 1 false(unreach-call) 120     1700 1400    1 false(unreach-call) .45 82 5.5 1 out of memory 240 15000 2300 0 false(unreach-call) 240    7400 3100   1 unknown 7.3 240 79 0 disqualified 890   2900 13000 0 false(unreach-call) 2.1  390 29   1 timeout 900   5400 12000 0 timeout 900   1200 11000 0 timeout 910   14000 5700 0 false(unreach-call) 370   7200 3300 1 false(unreach-call) 3.6 150 35 1 false(unreach-call) 5.7 1200 75 1
recursive-simple/fibo_2calls_2_false-unreach-call_true-termination.c error (5) .094 24 .70 0 false(unreach-call) .066 9.2 .51 1 false(unreach-call) .082 8.9 .45 1 false(unreach-call) 3.1 250 29 1 false(unreach-call) .14 33 1.8 1 false(unreach-call) 8.2 430 92 1 false(unreach-call) 8.4 430 110 1 false(unreach-call) .087 26 .87 1 false(unreach-call) .45 83 5.7 1 false(unreach-call) 12 1200 78 1 false(unreach-call) .35 59 4.0 1 false(unreach-call) 5.4 300 57 1 disqualified 2.6 72 32 0 false(unreach-call) .17 16 1.9 1 false(unreach-call) 8.5 350 65 1 false(unreach-call) 9.7 380 84 1 false(unreach-call) 9.3 380 72 1 false(unreach-call) 8.9 290 83 1 false(unreach-call) 3.4 150 39 1 false(unreach-call) 2.6 130 34 1
recursive-simple/fibo_2calls_4_false-unreach-call_true-termination.c error (5) .090 24 .93 0 false(unreach-call) .077 9.5 .45 1 false(unreach-call) .069 9.4 .50 1 false(unreach-call) 3.6 270 36 1 false(unreach-call) .34 35 4.1 1 false(unreach-call) 8.1 430 100 1 false(unreach-call) 8.3 430 110 1 false(unreach-call) .11  26 .94 1 false(unreach-call) .42 83 5.0 1 false(unreach-call) 14 1100 100 1 false(unreach-call) .43 59 2.9 1 unknown 8.0 240 84 0 disqualified 2.7 74 30 0 false(unreach-call) .17 15 2.0 1 false(unreach-call) 12   560 99 1 timeout 900   910 12000 0 false(unreach-call) 15   570 130 1 false(unreach-call) 9.0 290 76 1 false(unreach-call) 3.7 150 36 1 false(unreach-call) 2.6 130 37 1
recursive-simple/fibo_2calls_5_false-unreach-call_true-termination.c error (5) .088 24 .97 0 false(unreach-call) .12  8.7 .38 1 false(unreach-call) .065 8.8 1.0  1 false(unreach-call) 3.7 280 31 1 false(unreach-call) .36 34 3.7 1 false(unreach-call) 8.3 430 100 1 false(unreach-call) 8.2 430 100 1 false(unreach-call) .11  26 .99 1 false(unreach-call) .46 83 5.5 1 false(unreach-call) 15 1200 100 1 false(unreach-call) .39 59 3.4 1 unknown 7.9 240 77 0 disqualified 2.7 74 33 0 false(unreach-call) .16 16 2.2 1 false(unreach-call) 17   650 150 1 timeout 900   990 12000 0 false(unreach-call) 25   760 190 1 false(unreach-call) 8.8 290 74 1 false(unreach-call) 3.6 150 33 1 false(unreach-call) 2.6 130 33 1
recursive-simple/fibo_2calls_6_false-unreach-call_true-termination.c error (5) .13  24 .72 0 false(unreach-call) .070 9.6 .67 1 false(unreach-call) .074 9.3 .59 1 false(unreach-call) 3.9 280 33 1 false(unreach-call) .33 35 4.7 1 false(unreach-call) 8.2 430 110 1 false(unreach-call) 8.5 430 120 1 false(unreach-call) .088 26 .78 1 false(unreach-call) .44 83 5.5 1 false(unreach-call) 15 1200 110 1 false(unreach-call) .38 59 4.7 1 unknown 8.2 250 86 0 disqualified 2.7 80 34 0 false(unreach-call) .17 16 2.0 1 false(unreach-call) 21   620 170 1 timeout 900   1200 11000 0 false(unreach-call) 32   870 280 1 false(unreach-call) 8.8 260 79 1 false(unreach-call) 3.5 150 37 1 false(unreach-call) 2.6 130 35 1
recursive-simple/fibo_2calls_8_false-unreach-call_true-termination.c error (5) .12  24 .84 0 false(unreach-call) .097 9.5 1.1  1 false(unreach-call) .10  9.5 1.2  1 false(unreach-call) 4.8 300 45 1 false(unreach-call) .34 34 3.7 1 false(unreach-call) 8.0 430 96 1 false(unreach-call) 8.4 430 110 1 false(unreach-call) .12  26 1.2  1 false(unreach-call) .43 83 4.7 1 false(unreach-call) 15 1200 110 1 false(unreach-call) .42 59 4.6 1 unknown 8.0 240 78 0 disqualified 3.2 88 46 0 false(unreach-call) .16 15 1.9 1 false(unreach-call) 35   1100 280 1 timeout 900   1100 10000 0 false(unreach-call) 75   2900 720 1 false(unreach-call) 8.8 270 79 1 false(unreach-call) 3.4 200 36 1 false(unreach-call) 2.6 130 32 1
recursive-simple/fibo_5_false-unreach-call_true-termination.c error (5) .082 24 .78 0 false(unreach-call) .098 8.6 .48 1 false(unreach-call) .14  9.3 .46 1 false(unreach-call) 3.7 280 34 1 false(unreach-call) .33 34 4.6 1 false(unreach-call) 8.0 430 110 1 false(unreach-call) 8.2 430 110 1 false(unreach-call) .083 26 1.1  1 false(unreach-call) .45 83 5.0 1 false(unreach-call) 15 1200 110 1 false(unreach-call) .38 59 2.9 1 unknown 6.9 220 74 0 disqualified 2.7 77 34 0 false(unreach-call) .19 16 1.8 1 false(unreach-call) 13   560 110 1 timeout 900   1100 11000 0 false(unreach-call) 16   670 140 1 false(unreach-call) 9.0 290 76 1 false(unreach-call) 3.4 150 33 1 false(unreach-call) 2.6 130 35 1
recursive-simple/fibo_7_false-unreach-call_true-termination.c error (5) .12  24 .73 0 false(unreach-call) .15  9.7 .66 1 false(unreach-call) .15  9.3 .66 1 false(unreach-call) 4.0 290 36 1 false(unreach-call) .34 34 4.4 1 false(unreach-call) 8.3 430 100 1 false(unreach-call) 8.2 430 130 1 false(unreach-call) .092 26 1.1  1 false(unreach-call) .45 82 5.1 1 false(unreach-call) 15 1200 110 1 false(unreach-call) .42 59 3.7 1 unknown 7.4 220 79 0 disqualified 3.0 95 35 0 false(unreach-call) .17 16 1.9 1 false(unreach-call) 15   650 130 1 timeout 900   1700 10000 0 false(unreach-call) 25   830 240 1 false(unreach-call) 9.0 290 72 1 false(unreach-call) 3.4 150 35 1 false(unreach-call) 2.6 130 37 1
recursive-simple/id2_b3_o2_false-unreach-call_true-termination_true-no-overflow.c error (5) .087 24 .85 0 false(unreach-call) .067 10   .61 1 false(unreach-call) .073 9.4 .40 1 false(unreach-call) 3.4 270 37 1 false(unreach-call) .34 34 4.0 1 unknown 8.2 430 110 0 false(unreach-call) 8.6 430 100 1 false(unreach-call) .089 26 1.0  1 unknown 5.5  91 67   0 false(unreach-call) 14 1100 110 1 false(unreach-call) .37 59 3.5 1 unknown 7.8 230 77 0 disqualified 2.6 75 33 0 false(unreach-call) .24 18 3.1 1 false(unreach-call) 9.2 360 73 1 false(unreach-call) 8.9 370 66 1 false(unreach-call) 9.4 390 67 1 false(unreach-call) 9.0 300 77 1 false(unreach-call) 3.8 150 40 1 false(unreach-call) 2.7 130 38 1
recursive-simple/id2_i5_o5_false-unreach-call_true-termination.c error (5) .094 24 .74 0 false(unreach-call) .083 9.8 .38 1 false(unreach-call) .078 8.9 .46 1 false(unreach-call) 3.4 270 34 1 false(unreach-call) .33 35 3.8 1 false(unreach-call) 8.2 430 80 1 false(unreach-call) 8.4 430 120 1 false(unreach-call) .082 26 .89 1 false(unreach-call) .43 83 4.9 1 false(unreach-call) 15 1200 92 1 false(unreach-call) .38 59 3.3 1 unknown 7.0 220 71 0 disqualified 2.6 75 31 0 false(unreach-call) .16 15 2.0 1 false(unreach-call) 11   440 87 1 false(unreach-call) 12   570 110 1 false(unreach-call) 12   480 110 1 false(unreach-call) 8.6 270 78 1 false(unreach-call) 3.6 150 36 1 false(unreach-call) 2.6 130 34 1
recursive-simple/id_b3_o2_false-unreach-call_true-termination_true-no-overflow.c error (5) .084 24 .80 0 false(unreach-call) .069 9.4 .59 1 false(unreach-call) .070 9.3 .44 1 false(unreach-call) 3.4 270 33 1 false(unreach-call) .49 36 6.8 1 unknown 8.3 430 100 0 false(unreach-call) 8.7 430 100 1 false(unreach-call) .11  26 .92 1 unknown 5.3  92 71   0 false(unreach-call) 12 1200 98 1 false(unreach-call) .38 58 3.2 1 unknown 7.4 220 74 0 disqualified 2.6 73 32 0 false(unreach-call) .22 18 2.6 1 false(unreach-call) 8.9 380 72 1 false(unreach-call) 9.0 370 69 1 false(unreach-call) 9.4 370 76 1 false(unreach-call) 9.7 300 80 1 false(unreach-call) 3.6 150 41 1 false(unreach-call) 2.6 130 32 1
recursive-simple/id_i10_o10_false-unreach-call_true-termination.c error (5) .081 24 .85 0 false(unreach-call) .088 9.7 .98 1 false(unreach-call) .13  8.9 .62 1 false(unreach-call) 3.5 270 33 1 false(unreach-call) .33 35 4.1 1 false(unreach-call) 8.1 430 110 1 false(unreach-call) 8.3 430 110 1 false(unreach-call) .090 26 1.1  1 false(unreach-call) .45 83 5.1 1 false(unreach-call) 14 1200 95 1 false(unreach-call) .35 59 4.3 1 false(unreach-call) 4.9 260 44 1 disqualified 2.7 75 32 0 false(unreach-call) .16 16 1.9 1 false(unreach-call) 14   520 130 1 false(unreach-call) 27   860 250 1 false(unreach-call) 24   770 250 1 false(unreach-call) 8.8 300 82 1 false(unreach-call) 3.5 150 34 1 false(unreach-call) 2.6 130 33 1
recursive-simple/id_i15_o15_false-unreach-call_true-termination.c error (5) .11  24 .65 0 false(unreach-call) .11  10   1.1  1 false(unreach-call) .12  9.1 .79 1 false(unreach-call) 3.7 280 35 1 false(unreach-call) .34 34 4.8 1 false(unreach-call) 8.1 430 110 1 false(unreach-call) 8.1 430 110 1 false(unreach-call) .12  26 .96 1 false(unreach-call) .42 83 4.8 1 false(unreach-call) 13 1200 91 1 false(unreach-call) .38 59 3.1 1 false(unreach-call) 4.7 270 45 1 disqualified 2.7 75 32 0 false(unreach-call) .16 15 1.7 1 false(unreach-call) 19   730 200 1 false(unreach-call) 63   1300 740 1 false(unreach-call) 62   1000 590 1 false(unreach-call) 8.7 290 74 1 false(unreach-call) 3.5 150 35 1 false(unreach-call) 2.6 130 31 1
recursive-simple/id_i20_o20_false-unreach-call_true-termination.c error (5) .088 24 .78 0 false(unreach-call) .14  9.9 1.1  1 false(unreach-call) .13  9.1 1.3  1 false(unreach-call) 3.7 280 36 1 false(unreach-call) .33 35 4.2 1 false(unreach-call) 8.3 430 100 1 false(unreach-call) 8.3 430 120 1 false(unreach-call) .11  26 1.7  1 false(unreach-call) .42 82 5.3 1 false(unreach-call) 14 1200 100 1 false(unreach-call) .38 59 3.0 1 false(unreach-call) 5.1 260 50 1 disqualified 2.9 76 34 0 false(unreach-call) .18 16 1.8 1 false(unreach-call) 27   660 260 1 false(unreach-call) 130   1800 1800 1 false(unreach-call) 150   1100 1500 1 false(unreach-call) 8.9 300 72 1 false(unreach-call) 3.5 150 32 1 false(unreach-call) 2.6 130 37 1
recursive-simple/id_i25_o25_false-unreach-call_true-termination.c error (5) .13  24 .69 0 false(unreach-call) .16  9.9 1.3  1 false(unreach-call) .15  9.1 1.3  1 false(unreach-call) 3.8 280 35 1 unknown .80 67 8.5 0 false(unreach-call) 8.1 430 110 1 false(unreach-call) 8.3 430 96 1 false(unreach-call) .11  26 1.6  1 false(unreach-call) .43 82 5.8 1 false(unreach-call) 14 1200 85 1 false(unreach-call) .40 59 3.7 1 false(unreach-call) 5.0 270 45 1 disqualified 3.0 75 40 0 false(unreach-call) .18 16 1.7 1 false(unreach-call) 34   890 340 1 false(unreach-call) 250   1800 2400 1 false(unreach-call) 330   1100 2800 1 error 9.5 200 72 0 false(unreach-call) 3.5 150 34 1 false(unreach-call) 2.6 130 35 1
recursive-simple/id_i5_o5_false-unreach-call_true-termination.c error (5) .088 24 .69 0 false(unreach-call) .15  7.9 .43 1 false(unreach-call) .075 9.7 .60 1 false(unreach-call) 3.4 270 33 1 false(unreach-call) .35 34 4.8 1 false(unreach-call) 8.3 430 110 1 false(unreach-call) 8.2 430 100 1 false(unreach-call) .085 26 .90 1 false(unreach-call) .42 83 5.1 1 false(unreach-call) 12 1200 100 1 false(unreach-call) .37 58 3.2 1 false(unreach-call) 5.2 270 45 1 disqualified 2.6 73 30 0 false(unreach-call) .16 17 2.1 1 false(unreach-call) 10   400 77 1 false(unreach-call) 12   560 110 1 false(unreach-call) 12   560 100 1 false(unreach-call) 8.9 300 67 1 false(unreach-call) 3.3 150 38 1 false(unreach-call) 2.6 130 36 1
recursive-simple/id_o1000_false-unreach-call_true-termination_true-no-overflow.c error (5) .086 24 .76 0 false(unreach-call) 48     370   600    1 false(unreach-call) 820     760   11000    1 false(unreach-call) 120   4500 1200 1 unknown .81 66 8.2 0 unknown 8.2 430 100 0 timeout 900   400 8100 0 timeout 900     1200 11000    0 false(unreach-call) 7.2  85 93   1 false(unreach-call) 150 3700 1500 1 out of memory 170    15000 2300   0 false(unreach-call) 5.2 260 49 1 disqualified 890   220 13000 0 false(unreach-call) .21 18 2.0 1 timeout 900   740 13000 0 timeout 900   900 7100 0 timeout 900   970 12000 0 error 9.6 200 60 0 false(unreach-call) 600   150 7900 1 false(unreach-call) 3.6 200 41 0
recursive-simple/id_o100_false-unreach-call_true-termination_true-no-overflow.c error (5) .093 24 .80 0 false(unreach-call) 1.8   39   25    1 false(unreach-call) 1.7   19   24    1 false(unreach-call) 7.6 470 61 1 unknown .78 65 9.0 0 unknown 8.1 430 97 0 false(unreach-call) 290   450 3000 1 false(unreach-call) 2.2   34 30    1 false(unreach-call) 6.6  84 90   1 false(unreach-call) 16 1300 120 1 false(unreach-call) 2.2  190 26   1 false(unreach-call) 5.3 280 50 1 disqualified 26   170 330 0 false(unreach-call) .19 17 2.2 1 timeout 900   750 11000 0 timeout 900   760 7100 0 timeout 900   850 12000 0 error 9.6 200 73 0 false(unreach-call) 590   150 6800 1 false(unreach-call) 2.7 130 35 1
recursive-simple/id_o10_false-unreach-call_true-termination_true-no-overflow.c error (5) .083 24 .89 0 false(unreach-call) .20  9.1 .69 1 false(unreach-call) .21  8.8 .83 1 false(unreach-call) 3.5 270 29 1 false(unreach-call) .33 34 4.1 1 unknown 8.2 430 110 0 false(unreach-call) 12   430 160 1 false(unreach-call) .11  26 1.2  1 false(unreach-call) 5.8  79 87   1 false(unreach-call) 15 1200 94 1 false(unreach-call) .40 59 4.1 1 false(unreach-call) 5.0 270 43 1 disqualified 2.7 75 34 0 false(unreach-call) .19 17 2.0 1 false(unreach-call) 15   600 120 1 false(unreach-call) 23   730 200 1 false(unreach-call) 20   750 210 1 false(unreach-call) 8.9 290 75 1 false(unreach-call) 54   150 610 1 false(unreach-call) 2.7 130 32 1
recursive-simple/id_o200_false-unreach-call_true-termination_true-no-overflow.c error (5) .089 24 .98 0 false(unreach-call) .84  33   9.3  1 false(unreach-call) 7.6   48   93    1 false(unreach-call) 12   660 110 1 unknown .81 66 9.1 0 unknown 8.2 430 110 0 timeout 900   400 9000 0 false(unreach-call) 13     86 160    1 false(unreach-call) .89 82 10   1 false(unreach-call) 23 1400 160 1 false(unreach-call) 7.6  720 87   1 false(unreach-call) 5.5 290 53 1 disqualified 180   420 2700 0 false(unreach-call) .19 17 2.0 1 timeout 900   750 11000 0 timeout 900   950 10000 0 timeout 900   960 12000 0 error 9.4 200 78 0 timeout 900   150 9300 0 false(unreach-call) 2.8 130 34 1
recursive-simple/id_o20_false-unreach-call_true-termination_true-no-overflow.c error (5) .082 24 .79 0 false(unreach-call) .26  9.6 1.5  1 false(unreach-call) .25  9.1 2.9  1 false(unreach-call) 4.0 280 40 1 false(unreach-call) .34 35 4.9 1 unknown 8.1 430 110 0 false(unreach-call) 20   440 230 1 false(unreach-call) .15  26 2.0  1 false(unreach-call) 6.7  87 87   1 false(unreach-call) 15 1200 100 1 false(unreach-call) .45 60 4.3 1 false(unreach-call) 5.4 270 51 1 disqualified 3.0 80 37 0 false(unreach-call) .19 17 2.5 1 false(unreach-call) 270   730 3400 1 false(unreach-call) 67   740 550 1 false(unreach-call) 62   1000 700 1 false(unreach-call) 8.9 290 79 1 false(unreach-call) 53   150 740 1 false(unreach-call) 2.7 130 34 1
recursive-simple/id_o3_false-unreach-call_true-termination_true-no-overflow.c error (5) .11  24 .73 0 false(unreach-call) .079 9.6 .75 1 false(unreach-call) .087 9.2 .65 1 false(unreach-call) 3.5 270 31 1 false(unreach-call) .33 35 3.8 1 unknown 8.2 430 110 0 false(unreach-call) 9.0 430 100 1 false(unreach-call) .085 26 .85 1 false(unreach-call) 6.9  87 90   1 false(unreach-call) 14 1200 100 1 false(unreach-call) .37 59 3.3 1 false(unreach-call) 5.8 290 52 1 disqualified 2.7 75 36 0 false(unreach-call) .19 18 2.3 1 false(unreach-call) 9.3 370 87 1 false(unreach-call) 10   430 87 1 false(unreach-call) 9.2 390 72 1 false(unreach-call) 9.1 290 73 1 false(unreach-call) 18   150 190 1 false(unreach-call) 2.7 130 35 1
recursive-simple/sum_10x0_false-unreach-call_true-termination.c error (5) .087 24 .86 0 false(unreach-call) .19  9.2 .61 1 false(unreach-call) .10  9.4 .77 1 false(unreach-call) 3.5 270 32 1 false(unreach-call) .33 34 4.6 1 false(unreach-call) 8.2 430 95 1 false(unreach-call) 8.2 430 89 1 false(unreach-call) .12  26 1.0  1 false(unreach-call) .44 83 5.6 1 false(unreach-call) 14 1100 110 1 false(unreach-call) .37 59 3.7 1 false(unreach-call) 5.3 280 46 1 disqualified 2.6 75 37 0 false(unreach-call) .16 15 2.0 1 false(unreach-call) 13   540 120 1 false(unreach-call) 13   540 110 1 false(unreach-call) 22   640 230 1 false(unreach-call) 8.4 290 73 1 false(unreach-call) 3.5 150 35 1 false(unreach-call) 2.6 130 40 1
recursive-simple/sum_15x0_false-unreach-call_true-termination.c error (5) .082 24 .88 0 false(unreach-call) .13  9.9 1.0  1 false(unreach-call) .14  9.0 .94 1 false(unreach-call) 3.6 280 34 1 false(unreach-call) .35 35 4.9 1 false(unreach-call) 8.3 430 96 1 false(unreach-call) 8.3 430 110 1 false(unreach-call) .096 26 1.2  1 false(unreach-call) .45 83 5.2 1 false(unreach-call) 13 1200 100 1 false(unreach-call) .39 59 3.6 1 false(unreach-call) 4.8 270 49 1 disqualified 2.7 74 41 0 false(unreach-call) .17 17 1.7 1 false(unreach-call) 17   670 160 1 false(unreach-call) 15   500 120 1 false(unreach-call) 56   1200 620 1 false(unreach-call) 8.9 300 67 1 false(unreach-call) 3.3 150 38 1 false(unreach-call) 2.6 130 30 1
recursive-simple/sum_20x0_false-unreach-call_true-termination.c error (5) .091 24 .79 0 false(unreach-call) .17  9.7 1.4  1 false(unreach-call) .14  9.0 1.3  1 false(unreach-call) 3.7 280 36 1 false(unreach-call) .33 35 4.4 1 false(unreach-call) 8.2 430 99 1 false(unreach-call) 8.2 430 97 1 false(unreach-call) .11  26 1.3  1 false(unreach-call) .45 83 5.9 1 false(unreach-call) 14 1200 110 1 false(unreach-call) .37 59 3.4 1 false(unreach-call) 5.1 270 47 1 disqualified 2.8 76 39 0 false(unreach-call) .16 15 1.9 1 false(unreach-call) 21   710 180 1 false(unreach-call) 18   660 170 1 false(unreach-call) 130   960 1500 1 false(unreach-call) 8.6 310 82 1 false(unreach-call) 3.4 150 35 1 false(unreach-call) 2.6 130 32 1
recursive-simple/sum_25x0_false-unreach-call_true-termination.c error (5) .11  24 .68 0 false(unreach-call) .18  10   2.0  1 false(unreach-call) .17  9.7 1.8  1 false(unreach-call) 4.0 280 33 1 unknown .83 67 8.8 0 false(unreach-call) 8.1 430 120 1 false(unreach-call) 7.9 430 120 1 false(unreach-call) .12  26 1.3  1 false(unreach-call) .42 83 4.8 1 false(unreach-call) 13 1200 98 1 false(unreach-call) .39 59 3.6 1 false(unreach-call) 5.1 270 46 1 disqualified 3.0 76 34 0 false(unreach-call) .19 16 1.8 1 false(unreach-call) 27   640 240 1 false(unreach-call) 22   720 190 1 false(unreach-call) 320   970 3200 1 error 9.4 200 66 0 false(unreach-call) 3.4 150 34 1 false(unreach-call) 2.6 130 40 1
recursive-simple/sum_2x3_false-unreach-call_true-termination.c error (5) .083 24 .77 0 false(unreach-call) .067 9.7 .50 1 false(unreach-call) .076 9.0 .36 1 false(unreach-call) 3.3 270 32 1 false(unreach-call) .33 34 5.7 1 false(unreach-call) 8.1 430 91 1 false(unreach-call) 8.2 430 100 1 false(unreach-call) .081 26 .80 1 false(unreach-call) .42 83 5.0 1 false(unreach-call) 14 1100 92 1 false(unreach-call) .36 59 3.2 1 false(unreach-call) 5.1 270 46 1 disqualified 2.6 72 32 0 false(unreach-call) .16 16 1.8 1 false(unreach-call) 7.8 350 68 1 false(unreach-call) 9.0 380 66 1 false(unreach-call) 9.8 380 73 1 false(unreach-call) 8.7 300 85 1 false(unreach-call) 3.6 150 35 1 false(unreach-call) 2.6 130 29 1
recursive-simple/sum_non_eq_false-unreach-call_true-termination_true-no-overflow.c error (5) .10  23 .85 0 false(unreach-call) .078 9.6 .46 1 false(unreach-call) .068 9.1 .48 1 false(unreach-call) 3.1 270 31 1 false(unreach-call) .14 33 1.5 1 unknown 8.2 430 100 0 false(unreach-call) 8.6 430 110 1 false(unreach-call) .081 26 1.0  1 false(unreach-call) .43 83 5.6 1 false(unreach-call) 13 1100 100 1 false(unreach-call) .40 59 3.7 1 false(unreach-call) 4.8 270 44 1 disqualified 2.7 74 35 0 false(unreach-call) .18 16 2.1 1 false(unreach-call) 7.9 360 61 1 false(unreach-call) 8.5 370 61 1 false(unreach-call) 7.8 360 59 1 false(unreach-call) 8.8 260 70 1 false(unreach-call) 3.4 150 36 1 false(unreach-call) 2.9 130 36 1
recursive-simple/afterrec_2calls_true-unreach-call_true-termination.c error (5) .088 24 .76 0 true .094 6.3 .24 2 witness invalid (true) .047 6.6 .24 0 true 2.9 250 28 2 unknown .81 66 8.7 0 true 8.2 370 110 2 true 8.0 370 92 2 true .076 26 .86 2 timeout 900    85 9700   0 true 13 1000 78 2 true .36 59 3.7 2 true 4.2 230 40 2 disqualified 2.0 68 27 0 true .14 15 1.6 2 true 7.3 330 48 2 true 7.7 380 66 2 true 7.2 320 59 2 true 12   430 100 2 timeout 900   150 8900 0 true 3.8 130 47 2
recursive-simple/afterrec_true-unreach-call_true-termination.c error (5) .086 24 .76 0 true .052 6.6 .35 2 witness invalid (true) .042 6.8 .34 0 true 2.9 250 31 2 unknown .81 67 8.2 0 true 8.0 370 100 2 true 8.2 370 120 2 true .10  26 .82 2 timeout 900    84 11000   0 true 11 1200 80 2 true .35 59 3.3 2 true 3.5 220 32 2 disqualified 2.0 66 26 0 true .14 16 1.7 2 true 8.1 360 61 2 true 7.4 350 62 2 true 7.2 350 59 2 true 13   450 120 2 timeout 900   150 12000 0 true 3.7 130 55 2
recursive-simple/fibo_10_true-unreach-call_true-termination.c error (5) .092 24 .78 0 true .12  7.0 1.2  2 witness invalid (true) .15  7.1 1.1  0 true 6.9 450 57 2 unknown .79 66 7.6 0 true 8.2 370 110 2 true 8.3 370 110 2 true .15  26 1.8  2 timeout 900    84 11000   0 true 17 1300 120 2 true .44 59 4.3 2 unknown 7.1 220 68 0 disqualified 3.7 94 51 0 true .14 16 1.7 2 true 43   2300 430 2 timeout 900   5200 14000 0 true 120   5600 1200 2 true 65   4700 700 2 timeout 900   150 13000 0 true 8.1 190 110 2
recursive-simple/fibo_15_true-unreach-call.c error (5) .082 24 .82 0 true .75  33   8.7  1 witness invalid (true) .70  26   8.2  0 true 36   1600 480 2 unknown .92 67 10   0 true 8.2 370 100 2 true 8.3 370 80 2 true .94  30 13    1 timeout 900    83 10000   0 true 46 1700 480 2 true 1.4  60 17   2 unknown 7.2 220 79 0 disqualified 140   600 1200 0 true .15 15 1.5 1 true 900   6100 12000 2 timeout 900   5400 13000 0 timeout 900   7400 10000 0 true 66   4800 680 2 timeout 900   150 12000 0 true 8.1 190 110 1
recursive-simple/fibo_20_true-unreach-call.c error (5) .13  23 .68 0 true 7.8   310   93    1 witness invalid (true) 7.7   250   98    0 timeout 920   3900 12000 0 unknown 2.5  100 33   0 true 8.6 370 120 1 true 8.5 370 110 1 true 16     230 210    1 timeout 900    77 8300   0 timeout 920 2200 11000 0 true 11    220 130   1 unknown 7.3 220 68 0 disqualified 890   3000 9900 0 true .21 19 2.4 1 timeout 900   5700 13000 0 timeout 900   5600 13000 0 timeout 900   6700 12000 0 true 73   4700 840 1 timeout 900   150 14000 0 true 13   200 180 1
recursive-simple/fibo_25_true-unreach-call.c error (5) .098 24 .69 0 true 90     3500   1200    1 witness invalid (true) 89     2700   980    0 timeout 960   4900 11000 0 unknown 22    950 290   0 true 14   400 160 1 true 14   400 160 1 true 230     2600 2600    1 timeout 900    75 9700   0 timeout 960 5400 12000 0 true 130    2500 1600   1 unknown 7.2 220 68 0 disqualified 890   2800 11000 0 true .90 80 14   1 timeout 900   5800 12000 0 timeout 900   5800 14000 0 timeout 900   7300 12000 0 error 9.8 200 70 0 timeout 900   150 12000 0 true 15   210 190 1
recursive-simple/fibo_2calls_10_true-unreach-call.c error (5) .088 24 .90 0 true .12  7.4 1.2  2 witness invalid (true) .11  6.8 1.5  0 true 6.4 420 52 2 unknown .80 66 8.8 0 true 8.0 370 100 2 true 8.2 370 100 2 true .12  26 1.4  2 timeout 900    85 12000   0 true 18 1300 150 2 true .45 59 5.2 2 unknown 8.0 240 78 0 disqualified 3.5 96 41 0 true .14 15 1.7 2 true 85   3500 900 2 timeout 900   5100 15000 0 true 630   13000 5300 2 true 73   4600 750 2 timeout 900   150 11000 0 true 8.2 190 120 2
recursive-simple/fibo_2calls_15_true-unreach-call.c error (5) .091 24 .75 0 true .80  33   8.5  1 witness invalid (true) .70  26   8.4  0 true 50   1900 590 1 unknown .95 66 9.6 0 true 8.2 370 91 1 true 8.3 370 100 1 true .78  28 11    1 timeout 900    83 9000   0 true 59 1700 690 1 true 1.3  60 16   1 unknown 8.1 250 76 0 disqualified 120   630 1200 0 true .15 15 1.9 1 timeout 900   5900 13000 0 timeout 900   5100 14000 0 timeout 910   13000 5700 0 true 74   4700 700 1 timeout 900   150 11000 0 true 8.3 200 110 1
recursive-simple/fibo_2calls_20_true-unreach-call.c error (5) .098 24 .59 0 true 7.9   320   91    1 witness invalid (true) 7.5   240   89    0 timeout 920   3900 12000 0 unknown 2.5  100 32   0 true 8.3 370 99 1 true 8.6 370 95 1 true 9.9   180 130    1 timeout 900    77 8500   0 timeout 920 2200 14000 0 true 12    230 150   1 unknown 8.2 240 77 0 disqualified 890   3000 9700 0 true .21 19 2.7 1 timeout 900   5700 12000 0 timeout 900   5100 12000 0 timeout 910   13000 5000 0 true 81   4800 800 1 timeout 900   150 12000 0 true 10   200 130 1
recursive-simple/fibo_2calls_25_true-unreach-call.c error (5) .086 24 .95 0 true 90     3500   1100    1 witness invalid (true) 88     2600   920    0 timeout 960   5600 12000 0 unknown 22    950 320   0 true 14   400 150 1 true 14   400 160 1 true 140     1900 1800    1 timeout 900    75 9300   0 timeout 960 5500 13000 0 true 130    2500 1700   1 unknown 7.8 240 81 0 disqualified 890   2900 9800 0 true .93 83 13   1 timeout 900   5500 12000 0 timeout 900   5100 12000 0 timeout 900   13000 5000 0 true 160   4700 1900 1 timeout 900   150 12000 0 true 6.9 200 81 1
recursive-simple/fibo_2calls_2_true-unreach-call_true-termination.c error (5) .11  24 .86 0 true .098 6.4 .25 2 witness invalid (true) .084 6.2 .18 0 true 2.9 250 24 2 unknown .82 67 8.6 0 true 8.3 370 110 2 true 8.1 370 130 2 true .079 26 .89 2 timeout 900    85 11000   0 true 11 1200 96 2 true .36 59 3.1 2 true 3.9 240 38 2 disqualified 2.0 71 25 0 true .14 15 1.7 2 true 11   450 95 2 timeout 900   890 12000 0 true 11   450 91 2 true 16   510 150 2 timeout 900   150 12000 0 true 7.0 170 84 2
recursive-simple/fibo_2calls_4_true-unreach-call_true-termination.c error (5) .095 24 .70 0 true .075 6.1 .29 2 witness invalid (true) .046 6.5 .43 0 true 3.4 270 32 2 unknown .85 67 9.4 0 true 8.0 370 98 2 true 8.3 370 100 2 true .082 26 .97 2 timeout 900    85 9400   0 true 15 1200 97 2 true .38 59 3.8 2 unknown 8.0 240 76 0 disqualified 2.0 71 21 0 true .15 15 1.6 2 true 16   540 130 2 timeout 900   900 8800 0 true 21   560 190 2 true 23   640 190 2 timeout 900   150 13000 0 true 8.2 190 120 2
recursive-simple/fibo_2calls_5_true-unreach-call_true-termination.c error (5) .087 24 .81 0 true .056 8.7 .37 2 witness invalid (true) .051 6.2 .41 0 true 3.8 270 39 2 unknown .81 66 9.3 0 true 8.2 370 91 2 true 8.2 370 130 2 true .085 26 .88 2 timeout 900    85 12000   0 true 14 1200 97 2 true .36 59 3.7 2 unknown 8.1 250 76 0 disqualified 2.0 73 22 0 true .15 16 1.5 2 true 23   720 200 2 timeout 900   860 13000 0 true 23   620 190 2 true 25   820 250 2 timeout 900   150 12000 0 true 8.1 190 120 2
recursive-simple/fibo_2calls_6_true-unreach-call_true-termination.c error (5) .095 24 .77 0 true .053 6.7 .51 2 witness invalid (true) .051 6.3 .26 0 true 3.9 270 41 2 unknown .82 67 10   0 true 8.2 370 120 2 true 8.4 370 96 2 true .088 26 .97 2 timeout 900    85 10000   0 true 15 1200 110 2 true .37 59 3.1 2 unknown 7.5 240 82 0 disqualified 2.1 72 24 0 true .14 16 1.5 2 true 28   760 250 2 timeout 900   1700 10000 0 true 48   1100 410 2 true 33   970 270 2 timeout 900   150 11000 0 true 8.3 190 100 2
recursive-simple/fibo_2calls_8_true-unreach-call_true-termination.c error (5) .090 24 .73 0 true .089 6.3 .81 2 witness invalid (true) .085 6.9 .61 0 true 5.2 290 42 2 unknown .79 66 8.1 0 true 8.1 370 110 2 true 8.2 370 96 2 true .10  26 1.1  2 timeout 900    84 11000   0 true 14 1300 100 2 true .40 59 4.0 2 unknown 7.8 240 78 0 disqualified 2.3 78 30 0 true .16 16 1.5 2 true 44   1400 390 2 timeout 900   2700 12000 0 true 94   3600 890 2 true 59   2100 530 2 timeout 900   150 13000 0 true 8.2 190 99 2
recursive-simple/fibo_5_true-unreach-call_true-termination.c error (5) .090 24 .86 0 true .071 6.9 .46 2 witness invalid (true) .11  6.1 .31 0 true 3.5 270 34 2 unknown .85 66 8.1 0 true 8.1 370 94 2 true 8.3 370 100 2 true .086 26 .87 2 timeout 900    84 9700   0 true 15 1200 100 2 true .36 59 3.3 2 unknown 7.5 220 73 0 disqualified 2.0 67 24 0 true .16 16 1.6 2 true 16   640 130 2 timeout 900   1400 12000 0 true 20   600 200 2 true 22   760 180 2 timeout 900   150 12000 0 true 8.1 190 92 2
recursive-simple/fibo_7_true-unreach-call_true-termination.c error (5) .086 24 .75 0 true .13  6.0 .49 2 witness invalid (true) .071 6.6 .55 0 true 4.3 270 42 2 unknown .82 67 9.5 0 true 8.2 370 110 2 true 8.1 370 99 2 true .11  26 .87 2 timeout 900    85 10000   0 true 15 1200 98 2 true .38 59 3.5 2 unknown 7.1 220 74 0 disqualified 2.1 71 24 0 true .14 16 1.7 2 true 21   730 190 2 timeout 900   3000 12000 0 true 30   960 290 2 true 27   1100 250 2 timeout 900   150 13000 0 true 8.0 190 110 2
recursive-simple/id2_b2_o3_true-unreach-call_true-termination_true-no-overflow.c error (5) .087 24 .82 0 error (42) 880     1700   11000    0 error (42) 880     530   12000    0 true 3.4 270 31 2 unknown .84 66 9.8 0 unknown 8.1 430 99 0 timeout 900   400 9400 0 timeout 900     1200 10000    0 timeout 900    340 10000   0 true 14 1100 98 2 out of memory 200    15000 2400   0 unknown 7.7 230 78 0 disqualified 2.0 72 24 0 timeout (verification) 900    850 11000   0 true 12   470 100 2 true 11   510 100 2 true 11   500 100 2 true 17   570 160 2 timeout 900   150 12000 0 true 9.0 200 110 2
recursive-simple/id2_b3_o5_true-unreach-call_true-termination_true-no-overflow.c error (5) .079 24 1.3  0 error (42) 880     1800   9700    0 error (42) 880     540   13000    0 true 3.6 270 29 2 unknown .83 68 8.7 0 unknown 8.1 430 120 0 timeout 900   400 9700 0 timeout 900     1200 9700    0 timeout 900    340 8600   0 true 12 1200 90 2 out of memory 200    15000 2600   0 unknown 7.5 230 80 0 disqualified 2.0 72 26 0 timeout (verification) 900    860 12000   0 true 12   490 99 2 true 14   630 110 2 true 13   560 100 2 true 18   650 160 2 timeout 900   200 12000 0 true 8.8 200 110 2
recursive-simple/id2_b5_o10_true-unreach-call_true-termination_true-no-overflow.c error (5) .13  23 .79 0 error (42) 880     1800   11000    0 error (42) 880     550   11000    0 true 3.4 270 34 2 unknown .81 66 9.7 0 unknown 8.1 430 96 0 timeout 900   400 8800 0 timeout 900     1200 9500    0 timeout 900    350 7800   0 true 14 1100 110 2 out of memory 200    15000 2600   0 unknown 7.9 230 77 0 disqualified 2.0 72 24 0 timeout (verification) 900    860 12000   0 true 13   530 110 2 true 12   560 110 2 true 11   430 80 2 true 18   660 150 2 timeout 900   150 11000 0 true 9.0 200 110 2
recursive-simple/id2_i5_o5_true-unreach-call_true-termination.c error (5) .088 24 .92 0 true .054 6.8 .40 2 witness invalid (true) .098 6.5 .23 0 true 3.5 270 34 2 unknown .79 66 8.9 0 true 8.1 370 95 2 true 8.1 370 93 2 true .086 26 .80 2 timeout 900    85 9700   0 true 14 1100 86 2 true .37 59 3.3 2 unknown 7.7 220 80 0 disqualified 2.0 68 26 0 true .16 16 1.8 2 true 13   580 100 2 timeout 900   1100 9700 0 true 16   670 150 2 true 18   650 150 2 timeout 900   150 12000 0 true 6.9 160 87 2
recursive-simple/id_b2_o3_true-unreach-call_true-termination_true-no-overflow.c error (5) .085 24 .72 0 error (42) 880     1300   9900    0 error (42) 880     530   10000    0 true 3.2 270 30 2 unknown .82 67 8.6 0 unknown 8.2 430 95 0 timeout 900   400 7800 0 timeout 900     1200 10000    0 timeout 900    340 9600   0 true 14 1100 94 2 out of memory 200    15000 2900   0 unknown 7.6 220 86 0 disqualified 2.0 72 27 0 timeout (verification) 900    1800 11000   0 true 10   450 86 2 true 10   520 96 2 true 9.5 390 75 2 true 16   510 120 2 timeout 900   150 11000 0 true 9.0 200 120 2
recursive-simple/id_b3_o5_true-unreach-call_true-termination_true-no-overflow.c error (5) .094 24 .66 0 error (42) 880     550   12000    0 error (42) 880     530   11000    0 true 3.1 260 29 2 unknown .93 68 9.5 0 unknown 8.3 430 100 0 timeout 900   400 9000 0 timeout 900     950 10000    0 unknown .75 39 8.7 0 true 14 1100 100 2 out of memory 470    15000 6600   0 unknown 7.5 220 70 0 disqualified 2.0 71 23 0 timeout (verification) 900    1800 12000   0 true 8.9 380 65 2 true 9.4 410 69 2 true 9.6 380 76 2 true 14   460 110 2 timeout 900   150 11000 0 true 7.0 150 90 2
recursive-simple/id_b5_o10_true-unreach-call_true-termination_true-no-overflow.c error (5) .098 24 .66 0 error (42) 880     7900   5400    0 error (42) 880     540   12000    0 true 3.3 260 31 2 unknown .95 66 11   0 unknown 8.2 430 100 0 timeout 900   400 8700 0 timeout 900     960 13000    0 unknown .76 39 9.1 0 true 13 1200 91 2 out of memory 470    15000 5400   0 unknown 7.0 220 69 0 disqualified 2.0 71 26 0 timeout (verification) 900    1800 10000   0 true 9.1 380 72 2 true 10   420 73 2 true 9.5 380 75 2 true 15   460 130 2 timeout 900   150 12000 0 true 6.9 150 100 2
recursive-simple/id_i10_o10_true-unreach-call_true-termination.c error (5) .14  23 .75 0 true .14  6.4 .52 2 witness invalid (true) .070 6.5 .56 0 true 3.4 260 32 2 unknown .79 66 9.2 0 true 8.2 370 100 2 true 8.2 370 120 2 true .11  26 1.0  2 timeout 900    85 10000   0 true 14 1100 100 2 true .36 59 3.5 2 true 3.4 210 36 2 disqualified 2.0 67 26 0 true .15 15 1.6 2 true 15   560 140 2 true 21   610 230 2 true 25   810 250 2 true 20   700 160 2 timeout 900   150 11000 0 true 8.2 200 100 2
recursive-simple/id_i15_o15_true-unreach-call_true-termination.c error (5) .084 24 .74 0 true .11  6.4 .69 2 witness invalid (true) .087 6.8 .74 0 true 3.5 270 36 2 unknown .81 66 9.3 0 true 8.1 370 110 2 true 8.1 370 120 2 true .097 26 1.1  2 timeout 900    84 10000   0 true 13 1200 110 2 true .38 58 3.8 2 true 3.7 210 37 2 disqualified 2.1 69 32 0 true .14 15 1.7 2 true 18   520 180 2 true 30   850 300 2 true 57   1200 630 2 true 25   820 220 2 timeout 900   150 11000 0 true 8.9 200 130 2
recursive-simple/id_i20_o20_true-unreach-call_true-termination.c error (5) .080 24 .91 0 true .14  6.2 1.4  2 witness invalid (true) .17  6.3 .73 0 true 3.6 270 33 2 unknown .79 67 9.4 0 true 8.4 370 110 2 true 8.1 370 93 2 true .13  26 1.1  2 timeout 900    85 10000   0 true 15 1200 99 2 true .39 58 3.4 2 true 3.5 210 31 2 disqualified 2.2 68 26 0 true .14 15 1.6 2 true 22   620 200 2 true 45   790 460 2 true 150   1200 1400 2 true 30   900 260 2 timeout 900   150 13000 0 true 9.7 200 140 2
recursive-simple/id_i25_o25_true-unreach-call_true-termination.c error (5) .083 24 .97 0 true .13  7.0 1.6  2 witness invalid (true) .12  7.6 1.1  0 true 3.8 270 36 2 unknown .81 67 8.6 0 true 8.4 480 92 2 true 8.3 370 120 2 true .12  26 1.3  2 timeout 900    85 10000   0 true 15 1200 110 2 true .38 59 3.1 2 true 3.8 210 37 2 disqualified 2.3 68 29 0 true .14 16 1.4 2 true 30   670 300 2 true 57   930 640 2 true 320   1200 4000 2 error 9.5 200 70 0 timeout 900   150 11000 0 true 11   200 160 2
recursive-simple/id_i5_o5_true-unreach-call_true-termination.c error (5) .096 23 .85 0 true .076 6.8 .45 2 witness invalid (true) .055 6.5 .48 0 true 3.3 270 30 2 unknown .84 66 8.4 0 true 8.1 370 110 2 true 8.1 370 93 2 true .084 26 .89 2 timeout 900    85 11000   0 true 12 1200 88 2 true .37 58 3.5 2 true 3.8 210 39 2 disqualified 2.0 68 24 0 true .13 16 1.7 2 true 11   500 97 2 true 15   650 140 2 true 13   580 110 2 true 17   570 140 2 timeout 900   150 12000 0 true 6.8 160 98 2
recursive-simple/sum_10x0_true-unreach-call_true-termination.c error (5) .15  24 .66 0 true .079 6.8 .78 2 witness invalid (true) .075 6.4 .78 0 true 3.6 260 36 2 unknown .80 65 8.8 0 true 8.2 370 100 2 true 8.1 370 100 2 true .089 26 1.0  2 timeout 900    85 11000   0 true 14 1100 91 2 true .41 59 3.0 2 true 3.5 220 35 2 disqualified 2.0 67 25 0 true .14 15 1.7 2 true 16   520 140 2 timeout 900   1100 10000 0 true 35   950 420 2 true 21   720 180 2 timeout 900   150 11000 0 true 6.7 210 78 2
recursive-simple/sum_15x0_true-unreach-call_true-termination.c error (5) .082 24 .76 0 true .11  6.2 .93 2 witness invalid (true) .11  7.1 .78 0 true 3.7 270 37 2 unknown .79 65 8.0 0 true 8.0 370 100 2 true 8.1 370 98 2 true .10  26 1.2  2 timeout 900    84 10000   0 true 14 1200 97 2 true .42 59 3.3 2 true 3.6 220 32 2 disqualified 2.1 67 25 0 true .17 20 1.4 2 true 21   730 190 2 timeout 900   1100 11000 0 true 62   1200 580 2 true 27   850 270 2 timeout 900   150 11000 0 true 7.0 210 84 2
recursive-simple/sum_20x0_true-unreach-call_true-termination.c error (5) .093 24 .63 0 true .13  7.0 1.4  2 witness invalid (true) .12  6.3 1.4  0 true 4.2 300 34 2 unknown .78 66 9.4 0 true 8.0 370 110 2 true 8.2 370 99 2 true .13  26 1.1  2 timeout 900    84 12000   0 true 15 1200 120 2 true .39 59 3.4 2 true 3.8 220 43 2 disqualified 2.1 68 24 0 true .14 15 1.5 2 true 28   640 250 2 timeout 900   1200 12000 0 true 180   980 2200 2 true 34   950 310 2 timeout 900   150 11000 0 true 55   300 600 2
recursive-simple/sum_25x0_true-unreach-call_true-termination.c error (5) .085 24 .81 0 true .16  6.6 1.4  2 witness invalid (true) .17  6.8 1.3  0 true 4.7 310 41 2 unknown .81 66 9.4 0 true 8.2 370 100 2 true 8.0 370 110 2 true .13  26 1.6  2 timeout 900    84 11000   0 true 15 1200 120 2 true .39 58 4.3 2 true 4.0 220 38 2 disqualified 2.2 68 25 0 true .16 15 1.4 2 true 41   950 430 2 timeout 900   1400 12000 0 true 400   1200 3600 2 error 9.6 200 83 0 timeout 900   150 12000 0 true 55   300 690 2
recursive-simple/sum_2x3_true-unreach-call_true-termination.c error (5) .093 24 .71 0 true .049 7.9 .36 2 witness invalid (true) .059 6.2 .23 0 true 3.3 260 31 2 unknown .80 69 8.3 0 true 8.1 370 100 2 true 8.1 370 100 2 true .083 26 .80 2 timeout 900    85 9400   0 true 14 1100 87 2 true .39 59 2.9 2 true 3.5 220 31 2 disqualified 2.0 67 28 0 true .16 16 1.7 2 true 10   450 86 2 timeout 900   1100 11000 0 true 12   610 97 2 true 15   470 120 2 timeout 900   150 11000 0 true 5.2 130 59 2
recursive-simple/sum_non_eq_true-unreach-call_true-termination_true-no-overflow.c error (5) .094 24 .68 0 error (42) 880     350   9400    0 error (42) 880     100   12000    0 true 3.6 270 30 2 unknown 1.1  67 14   0 unknown 8.2 430 110 0 timeout 900   410 9200 0 timeout 900     250 11000    0 timeout 900    4300 9400   0 true 14 1200 96 2 out of memory 86    15000 1100   0 true 3.9 220 39 2 disqualified 880   490 14000 0 true .15 15 1.6 2 true 9.8 380 75 2 true 9.7 400 78 2 true 13   430 130 2 error 12   200 100 0 timeout 900   150 9400 0 true 81   220 950 2
../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 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.2 2300 76 0 96 19000   82000 150000 99 96 13000   250000 170000 45 96 17000 150000 210000 111 96 4200 250000 55000 36 96 820 40000 10000 81 96 22000 46000 220000 99 96 17000   190000 190000 99 96 46000 24000 520000 37 96 17000 210000 220000 112 96 4700    350000 55000   99 96 3100 35000 28000 53 96 21000 57000 260000 0 96 17000   100000 220000 102 96 19000 130000 240000 120 96 48000 130000 580000 62 96 25000 260000 260000 113 96 16000   110000 140000 107 96 49000 15000 630000 43 96 1500   28000 18000 124
    correct results 0 68 310   18000 3600 93 43 1100   22000 14000 45 75 1200 39000 8700 109 36 57 3200 840 36 52 450 21000 5600 76 68 1300 28000 15000 94 68 370   6200 4800 93 37 48 3100 620 37 76 2100 110000 18000 110 68 530    22000 6300   94 37 420 11000 4600 53 0 70 17   1900 210 96 78 3000 64000 35000 120 44 1100 27000 11000 62 74 5200 97000 48000 113 70 7800   69000 66000 102 43 1500 6600 18000 43 79 710   23000 8900 116
        correct true 0 25 2.9 180 23 50 2 1.4 21 19 4 34 160 11000 1700 68 0 24 200 9000 2500 48 26 260 9600 3200 52 25 3.0 650 33 50 0 34 520 41000 3900 68 26 11    1500 110   52 16 300 4800 3500 32 0 26 4.3 410 48 52 42 2000 37000 24000 84 18 300 10000 2900 36 39 2700 54000 26000 78 32 3400   41000 31000 64 0 37 540   7000 6800 74
        correct false 0 43 310   18000 3500 43 41 1100   22000 14000 41 41 1000 28000 7000 41 36 57 3200 840 36 28 250 12000 3100 28 42 1000 19000 12000 42 43 370   5600 4700 43 37 48 3100 620 37 42 1600 73000 14000 42 42 520    20000 6200   42 21 110 5900 1100 21 0 44 13   1500 160 44 36 990 28000 11000 36 26 800 17000 7900 26 35 2500 43000 22000 35 38 4300   27000 34000 38 43 1500 6600 18000 43 42 170   16000 2000 42
    correct-unconfimed results 0 6 200   7700 2600 6 0 2 53 2200 630 2 0 5 53 1900 610 5 5 54 1900 620 5 6 400   4900 4800 6 0 2 74 2900 810 2 6 290    5500 3600   5 0 0 6 2.5 230 35 6 0 0 0 6 980   23000 8000 5 0 10 200   1900 2600 8
        correct-unconfirmed true 0 6 200   7700 2600 6 0 2 53 2200 630 2 0 5 53 1900 610 5 5 54 1900 620 5 6 400   4900 4800 6 0 2 74 2900 810 2 5 290    5400 3600   5 0 0 6 2.5 230 35 6 0 0 0 5 970   23000 8000 5 0 8 200   1600 2500 8
        correct-unconfirmed false 0 0 0 0 0 0 0 0 0 0 1 .37 59 2.8 0 0 0 0 0 0 0 1 8.5 270 78 0 0 2 6.2 330 75 0
    incorrect results 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0
        incorrect false 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
score (96 tasks, max score: 148) 0 99 45 111 36 81 99 99 37 112 99 53 0 102 120 62 113 107 43 124
Run set 2ls.sv-comp19_prop-reachsafety.ReachSafety-Recursive cbmc.sv-comp19_prop-reachsafety.ReachSafety-Recursive cbmc-path.sv-comp19_prop-reachsafety.ReachSafety-Recursive cpa-seq.sv-comp19_prop-reachsafety.ReachSafety-Recursive depthk.sv-comp19_prop-reachsafety.ReachSafety-Recursive divine-explicit.sv-comp19_prop-reachsafety.ReachSafety-Recursive divine-smt.sv-comp19_prop-reachsafety.ReachSafety-Recursive esbmc-kind.sv-comp19_prop-reachsafety.ReachSafety-Recursive map2check.sv-comp19_prop-reachsafety.ReachSafety-Recursive pesco.sv-comp19_prop-reachsafety.ReachSafety-Recursive pinaka.sv-comp19_prop-reachsafety.ReachSafety-Recursive skink.sv-comp19_prop-reachsafety.ReachSafety-Recursive smack.sv-comp19_prop-reachsafety.ReachSafety-Recursive symbiotic.sv-comp19_prop-reachsafety.ReachSafety-Recursive uautomizer.sv-comp19_prop-reachsafety.ReachSafety-Recursive ukojak.sv-comp19_prop-reachsafety.ReachSafety-Recursive utaipan.sv-comp19_prop-reachsafety.ReachSafety-Recursive veriabs.sv-comp19_prop-reachsafety.ReachSafety-Recursive verifuzz.sv-comp19_prop-reachsafety.ReachSafety-Recursive viap.sv-comp19_prop-reachsafety.ReachSafety-Recursive