Tool 2LS 0.3.4 BLAST 2.7.3 CBMC Ceagle AbsRef 1.0.0 CPAchecker 1.4-svcomp16c CPAchecker 1.4-svn 18373 CPAchecker 1.4-svcomp16c ESBMC ESBMC version 2.0.0 64-bit x86_64 linux DepthK ESBMC+DepthK version 2.1 Forest svc_16_20151108 HIPrec impara 0.45 CPAchecker 1.4-svn 18356M PAC-MAN SeaHorn-F16 0.1.0 skink SMACK+Corral 1.5.2 symbiotic 3.0.1 ULTIMATE Automizer cfb9fd9e ULTIMATE Kojak fd30d3d8 VVT prerelease
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24] [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23] [zeus01; zeus02; zeus03; zeus04; zeus05; zeus09; zeus10; zeus11; zeus13; zeus14; zeus15; zeus16; zeus21; zeus24] [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24]
OS Linux 4.2.0-22-generic Linux 4.2.0-23-generic Linux 4.2.0-22-generic Linux 4.2.0-23-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz, cores: 32, frequency: 3.4 GHz; RAM: 135149 MB
Date of execution 2016-01-02 22:42:27 CET [[ 2016-01-15 08:01:51 CET ]] [[ 2016-01-15 21:37:22 CET ]] 2016-01-03 17:36:26 CET [[ 2016-01-15 08:15:11 CET ]] [[ 2016-01-15 21:49:51 CET ]] 2016-01-03 00:42:25 CET [[ 2016-01-15 08:22:02 CET ]] [[ 2016-01-15 21:54:19 CET ]] 2016-01-04 05:59:47 CET [[ 2016-01-15 08:28:20 CET ]] [[ 2016-01-15 21:58:46 CET ]] 2016-01-04 06:25:51 CET [[ 2016-01-15 08:31:02 CET ]] [[ 2016-01-15 21:59:57 CET ]] 2016-01-04 01:42:53 CET [[ 2016-01-15 08:36:34 CET ]] [[ 2016-01-15 22:02:40 CET ]] 2016-01-04 20:04:07 CET [[ 2016-01-15 08:41:31 CET ]] [[ 2016-01-15 22:05:37 CET ]] 2016-01-04 13:17:38 CET [[ 2016-01-15 08:48:20 CET ]] [[ 2016-01-15 22:10:37 CET ]] 2016-01-16 17:45:19 CET [[ 2016-01-17 00:36:28 CET ]] [[ 2016-01-17 00:39:38 CET ]] 2016-01-05 14:06:34 CET [[ 2016-01-15 09:00:06 CET ]] [[ 2016-01-15 22:17:52 CET ]] 2016-01-09 23:49:59 CET [[ 2016-01-15 09:05:13 CET ]] [[ 2016-01-15 22:20:31 CET ]] 2016-01-06 11:47:08 CET [[ 2016-01-15 09:08:50 CET ]] [[ 2016-01-15 22:21:40 CET ]] 2016-01-13 07:41:14 CET [[ 2016-01-15 09:11:00 CET ]] [[ 2016-01-15 22:23:23 CET ]] 2016-01-10 22:01:17 CET [[ 2016-01-15 09:16:15 CET ]] [[ 2016-01-15 22:26:01 CET ]] 2016-01-13 07:33:23 CET [[ 2016-01-15 09:22:08 CET ]] [[ 2016-01-15 22:28:32 CET ]] 2016-01-11 21:35:00 [[ 2016-01-15 18:20:27 CET ]] [[ 2016-01-15 22:30:28 CET ]] 2016-01-15 22:52:00 CET [[ 2016-01-16 00:34:30 CET ]] [[ 2016-01-16 00:56:26 CET ]] 2016-01-07 09:05:16 CET [[ 2016-01-15 09:34:34 CET ]] [[ 2016-01-15 22:36:10 CET ]] 2016-01-07 09:04:54 CET [[ 2016-01-15 09:39:10 CET ]] [[ 2016-01-15 22:39:28 CET ]] 2016-01-14 23:51:13 CET [[ 2016-01-15 09:43:48 CET ]] [[ 2016-01-15 22:41:15 CET ]] 2016-01-08 15:10:30 CET [[ 2016-01-15 09:49:48 CET ]] [[ 2016-01-15 22:43:29 CET ]] 2016-01-17 23:14:00 CET [[ 2016-01-18 06:54:01 CET ]] [[ 2016-01-18 07:05:55 CET ]]
Run set 2ls.sv-comp16.Recursive blast.sv-comp16.Recursive cbmc.sv-comp16.Recursive ceagle-absref.sv-comp16.Recursive cpa-bam.sv-comp16.Recursive cpa-kind.sv-comp16.Recursive cpa-refsel.sv-comp16.Recursive cpa-seq.sv-comp16.Recursive esbmc.sv-comp16.Recursive esbmcdepthk.sv-comp16.Recursive forest.sv-comp16.Recursive hiprec.sv-comp16 impara.sv-comp16.Recursive lpi.sv-comp16.Recursive pacman.sv-comp16.Recursive seahorn.sv-comp16.Recursive skink.sv-comp16.Recursive smack.sv-comp16.Recursive symbiotic3.sv-comp16.Recursive uautomizer.sv-comp16.Recursive ukojak.sv-comp16.Recursive vvt.sv-comp16.Recursive
Options --k-induction --competition-mode --graphml-cex error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/2ls.2016-01-02_2242.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/2ls.2016-01-02_2242.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] -alias empty -enable-recursion -noprofile -cref -sv-comp -lattice -include-lattice symb -nosserr -svcomp-witness error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/blast.2016-01-03_1736.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/blast.2016-01-03_1736.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] --graphml-cex error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/cbmc.2016-01-03_0042.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/cbmc.2016-01-03_0042.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/ceagle-absref.2016-01-04_0559.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/ceagle-absref.2016-01-04_0559.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] -sv-comp16-bam -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/cpa-bam.2016-01-04_0625.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/cpa-bam.2016-01-04_0625.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] -sv-comp16--k-induction -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/cpa-kind.2016-01-04_0142.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/cpa-kind.2016-01-04_0142.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] -sv-comp16--refsel -disable-java-assertions -heap 12500m -setprop cpa.arg.errorPath.graphml=error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/cpa-refsel.2016-01-04_2004.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/cpa-refsel.2016-01-04_2004.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] -sv-comp16 -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/cpa-seq.2016-01-04_1317.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/cpa-seq.2016-01-04_1317.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/esbmc.2016-01-16_1745.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/esbmc.2016-01-16_1745.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/esbmcdepthk.2016-01-05_1406.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/esbmcdepthk.2016-01-05_1406.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] -svcomp [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/forest.2016-01-09_2349.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/forest.2016-01-09_2349.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/hiprec.2016-01-06_1147.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/hiprec.2016-01-06_1147.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] --eager --graphml-cex error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/impara.2016-01-13_0741.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/impara.2016-01-13_0741.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] -lpi-svcomp16 -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/lpi.2016-01-10_2201.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/lpi.2016-01-10_2201.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/pacman.2016-01-13_0733.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/pacman.2016-01-13_0733.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] --cex=error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/seahorn.2016-01-11_2135.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/seahorn.2016-01-11_2135.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/skink.2016-01-15_2252.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/skink.2016-01-15_2252.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] -w error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/smack.2016-01-07_0905.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/smack.2016-01-07_0905.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/symbiotic3.2016-01-07_0904.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/symbiotic3.2016-01-07_0904.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/uautomizer.2016-01-14_2351.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/uautomizer.2016-01-14_2351.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/ukojak.2016-01-08_1510.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/ukojak.2016-01-08_1510.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/vvt.2016-01-17_2314.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/vvt.2016-01-17_2314.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]]
../../sv-benchmarks/c/ status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB)
recursive/Ackermann02_false-unreach-call_false-termination.c error (6) .13  23 exception (gremlins) 2.8   40 false(reach) 2.1  78 unknown 3.5   12   false(reach) 7.5 380 error (recursion) 3.5 200 error (recursion) 3.5 210 false(reach) 7.5 390 out of memory 330     15000 unknown .32 22 true .95 38   false(reach) .82 74 timeout 900     330 error (recursion) 3.7 200 false(reach) 11   360 false(reach) .37 46 unknown 5.5 270 witness unconfirmed 2.7 75 false(reach) 18     8.0 false(reach) 11   330 timeout 38   500 unknown .064 9.1
recursive/Addition02_false-unreach-call_false-termination.c error (6) .15  23 false(reach) 1.4   25 false(reach) .11 25 unknown .50  5.8 false(reach) 4.7 250 error (recursion) 3.2 190 error (recursion) 3.6 200 false(reach) 5.3 280 out of memory 250     15000 unknown .26 22 true 1.6  38   false(reach) .33 72 timeout 900     66 error (recursion) 3.2 200 false(reach) 1.8 360 false(reach) .48 44 unknown 5.7 280 false(reach) 3.2 75 false(reach) .25  7.1 false(reach) 10   330 false(reach) 9.7 330 unknown .062 8.7
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call.c error (6) .14  23 false(reach) .36  24 false(reach) .16 24 true .28  5.9 false(reach) 3.4 220 false(reach) 4.4 240 false(reach) 4.4 240 false(reach) 5.2 360 error (1) 4.7   210 unknown .25 21 true .60 39   false(reach) .30 73 false(reach) .086 23 error (recursion) 3.3 200 false(reach) 1.6 110 false(reach) .36 45 unknown 6.5 270 false(reach) 2.9 76 false(reach) .16  6.8 false(reach) 9.3 330 false(reach) 9.6 330 unknown .064 9.3
recursive/EvenOdd03_false-unreach-call_false-termination.c error (6) .11  23 false(reach) .078 20 false(reach) .18 25 witness unconfirmed .15  5.7 false(reach) 3.8 250 error (recursion) 3.0 190 error (recursion) 3.6 210 false(reach) 4.9 270 false(reach) 13     470 false(reach) 3.1  160 witness timeout 18    86   false(reach) .79 83 timeout 900     250 error (recursion) 3.2 200 false(reach) 1.8 320 false(reach) .33 44 unknown 17   310 false(reach) 2.7 69 false(reach) 19     6.4 false(reach) 8.9 330 false(reach) 9.0 330 unknown .062 7.8
recursive/Fibonacci04_false-unreach-call_true-termination.c error (6) .10  23 exception (gremlins) 4.2   40 false(reach) .74 34 unknown 1.9   9.4 false(reach) 12   570 error (recursion) 3.6 200 error (recursion) 3.6 210 false(reach) 13   600 out of memory 210     15000 unknown .30 21 true .81 38   witness timeout .46 78 timeout 900     89 error (recursion) 3.1 200 witness timeout 2.1 320 false(reach) .51 45 unknown 5.4 270 false(reach) 3.2 77 false(reach) 54     7.4 false(reach) 18   400 false(reach) 15   490 unknown .063 7.9
recursive/Fibonacci05_false-unreach-call_true-termination.c error (6) .12  23 exception (gremlins) 4.4   40 true 850    270 unknown 1.7   9.2 witness timeout 25   790 error (recursion) 3.4 200 error (recursion) 3.5 210 witness timeout 23   790 out of memory 210     15000 unknown .25 21 true .58 38   witness timeout 5.5  78 timeout 900     89 error (recursion) 3.3 200 witness timeout 40   330 witness timeout .61 46 unknown 6.3 280 witness unconfirmed 4.2 82 witness timeout 110     7.9 witness timeout 35   630 timeout 39   640 unknown .067 7.8
recursive/McCarthy91_false-unreach-call_false-termination.c error (6) .10  23 false(reach) .082 17 false(reach) .14 24 witness unconfirmed .22  5.4 false(reach) 4.5 250 error (recursion) 3.5 200 error (recursion) 3.5 200 false(reach) 4.6 270 out of memory 240     15000 false(reach) 3.0  160 true 3.9  38   false(reach) .31 73 timeout 900     290 error (recursion) 3.8 200 false(reach) 1.5 110 false(reach) .29 45 unknown 4.5 270 false(reach) 3.1 73 false(reach) .27  7.9 false(reach) 8.9 320 false(reach) 9.1 330 unknown .058 7.8
recursive/Ackermann01_true-unreach-call.c error (6) .10  23 exception (gremlins) 37     58 true 850    520 unknown 3.6   12   true 6.1 270 error (recursion) 3.7 200 error (recursion) 3.6 210 true 6.3 290 out of memory 340     15000 unknown .31 22 true .54 38   true .51 74 timeout 900     71 error (recursion) 3.2 210 true 660   160 true .37 43 unknown 6.3 300 true 880   330 timeout 900     90   true 13   460 timeout 50   670 unknown .081 9.5
recursive/Ackermann03_true-unreach-call.c error (6) .15  23 exception (gremlins) 6.2   38 true 850    510 unknown 3.7   12   true 61   1300 error (recursion) 3.6 200 error (recursion) 3.1 210 true 62   2400 out of memory 310     15000 unknown .25 21 true 3.0  39   true .90 78 timeout 900     73 error (recursion) 3.3 200 true 670   160 true 4.8  63 unknown 7.5 290 true 3.0 71 timeout 900     52   true 28   540 timeout 38   570 unknown .067 8.3
recursive/Ackermann04_true-unreach-call.c error (6) .15  23 exception (gremlins) 5.8   38 true 850    520 unknown 3.7   12   true 23   760 error (recursion) 3.2 200 error (recursion) 3.5 210 true 21   780 out of memory 330     15000 unknown .36 22 true 590    39   true .62 77 timeout 900     71 error (recursion) 3.3 200 true 650   160 true 1.1  50 unknown 6.4 300 true 880   410 timeout 900     52   true 25   480 timeout 38   540 unknown .062 8.1
recursive/Addition01_true-unreach-call_true-termination.c error (6) .099 23 exception (gremlins) 11     39 true 850    12000 unknown .59  5.8 true 5.0 290 error (recursion) 3.0 200 error (recursion) 3.7 210 true 5.3 320 out of memory 230     15000 unknown .30 22 true 3.5  38   true .30 73 timeout 900     130 error (recursion) 3.1 200 unknown 890   370 true .49 43 unknown 6.4 300 true 880   360 timeout 900     9.0 timeout 900   790 true 11   340 unknown .073 7.9
recursive/Addition03_true-unreach-call.c error (6) .14  23 exception (gremlins) 2.8   42 true 850    13000 unknown .63  6.0 timeout 900   1100 error (recursion) 3.6 200 error (recursion) 3.5 210 timeout 900   1800 out of memory 250     15000 unknown .27 22 true 190    39   true .28 72 timeout 900     57 error (recursion) 3.2 200 true 880   310 true 41    220 unknown 6.8 270 true 890   360 timeout 900     8.6 true 630   1600 timeout 38   640 unknown .074 9.4
recursive/EvenOdd01_true-unreach-call_true-termination.c error (6) .10  23 false(reach) .090 21 true 66    420 unknown .26  5.9 true 6.8 270 error (recursion) 3.6 200 error (recursion) 3.6 210 true 7.1 300 true 1.1   83 unknown .31 23 true 41    94   unknown 3.1  100 timeout 900     260 error (recursion) 3.2 210 unknown 880   330 timeout 900    270 unknown 5.8 280 true 880   140 timeout 900     7.4 timeout 900   940 timeout 58   1000 unknown .065 7.8
recursive/Fibonacci01_true-unreach-call.c error (6) .13  23 exception (gremlins) 6.4   40 true 850    270 unknown 1.9   9.6 true 10   490 error (recursion) 3.1 200 error (recursion) 3.5 210 true 12   500 out of memory 200     15000 unknown .26 22 true 270    38   true .46 77 false(reach) 7.3   30 error (recursion) 3.9 200 true 660   170 true .36 41 unknown 6.8 290 true 890   5800 timeout 900     110   true 50   820 timeout 29   600 unknown .065 8.2
recursive/Fibonacci02_true-unreach-call_true-termination.c error (6) .14  23 exception (gremlins) 34     40 true 1.2  24 unknown .27  5.7 true 8.2 400 error (recursion) 3.6 200 error (recursion) 3.5 210 true 8.2 430 true .11  13 unknown .26 21 true .56 38   true 21    78 false(reach) .16  26 error (recursion) 3.4 200 true 670   200 true 3.3  53 unknown 5.3 270 true 3.5 82 true 18     6.0 true 50   1100 timeout 37   590 unknown .063 8.2
recursive/Fibonacci03_true-unreach-call_true-termination.c error (6) .098 23 exception (gremlins) 3.8   40 true 850    270 unknown 1.8   9.4 timeout 900   3700 error (recursion) 3.6 200 error (recursion) 3.6 210 timeout 900   1800 out of memory 210     15000 unknown .31 22 true .56 38   true 1.7  79 false(reach) 7.1   30 error (recursion) 3.1 200 true 670   170 true 1.1  45 unknown 5.8 270 timeout (true) 900   5800 timeout 900     110   true 38   860 timeout 39   720 unknown .092 7.7
recursive/McCarthy91_true-unreach-call.c error (6) .12  23 false(reach) 6.1   40 true 850    1200 unknown .31  5.6 true 4.0 250 error (recursion) 3.5 200 error (recursion) 3.6 210 true 5.1 270 out of memory 230     15000 unknown .23 22 true 4.0  38   unknown 7.2  100 timeout 900     290 error (recursion) 3.2 200 true 650   180 true .34 43 unknown 5.6 270 true 880   310 timeout 900     59   true 10   320 true 11   330 unknown .066 7.7
recursive/MultCommutative_true-unreach-call_true-termination.c error (6) .10  23 exception (gremlins) 140     54 true 850    400 unknown 18     38   timeout 900   960 error (recursion) 3.6 200 error (recursion) 3.5 210 timeout 900   910 out of memory 290     15000 unknown .30 22 true .68 38   unknown 25    120 timeout 900     99 error (recursion) 3.2 200 true 660   210 timeout 900    340 unknown 6.3 310 true 880   120 timeout 900     8.7 timeout 900   960 timeout 37   580 unknown .061 9.0
recursive/Primes_true-unreach-call.c error (6) .15  23 exception (gremlins) 110     570 true 850    290 unknown 3.1   12   timeout 900   860 error (recursion) 3.2 200 error (recursion) 3.8 210 timeout 900   860 out of memory 330     15000 unknown .22 23 true .70 36   timeout 900    710 timeout 900     86 error (recursion) 3.5 200 true 880   450 true 2.1  76 unknown 7.6 330 true 880   520 timeout 900     11   error 490   1000 timeout 42   830 unknown .066 8.2
recursive/gcd01_true-unreach-call_true-termination.c error (6) .10  23 false(reach) 6.8   43 true 850    2900 unknown .75  6.4 true 5.1 260 error (recursion) 3.7 200 error (recursion) 3.6 210 true 5.7 280 out of memory 190     15000 unknown .27 22 error (134) 14    38   true .96 77 timeout 900     62 error (recursion) 3.3 200 unknown 900   6300 true .48 45 unknown 7.2 290 true 880   160 timeout 900     110   true 12   360 true 12   350 unknown .053 9.5
recursive/gcd02_true-unreach-call.c error (6) .13  23 exception (gremlins) 22     41 true 850    190 unknown .96  8.2 timeout 900   1300 error (recursion) 3.4 210 error (recursion) 3.8 220 timeout 900   1300 out of memory 120     15000 unknown .34 22 true .67 39   unknown 4.8  110 timeout 900     74 error (recursion) 3.6 210 unknown 890   620 timeout 900    390 unknown 8.0 310 true 880   89 timeout 900     20   timeout 900   1600 timeout 44   900 unknown .12  7.8
recursive/recHanoi01_true-unreach-call_true-termination.c error (6) .14  23 exception (gremlins) 130     74 true 850    660 unknown 1.0   8.5 true 56   1300 error (recursion) 3.1 200 error (recursion) 3.6 210 exception 7.9 340 out of memory 190     15000 unknown .28 22 true .56 38   unknown 18    110 timeout 900     110 error (recursion) 3.1 200 true 680   180 timeout 900    710 unknown 6.0 260 true 890   5800 timeout 900     110   error 210   5000 timeout 42   710 unknown .058 7.6
recursive/recHanoi02_true-unreach-call_true-termination.c error (6) .14  23 false(reach) 1.2   29 true 12    78 unknown .14  5.9 true 9.9 600 error (recursion) 3.6 200 error (recursion) 3.5 210 true 9.2 620 false(reach) 68     2900 unknown .30 22 true .56 38   true .32 72 true .49  23 error (recursion) 3.1 200 true 660   160 true .30 39 unknown 5.6 270 true 3.5 70 true 36     7.6 true 9.1 320 true 10   350 unknown .058 7.8
recursive/recHanoi03_true-unreach-call_true-termination.c error (6) .14  23 exception (gremlins) 3.9   37 true 5.0  88 unknown .21  5.9 true 13   450 error (recursion) 3.1 200 error (recursion) 3.5 220 true 11   470 false(reach) 68     2000 unknown .26 21 true 3.5  39   true .33 72 true 5.3   24 error (recursion) 3.2 200 true 660   160 true .26 40 unknown 5.6 270 true 3.8 70 true 71     7.8 error 88   530 true 14   460 unknown .055 7.8
recursive-simple/afterrec_2calls_false-unreach-call.c error (6) .10  23 false(reach) .079 20 false(reach) .13 24 witness unconfirmed .067 5.7 false(reach) 3.9 230 false(reach) 3.5 230 false(reach) 3.9 230 false(reach) 3.0 210 false(reach) 4.2   230 false(reach) 3.3  160 false(reach) .73 57   false(reach) .25 72 false(reach) .11  23 false(reach) 4.2 290 witness unconfirmed 1.4 110 false(reach) .28 40 unknown 4.9 260 false(reach) 3.2 71 false(reach) 18     6.6 false(reach) 9.8 340 false(reach) 10   330 unknown .067 9.1
recursive-simple/afterrec_false-unreach-call.c error (6) .15  23 false(reach) .094 16 false(reach) .15 24 witness unconfirmed .10  6.0 false(reach) 3.7 230 false(reach) 4.2 230 false(reach) 3.7 230 false(reach) 3.0 190 error (1) 3.7   200 unknown .25 21 false(reach) .51 38   false(reach) .30 71 false(reach) .15  23 error (recursion) 3.1 200 witness unconfirmed 1.5 110 false(reach) .29 39 unknown 5.0 260 false(reach) 3.1 75 false(reach) 18     6.4 false(reach) 8.8 330 false(reach) 8.6 320 unknown .074 7.9
recursive-simple/fibo_10_false-unreach-call.c error (6) .077 23 exception (gremlins) 48     43 false(reach) .31 27 unknown .25  6.0 witness timeout 8.0 510 error (recursion) 3.5 190 error (recursion) 3.5 210 witness timeout 9.6 500 witness timeout 74     2900 unknown .22 21 false(reach) .54 38   witness timeout .56 77 true .13  23 error (recursion) 3.2 200 witness timeout 1.6 110 false(reach) 1.3  52 unknown 5.4 270 witness unconfirmed 5.4 110 false(reach) 18     6.7 witness timeout 50   990 timeout 40   670 unknown .062 8.2
recursive-simple/fibo_15_false-unreach-call.c error (6) .10  23 exception (gremlins) 33     41 witness invalid (exception) 3.3  90 unknown .24  5.8 witness invalid (exception) 74   2600 error (recursion) 3.5 190 error (recursion) 3.5 210 witness invalid (exception) 71   1900 witness timeout 88     4100 unknown .30 21 false(reach) .59 38   witness timeout 10    81 true .17  23 error (recursion) 3.8 200 witness invalid (exception) 5.5 110 witness timeout 1.1  48 unknown 6.2 310 witness unconfirmed 140   820 witness timeout 20     9.1 witness invalid (exception) 240   5000 timeout 41   640 unknown .092 7.8
recursive-simple/fibo_20_false-unreach-call.c error (6) .10  23 exception (gremlins) 30     41 witness timeout 310    970 unknown .34  5.7 timeout 900   3300 error (recursion) 3.0 190 error (recursion) 3.4 210 timeout 900   2800 timeout 910     11000 unknown .22 21 witness timeout .59 38   witness timeout 570    240 true .24  23 error (recursion) 3.1 200 witness invalid (exception) 440   110 witness timeout 12    96 unknown 6.1 270 error (1) 900   2800 witness timeout 390     45   timeout 900   6600 timeout 39   690 unknown .049 9.2
recursive-simple/fibo_25_false-unreach-call.c error (6) .081 23 exception (gremlins) 38     41 true 850    480 unknown .26  5.9 timeout 900   8000 error (recursion) 3.0 200 error (recursion) 3.5 200 timeout 900   7800 timeout 910     12000 unknown .24 21 witness timeout .55 38   timeout 900    280 true .27  23 error (recursion) 3.1 200 timeout (false(reach)) 900   880 witness timeout 46    180 unknown 5.1 270 error (1) 900   3000 timeout 900     50   timeout 900   6300 timeout 39   660 unknown .051 8.1
recursive-simple/fibo_2calls_10_false-unreach-call.c error (6) .11  23 exception (gremlins) 35     46 witness unconfirmed .31 27 unknown .45  5.7 witness timeout 8.6 500 error (recursion) 3.9 200 error (recursion) 3.5 200 witness timeout 9.9 490 witness timeout 76     3300 unknown .18 21 false(reach) .78 83   witness timeout .78 84 true .14  23 error (recursion) 3.7 200 witness timeout 1.7 110 false(reach) .55 46 unknown 6.6 310 witness unconfirmed 5.7 110 false(reach) 18     6.9 witness timeout 120   2600 timeout 46   680 unknown .064 8.0
recursive-simple/fibo_2calls_15_false-unreach-call.c error (6) .098 23 exception (gremlins) 85     42 witness unconfirmed 3.3  94 unknown .36  5.6 witness invalid (exception) 65   1900 error (recursion) 3.0 200 error (recursion) 3.4 210 witness invalid (exception) 71   1800 witness timeout 89     3200 unknown .24 21 false(reach) .79 83   witness timeout 11    110 true .20  23 error (recursion) 3.2 200 witness invalid (exception) 5.2 110 false(reach) 1.2  49 unknown 6.1 300 witness unconfirmed 170   730 witness timeout 21     9.3 timeout 900   5500 timeout 49   860 unknown .066 9.4
recursive-simple/fibo_2calls_20_false-unreach-call.c error (6) .10  23 exception (gremlins) 120     49 witness unconfirmed 250    1000 unknown .27  5.9 timeout 900   3400 error (recursion) 3.6 200 error (recursion) 3.0 200 timeout 900   2800 timeout 910     11000 unknown .24 21 witness timeout .81 83   witness timeout 760    260 true .28  23 error (recursion) 3.2 200 witness invalid (exception) 390   110 witness timeout 5.6  60 unknown 7.3 310 timeout 900   2800 witness timeout 380     45   timeout 900   6400 timeout 47   660 unknown .062 8.1
recursive-simple/fibo_2calls_25_false-unreach-call.c error (6) .13  23 exception (gremlins) 110     50 true 850    490 unknown .38  5.9 timeout 900   8600 error (recursion) 3.5 190 error (recursion) 3.6 220 timeout 900   8700 timeout 900     11000 unknown .29 21 witness timeout .66 83   timeout 900    280 true .38  23 error (recursion) 3.1 200 witness unconfirmed 900   880 witness timeout 51    190 unknown 6.6 310 timeout 900   3000 timeout 900     51   timeout 900   6200 timeout 44   830 unknown .11  8.3
recursive-simple/fibo_2calls_2_false-unreach-call.c error (6) .11  23 false(reach) .14  19 false(reach) .13 24 true .31  6.0 false(reach) 4.6 260 false(reach) 3.6 230 false(reach) 4.2 230 false(reach) 3.2 210 false(reach) 7.7   320 false(reach) 3.1  160 true .62 38   false(reach) .87 83 false(reach) .13  23 false(reach) 4.2 290 false(reach) 1.5 110 witness unconfirmed .28 27 unknown 6.2 320 false(reach) 3.1 76 false(reach) 18     6.8 false(reach) 9.0 320 false(reach) 8.9 320 witness unconfirmed .094 13  
recursive-simple/fibo_2calls_4_false-unreach-call.c error (6) .077 23 true 9.7   34 false(reach) .12 24 true .40  5.6 false(reach) 4.2 250 error (recursion) 3.6 190 error (recursion) 2.9 210 false(reach) 5.3 370 false(reach) 84     3300 false(reach) 3.5  160 false(reach) .77 83   false(reach) .86 83 true .15  23 error (recursion) 3.2 200 false(reach) 1.5 110 false(reach) .34 42 unknown 6.2 310 false(reach) 3.2 75 false(reach) 18     6.7 false(reach) 13   460 false(reach) 12   340 unknown .051 7.7
recursive-simple/fibo_2calls_5_false-unreach-call.c error (6) .099 23 true 4.9   27 false(reach) .14 24 true .31  5.9 false(reach) 4.5 270 error (recursion) 3.7 200 error (recursion) 3.4 200 false(reach) 6.3 370 false(reach) 69     2600 unknown .24 21 false(reach) .76 83   false(reach) .74 83 true .13  23 error (recursion) 3.2 200 false(reach) 1.6 110 false(reach) .49 45 unknown 7.4 300 false(reach) 2.5 74 false(reach) 18     6.6 false(reach) 18   430 false(reach) 17   470 unknown .11  8.0
recursive-simple/fibo_2calls_6_false-unreach-call.c error (6) .11  23 true 6.3   31 false(reach) .12 24 unknown .28  5.9 false(reach) 5.8 280 error (recursion) 3.6 190 error (recursion) 3.5 210 false(reach) 6.6 380 false(reach) 69     2300 unknown .30 21 false(reach) .70 83   false(reach) 1.1  83 true .16  23 error (recursion) 3.3 200 witness timeout 1.4 110 false(reach) .41 45 unknown 6.7 320 witness unconfirmed 3.3 76 false(reach) 18     6.5 false(reach) 25   680 false(reach) 25   640 unknown .052 8.9
recursive-simple/fibo_2calls_8_false-unreach-call.c error (6) .10  23 exception (gremlins) 34     40 witness unconfirmed .26 25 unknown .35  5.7 witness timeout 7.9 400 error (recursion) 3.0 200 error (recursion) 3.6 210 witness timeout 8.3 420 witness timeout 73     2400 unknown .26 21 false(reach) .73 83   witness timeout 3.8  83 true .093 23 error (recursion) 3.4 200 witness timeout 1.6 110 false(reach) .47 46 unknown 6.8 310 witness unconfirmed 4.0 79 false(reach) 18     6.7 witness timeout 63   1300 timeout 40   730 unknown .062 8.1
recursive-simple/fibo_5_false-unreach-call.c error (6) .14  23 exception (gremlins) 8.1   39 false(reach) .28 24 true .48  5.6 false(reach) 5.0 260 error (recursion) 3.5 200 error (recursion) 3.5 200 false(reach) 6.1 370 false(reach) 70     2700 unknown .23 21 false(reach) .55 38   false(reach) .53 78 true .082 23 error (recursion) 3.1 200 false(reach) 1.6 110 false(reach) .49 43 unknown 6.2 260 false(reach) 3.3 75 false(reach) 18     6.5 false(reach) 13   340 false(reach) 14   470 unknown .064 9.3
recursive-simple/fibo_7_false-unreach-call.c error (6) .10  23 exception (gremlins) 19     39 false(reach) .24 24 unknown .34  5.7 false(reach) 5.9 280 error (recursion) 3.5 190 error (recursion) 3.0 210 witness timeout 6.1 390 false(reach) 70     2300 unknown .30 21 false(reach) .60 36   witness timeout 1.7  77 true .16  23 error (recursion) 3.1 210 witness timeout 1.3 110 false(reach) .63 45 unknown 5.1 270 witness unconfirmed 3.6 74 false(reach) 18     6.7 false(reach) 22   450 false(reach) 30   490 unknown .067 8.1
recursive-simple/id2_b3_o2_false-unreach-call.c error (6) .14  23 false(reach) .60  24 false(reach) .13 24 unknown .13  5.6 false(reach) 4.2 250 error (recursion) 3.0 200 error (recursion) 3.5 210 false(reach) 5.8 370 false(reach) 37     840 unknown .26 22 unknown .70 82   witness unconfirmed .43 73 timeout 900     470 error (recursion) 3.2 200 false(reach) 2.1 240 false(reach) .40 42 unknown 5.4 270 false(reach) 3.1 72 false(reach) 18     6.8 false(reach) 9.7 340 false(reach) 10   320 unknown .064 9.2
recursive-simple/id2_i5_o5_false-unreach-call.c error (6) .10  23 false(reach) .14  20 false(reach) .12 24 unknown .15  5.8 false(reach) 3.9 250 error (recursion) 3.0 190 error (recursion) 2.9 210 false(reach) 4.2 270 false(reach) 53     1700 unknown .26 21 false(reach) .70 62   false(reach) .31 72 false(reach) .089 23 error (recursion) 3.1 200 false(reach) 1.6 110 false(reach) .39 42 unknown 5.4 270 false(reach) 3.2 74 false(reach) 18     8.2 false(reach) 11   360 false(reach) 13   470 unknown .066 7.9
recursive-simple/id_b3_o2_false-unreach-call.c error (6) .10  23 false(reach) .44  24 false(reach) .12 24 unknown .19  5.7 false(reach) 3.9 250 error (recursion) 3.5 190 error (recursion) 3.6 210 false(reach) 4.1 270 false(reach) 12     440 unknown .24 21 true 3.3  38   false(reach) .31 72 timeout 900     470 error (recursion) 3.1 200 false(reach) 2.2 240 false(reach) .33 42 unknown 6.2 270 false(reach) 3.0 73 false(reach) 18     6.6 false(reach) 9.5 320 false(reach) 11   360 unknown .067 9.3
recursive-simple/id_i10_o10_false-unreach-call.c error (6) .11  23 false(reach) .063 20 false(reach) .38 24 unknown .14  5.9 false(reach) 4.2 260 error (recursion) 3.6 190 error (recursion) 3.4 200 false(reach) 5.2 270 false(reach) 31     690 unknown .22 21 false(reach) .61 38   false(reach) 1.5  71 false(reach) .098 23 error (recursion) 3.1 200 false(reach) 1.5 110 false(reach) .65 55 unknown 5.1 260 false(reach) 3.3 74 false(reach) 18     6.6 false(reach) 16   360 false(reach) 32   810 unknown .059 8.0
recursive-simple/id_i15_o15_false-unreach-call.c error (6) .10  23 false(reach) .11  19 false(reach) .38 24 unknown .072 5.8 false(reach) 4.3 260 error (recursion) 2.9 200 error (recursion) 3.5 200 false(reach) 5.6 280 false(reach) 42     960 unknown .24 21 false(reach) .57 38   false(reach) 1.5  71 false(reach) .18  23 error (recursion) 3.2 200 false(reach) 1.6 110 false(reach) .61 45 unknown 5.1 270 false(reach) 3.3 76 false(reach) 18     6.6 false(reach) 20   480 false(reach) 57   910 unknown .085 8.0
recursive-simple/id_i20_o20_false-unreach-call.c error (6) .15  23 false(reach) .090 19 false(reach) .53 24 unknown .10  5.6 false(reach) 5.4 260 error (recursion) 3.4 200 error (recursion) 3.5 200 false(reach) 6.6 370 false(reach) 44     970 unknown .24 21 true .61 38   false(reach) 1.5  71 false(reach) .14  24 error (recursion) 3.2 210 false(reach) 1.3 110 false(reach) .78 46 unknown 5.3 260 false(reach) 3.5 76 false(reach) 18     6.7 false(reach) 26   600 timeout 100   920 unknown .057 7.7
recursive-simple/id_i25_o25_false-unreach-call.c error (6) .10  23 false(reach) .063 21 false(reach) .69 24 unknown .11  5.9 false(reach) 5.5 270 error (recursion) 3.5 190 error (recursion) 3.2 210 false(reach) 6.6 370 false(reach) 47     1100 unknown .29 21 false(reach) .49 38   false(reach) 1.7  71 false(reach) .15  24 error (recursion) 3.1 200 witness timeout 1.6 110 false(reach) .89 48 unknown 5.0 260 false(reach) 3.8 78 false(reach) 18     6.8 false(reach) 30   610 timeout 100   2800 unknown .11  11  
recursive-simple/id_i5_o5_false-unreach-call.c error (6) .078 23 false(reach) .13  19 false(reach) .24 24 unknown .14  6.0 false(reach) 4.6 250 error (recursion) 2.8 190 error (recursion) 3.5 210 false(reach) 5.2 270 false(reach) 12     480 unknown .27 21 false(reach) .55 38   false(reach) 1.5  71 false(reach) .15  23 error (recursion) 3.2 200 false(reach) 1.6 110 false(reach) .31 45 unknown 6.0 260 false(reach) 3.0 75 false(reach) 18     6.9 false(reach) 12   350 false(reach) 14   450 unknown .061 9.2
recursive-simple/id_o1000_false-unreach-call.c error (6) .14  23 witness timeout 1.1   27 true 3.6  70 unknown .11  6.0 witness invalid (exception) 440   4200 error (recursion) 3.0 200 error (recursion) 3.0 210 witness invalid (exception) 450   4200 witness timeout 67     1900 unknown .24 21 true 3.9  38   witness timeout 2.9  74 timeout 900     420 error (recursion) 3.2 200 unknown 880   250 witness invalid (error) 650    1100 unknown 6.2 260 true 880   200 witness invalid (exception) 130     270   timeout 900   1700 timeout 56   1200 unknown .10  11  
recursive-simple/id_o100_false-unreach-call.c error (6) .10  23 false(reach) 1.3   27 false(reach) 1.9  39 unknown .12  6.0 false(reach) 13   620 error (recursion) 3.4 190 error (recursion) 3.4 200 false(reach) 15   640 witness timeout 67     1900 unknown .36 21 true 4.3  38   witness timeout 1.5  74 timeout 900     420 error (recursion) 3.0 200 unknown 870   250 witness invalid (error) 3.5  68 unknown 6.3 270 witness timeout 22   120 witness unconfirmed .91  11   timeout 900   950 timeout 55   910 unknown .071 7.9
recursive-simple/id_o10_false-unreach-call.c error (6) .078 23 false(reach) 1.6   27 false(reach) .40 24 unknown .12  5.9 false(reach) 4.2 260 error (recursion) 3.0 200 error (recursion) 2.8 200 false(reach) 4.5 280 false(reach) 39     870 unknown .26 21 true 3.0  38   false(reach) 1.5  74 timeout 900     400 error (recursion) 3.1 200 false(reach) 1.8 240 witness invalid (error) .47 46 unknown 6.2 270 false(reach) 3.2 72 witness unconfirmed .11  6.5 false(reach) 15   350 false(reach) 15   360 unknown .062 11  
recursive-simple/id_o200_false-unreach-call.c error (6) .10  23 witness timeout 1.5   28 witness timeout 1.8  37 unknown .12  5.6 witness timeout 21   950 error (recursion) 3.5 200 error (recursion) 3.6 200 witness timeout 23   960 witness timeout 68     2000 unknown .32 21 true .56 38   witness timeout 1.6  74 timeout 900     420 error (recursion) 3.1 200 unknown 880   5400 witness invalid (error) 12    110 unknown 6.3 270 witness timeout 210   260 witness timeout 2.9   21   timeout 900   950 timeout 54   820 unknown .070 8.0
recursive-simple/id_o20_false-unreach-call.c error (6) .098 23 false(reach) 1.4   27 false(reach) .67 25 unknown .16  5.9 false(reach) 6.1 280 error (recursion) 3.5 200 error (recursion) 3.4 200 false(reach) 6.9 390 false(reach) 56     1500 unknown .20 21 error (134) 2.1  38   false(reach) 1.7  74 timeout 900     420 error (recursion) 3.1 200 unknown 880   7800 witness invalid (error) .73 48 unknown 6.2 270 false(reach) 3.1 76 witness unconfirmed .28  7.1 false(reach) 27   690 false(reach) 28   600 unknown .062 7.7
recursive-simple/id_o3_false-unreach-call.c error (6) .12  23 false(reach) .74  27 false(reach) .24 24 unknown .13  5.9 false(reach) 4.5 250 error (recursion) 3.6 200 error (recursion) 3.5 210 false(reach) 4.9 270 false(reach) 13     490 unknown .25 21 true .55 38   false(reach) 1.4  74 timeout 900     420 error (recursion) 3.2 200 false(reach) 1.9 240 false(reach) .36 45 unknown 5.1 270 false(reach) 3.1 73 witness unconfirmed .13  6.6 false(reach) 9.3 330 false(reach) 10   330 unknown .091 9.2
recursive-simple/sum_10x0_false-unreach-call.c error (6) .13  23 false(reach) .14  20 false(reach) .36 24 unknown .097 5.8 false(reach) 4.1 250 error (recursion) 2.9 200 error (recursion) 3.4 210 false(reach) 4.5 280 false(reach) 43     930 unknown .24 21 false(reach) .54 38   false(reach) .24 71 false(reach) .12  24 error (recursion) 3.3 200 false(reach) 1.5 110 false(reach) .64 46 unknown 6.1 270 false(reach) 3.2 74 false(reach) 18     7.0 false(reach) 14   470 false(reach) 16   470 unknown .057 7.6
recursive-simple/sum_15x0_false-unreach-call.c error (6) .10  23 false(reach) .078 18 false(reach) .52 24 unknown .11  5.9 false(reach) 4.5 260 error (recursion) 2.9 190 error (recursion) 3.5 210 false(reach) 5.5 280 false(reach) 51     1400 unknown .28 21 false(reach) .52 38   false(reach) .35 71 false(reach) .13  24 error (recursion) 3.2 200 false(reach) 1.6 110 false(reach) .68 46 unknown 5.3 270 false(reach) 3.4 75 false(reach) 18     6.6 false(reach) 22   400 false(reach) 21   490 unknown .061 9.3
recursive-simple/sum_20x0_false-unreach-call.c error (6) .097 23 false(reach) .12  21 false(reach) .62 24 unknown .16  5.7 false(reach) 5.4 260 error (recursion) 2.8 200 error (recursion) 3.3 210 false(reach) 6.6 370 false(reach) 72     2100 unknown .22 21 false(reach) .58 38   false(reach) .34 71 false(reach) .15  26 error (recursion) 3.1 200 false(reach) 1.6 110 false(reach) .81 48 unknown 5.5 270 false(reach) 2.6 73 false(reach) 18     6.7 false(reach) 23   470 false(reach) 26   640 unknown .056 7.6
recursive-simple/sum_25x0_false-unreach-call.c error (6) .11  23 false(reach) .11  19 false(reach) .75 24 unknown .11  5.8 false(reach) 5.6 270 error (recursion) 3.0 190 error (recursion) 3.4 210 false(reach) 7.0 380 false(reach) 71     2000 unknown .30 21 false(reach) .53 38   false(reach) .46 71 false(reach) .17  24 error (recursion) 3.6 200 witness timeout 1.5 110 false(reach) .96 49 unknown 5.7 270 false(reach) 3.7 70 false(reach) 18     7.9 false(reach) 28   560 false(reach) 31   560 unknown .059 9.1
recursive-simple/sum_2x3_false-unreach-call.c error (6) .10  23 false(reach) .13  20 false(reach) .12 24 witness unconfirmed .087 5.7 false(reach) 4.4 250 error (recursion) 2.9 190 error (recursion) 2.9 200 false(reach) 5.0 270 false(reach) 13     500 unknown .26 21 false(reach) .49 38   false(reach) .29 71 false(reach) .11  23 error (recursion) 3.1 200 false(reach) 1.3 110 false(reach) .46 44 unknown 5.6 270 false(reach) 2.8 73 false(reach) 18     6.6 false(reach) 9.7 340 false(reach) 9.6 320 unknown .068 11  
recursive-simple/sum_non_eq_false-unreach-call.c error (6) .13  23 false(reach) .058 19 false(reach) .12 24 witness unconfirmed .15  5.9 false(reach) 3.6 240 error (recursion) 3.1 190 error (recursion) 3.4 210 false(reach) 4.1 270 witness timeout 79     3200 false(reach) 3.1  170 timeout 900    1200   false(reach) .26 71 timeout 900     470 error (recursion) 3.3 200 false(reach) 1.9 270 false(reach) .32 43 unknown 6.2 270 false(reach) 3.2 73 witness unconfirmed .21  6.8 false(reach) 8.1 320 false(reach) 8.5 330 unknown .081 9.7
recursive-simple/sum_non_false-unreach-call.c error (6) .10  23 false(reach) .081 16 false(reach) .12 24 witness unconfirmed .11  5.5 false(reach) 4.1 240 error (recursion) 3.6 200 error (recursion) 3.4 210 false(reach) 4.8 260 witness timeout 82     3900 false(reach) 3.0  160 true 1.2  38   false(reach) .21 71 timeout 900     690 error (recursion) 3.0 200 false(reach) 1.9 270 false(reach) .35 43 unknown 5.7 270 false(reach) 3.1 73 false(reach) .14  7.1 false(reach) 8.7 320 false(reach) 9.4 330 unknown .068 8.1
recursive-simple/afterrec_2calls_true-unreach-call.c error (6) .098 23 true .030 13 true .97 24 true .12  5.5 true 3.2 220 true 3.4 190 true 3.7 210 true 3.1 190 true .078 13 true .37 21 true .63 57   true .24 71 true .10  23 true 6.4 200 true 690   210 true .26 24 unknown 5.0 260 true 2.7 64 true .061 5.7 true 8.6 330 true 7.8 320 unknown .077 9.1
recursive-simple/afterrec_true-unreach-call.c error (6) .079 23 true .015 12 true .84 24 true .12  5.6 true 3.1 230 true 3.4 200 true 3.5 200 true 3.0 190 true .096 13 true .35 21 true .54 38   true .20 71 true .13  23 true 3.0 200 true 670   200 true .32 37 unknown 4.8 260 true 2.7 64 true .084 5.6 true 10   350 true 7.8 320 unknown .064 7.6
recursive-simple/fibo_10_true-unreach-call.c error (6) .080 23 exception (gremlins) 43     45 true 1.2  24 unknown .37  5.9 true 8.5 510 error (recursion) 3.5 190 error (recursion) 3.0 210 true 9.6 540 true .080 13 unknown .28 21 true 2.9  38   true 86    81 false(reach) .18  24 error (recursion) 3.2 200 true 670   200 true 5.1  61 unknown 6.0 260 true 4.2 91 true 18     6.0 true 58   1300 timeout 36   650 unknown .071 7.9
recursive-simple/fibo_15_true-unreach-call.c error (6) .13  23 exception (gremlins) 36     38 true 13    32 unknown .42  6.0 true 35   3600 error (recursion) 3.5 200 error (recursion) 3.5 210 true 38   3600 true .32  13 unknown .23 21 true .62 38   timeout 900    160 false(reach) .22  24 error (recursion) 3.2 200 true 670   200 true 13    76 unknown 4.9 270 true 140   620 true 20     9.3 true 270   5200 timeout 45   650 unknown .075 8.0
recursive-simple/fibo_20_true-unreach-call.c error (6) .077 23 exception (gremlins) 31     39 true 850    320 unknown .33  5.9 timeout 900   3600 error (recursion) 3.4 200 error (recursion) 3.4 210 timeout 900   3700 true 2.7   67 unknown .26 21 true .68 38   timeout 900    190 false(reach) .29  26 error (recursion) 3.2 200 true 700   170 true 59    120 unknown 5.2 260 true 900   2800 true 390     45   timeout 900   6400 timeout 42   720 unknown .059 7.8
recursive-simple/fibo_25_true-unreach-call.c error (6) .11  23 exception (gremlins) 37     39 true 850    460 unknown .33  5.7 timeout 900   5100 error (recursion) 3.6 200 error (recursion) 2.9 210 timeout 900   5100 true 29     700 unknown .22 21 true 23    41   timeout 900    180 false(reach) .40  25 error (recursion) 3.1 210 unknown 860   150 true 100    120 unknown 5.1 260 true 900   3100 timeout 900     51   timeout 900   6800 timeout 41   650 unknown .073 8.0
recursive-simple/fibo_2calls_10_true-unreach-call.c error (6) .13  23 exception (gremlins) 35     45 true 1.4  24 unknown .31  5.7 true 12   670 error (recursion) 3.7 200 error (recursion) 3.5 220 true 12   670 true .078 13 unknown .30 21 error (139) .92 83   true 54    89 false(reach) .15  24 error (recursion) 3.3 200 true 680   210 true 1.9  52 unknown 8.0 310 true 4.9 92 true 18     6.1 true 130   2100 timeout 47   860 unknown .063 9.0
recursive-simple/fibo_2calls_15_true-unreach-call.c error (6) .14  23 exception (gremlins) 87     45 true 15    32 unknown .31  5.8 true 51   3600 error (recursion) 3.0 200 error (recursion) 3.7 210 true 52   3600 true .33  13 unknown .22 21 unknown .71 83   timeout 900    180 false(reach) .15  24 error (recursion) 3.8 200 true 650   200 true 6.6  71 unknown 6.3 310 true 100   630 true 21     9.2 timeout 900   5800 timeout 49   940 unknown .073 7.8
recursive-simple/fibo_2calls_20_true-unreach-call.c error (6) .079 23 exception (gremlins) 120     47 true 850    330 unknown .40  5.9 timeout 900   3700 error (recursion) 3.8 200 error (recursion) 2.9 210 timeout 900   3700 true 2.8   67 unknown .29 21 unknown .78 83   timeout 900    190 false(reach) .32  26 error (recursion) 3.2 200 true 710   170 true 12    77 unknown 7.0 320 timeout 900   2800 true 370     45   timeout 900   6400 timeout 45   1100 unknown .075 8.0
recursive-simple/fibo_2calls_25_true-unreach-call.c error (6) .11  23 exception (gremlins) 120     54 true 850    470 unknown .36  5.8 timeout 900   5100 error (recursion) 3.5 190 error (recursion) 3.5 210 timeout 900   5100 true 30     700 unknown .30 21 true .81 83   timeout 900    190 false(reach) .44  25 error (recursion) 3.7 200 unknown 860   150 true 67    130 unknown 7.1 300 timeout 900   3000 timeout 900     51   timeout 900   6500 timeout 48   760 unknown .073 8.0
recursive-simple/fibo_2calls_2_true-unreach-call.c error (6) .15  23 true .023 16 true .90 24 false(reach) .23  5.6 true 3.7 240 true 3.8 190 true 3.7 210 true 3.2 180 true .087 13 true .46 21 true 1.2  83   true .83 84 true .10  23 true 3.2 200 true 670   200 true .21 25 unknown 6.5 290 true 2.7 63 true 18     5.9 true 11   340 timeout 33   510 unknown .085 10  
recursive-simple/fibo_2calls_4_true-unreach-call.c error (6) .14  23 exception (gremlins) 8.4   36 true .85 24 false(reach) .47  5.7 true 4.7 250 error (recursion) 3.0 200 error (recursion) 3.5 200 true 5.1 270 true .094 13 true .48 21 unknown .68 83   true .90 83 false(reach) .14  23 error (recursion) 3.8 200 true 670   210 true .52 43 unknown 6.6 310 true 2.7 66 true 18     5.8 true 16   410 timeout 34   640 unknown .094 7.9
recursive-simple/fibo_2calls_5_true-unreach-call.c error (6) .11  23 exception (gremlins) 13     39 true .93 24 false(reach) .34  5.6 true 5.1 260 error (recursion) 3.6 200 error (recursion) 3.6 200 true 4.7 270 true .091 13 unknown .28 21 unknown .73 83   true .89 84 false(reach) .12  23 error (recursion) 3.7 200 true 670   210 true .68 45 unknown 7.7 300 true 2.8 69 true 18     5.9 true 22   450 timeout 43   730 unknown .12  7.9
recursive-simple/fibo_2calls_6_true-unreach-call.c error (6) .10  23 exception (gremlins) 27     41 true .69 24 unknown .32  6.0 true 4.9 270 error (recursion) 3.7 200 error (recursion) 3.5 200 true 5.1 290 true .090 13 unknown .23 21 true .73 83   true 1.1  83 false(reach) .16  24 error (recursion) 3.3 200 true 680   210 true .78 45 unknown 6.9 330 true 2.8 68 true 18     5.7 true 29   670 timeout 50   1100 unknown .084 8.1
recursive-simple/fibo_2calls_8_true-unreach-call.c error (6) .15  23 exception (gremlins) 33     39 true 1.1  24 unknown .24  5.7 true 7.3 370 error (recursion) 3.1 200 error (recursion) 3.5 200 true 8.7 380 true .066 13 unknown .25 21 true .68 83   true 3.3  83 false(reach) .14  23 error (recursion) 3.2 200 true 670   210 true 1.6  50 unknown 7.9 320 true 2.9 75 true 18     5.6 true 70   1200 timeout 38   650 unknown .10  7.9
recursive-simple/fibo_5_true-unreach-call.c error (6) .12  23 exception (gremlins) 8.3   39 true .69 24 false(reach) .43  5.7 true 4.0 240 error (recursion) 3.4 200 error (recursion) 3.5 200 true 5.0 260 true .090 13 unknown .26 21 true .87 38   true .68 77 false(reach) .12  25 error (recursion) 3.1 200 true 690   210 true 1.1  46 unknown 4.9 270 true 2.7 68 true 18     5.9 true 17   480 timeout 37   690 unknown .054 7.5
recursive-simple/fibo_7_true-unreach-call.c error (6) .13  23 exception (gremlins) 19     39 true 1.0  24 unknown .46  5.9 true 5.9 280 error (recursion) 2.8 200 error (recursion) 3.0 210 true 6.5 300 true .068 13 unknown .21 21 true .53 38   true 1.6  78 false(reach) .15  24 error (recursion) 3.1 200 true 680   210 true 2.2  50 unknown 5.5 270 true 2.9 73 true 18     5.8 true 27   690 timeout 48   710 unknown .070 7.8
recursive-simple/id2_b2_o3_true-unreach-call.c error (6) .15  23 true .47  27 true 19    320 unknown .22  5.7 true 4.6 250 error (recursion) 3.0 200 error (recursion) 3.0 210 true 4.9 270 true .94  55 unknown .25 22 error (134) 1.6  82   true .36 73 timeout 900     470 error (recursion) 3.1 200 true 870   250 true .30 40 unknown 5.6 280 true 2.8 67 timeout 900     11   true 24   330 true 9.4 330 unknown .066 8.3
recursive-simple/id2_b3_o5_true-unreach-call.c error (6) .081 23 true .48  23 true 19    320 unknown .14  5.9 true 4.6 240 error (recursion) 3.2 200 error (recursion) 3.5 210 true 5.0 260 true .97  55 unknown .29 22 unknown .68 82   true .33 73 timeout 900     470 error (recursion) 3.2 200 unknown 890   7300 true .39 39 unknown 5.4 270 true 2.6 76 timeout 900     13   true 13   390 true 9.1 320 unknown .061 7.9
recursive-simple/id2_b5_o10_true-unreach-call.c error (6) .10  23 true .62  25 true 19    320 unknown .21  6.0 true 4.1 240 error (recursion) 3.6 200 error (recursion) 3.6 210 true 5.0 270 true .95  55 unknown .34 22 true 3.5  82   true .51 74 timeout 900     480 error (recursion) 3.3 200 true 880   250 true .29 40 unknown 5.5 270 true 2.8 67 timeout 900     11   true 15   460 true 8.9 330 unknown .065 8.0
recursive-simple/id2_i5_o5_true-unreach-call.c error (6) .097 23 true .027 14 true .87 24 unknown .14  5.6 true 3.8 240 error (recursion) 3.1 200 error (recursion) 3.4 210 true 4.9 260 true .075 13 unknown .28 21 true .69 63   true .28 72 true .11  23 error (recursion) 3.1 200 true 680   210 true .54 40 unknown 5.3 260 true 2.7 62 true 18     5.8 true 12   330 timeout 46   690 unknown .085 7.5
recursive-simple/id_b2_o3_true-unreach-call.c error (6) .12  23 true .35  24 true 5.5  130 unknown .15  5.7 true 3.7 240 error (recursion) 2.9 200 error (recursion) 3.5 210 true 4.6 260 true .29  16 unknown .29 21 false(valid-free) 560    38   true .25 72 timeout 900     480 error (recursion) 3.3 200 unknown 880   250 true .29 39 unknown 5.1 270 true 2.7 64 timeout 900     11   true 10   320 true 9.6 330 unknown .065 7.8
recursive-simple/id_b3_o5_true-unreach-call.c error (6) .10  23 true .16  23 true 5.6  120 unknown .17  5.6 true 4.4 240 error (recursion) 3.0 200 error (recursion) 3.5 200 true 4.6 260 true .22  16 unknown .25 21 true 350    39   true .25 72 timeout 900     480 error (recursion) 3.1 200 unknown 880   250 true .30 40 unknown 5.2 270 true 2.8 63 timeout 900     11   true 11   330 true 10   320 unknown .059 9.4
recursive-simple/id_b5_o10_true-unreach-call.c error (6) .10  23 true .25  27 true 5.5  120 unknown .13  5.9 true 4.5 240 error (recursion) 3.6 200 error (recursion) 3.3 210 true 4.8 270 true .30  16 unknown .25 21 timeout 900    1200   true .31 73 timeout 900     470 error (recursion) 3.2 200 unknown 880   250 true .30 40 unknown 6.2 270 true 2.3 64 timeout 900     10   true 14   470 true 9.1 320 unknown .067 9.1
recursive-simple/id_i10_o10_true-unreach-call.c error (6) .15  23 false(reach) .13  19 true 1.0  24 unknown .12  5.9 true 4.4 250 error (recursion) 3.5 200 error (recursion) 2.9 210 true 4.2 260 true .076 13 unknown .21 21 true 1.4  38   true 1.5  72 true .14  23 error (recursion) 3.1 200 true 680   210 true .37 41 unknown 5.9 260 true 2.8 69 true 18     5.8 true 16   460 true 21   470 unknown .065 7.9
recursive-simple/id_i15_o15_true-unreach-call.c error (6) .15  23 false(reach) .12  18 true .89 24 unknown .13  6.0 true 4.6 240 error (recursion) 3.4 200 error (recursion) 3.5 210 true 4.2 270 true .063 13 unknown .29 21 true .60 38   true 1.4  71 true .16  23 error (recursion) 3.1 200 true 680   210 true .30 42 unknown 4.9 270 true 2.8 67 true 18     5.9 true 22   620 true 30   600 unknown .061 7.9
recursive-simple/id_i20_o20_true-unreach-call.c error (6) .10  23 false(reach) .081 20 true .88 24 unknown .089 5.5 true 4.2 250 error (recursion) 2.9 190 error (recursion) 3.6 210 true 5.4 270 true .070 13 unknown .25 21 true 2.4  38   true 1.4  71 true .17  23 error (recursion) 3.0 200 true 680   210 true .41 41 unknown 5.3 260 true 2.9 68 true 18     5.8 true 25   650 true 41   980 unknown .079 11  
recursive-simple/id_i25_o25_true-unreach-call.c error (6) .093 23 false(reach) .078 20 true .89 24 unknown .12  5.9 true 5.3 250 error (recursion) 3.0 200 error (recursion) 3.4 210 true 5.4 270 true .064 13 unknown .23 21 true 1.1  38   true 1.5  71 true .13  23 error (recursion) 3.1 200 true 690   210 true .31 41 unknown 6.2 260 true 3.2 68 true 18     5.8 true 34   620 true 51   1200 unknown .072 8.1
recursive-simple/id_i5_o5_true-unreach-call.c error (6) .10  23 false(reach) .089 17 true .96 24 unknown .13  5.8 true 4.4 240 error (recursion) 3.0 200 error (recursion) 2.9 200 true 4.8 260 true .060 13 unknown .25 21 true .66 38   true 1.5  72 true .11  23 error (recursion) 3.1 200 true 690   210 true .31 41 unknown 5.4 260 true 2.8 64 true 18     5.6 true 12   400 true 17   360 unknown .075 7.4
recursive-simple/sum_10x0_true-unreach-call.c error (6) .11  23 false(reach) .088 19 true .85 24 unknown .14  5.7 true 4.9 260 error (recursion) 3.5 190 error (recursion) 3.5 210 true 5.4 280 true .063 13 unknown .23 21 true 1.5  38   true .20 71 true .11  23 error (recursion) 2.9 200 true 680   210 true .29 43 unknown 6.3 270 true 2.7 65 true 18     5.7 true 19   500 timeout 38   660 unknown .075 8.6
recursive-simple/sum_15x0_true-unreach-call.c error (6) .13  23 false(reach) .14  19 true .93 24 unknown .078 5.7 true 4.8 280 error (recursion) 3.4 200 error (recursion) 2.9 210 true 5.8 290 true .084 13 unknown .23 21 true .62 38   true .23 71 true .15  23 error (recursion) 3.2 200 true 680   210 true .31 43 unknown 5.7 270 true 2.8 65 true 18     5.7 true 24   580 timeout 44   700 unknown .062 8.3
recursive-simple/sum_20x0_true-unreach-call.c error (6) .15  23 false(reach) .13  19 true .88 24 unknown .10  5.9 true 5.5 300 error (recursion) 3.4 200 error (recursion) 3.5 210 true 6.6 320 true .10  13 unknown .23 21 true .58 38   true .21 71 true .14  23 error (recursion) 3.3 200 true 670   200 true .35 43 unknown 5.5 260 true 2.2 68 true 18     5.6 true 26   660 timeout 54   810 unknown .057 7.8
recursive-simple/sum_25x0_true-unreach-call.c error (6) .12  23 false(reach) .13  20 true .96 24 unknown .15  5.7 true 5.7 310 error (recursion) 3.5 200 error (recursion) 3.0 210 true 7.2 350 true .10  13 unknown .28 21 true 1.1  38   true .26 71 true .15  23 error (recursion) 3.1 200 true 680   210 true .41 43 unknown 6.5 280 true 2.9 78 true 18     5.6 true 36   750 timeout 59   810 unknown .054 8.2
recursive-simple/sum_2x3_true-unreach-call.c error (6) .13  23 true .026 13 true .98 24 true .16  6.0 true 4.4 240 error (recursion) 3.7 190 error (recursion) 3.0 210 true 4.8 260 true .10  13 unknown .28 21 true .53 38   true .30 71 true .10  23 error (recursion) 3.8 200 true 670   210 true .44 43 unknown 5.4 270 true 2.6 66 true 18     5.6 true 10   340 timeout 30   640 unknown .10  8.0
recursive-simple/sum_non_eq_true-unreach-call.c error (6) .15  23 exception (gremlins) 10     41 true 850    320 unknown .13  5.9 true 4.6 240 error (recursion) 3.4 190 error (recursion) 2.9 210 true 4.3 270 false(reach) 74     2900 unknown .27 21 true .65 38   true .31 71 timeout 900     470 error (recursion) 3.0 200 unknown 890   11000 true .30 42 unknown 5.6 270 true 880   470 timeout 900     1700   timeout 900   1400 true 11   340 unknown .061 7.7
recursive-simple/sum_non_true-unreach-call.c error (6) .10  23 exception (gremlins) 12     44 true 850    320 unknown .097 6.0 true 4.8 260 error (recursion) 3.5 200 error (recursion) 3.4 210 true 5.2 270 false(reach) 76     2500 unknown .27 21 true .22 7.4 true .21 71 timeout 900     690 error (recursion) 3.8 200 unknown 880   280 true .35 43 unknown 5.8 270 true 880   240 timeout 900     540   timeout 900   830 true 11   310 unknown .080 11  
../../sv-benchmarks/c/ status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB)
total tasks 98 11 2300 98 1800   3600 98 19000 42000 98 65    650 98 13000 92000 98 330 19000 98 340 20000 98 13000 91000 98 10000 390000 98 47   3100 98 4000 7200 98 9700 9600 98 32000   13000 98 320   20000 98 45000 57000 98 4700 7800 98 600 27000 98 22000 53000 98 26000 4200 98 21000 130000 98 3000 60000 98 6.9 830
    correct results 0 37 12   760 87 16000 38000 3 .40 17 77 610 31000 7 26 1500 7 27 1500 75 590 33000 60 1100 33000 11 24   1200 65 1500 3100 70 210 5200 31 9.6 720 5 21   1200 65 29000 13000 82 350 4200 0 79 15000 27000 60 1800 470 71 2400 42000 49 800 22000 0
        correct true 0 11 2.4 220 53 16000 37000 3 .40 17 44 440 22000 3 11 580 3 11 620 43 410 23000 36 72 2200 4 1.7 85 43 1500 1900 41 190 3100 16 7.6 370 3 13   600 41 28000 8500 49 330 2700 0 50 15000 25000 29 1300 260 39 1900 29000 20 310 8600 0
        correct false 0 26 9.6 550 34 13 900 0 33 170 9200 4 16 920 4 16 930 32 190 10000 24 1000 31000 7 22   1100 22 14 1200 29 22 2200 15 1.9 350 2 8.4 570 24 49 4100 33 18 1500 0 29 91 2100 31 520 210 32 490 13000 29 490 13000 0
    incorrect results 0 16 36   400 4 2600 1300 9 3.2  52 0 0 0 0 4 290 10000 0 16 590 610 0 31 20   750 0 0 0 0 1 880 200 0 0 0 0
        incorrect true 0 3 21   92 4 2600 1300 5 1.8  29 0 0 0 0 0 0 15 27 570 0 14 2.6 320 0 0 0 0 1 880 200 0 0 0 0
        incorrect false 0 13 15   310 0 4 1.5  23 0 0 0 0 4 290 10000 0 1 560 38 0 17 18   430 0 0 0 0 0 0 0 0 0
score (98 tasks, max score: 151) 0 -256 12 -218 121 10 10 118 32 15 -388 111 -673 8 106 131 0 97 89 110 69 0
Run set 2ls.sv-comp16.Recursive blast.sv-comp16.Recursive cbmc.sv-comp16.Recursive ceagle-absref.sv-comp16.Recursive cpa-bam.sv-comp16.Recursive cpa-kind.sv-comp16.Recursive cpa-refsel.sv-comp16.Recursive cpa-seq.sv-comp16.Recursive esbmc.sv-comp16.Recursive esbmcdepthk.sv-comp16.Recursive forest.sv-comp16.Recursive hiprec.sv-comp16 impara.sv-comp16.Recursive lpi.sv-comp16.Recursive pacman.sv-comp16.Recursive seahorn.sv-comp16.Recursive skink.sv-comp16.Recursive smack.sv-comp16.Recursive symbiotic3.sv-comp16.Recursive uautomizer.sv-comp16.Recursive ukojak.sv-comp16.Recursive vvt.sv-comp16.Recursive