Tool 2LS 0.5.0 CBMC 5.6 Ceagle Ceagle 1.3 @ 53cfa89 CPAchecker 1.6.1-svn 24048 DepthK DepthK version 3.0 - Fri Jan 6 18:14:20 AMT 2017 ESBMC ESBMC version 3.1 64-bit x86_64 linux SMACK+Corral 1.7.2 symbiotic KLEE:7f3c74aa-dg:96e851cf-symbiotic:69a1d8e6-minisat:3db58943-stp:39fa956f-LLVMInstrumentation:f750b24a ULTIMATE Automizer f7c3ed31 ULTIMATE Kojak f7c3ed31 ULTIMATE Taipan f7c3ed31
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-59-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-01-11 11:02:28 CET [[ 2017-01-14 22:09:21 CET ]] [[ 2017-01-14 22:27:59 CET ]] [[ 2017-01-14 22:12:16 CET ]] [[ 2017-01-14 22:31:32 CET ]] 2017-01-11 13:54:34 CET [[ 2017-01-14 21:55:46 CET ]] [[ 2017-01-14 22:15:53 CET ]] [[ 2017-01-14 21:57:58 CET ]] [[ 2017-01-14 22:18:07 CET ]] 2017-01-11 10:43:25 CET [[ 2017-01-14 21:26:44 CET ]] [[ 2017-01-14 21:28:35 CET ]] [[ 2017-01-14 21:27:51 CET ]] [[ 2017-01-14 21:29:04 CET ]] 2017-01-11 11:20:09 CET [[ 2017-01-14 21:49:20 CET ]] [[ 2017-01-14 22:06:43 CET ]] [[ 2017-01-14 21:51:07 CET ]] [[ 2017-01-14 22:08:18 CET ]] 2017-01-13 07:44:08 CET [[ 2017-01-15 00:24:53 CET ]] [[ 2017-01-15 00:50:42 CET ]] [[ 2017-01-15 00:30:44 CET ]] [[ 2017-01-15 00:56:39 CET ]] 2017-01-13 09:01:17 CET [[ 2017-01-15 01:00:51 CET ]] [[ 2017-01-15 01:12:27 CET ]] [[ 2017-01-15 01:06:42 CET ]] [[ 2017-01-15 01:18:39 CET ]] 2017-01-13 08:09:41 CET [[ 2017-01-15 00:46:31 CET ]] [[ 2017-01-15 01:12:25 CET ]] [[ 2017-01-15 00:52:40 CET ]] [[ 2017-01-15 01:18:42 CET ]] 2017-01-13 08:59:26 CET [[ 2017-01-15 01:13:08 CET ]] [[ 2017-01-15 01:19:20 CET ]] [[ 2017-01-15 01:18:26 CET ]] [[ 2017-01-15 01:22:10 CET ]] 2017-01-13 09:24:14 CET [[ 2017-01-15 01:24:24 CET ]] [[ 2017-01-15 01:40:44 CET ]] [[ 2017-01-15 01:25:54 CET ]] [[ 2017-01-15 01:44:51 CET ]] 2017-01-13 09:57:49 CET [[ 2017-01-15 01:31:06 CET ]] [[ 2017-01-15 01:47:27 CET ]] [[ 2017-01-15 01:32:35 CET ]] [[ 2017-01-15 01:49:35 CET ]] 2017-01-14 07:19:02 CET [[ 2017-01-15 04:32:52 CET ]] [[ 2017-01-15 05:00:11 CET ]] [[ 2017-01-15 04:38:10 CET ]] [[ 2017-01-15 05:08:13 CET ]] [2017-01-14 13:43:12 CET; 2017-01-14 13:43:12 CET [[ 2017-01-15 05:08:16 CET ]] [[ 2017-01-15 05:40:54 CET ]] [[ 2017-01-15 05:24:54 CET ]] [[ 2017-01-15 05:42:22 CET ]]] 2017-01-14 07:34:03 CET [[ 2017-01-15 06:02:28 CET ]] [[ 2017-01-15 06:17:25 CET ]] [[ 2017-01-15 06:02:42 CET ]] [[ 2017-01-15 06:18:28 CET ]] 2017-01-14 07:32:15 CET [[ 2017-01-15 06:03:36 CET ]] [[ 2017-01-15 06:19:08 CET ]] [[ 2017-01-15 06:04:26 CET ]] [[ 2017-01-15 06:20:07 CET ]] 2017-01-14 16:52:13 CET [[ 2017-01-15 06:05:33 CET ]] [[ 2017-01-15 06:20:29 CET ]] [[ 2017-01-15 06:05:48 CET ]] [[ 2017-01-15 06:21:18 CET ]]
Run set 2ls.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] cbmc.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] ceagle.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] cpa-kind.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] cpa-seq.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] depthk.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] esbmc.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] esbmc-falsi.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] esbmc-incr.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] esbmc-kind.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] smack.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] symbiotic4.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] uautomizer.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] ukojak.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] utaipan.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other]
Options --graphml-witness witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/2ls.2017-01-11_1102.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/2ls.2017-01-11_1102.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/2ls.2017-01-11_1102.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/2ls.2017-01-11_1102.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] --graphml-witness witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cbmc.2017-01-11_1354.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cbmc.2017-01-11_1354.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cbmc.2017-01-11_1354.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cbmc.2017-01-11_1354.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] --compiler clang-3.7 [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ceagle.2017-01-11_1043.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ceagle.2017-01-11_1043.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ceagle.2017-01-11_1043.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ceagle.2017-01-11_1043.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] -sv-comp17-k-induction -heap 10000M -disable-java-assertions [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cpa-kind.2017-01-11_1120.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cpa-kind.2017-01-11_1120.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cpa-kind.2017-01-11_1120.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cpa-kind.2017-01-11_1120.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] -sv-comp17 -heap 10000M -disable-java-assertions [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cpa-seq.2017-01-13_0744.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cpa-seq.2017-01-13_0744.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cpa-seq.2017-01-13_0744.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cpa-seq.2017-01-13_0744.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/depthk.2017-01-13_0901.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/depthk.2017-01-13_0901.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/depthk.2017-01-13_0901.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/depthk.2017-01-13_0901.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] -s fixed [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc.2017-01-13_0809.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc.2017-01-13_0809.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc.2017-01-13_0809.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc.2017-01-13_0809.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] -s falsi [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc-falsi.2017-01-13_0859.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc-falsi.2017-01-13_0859.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc-falsi.2017-01-13_0859.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc-falsi.2017-01-13_0859.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] -s incr [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc-incr.2017-01-13_0924.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc-incr.2017-01-13_0924.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc-incr.2017-01-13_0924.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc-incr.2017-01-13_0924.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] -s kinduction [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc-kind.2017-01-13_0957.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc-kind.2017-01-13_0957.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc-kind.2017-01-13_0957.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc-kind.2017-01-13_0957.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] -w error-witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/smack.2017-01-14_0719.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/smack.2017-01-14_0719.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/smack.2017-01-14_0719.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/smack.2017-01-14_0719.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] [--witness witness.graphml; --witness witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symbiotic4.2017-01-14_1343.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symbiotic4.2017-01-14_1343.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symbiotic4.2017-01-14_1343.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symbiotic4.2017-01-14_1343.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]] [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/uautomizer.2017-01-14_0734.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/uautomizer.2017-01-14_0734.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/uautomizer.2017-01-14_0734.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/uautomizer.2017-01-14_0734.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ukojak.2017-01-14_0732.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ukojak.2017-01-14_0732.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ukojak.2017-01-14_0732.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ukojak.2017-01-14_0732.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/utaipan.2017-01-14_1652.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/utaipan.2017-01-14_1652.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/utaipan.2017-01-14_1652.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/utaipan.2017-01-14_1652.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]
../../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J)
signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i false(no-overflow) .14  24 .85 false(no-overflow) .11 18 1.1  false(no-overflow) .028  8.5  .22   false(no-overflow) 3.0 260 24 false(no-overflow) 3.2 270 27 false(no-overflow) 4.0  420 31   false(no-overflow) .65 110 7.6 false(no-overflow) .094 24 .91 false(no-overflow) .12  24 .81 false(no-overflow) .12  24 .81 false(no-overflow) 1.5  73 20   false(no-overflow) .16 9.3 1.5 false(no-overflow) 5.5 330 48 false(no-overflow) 5.5 330 42 false(no-overflow) 5.3 310 44
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i false(no-overflow) .097 24 .98 false(no-overflow) .14 18 .92 false(no-overflow) .12   8.6  1.2    false(no-overflow) 2.9 250 26 false(no-overflow) 3.0 250 23 false(no-overflow) 4.0  420 27   false(no-overflow) .65 110 7.5 false(no-overflow) .085 24 1.0  false(no-overflow) .12  24 .83 false(no-overflow) .12  24 .86 false(no-overflow) 1.5  77 19   false(no-overflow) .16 9.2 1.5 false(no-overflow) 6.9 340 55 false(no-overflow) 5.5 330 41 false(no-overflow) 6.1 340 47
signedintegeroverflow-regression/Division_false-no-overflow.c.i false(no-overflow) .12  24 .82 false(no-overflow) .13 18 .86 false(no-overflow) .11   8.1  1.2    false(no-overflow) 3.2 280 27 false(no-overflow) 2.9 270 28 false(no-overflow) 4.0  420 32   false(no-overflow) .63 110 6.6 false(no-overflow) .11  24 .85 false(no-overflow) .090 24 .90 false(no-overflow) .087 24 1.0  false(no-overflow) 1.6  80 20   false(no-overflow) .16 9.2 1.5 false(no-overflow) 6.4 330 55 false(no-overflow) 5.6 320 46 false(no-overflow) 5.5 330 39
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i false(no-overflow) .11  24 1.1  false(no-overflow) .11 18 1.1  false(no-overflow) .042  8.5  .20   false(no-overflow) 3.0 260 24 false(no-overflow) 2.9 270 25 false(no-overflow) 4.0  420 30   false(no-overflow) .63 110 5.7 false(no-overflow) .088 24 1.1  false(no-overflow) .087 24 1.1  false(no-overflow) .083 24 1.2  false(no-overflow) 1.5  74 18   false(no-overflow) .16 9.3 1.4 false(no-overflow) 6.0 330 44 false(no-overflow) 5.4 310 43 false(no-overflow) 5.3 320 45
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i false(no-overflow) .14  24 .89 false(no-overflow) .14 18 .94 false(no-overflow) .030  8.4  .18   false(no-overflow) 3.1 260 26 false(no-overflow) 3.0 260 29 false(no-overflow) 4.0  420 29   false(no-overflow) .63 110 6.0 false(no-overflow) .12  24 .99 false(no-overflow) .11  24 .78 false(no-overflow) .11  24 .80 false(no-overflow) 1.5  77 17   false(no-overflow) .14 9.4 1.5 false(no-overflow) 5.6 330 49 false(no-overflow) 5.2 310 48 false(no-overflow) 5.6 320 43
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i false(no-overflow) .13  24 .87 false(no-overflow) .11 18 .86 false(no-overflow) .10   8.4  1.3    false(no-overflow) 3.1 270 26 false(no-overflow) 2.9 260 25 false(no-overflow) 4.1  420 33   false(no-overflow) .61 110 8.0 false(no-overflow) .12  24 .76 false(no-overflow) .11  24 .93 false(no-overflow) .087 24 1.1  false(no-overflow) 1.5  80 20   false(no-overflow) .16 9.1 1.4 false(no-overflow) 6.2 350 46 false(no-overflow) 7.0 350 52 false(no-overflow) 6.3 330 43
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i false(no-overflow) .11  24 .91 false(no-overflow) .11 18 1.0  false(no-overflow) .11   8.4  1.2    false(no-overflow) 3.0 270 25 false(no-overflow) 3.0 270 24 false(no-overflow) 4.1  420 27   false(no-overflow) .64 110 5.8 false(no-overflow) .099 24 .84 false(no-overflow) .085 24 .92 false(no-overflow) .084 24 1.0  false(no-overflow) 1.5  75 19   false(no-overflow) .16 9.2 1.5 false(no-overflow) 5.9 330 42 false(no-overflow) 5.9 330 44 false(no-overflow) 5.9 330 42
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i false(no-overflow) .11  24 .93 false(no-overflow) .11 18 1.0  false(no-overflow) .11   8.2  1.2    false(no-overflow) 3.1 270 27 false(no-overflow) 3.0 260 28 false(no-overflow) 4.0  420 33   false(no-overflow) .65 110 5.4 false(no-overflow) .084 24 .94 false(no-overflow) .11  24 .88 false(no-overflow) .090 24 .88 false(no-overflow) 1.5  70 17   false(no-overflow) .15 9.3 1.8 false(no-overflow) 5.5 320 47 false(no-overflow) 5.4 330 47 false(no-overflow) 6.1 320 44
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i false(no-overflow) .11  24 .84 false(no-overflow) .14 18 .99 false(no-overflow) .11   8.5  1.0    false(no-overflow) 3.1 290 24 false(no-overflow) 2.9 260 25 false(no-overflow) 4.0  410 30   false(no-overflow) .63 110 5.8 false(no-overflow) .082 24 1.0  false(no-overflow) .086 24 .96 false(no-overflow) .085 24 .92 false(no-overflow) 1.5  71 18   false(no-overflow) .14 9.3 1.4 false(no-overflow) 5.5 320 39 false(no-overflow) 5.4 320 46 false(no-overflow) 5.5 310 41
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i false(no-overflow) .11  24 1.1  false(no-overflow) .14 18 .91 false(no-overflow) .11   8.3  1.2    false(no-overflow) 3.2 280 26 false(no-overflow) 3.0 260 26 false(no-overflow) 4.2  420 33   false(no-overflow) .69 110 6.9 false(no-overflow) .097 24 1.1  false(no-overflow) .11  24 .90 false(no-overflow) .083 24 1.2  false(no-overflow) 1.5  70 19   false(no-overflow) .14 9.1 1.5 false(no-overflow) 5.8 330 44 false(no-overflow) 5.4 320 39 false(no-overflow) 6.1 330 44
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow.c.i true .12  24 .78 true .17 18 2.1  true .042  8.3  .20   true 2.9 260 26 true 2.8 260 23 unknown 1.3  48 15   true .59 110 5.3 timeout 900     2500 11000    true .081 24 .93 true .11  24 .92 true 1.2  68 14   true .14 9.4 1.4 true 5.4 320 43 true 5.5 320 43 true 5.4 320 39
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow.c.i true .10  24 .92 true .21 18 1.5  true .032  8.2  .19   true 3.1 280 26 true 2.7 250 26 unknown 1.6  49 21   true .58 110 6.4 out of memory 71     15000 860    true .12  24 .71 true .12  24 .68 true 1.2  67 15   true .16 9.2 1.6 true 5.6 330 45 true 6.1 320 48 true 6.0 330 45
signedintegeroverflow-regression/Multiplication_true-no-overflow.c.i true .098 24 .90 true .16 18 1.9  true .029  8.3  .16   true 2.9 270 25 true 2.9 250 26 unknown 1.7  49 19   true .56 110 6.2 out of memory 62     15000 700    true .083 24 1.0  true .085 24 .95 true 1.2  68 13   true .16 9.2 1.5 true 5.3 310 44 true 6.2 330 44 true 5.5 320 38
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow.c.i true .13  24 .85 true .16 18 1.6  true .033  8.2  .17   true 3.3 280 26 true 2.9 260 24 false(no-overflow) 480    420 6800   true .58 110 5.4 out of memory 66     15000 690    true .083 24 .89 true .097 24 1.1  true 1.2  69 15   true .16 9.3 1.5 true 5.2 320 38 true 6.0 330 44 true 5.5 330 38
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow.c.i true .13  24 .81 true .21 18 1.6  true .048  8.6  .20   true 2.9 260 23 true 2.9 260 24 unknown 480    110 5200   true .57 110 5.3 out of memory 68     15000 860    true .085 24 .83 true .087 24 .91 true 1.2  69 14   true .15 9.2 1.6 true 5.5 310 40 true 5.2 320 45 true 5.6 330 41
termination-crafted/2Nested_false-no-overflow.c false(no-overflow) .13  22 .86 false(no-overflow) .14 17 1.0  unknown .0078 .92 .020  false(no-overflow) 2.4 250 20 false(no-overflow) 2.3 250 21 false(no-overflow) .54 75 7.1 out of memory 46    15000 520   false(no-overflow) .080 23 .87 false(no-overflow) .073 23 .91 false(no-overflow) .076 23 1.0  false(no-overflow) 1.7  85 19   false(no-overflow) .15 11   1.7 false(no-overflow) 5.3 320 47 false(no-overflow) 5.5 320 45 false(no-overflow) 6.3 350 47
termination-crafted/4NestedWith3Variables_false-no-overflow.c false(no-overflow) .16  24 1.0  false(no-overflow) .14 22 1.3  unknown .0096 .92 .019  false(no-overflow) 2.4 250 21 false(no-overflow) 2.3 250 19 false(no-overflow) .60 76 7.0 out of memory 86    15000 940   false(no-overflow) .086 23 .85 false(no-overflow) .11  23 .90 false(no-overflow) .079 23 1.0  false(no-overflow) 1.9  84 22   false(no-overflow) .15 11   1.6 false(no-overflow) 5.3 320 42 false(no-overflow) 5.6 330 44 false(no-overflow) 5.8 320 47
termination-crafted/Ackermann_false-no-overflow.c error (5) .10  22 .76 false(no-overflow) .14 19 1.0  aborted .11   8.1  1.1    error (recursion) 2.3 250 20 error (recursion) 2.4 240 24 false(no-overflow) .60 49 7.7 out of memory 140    15000 1900   false(no-overflow) .092 23 .75 false(no-overflow) .091 23 .82 false(no-overflow) .092 23 1.0  false(no-overflow) 1.6  80 20   false(no-overflow) .15 10   2.0 false(no-overflow) 5.5 310 42 false(no-overflow) 6.2 350 49 false(no-overflow) 5.4 320 44
termination-crafted/Bangalore_false-no-overflow.c false(no-overflow) .13  22 .83 false(no-overflow) .14 17 .89 unknown .0081 .99 .027  false(no-overflow) 2.4 250 19 false(no-overflow) 2.3 250 22 false(no-overflow) .54 75 5.5 out of memory 40    15000 500   false(no-overflow) .074 23 .84 false(no-overflow) .093 23 .89 false(no-overflow) .072 23 1.1  timeout 880    1300 10000   false(no-overflow) .18 11   1.9 false(no-overflow) 5.7 310 49 false(no-overflow) 5.3 320 43 false(no-overflow) 5.9 340 40
termination-crafted/Bangalore_v3_false-no-overflow.c false(no-overflow) .11  22 .88 false(no-overflow) .14 17 .99 unknown .0092 .74 .027  false(no-overflow) 2.3 250 19 false(no-overflow) 2.5 260 24 false(no-overflow) .54 75 6.3 out of memory 40    15000 420   false(no-overflow) .091 23 .72 false(no-overflow) .090 23 .85 false(no-overflow) .092 23 .94 false(no-overflow) 1.7  76 22   false(no-overflow) .18 11   1.8 false(no-overflow) 6.0 330 48 false(no-overflow) 5.3 320 43 false(no-overflow) 5.4 320 46
termination-crafted/Benghazi_nondet_false-no-overflow.c false(no-overflow) .11  22 .70 false(no-overflow) .11 17 1.2  unknown .0090 .89 .025  false(no-overflow) 2.4 250 21 false(no-overflow) 2.4 250 19 false(no-overflow) .56 75 7.5 out of memory 55    15000 710   false(no-overflow) .10  23 .82 false(no-overflow) .075 23 .79 false(no-overflow) .079 23 .82 false(no-overflow) 1.8  86 20   false(no-overflow) .15 10   1.6 false(no-overflow) 6.1 320 46 false(no-overflow) 5.6 320 47 false(no-overflow) 6.1 340 43
termination-crafted/Binary_Search_false-no-overflow.c error (5) .088 22 .73 false(no-overflow) .15 21 1.2  aborted .16   8.0  1.0    false(no-overflow) 2.4 250 21 false(no-overflow) 2.5 250 19 false(no-overflow) .39 49 4.9 out of memory 140    15000 1900   false(no-overflow) .094 23 .91 false(no-overflow) .092 23 .85 false(no-overflow) .093 23 .93 false(no-overflow) 1.6  78 19   false(no-overflow) .15 10   2.0 false(no-overflow) 5.5 320 38 false(no-overflow) 5.8 320 52 false(no-overflow) 5.7 330 43
termination-crafted/Cairo_nondet_false-no-overflow.c false(no-overflow) .11  23 .96 false(no-overflow) .12 17 1.1  unknown .0093 1.0  .016  false(no-overflow) 2.4 250 21 false(no-overflow) 2.9 270 24 false(no-overflow) .85 75 11   out of memory 36    15000 390   false(no-overflow) .079 23 .98 false(no-overflow) .092 23 .89 false(no-overflow) .080 23 .88 false(no-overflow) 1.7  75 24   false(no-overflow) .17 10   1.6 false(no-overflow) 6.0 330 50 false(no-overflow) 6.0 320 47 false(no-overflow) 5.6 320 42
termination-crafted/Collatz_unknown-termination_false-no-overflow.c false(no-overflow) .11  23 .99 false(no-overflow) .15 21 1.1  unknown .010  .88 .022  false(no-overflow) 2.4 250 19 false(no-overflow) 2.4 250 24 unknown 21    75 230   out of memory 74    15000 900   unknown .074 23 .80 unknown .085 23 .78 unknown .077 23 .72 false(no-overflow) 1.7  82 20   false(no-overflow) .15 10   1.7 false(no-overflow) 5.8 330 45 false(no-overflow) 5.4 330 47 false(no-overflow) 5.7 330 42
termination-crafted/Copenhagen_disj_false-no-overflow.c false(no-overflow) .12  22 .98 false(no-overflow) .11 17 .88 unknown .0083 .86 .026  false(no-overflow) 2.5 250 24 false(no-overflow) 2.4 250 22 false(no-overflow) .36 75 4.4 out of memory 37    15000 380   false(no-overflow) .087 23 .76 false(no-overflow) .10  23 .82 false(no-overflow) .083 23 .85 false(no-overflow) 1.7  83 22   false(no-overflow) .16 10   2.1 false(no-overflow) 6.2 340 44 false(no-overflow) 5.7 320 45 false(no-overflow) 6.1 320 49
termination-crafted/Gothenburg_false-no-overflow.c false(no-overflow) .12  23 .96 false(no-overflow) .13 20 1.0  unknown .0092 .78 .019  false(no-overflow) 2.5 250 22 false(no-overflow) 2.6 260 22 false(no-overflow) .60 76 7.9 out of memory 52    15000 560   false(no-overflow) .077 23 .80 false(no-overflow) .090 23 .78 false(no-overflow) .11  23 .75 false(no-overflow) 1.8  88 21   false(no-overflow) .17 11   1.7 false(no-overflow) 5.4 320 44 false(no-overflow) 5.7 320 45 false(no-overflow) 6.6 340 52
termination-crafted/Gothenburg_v2_false-no-overflow.c false(no-overflow) .10  23 1.1  false(no-overflow) .14 19 1.4  unknown .0083 .76 .019  false(no-overflow) 2.4 250 20 false(no-overflow) 2.6 260 24 false(no-overflow) .60 76 6.6 out of memory 52    15000 580   false(no-overflow) .11  23 .76 false(no-overflow) .10  23 .85 false(no-overflow) .083 23 .92 false(no-overflow) 1.8  78 20   false(no-overflow) .15 10   2.2 false(no-overflow) 5.5 320 41 false(no-overflow) 5.6 330 47 false(no-overflow) 6.2 330 44
termination-crafted/Hanoi_2vars_false-no-overflow.c false(no-overflow) .15  22 .82 false(no-overflow) .13 17 .94 unknown .0092 1.0  .016  false(no-overflow) 2.4 250 20 false(no-overflow) 2.3 240 20 false(no-overflow) .55 75 6.0 out of memory 43    15000 560   false(no-overflow) .074 23 .86 false(no-overflow) .080 23 .75 false(no-overflow) .11  23 .70 false(no-overflow) 1.7  82 23   false(no-overflow) .17 10   1.6 false(no-overflow) 5.7 320 42 false(no-overflow) 5.4 320 41 false(no-overflow) 5.6 330 43
termination-crafted/Hanoi_3vars_false-no-overflow.c false(no-overflow) .14  23 .79 false(no-overflow) .13 17 1.0  unknown .0093 .72 .018  false(no-overflow) 2.4 240 20 false(no-overflow) 2.6 240 20 false(no-overflow) .56 75 6.8 out of memory 53    15000 660   false(no-overflow) .077 23 .98 false(no-overflow) .10  23 .74 false(no-overflow) .075 23 .87 false(no-overflow) 1.8  80 19   false(no-overflow) .17 11   1.7 false(no-overflow) 5.7 320 47 false(no-overflow) 5.5 320 40 false(no-overflow) 5.3 320 47
termination-crafted/Hanoi_plus_false-no-overflow.c false(no-overflow) .13  23 .76 false(no-overflow) .11 17 .99 unknown .0063 .92 .033  false(no-overflow) 2.4 250 20 false(no-overflow) 2.5 250 20 false(no-overflow) .54 75 6.4 out of memory 66    15000 670   false(no-overflow) .079 23 .87 false(no-overflow) .10  23 .76 false(no-overflow) .089 23 1.0  false(no-overflow) 1.8  88 23   false(no-overflow) .17 11   1.6 false(no-overflow) 5.7 330 47 false(no-overflow) 5.4 320 41 false(no-overflow) 6.0 330 41
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c false(no-overflow) .13  22 .80 false(no-overflow) .12 17 .97 unknown .0081 .84 .025  false(no-overflow) 2.3 250 20 false(no-overflow) 2.5 260 24 false(no-overflow) .39 75 4.8 out of memory 52    15000 690   false(no-overflow) .11  23 .70 false(no-overflow) .074 23 .80 false(no-overflow) .080 23 .76 false(no-overflow) 1.7  73 22   false(no-overflow) .16 11   1.8 false(no-overflow) 5.6 330 43 false(no-overflow) 5.9 330 46 false(no-overflow) 5.9 330 46
termination-crafted/Mysore_false-no-overflow.c false(no-overflow) .14  22 .81 false(no-overflow) .14 17 .95 unknown .010  1.0  .026  false(no-overflow) 2.5 250 22 false(no-overflow) 2.6 260 23 false(no-overflow) .56 75 6.3 out of memory 49    15000 510   false(no-overflow) .078 23 .77 false(no-overflow) .074 23 .90 false(no-overflow) .080 23 .93 false(no-overflow) 1.7  81 21   false(no-overflow) .15 10   1.9 false(no-overflow) 5.5 320 41 false(no-overflow) 5.6 320 44 false(no-overflow) 6.2 330 47
termination-crafted/NestedRecursion_1a_false-no-overflow.c error (5) .094 22 .80 false(no-overflow) .14 19 1.2  aborted .12   8.0  1.0    false(no-overflow) 2.5 250 22 false(no-overflow) 2.4 260 23 false(no-overflow) .57 50 5.8 out of memory 99    15000 1100   false(no-overflow) .081 23 .79 false(no-overflow) .084 23 .96 false(no-overflow) .076 23 .82 false(no-overflow) 1.6  72 19   false(no-overflow) .15 10   1.7 false(no-overflow) 5.6 320 41 false(no-overflow) 6.2 340 48 false(no-overflow) 5.5 320 42
termination-crafted/NestedRecursion_2a_false-no-overflow.c error (5) .081 22 .78 false(no-overflow) .15 17 .93 aborted .11   7.9  1.1    error (recursion) 2.5 260 22 error (recursion) 2.4 250 20 false(no-overflow) .52 48 7.2 out of memory 150    15000 2000   false(no-overflow) .076 23 .89 false(no-overflow) .099 23 .82 false(no-overflow) .098 23 .78 false(no-overflow) 1.5  71 22   false(no-overflow) .15 10   1.6 false(no-overflow) 6.1 330 46 false(no-overflow) 6.9 340 52 false(no-overflow) 6.7 350 50
termination-crafted/NonTermination1_false-no-overflow.c false(no-overflow) .14  22 .77 false(no-overflow) .11 17 .98 unknown .0071 .88 .024  false(no-overflow) 2.4 240 20 false(no-overflow) 2.3 250 21 false(no-overflow) .54 75 6.0 out of memory 34    15000 360   false(no-overflow) .077 23 .80 false(no-overflow) .11  23 .72 false(no-overflow) .11  23 .69 false(no-overflow) 2.9  79 31   false(no-overflow) .17 10   1.8 false(no-overflow) 5.9 330 48 false(no-overflow) 5.2 320 42 false(no-overflow) 5.3 320 42
termination-crafted/NonTermination2_false-no-overflow.c false(no-overflow) .13  22 1.0  false(no-overflow) .13 17 .89 unknown .0073 .92 .019  false(no-overflow) 2.4 240 22 false(no-overflow) 2.4 250 21 false(no-overflow) .37 75 4.2 out of memory 42    15000 430   false(no-overflow) .077 23 .75 false(no-overflow) .080 23 .79 false(no-overflow) .078 23 .79 false(no-overflow) 1.6  76 20   false(no-overflow) .15 10   1.8 false(no-overflow) 5.9 310 41 false(no-overflow) 6.0 330 44 false(no-overflow) 5.6 330 39
termination-crafted/NonTermination4_false-no-overflow.c false(no-overflow) .77  36 10    false(no-overflow) .71 17 6.1  unknown .0095 1.1  .027  false(no-overflow) 3.8 270 34 false(no-overflow) 3.8 270 30 false(no-overflow) 12    75 160   false(no-overflow) 900    420 3400   false(no-overflow) .10  23 1.2  false(no-overflow) .12  26 1.6  false(no-overflow) .92  81 13    false(no-overflow) 110    400 830   false(no-overflow) .13 9.3 1.5 false(no-overflow) 23   710 180 false(no-overflow) 290   1800 4600 false(no-overflow) 430   2300 4600
termination-crafted/NonTerminationSimple2_false-no-overflow.c false(no-overflow) .12  22 .83 false(no-overflow) .14 17 .98 unknown .0073 .87 .022  false(no-overflow) 2.4 240 19 false(no-overflow) 2.4 250 21 false(no-overflow) .53 75 7.8 out of memory 36    15000 440   false(no-overflow) .075 23 .75 false(no-overflow) .11  23 .71 false(no-overflow) .10  23 .77 timeout 880    1900 9600   false(no-overflow) .17 9.4 1.8 false(no-overflow) 5.3 310 47 false(no-overflow) 5.4 320 39 false(no-overflow) 5.7 320 43
termination-crafted/NonTerminationSimple3_false-no-overflow.c false(no-overflow) .13  22 .85 false(no-overflow) .14 17 .96 unknown .0065 1.0  .020  false(no-overflow) 2.4 250 21 false(no-overflow) 2.4 250 19 false(no-overflow) .53 75 7.5 out of memory 41    15000 470   false(no-overflow) .11  23 .71 false(no-overflow) .073 23 .87 false(no-overflow) .087 23 .85 false(no-overflow) 1.7  73 23   false(no-overflow) .17 10   1.8 false(no-overflow) 5.5 310 42 false(no-overflow) 5.5 320 39 false(no-overflow) 5.9 330 42
termination-crafted/NonTerminationSimple4_false-no-overflow.c timeout 900     1200 10000    error (42) 850    8000 6800    unknown .0088 .95 .026  timeout 900   800 12000 timeout 900   760 12000 unknown 76    75 960   out of memory 36    15000 480   timeout 900     8800 11000    out of memory 630     15000 8300    out of memory 420     15000 5500    timeout 880    810 9700   timeout (timeout) 900    130   8900   timeout 900   2400 14000 timeout 900   1900 13000 timeout 900   1700 14000
termination-crafted/NonTerminationSimple5_false-no-overflow.c false(no-overflow) .12  22 .85 false(no-overflow) .11 17 1.1  unknown .0082 .81 .019  false(no-overflow) 2.4 250 23 false(no-overflow) 2.5 260 20 false(no-overflow) .53 75 6.8 false(no-overflow) 890    1100 9400   false(no-overflow) .10  23 .88 false(no-overflow) .10  23 .77 false(no-overflow) .073 23 .85 false(no-overflow) 1.7  81 20   false(no-overflow) .16 10   1.5 false(no-overflow) 5.8 320 45 false(no-overflow) 5.3 320 42 false(no-overflow) 6.2 330 50
termination-crafted/NonTerminationSimple6_false-no-overflow.c false(no-overflow) .11  22 .82 false(no-overflow) .15 17 .89 unknown .011  .66 .015  false(no-overflow) 2.3 250 20 false(no-overflow) 2.5 250 22 false(no-overflow) .55 75 6.6 out of memory 36    15000 380   false(no-overflow) .11  23 .59 false(no-overflow) .10  23 .77 false(no-overflow) .073 23 .94 timeout 880    1800 9800   false(no-overflow) .15 10   1.9 false(no-overflow) 5.4 310 45 false(no-overflow) 5.5 320 45 false(no-overflow) 5.5 330 45
termination-crafted/NonTerminationSimple8_false-no-overflow.c false(no-overflow) .15  23 .91 false(no-overflow) .13 20 1.2  unknown .0063 .89 .0    false(no-overflow) 2.5 250 26 false(no-overflow) 2.7 260 24 false(no-overflow) .57 76 6.7 out of memory 80    15000 830   false(no-overflow) .080 23 .86 false(no-overflow) .10  23 .81 false(no-overflow) .077 23 .82 false(no-overflow) 1.8  83 23   false(no-overflow) .15 9.3 1.8 false(no-overflow) 5.5 320 42 false(no-overflow) 5.6 320 47 false(no-overflow) 5.8 330 42
termination-crafted/NonTerminationSimple9_false-no-overflow.c false(no-overflow) .12  22 .86 false(no-overflow) .14 17 .78 unknown .0090 .89 .028  false(no-overflow) 2.3 250 18 false(no-overflow) 2.3 250 22 false(no-overflow) .50 75 6.5 out of memory 45    15000 510   false(no-overflow) .11  23 .68 false(no-overflow) .11  23 .67 false(no-overflow) .076 23 .81 false(no-overflow) 1.7  76 21   false(no-overflow) .18 11   1.6 false(no-overflow) 5.7 320 49 false(no-overflow) 5.5 320 38 false(no-overflow) 5.4 320 45
termination-crafted/Pure2Phase_false-no-overflow.c false(no-overflow) .13  22 .81 false(no-overflow) .14 17 1.0  unknown .010  .92 .028  false(no-overflow) 2.3 250 19 false(no-overflow) 2.5 260 24 false(no-overflow) .55 75 6.0 out of memory 53    15000 560   false(no-overflow) .080 23 .75 false(no-overflow) .087 23 .76 false(no-overflow) .079 23 .90 false(no-overflow) 1.8  83 22   false(no-overflow) .15 10   1.8 false(no-overflow) 5.7 320 42 false(no-overflow) 6.5 350 51 false(no-overflow) 5.7 320 48
termination-crafted/Pure3Phase_false-no-overflow.c false(no-overflow) .14  23 .95 false(no-overflow) .13 18 1.0  unknown .010  .77 .019  false(no-overflow) 2.4 250 21 false(no-overflow) 2.6 260 22 false(no-overflow) .56 75 7.8 out of memory 160    15000 1500   false(no-overflow) .096 23 .74 false(no-overflow) .081 23 .78 false(no-overflow) .11  23 .73 false(no-overflow) 1.8  80 22   false(no-overflow) .17 10   1.6 false(no-overflow) 5.3 310 41 false(no-overflow) 5.4 320 40 false(no-overflow) 5.3 320 44
termination-crafted/RecursiveMultiplication_false-no-overflow.c error (5) .096 22 .67 false(no-overflow) .14 18 .98 aborted .12   8.2  1.0    error (recursion) 2.3 240 22 error (recursion) 2.3 250 19 false(no-overflow) .57 49 6.9 out of memory 120    15000 1600   false(no-overflow) .11  23 .60 false(no-overflow) .075 23 .81 false(no-overflow) .11  23 .70 false(no-overflow) 1.6  84 19   false(no-overflow) .17 10   1.9 false(no-overflow) 5.6 330 48 false(no-overflow) 6.2 330 48 false(no-overflow) 5.8 330 43
termination-crafted/RecursiveNonterminating_false-no-overflow.c error (5) .081 22 .61 false(no-overflow) .15 18 .92 aborted .11   8.0  1.3    false(no-overflow) 2.3 250 20 false(no-overflow) 2.4 240 24 false(no-overflow) .57 49 6.9 false(no-overflow) .49 41 4.5 false(no-overflow) .098 23 .78 false(no-overflow) .11  23 .71 false(no-overflow) .093 23 .77 false(no-overflow) 1.5  75 19   false(no-overflow) .17 10   1.5 false(no-overflow) 5.3 320 41 false(no-overflow) 5.3 320 44 false(no-overflow) 5.5 320 43
termination-crafted/Rotation180_false-no-overflow.c false(no-overflow) .11  22 .93 false(no-overflow) .14 17 .87 unknown .0092 1.0  .020  false(no-overflow) 2.4 250 22 false(no-overflow) 2.4 240 19 false(no-overflow) .38 75 3.9 false(no-overflow) 570    3300 4000   false(no-overflow) .087 23 .75 false(no-overflow) .071 23 .94 false(no-overflow) .072 23 .96 false(no-overflow) 1.7  74 22   false(no-overflow) .15 10   1.7 false(no-overflow) 5.3 320 45 false(no-overflow) 5.5 320 44 false(no-overflow) 5.8 320 43
termination-crafted/Singapore_false-no-overflow.c false(no-overflow) .14  22 .82 false(no-overflow) .12 18 .91 unknown .0065 1.1  .027  false(no-overflow) 2.4 250 19 false(no-overflow) 2.5 250 23 false(no-overflow) .56 75 6.5 out of memory 40    15000 440   false(no-overflow) .078 23 .82 false(no-overflow) .092 23 .79 false(no-overflow) .091 23 .98 false(no-overflow) 1.7  81 22   false(no-overflow) .18 10   1.7 false(no-overflow) 5.5 320 43 false(no-overflow) 5.5 320 47 false(no-overflow) 5.4 310 45
termination-crafted/Singapore_plus_false-no-overflow.c false(no-overflow) .13  22 1.1  false(no-overflow) .11 18 1.1  unknown .0088 1.1  .025  false(no-overflow) 2.4 250 20 false(no-overflow) 2.4 250 20 false(no-overflow) .55 76 6.5 out of memory 41    15000 480   false(no-overflow) .088 23 .87 false(no-overflow) .077 23 .80 false(no-overflow) .075 23 .93 false(no-overflow) 13    110 140   false(no-overflow) .18 10   2.0 false(no-overflow) 6.6 340 55 false(no-overflow) 5.7 330 40 false(no-overflow) 5.6 320 42
termination-crafted/Singapore_v1_false-no-overflow.c false(no-overflow) .14  22 .86 false(no-overflow) .13 17 1.1  unknown .0096 .88 .021  false(no-overflow) 2.3 250 21 false(no-overflow) 2.5 260 25 false(no-overflow) .56 76 7.6 out of memory 41    15000 510   false(no-overflow) .079 23 .78 false(no-overflow) .089 23 .67 false(no-overflow) .074 23 .82 timeout 880    450 12000   false(no-overflow) .18 10   1.7 false(no-overflow) 5.4 320 41 false(no-overflow) 5.6 320 44 false(no-overflow) 6.2 340 52
termination-crafted/Singapore_v2_false-no-overflow.c false(no-overflow) .10  23 .99 false(no-overflow) .11 18 1.1  unknown .0091 .93 .018  false(no-overflow) 2.3 250 19 false(no-overflow) 2.6 260 23 false(no-overflow) .57 76 6.2 out of memory 42    15000 440   false(no-overflow) .11  23 .70 false(no-overflow) .10  23 .88 false(no-overflow) .074 23 .73 false(no-overflow) 14    110 170   false(no-overflow) .16 11   1.6 false(no-overflow) 5.6 330 42 false(no-overflow) 5.5 320 50 false(no-overflow) 6.8 340 48
termination-crafted/Stockholm_false-no-overflow.c false(no-overflow) .12  23 .94 false(no-overflow) .15 18 .94 unknown .0094 .87 .025  false(no-overflow) 2.3 250 21 false(no-overflow) 2.5 260 21 false(no-overflow) .54 75 7.3 out of memory 44    15000 560   false(no-overflow) .084 23 .87 false(no-overflow) .095 23 .94 false(no-overflow) .093 23 .79 false(no-overflow) 1.7  84 25   false(no-overflow) .15 10   1.8 false(no-overflow) 5.4 310 40 false(no-overflow) 5.7 320 44 false(no-overflow) 5.8 330 41
termination-crafted/Thun_false-no-overflow.c false(no-overflow) .14  22 1.0  false(no-overflow) .14 17 .84 unknown .0092 .87 .022  false(no-overflow) 2.4 250 23 false(no-overflow) 2.4 250 19 false(no-overflow) .52 75 6.9 out of memory 37    15000 410   false(no-overflow) .078 23 .80 false(no-overflow) .12  23 .61 false(no-overflow) .10  23 .79 false(no-overflow) 1.8  80 21   false(no-overflow) .18 10   1.5 false(no-overflow) 5.8 320 48 false(no-overflow) 5.5 320 42 false(no-overflow) 5.5 310 40
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c false(no-overflow) .13  23 .79 false(no-overflow) .15 17 1.1  unknown .0081 .98 .021  false(no-overflow) 2.5 250 20 false(no-overflow) 2.5 260 21 false(no-overflow) .56 75 6.2 out of memory 39    15000 390   false(no-overflow) .089 23 .90 false(no-overflow) .078 23 .81 false(no-overflow) .075 23 .97 false(no-overflow) 1.7  84 22   false(no-overflow) .15 11   2.6 false(no-overflow) 6.4 340 47 false(no-overflow) 6.4 350 49 false(no-overflow) 5.9 320 48
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c false(no-overflow) .14  25 .95 false(no-overflow) .15 20 1.1  unknown .0094 .80 .015  false(no-overflow) 2.7 250 24 false(no-overflow) 2.8 270 27 false(no-overflow) .63 77 7.5 out of memory 40    15000 420   false(no-overflow) .11  23 1.1  false(no-overflow) .10  23 1.1  false(no-overflow) .12  23 1.0  false(no-overflow) 1.9  88 28   false(no-overflow) .21 11   2.5 false(no-overflow) 14   500 120 false(no-overflow) 15   560 110 false(no-overflow) 14   530 110
termination-crafted/aaron2_false-no-overflow.c false(no-overflow) .15  23 .88 false(no-overflow) .13 18 1.0  unknown .0093 .98 .017  false(no-overflow) 2.5 260 21 false(no-overflow) 2.8 280 22 false(no-overflow) .40 76 4.9 false(no-overflow) 900    1300 8300   false(no-overflow) .11  23 .62 false(no-overflow) .11  23 .70 false(no-overflow) .080 23 .80 false(no-overflow) 1.8  81 22   false(no-overflow) .15 10   1.7 false(no-overflow) 5.8 330 45 false(no-overflow) 5.7 320 46 false(no-overflow) 5.8 320 40
termination-crafted/aaron3_false-no-overflow.c false(no-overflow) .11  23 .92 false(no-overflow) .12 18 .98 unknown .0092 .90 .022  false(no-overflow) 2.4 250 22 false(no-overflow) 2.8 270 24 false(no-overflow) .39 75 4.5 out of memory 71    15000 770   false(no-overflow) .11  23 .85 false(no-overflow) .077 23 .83 false(no-overflow) .092 23 .76 false(no-overflow) 1.8  82 21   false(no-overflow) .18 11   1.9 false(no-overflow) 6.1 330 46 false(no-overflow) 5.5 330 44 false(no-overflow) 6.1 340 51
termination-crafted/4BitCounterPointer_true-no-overflow.c true .21  24 1.4  true .91 18 11    unknown .010  .86 .020  timeout 910   8800 9500 timeout 910   8900 8900 unknown 1.2  76 15   true 2.5  320 24   timeout 900     3800 9500    true .094 23 1.0  true .11  23 .72 true 1.3  75 16   true .14 9.0 1.4 true 5.5 320 49 true 6.1 320 50 true 5.6 320 42
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow.c true 5.4   160 55    error (42) 850    3900 4500    unknown .011  1.0  .013  error 2.4 240 22 error 2.4 260 23 unknown 59    100 640   out of memory 33    15000 350   timeout 900     12000 8500    out of memory 310     15000 2400    unknown .10  23 .68 timeout 880    1100 7900   timeout (timeout) 900    270   12000   timeout 900   5100 11000 timeout 900   4800 13000 timeout 900   2800 13000
termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow.c true 2.7   75 32    error (42) 850    3800 4300    unknown .010  .85 .016  error 2.3 240 22 error 2.3 240 22 unknown 1.2  76 14   out of memory 34    15000 340   out of memory 310     15000 3800    out of memory 320     15000 3900    true .083 23 .95 true 880    660 9500   timeout (timeout) 900    70   12000   true 5.5 340 39 true 5.9 330 41 true 6.7 350 53
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow.c true 3.0   130 34    error (42) 850    4700 3800    unknown .010  .93 .019  error 2.3 250 23 error 2.5 250 22 unknown 1.4  100 16   out of memory 36    15000 470   timeout 900     4700 5300    timeout 900     10000 6600    true .089 23 1.1  timeout 880    1200 7700   timeout (timeout) 900    170   11000   true 6.7 330 51 true 8.0 420 59 true 9.4 420 76
termination-crafted/Bangalore_true-no-overflow.c true .10  22 .79 error (42) 850    5900 4300    unknown .0064 .62 .028  timeout 900   2500 11000 timeout 900   2400 9800 unknown 7.1  75 110   out of memory 35    15000 380   timeout 900     280 12000    timeout 900     390 11000    true .13  23 1.5  true 880    870 11000   timeout (timeout) 900    43   12000   true 6.5 330 58 true 8.2 400 59 true 6.7 350 55
termination-crafted/Bangalore_v2_true-no-overflow.c true .12  22 .81 error (42) 850    5900 4200    unknown .0094 .78 .022  false(no-overflow) 2.4 260 22 false(no-overflow) 2.5 250 23 unknown 7.0  75 100   out of memory 35    15000 440   timeout 900     290 11000    timeout 900     410 11000    true .13  23 1.4  true 880    510 10000   timeout (timeout) 900    45   14000   true 6.3 330 49 true 7.6 380 63 true 6.7 360 53
termination-crafted/Bangalore_v4_true-no-overflow.c true .13  23 1.4  true .20 17 1.6  unknown .0088 .85 .021  false(no-overflow) 2.4 250 20 false(no-overflow) 2.6 260 22 unknown 1.5  75 20   out of memory 35    15000 370   out of memory 360     15000 4200    true .13  23 1.2  true .12  23 1.3  true 1.4  77 16   true .17 10   1.6 true 6.2 330 49 true 6.3 330 48 true 6.4 350 49
termination-crafted/Benghazi_true-no-overflow.c timeout 900     260 8300    error (42) 850    3100 3800    unknown .0082 .91 .024  timeout 910   5600 12000 timeout 900   5700 12000 unknown 560    560 5400   out of memory 35    15000 430   timeout 900     10000 12000    out of memory 450     15000 5900    out of memory 350     15000 4200    true 880    920 9100   timeout (timeout) 900    230   11000   true 850   8500 10000 timeout 900   1200 13000 true 620   7200 6800
termination-crafted/Cairo_step2_true-no-overflow.c timeout 900     1300 10000    error (42) 850    5700 3200    unknown .0075 .94 .036  timeout 900   4200 11000 timeout 900   4200 12000 unknown 77    75 890   out of memory 36    15000 420   timeout 900     8600 12000    out of memory 710     15000 8900    out of memory 460     15000 6600    true 880    620 11000   timeout (timeout) 900    200   14000   timeout 900   2300 12000 timeout 900   2400 12000 timeout 900   1800 14000
termination-crafted/Cairo_true-no-overflow.c timeout 900     1500 12000    error (42) 850    5500 3500    unknown .0060 .76 .014  timeout 900   3200 12000 timeout 900   3200 11000 unknown 1.4  75 15   out of memory 36    15000 480   timeout 900     8600 11000    out of memory 720     15000 9500    out of memory 460     15000 6400    true 880    820 11000   timeout (timeout) 900    190   13000   true 6.3 320 50 true 6.4 330 50 true 6.9 350 58
termination-crafted/Copenhagen_true-no-overflow.c true .12  22 .76 error (42) 850    3700 4100    unknown .010  1.0  .021  timeout 910   8900 11000 timeout 910   8700 10000 unknown 1.2  75 14   out of memory 35    15000 410   timeout 900     5100 10000    timeout 900     12000 9900    true .085 23 .91 true 880    690 10000   timeout (timeout) 900    270   12000   true 6.9 330 58 true 6.8 340 57 true 7.1 360 56
termination-crafted/Division_true-no-overflow.c true .11  22 .85 error (42) 850    4600 4700    unknown .011  1.1  .025  timeout 900   2400 12000 timeout 900   2400 11000 unknown 1.5  75 16   out of memory 33    15000 400   out of memory 850     15000 10000    out of memory 470     15000 5500    true .090 23 1.0  true 880    2800 10000   timeout (timeout) 900    13   12000   true 5.8 320 43 true 6.3 330 45 true 6.1 330 49
termination-crafted/LexIndexValue-Array_true-no-overflow.c true 5.8   220 65    error (134) 47    14000 620    unknown .0091 .93 .020  error 2.5 250 22 error 2.5 260 20 unknown 38    100 500   out of memory 78    15000 860   timeout 900     8900 7100    timeout 900     12000 7700    true .11  23 .82 timeout 880    980 8500   timeout (timeout) 900    4200   6700   timeout 900   3900 13000 timeout 900   4600 14000 timeout 900   2600 13000
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c timeout 900     11000 5400    error (1) 54    14000 650    unknown .0088 .81 .024  false(no-overflow) 2.6 250 21 false(no-overflow) 2.5 250 22 unknown 130    160 1700   out of memory 62    15000 650   timeout 900     10000 7200    out of memory 280     15000 3800    timeout 900     11000 13000    timeout 880    1300 11000   timeout (timeout) 900    3800   9400   timeout 900   5300 11000 timeout 900   5200 13000 timeout 900   3300 14000
termination-crafted/Madrid_true-no-overflow.c true .12  22 .80 out of memory 190    15000 2300    unknown .0093 .95 .018  timeout 900   2000 11000 timeout 900   1900 12000 unknown 1.1  75 15   true 1.4  420 18   timeout 900     12000 10000    out of memory 220     15000 3300    true .088 23 .87 true 1.3  76 16   true .12 9.3 1.3 true 6.2 320 48 true 5.9 340 45 true 5.6 330 45
termination-crafted/McCarthy91_Iteration_true-no-overflow.c timeout 900     1500 12000    error (42) 850    1200 7500    unknown .0071 .63 .025  timeout 900   4700 11000 timeout 900   4800 12000 unknown 890    120 11000   true 900    1400 9000   timeout 900     650 8600    timeout 900     1300 11000    timeout 900     1900 10000    true 880    350 9500   timeout (timeout) 900    130   10000   timeout 900   3600 13000 timeout 900   3400 13000 timeout 900   2800 12000
termination-crafted/McCarthy91_Recursion_true-no-overflow.c error (5) .11  22 .70 error (42) 850    2000 3300    aborted .11   7.8  1.0    error (recursion) 2.4 260 23 error (recursion) 2.5 250 23 out of memory (false(no-overflow)) 500    15000 6600   out of memory 120    15000 1600   timeout 900     7200 8800    timeout 900     6000 7700    timeout 900     6900 8100    true 880    210 8800   timeout (timeout) 900    120   12000   true 7.9 370 61 true 7.1 350 54 true 7.5 360 59
termination-crafted/MenloPark_true-no-overflow.c timeout 900     860 7900    error (42) 850    3400 3700    unknown .0068 .86 .017  timeout 910   8800 10000 timeout 910   8900 12000 unknown 1.4  75 18   out of memory 34    15000 430   timeout 900     9400 11000    out of memory 520     15000 6900    out of memory 310     15000 3600    true 880    890 9400   timeout (timeout) 900    210   10000   true 12   490 99 true 14   490 140 true 11   490 80
termination-crafted/MutualRecursion_1a_true-no-overflow.c error (5) .12  22 .73 error (42) 850    280 2500    aborted .12   8.0  1.2    error (recursion) 2.5 250 22 error (recursion) 2.5 250 23 unknown 430    15000 5600   out of memory 110    15000 1600   timeout 900     14000 7700    timeout 900     1200 12000    timeout 900     1300 12000    true 880    250 8700   timeout (timeout) 900    110   11000   true 11   490 90 timeout 900   1200 13000 true 14   500 99
termination-crafted/MutualRecursion_1b_true-no-overflow.c error (5) .097 22 .75 error (42) 850    280 2900    aborted .12   8.2  1.2    error (recursion) 2.4 250 21 error (recursion) 2.5 260 23 unknown 430    15000 5500   out of memory 120    15000 1400   timeout 900     4800 9600    timeout 900     1200 9300    timeout 900     1300 11000    timeout 880    220 9000   timeout (timeout) 900    180   9900   true 13   670 110 timeout 900   1300 13000 true 32   930 270
termination-crafted/NestedRecursion_1b_true-no-overflow.c error (5) .12  22 .74 error (42) 850    690 3300    aborted .12   8.0  1.5    error (recursion) 2.4 260 20 error (recursion) 2.4 250 22 out of memory (false(no-overflow)) 430    15000 4800   out of memory 96    15000 1200   timeout 900     9700 8700    timeout 900     4200 9600    timeout 900     1900 8300    true 880    510 7400   timeout (timeout) 900    480   12000   true 12   500 92 timeout 900   1400 11000 true 22   700 210
termination-crafted/NestedRecursion_1c_true-no-overflow.c error (5) .13  22 .66 error (42) 850    470 3000    aborted .11   8.1  1.2    error (recursion) 2.4 250 22 error (recursion) 2.3 240 19 out of memory (false(no-overflow)) 380    15000 4700   out of memory 93    15000 1200   out of memory 770     15000 9100    timeout 900     4200 9300    timeout 900     4700 9500    true 880    520 8000   timeout (timeout) 900    380   12000   true 9.9 470 74 timeout 900   1700 12000 true 12   500 110
termination-crafted/NestedRecursion_1d_true-no-overflow.c error (5) .12  22 .70 error (42) 850    690 2800    aborted .13   8.4  1.4    error (recursion) 2.4 250 21 error (recursion) 2.4 250 23 out of memory (false(no-overflow)) 430    15000 4900   out of memory 96    15000 1300   timeout 900     3700 12000    timeout 900     4200 10000    timeout 900     4400 9600    true 880    340 7300   timeout (timeout) 900    490   11000   true 13   700 110 timeout 900   1400 11000 true 23   810 190
termination-crafted/NestedRecursion_2b_true-no-overflow.c error (5) .082 22 .78 error (42) 850    2800 4800    segmentation fault .031  8.1  .15   error (recursion) 2.4 250 20 error (recursion) 2.3 250 19 out of memory (false(no-overflow)) 490    15000 6700   out of memory 120    15000 1400   out of memory 760     15000 6700    timeout 900     2200 9700    timeout 900     2600 11000    true 880    280 8000   timeout (timeout) 900    1900   12000   timeout 900   3500 14000 timeout 900   1700 11000 timeout 900   3500 12000
termination-crafted/NestedRecursion_2c_true-no-overflow.c error (5) .12  22 .61 error (42) 850    7300 7000    segmentation fault .029  8.1  .19   error (recursion) 2.3 250 19 error (recursion) 2.3 250 19 out of memory (false(no-overflow)) 490    15000 5900   out of memory 120    15000 1800   out of memory 700     15000 6300    timeout 900     4800 7700    timeout 900     3700 11000    true 880    530 6300   timeout (timeout) 900    460   12000   timeout 900   1700 11000 timeout 900   3000 12000 timeout 900   1900 12000
termination-crafted/NonTermination3_true-no-overflow.c true .13  23 .73 error (42) 850    2700 5000    unknown .0084 .97 .028  error 2.4 250 22 error 2.4 240 21 unknown 1.2  75 13   out of memory 51    15000 540   timeout 900     1700 8200    out of memory 210     15000 2300    true .080 23 .88 true 1.3  75 18   true .15 9.4 1.5 true 5.6 320 44 true 5.4 310 48 true 5.7 330 45
termination-crafted/NonTerminationSimple7_true-no-overflow.c true .10  22 .74 error (42) 850    6300 3700    unknown .0091 .92 .024  timeout 900   700 11000 timeout 900   780 13000 unknown 1.4  75 15   out of memory 41    15000 450   out of memory 250     15000 2600    out of memory 180     15000 2100    true .082 23 .90 timeout 880    4400 9700   timeout (timeout) 900    67   13000   true 5.7 320 44 true 7.2 350 54 true 6.1 330 47
termination-crafted/Nyala-2lex_true-no-overflow.c true .13  22 .76 error (42) 850    2200 6200    unknown .0072 1.0  .024  timeout 910   11000 9800 timeout 910   11000 8800 unknown 1.3  75 18   out of memory 51    15000 520   timeout 900     8600 8900    timeout 900     14000 13000    true .087 23 .94 true 880    360 11000   timeout (timeout) 900    4300   9500   true 6.7 330 52 true 6.7 340 55 true 6.8 350 52
termination-crafted/Parallel_true-no-overflow.c true .12  22 .83 error (42) 850    2000 7500    unknown .010  .71 .026  timeout 900   3900 14000 timeout 900   4000 12000 unknown 1.4  75 15   out of memory 51    15000 680   timeout 900     5100 8300    timeout 900     9700 9800    true .13  23 .95 true 880    630 9400   timeout (timeout) 900    270   12000   true 5.9 320 47 true 6.8 330 59 true 5.8 320 45
termination-crafted/Piecewise_true-no-overflow.c true .14  23 .79 error (42) 850    820 7200    unknown .0095 .70 .024  timeout 900   1500 9300 timeout 900   1500 11000 unknown 1.2  75 14   out of memory 190    15000 2500   out of memory 350     15000 4300    timeout 900     3000 9900    true .12  23 .71 true 880    380 10000   timeout (timeout) 900    330   10000   true 5.8 330 50 true 6.5 320 53 true 7.2 350 53
termination-crafted/SyntaxSupportPointer01_true-no-overflow.c true .20  23 1.4  error (42) 850    4800 4000    unknown .0078 .94 .031  timeout 910   11000 11000 timeout 910   11000 9900 unknown 72    75 1000   out of memory 34    15000 360   timeout 900     9600 11000    out of memory 600     15000 7000    out of memory 470     15000 6100    true 880    1000 11000   timeout (timeout) 900    270   11000   true 6.1 330 50 true 6.7 320 48 true 6.8 340 51
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow.c true .13  22 .91 error (42) 850    1200 6200    unknown .0075 .78 .020  timeout 900   1600 11000 timeout 900   1700 9400 unknown 1.3  76 13   out of memory 64    15000 790   out of memory 190     15000 2600    timeout 900     2400 10000    true .087 23 .94 true 880    420 11000   timeout (timeout) 900    390   9400   true 6.4 320 48 true 8.0 360 62 true 6.4 330 46
termination-crafted/Waldkirch_true-no-overflow.c true .11  22 .80 error (42) 850    7000 4500    unknown .0097 .63 .022  timeout 910   9400 11000 timeout 910   9500 10000 unknown 1.3  75 15   out of memory 34    15000 380   timeout 900     9600 9300    out of memory 600     15000 7800    true .099 23 1.1  true 880    850 9700   timeout (timeout) 900    260   11000   true 6.0 320 45 true 5.8 320 49 true 5.8 320 44
termination-crafted/WhileFalse_true-no-overflow.c true .11  22 .73 true .17 17 1.7  unknown .0091 .88 .021  true 2.3 240 20 true 2.3 240 19 unknown 1.2  49 12   true .36 32 4.4 timeout 900     13000 11000    true .099 23 .78 true .098 23 .89 true 1.2  68 13   true .12 9.2 1.5 true 5.8 340 45 true 5.2 310 44 true 5.7 320 44
termination-crafted/WhileTrue_true-no-overflow.c true .10  22 .78 true .20 17 1.5  unknown .0085 .92 .031  timeout 900   930 13000 timeout 900   850 12000 unknown 1.1  75 13   true .38 32 4.5 out of memory 520     15000 5500    out of memory 490     15000 5700    true .072 23 1.0  true 1.3  76 15   true .12 9.1 1.3 true 5.9 330 45 true 5.4 320 42 true 5.5 310 42
termination-crafted/easy1_true-no-overflow.c true .10  22 .87 true 2.6  57 29    unknown .010  .93 .017  true 8.2 330 62 true 7.9 330 60 unknown 1.4  75 17   out of memory 50    15000 530   out of memory 180     15000 2100    true 3.1   300 43    true .082 23 .90 true 22    150 330   true .14 9.5 1.6 true 5.9 320 49 true 6.4 330 52 true 6.3 340 48
termination-crafted/easy2_true-no-overflow.c timeout 900     1700 10000    error (42) 850    3100 3400    unknown .0051 1.0  .010  timeout 910   9000 11000 timeout 910   9000 10000 unknown 160    390 1900   out of memory 34    15000 370   out of memory 190     15000 2400    out of memory 120     15000 1700    out of memory 130     15000 1700    true 880    800 11000   timeout (timeout) 900    240   11000   timeout 900   5300 13000 timeout 900   2200 13000 timeout 900   3300 13000
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c false(no-overflow) .13  23 1.1  false(no-overflow) .16 18 1.3  unknown .010  .88 .018  false(no-overflow) 2.3 250 22 false(no-overflow) 2.3 250 19 false(no-overflow) .57 100 6.1 timeout 900    4600 11000   false(no-overflow) .11  23 .75 false(no-overflow) .077 23 1.1  false(no-overflow) .097 23 .75 false(no-overflow) 1.8  80 21   false(no-overflow) .16 11   2.2 false(no-overflow) 5.8 340 41 false(no-overflow) 6.0 320 48 false(no-overflow) 6.0 330 49
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c false(no-overflow) .12  23 1.1  false(no-overflow) .15 23 1.5  unknown .010  .84 .021  false(no-overflow) 2.5 250 20 false(no-overflow) 2.4 250 23 false(no-overflow) .61 130 7.2 out of memory 26    15000 230   false(no-overflow) .078 23 1.1  false(no-overflow) .080 23 .94 false(no-overflow) .081 23 .93 false(no-overflow) 2.0  88 23   false(no-overflow) .16 11   2.0 false(no-overflow) 7.0 350 56 false(no-overflow) 6.7 340 51 false(no-overflow) 6.5 330 53
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c false(no-overflow) .12  23 .91 false(no-overflow) .12 18 .94 unknown .0090 .79 .017  false(no-overflow) 2.5 250 24 false(no-overflow) 2.4 250 22 false(no-overflow) .40 75 4.1 false(no-overflow) 890    1400 9300   false(no-overflow) .080 23 .87 false(no-overflow) .089 23 .79 false(no-overflow) .079 23 1.0  false(no-overflow) 1.8  79 22   false(no-overflow) .19 11   1.8 false(no-overflow) 6.4 340 48 false(no-overflow) 5.9 330 44 false(no-overflow) 6.5 340 52
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c false(no-overflow) .13  25 .95 false(no-overflow) .15 17 .90 unknown .0095 .91 .023  false(no-overflow) 2.4 250 21 false(no-overflow) 2.5 250 21 false(no-overflow) .38 76 4.1 out of memory 80    15000 930   false(no-overflow) .077 23 .83 false(no-overflow) .075 23 .91 false(no-overflow) .080 23 .74 false(no-overflow) 1.8  80 22   false(no-overflow) .16 11   1.8 false(no-overflow) 6.5 350 50 false(no-overflow) 5.2 320 42 false(no-overflow) 5.2 320 41
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c false(no-overflow) .096 23 1.0  false(no-overflow) .12 19 1.0  unknown .0074 .91 .018  false(no-overflow) 2.5 250 22 false(no-overflow) 2.4 250 23 false(no-overflow) .62 100 6.3 timeout 900    10000 7600   false(no-overflow) .093 23 .95 false(no-overflow) .11  23 .69 false(no-overflow) .10  23 .84 false(no-overflow) 1.9  81 25   false(no-overflow) .17 11   1.9 false(no-overflow) 6.6 330 46 false(no-overflow) 7.3 340 52 false(no-overflow) 6.7 350 50
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c false(no-overflow) .13  23 .87 false(no-overflow) .13 18 .99 unknown .0068 .88 .019  false(no-overflow) 2.4 250 21 false(no-overflow) 2.6 250 24 false(no-overflow) .41 76 4.0 false(no-overflow) 890    2400 10000   false(no-overflow) .075 23 .84 false(no-overflow) .10  23 .85 false(no-overflow) .11  23 .75 false(no-overflow) 1.8  84 23   false(no-overflow) .15 10   1.8 false(no-overflow) 6.3 350 43 false(no-overflow) 5.8 320 45 false(no-overflow) 6.3 330 47
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c false(no-overflow) .13  23 .78 false(no-overflow) .15 18 1.2  unknown .0077 .79 .025  false(no-overflow) 2.5 250 20 false(no-overflow) 2.5 250 23 false(no-overflow) .56 130 6.6 timeout 900    11000 8300   false(no-overflow) .10  23 .83 false(no-overflow) .077 23 .72 false(no-overflow) .075 23 .82 false(no-overflow) 1.8  76 22   false(no-overflow) .19 11   2.6 false(no-overflow) 6.9 330 46 false(no-overflow) 7.0 340 49 false(no-overflow) 6.2 320 48
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c false(no-overflow) .14  23 .89 false(no-overflow) .13 17 1.0  unknown .0096 .88 .023  false(no-overflow) 2.6 240 24 false(no-overflow) 2.4 250 22 false(no-overflow) .39 75 4.0 out of memory 67    15000 740   false(no-overflow) .097 23 .88 false(no-overflow) .081 23 .82 false(no-overflow) .077 23 .91 false(no-overflow) 1.8  86 19   false(no-overflow) .18 10   1.6 false(no-overflow) 6.0 320 45 false(no-overflow) 6.3 320 47 false(no-overflow) 5.9 330 47
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_false-no-overflow.c false(no-overflow) 17     430 150    false(no-overflow) 2.5  75 30    unknown .0088 1.0  .031  false(no-overflow) 20   520 140 false(no-overflow) 18   510 130 false(no-overflow) 310    380 3400   timeout 900    2600 9000   false(no-overflow) 12     230 170    false(no-overflow) 22     500 280    false(no-overflow) 280     1600 2900    error (1) 88    120 1000   false(no-overflow) 8.5  18   88   false(no-overflow) 30   920 280 false(no-overflow) 78   1000 960 false(no-overflow) 44   1100 420
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c false(no-overflow) .11  22 .89 false(no-overflow) .15 17 1.0  unknown .0093 1.0  .025  false(no-overflow) 2.3 240 22 false(no-overflow) 2.2 240 19 false(no-overflow) .51 75 7.6 out of memory 35    15000 370   false(no-overflow) .079 23 .76 false(no-overflow) .11  23 .71 false(no-overflow) .075 23 .81 false(no-overflow) 1.7  73 21   false(no-overflow) .15 10   1.6 false(no-overflow) 6.2 340 47 false(no-overflow) 6.5 340 56 false(no-overflow) 5.9 330 50
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c false(no-overflow) .15  23 .91 false(no-overflow) .13 17 .89 unknown .0033 .76 .017  false(no-overflow) 2.5 250 22 false(no-overflow) 2.3 250 19 false(no-overflow) .56 75 8.0 out of memory 200    15000 2600   false(no-overflow) .075 23 1.1  false(no-overflow) .098 23 .81 false(no-overflow) .076 23 .81 false(no-overflow) 1.7  81 19   false(no-overflow) .18 10   1.8 false(no-overflow) 5.5 320 44 false(no-overflow) 5.4 320 45 false(no-overflow) 5.9 320 48
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c false(no-overflow) .15  22 .81 false(no-overflow) .12 17 1.1  unknown .010  1.0  .033  false(no-overflow) 2.4 250 23 false(no-overflow) 2.6 260 24 false(no-overflow) .56 75 6.0 out of memory 57    15000 690   false(no-overflow) .089 23 .79 false(no-overflow) .075 23 .97 false(no-overflow) .077 23 .84 false(no-overflow) 1.8  85 22   false(no-overflow) .15 10   1.5 false(no-overflow) 6.0 330 53 false(no-overflow) 5.7 320 46 false(no-overflow) 5.7 320 41
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c false(no-overflow) .12  22 .92 false(no-overflow) .13 17 1.0  unknown .0073 1.1  .016  false(no-overflow) 2.5 250 23 false(no-overflow) 2.4 250 21 false(no-overflow) .36 75 4.6 out of memory 67    15000 930   false(no-overflow) .076 23 .91 false(no-overflow) .077 23 .91 false(no-overflow) .092 23 .77 false(no-overflow) 1.7  84 25   false(no-overflow) .16 10   1.9 false(no-overflow) 6.1 320 53 false(no-overflow) 6.2 320 46 false(no-overflow) 5.9 330 46
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c false(no-overflow) .13  23 1.1  false(no-overflow) .11 18 .96 unknown .0071 .99 .022  false(no-overflow) 2.5 250 22 false(no-overflow) 2.6 260 21 false(no-overflow) .39 75 4.0 out of memory 140    15000 1400   false(no-overflow) .076 23 .76 false(no-overflow) .074 23 .97 false(no-overflow) .077 23 .85 false(no-overflow) 1.8  86 23   false(no-overflow) .16 10   1.8 false(no-overflow) 6.3 330 49 false(no-overflow) 7.3 370 57 false(no-overflow) 6.5 340 47
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c false(no-overflow) .16  23 .91 false(no-overflow) .16 18 1.0  unknown .0091 .81 .021  false(no-overflow) 2.4 250 22 false(no-overflow) 2.4 240 24 false(no-overflow) .61 76 6.8 out of memory 330    15000 3500   false(no-overflow) .094 23 .79 false(no-overflow) .078 23 .95 false(no-overflow) .092 23 .89 false(no-overflow) 1.8  89 26   false(no-overflow) .15 11   1.6 false(no-overflow) 5.9 320 45 false(no-overflow) 5.9 320 46 false(no-overflow) 6.0 330 47
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c false(no-overflow) .15  27 1.2  false(no-overflow) .20 28 1.6  unknown .0095 1.0  .021  false(no-overflow) 2.7 280 24 false(no-overflow) 2.7 270 21 false(no-overflow) 480    130 6400   false(no-overflow) 890    4200 11000   false(no-overflow) .11  23 .83 false(no-overflow) .087 23 .91 false(no-overflow) .087 23 .81 false(no-overflow) 2.4  94 27   false(no-overflow) .15 10   1.8 false(no-overflow) 5.3 320 47 false(no-overflow) 5.5 320 46 false(no-overflow) 6.2 360 47
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c false(no-overflow) .12  22 .84 false(no-overflow) .16 18 .97 unknown .010  .86 .015  false(no-overflow) 3.1 280 27 false(no-overflow) 3.0 270 28 false(no-overflow) .41 76 4.8 out of memory 320    15000 3500   false(no-overflow) .088 23 .86 false(no-overflow) .11  23 .68 false(no-overflow) .11  23 .79 false(no-overflow) 1.8  91 21   false(no-overflow) .20 11   1.9 false(no-overflow) 5.6 320 48 false(no-overflow) 5.8 320 43 false(no-overflow) 6.0 340 49
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c false(no-overflow) .12  23 .83 false(no-overflow) .15 18 .96 unknown .012  .91 .032  false(no-overflow) 2.5 260 20 false(no-overflow) 2.4 250 25 false(no-overflow) .39 75 4.7 false(no-overflow) 890    1400 8000   false(no-overflow) .12  23 .75 false(no-overflow) .079 23 .98 false(no-overflow) .082 23 .80 false(no-overflow) 1.8  87 24   false(no-overflow) .17 10   2.3 false(no-overflow) 6.6 350 48 false(no-overflow) 5.9 330 43 false(no-overflow) 6.7 360 55
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c false(no-overflow) .12  23 .94 false(no-overflow) .15 18 .99 unknown .0094 .98 .0075 false(no-overflow) 2.5 250 21 false(no-overflow) 2.4 250 21 false(no-overflow) .39 75 4.3 out of memory 80    15000 930   false(no-overflow) .11  23 .77 false(no-overflow) .075 23 .88 false(no-overflow) .091 23 .81 false(no-overflow) 1.8  83 24   false(no-overflow) .17 11   1.7 false(no-overflow) 6.2 330 54 false(no-overflow) 5.8 330 40 false(no-overflow) 5.6 320 49
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c false(no-overflow) .12  23 1.1  false(no-overflow) .16 21 1.1  unknown .010  .88 .020  false(no-overflow) 2.9 270 23 false(no-overflow) 2.8 280 28 false(no-overflow) .40 76 4.6 out of memory 530    15000 6500   false(no-overflow) .11  23 .74 false(no-overflow) .12  23 .85 false(no-overflow) .089 23 .91 false(no-overflow) 1.9  88 24   false(no-overflow) .19 11   1.8 false(no-overflow) 5.6 320 43 false(no-overflow) 5.6 320 43 false(no-overflow) 5.4 320 40
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c false(no-overflow) .12  23 1.0  false(no-overflow) .14 20 1.0  unknown .0068 .82 .0078 false(no-overflow) 2.4 250 21 false(no-overflow) 2.3 250 21 false(no-overflow) .41 76 5.2 out of memory 68    15000 860   false(no-overflow) .11  23 .70 false(no-overflow) .079 23 .94 false(no-overflow) .095 23 .77 false(no-overflow) 1.8  84 23   false(no-overflow) .19 10   1.7 false(no-overflow) 5.5 330 48 false(no-overflow) 5.6 320 44 false(no-overflow) 6.1 330 41
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c false(no-overflow) .11  22 .87 false(no-overflow) .12 17 1.0  unknown .0094 1.1  .022  false(no-overflow) 2.4 250 21 false(no-overflow) 2.5 260 22 false(no-overflow) .53 75 7.0 out of memory 33    15000 330   false(no-overflow) .11  23 .61 false(no-overflow) .092 23 .93 false(no-overflow) .084 23 .78 false(no-overflow) 1.7  79 20   false(no-overflow) .17 10   1.6 false(no-overflow) 5.7 330 45 false(no-overflow) 6.6 340 50 false(no-overflow) 5.8 320 47
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c false(no-overflow) .12  22 .89 false(no-overflow) .12 18 1.1  unknown .0098 .84 .016  false(no-overflow) 2.4 240 21 false(no-overflow) 2.3 250 20 false(no-overflow) .39 76 4.3 out of memory 50    15000 580   false(no-overflow) .099 23 .79 false(no-overflow) .081 23 .76 false(no-overflow) .074 23 .76 false(no-overflow) 1.7  79 25   false(no-overflow) .16 10   1.7 false(no-overflow) 5.4 320 45 false(no-overflow) 6.4 350 48 false(no-overflow) 5.8 320 51
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c false(no-overflow) .12  22 .86 false(no-overflow) .13 17 .98 unknown .0099 1.0  .040  false(no-overflow) 2.5 250 21 false(no-overflow) 2.7 260 22 false(no-overflow) .39 75 4.4 out of memory 44    15000 470   false(no-overflow) .075 23 .73 false(no-overflow) .10  23 .80 false(no-overflow) .083 23 .89 false(no-overflow) 1.7  83 23   false(no-overflow) .15 11   1.9 false(no-overflow) 5.7 320 46 false(no-overflow) 5.5 320 43 false(no-overflow) 5.9 340 44
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c false(no-overflow) .14  22 .86 false(no-overflow) .15 17 .92 unknown .0094 1.0  .021  false(no-overflow) 2.4 250 24 false(no-overflow) 2.4 250 23 false(no-overflow) .39 75 4.4 out of memory 42    15000 520   false(no-overflow) .10  23 .85 false(no-overflow) .087 23 .70 false(no-overflow) .075 23 .79 false(no-overflow) 1.7  73 19   false(no-overflow) .16 10   1.9 false(no-overflow) 6.3 340 50 false(no-overflow) 5.4 320 45 false(no-overflow) 6.1 330 50
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c false(no-overflow) .12  22 .89 false(no-overflow) .14 18 .96 unknown .010  .94 .021  false(no-overflow) 2.3 250 20 false(no-overflow) 2.4 250 21 false(no-overflow) .37 75 3.7 out of memory 43    15000 500   false(no-overflow) .075 23 .75 false(no-overflow) .077 23 .88 false(no-overflow) .10  23 .78 false(no-overflow) 1.7  78 23   false(no-overflow) .17 10   1.7 false(no-overflow) 5.8 340 50 false(no-overflow) 5.3 320 38 false(no-overflow) 5.4 320 41
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c false(no-overflow) .12  22 .80 false(no-overflow) .15 17 1.0  unknown .0093 .97 .020  false(no-overflow) 2.4 240 22 false(no-overflow) 2.3 250 23 false(no-overflow) .54 75 6.3 out of memory 42    15000 490   false(no-overflow) .087 23 1.0  false(no-overflow) .10  23 .72 false(no-overflow) .080 23 .73 false(no-overflow) 1.7  81 22   false(no-overflow) .15 10   1.6 false(no-overflow) 7.2 360 53 false(no-overflow) 5.8 330 44 false(no-overflow) 6.2 330 49
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c false(no-overflow) .10  22 1.1  false(no-overflow) .11 17 .99 unknown .010  .88 .016  false(no-overflow) 2.4 250 23 false(no-overflow) 2.3 250 19 false(no-overflow) .53 75 7.7 out of memory 43    15000 400   false(no-overflow) .089 23 .75 false(no-overflow) .072 23 .90 false(no-overflow) .10  23 .79 false(no-overflow) 1.7  80 19   false(no-overflow) .15 10   1.6 false(no-overflow) 6.4 340 51 false(no-overflow) 5.7 320 48 false(no-overflow) 6.6 340 47
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c false(no-overflow) .10  23 .87 false(no-overflow) .13 18 1.0  unknown .0075 .88 .026  false(no-overflow) 2.4 240 22 false(no-overflow) 2.4 250 21 false(no-overflow) .54 75 6.3 out of memory 33    15000 370   false(no-overflow) .077 23 .82 false(no-overflow) .082 23 .78 false(no-overflow) .080 23 .79 false(no-overflow) 1.8  83 22   false(no-overflow) .15 11   1.7 false(no-overflow) 5.3 320 43 false(no-overflow) 5.5 330 38 false(no-overflow) 6.3 330 48
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c false(no-overflow) .11  22 .80 false(no-overflow) .11 18 1.1  unknown .0096 .92 .024  false(no-overflow) 2.4 250 20 false(no-overflow) 2.8 270 22 false(no-overflow) .53 75 6.7 out of memory 34    15000 420   false(no-overflow) .081 23 .74 false(no-overflow) .080 23 .78 false(no-overflow) .11  23 .96 false(no-overflow) 1.7  86 22   false(no-overflow) .15 10   1.6 false(no-overflow) 5.4 320 44 false(no-overflow) 5.7 320 48 false(no-overflow) 5.7 320 41
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c false(no-overflow) .14  22 .88 false(no-overflow) .11 17 1.3  unknown .0094 .93 .018  false(no-overflow) 2.4 250 21 false(no-overflow) 2.5 250 22 false(no-overflow) .54 75 5.6 out of memory 48    15000 560   false(no-overflow) .11  23 .70 false(no-overflow) .10  23 .63 false(no-overflow) .090 23 .80 false(no-overflow) 1.7  81 22   false(no-overflow) .15 11   1.9 false(no-overflow) 5.4 320 42 false(no-overflow) 5.2 320 41 false(no-overflow) 5.8 330 44
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c false(no-overflow) .15  23 .96 false(no-overflow) .15 19 1.4  unknown .0096 1.1  .019  false(no-overflow) 2.5 250 24 false(no-overflow) 2.5 260 26 false(no-overflow) .40 76 4.6 out of memory 39    15000 490   false(no-overflow) .096 23 .93 false(no-overflow) .079 23 .88 false(no-overflow) .078 23 .87 false(no-overflow) 1.8  83 22   false(no-overflow) .15 10   1.8 false(no-overflow) 5.6 320 42 false(no-overflow) 5.6 320 40 false(no-overflow) 5.8 320 44
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c false(no-overflow) .10  22 .86 false(no-overflow) .15 17 .99 unknown .010  .72 .019  false(no-overflow) 2.5 250 22 false(no-overflow) 2.3 240 19 false(no-overflow) .39 75 4.2 out of memory 34    15000 350   false(no-overflow) .10  23 .82 false(no-overflow) .074 23 .81 false(no-overflow) .077 23 .81 false(no-overflow) 1.7  75 22   false(no-overflow) .17 10   1.7 false(no-overflow) 5.7 310 49 false(no-overflow) 6.1 330 47 false(no-overflow) 5.4 310 42
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c false(no-overflow) .12  23 1.2  false(no-overflow) .15 18 1.1  unknown .0091 .66 .013  false(no-overflow) 2.4 250 19 false(no-overflow) 2.3 240 19 false(no-overflow) .54 75 6.2 out of memory 42    15000 510   false(no-overflow) .091 23 .92 false(no-overflow) .079 23 .78 false(no-overflow) .11  23 .98 false(no-overflow) 1.7  82 23   false(no-overflow) .17 10   1.4 false(no-overflow) 5.4 310 47 false(no-overflow) 6.1 340 48 false(no-overflow) 5.7 330 47
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c false(no-overflow) .10  23 .86 false(no-overflow) .15 18 .98 unknown .0090 .63 .025  false(no-overflow) 2.3 250 20 false(no-overflow) 2.5 260 21 false(no-overflow) .37 76 5.4 out of memory 39    15000 410   false(no-overflow) .076 23 .87 false(no-overflow) .098 23 .76 false(no-overflow) .079 23 .82 false(no-overflow) 1.8  80 19   false(no-overflow) .19 11   1.7 false(no-overflow) 6.0 340 52 false(no-overflow) 6.5 320 46 false(no-overflow) 6.3 320 49
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c false(no-overflow) .14  22 .90 false(no-overflow) .13 19 1.0  unknown .010  1.1  .018  false(no-overflow) 2.4 240 21 false(no-overflow) 2.4 250 22 false(no-overflow) .37 75 4.2 out of memory 42    15000 460   false(no-overflow) .077 23 .80 false(no-overflow) .11  23 .78 false(no-overflow) .095 23 .81 false(no-overflow) 1.7  76 21   false(no-overflow) .15 10   1.8 false(no-overflow) 5.8 330 44 false(no-overflow) 6.2 330 52 false(no-overflow) 6.2 330 47
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c false(no-overflow) .12  24 .97 false(no-overflow) .15 22 1.2  unknown .0091 .98 .020  false(no-overflow) 2.4 250 21 false(no-overflow) 2.5 250 21 false(no-overflow) .40 75 4.2 out of memory 41    15000 450   false(no-overflow) .10  23 .71 false(no-overflow) .092 23 .96 false(no-overflow) .095 23 .98 false(no-overflow) 1.8  82 21   false(no-overflow) .17 11   1.6 false(no-overflow) 6.2 340 46 false(no-overflow) 5.7 320 44 false(no-overflow) 5.5 320 46
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c false(no-overflow) .12  23 .87 false(no-overflow) .13 17 1.1  unknown .010  1.0  .021  false(no-overflow) 2.3 250 21 false(no-overflow) 2.4 250 19 false(no-overflow) .52 75 7.2 out of memory 40    15000 430   false(no-overflow) .11  23 .59 false(no-overflow) .11  23 .84 false(no-overflow) .088 23 1.0  false(no-overflow) 1.7  81 20   false(no-overflow) .15 11   1.6 false(no-overflow) 5.7 330 47 false(no-overflow) 5.4 320 39 false(no-overflow) 6.7 350 49
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c false(no-overflow) .15  22 .86 false(no-overflow) .13 18 .95 unknown .0092 1.0  .021  false(no-overflow) 2.3 250 21 false(no-overflow) 2.4 240 21 false(no-overflow) .39 75 4.8 out of memory 52    15000 500   false(no-overflow) .074 23 .85 false(no-overflow) .10  23 .85 false(no-overflow) .088 23 .87 false(no-overflow) 1.7  78 22   false(no-overflow) .16 11   1.8 false(no-overflow) 5.4 310 44 false(no-overflow) 5.4 320 44 false(no-overflow) 5.3 320 44
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c false(no-overflow) .11  23 .91 false(no-overflow) .13 18 1.1  unknown .0089 .90 .018  false(no-overflow) 2.3 250 20 false(no-overflow) 2.3 240 20 false(no-overflow) .38 75 4.6 out of memory 35    15000 370   false(no-overflow) .077 23 .97 false(no-overflow) .077 23 .85 false(no-overflow) .077 23 .81 false(no-overflow) 1.9  76 23   false(no-overflow) .15 10   1.7 false(no-overflow) 5.6 340 42 false(no-overflow) 5.4 320 40 false(no-overflow) 5.6 320 42
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c false(no-overflow) .11  24 .91 false(no-overflow) .14 17 .86 unknown .010  .73 .024  false(no-overflow) 2.4 250 20 false(no-overflow) 2.3 250 21 false(no-overflow) .52 75 5.4 false(no-overflow) 890    560 11000   false(no-overflow) .11  23 .69 false(no-overflow) .11  23 .70 false(no-overflow) .11  23 .73 false(no-overflow) 1.7  88 20   false(no-overflow) .14 10   1.6 false(no-overflow) 5.3 310 38 false(no-overflow) 5.8 320 47 false(no-overflow) 6.4 330 53
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c false(no-overflow) .10  22 .88 false(no-overflow) .12 17 .99 unknown .011  .88 .023  false(no-overflow) 2.3 250 20 false(no-overflow) 2.4 250 22 false(no-overflow) .38 75 4.3 out of memory 38    15000 360   false(no-overflow) .076 23 .78 false(no-overflow) .076 23 .80 false(no-overflow) .088 23 .85 false(no-overflow) 1.7  75 19   false(no-overflow) .17 10   1.8 false(no-overflow) 6.0 340 43 false(no-overflow) 5.7 330 39 false(no-overflow) 6.3 360 52
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c false(no-overflow) .11  22 .92 false(no-overflow) .12 17 .99 unknown .010  1.1  .023  false(no-overflow) 2.4 250 20 false(no-overflow) 2.4 250 23 false(no-overflow) .35 75 4.8 out of memory 38    15000 430   false(no-overflow) .078 23 .75 false(no-overflow) .078 23 .80 false(no-overflow) .093 23 .83 false(no-overflow) 1.7  80 22   false(no-overflow) .15 10   1.7 false(no-overflow) 6.1 330 49 false(no-overflow) 6.0 320 51 false(no-overflow) 5.6 320 47
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c false(no-overflow) .12  23 1.1  false(no-overflow) .15 18 1.0  unknown .0094 1.1  .025  false(no-overflow) 2.4 250 21 false(no-overflow) 2.4 250 23 false(no-overflow) .56 75 6.6 out of memory 36    15000 450   false(no-overflow) .10  23 .85 false(no-overflow) .075 23 .89 false(no-overflow) .12  23 .78 false(no-overflow) 1.7  83 20   false(no-overflow) .18 11   1.7 false(no-overflow) 5.4 310 42 false(no-overflow) 6.6 360 48 false(no-overflow) 5.7 320 41
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c false(no-overflow) .11  23 .81 false(no-overflow) .15 18 .99 unknown .0090 .89 .034  false(no-overflow) 2.5 250 19 false(no-overflow) 2.4 250 21 false(no-overflow) .37 75 4.8 out of memory 35    15000 380   false(no-overflow) .095 23 .77 false(no-overflow) .096 23 .75 false(no-overflow) .096 23 .75 false(no-overflow) 1.7  84 23   false(no-overflow) .17 10   1.6 false(no-overflow) 5.5 320 42 false(no-overflow) 5.7 320 45 false(no-overflow) 5.4 330 39
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c false(no-overflow) .10  22 .85 false(no-overflow) .10 17 1.0  unknown .0076 1.1  .018  false(no-overflow) 2.4 240 22 false(no-overflow) 2.4 250 20 false(no-overflow) .53 75 6.4 out of memory 46    15000 490   false(no-overflow) .088 23 .87 false(no-overflow) .10  23 .69 false(no-overflow) .078 23 .78 false(no-overflow) 1.7  82 22   false(no-overflow) .17 10   1.6 false(no-overflow) 5.4 310 43 false(no-overflow) 5.7 330 43 false(no-overflow) 5.4 320 45
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c false(no-overflow) .13  22 .81 false(no-overflow) .14 17 .92 unknown .0094 1.1  .021  false(no-overflow) 2.4 250 22 false(no-overflow) 2.6 250 23 false(no-overflow) .36 75 4.8 out of memory 35    15000 380   false(no-overflow) .11  23 .75 false(no-overflow) .074 23 .90 false(no-overflow) .10  23 .87 false(no-overflow) 1.7  82 22   false(no-overflow) .15 10   1.8 false(no-overflow) 5.9 330 47 false(no-overflow) 5.5 320 45 false(no-overflow) 5.3 320 42
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c false(no-overflow) .099 22 .96 false(no-overflow) .15 17 .93 unknown .010  .99 .024  false(no-overflow) 2.4 240 21 false(no-overflow) 2.3 240 19 false(no-overflow) .54 75 6.8 out of memory 46    15000 610   false(no-overflow) .075 23 .86 false(no-overflow) .11  23 .69 false(no-overflow) .077 23 .73 false(no-overflow) 1.7  83 23   false(no-overflow) .18 10   1.6 false(no-overflow) 5.4 310 43 false(no-overflow) 6.0 330 45 false(no-overflow) 5.2 310 40
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c false(no-overflow) .14  22 .79 false(no-overflow) .15 17 .90 unknown .011  1.1  .024  false(no-overflow) 2.4 250 20 false(no-overflow) 2.4 250 22 false(no-overflow) .56 75 6.0 out of memory 52    15000 530   false(no-overflow) .077 23 .87 false(no-overflow) .073 23 .81 false(no-overflow) .084 23 .61 false(no-overflow) 1.7  82 25   false(no-overflow) .15 11   1.8 false(no-overflow) 5.5 320 45 false(no-overflow) 6.6 340 53 false(no-overflow) 5.8 340 46
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c false(no-overflow) .15  23 .70 false(no-overflow) .14 18 1.0  unknown .0070 .92 .025  false(no-overflow) 2.4 250 23 false(no-overflow) 2.4 250 23 false(no-overflow) .40 75 4.4 out of memory 45    15000 560   false(no-overflow) .077 23 .80 false(no-overflow) .076 23 .85 false(no-overflow) .094 23 .81 false(no-overflow) 1.8  78 22   false(no-overflow) .15 10   1.7 false(no-overflow) 6.1 340 50 false(no-overflow) 5.6 320 40 false(no-overflow) 5.7 320 46
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c false(no-overflow) .13  23 .91 false(no-overflow) .15 18 1.1  unknown .0094 .85 .020  false(no-overflow) 2.4 260 22 false(no-overflow) 2.6 250 19 false(no-overflow) .43 75 4.4 out of memory 42    15000 510   false(no-overflow) .11  23 .68 false(no-overflow) .089 23 .75 false(no-overflow) .10  23 .76 false(no-overflow) 1.7  80 23   false(no-overflow) .16 10   2.1 false(no-overflow) 5.8 330 46 false(no-overflow) 5.4 310 49 false(no-overflow) 5.7 310 44
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c false(no-overflow) .13  25 .88 false(no-overflow) .13 18 1.2  unknown .011  .75 .018  false(no-overflow) 2.3 250 21 false(no-overflow) 2.4 250 20 false(no-overflow) .55 75 6.6 out of memory 46    15000 500   false(no-overflow) .073 23 .88 false(no-overflow) .10  23 .97 false(no-overflow) .082 23 .78 false(no-overflow) 1.8  83 22   false(no-overflow) .15 11   1.5 false(no-overflow) 6.5 330 53 false(no-overflow) 5.6 320 46 false(no-overflow) 5.7 330 41
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c false(no-overflow) .11  22 .88 false(no-overflow) .15 17 .97 unknown .011  .89 .027  false(no-overflow) 2.4 250 22 false(no-overflow) 2.4 250 20 false(no-overflow) .55 75 5.9 out of memory 44    15000 460   false(no-overflow) .11  23 .71 false(no-overflow) .078 23 .84 false(no-overflow) .10  23 .70 false(no-overflow) 1.7  80 22   false(no-overflow) .15 10   2.0 false(no-overflow) 6.9 340 49 false(no-overflow) 5.4 320 40 false(no-overflow) 6.1 340 50
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c false(no-overflow) .14  23 .80 false(no-overflow) .11 17 1.2  unknown .0097 .94 .020  false(no-overflow) 2.3 240 23 false(no-overflow) 2.4 250 20 false(no-overflow) .40 75 4.2 out of memory 48    15000 540   false(no-overflow) .081 23 .90 false(no-overflow) .077 23 .85 false(no-overflow) .11  23 .81 false(no-overflow) 1.8  81 26   false(no-overflow) .15 11   2.1 false(no-overflow) 5.3 310 47 false(no-overflow) 5.5 310 46 false(no-overflow) 5.5 320 43
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c false(no-overflow) .12  23 1.1  false(no-overflow) .15 17 .93 unknown .0060 .91 .019  false(no-overflow) 2.4 250 24 false(no-overflow) 2.5 250 24 false(no-overflow) .37 75 3.9 out of memory 42    15000 460   false(no-overflow) .097 23 .80 false(no-overflow) .11  23 .70 false(no-overflow) .074 23 1.0  false(no-overflow) 1.7  80 22   false(no-overflow) .18 10   2.0 false(no-overflow) 5.3 320 44 false(no-overflow) 6.2 340 47 false(no-overflow) 5.7 330 45
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c false(no-overflow) .12  23 .81 false(no-overflow) .13 17 .94 unknown .0094 .76 .019  false(no-overflow) 2.4 250 21 false(no-overflow) 2.5 250 21 false(no-overflow) .38 76 4.6 out of memory 67    15000 790   false(no-overflow) .11  23 .88 false(no-overflow) .11  23 .89 false(no-overflow) .083 23 .88 false(no-overflow) 1.8  80 24   false(no-overflow) .17 11   1.7 false(no-overflow) 5.5 320 45 false(no-overflow) 5.4 320 43 false(no-overflow) 5.6 320 48
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c false(no-overflow) .15  23 .85 false(no-overflow) .14 18 1.0  unknown .010  .90 .020  false(no-overflow) 2.4 250 22 false(no-overflow) 2.5 250 22 false(no-overflow) .38 75 5.2 out of memory 47    15000 480   false(no-overflow) .078 23 .73 false(no-overflow) .079 23 .83 false(no-overflow) .11  23 .76 false(no-overflow) 1.8  89 20   false(no-overflow) .17 10   1.6 false(no-overflow) 5.7 330 52 false(no-overflow) 5.4 320 40 false(no-overflow) 5.7 330 41
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c false(no-overflow) .11  22 .90 false(no-overflow) .14 17 .97 unknown .0053 .76 .014  false(no-overflow) 2.4 250 19 false(no-overflow) 2.4 250 21 false(no-overflow) .53 75 6.7 out of memory 41    15000 480   false(no-overflow) .074 23 .88 false(no-overflow) .074 23 1.0  false(no-overflow) .083 23 .77 false(no-overflow) 1.8  86 22   false(no-overflow) .15 10   1.7 false(no-overflow) 6.3 340 43 false(no-overflow) 5.2 320 48 false(no-overflow) 6.6 340 44
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c false(no-overflow) .12  22 .81 false(no-overflow) .15 17 .90 unknown .010  .77 .013  false(no-overflow) 2.6 250 22 false(no-overflow) 2.4 250 25 false(no-overflow) .38 75 4.7 out of memory 67    15000 790   false(no-overflow) .099 23 .94 false(no-overflow) .087 23 .89 false(no-overflow) .076 23 .77 false(no-overflow) 1.7  79 22   false(no-overflow) .17 10   1.9 false(no-overflow) 6.9 350 58 false(no-overflow) 5.9 320 48 false(no-overflow) 6.0 330 44
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c false(no-overflow) .12  22 .84 false(no-overflow) .14 18 1.1  unknown .0092 1.1  .022  false(no-overflow) 2.3 250 20 false(no-overflow) 2.5 260 23 false(no-overflow) .54 75 7.1 out of memory 71    15000 770   false(no-overflow) .076 23 .86 false(no-overflow) .11  23 .72 false(no-overflow) .076 23 .81 false(no-overflow) 1.8  87 19   false(no-overflow) .18 10   1.6 false(no-overflow) 6.4 330 46 false(no-overflow) 6.3 340 47 false(no-overflow) 5.7 330 42
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c false(no-overflow) .14  23 .88 false(no-overflow) .15 18 .92 unknown .010  .92 .021  false(no-overflow) 2.4 250 23 false(no-overflow) 2.5 240 23 false(no-overflow) .58 100 6.9 out of memory 54    15000 520   false(no-overflow) .076 23 .93 false(no-overflow) .078 23 .83 false(no-overflow) .10  23 .83 false(no-overflow) 1.8  89 23   false(no-overflow) .16 10   1.9 false(no-overflow) 5.5 320 43 false(no-overflow) 5.6 320 50 false(no-overflow) 5.8 340 47
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c false(no-overflow) .14  22 .88 false(no-overflow) .15 17 .94 unknown .0092 .85 .014  false(no-overflow) 2.3 250 20 false(no-overflow) 2.4 250 20 false(no-overflow) .53 75 7.7 out of memory 39    15000 430   false(no-overflow) .11  23 .69 false(no-overflow) .075 23 .77 false(no-overflow) .11  23 .69 false(no-overflow) 1.7  78 23   false(no-overflow) .15 10   1.6 false(no-overflow) 5.5 310 41 false(no-overflow) 5.6 330 44 false(no-overflow) 5.8 320 44
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c false(no-overflow) .12  24 1.0  false(no-overflow) .13 19 1.0  unknown .0083 1.1  .021  false(no-overflow) 2.4 250 23 false(no-overflow) 2.6 260 23 false(no-overflow) .55 76 7.0 out of memory 69    15000 770   false(no-overflow) .076 23 .82 false(no-overflow) .11  23 .89 false(no-overflow) .10  23 .79 false(no-overflow) 1.7  83 23   false(no-overflow) .18 10   2.3 false(no-overflow) 6.1 340 42 false(no-overflow) 6.0 330 50 false(no-overflow) 5.6 330 40
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c false(no-overflow) .15  23 .93 false(no-overflow) .13 19 1.3  unknown .0075 .99 .019  false(no-overflow) 13   440 100 false(no-overflow) 12   430 110 false(no-overflow) .64 79 8.7 out of memory 40    15000 490   false(no-overflow) .082 23 1.2  false(no-overflow) .12  23 .75 false(no-overflow) .097 23 .91 false(no-overflow) 1.8  77 21   false(no-overflow) .19 11   1.9 false(no-overflow) 7.2 320 57 false(no-overflow) 12   480 82 false(no-overflow) 7.4 350 55
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c false(no-overflow) .15  23 .88 false(no-overflow) .14 18 1.1  unknown .0087 .92 .029  false(no-overflow) 2.3 240 20 false(no-overflow) 2.3 240 21 false(no-overflow) .56 75 6.5 out of memory 120    15000 1400   false(no-overflow) .079 23 .79 false(no-overflow) .074 23 .92 false(no-overflow) .092 23 .99 false(no-overflow) 1.8  79 21   false(no-overflow) .15 10   1.8 false(no-overflow) 5.3 320 46 false(no-overflow) 5.9 330 41 false(no-overflow) 5.4 320 43
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c false(no-overflow) .13  22 .85 false(no-overflow) .15 17 .92 unknown .010  .88 .024  error 2.3 240 19 error 2.5 260 24 false(no-overflow) .57 76 8.3 timeout 900    420 11000   false(no-overflow) .11  23 .70 false(no-overflow) .073 23 .92 false(no-overflow) .075 23 .96 false(no-overflow) 1.7  78 22   unknown 2.4  4300   28   false(no-overflow) 6.0 320 48 false(no-overflow) 6.1 330 47 false(no-overflow) 6.6 350 50
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c false(no-overflow) .12  22 .85 false(no-overflow) .12 18 1.3  unknown .010  1.0  .031  false(no-overflow) 2.4 240 19 false(no-overflow) 2.5 250 20 false(no-overflow) .53 75 7.4 out of memory 43    15000 460   false(no-overflow) .076 23 .87 false(no-overflow) .076 23 .99 false(no-overflow) .10  23 .79 false(no-overflow) 1.7  81 22   false(no-overflow) .15 10   1.4 false(no-overflow) 5.4 340 41 false(no-overflow) 5.6 320 39 false(no-overflow) 5.5 320 45
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c false(no-overflow) .12  23 .88 false(no-overflow) .12 18 1.1  unknown .0070 .89 .017  false(no-overflow) 2.5 250 19 false(no-overflow) 2.5 260 22 false(no-overflow) .55 75 6.4 out of memory 41    15000 500   false(no-overflow) .080 23 .84 false(no-overflow) .11  23 .72 false(no-overflow) .092 23 1.1  false(no-overflow) 1.8  79 21   false(no-overflow) .17 10   1.7 false(no-overflow) 6.0 330 52 false(no-overflow) 5.8 320 46 false(no-overflow) 5.3 320 41
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c error (5) .081 22 .73 false(no-overflow) .13 17 .99 segmentation fault .033  8.3  .19   error (recursion) 2.5 250 21 error (recursion) 2.3 250 19 false(no-overflow) .57 49 6.9 false(no-overflow) 3.8  70 45   false(no-overflow) .097 23 .77 false(no-overflow) .076 23 .76 false(no-overflow) .075 23 .82 false(no-overflow) 1.6  79 22   false(no-overflow) .18 10   1.7 false(no-overflow) 6.6 340 51 false(no-overflow) 6.3 330 55 false(no-overflow) 6.8 330 57
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c error (5) .11  22 .83 false(no-overflow) .11 18 1.1  aborted .12   8.2  1.1    error (recursion) 2.3 240 19 error (recursion) 2.4 240 22 false(no-overflow) .55 49 6.7 false(no-overflow) 3.2  88 35   false(no-overflow) .10  23 .84 false(no-overflow) .080 23 .81 false(no-overflow) .11  23 .68 false(no-overflow) 1.6  80 18   false(no-overflow) .16 10   1.7 false(no-overflow) 6.0 320 47 false(no-overflow) 6.4 320 48 false(no-overflow) 6.3 320 46
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c error (5) .11  22 .69 false(no-overflow) .15 19 1.1  aborted .12   8.5  1.3    error (recursion) 2.2 240 19 error (recursion) 2.3 250 19 false(no-overflow) .57 49 6.9 out of memory 140    15000 1600   false(no-overflow) .077 23 .69 false(no-overflow) .11  23 .75 false(no-overflow) .088 23 .79 false(no-overflow) 1.6  91 21   false(no-overflow) .18 10   1.7 false(no-overflow) 5.5 320 43 false(no-overflow) 6.0 340 43 false(no-overflow) 5.4 320 42
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c error (5) .12  22 .76 false(no-overflow) .14 18 .90 aborted .11   7.9  1.3    error (recursion) 2.3 240 21 error (recursion) 2.3 240 20 false(no-overflow) .57 51 7.1 false(no-overflow) 78    5100 1200   false(no-overflow) .089 23 .86 false(no-overflow) .096 23 .82 false(no-overflow) .076 23 .80 false(no-overflow) 1.6  78 21   false(no-overflow) .17 10   1.8 false(no-overflow) 5.4 320 41 false(no-overflow) 5.7 320 45 false(no-overflow) 5.5 320 44
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c false(no-overflow) .14  22 .78 false(no-overflow) .15 17 .86 unknown .012  1.0  .027  false(no-overflow) 2.3 250 20 false(no-overflow) 2.4 240 21 false(no-overflow) .55 75 6.4 out of memory 46    15000 490   false(no-overflow) .076 23 .88 false(no-overflow) .075 23 .82 false(no-overflow) .078 23 .74 false(no-overflow) 1.7  86 21   false(no-overflow) .17 11   1.6 false(no-overflow) 5.9 330 41 false(no-overflow) 5.6 320 47 false(no-overflow) 6.0 340 44
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c false(no-overflow) .11  22 .93 false(no-overflow) .13 17 .83 unknown .0093 1.1  .016  false(no-overflow) 2.3 250 19 false(no-overflow) 2.4 260 20 false(no-overflow) .55 75 5.9 out of memory 60    15000 760   false(no-overflow) .10  23 .75 false(no-overflow) .073 23 .81 false(no-overflow) .075 23 .79 false(no-overflow) 1.7  81 21   false(no-overflow) .17 10   1.6 false(no-overflow) 5.5 320 42 false(no-overflow) 5.5 320 46 false(no-overflow) 6.3 330 47
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c false(no-overflow) .10  22 1.2  false(no-overflow) .11 19 1.0  unknown .0091 .76 .026  false(no-overflow) 2.4 250 19 false(no-overflow) 2.4 250 20 false(no-overflow) .55 75 6.5 out of memory 47    15000 520   false(no-overflow) .079 23 .84 false(no-overflow) .073 23 .90 false(no-overflow) .088 23 .88 false(no-overflow) 1.7  80 21   false(no-overflow) .15 10   1.8 false(no-overflow) 6.3 340 49 false(no-overflow) 5.6 320 51 false(no-overflow) 5.2 310 43
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c false(no-overflow) .094 22 1.2  false(no-overflow) .15 17 .96 unknown .010  .72 .020  false(no-overflow) 2.4 250 22 false(no-overflow) 2.3 250 19 false(no-overflow) .55 75 5.5 out of memory 38    15000 500   false(no-overflow) .11  23 .68 false(no-overflow) .11  23 .75 false(no-overflow) .082 23 .81 false(no-overflow) 1.7  82 20   false(no-overflow) .16 10   1.7 false(no-overflow) 5.5 320 45 false(no-overflow) 5.5 320 46 false(no-overflow) 6.2 330 52
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c false(no-overflow) .14  23 .98 false(no-overflow) .14 18 1.1  unknown .0099 .88 .024  false(no-overflow) 2.4 250 23 false(no-overflow) 2.3 250 24 false(no-overflow) .39 75 4.3 out of memory 42    15000 470   false(no-overflow) .11  23 .69 false(no-overflow) .11  23 .68 false(no-overflow) .077 23 .82 false(no-overflow) 1.7  80 19   false(no-overflow) .15 10   1.6 false(no-overflow) 5.5 320 43 false(no-overflow) 5.6 320 42 false(no-overflow) 5.9 330 49
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c false(no-overflow) .11  22 .85 false(no-overflow) .15 17 .98 unknown .0097 .97 .027  false(no-overflow) 2.5 260 19 false(no-overflow) 2.6 250 23 false(no-overflow) .55 75 5.5 out of memory 60    15000 720   false(no-overflow) .077 23 .75 false(no-overflow) .087 23 .86 false(no-overflow) .089 23 .88 false(no-overflow) 1.7  79 20   false(no-overflow) .18 10   2.0 false(no-overflow) 5.6 320 40 false(no-overflow) 5.8 330 45 false(no-overflow) 6.0 330 41
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c false(no-overflow) .093 22 .95 false(no-overflow) .12 17 .90 unknown .010  1.1  .028  false(no-overflow) 2.4 250 20 false(no-overflow) 2.5 260 20 false(no-overflow) .55 75 7.1 out of memory 83    15000 1000   false(no-overflow) .088 23 .85 false(no-overflow) .097 23 .94 false(no-overflow) .074 23 .95 false(no-overflow) 1.8  78 23   false(no-overflow) .15 10   1.7 false(no-overflow) 5.8 340 42 false(no-overflow) 6.9 340 57 false(no-overflow) 5.6 320 44
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c false(no-overflow) .11  23 .86 false(no-overflow) .14 19 1.2  unknown .010  .82 .024  false(no-overflow) 2.4 250 20 false(no-overflow) 2.6 260 21 false(no-overflow) .57 76 7.4 out of memory 61    15000 660   false(no-overflow) .080 23 .91 false(no-overflow) .11  23 .74 false(no-overflow) .086 23 .88 false(no-overflow) 1.9  82 20   false(no-overflow) .17 11   1.7 false(no-overflow) 6.2 330 52 false(no-overflow) 5.3 320 42 false(no-overflow) 5.3 320 47
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c false(no-overflow) .13  22 .86 false(no-overflow) .12 17 1.2  unknown .011  1.0  .029  false(no-overflow) 2.5 260 23 false(no-overflow) 2.4 250 23 false(no-overflow) .59 76 7.1 out of memory 43    15000 400   false(no-overflow) .10  23 .80 false(no-overflow) .074 23 .81 false(no-overflow) .089 23 .98 false(no-overflow) 1.7  82 23   false(no-overflow) .15 10   1.7 false(no-overflow) 5.5 320 47 false(no-overflow) 5.6 320 41 false(no-overflow) 5.8 330 46
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c false(no-overflow) .11  23 1.0  false(no-overflow) .12 17 1.0  unknown .0093 .93 .021  false(no-overflow) 2.5 250 21 false(no-overflow) 2.5 260 21 false(no-overflow) .59 75 5.9 out of memory 70    15000 860   false(no-overflow) .089 23 .74 false(no-overflow) .10  23 .69 false(no-overflow) .081 23 .73 false(no-overflow) 1.8  87 24   false(no-overflow) .15 10   1.7 false(no-overflow) 6.0 330 47 false(no-overflow) 6.3 330 49 false(no-overflow) 6.0 330 49
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_false-no-overflow.c false(no-overflow) 17     430 130    false(no-overflow) 2.5  74 32    unknown .0094 .92 .026  false(no-overflow) 20   510 160 false(no-overflow) 17   510 150 false(no-overflow) 300    370 3400   timeout 900    2500 8900   false(no-overflow) 12     220 160    false(no-overflow) 21     480 310    false(no-overflow) 250     1700 2700    true 880    230 11000   false(no-overflow) 8.4  18   100   false(no-overflow) 30   700 260 false(no-overflow) 33   910 300 false(no-overflow) 45   860 410
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) .11  23 .90 false(no-overflow) .13 17 .81 unknown .0078 .79 .032  false(no-overflow) 2.5 250 22 false(no-overflow) 2.6 260 25 false(no-overflow) .37 75 5.4 out of memory 210    15000 2500   false(no-overflow) .10  23 .80 false(no-overflow) .077 23 .77 false(no-overflow) .10  23 .85 false(no-overflow) 1.7  82 19   false(no-overflow) .18 10   1.6 false(no-overflow) 6.2 320 44 false(no-overflow) 7.0 330 59 false(no-overflow) 6.2 320 48
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c false(no-overflow) .11  22 1.1  false(no-overflow) .13 17 1.1  unknown .0098 .88 .024  false(no-overflow) 2.5 240 21 false(no-overflow) 2.3 240 22 false(no-overflow) .39 75 4.6 out of memory 280    15000 3000   false(no-overflow) .073 23 .86 false(no-overflow) .11  23 .72 false(no-overflow) .075 23 1.0  false(no-overflow) 1.8  84 21   false(no-overflow) .16 11   1.9 false(no-overflow) 6.8 340 54 false(no-overflow) 6.5 340 54 false(no-overflow) 6.3 330 54
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) .14  22 .82 false(no-overflow) .14 17 .92 unknown .0080 1.0  .026  false(no-overflow) 2.4 250 21 false(no-overflow) 2.4 250 22 false(no-overflow) .36 75 4.3 out of memory 290    15000 2900   false(no-overflow) .074 23 1.0  false(no-overflow) .10  23 .77 false(no-overflow) .099 23 .91 false(no-overflow) 1.8  84 25   false(no-overflow) .18 10   1.6 false(no-overflow) 6.7 340 55 false(no-overflow) 7.8 340 69 false(no-overflow) 6.6 340 48
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c false(no-overflow) .12  23 1.1  false(no-overflow) .13 18 1.1  unknown .0099 1.0  .016  false(no-overflow) 2.4 250 23 false(no-overflow) 2.5 250 23 false(no-overflow) .41 76 4.6 out of memory 200    15000 2200   false(no-overflow) .080 23 .81 false(no-overflow) .11  23 .61 false(no-overflow) .10  23 .85 false(no-overflow) 1.8  85 22   false(no-overflow) .17 11   1.9 false(no-overflow) 6.4 350 51 false(no-overflow) 5.6 320 51 false(no-overflow) 5.7 330 39
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c false(no-overflow) .10  22 .91 false(no-overflow) .15 18 1.0  unknown .0094 .92 .018  false(no-overflow) 2.4 250 22 false(no-overflow) 2.3 240 21 false(no-overflow) .55 75 6.2 out of memory 33    15000 360   false(no-overflow) .079 23 .96 false(no-overflow) .098 23 .86 false(no-overflow) .096 23 .99 false(no-overflow) 1.7  86 24   false(no-overflow) .17 10   1.6 false(no-overflow) 5.9 330 47 false(no-overflow) 5.5 320 44 false(no-overflow) 5.7 330 41
termination-crafted-lit/cstrncmp_false-no-overflow.c false(no-overflow) .12  23 1.1  false(no-overflow) .15 17 .91 unknown .0094 .91 .023  error 2.5 240 24 error 2.6 260 25 false(no-overflow) .41 76 4.4 out of memory 67    15000 720   false(no-overflow) .080 23 .93 false(no-overflow) .094 23 .72 false(no-overflow) .076 23 .74 false(no-overflow) 1.8  78 24   false(no-overflow) .17 11   2.2 false(no-overflow) 6.8 330 54 false(no-overflow) 7.3 330 53 false(no-overflow) 7.3 360 50
termination-crafted-lit/gcd1_false-no-overflow.c false(no-overflow) .13  23 .94 false(no-overflow) .15 18 .94 unknown .0088 .91 .029  false(no-overflow) 2.5 250 21 false(no-overflow) 2.5 260 25 false(no-overflow) .57 100 6.4 timeout 900    2600 13000   false(no-overflow) .074 23 .83 false(no-overflow) .095 23 .70 false(no-overflow) .11  23 .92 false(no-overflow) 1.7  79 21   false(no-overflow) .16 10   1.8 false(no-overflow) 6.0 330 48 false(no-overflow) 5.6 320 39 false(no-overflow) 6.2 330 46
termination-crafted-lit/joey_false-no-overflow.c error (5) .085 22 .73 false(no-overflow) .18 23 1.6  aborted .11   8.4  1.3    error (recursion) 2.3 240 18 error (recursion) 2.3 250 20 out of memory (false(no-overflow)) 630    15000 7500   out of memory 70    15000 950   unknown .098 23 .76 unknown .072 23 .83 unknown .072 23 .90 false(no-overflow) 1.6  75 21   false(no-overflow) .16 10   2.3 false(no-overflow) 5.8 330 50 false(no-overflow) 6.2 330 46 false(no-overflow) 6.4 330 49
termination-crafted-lit/min_rf_false-no-overflow.c false(no-overflow) .13  22 1.1  false(no-overflow) .13 18 1.2  unknown .0092 .76 .025  false(no-overflow) 2.6 250 23 false(no-overflow) 2.6 250 22 false(no-overflow) .42 76 5.3 false(no-overflow) 890    2300 11000   false(no-overflow) .078 23 1.1  false(no-overflow) .10  23 .74 false(no-overflow) .10  23 .86 error (1) .41 35 5.1 false(no-overflow) .18 10   2.0 false(no-overflow) 6.0 320 43 false(no-overflow) 5.5 340 41 false(no-overflow) 5.4 320 38
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 900     1600 11000    error (42) 850    580 8100    unknown .011  .90 .020  timeout 900   5000 13000 timeout 900   4900 12000 unknown 900    110 9100   timeout 900    4700 8200   timeout 900     240 8900    timeout 900     350 9400    timeout 900     470 9900    timeout 880    160 12000   timeout (timeout) 900    4500   10000   timeout 900   2300 12000 timeout 900   4000 12000 timeout 900   2500 14000
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c true .10  22 .70 error (42) 850    1800 6800    unknown .011  .89 .019  timeout 900   4200 13000 timeout 900   4200 12000 unknown 1.4  75 15   out of memory 59    15000 750   out of memory 180     15000 2500    out of memory 400     15000 4500    true .12  23 .87 true 880    400 12000   timeout (timeout) 900    660   11000   true 6.1 320 52 true 11   480 110 true 9.6 380 78
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c true .13  22 .77 true 2.4  59 33    unknown .0083 .92 .023  true 8.9 320 66 true 8.0 330 62 unknown 1.4  75 15   out of memory 49    15000 530   out of memory 180     15000 2400    true 3.1   300 39    true .080 23 .77 true 22    150 260   true .14 9.3 1.7 true 5.8 320 48 true 6.3 330 54 true 6.2 330 50
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c timeout 900     1700 10000    error (42) 850    3100 3100    unknown .0092 1.1  .021  timeout 910   9000 10000 timeout 910   9000 10000 unknown 170    390 2100   out of memory 34    15000 460   out of memory 180     15000 2300    out of memory 120     15000 1500    out of memory 130     15000 1500    true 880    820 9500   timeout (timeout) 900    230   12000   timeout 900   5200 14000 timeout 900   2300 12000 timeout 900   3600 13000
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c timeout 900     2800 5700    error (42) 850    1400 4100    unknown .0098 1.0  .022  timeout 900   5700 11000 timeout 900   5600 13000 unknown 900    680 6700   out of memory 33    15000 340   timeout 900     2400 7400    timeout 900     3900 8200    timeout 900     3800 9000    true 880    420 8500   timeout (timeout) 900    2100   8700   timeout 900   1900 13000 timeout 900   2000 12000 timeout 900   1300 13000
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c timeout 900     470 9100    error (42) 850    590 8700    unknown .0067 1.0  .020  timeout 900   4500 12000 timeout 900   4500 11000 unknown 900    130 13000   true 890    1200 9700   timeout 900     240 11000    timeout 900     430 14000    timeout 900     650 11000    true 880    180 11000   timeout (timeout) 900    4800   8200   timeout 900   8400 8500 timeout 900   1300 12000 timeout 900   2600 13000
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c true 1.4   37 16    true .67 23 7.8  unknown .0079 .85 .028  true 230   2700 3000 true 230   2800 2800 unknown 7.1  76 81   true 2.4  340 25   timeout 900     580 13000    true 26     69 370    true 26     92 350    true 26    110 330   timeout (timeout) 900    4300   9400   true 100   4500 1100 timeout 900   1600 12000 timeout 900   5100 9300
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c true .10  22 1.1  error (42) 850    1400 7800    unknown .010  1.0  .019  timeout 900   4300 11000 timeout 900   3500 10000 unknown 1.4  76 14   out of memory 110    15000 1100   timeout 900     7000 9400    timeout 900     14000 10000    true .083 23 1.2  true 880    490 9900   timeout (timeout) 900    250   11000   true 6.2 320 51 true 8.6 470 62 true 8.8 410 68
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c true .11  23 .94 error (42) 850    1200 6600    unknown .0094 .97 .021  timeout 900   4300 11000 timeout 900   4300 11000 unknown 1.5  76 16   out of memory 160    15000 1800   timeout 900     3100 8900    timeout 900     6000 9700    true .11  23 .87 true 880    490 10000   timeout (timeout) 900    2100   9800   true 7.2 350 51 true 14   500 110 true 10   470 77
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c true .13  22 .83 error (42) 850    1300 4600    unknown .010  .78 .025  timeout 900   2600 7900 timeout 900   2600 7400 unknown 1.4  76 16   out of memory 52    15000 620   out of memory 150     15000 2100    out of memory 310     15000 3700    true .11  23 1.1  true 880    370 11000   timeout (timeout) 900    81   12000   true 6.6 330 54 true 8.3 460 63 true 8.8 360 75
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c true .091 22 .76 error (42) 850    2700 6500    unknown .0098 .88 .028  timeout 900   4200 11000 timeout 900   5900 13000 unknown 1.5  100 17   out of memory 240    15000 2700   out of memory 820     15000 9700    out of memory 590     15000 8400    true .086 23 1.1  true 880    520 10000   timeout (timeout) 900    140   13000   true 6.3 330 49 true 6.9 350 54 true 6.1 330 49
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c true .11  25 .80 error (42) 850    5500 3900    unknown .0097 .89 .023  timeout 900   4600 11000 timeout 900   4600 10000 unknown 1.8  100 22   timeout 900    2600 11000   timeout 900     6100 11000    timeout 900     8900 13000    true .088 23 .79 true 880    990 9300   timeout (timeout) 900    370   13000   true 6.5 330 56 true 11   470 91 true 9.8 400 72
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c true .19  24 2.0  error (42) 850    1100 8100    unknown .010  .90 .021  timeout 900   4700 6000 timeout 900   4700 6500 unknown 900    110 12000   true 890    1600 9500   timeout 900     720 14000    timeout 900     1200 12000    unknown .11  23 1.1  true 880    780 11000   timeout (timeout) 900    130   11000   true 8.6 410 63 true 13   490 110 true 7.7 380 63
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c timeout 900     2200 11000    error (42) 850    1400 5400    unknown .0087 .94 .021  timeout 900   5900 11000 timeout 900   5800 13000 unknown 210    270 2500   out of memory 110    15000 1300   timeout 900     5300 7900    timeout 900     12000 8800    out of memory 700     15000 6900    true 880    540 10000   timeout (timeout) 900    290   11000   timeout 900   3900 12000 timeout 900   5400 11000 true 12   480 100
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c timeout 900     570 6600    error (42) 850    350 8000    unknown .0095 1.0  .018  false(no-overflow) 2.7 250 22 false(no-overflow) 2.8 270 24 unknown 43    76 540   true 890    940 8700   timeout 900     270 10000    timeout 900     400 11000    timeout 900     530 11000    true 880    170 11000   timeout (timeout) 900    130   9900   true 8.9 480 75 true 8.8 470 74 true 8.8 370 70
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c timeout 900     580 8000    error (42) 850    360 8300    unknown .010  .86 .023  false(no-overflow) 2.6 250 24 false(no-overflow) 2.8 250 21 unknown 30    76 350   true 890    980 10000   timeout 900     290 11000    timeout 900     430 12000    timeout 900     580 12000    true 880    180 10000   timeout (timeout) 900    150   9800   true 8.9 480 69 true 15   610 130 true 9.2 420 70
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c true .13  23 .86 error (42) 850    2300 3000    unknown .0074 .91 .022  timeout 910   14000 9500 timeout 910   13000 9500 unknown 1.8  100 21   timeout 900    2600 8500   timeout 900     6300 13000    timeout 900     9100 11000    true .087 23 .90 true 880    470 8300   timeout (timeout) 900    380   9000   true 6.9 340 55 true 11   470 90 true 8.9 390 67
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c timeout 900     170 13000    error (42) 850    6900 5900    unknown .0043 .78 .018  timeout 910   11000 10000 timeout 910   11000 8000 unknown 900    5300 13000   timeout 900    2600 7900   timeout 900     5900 11000    timeout 900     8600 11000    timeout 900     13000 12000    true 880    610 10000   timeout (timeout) 900    260   11000   timeout 900   4000 13000 timeout 900   980 13000 timeout 900   3500 12000
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c true .22  25 2.1  error (42) 850    4100 4200    unknown .010  .76 .020  timeout 910   8900 9700 timeout 910   8900 10000 unknown 130    230 1600   out of memory 34    15000 310   out of memory 180     15000 2200    out of memory 130     15000 1500    out of memory 280     15000 2700    true 880    880 11000   timeout (timeout) 900    220   11000   true 16   610 110 true 63   1200 650 true 21   610 170
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c true .13  22 .81 true 2.6  57 30    unknown .0091 .93 .016  true 8.0 330 61 true 8.5 340 67 unknown 1.4  75 16   out of memory 51    15000 510   out of memory 180     15000 1800    true 3.1   300 47    true .080 23 1.1  true 22    150 290   true .16 9.3 1.4 true 5.9 320 43 true 6.5 330 49 true 5.9 320 49
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c timeout 900     1700 12000    error (42) 850    3200 4100    unknown .0093 .93 .019  timeout 910   8900 12000 timeout 910   9000 8500 unknown 160    390 2200   out of memory 34    15000 400   out of memory 190     15000 2400    out of memory 120     15000 1500    out of memory 130     15000 1500    true 880    810 9900   timeout (timeout) 900    240   12000   timeout 900   5300 12000 timeout 900   2800 13000 timeout 900   3500 13000
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c timeout 900     480 10000    error (42) 850    600 8200    unknown .0094 .92 .027  timeout 900   4500 11000 timeout 900   4500 13000 unknown 890    140 13000   true 890    1200 10000   timeout 900     230 11000    timeout 900     410 11000    timeout 900     620 11000    true 880    170 12000   timeout (timeout) 900    4500   8800   timeout 900   8500 8500 timeout 900   1400 12000 timeout 900   2600 13000
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c true 1.4   37 16    true .69 23 8.2  unknown .0087 .92 .033  true 230   2600 2800 true 230   2700 3200 unknown 13    76 140   true 2.4  340 27   timeout 900     640 14000    true 24     68 270    true 24     91 370    true 25    110 360   timeout (timeout) 900    4400   9900   true 100   4400 1300 timeout 900   1700 12000 timeout 900   5000 11000
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c true .13  22 .72 error (42) 850    11000 3200    unknown .010  1.1  .017  timeout 900   8000 12000 timeout 900   7700 10000 unknown 1.2  75 13   out of memory 58    15000 680   out of memory 130     15000 1600    out of memory 130     15000 1900    true .081 23 .77 true 1.3  82 16   true .14 9.3 1.7 true 6.1 330 45 true 5.3 330 39 true 5.5 310 41
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c true .12  23 .84 error (42) 850    1100 6600    unknown .0063 .80 .021  false(no-overflow) 2.4 250 24 false(no-overflow) 2.4 250 22 unknown 1.5  75 18   out of memory 37    15000 370   timeout 900     8400 6700    timeout 900     10000 7000    true .092 23 .97 true 880    880 9300   timeout (timeout) 900    270   11000   true 5.8 320 48 true 5.9 320 53 true 5.8 330 41
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c true .096 22 1.0  error (42) 850    1700 6100    unknown .0073 .88 .014  timeout 910   9200 11000 timeout 910   9100 10000 unknown 1.2  75 15   out of memory 42    15000 510   out of memory 480     15000 5200    out of memory 230     15000 2800    true .080 23 .97 true 880    990 9700   timeout (timeout) 900    280   10000   true 6.5 330 49 true 6.0 330 51 true 7.0 370 57
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c true .13  23 .72 error (42) 850    1200 6200    unknown .0092 .93 .022  timeout 900   4400 13000 timeout 900   4500 13000 unknown 1.2  75 14   out of memory 52    15000 560   out of memory 180     15000 2300    out of memory 780     15000 7800    true .11  23 .91 true 880    460 12000   timeout (timeout) 900    4100   12000   true 5.9 330 48 true 6.9 350 58 true 6.2 330 44
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c true .13  22 .83 error (42) 850    1400 6500    unknown .0089 1.0  .028  timeout 900   4600 12000 timeout 900   4600 10000 unknown 1.3  75 15   out of memory 63    15000 700   out of memory 220     15000 2500    out of memory 200     15000 2700    true .090 23 .98 true 880    450 13000   timeout (timeout) 900    4100   11000   true 6.3 320 44 true 8.8 480 75 true 6.4 330 54
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c true .13  23 .81 error (42) 850    2000 7400    unknown .0092 .79 .030  timeout 900   4500 13000 timeout 900   4500 13000 unknown 1.3  76 16   out of memory 62    15000 730   out of memory 200     15000 2300    timeout 900     8900 9700    true .086 23 .88 true 880    430 8200   timeout (timeout) 900    4000   9300   true 6.2 330 47 true 9.0 450 75 true 6.6 330 50
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c true .090 22 .90 error (42) 850    520 6300    unknown .011  1.1  .029  false(no-overflow) 2.4 250 20 false(no-overflow) 2.4 250 21 unknown 2.0  76 24   true 900    860 9000   timeout 900     1100 14000    timeout 900     2200 12000    true .090 23 1.0  true 880    670 9800   timeout (timeout) 900    46   9800   true 7.6 370 53 true 8.8 440 59 true 7.6 350 55
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c true .10  22 .82 error (42) 850    1100 6900    unknown .0043 .93 .018  timeout 910   5900 8900 timeout 910   5900 7600 unknown 1.2  75 14   out of memory 130    15000 1600   out of memory 170     15000 2200    out of memory 570     15000 6200    true .079 23 .84 true 880    900 11000   timeout (timeout) 900    170   11000   true 6.1 320 44 true 6.5 330 48 true 6.2 330 46
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c true .10  22 .78 error (42) 850    1000 7800    unknown .0085 .78 .023  false(no-overflow) 2.4 250 24 false(no-overflow) 2.5 260 21 unknown 1.5  75 18   out of memory 340    15000 4600   timeout 900     3000 11000    timeout 900     5900 11000    true .097 23 1.1  true 880    680 11000   timeout (timeout) 900    110   10000   true 6.3 330 46 true 7.3 370 64 true 7.3 360 60
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c true 6.4   96 70    true 1.1  17 11    unknown .0096 .76 .023  true 15   400 130 true 16   440 140 unknown 1.4  75 16   true .83 120 11   out of memory 92     15000 1200    true .96  170 13    true 12     1500 150    timeout 880    670 8900   true .16 9.2 1.7 true 91   3600 920 timeout 900   1900 12000 true 76   2400 710
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 900     2600 9000    error (42) 850    1600 7300    unknown .0093 .92 .016  timeout 900   4800 12000 timeout 900   4900 11000 unknown 900    160 12000   true 890    2800 9400   timeout 900     890 13000    timeout 900     1700 12000    timeout 900     2600 12000    true 880    240 12000   timeout (timeout) 900    4200   9000   timeout 900   4100 12000 timeout 900   3100 15000 timeout 900   3700 15000
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c true .13  22 .66 error (42) 850    1200 6100    unknown .0092 .85 .026  timeout 900   5000 11000 timeout 900   5000 12000 unknown 1.2  75 17   out of memory 52    15000 630   timeout 900     9100 12000    timeout 900     14000 11000    true .13  23 .73 true 880    330 11000   timeout (timeout) 900    250   12000   true 6.6 340 49 true 7.2 370 53 true 6.1 330 46
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c true .26  26 2.8  error (42) 850    4500 3400    unknown .010  1.0  .026  timeout 910   8900 9400 timeout 910   8900 12000 unknown 330    180 4400   out of memory 34    15000 370   timeout 900     8000 13000    out of memory 680     15000 7800    out of memory 420     15000 4900    true 880    1000 10000   timeout (timeout) 900    210   12000   true 15   560 140 true 73   1200 990 true 21   740 180
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c true .13  22 .64 error (42) 850    6100 3400    unknown .0091 .76 .024  timeout 910   8900 11000 timeout 910   9000 8600 unknown 1.4  75 16   out of memory 35    15000 410   timeout 900     6700 9600    timeout 900     14000 10000    true .082 23 .87 true 880    740 11000   timeout (timeout) 900    160   10000   true 6.1 330 44 true 6.1 330 46 true 5.7 320 50
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c true .14  23 1.1  error (42) 850    4300 3900    unknown .010  .85 .031  timeout 910   8700 9700 timeout 910   8700 13000 unknown 1.4  75 17   out of memory 33    15000 320   timeout 900     14000 11000    out of memory 350     15000 4600    out of memory 510     15000 4800    true 880    1300 13000   timeout (timeout) 900    270   13000   true 6.9 330 53 true 11   490 100 true 8.1 360 65
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c true .10  22 .84 error (42) 850    750 5000    unknown .010  1.0  .020  timeout 900   2500 9800 timeout 900   2500 11000 unknown 890    320 12000   out of memory 37    15000 470   timeout 900     130 13000    timeout 900     130 11000    true .14  23 1.2  true 880    430 11000   timeout (timeout) 900    130   9500   true 7.3 370 52 true 6.4 330 54 true 6.2 330 50
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c timeout 900     2500 9500    error (42) 850    3000 7000    unknown .0095 .96 .026  timeout 910   6700 10000 timeout 910   6900 9000 unknown 140    100 1900   out of memory 170    15000 2000   out of memory 790     15000 9600    out of memory 470     15000 5700    unknown .082 23 .84 true 880    400 11000   timeout (timeout) 900    180   11000   timeout 900   5300 11000 timeout 900   5300 13000 timeout 900   5300 13000
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c true .086 22 .96 error (42) 850    1300 7800    unknown .010  .83 .015  timeout 900   4500 12000 timeout 900   4500 11000 unknown 1.5  75 17   out of memory 130    15000 1500   out of memory 430     15000 5200    timeout 900     7600 8500    true .085 23 .90 true 880    430 10000   timeout (timeout) 900    270   9900   true 6.2 320 43 true 6.2 320 46 true 5.9 320 46
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c true .095 22 1.1  error (42) 850    1700 8200    unknown .0091 .77 .033  false(no-overflow) 2.4 250 24 false(no-overflow) 2.4 260 21 unknown 500    110 5900   out of memory 110    15000 1300   unknown .10  23 .68 unknown .069 23 .73 unknown .076 23 .83 true 880    320 11000   timeout (timeout) 900    310   14000   true 7.3 330 49 true 6.7 350 54 true 6.8 340 47
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c timeout 900     450 13000    error (42) 850    650 6600    unknown .010  1.1  .018  timeout 900   2300 8300 timeout 900   2200 8900 unknown 890    130 10000   timeout 900    5100 12000   timeout 900     91 11000    timeout 900     110 12000    timeout 900     140 11000    true 880    250 9600   timeout (timeout) 900    110   11000   timeout 900   2700 13000 timeout 900   1200 14000 timeout 900   1100 12000
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c error (5) .092 22 .94 error (42) 850    9700 5500    aborted .11   8.0  1.1    error (recursion) 2.5 250 24 error (recursion) 2.4 250 21 unknown 580    15000 7000   out of memory 200    15000 2300   out of memory 380     15000 3700    out of memory 380     15000 3100    out of memory 360     15000 3000    true 880    170 13000   timeout (timeout) 900    670   10000   true 10   490 70 true 8.8 470 67 true 17   700 140
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c error (5) .11  22 .70 error (134) 370    14000 4100    aborted .11   7.9  1.4    error (recursion) 2.2 240 19 error (recursion) 2.2 240 20 unknown 450    15000 5000   out of memory 130    15000 1500   out of memory 390     15000 3300    out of memory 360     15000 3700    out of memory 340     15000 3900    true 880    250 10000   timeout (timeout) 900    210   11000   timeout 900   2200 13000 timeout 900   2800 12000 timeout 910   13000 3900
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c true .13  23 .93 error (42) 850    970 5100    unknown .0065 .90 .029  timeout 900   1200 8500 timeout 900   1200 5600 unknown 2.1  75 31   true 890    1800 7500   timeout 900     3300 12000    timeout 900     6300 12000    true .18  23 1.7  true 880    280 9700   timeout (timeout) 900    44   11000   true 6.3 330 52 true 9.9 470 74 true 6.7 330 52
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c true .12  22 .76 error (42) 850    1900 6800    unknown .0092 1.1  .028  timeout 900   4700 8400 timeout 900   4700 8100 unknown 1.2  75 13   out of memory 70    15000 770   out of memory 290     15000 4100    out of memory 360     15000 4200    true .082 23 .99 true 880    710 9300   timeout (timeout) 900    84   9800   true 6.4 320 45 true 7.8 410 66 true 6.0 320 48
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c true .097 22 .69 true 1.1  27 12    unknown .0073 1.0  .024  true 5.6 280 49 true 5.9 290 47 unknown 1.3  75 16   out of memory 34    15000 360   out of memory 140     15000 1700    true 2.0   310 23    true .099 23 .95 true 16    110 190   true .16 9.4 1.5 true 5.5 320 43 true 6.1 320 46 true 6.2 330 42
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c true .11  22 .90 error (42) 850    7100 3700    unknown .0094 1.0  .027  timeout 910   9500 11000 timeout 910   9500 11000 unknown 1.4  75 15   out of memory 34    15000 340   timeout 900     9600 13000    out of memory 610     15000 7900    true .11  23 .79 true 880    850 9800   timeout (timeout) 900    250   11000   true 6.5 350 50 true 5.5 320 51 true 5.5 320 43
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c true .095 22 .94 error (42) 850    2300 3800    unknown .010  .72 .017  timeout 900   6200 11000 timeout 900   6200 10000 unknown 1.7  100 20   timeout 900    2500 7600   timeout 900     5000 13000    timeout 900     7400 11000    true .11  23 .85 true 880    900 9800   timeout (timeout) 900    670   6700   true 7.6 340 54 true 8.7 420 63 true 7.6 350 62
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c true .13  22 .69 error (42) 850    1400 6200    unknown .0079 1.0  .024  timeout 900   5900 11000 timeout 900   5900 10000 unknown 1.2  75 14   out of memory 52    15000 560   out of memory 190     15000 2200    out of memory 890     15000 9400    true .11  23 .87 true 880    400 11000   timeout (timeout) 900    4100   10000   true 5.9 320 51 true 7.5 350 50 true 6.0 320 47
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c true .11  22 .88 error (42) 850    2800 6700    unknown .011  .92 .015  timeout 900   740 11000 timeout 900   700 11000 unknown 1.4  75 17   out of memory 61    15000 780   out of memory 870     15000 12000    out of memory 600     15000 8000    true .082 23 1.0  true 880    1000 12000   timeout (timeout) 900    15000   12000   true 5.7 320 44 true 5.8 340 47 true 6.4 330 49
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c true .096 22 .78 error (42) 850    5500 9600    unknown .0085 1.1  .036  timeout 900   1000 10000 timeout 900   800 11000 unknown 1.4  100 17   out of memory 33    15000 370   out of memory 46     15000 630    out of memory 61     15000 790    true .12  23 .91 true 880    980 9300   timeout (timeout) 900    550   10000   true 6.5 330 52 true 7.5 370 61 true 8.8 380 61
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c true .12  23 .71 error (42) 850    1100 3600    unknown .0087 .89 .022  timeout 900   2700 11000 timeout 900   2800 12000 unknown 1.4  100 18   out of memory 35    15000 470   out of memory 260     15000 3300    out of memory 140     15000 1600    true .11  23 .84 true 880    380 11000   timeout (timeout) 900    230   13000   true 6.2 320 48 true 7.3 370 55 true 8.7 380 72
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c true .14  23 .73 error (42) 850    2500 6700    unknown .0093 .82 .022  timeout 900   5100 12000 timeout 900   5100 13000 unknown 1.3  76 15   out of memory 90    15000 980   out of memory 190     15000 2300    timeout 900     4500 10000    true .088 23 1.0  true 880    370 11000   timeout (timeout) 900    4000   12000   true 7.4 340 58 true 9.3 480 81 true 7.4 340 53
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c true .13  22 .84 error (42) 850    3100 7500    unknown .0071 1.0  .024  timeout 910   8500 12000 timeout 910   8500 10000 unknown 1.3  75 15   out of memory 91    15000 960   timeout 900     8200 11000    timeout 900     12000 14000    true .099 23 1.0  true 1.4  80 17   - true 6.1 320 53 true 6.2 340 47 true 6.5 330 49
termination-crafted-lit/aviad_true-termination_true-no-overflow.c true 3.4   78 40    true 5.9  180 63    unknown .0091 1.1  .026  true 47   660 500 true 45   670 430 unknown 22    76 310   out of memory 46    15000 510   unknown .070 23 .84 unknown .097 23 .71 unknown .077 23 .72 true 880    740 12000   timeout (timeout) 900    360   7900   timeout 900   4000 12000 timeout 900   4200 13000 timeout 900   4600 13000
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c true .090 22 .84 error (1) 800    11000 3400    unknown .0093 .72 .021  error 2.6 260 22 error 2.6 260 22 unknown 1.2  76 13   out of memory 51    15000 560   timeout 900     14000 11000    out of memory 180     15000 2400    true .079 23 .84 true 1.4  85 19   unknown .16 11   1.8 true 6.7 340 54 true 6.7 330 51 true 6.9 340 50
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c true .14  23 .83 error (42) 850    1100 3600    unknown .010  1.1  .013  error 2.7 260 24 error 2.6 260 22 unknown 900    450 10000   out of memory 570    15000 6400   timeout 900     1300 11000    timeout 900     4900 9400    true .085 23 1.0  true 1.4  82 17   unknown .16 11   1.7 true 6.4 340 54 true 7.1 320 60 true 6.6 330 56
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c true .11  22 .96 error (42) 850    11000 4200    unknown .010  1.0  .023  error 2.5 250 20 error 2.5 250 23 unknown 1.2  75 12   out of memory 49    15000 490   timeout 900     2200 8800    out of memory 230     15000 2400    true .10  23 .78 true 1.4  75 15   unknown .15 10   1.9 true 7.0 340 58 true 6.6 340 52 true 6.3 320 44
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c true .11  23 .79 error (42) 850    1100 3700    unknown .010  .82 .020  error 2.5 240 22 error 2.5 240 22 unknown 900    420 11000   out of memory 550    15000 6400   timeout 900     1300 12000    timeout 900     5100 9700    true .087 23 .86 true 1.4  75 17   unknown .19 11   1.8 true 6.2 350 49 true 6.2 330 48 true 7.1 340 56
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c true .12  23 .79 error (42) 850    1100 3400    unknown .0072 .89 .022  error 2.6 260 22 error 2.5 250 24 unknown 900    430 11000   out of memory 570    15000 4800   timeout 900     1300 12000    timeout 900     4900 9600    true .084 23 1.1  true 1.4  84 16   unknown .16 11   1.9 true 6.6 350 55 true 6.6 340 53 true 6.5 330 46
termination-crafted-lit/genady_true-termination_true-no-overflow.c true .20  24 2.4  true 4.6  130 58    unknown .012  .95 .025  timeout 900   750 11000 timeout 900   740 12000 unknown 54    75 690   true 1.4  220 15   out of memory 78     15000 940    out of memory 69     15000 850    unknown .074 23 1.0  timeout 880    1200 8000   true .18 12   2.0 true 8.3 460 66 true 34   720 360 true 7.7 360 59
termination-crafted-lit/strchr_true-no-overflow.c true .11  22 .78 error (1) 690    11000 3500    unknown .011  .85 .021  error 2.5 250 21 error 2.5 260 21 false(no-overflow) .39 76 4.4 out of memory 46    15000 470   timeout 900     3400 8600    out of memory 230     15000 2600    true .083 23 .86 true 1.4  83 17   unknown .17 10   2.0 true 6.1 330 47 true 6.2 320 51 true 5.9 320 46
termination-numeric/Addition01_false-no-overflow.c error (5) .12  22 .72 false(no-overflow) .14 21 1.2  aborted .13   8.1  1.2    error (recursion) 2.3 240 19 error (recursion) 2.3 240 20 false(no-overflow) .56 49 6.3 out of memory 110    15000 1400   false(no-overflow) .11  23 .72 false(no-overflow) .079 23 .80 false(no-overflow) .089 23 .86 false(no-overflow) 1.6  84 19   false(no-overflow) .15 10   1.9 false(no-overflow) 5.5 340 43 false(no-overflow) 5.8 320 44 false(no-overflow) 5.8 330 43
termination-numeric/Avg_true_false-no-overflow.c error (5) .094 22 .82 false(no-overflow) .11 19 1.2  aborted .11   8.0  1.1    error (recursion) 2.4 240 22 error (recursion) 2.4 240 21 false(no-overflow) .57 50 6.7 out of memory 120    15000 1600   false(no-overflow) .090 23 1.1  false(no-overflow) .077 23 .87 false(no-overflow) .080 23 .95 false(no-overflow) 1.6  73 19   false(no-overflow) .17 10   1.6 false(no-overflow) 6.1 330 51 false(no-overflow) 5.7 320 40 false(no-overflow) 5.9 320 51
termination-numeric/Binomial_true-termination_false-no-overflow.c error (5) .092 22 .68 false(no-overflow) 19    230 220    unknown .010  .92 .018  error (recursion) 2.7 250 25 error (recursion) 2.7 250 25 false(no-overflow) 27    140 290   out of memory 61    15000 720   false(no-overflow) 11     200 160    false(no-overflow) 17     490 250    timeout 900     2700 4800    timeout 880    130 9600   false(no-overflow) .23 11   2.6 timeout 900   2100 11000 timeout 900   1100 11000 timeout 900   1200 11000
termination-numeric/Et1_true_false-no-overflow.c error (5) .10  22 .71 false(no-overflow) .13 18 1.1  aborted .11   8.1  1.1    false(no-overflow) 2.5 250 20 false(no-overflow) 2.5 250 22 false(no-overflow) .46 49 6.4 false(no-overflow) 3.6  78 45   false(no-overflow) .077 23 .93 false(no-overflow) .10  23 .94 false(no-overflow) .097 23 1.0  false(no-overflow) 1.7  78 20   false(no-overflow) .18 10   1.7 false(no-overflow) 6.3 340 53 false(no-overflow) 5.6 330 42 false(no-overflow) 6.0 330 43
termination-numeric/Et2_true_false-no-overflow.c error (5) .12  22 .74 false(no-overflow) .12 19 1.2  aborted .12   8.2  1.0    error (recursion) 2.4 240 21 error (recursion) 2.4 240 21 false(no-overflow) .60 49 7.4 false(no-overflow) 8.6  140 110   false(no-overflow) .092 23 1.0  false(no-overflow) .10  23 .91 false(no-overflow) .11  23 .65 false(no-overflow) 1.7  81 23   false(no-overflow) .15 10   2.0 false(no-overflow) 6.3 340 51 false(no-overflow) 5.8 320 50 false(no-overflow) 6.0 330 42
termination-numeric/Et3_true_false-no-overflow.c error (5) .10  22 .71 false(no-overflow) .15 18 .99 aborted .11   8.1  1.2    false(no-overflow) 2.4 250 23 false(no-overflow) 2.5 250 22 false(no-overflow) .55 49 7.4 false(no-overflow) 2.6  65 32   false(no-overflow) .074 23 1.1  false(no-overflow) .074 23 1.0  false(no-overflow) .11  23 .80 false(no-overflow) 1.7  85 19   false(no-overflow) .16 10   1.7 false(no-overflow) 6.2 350 44 false(no-overflow) 5.6 320 42 false(no-overflow) 5.6 320 48
termination-numeric/Et4_true_false-no-overflow.c error (5) .098 22 .85 false(no-overflow) .14 19 1.0  aborted .12   8.3  1.2    false(no-overflow) 2.9 250 23 false(no-overflow) 2.6 250 26 false(no-overflow) .47 50 5.1 false(no-overflow) 5.3  140 72   false(no-overflow) .11  23 .77 false(no-overflow) .11  23 .86 false(no-overflow) .082 23 .86 false(no-overflow) 1.7  77 20   false(no-overflow) .15 11   1.7 false(no-overflow) 5.5 320 45 false(no-overflow) 5.6 320 48 false(no-overflow) 6.3 330 45
termination-numeric/MultCommutative_false-no-overflow.c error (5) .12  22 .62 false(no-overflow) .16 19 1.2  aborted .11   8.4  1.2    error (recursion) 2.4 240 22 error (recursion) 2.3 240 21 unknown 480    15000 6700   out of memory 150    15000 1700   false(no-overflow) .14  23 1.1  false(no-overflow) .14  23 1.4  false(no-overflow) .14  23 1.6  false(no-overflow) 1.6  87 21   false(no-overflow) .21 11   2.6 false(no-overflow) 8.8 470 65 false(no-overflow) 11   470 86 false(no-overflow) 13   500 98
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c error (5) .083 22 .73 false(no-overflow) 1.3  77 14    aborted .13   44    1.8    error (recursion) 2.4 260 21 error (recursion) 2.4 250 23 false(no-overflow) 1.8  140 20   false(no-overflow) 8.5  340 88   false(no-overflow) 3.3   200 29    false(no-overflow) 5.7   340 50    false(no-overflow) 8.2   480 64    timeout 880    83 11000   false(no-overflow) 6.7  36   81   unknown 98   1100 1100 timeout 900   930 11000 timeout 900   1400 10000
termination-numeric/Ackermann01_true-termination_true-no-overflow.c error (5) .12  22 .77 error (42) 850    320 3500    aborted .11   8.2  1.2    error (recursion) 2.5 250 20 error (recursion) 2.4 240 21 out of memory (false(no-overflow)) 460    15000 5600   out of memory 140    15000 1800   timeout 900     5600 6600    timeout 900     4800 8800    timeout 900     5300 7600    true 880    280 7900   timeout (timeout) 900    4300   13000   timeout 900   7300 11000 timeout 900   1300 11000 timeout 910   13000 4700
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c error (5) .11  22 .85 error (42) 850    3900 7200    aborted .11   8.4  1.1    error (recursion) 2.3 240 20 error (recursion) 2.3 250 22 unknown 1.6  50 17   true 2.4  160 27   timeout 900     8500 11000    out of memory 540     15000 6500    out of memory 380     15000 4500    true 880    210 10000   timeout (timeout) 900    280   11000   timeout 900   3100 13000 timeout 900   4500 13000 timeout 900   3300 13000
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c error (5) .096 22 .80 error (42) 850    230 2500    aborted .11   8.3  1.1    error (recursion) 2.3 260 20 error (recursion) 2.2 250 18 unknown 380    15000 4600   out of memory 95    15000 1200   timeout 900     9700 9900    timeout 900     1200 9700    timeout 900     1500 11000    true 880    240 9400   timeout (timeout) 900    300   13000   timeout 900   5800 13000 timeout 900   1400 11000 timeout 900   5400 13000
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c error (5) .082 22 .82 out of memory 560    15000 4800    aborted .16   8.1  1.1    error (recursion) 2.4 240 20 error (recursion) 2.4 240 22 unknown 1.2  49 15   true .73 45 8.5 out of memory 570     15000 7100    out of memory 270     15000 3000    out of memory 230     15000 2600    true 880    250 11000   timeout (timeout) 900    310   11000   true 6.3 320 55 true 7.3 400 62 true 6.5 330 55
termination-numeric/LogRecursive_true-termination_true-no-overflow.c error (5) .12  22 .72 true 3.4  89 37    aborted .11   8.1  1.1    error (recursion) 2.3 240 19 error (recursion) 2.3 240 18 unknown 2.0  77 22   true 17    510 180   timeout 900     11000 7800    true 28     980 310    true 41     1400 440    timeout 880    91 11000   true 12    160   140   timeout 900   4600 14000 timeout 900   2900 12000 timeout 900   1300 13000
termination-numeric/Parts_true-termination_true-no-overflow.c error (5) .094 22 .77 error (42) 850    760 5600    unknown .010  .95 .021  error (recursion) 3.1 260 28 error (recursion) 3.2 260 30 unknown 900    430 9000   out of memory 67    15000 800   timeout 900     12000 11000    timeout 900     1100 9800    timeout 900     990 8200    true 880    380 9500   timeout (timeout) 900    5500   11000   timeout 900   5300 11000 timeout 900   1400 12000 timeout 910   13000 7500
termination-numeric/TwoWay_true-termination_true-no-overflow.c error (5) .11  22 .79 error (42) 850    2500 4200    aborted .11   8.0  1.3    error (recursion) 2.4 240 20 error (recursion) 2.4 250 23 unknown 5.7  150 49   true 22    340 260   timeout 900     6900 4600    timeout 900     12000 5800    timeout 900     14000 5500    error (1) 740    100 8300   timeout (timeout) 900    350   11000   unknown 14   490 130 timeout 900   810 13000 unknown 94   650 1100
termination-numeric/gcd01_true-termination_true-no-overflow.c error (5) .099 22 .78 error (42) 850    5000 4400    aborted .11   8.0  1.3    error (recursion) 2.3 240 20 error (recursion) 2.3 250 20 unknown 420    15000 5000   out of memory 110    15000 1500   timeout 900     960 12000    timeout 900     580 11000    timeout 900     600 10000    true 880    94 10000   timeout (timeout) 900    140   13000   true 7.4 340 64 true 8.4 450 74 true 6.6 320 47
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c true .60  34 6.2  true 1.3  27 15    unknown .010  .70 .022  true 6.9 300 59 true 7.0 300 61 unknown 1.4  76 16   out of memory 33    15000 310   out of memory 180     15000 2400    true 1.9   300 22    true 3.6   540 48    true 21    120 230   true .39 11   5.0 true 42   1400 350 true 82   1600 1200 true 61   1300 660
termination-numeric/recHanoi02_true-termination_true-no-overflow.c error (5) .081 22 .73 true 1.1  22 14    aborted .12   8.0  .97   error (recursion) 2.3 240 18 error (recursion) 2.3 250 23 unknown 1.7  49 18   true 1.3  49 16   timeout 900     3400 10000    true 9.0   170 140    true 12     250 140    error (1) 2.0  76 27   true .49 13   5.5 timeout 900   2100 12000 timeout 900   1500 15000 timeout 900   2800 9300
termination-numeric/rec_counter1_true-termination_true-no-overflow.c error (5) .099 22 .75 error (42) 850    5700 3600    unknown .010  .97 .023  error (recursion) 2.3 250 21 error (recursion) 2.2 250 20 unknown 2.4  97 33   timeout 900    1800 12000   timeout 900     7800 12000    timeout 900     11000 10000    timeout 900     13000 10000    true 880    340 9100   timeout (timeout) 900    830   11000   timeout 900   5400 11000 timeout 900   4200 14000 timeout 900   3400 13000
termination-numeric/rec_counter3_true-termination_true-no-overflow.c error (5) .097 22 .74 error (42) 850    5700 3800    unknown .0085 1.0  .029  error (recursion) 2.3 240 20 error (recursion) 2.3 240 21 unknown 2.4  99 32   timeout 900    1800 8600   timeout 900     7600 10000    timeout 900     10000 11000    timeout 900     12000 9800    true 880    320 9600   timeout (timeout) 900    890   14000   timeout 900   5300 13000 timeout 900   3000 14000 timeout 900   3300 14000
termination-numeric/twisted_true-termination_true-no-overflow.c timeout 900     24 10000    error (42) 850    4500 3100    unknown .0081 .74 .027  timeout 900   4900 9300 timeout 900   5100 10000 timeout (false(no-overflow)) 900    6600 10000   out of memory 32    15000 270   unknown .10  23 .76 unknown .070 23 .96 unknown .078 23 .82 true 880    200 11000   timeout (timeout) 900    2200   9800   timeout 900   1400 12000 timeout 900   1100 12000 timeout 900   1400 12000
recursive/Addition02WithOverflowBug_false-no-overflow.c error (5) .096 22 .87 false(no-overflow) .12 19 1.4  aborted .18   44    1.3    error (recursion) 2.2 240 20 error (recursion) 2.3 240 18 false(no-overflow) .57 50 7.1 out of memory 110    15000 1300   false(no-overflow) .11  23 .73 false(no-overflow) .076 23 1.0  false(no-overflow) .10  23 .94 false(no-overflow) 1.6  72 20   false(no-overflow) .16 10   1.8 false(no-overflow) 5.5 330 47 false(no-overflow) 6.5 340 50 false(no-overflow) 6.9 330 48
recursive/Addition03_false-no-overflow.c error (5) .13  22 .73 false(no-overflow) .16 19 1.2  aborted .11   8.2  1.4    error (recursion) 2.3 240 21 error (recursion) 2.3 240 22 false(no-overflow) .56 49 5.8 out of memory 110    15000 1400   false(no-overflow) .080 23 .83 false(no-overflow) .11  23 .77 false(no-overflow) .081 23 .96 false(no-overflow) 1.6  74 22   false(no-overflow) .16 10   1.6 false(no-overflow) 6.5 360 49 false(no-overflow) 6.3 330 41 false(no-overflow) 6.3 330 46
recursive/EvenOdd03WithOverflowBug_false-no-overflow.c error (5) .11  22 .84 false(no-overflow) .12 17 .96 aborted .11   8.4  1.2    false(no-overflow) 2.5 250 19 false(no-overflow) 2.4 250 22 unknown 64    73 900   false(no-overflow) 2.2  160 28   unknown .085 23 .87 unknown .076 23 .85 unknown .080 23 .74 false(no-overflow) 1.6  81 21   false(no-overflow) .17 10   2.0 false(no-overflow) 6.1 320 46 false(no-overflow) 5.5 320 46 false(no-overflow) 5.9 320 47
recursive/Ackermann01_true-unreach-call_true-no-overflow.c error (5) .094 22 .71 error (42) 850    300 2400    aborted .11   8.6  1.4    error (recursion) 2.3 240 23 error (recursion) 2.3 240 20 out of memory (false(no-overflow)) 450    15000 6100   out of memory 150    15000 2000   timeout 900     5600 8100    timeout 900     4700 10000    timeout 900     5300 11000    true 880    270 9800   timeout (timeout) 900    4300   12000   timeout 900   7100 11000 timeout 900   1300 10000 timeout 910   13000 4600
recursive/Ackermann02_false-unreach-call_true-no-overflow_true-termination.c error (5) .094 22 .64 error (42) 850    320 4200    aborted .12   8.5  1.2    error (recursion) 2.3 240 20 error (recursion) 2.4 240 20 out of memory (false(no-overflow)) 450    15000 5900   out of memory 150    15000 2000   timeout 900     5700 7000    timeout 900     4700 8000    timeout 900     5300 9200    true 880    270 7400   timeout (timeout) 900    4700   11000   timeout 900   6500 12000 timeout 900   1300 10000 timeout 910   13000 4600
recursive/Ackermann03_true-unreach-call_true-no-overflow.c error (5) .12  22 .78 error (42) 850    320 3500    aborted .11   8.3  1.2    error (recursion) 2.3 250 22 error (recursion) 2.4 240 21 out of memory (false(no-overflow)) 450    15000 6600   out of memory 150    15000 2100   timeout 900     5700 6900    timeout 900     4800 9300    timeout 900     5500 11000    true 880    270 11000   timeout (timeout) 900    4300   11000   timeout 900   6600 12000 timeout 900   1400 12000 timeout 910   13000 5100
recursive/Ackermann04_true-unreach-call_true-no-overflow.c error (5) .095 22 .77 error (42) 850    320 3200    aborted .11   8.4  1.3    error (recursion) 2.4 250 20 error (recursion) 2.4 240 21 out of memory (false(no-overflow)) 450    15000 6200   out of memory 150    15000 1900   timeout 900     5700 7100    timeout 900     4800 8200    timeout 900     5500 8400    true 880    270 8900   timeout (timeout) 900    4300   11000   timeout 900   6300 11000 timeout 900   1500 11000 timeout 910   13000 4400
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c error (5) .12  22 .70 error (134) 680    15000 6300    aborted .13   44    1.6    error (recursion) 2.4 240 20 error (recursion) 2.3 240 21 unknown 400    15000 5100   out of memory 120    15000 1600   out of memory 570     15000 3500    out of memory 370     15000 3400    out of memory 330     15000 2900    true 880    280 9700   timeout (timeout) 900    69   11000   timeout 900   3700 12000 timeout 900   4300 15000 timeout 900   3400 11000
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c error (5) .11  22 .89 error (134) 740    15000 7300    aborted .11   8.0  1.2    error (recursion) 2.3 250 21 error (recursion) 2.3 240 18 unknown 400    15000 6200   out of memory 120    15000 1300   out of memory 560     15000 4000    out of memory 340     15000 3500    out of memory 320     15000 3700    true 880    280 10000   timeout (timeout) 900    190   12000   timeout 900   4000 13000 timeout 900   4900 16000 timeout 900   3500 13000
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c error (5) .081 22 .81 error (42) 850    6800 7600    segmentation fault .074  44    .71   error (recursion) 2.4 250 21 error (recursion) 2.3 240 19 unknown 400    15000 5400   out of memory 120    15000 1600   out of memory 570     15000 4100    out of memory 350     15000 3300    out of memory 340     15000 3300    true 880    220 11000   timeout (timeout) 900    140   10000   timeout 900   3500 14000 timeout 900   2000 13000 timeout 900   2900 14000
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c error (5) .089 22 .90 true .21 17 1.6  unknown .11   8.3  1.2    error (recursion) 2.3 250 19 error (recursion) 2.3 240 21 unknown 1.3  49 16   true .49 44 5.9 timeout 900     920 9100    true .11  23 .72 true .12  23 .70 true 1.2  73 15   true .15 9.2 1.7 true 5.4 320 45 true 5.7 320 44 true 5.5 320 41
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c error (5) .11  22 .83 error (42) 850    3800 6400    aborted .11   7.9  1.0    error (recursion) 2.3 240 23 error (recursion) 2.4 250 19 unknown 64    75 820   true 2.4  160 29   unknown .11  23 .65 unknown .11  23 .66 unknown .10  23 .84 true 880    220 11000   timeout (timeout) 900    270   13000   timeout 900   4700 13000 timeout 900   4600 15000 timeout 900   3800 13000
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c error (5) .098 22 .87 error (42) 850    3400 5700    aborted .11   7.9  1.2    error (recursion) 2.4 250 20 error (recursion) 2.3 240 20 unknown 64    75 970   true 2.4  160 28   unknown .11  23 .64 unknown .072 23 .90 unknown .095 23 .82 true 880    220 12000   timeout (timeout) 900    310   11000   timeout 900   5200 13000 timeout 900   3900 13000 timeout 900   4200 13000
recursive/Fibonacci01_true-unreach-call_true-no-overflow.c error (5) .10  22 .76 error (42) 850    240 2900    aborted .13   8.4  1.1    error (recursion) 2.3 240 22 error (recursion) 2.3 240 20 unknown 860    15000 11000   out of memory 92    15000 1000   timeout 900     9700 10000    timeout 900     1300 10000    timeout 900     1500 10000    true 880    240 9600   timeout (timeout) 900    230   8000   timeout 900   5800 11000 timeout 900   1300 11000 timeout 900   5400 11000
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c error (5) .11  22 .76 true .52 18 4.7  aborted .12   8.1  1.3    error (recursion) 2.2 240 21 error (recursion) 2.3 240 18 unknown 1.5  49 17   true .14 23 1.8 out of memory 300     15000 4500    true .99  32 13    true 1.8   46 22    true 31    120 390   true .16 9.2 1.7 true 27   1400 210 timeout 900   1100 12000 timeout 910   13000 5400
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c error (5) .10  22 .75 error (42) 850    220 2200    aborted .12   8.2  1.1    error (recursion) 2.4 250 22 error (recursion) 2.3 250 19 unknown 380    15000 5300   out of memory 94    15000 1100   timeout 900     3900 9600    timeout 900     1200 8100    timeout 900     1400 8200    true 880    240 8600   timeout (timeout) 900    250   9900   timeout 900   5800 11000 timeout 900   1400 13000 timeout 900   5300 10000
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c error (5) .10  22 .97 error (42) 850    220 2300    aborted .11   8.0  1.1    error (recursion) 2.3 240 19 error (recursion) 2.4 240 21 unknown 380    15000 4900   out of memory 97    15000 1100   timeout 900     9700 9200    timeout 900     1200 8700    timeout 900     1400 8500    true 880    250 9000   timeout (timeout) 900    300   8600   timeout 900   5700 13000 timeout 900   1300 12000 timeout 900   5300 11000
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c error (5) .094 22 1.0  error (42) 850    230 2500    aborted .11   8.2  1.2    error (recursion) 2.3 250 19 error (recursion) 2.3 240 21 unknown 380    15000 4600   out of memory 96    15000 1400   timeout 900     9700 9700    timeout 900     2300 9500    timeout 900     1400 7900    true 880    240 9600   timeout (timeout) 900    310   9900   timeout 900   5600 12000 timeout 900   1300 12000 timeout 900   5400 12000
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c error (5) .084 22 .68 error (42) 850    1900 3800    aborted .11   8.5  1.1    error (recursion) 2.4 250 21 error (recursion) 2.4 240 22 out of memory (false(no-overflow)) 510    15000 5900   out of memory 130    15000 1700   timeout 900     9900 10000    timeout 900     5700 8400    timeout 900     6500 10000    true 880    220 10000   timeout (timeout) 900    120   10000   true 7.8 390 62 true 7.8 380 60 true 8.4 400 60
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c error (5) .11  22 .67 error (42) 850    2000 4200    aborted .095  7.9  1.2    error (recursion) 2.3 240 20 error (recursion) 2.3 250 19 out of memory (false(no-overflow)) 500    15000 7100   out of memory 130    15000 1800   timeout 900     10000 8800    timeout 900     5700 7700    timeout 900     6100 8400    true 880    220 11000   timeout (timeout) 900    120   9300   true 7.8 380 56 true 7.7 390 58 true 7.8 390 59
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c error (5) .097 22 .85 error (42) 850    400 3300    aborted .11   8.3  1.3    error (recursion) 2.3 240 21 error (recursion) 2.3 240 22 unknown 480    15000 6400   out of memory 150    15000 1900   timeout 900     11000 7600    timeout 900     4300 7100    timeout 900     4100 7400    true 880    250 12000   timeout (timeout) 900    400   9500   timeout 900   1000 14000 timeout 900   960 13000 error (1) 400   830 5500
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c error (5) .13  22 .63 error (42) 850    280 2600    aborted .12   8.3  1.5    error (recursion) 2.5 240 24 error (recursion) 2.5 250 26 unknown 530    15000 7600   out of memory 190    15000 2400   out of memory 250     15000 1700    out of memory 330     15000 2500    out of memory 410     15000 3400    true 880    230 9500   timeout (timeout) 900    53   13000   timeout 900   1500 11000 timeout 900   1300 12000 timeout 900   6900 9800
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c error (5) .084 22 1.0  error (42) 850    5000 4100    aborted .11   8.4  1.2    error (recursion) 2.3 240 21 error (recursion) 2.3 240 20 unknown 420    15000 5400   out of memory 120    15000 1400   timeout 900     960 10000    timeout 900     980 9500    timeout 900     1000 9300    true 880    91 10000   timeout (timeout) 900    140   14000   true 7.4 340 60 true 8.9 460 64 true 7.3 340 53
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c error (5) .095 22 .92 error (42) 850    7100 3500    aborted .13   8.5  1.2    error (recursion) 2.3 240 24 error (recursion) 2.4 250 24 unknown 420    15000 5300   out of memory 110    15000 1500   timeout 900     500 10000    timeout 900     930 10000    timeout 900     950 9500    true 880    120 12000   timeout (timeout) 900    68   11000   true 13   510 88 true 11   480 100 true 23   790 220
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c error (5) .12  22 .67 error (42) 850    1400 2100    aborted .12   8.1  1.2    error (recursion) 2.6 260 23 error (recursion) 2.4 240 21 out of memory (false(no-overflow)) 410    15000 5000   out of memory 110    15000 1500   out of memory 610     15000 4800    out of memory 600     15000 5900    out of memory 560     15000 4800    error (1) 84    180 1200   timeout (timeout) 900    1800   13000   timeout 900   5300 13000 timeout 900   1200 14000 timeout 910   13000 6000
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c error (5) .12  22 .72 true 1.1  22 14    aborted .11   8.0  1.4    error (recursion) 2.3 240 18 error (recursion) 2.3 240 21 unknown 1.9  49 20   true 1.3  50 17   timeout 900     3300 9400    true 9.1   170 120    true 12     250 170    error (1) 1.9  74 26   true .52 12   5.8 timeout 900   2200 13000 timeout 900   1600 13000 timeout 900   2700 11000
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c error (5) .098 22 .77 true 1.2  24 11    aborted .11   8.0  1.1    error (recursion) 2.3 240 21 error (recursion) 2.3 240 23 unknown 1.7  49 19   true 1.3  50 15   timeout 900     3300 13000    true 9.0   170 120    true 12     250 140    error (1) 13    85 180   true .57 12   7.0 timeout 900   2200 14000 timeout 900   1800 14000 timeout 900   2600 11000
bitvector/jain_1_false-no-overflow.i false(no-overflow) .095 22 .86 false(no-overflow) .12 17 1.1  unknown .0092 .92 .020  false(no-overflow) 2.4 240 22 false(no-overflow) 2.4 240 22 false(no-overflow) .56 75 5.7 out of memory 52    15000 530   false(no-overflow) .074 23 .75 false(no-overflow) .097 23 .78 false(no-overflow) .081 23 .84 false(no-overflow) 1.8  98 22   false(no-overflow) .17 10   2.2 false(no-overflow) 5.4 320 38 false(no-overflow) 5.5 320 38 false(no-overflow) 5.8 340 42
bitvector/jain_2_false-no-overflow.i false(no-overflow) .11  23 .88 false(no-overflow) .11 18 1.2  unknown .0044 1.0  .021  false(no-overflow) 2.5 240 21 false(no-overflow) 2.3 250 22 false(no-overflow) .63 76 8.2 out of memory 56    15000 680   false(no-overflow) .11  23 .84 false(no-overflow) .10  23 .89 false(no-overflow) .096 23 .90 false(no-overflow) 2.0  110 23   false(no-overflow) .15 10   1.5 false(no-overflow) 5.4 320 39 false(no-overflow) 5.6 320 45 false(no-overflow) 5.6 320 39
bitvector/jain_4_false-no-overflow.i false(no-overflow) .10  23 .93 false(no-overflow) .13 20 1.3  unknown .0086 .86 .021  false(no-overflow) 2.4 240 21 false(no-overflow) 2.4 240 19 false(no-overflow) 29    85 320   out of memory 67    15000 690   false(no-overflow) .080 23 .86 false(no-overflow) .095 23 .79 false(no-overflow) .12  23 .78 false(no-overflow) 1.9  110 29   false(no-overflow) .18 10   1.7 false(no-overflow) 5.8 320 48 false(no-overflow) 5.5 320 48 false(no-overflow) 6.2 320 42
bitvector/jain_5_false-no-overflow.i timeout 900     1300 8800    out of memory 260    15000 3600    unknown .0071 .88 .020  timeout 900   3900 12000 timeout 900   1400 11000 unknown 900    2200 8000   false(no-overflow) 3.3  350 40   out of memory 110     15000 1500    out of memory 97     15000 1300    out of memory 150     15000 2100    timeout 880    300 11000   false(no-overflow) 1.8  360   19   timeout 900   4800 14000 timeout 900   1200 13000 timeout 900   740 12000
bitvector/jain_6_false-no-overflow.i false(no-overflow) .12  26 1.1  false(no-overflow) .13 22 1.3  unknown .010  .82 .018  false(no-overflow) 2.4 240 20 false(no-overflow) 2.5 250 23 false(no-overflow) 24    80 260   out of memory 70    15000 670   false(no-overflow) .11  23 .98 false(no-overflow) .083 23 .89 false(no-overflow) .095 23 .74 false(no-overflow) 2.4  120 26   false(no-overflow) .15 10   2.3 false(no-overflow) 5.5 320 48 false(no-overflow) 5.5 320 50 false(no-overflow) 5.3 320 41
bitvector/jain_7_false-no-overflow.i false(no-overflow) .11  24 1.0  false(no-overflow) .15 19 1.1  unknown .010  .72 .021  false(no-overflow) 2.3 240 20 false(no-overflow) 2.5 250 20 false(no-overflow) 93    96 990   out of memory 65    15000 720   false(no-overflow) .10  23 .86 false(no-overflow) .079 23 .76 false(no-overflow) .10  23 .86 false(no-overflow) 2.2  120 27   false(no-overflow) .16 10   1.8 false(no-overflow) 5.4 320 45 false(no-overflow) 5.7 320 43 false(no-overflow) 5.5 320 41
bitvector/modulus_false-no-overflow.i false(no-overflow) .12  25 1.0  false(no-overflow) .10 17 .84 unknown .0076 .88 .025  false(no-overflow) 2.5 250 21 false(no-overflow) 2.8 280 27 false(no-overflow) .48 100 6.0 out of memory 880    15000 10000   false(no-overflow) .10  23 .82 false(no-overflow) .091 23 .78 false(no-overflow) .077 23 .83 false(no-overflow) 1.8  83 20   false(no-overflow) .20 11   2.5 error (1) 5.6 330 48 error (1) 5.8 320 46 error (1) 6.1 350 50
bitvector/byte_add_1_true-unreach-call_true-no-overflow.i true .14  24 .94 true .37 18 3.6  unknown .0050 .79 .021  true 23   510 180 true 23   590 180 unknown 1.8  110 21   out of memory 140    15000 1700   out of memory 450     15000 5000    true .21  25 3.0  true .12  24 1.5  true 2.6  160 29   true .16 9.3 2.2 true 6.2 320 47 true 7.4 350 56 true 7.4 370 61
bitvector/byte_add_2_true-unreach-call_true-no-overflow.i true .14  23 .93 true .34 18 4.3  unknown .0091 .76 .022  true 22   460 160 true 21   570 170 unknown 1.8  110 20   out of memory 140    15000 1800   out of memory 380     15000 5100    true .26  26 2.7  true .13  24 1.4  true 2.6  150 34   true .18 9.4 1.8 true 7.2 340 60 true 7.8 360 59 true 7.0 340 55
bitvector/byte_add_false-unreach-call_true-no-overflow.i true .13  23 .92 true .35 18 4.3  unknown .011  .93 .020  true 86   1500 1100 true 85   1400 900 unknown 2.1  110 26   out of memory 200    15000 2200   out of memory 450     15000 5300    true .30  30 3.7  true .14  24 1.9  true 2.5  140 31   true .18 9.5 2.1 true 6.7 330 54 true 8.2 360 63 true 6.2 330 48
bitvector/gcd_1_true-unreach-call_true-no-overflow.i true .12  24 1.1  true .27 22 2.8  unknown .011  1.0  .025  true 4.9 290 50 true 5.2 290 55 unknown 500    98 6600   out of memory 35    15000 400   unknown .089 23 .83 unknown .11  23 .67 unknown .073 23 .88 true 1.4  81 17   true .16 9.2 1.4 true 6.1 320 44 true 6.4 320 49 true 7.8 380 64
bitvector/gcd_2_true-unreach-call_true-no-overflow.i true .10  23 .97 true .80 31 9.6  unknown .0095 1.0  .019  true 76   430 660 true 74   440 700 unknown 20    75 240   out of memory 36    15000 430   unknown .086 23 .67 unknown .076 23 .84 unknown .094 23 .72 true 1.4  80 18   true .15 9.4 1.8 true 7.0 340 49 true 6.3 320 50 true 6.2 330 47
bitvector/gcd_3_true-unreach-call_true-no-overflow.i true .10  23 .96 true .83 31 8.8  unknown .011  .90 .019  true 75   430 740 true 76   430 570 unknown 20    76 250   out of memory 36    15000 390   unknown .071 23 1.0  unknown .098 23 .79 unknown .10  23 .68 true 1.4  78 17   true .18 9.4 1.6 true 7.0 340 52 true 6.5 330 50 true 6.6 330 49
bitvector/gcd_4_true-unreach-call_true-no-overflow.i true 1.2   39 14    true .30 17 2.7  unknown .0098 1.0  .020  true 2.8 260 23 true 2.9 250 25 unknown 500    110 6400   true .77 100 8.2 unknown .083 23 .70 unknown .095 23 .93 unknown .091 23 1.0  true 1.5  88 21   true .15 9.2 1.6 true 9.9 480 77 true 20   530 170 true 11   480 97
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i true .13  24 .85 true .55 17 6.4  unknown .0068 .77 .029  true 4.2 280 33 true 4.1 260 36 unknown 1.4  76 16   true .70 100 8.6 timeout 900     2600 14000    true .13  23 1.3  true .078 23 1.1  true 1.3  66 14   true .18 9.4 1.8 true 5.3 320 43 true 5.4 320 43 true 5.9 330 44
bitvector/jain_1_true-unreach-call_true-no-overflow.i true .11  22 .68 error (42) 850    14000 6500    unknown .0090 .99 .017  timeout 910   8800 7900 timeout 910   8800 7900 unknown 1.2  75 13   out of memory 74    15000 790   timeout 900     790 9900    out of memory 320     15000 4300    true .080 23 .90 true 1.3  80 14   true .16 9.3 1.7 true 5.8 320 40 true 5.2 310 40 true 5.2 320 43
bitvector/jain_2_true-unreach-call_true-no-overflow.i true .088 22 .72 error (42) 850    14000 6900    unknown .010  1.1  .030  timeout 910   9700 8400 timeout 910   9500 8200 unknown 1.2  75 14   out of memory 66    15000 690   timeout 900     780 11000    out of memory 310     15000 3700    true .099 23 .75 true 1.3  74 17   true .15 9.3 1.6 true 5.9 330 42 true 5.1 320 40 true 6.1 330 50
bitvector/jain_4_true-unreach-call_true-no-overflow.i true .11  22 .73 error (42) 850    14000 8900    unknown .010  .96 .027  timeout 910   10000 8500 timeout 910   10000 9400 unknown 1.2  75 13   out of memory 61    15000 590   timeout 900     780 11000    out of memory 310     15000 3800    true .094 23 .74 true 1.3  79 18   true .15 9.6 1.6 true 5.5 330 47 true 5.3 330 47 true 6.3 330 43
bitvector/jain_5_true-unreach-call_true-no-overflow.i true .083 22 .78 out of memory 260    15000 2900    unknown .010  1.0  .024  timeout 900   3900 12000 timeout 900   990 11000 unknown 1.2  75 15   true 5.1  1200 59   timeout 900     12000 13000    out of memory 340     15000 5000    true .099 23 .71 true 1.3  78 15   true .14 9.6 1.4 true 6.0 330 44 true 5.3 320 40 true 5.2 320 44
bitvector/jain_6_true-unreach-call_true-no-overflow.i true .10  23 .74 error (42) 850    14000 6300    unknown .0097 1.0  .024  timeout 910   10000 9300 timeout 910   10000 10000 unknown 1.2  75 13   out of memory 60    15000 660   timeout 900     760 9500    out of memory 320     15000 4100    true .10  23 .78 true 1.3  75 17   true .16 9.2 1.8 true 5.7 330 44 true 6.0 340 42 true 5.8 320 40
bitvector/jain_7_true-unreach-call_true-no-overflow.i true .12  22 .82 error (42) 850    15000 7800    unknown .010  .87 .020  timeout 910   5500 7100 timeout 910   5600 5300 unknown 1.2  75 14   out of memory 60    15000 720   timeout 900     760 10000    out of memory 310     15000 3600    true .079 23 .76 true 1.3  76 16   true .15 9.3 1.6 true 6.3 340 52 true 6.0 330 51 true 5.3 320 41
bitvector/modulus_true-unreach-call_true-no-overflow.i true .13  24 .92 true 160    1000 850    unknown .011  1.0  .028  timeout 900   4100 7400 timeout 900   4200 9100 unknown 900    620 7100   true 900    15000 10000   timeout 900     4800 12000    timeout 900     2700 6500    true .095 23 .96 true 1.4  72 18   true 270    56   3300   error (1) 5.5 310 40 error (1) 6.0 320 46 error (1) 5.7 320 41
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i true .089 22 .94 true .43 17 4.0  unknown .010  .88 .015  true 3.0 250 24 true 3.1 260 28 unknown 1.4  76 15   true 1.7  170 18   out of memory 140     15000 1800    true .12  23 1.2  true .081 23 .91 true 2.1  87 25   true .14 9.4 1.4 true 5.4 310 46 true 5.7 320 47 true 5.8 320 48
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i true .098 22 .89 true .44 17 4.8  unknown .010  .88 .018  true 32   760 280 true 32   730 260 unknown 1.4  76 16   true 1.5  190 16   out of memory 140     15000 1800    true .16  23 1.5  true .12  23 .79 true 2.1  95 26   true .16 9.3 1.7 true 6.8 340 47 true 5.7 320 46 true 6.6 340 54
bitvector/parity_true-unreach-call_true-no-overflow.i true .097 23 .86 true .86 21 11    unknown .0093 .93 .016  true 14   440 120 true 16   430 110 unknown 1.4  75 15   out of memory 47    15000 520   timeout 900     700 6900    true 9.7   210 110    true .087 23 .96 true 1.4  77 17   true .15 9.4 1.8 true 5.6 320 38 true 5.3 320 46 true 5.6 320 46
bitvector/sum02_false-unreach-call_true-no-overflow.i true .081 23 .84 error (42) 850    8400 4000    unknown .010  .88 .019  timeout 900   1800 9900 timeout 900   1800 10000 unknown 1.2  75 13   out of memory 50    15000 540   timeout 900     770 9000    out of memory 200     15000 2800    true .091 23 1.0  true 1.3  73 16   true .16 9.4 1.9 true 5.8 330 45 true 6.0 320 48 true 5.7 320 40
bitvector/sum02_true-unreach-call_true-no-overflow.i true .11  24 .91 error (42) 850    7000 2600    unknown .0092 .89 .027  timeout 900   1800 11000 timeout 900   1800 11000 unknown 1.2  75 16   out of memory 50    15000 500   timeout 900     750 9100    out of memory 210     15000 2500    true .076 23 1.1  true 1.4  80 15   true .16 9.5 1.8 true 5.4 320 42 true 16   330 200 true 5.6 320 45
../../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J)
total 328 21000 47000 220000 328 100000   550000 640000 328 11    1000 89    328 68000   480000 800000 328 68000   480000 790000 328 37000 540000 460000 328 52000 3800000 570000 328 110000 1400000 1200000 328 84000 1200000 940000 328 45000 520000 490000 328 110000   86000 1200000 327 100000   140000 1200000 328 49000 340000 650000 328 59000 240000 810000 328 51000 370000 620000
    correct results 233 48 5700 440 188 210   4900 1400 15 1.1  130 9.7  168 1300   51000 13000 168 1300   52000 13000 142 240 13000 2600 51 13000 38000 130000 149 25 3700 280 174 110 6300 1400 234 340 9200 3900 271 63000   59000 740000 204 340   2300 4100 273 3000 120000 28000 263 2300 97000 22000 270 3100 110000 28000
        correct true 95 30 2500 310 32 190   2000 1200 5 .18 42 .92 25 920   15000 10000 25 920   15000 10000 0 30 8100 29000 84000 0 25 77 2400 980 85 76 4100 1000 119 63000   46000 740000 43 290   610 3500 113 2000 62000 20000 103 990 41000 9200 110 1600 51000 15000
        correct false 138 18 3200 140 156 22   2900 180 10 .88 84 8.7  143 360   36000 3200 143 370   36000 3300 142 240 13000 2600 21 4500 8400 46000 149 25 3700 280 149 34 3900 440 149 260 5200 2900 152 390   13000 4400 161 49   1700 550 160 1000 54000 8100 160 1300 55000 13000 160 1500 56000 13000
    correct-unconfimed results 4 45 1200 400 12 32   620 360 0 3 42   1300 320 3 38   1300 290 17 1100 3200 14000 19 5200 22000 52000 11 27 820 360 15 99 3000 1300 15 360 4500 3900 31 26000   8900 280000 4 3.1 400 34 0 0 1 12 480 100
        correct-unconfirmed true 2 11 370 120 5 7.0 170 77 0 1 2.3 240 20 1 2.3 240 19 0 9 940 4300 10000 0 4 55 1500 690 5 77 2200 900 29 26000   8800 280000 2 1.1 25 13 0 0 1 12 480 100
        correct-unconfirmed false 2 34 860 290 7 25   450 290 0 2 39   1000 300 2 35   1000 270 17 1100 3200 14000 10 4200 18000 42000 11 27 820 360 11 45 1500 590 10 290 2300 3000 2 3.4 160 43 2 2.0 370 21 0 0 0
    incorrect results 0 0 0 9 22   2300 200 9 23   2300 200 2 480 490 6800 0 0 0 0 1 880   230 11000 0 0 0 0
        incorrect true 0 0 0 0 0 0 0 0 0 0 1 880   230 11000 0 0 0 0
        incorrect false 0 0 0 9 22   2300 200 9 23   2300 200 2 480 490 6800 0 0 0 0 0 0 0 0 0
Run set 2ls.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] cbmc.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] ceagle.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] cpa-kind.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] cpa-seq.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] depthk.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] esbmc.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] esbmc-falsi.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] esbmc-incr.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] esbmc-kind.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] smack.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] symbiotic4.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] uautomizer.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] ukojak.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other] utaipan.[sv-comp17.Overflows-BitVectors; sv-comp17.Overflows-Other]