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-te