Tool 2LS 0.5.0 CBMC 5.6 Ceagle Ceagle 1.3 @ 53cfa89 CPAchecker 1.6.1-svn 23987 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 10:44:31 CET [[ 2017-01-14 21:49:18 CET ]] [[ 2017-01-14 21:52:02 CET ]] [[ 2017-01-14 21:51:05 CET ]] [[ 2017-01-14 21:53:47 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 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 cbmc.sv-comp17.Overflows-BitVectors ceagle.sv-comp17.Overflows-BitVectors cpa-bam-bnb.sv-comp17.Overflows-BitVectors cpa-kind.sv-comp17.Overflows-BitVectors cpa-seq.sv-comp17.Overflows-BitVectors depthk.sv-comp17.Overflows-BitVectors esbmc.sv-comp17.Overflows-BitVectors esbmc-falsi.sv-comp17.Overflows-BitVectors esbmc-incr.sv-comp17.Overflows-BitVectors esbmc-kind.sv-comp17.Overflows-BitVectors smack.sv-comp17.Overflows-BitVectors symbiotic4.sv-comp17.Overflows-BitVectors uautomizer.sv-comp17.Overflows-BitVectors ukojak.sv-comp17.Overflows-BitVectors utaipan.sv-comp17.Overflows-BitVectors
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-bam-bnb -disable-java-assertions -heap 10000m [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cpa-bam-bnb.2017-01-11_1044.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cpa-bam-bnb.2017-01-11_1044.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cpa-bam-bnb.2017-01-11_1044.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cpa-bam-bnb.2017-01-11_1044.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 [[ -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) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score
signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i .14  24 .85 1 .11 18 1.1  1 .028  8.5  .22   1 .41 37 3.7 0 3.0 260 24 1 3.2 270 27 1 4.0  420 31   0 .65 110 7.6 1 .094 24 .91 1 .12  24 .81 1 .12  24 .81 1 1.5  73 20   1 .16 9.3 1.5 1 5.5 330 48 1 5.5 330 42 1 5.3 310 44 1
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i .097 24 .98 1 .14 18 .92 1 .12   8.6  1.2    1 .41 40 3.5 0 2.9 250 26 1 3.0 250 23 1 4.0  420 27   1 .65 110 7.5 1 .085 24 1.0  1 .12  24 .83 1 .12  24 .86 1 1.5  77 19   1 .16 9.2 1.5 1 6.9 340 55 1 5.5 330 41 1 6.1 340 47 1
signedintegeroverflow-regression/Division_false-no-overflow.c.i .12  24 .82 1 .13 18 .86 1 .11   8.1  1.2    1 .40 40 3.8 0 3.2 280 27 1 2.9 270 28 1 4.0  420 32   1 .63 110 6.6 1 .11  24 .85 1 .090 24 .90 1 .087 24 1.0  1 1.6  80 20   1 .16 9.2 1.5 1 6.4 330 55 1 5.6 320 46 1 5.5 330 39 1
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i .11  24 1.1  1 .11 18 1.1  1 .042  8.5  .20   1 .43 40 4.0 0 3.0 260 24 1 2.9 270 25 1 4.0  420 30   0 .63 110 5.7 1 .088 24 1.1  1 .087 24 1.1  1 .083 24 1.2  1 1.5  74 18   1 .16 9.3 1.4 1 6.0 330 44 1 5.4 310 43 1 5.3 320 45 1
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i .14  24 .89 1 .14 18 .94 1 .030  8.4  .18   1 .43 40 4.2 0 3.1 260 26 1 3.0 260 29 1 4.0  420 29   0 .63 110 6.0 1 .12  24 .99 1 .11  24 .78 1 .11  24 .80 1 1.5  77 17   1 .14 9.4 1.5 1 5.6 330 49 1 5.2 310 48 1 5.6 320 43 1
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i .13  24 .87 1 .11 18 .86 1 .10   8.4  1.3    1 .41 38 4.2 0 3.1 270 26 1 2.9 260 25 1 4.1  420 33   1 .61 110 8.0 1 .12  24 .76 1 .11  24 .93 1 .087 24 1.1  1 1.5  80 20   1 .16 9.1 1.4 1 6.2 350 46 1 7.0 350 52 1 6.3 330 43 1
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i .11  24 .91 1 .11 18 1.0  1 .11   8.4  1.2    1 .45 40 4.0 0 3.0 270 25 1 3.0 270 24 1 4.1  420 27   1 .64 110 5.8 1 .099 24 .84 1 .085 24 .92 1 .084 24 1.0  1 1.5  75 19   1 .16 9.2 1.5 1 5.9 330 42 1 5.9 330 44 1 5.9 330 42 1
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i .11  24 .93 1 .11 18 1.0  1 .11   8.2  1.2    1 .39 37 3.9 0 3.1 270 27 1 3.0 260 28 1 4.0  420 33   1 .65 110 5.4 1 .084 24 .94 1 .11  24 .88 1 .090 24 .88 1 1.5  70 17   1 .15 9.3 1.8 1 5.5 320 47 1 5.4 330 47 1 6.1 320 44 1
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i .11  24 .84 1 .14 18 .99 1 .11   8.5  1.0    1 .42 40 3.9 0 3.1 290 24 1 2.9 260 25 1 4.0  410 30   1 .63 110 5.8 1 .082 24 1.0  1 .086 24 .96 1 .085 24 .92 1 1.5  71 18   1 .14 9.3 1.4 1 5.5 320 39 1 5.4 320 46 1 5.5 310 41 1
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i .11  24 1.1  1 .14 18 .91 1 .11   8.3  1.2    1 .41 38 4.4 0 3.2 280 26 1 3.0 260 26 1 4.2  420 33   1 .69 110 6.9 1 .097 24 1.1  1 .11  24 .90 1 .083 24 1.2  1 1.5  70 19   1 .14 9.1 1.5 1 5.8 330 44 1 5.4 320 39 1 6.1 330 44 1
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow.c.i .12  24 .78 2 .17 18 2.1  2 .042  8.3  .20   2 .43 40 3.9 0 2.9 260 26 2 2.8 260 23 2 1.3  48 15   0 .59 110 5.3 2 900     2500 11000    0 .081 24 .93 2 .11  24 .92 2 1.2  68 14   2 .14 9.4 1.4 2 5.4 320 43 2 5.5 320 43 2 5.4 320 39 2
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow.c.i .10  24 .92 2 .21 18 1.5  2 .032  8.2  .19   2 .40 37 3.6 0 3.1 280 26 2 2.7 250 26 2 1.6  49 21   0 .58 110 6.4 2 71     15000 860    0 .12  24 .71 2 .12  24 .68 2 1.2  67 15   2 .16 9.2 1.6 2 5.6 330 45 2 6.1 320 48 2 6.0 330 45 2
signedintegeroverflow-regression/Multiplication_true-no-overflow.c.i .098 24 .90 2 .16 18 1.9  2 .029  8.3  .16   2 .39 37 4.3 0 2.9 270 25 2 2.9 250 26 2 1.7  49 19   0 .56 110 6.2 2 62     15000 700    0 .083 24 1.0  2 .085 24 .95 2 1.2  68 13   2 .16 9.2 1.5 2 5.3 310 44 2 6.2 330 44 2 5.5 320 38 2
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow.c.i .13  24 .85 2 .16 18 1.6  2 .033  8.2  .17   2 .40 37 3.4 0 3.3 280 26 2 2.9 260 24 2 480    420 6800   -16 .58 110 5.4 2 66     15000 690    0 .083 24 .89 2 .097 24 1.1  2 1.2  69 15   2 .16 9.3 1.5 2 5.2 320 38 2 6.0 330 44 2 5.5 330 38 2
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow.c.i .13  24 .81 2 .21 18 1.6  2 .048  8.6  .20   2 .42 37 3.9 0 2.9 260 23 2 2.9 260 24 2 480    110 5200   0 .57 110 5.3 2 68     15000 860    0 .085 24 .83 2 .087 24 .91 2 1.2  69 14   2 .15 9.2 1.6 2 5.5 310 40 2 5.2 320 45 2 5.6 330 41 2
termination-crafted/2Nested_false-no-overflow.c .13  22 .86 1 .14 17 1.0  1 .0078 .92 .020  0 .44 38 3.7 0 2.4 250 20 1 2.3 250 21 1 .54 75 7.1 1 46    15000 520   0 .080 23 .87 1 .073 23 .91 1 .076 23 1.0  1 1.7  85 19   1 .15 11   1.7 1 5.3 320 47 1 5.5 320 45 1 6.3 350 47 1
termination-crafted/4NestedWith3Variables_false-no-overflow.c .16  24 1.0  1 .14 22 1.3  1 .0096 .92 .019  0 .39 38 4.1 0 2.4 250 21 1 2.3 250 19 1 .60 76 7.0 1 86    15000 940   0 .086 23 .85 1 .11  23 .90 1 .079 23 1.0  1 1.9  84 22   1 .15 11   1.6 1 5.3 320 42 1 5.6 330 44 1 5.8 320 47 1
termination-crafted/Ackermann_false-no-overflow.c .10  22 .76 0 .14 19 1.0  1 .11   8.1  1.1    0 .41 39 3.8 0 2.3 250 20 0 2.4 240 24 0 .60 49 7.7 1 140    15000 1900   0 .092 23 .75 1 .091 23 .82 1 .092 23 1.0  1 1.6  80 20   1 .15 10   2.0 1 5.5 310 42 1 6.2 350 49 1 5.4 320 44 1
termination-crafted/Bangalore_false-no-overflow.c .13  22 .83 1 .14 17 .89 1 .0081 .99 .027  0 .42 40 4.2 0 2.4 250 19 1 2.3 250 22 1 .54 75 5.5 1 40    15000 500   0 .074 23 .84 1 .093 23 .89 1 .072 23 1.1  1 880    1300 10000   0 .18 11   1.9 1 5.7 310 49 1 5.3 320 43 1 5.9 340 40 1
termination-crafted/Bangalore_v3_false-no-overflow.c .11  22 .88 1 .14 17 .99 1 .0092 .74 .027  0 .42 38 3.5 0 2.3 250 19 1 2.5 260 24 1 .54 75 6.3 1 40    15000 420   0 .091 23 .72 1 .090 23 .85 1 .092 23 .94 1 1.7  76 22   1 .18 11   1.8 1 6.0 330 48 1 5.3 320 43 1 5.4 320 46 1
termination-crafted/Benghazi_nondet_false-no-overflow.c .11  22 .70 1 .11 17 1.2  1 .0090 .89 .025  0 .42 39 4.2 0 2.4 250 21 1 2.4 250 19 1 .56 75 7.5 1 55    15000 710   0 .10  23 .82 1 .075 23 .79 1 .079 23 .82 1 1.8  86 20   1 .15 10   1.6 1 6.1 320 46 1 5.6 320 47 1 6.1 340 43 1
termination-crafted/Binary_Search_false-no-overflow.c .088 22 .73 0 .15 21 1.2  1 .16   8.0  1.0    0 .39 37 3.4 0 2.4 250 21 1 2.5 250 19 1 .39 49 4.9 1 140    15000 1900   0 .094 23 .91 1 .092 23 .85 1 .093 23 .93 1 1.6  78 19   1 .15 10   2.0 1 5.5 320 38 1 5.8 320 52 1 5.7 330 43 1
termination-crafted/Cairo_nondet_false-no-overflow.c .11  23 .96 1 .12 17 1.1  1 .0093 1.0  .016  0 .44 38 4.3 0 2.4 250 21 1 2.9 270 24 1 .85 75 11   1 36    15000 390   0 .079 23 .98 1 .092 23 .89 1 .080 23 .88 1 1.7  75 24   1 .17 10   1.6 1 6.0 330 50 1 6.0 320 47 1 5.6 320 42 1
termination-crafted/Collatz_unknown-termination_false-no-overflow.c .11  23 .99 1 .15 21 1.1  1 .010  .88 .022  0 .43 39 3.9 0 2.4 250 19 1 2.4 250 24 1 21    75 230   0 74    15000 900   0 .074 23 .80 0 .085 23 .78 0 .077 23 .72 0 1.7  82 20   1 .15 10   1.7 1 5.8 330 45 1 5.4 330 47 1 5.7 330 42 1
termination-crafted/Copenhagen_disj_false-no-overflow.c .12  22 .98 1 .11 17 .88 1 .0083 .86 .026  0 .39 37 4.3 0 2.5 250 24 1 2.4 250 22 1 .36 75 4.4 1 37    15000 380   0 .087 23 .76 1 .10  23 .82 1 .083 23 .85 1 1.7  83 22   1 .16 10   2.1 1 6.2 340 44 1 5.7 320 45 1 6.1 320 49 1
termination-crafted/Gothenburg_false-no-overflow.c .12  23 .96 1 .13 20 1.0  1 .0092 .78 .019  0 .45 41 4.2 0 2.5 250 22 1 2.6 260 22 1 .60 76 7.9 1 52    15000 560   0 .077 23 .80 1 .090 23 .78 1 .11  23 .75 1 1.8  88 21   1 .17 11   1.7 1 5.4 320 44 1 5.7 320 45 1 6.6 340 52 1
termination-crafted/Gothenburg_v2_false-no-overflow.c .10  23 1.1  1 .14 19 1.4  1 .0083 .76 .019  0 .39 37 4.2 0 2.4 250 20 1 2.6 260 24 1 .60 76 6.6 1 52    15000 580   0 .11  23 .76 1 .10  23 .85 1 .083 23 .92 1 1.8  78 20   1 .15 10   2.2 1 5.5 320 41 1 5.6 330 47 1 6.2 330 44 1
termination-crafted/Hanoi_2vars_false-no-overflow.c .15  22 .82 1 .13 17 .94 1 .0092 1.0  .016  0 .41 40 3.9 0 2.4 250 20 1 2.3 240 20 1 .55 75 6.0 1 43    15000 560   0 .074 23 .86 1 .080 23 .75 1 .11  23 .70 1 1.7  82 23   1 .17 10   1.6 1 5.7 320 42 1 5.4 320 41 1 5.6 330 43 1
termination-crafted/Hanoi_3vars_false-no-overflow.c .14  23 .79 1 .13 17 1.0  1 .0093 .72 .018  0 .41 37 3.6 0 2.4 240 20 1 2.6 240 20 1 .56 75 6.8 1 53    15000 660   0 .077 23 .98 1 .10  23 .74 1 .075 23 .87 1 1.8  80 19   1 .17 11   1.7 1 5.7 320 47 1 5.5 320 40 1 5.3 320 47 1
termination-crafted/Hanoi_plus_false-no-overflow.c .13  23 .76 1 .11 17 .99 1 .0063 .92 .033  0 .39 39 4.0 0 2.4 250 20 1 2.5 250 20 1 .54 75 6.4 1 66    15000 670   0 .079 23 .87 1 .10  23 .76 1 .089 23 1.0  1 1.8  88 23   1 .17 11   1.6 1 5.7 330 47 1 5.4 320 41 1 6.0 330 41 1
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c .13  22 .80 1 .12 17 .97 1 .0081 .84 .025  0 .43 37 4.0 0 2.3 250 20 1 2.5 260 24 1 .39 75 4.8 1 52    15000 690   0 .11  23 .70 1 .074 23 .80 1 .080 23 .76 1 1.7  73 22   1 .16 11   1.8 1 5.6 330 43 1 5.9 330 46 1 5.9 330 46 1
termination-crafted/Mysore_false-no-overflow.c .14  22 .81 1 .14 17 .95 1 .010  1.0  .026  0 .42 40 4.2 0 2.5 250 22 1 2.6 260 23 1 .56 75 6.3 1 49    15000 510   0 .078 23 .77 1 .074 23 .90 1 .080 23 .93 1 1.7  81 21   1 .15 10   1.9 1 5.5 320 41 1 5.6 320 44 1 6.2 330 47 1
termination-crafted/NestedRecursion_1a_false-no-overflow.c .094 22 .80 0 .14 19 1.2  1 .12   8.0  1.0    0 .41 37 3.5 0 2.5 250 22 1 2.4 260 23 1 .57 50 5.8 1 99    15000 1100   0 .081 23 .79 1 .084 23 .96 1 .076 23 .82 1 1.6  72 19   1 .15 10   1.7 1 5.6 320 41 1 6.2 340 48 1 5.5 320 42 1
termination-crafted/NestedRecursion_2a_false-no-overflow.c .081 22 .78 0 .15 17 .93 1 .11   7.9  1.1    0 .45 40 3.8 0 2.5 260 22 0 2.4 250 20 0 .52 48 7.2 1 150    15000 2000   0 .076 23 .89 1 .099 23 .82 1 .098 23 .78 1 1.5  71 22   1 .15 10   1.6 1 6.1 330 46 1 6.9 340 52 1 6.7 350 50 1
termination-crafted/NonTermination1_false-no-overflow.c .14  22 .77 1 .11 17 .98 1 .0071 .88 .024  0 .41 37 4.2 0 2.4 240 20 1 2.3 250 21 1 .54 75 6.0 1 34    15000 360   0 .077 23 .80 1 .11  23 .72 1 .11  23 .69 1 2.9  79 31   1 .17 10   1.8 1 5.9 330 48 1 5.2 320 42 1 5.3 320 42 1
termination-crafted/NonTermination2_false-no-overflow.c .13  22 1.0  1 .13 17 .89 1 .0073 .92 .019  0 .43 40 3.7 0 2.4 240 22 1 2.4 250 21 1 .37 75 4.2 1 42    15000 430   0 .077 23 .75 1 .080 23 .79 1 .078 23 .79 1 1.6  76 20   1 .15 10   1.8 1 5.9 310 41 1 6.0 330 44 1 5.6 330 39 1
termination-crafted/NonTermination4_false-no-overflow.c .77  36 10    1 .71 17 6.1  0 .0095 1.1  .027  0 .40 37 3.9 0 3.8 270 34 1 3.8 270 30 1 12    75 160   0 900    420 3400   1 .10  23 1.2  1 .12  26 1.6  1 .92  81 13    1 110    400 830   1 .13 9.3 1.5 1 23   710 180 1 290   1800 4600 1 430   2300 4600 1
termination-crafted/NonTerminationSimple2_false-no-overflow.c .12  22 .83 1 .14 17 .98 1 .0073 .87 .022  0 .41 38 3.7 0 2.4 240 19 1 2.4 250 21 1 .53 75 7.8 1 36    15000 440   0 .075 23 .75 1 .11  23 .71 1 .10  23 .77 1 880    1900 9600   0 .17 9.4 1.8 1 5.3 310 47 1 5.4 320 39 1 5.7 320 43 1
termination-crafted/NonTerminationSimple3_false-no-overflow.c .13  22 .85 1 .14 17 .96 1 .0065 1.0  .020  0 .44 40 4.2 0 2.4 250 21 1 2.4 250 19 1 .53 75 7.5 1 41    15000 470   0 .11  23 .71 1 .073 23 .87 1 .087 23 .85 1 1.7  73 23   1 .17 10   1.8 1 5.5 310 42 1 5.5 320 39 1 5.9 330 42 1
termination-crafted/NonTerminationSimple4_false-no-overflow.c 900     1200 10000    0 850    8000 6800    0 .0088 .95 .026  0 .42 37 4.0 0 900   800 12000 0 900   760 12000 0 76    75 960   0 36    15000 480   0 900     8800 11000    0 630     15000 8300    0 420     15000 5500    0 880    810 9700   0 900    130   8900   0 900   2400 14000 0 900   1900 13000 0 900   1700 14000 0
termination-crafted/NonTerminationSimple5_false-no-overflow.c .12  22 .85 1 .11 17 1.1  1 .0082 .81 .019  0 .42 38 3.8 0 2.4 250 23 1 2.5 260 20 1 .53 75 6.8 1 890    1100 9400   1 .10  23 .88 1 .10  23 .77 1 .073 23 .85 1 1.7  81 20   1 .16 10   1.5 1 5.8 320 45 1 5.3 320 42 1 6.2 330 50 1
termination-crafted/NonTerminationSimple6_false-no-overflow.c .11  22 .82 1 .15 17 .89 1 .011  .66 .015  0 .40 37 3.7 0 2.3 250 20 1 2.5 250 22 1 .55 75 6.6 1 36    15000 380   0 .11  23 .59 1 .10  23 .77 1 .073 23 .94 1 880    1800 9800   0 .15 10   1.9 1 5.4 310 45 1 5.5 320 45 1 5.5 330 45 1
termination-crafted/NonTerminationSimple8_false-no-overflow.c .15  23 .91 1 .13 20 1.2  1 .0063 .89 .0    0 .44 40 4.1 0 2.5 250 26 1 2.7 260 24 1 .57 76 6.7 1 80    15000 830   0 .080 23 .86 1 .10  23 .81 1 .077 23 .82 1 1.8  83 23   1 .15 9.3 1.8 1 5.5 320 42 1 5.6 320 47 1 5.8 330 42 1
termination-crafted/NonTerminationSimple9_false-no-overflow.c .12  22 .86 1 .14 17 .78 1 .0090 .89 .028  0 .41 37 3.7 0 2.3 250 18 1 2.3 250 22 1 .50 75 6.5 1 45    15000 510   0 .11  23 .68 1 .11  23 .67 1 .076 23 .81 1 1.7  76 21   1 .18 11   1.6 1 5.7 320 49 1 5.5 320 38 1 5.4 320 45 1
termination-crafted/Pure2Phase_false-no-overflow.c .13  22 .81 1 .14 17 1.0  1 .010  .92 .028  0 .40 37 3.6 0 2.3 250 19 1 2.5 260 24 1 .55 75 6.0 0 53    15000 560   0 .080 23 .75 1 .087 23 .76 1 .079 23 .90 1 1.8  83 22   1 .15 10   1.8 1 5.7 320 42 1 6.5 350 51 1 5.7 320 48 1
termination-crafted/Pure3Phase_false-no-overflow.c .14  23 .95 1 .13 18 1.0  1 .010  .77 .019  0 .39 37 4.2 0 2.4 250 21 1 2.6 260 22 1 .56 75 7.8 1 160    15000 1500   0 .096 23 .74 1 .081 23 .78 1 .11  23 .73 1 1.8  80 22   1 .17 10   1.6 1 5.3 310 41 1 5.4 320 40 1 5.3 320 44 1
termination-crafted/RecursiveMultiplication_false-no-overflow.c .096 22 .67 0 .14 18 .98 0 .12   8.2  1.0    0 .41 39 3.8 0 2.3 240 22 0 2.3 250 19 0 .57 49 6.9 1 120    15000 1600   0 .11  23 .60 1 .075 23 .81 1 .11  23 .70 1 1.6  84 19   1 .17 10   1.9 1 5.6 330 48 1 6.2 330 48 1 5.8 330 43 1
termination-crafted/RecursiveNonterminating_false-no-overflow.c .081 22 .61 0 .15 18 .92 1 .11   8.0  1.3    0 .41 37 3.7 0 2.3 250 20 1 2.4 240 24 1 .57 49 6.9 1 .49 41 4.5 1 .098 23 .78 1 .11  23 .71 1 .093 23 .77 1 1.5  75 19   1 .17 10   1.5 1 5.3 320 41 1 5.3 320 44 1 5.5 320 43 1
termination-crafted/Rotation180_false-no-overflow.c .11  22 .93 1 .14 17 .87 1 .0092 1.0  .020  0 .43 40 3.9 0 2.4 250 22 1 2.4 240 19 1 .38 75 3.9 1 570    3300 4000   0 .087 23 .75 1 .071 23 .94 1 .072 23 .96 1 1.7  74 22   1 .15 10   1.7 1 5.3 320 45 1 5.5 320 44 1 5.8 320 43 1
termination-crafted/Singapore_false-no-overflow.c .14  22 .82 1 .12 18 .91 1 .0065 1.1  .027  0 .43 37 4.0 0 2.4 250 19 1 2.5 250 23 1 .56 75 6.5 1 40    15000 440   0 .078 23 .82 1 .092 23 .79 1 .091 23 .98 1 1.7  81 22   1 .18 10   1.7 1 5.5 320 43 1 5.5 320 47 1 5.4 310 45 1
termination-crafted/Singapore_plus_false-no-overflow.c .13  22 1.1  1 .11 18 1.1  1 .0088 1.1  .025  0 .39 37 3.6 0 2.4 250 20 1 2.4 250 20 1 .55 76 6.5 1 41    15000 480   0 .088 23 .87 1 .077 23 .80 1 .075 23 .93 1 13    110 140   1 .18 10   2.0 1 6.6 340 55 1 5.7 330 40 1 5.6 320 42 1
termination-crafted/Singapore_v1_false-no-overflow.c .14  22 .86 1 .13 17 1.1  1 .0096 .88 .021  0 .41 40 3.9 0 2.3 250 21 1 2.5 260 25 1 .56 76 7.6 1 41    15000 510   0 .079 23 .78 1 .089 23 .67 1 .074 23 .82 1 880    450 12000   0 .18 10   1.7 1 5.4 320 41 1 5.6 320 44 1 6.2 340 52 1
termination-crafted/Singapore_v2_false-no-overflow.c .10  23 .99 1 .11 18 1.1  1 .0091 .93 .018  0 .40 37 3.9 0 2.3 250 19 1 2.6 260 23 1 .57 76 6.2 1 42    15000 440   0 .11  23 .70 1 .10  23 .88 1 .074 23 .73 1 14    110 170   1 .16 11   1.6 1 5.6 330 42 1 5.5 320 50 1 6.8 340 48 1
termination-crafted/Stockholm_false-no-overflow.c .12  23 .94 1 .15 18 .94 1 .0094 .87 .025  0 .40 37 3.4 0 2.3 250 21 1 2.5 260 21 1 .54 75 7.3 1 44    15000 560   0 .084 23 .87 1 .095 23 .94 1 .093 23 .79 1 1.7  84 25   1 .15 10   1.8 1 5.4 310 40 1 5.7 320 44 1 5.8 330 41 1
termination-crafted/Thun_false-no-overflow.c .14  22 1.0  1 .14 17 .84 1 .0092 .87 .022  0 .42 40 3.9 0 2.4 250 23 1 2.4 250 19 1 .52 75 6.9 1 37    15000 410   0 .078 23 .80 1 .12  23 .61 1 .10  23 .79 1 1.8  80 21   1 .18 10   1.5 1 5.8 320 48 1 5.5 320 42 1 5.5 310 40 1
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c .13  23 .79 1 .15 17 1.1  1 .0081 .98 .021  0 .43 40 4.0 0 2.5 250 20 1 2.5 260 21 1 .56 75 6.2 1 39    15000 390   0 .089 23 .90 1 .078 23 .81 1 .075 23 .97 1 1.7  84 22   1 .15 11   2.6 1 6.4 340 47 1 6.4 350 49 1 5.9 320 48 1
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c .14  25 .95 1 .15 20 1.1  1 .0094 .80 .015  0 .42 40 3.9 0 2.7 250 24 1 2.8 270 27 1 .63 77 7.5 1 40    15000 420   0 .11  23 1.1  1 .10  23 1.1  1 .12  23 1.0  1 1.9  88 28   1 .21 11   2.5 1 14   500 120 1 15   560 110 1 14   530 110 1
termination-crafted/aaron2_false-no-overflow.c .15  23 .88 1 .13 18 1.0  1 .0093 .98 .017  0 .42 40 3.8 0 2.5 260 21 1 2.8 280 22 1 .40 76 4.9 1 900    1300 8300   0 .11  23 .62 1 .11  23 .70 1 .080 23 .80 1 1.8  81 22   1 .15 10   1.7 1 5.8 330 45 1 5.7 320 46 1 5.8 320 40 1
termination-crafted/aaron3_false-no-overflow.c .11  23 .92 1 .12 18 .98 1 .0092 .90 .022  0 .41 37 3.4 0 2.4 250 22 1 2.8 270 24 1 .39 75 4.5 1 71    15000 770   0 .11  23 .85 1 .077 23 .83 1 .092 23 .76 1 1.8  82 21   1 .18 11   1.9 1 6.1 330 46 1 5.5 330 44 1 6.1 340 51 1
termination-crafted/4BitCounterPointer_true-no-overflow.c .21  24 1.4  2 .91 18 11    2 .010  .86 .020  0 .39 38 3.6 0 910   8800 9500 0 910   8900 8900 0 1.2  76 15   0 2.5  320 24   2 900     3800 9500    0 .094 23 1.0  2 .11  23 .72 2 1.3  75 16   2 .14 9.0 1.4 2 5.5 320 49 2 6.1 320 50 2 5.6 320 42 2
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow.c 5.4   160 55    1 850    3900 4500    0 .011  1.0  .013  0 .44 40 3.7 0 2.4 240 22 0 2.4 260 23 0 59    100 640   0 33    15000 350   0 900     12000 8500    0 310     15000 2400    0 .10  23 .68 0 880    1100 7900   0 900    270   12000   0 900   5100 11000 0 900   4800 13000 0 900   2800 13000 0
termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow.c 2.7   75 32    2 850    3800 4300    0 .010  .85 .016  0 .41 40 3.9 0 2.3 240 22 0 2.3 240 22 0 1.2  76 14   0 34    15000 340   0 310     15000 3800    0 320     15000 3900    0 .083 23 .95 2 880    660 9500   2 900    70   12000   0 5.5 340 39 2 5.9 330 41 2 6.7 350 53 2
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow.c 3.0   130 34    2 850    4700 3800    0 .010  .93 .019  0 .42 40 4.3 0 2.3 250 23 0 2.5 250 22 0 1.4  100 16   0 36    15000 470   0 900     4700 5300    0 900     10000 6600    0 .089 23 1.1  2 880    1200 7700   0 900    170   11000   0 6.7 330 51 2 8.0 420 59 2 9.4 420 76 2
termination-crafted/Bangalore_true-no-overflow.c .10  22 .79 2 850    5900 4300    0 .0064 .62 .028  0 .47 40 3.9 0 900   2500 11000 0 900   2400 9800 0 7.1  75 110   0 35    15000 380   0 900     280 12000    0 900     390 11000    0 .13  23 1.5  2 880    870 11000   2 900    43   12000   0 6.5 330 58 2 8.2 400 59 2 6.7 350 55 2
termination-crafted/Bangalore_v2_true-no-overflow.c .12  22 .81 2 850    5900 4200    0 .0094 .78 .022  0 .41 37 4.0 0 2.4 260 22 -16 2.5 250 23 -16 7.0  75 100   0 35    15000 440   0 900     290 11000    0 900     410 11000    0 .13  23 1.4  2 880    510 10000   2 900    45   14000   0 6.3 330 49 2 7.6 380 63 2 6.7 360 53 2
termination-crafted/Bangalore_v4_true-no-overflow.c .13  23 1.4  2 .20 17 1.6  2 .0088 .85 .021  0 .45 40 3.9 0 2.4 250 20 -16 2.6 260 22 -16 1.5  75 20   0 35    15000 370   0 360     15000 4200    0 .13  23 1.2  2 .12  23 1.3  2 1.4  77 16   2 .17 10   1.6 2 6.2 330 49 2 6.3 330 48 2 6.4 350 49 2
termination-crafted/Benghazi_true-no-overflow.c 900     260 8300    0 850    3100 3800    0 .0082 .91 .024  0 .42 38 4.1 0 910   5600 12000 0 900   5700 12000 0 560    560 5400   0 35    15000 430   0 900     10000 12000    0 450     15000 5900    0 350     15000 4200    0 880    920 9100   2 900    230   11000   0 850   8500 10000 2 900   1200 13000 0 620   7200 6800 2
termination-crafted/Cairo_step2_true-no-overflow.c 900     1300 10000    0 850    5700 3200    0 .0075 .94 .036  0 .40 40 3.5 0 900   4200 11000 0 900   4200 12000 0 77    75 890   0 36    15000 420   0 900     8600 12000    0 710     15000 8900    0 460     15000 6600    0 880    620 11000   2 900    200   14000   0 900   2300 12000 0 900   2400 12000 0 900   1800 14000 0
termination-crafted/Cairo_true-no-overflow.c 900     1500 12000    0 850    5500 3500    0 .0060 .76 .014  0 .43 40 4.1 0 900   3200 12000 0 900   3200 11000 0 1.4  75 15   0 36    15000 480   0 900     8600 11000    0 720     15000 9500    0 460     15000 6400    0 880    820 11000   2 900    190   13000   0 6.3 320 50 2 6.4 330 50 2 6.9 350 58 2
termination-crafted/Copenhagen_true-no-overflow.c .12  22 .76 2 850    3700 4100    0 .010  1.0  .021  0 .43 40 4.1 0 910   8900 11000 0 910   8700 10000 0 1.2  75 14   0 35    15000 410   0 900     5100 10000    0 900     12000 9900    0 .085 23 .91 2 880    690 10000   2 900    270   12000   0 6.9 330 58 2 6.8 340 57 2 7.1 360 56 2
termination-crafted/Division_true-no-overflow.c .11  22 .85 2 850    4600 4700    0 .011  1.1  .025  0 .41 40 4.5 0 900   2400 12000 0 900   2400 11000 0 1.5  75 16   0 33    15000 400   0 850     15000 10000    0 470     15000 5500    0 .090 23 1.0  2 880    2800 10000   2 900    13   12000   0 5.8 320 43 2 6.3 330 45 2 6.1 330 49 2
termination-crafted/LexIndexValue-Array_true-no-overflow.c 5.8   220 65    1 47    14000 620    0 .0091 .93 .020  0 .45 40 4.1 0 2.5 250 22 0 2.5 260 20 0 38    100 500   0 78    15000 860   0 900     8900 7100    0 900     12000 7700    0 .11  23 .82 1 880    980 8500   0 900    4200   6700   0 900   3900 13000 0 900   4600 14000 0 900   2600 13000 0
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c 900     11000 5400    0 54    14000 650    0 .0088 .81 .024  0 .44 38 3.4 0 2.6 250 21 -16 2.5 250 22 -16 130    160 1700   0 62    15000 650   0 900     10000 7200    0 280     15000 3800    0 900     11000 13000    0 880    1300 11000   0 900    3800   9400   0 900   5300 11000 0 900   5200 13000 0 900   3300 14000 0
termination-crafted/Madrid_true-no-overflow.c .12  22 .80 2 190    15000 2300    0 .0093 .95 .018  0 .42 37 3.3 0 900   2000 11000 0 900   1900 12000 0 1.1  75 15   0 1.4  420 18   2 900     12000 10000    0 220     15000 3300    0 .088 23 .87 2 1.3  76 16   2 .12 9.3 1.3 2 6.2 320 48 2 5.9 340 45 2 5.6 330 45 2
termination-crafted/McCarthy91_Iteration_true-no-overflow.c 900     1500 12000    0 850    1200 7500    0 .0071 .63 .025  0 .42 40 3.9 0 900   4700 11000 0 900   4800 12000 0 890    120 11000   0 900    1400 9000   2 900     650 8600    0 900     1300 11000    0 900     1900 10000    0 880    350 9500   2 900    130   10000   0 900   3600 13000 0 900   3400 13000 0 900   2800 12000 0
termination-crafted/McCarthy91_Recursion_true-no-overflow.c .11  22 .70 0 850    2000 3300    0 .11   7.8  1.0    0 .39 37 4.1 0 2.4 260 23 0 2.5 250 23 0 500    15000 6600   0 120    15000 1600   0 900     7200 8800    0 900     6000 7700    0 900     6900 8100    0 880    210 8800   2 900    120   12000   0 7.9 370 61 2 7.1 350 54 2 7.5 360 59 2
termination-crafted/MenloPark_true-no-overflow.c 900     860 7900    0 850    3400 3700    0 .0068 .86 .017  0 .43 40 3.9 0 910   8800 10000 0 910   8900 12000 0 1.4  75 18   0 34    15000 430   0 900     9400 11000    0 520     15000 6900    0 310     15000 3600    0 880    890 9400   2 900    210   10000   0 12   490 99 2 14   490 140 2 11   490 80 2
termination-crafted/MutualRecursion_1a_true-no-overflow.c .12  22 .73 0 850    280 2500    0 .12   8.0  1.2    0 .45 40 3.6 0 2.5 250 22 0 2.5 250 23 0 430    15000 5600   0 110    15000 1600   0 900     14000 7700    0 900     1200 12000    0 900     1300 12000    0 880    250 8700   2 900    110   11000   0 11   490 90 2 900   1200 13000 0 14   500 99 2
termination-crafted/MutualRecursion_1b_true-no-overflow.c .097 22 .75 0 850    280 2900    0 .12   8.2  1.2    0 .38 37 3.6 0 2.4 250 21 0 2.5 260 23 0 430    15000 5500   0 120    15000 1400   0 900     4800 9600    0 900     1200 9300    0 900     1300 11000    0 880    220 9000   0 900    180   9900   0 13   670 110 2 900   1300 13000 0 32   930 270 2
termination-crafted/NestedRecursion_1b_true-no-overflow.c .12  22 .74 0 850    690 3300    0 .12   8.0  1.5    0 .41 37 4.0 0 2.4 260 20 0 2.4 250 22 0 430    15000 4800   0 96    15000 1200   0 900     9700 8700    0 900     4200 9600    0 900     1900 8300    0 880    510 7400   2 900    480   12000   0 12   500 92 2 900   1400 11000 0 22   700 210 2
termination-crafted/NestedRecursion_1c_true-no-overflow.c .13  22 .66 0 850    470 3000    0 .11   8.1  1.2    0 .44 38 3.6 0 2.4 250 22 0 2.3 240 19 0 380    15000 4700   0 93    15000 1200   0 770     15000 9100    0 900     4200 9300    0 900     4700 9500    0 880    520 8000   2 900    380   12000   0 9.9 470 74 2 900   1700 12000 0 12   500 110 2
termination-crafted/NestedRecursion_1d_true-no-overflow.c .12  22 .70 0 850    690 2800    0 .13   8.4  1.4    0 .42 38 4.1 0 2.4 250 21 0 2.4 250 23 0 430    15000 4900   0 96    15000 1300   0 900     3700 12000    0 900     4200 10000    0 900     4400 9600    0 880    340 7300   2 900    490   11000   0 13   700 110 2 900   1400 11000 0 23   810 190 2
termination-crafted/NestedRecursion_2b_true-no-overflow.c .082 22 .78 0 850    2800 4800    0 .031  8.1  .15   0 .42 37 3.2 0 2.4 250 20 0 2.3 250 19 0 490    15000 6700   0 120    15000 1400   0 760     15000 6700    0 900     2200 9700    0 900     2600 11000    0 880    280 8000   1 900    1900   12000   0 900   3500 14000 0 900   1700 11000 0 900   3500 12000 0
termination-crafted/NestedRecursion_2c_true-no-overflow.c .12  22 .61 0 850    7300 7000    0 .029  8.1  .19   0 .42 38 3.7 0 2.3 250 19 0 2.3 250 19 0 490    15000 5900   0 120    15000 1800   0 700     15000 6300    0 900     4800 7700    0 900     3700 11000    0 880    530 6300   1 900    460   12000   0 900   1700 11000 0 900   3000 12000 0 900   1900 12000 0
termination-crafted/NonTermination3_true-no-overflow.c .13  23 .73 2 850    2700 5000    0 .0084 .97 .028  0 .43 40 3.5 0 2.4 250 22 0 2.4 240 21 0 1.2  75 13   0 51    15000 540   0 900     1700 8200    0 210     15000 2300    0 .080 23 .88 2 1.3  75 18   2 .15 9.4 1.5 2 5.6 320 44 2 5.4 310 48 2 5.7 330 45 2
termination-crafted/NonTerminationSimple7_true-no-overflow.c .10  22 .74 2 850    6300 3700    0 .0091 .92 .024  0 .42 40 3.8 0 900   700 11000 0 900   780 13000 0 1.4  75 15   0 41    15000 450   0 250     15000 2600    0 180     15000 2100    0 .082 23 .90 2 880    4400 9700   0 900    67   13000   0 5.7 320 44 2 7.2 350 54 2 6.1 330 47 2
termination-crafted/Nyala-2lex_true-no-overflow.c .13  22 .76 2 850    2200 6200    0 .0072 1.0  .024  0 .42 37 4.3 0 910   11000 9800 0 910   11000 8800 0 1.3  75 18   0 51    15000 520   0 900     8600 8900    0 900     14000 13000    0 .087 23 .94 2 880    360 11000   2 900    4300   9500   0 6.7 330 52 2 6.7 340 55 2 6.8 350 52 2
termination-crafted/Parallel_true-no-overflow.c .12  22 .83 2 850    2000 7500    0 .010  .71 .026  0 .42 37 3.5 0 900   3900 14000 0 900   4000 12000 0 1.4  75 15   0 51    15000 680   0 900     5100 8300    0 900     9700 9800    0 .13  23 .95 2 880    630 9400   2 900    270   12000   0 5.9 320 47 2 6.8 330 59 2 5.8 320 45 2
termination-crafted/Piecewise_true-no-overflow.c .14  23 .79 2 850    820 7200    0 .0095 .70 .024  0 .43 37 3.5 0 900   1500 9300 0 900   1500 11000 0 1.2  75 14   0 190    15000 2500   0 350     15000 4300    0 900     3000 9900    0 .12  23 .71 2 880    380 10000   2 900    330   10000   0 5.8 330 50 2 6.5 320 53 2 7.2 350 53 2
termination-crafted/SyntaxSupportPointer01_true-no-overflow.c .20  23 1.4  2 850    4800 4000    0 .0078 .94 .031  0 .44 37 3.5 0 910   11000 11000 0 910   11000 9900 0 72    75 1000   0 34    15000 360   0 900     9600 11000    0 600     15000 7000    0 470     15000 6100    0 880    1000 11000   2 900    270   11000   0 6.1 330 50 2 6.7 320 48 2 6.8 340 51 2
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow.c .13  22 .91 2 850    1200 6200    0 .0075 .78 .020  0 .41 38 3.9 0 900   1600 11000 0 900   1700 9400 0 1.3  76 13   0 64    15000 790   0 190     15000 2600    0 900     2400 10000    0 .087 23 .94 2 880    420 11000   2 900    390   9400   0 6.4 320 48 2 8.0 360 62 2 6.4 330 46 2
termination-crafted/Waldkirch_true-no-overflow.c .11  22 .80 2 850    7000 4500    0 .0097 .63 .022  0 .46 40 4.1 0 910   9400 11000 0 910   9500 10000 0 1.3  75 15   0 34    15000 380   0 900     9600 9300    0 600     15000 7800    0 .099 23 1.1  2 880    850 9700   2 900    260   11000   0 6.0 320 45 2 5.8 320 49 2 5.8 320 44 2
termination-crafted/WhileFalse_true-no-overflow.c .11  22 .73 2 .17 17 1.7  2 .0091 .88 .021  0 .47 40 4.3 0 2.3 240 20 1 2.3 240 19 1 1.2  49 12   0 .36 32 4.4 2 900     13000 11000    0 .099 23 .78 2 .098 23 .89 2 1.2  68 13   2 .12 9.2 1.5 2 5.8 340 45 2 5.2 310 44 2 5.7 320 44 2
termination-crafted/WhileTrue_true-no-overflow.c .10  22 .78 2 .20 17 1.5  1 .0085 .92 .031  0 .41 38 3.8 0 900   930 13000 0 900   850 12000 0 1.1  75 13   0 .38 32 4.5 2 520     15000 5500    0 490     15000 5700    0 .072 23 1.0  2 1.3  76 15   2 .12 9.1 1.3 2 5.9 330 45 2 5.4 320 42 2 5.5 310 42 2
termination-crafted/easy1_true-no-overflow.c .10  22 .87 2 2.6  57 29    2 .010  .93 .017  0 .41 37 3.9 0 8.2 330 62 2 7.9 330 60 2 1.4  75 17   0 50    15000 530   0 180     15000 2100    0 3.1   300 43    2 .082 23 .90 2 22    150 330   2 .14 9.5 1.6 2 5.9 320 49 2 6.4 330 52 2 6.3 340 48 2
termination-crafted/easy2_true-no-overflow.c 900     1700 10000    0 850    3100 3400    0 .0051 1.0  .010  0 .43 37 3.5 0 910   9000 11000 0 910   9000 10000 0 160    390 1900   0 34    15000 370   0 190     15000 2400    0 120     15000 1700    0 130     15000 1700    0 880    800 11000   2 900    240   11000   0 900   5300 13000 0 900   2200 13000 0 900   3300 13000 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c .13  23 1.1  1 .16 18 1.3  1 .010  .88 .018  0 .43 37 4.0 0 2.3 250 22 1 2.3 250 19 1 .57 100 6.1 0 900    4600 11000   0 .11  23 .75 0 .077 23 1.1  0 .097 23 .75 0 1.8  80 21   1 .16 11   2.2 1 5.8 340 41 1 6.0 320 48 1 6.0 330 49 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c .12  23 1.1  1 .15 23 1.5  1 .010  .84 .021  0 .40 37 3.6 0 2.5 250 20 1 2.4 250 23 1 .61 130 7.2 0 26    15000 230   0 .078 23 1.1  0 .080 23 .94 0 .081 23 .93 0 2.0  88 23   1 .16 11   2.0 1 7.0 350 56 1 6.7 340 51 1 6.5 330 53 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c .12  23 .91 1 .12 18 .94 1 .0090 .79 .017  0 .43 40 4.2 0 2.5 250 24 1 2.4 250 22 1 .40 75 4.1 1 890    1400 9300   0 .080 23 .87 1 .089 23 .79 1 .079 23 1.0  1 1.8  79 22   1 .19 11   1.8 1 6.4 340 48 1 5.9 330 44 1 6.5 340 52 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c .13  25 .95 1 .15 17 .90 1 .0095 .91 .023  0 .44 40 3.7 0 2.4 250 21 1 2.5 250 21 1 .38 76 4.1 1 80    15000 930   0 .077 23 .83 1 .075 23 .91 1 .080 23 .74 1 1.8  80 22   1 .16 11   1.8 1 6.5 350 50 1 5.2 320 42 1 5.2 320 41 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c .096 23 1.0  1 .12 19 1.0  1 .0074 .91 .018  0 .44 40 3.9 0 2.5 250 22 1 2.4 250 23 1 .62 100 6.3 1 900    10000 7600   0 .093 23 .95 1 .11  23 .69 1 .10  23 .84 1 1.9  81 25   1 .17 11   1.9 1 6.6 330 46 1 7.3 340 52 1 6.7 350 50 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c .13  23 .87 1 .13 18 .99 1 .0068 .88 .019  0 .43 38 4.0 0 2.4 250 21 1 2.6 250 24 1 .41 76 4.0 1 890    2400 10000   1 .075 23 .84 1 .10  23 .85 1 .11  23 .75 1 1.8  84 23   1 .15 10   1.8 1 6.3 350 43 1 5.8 320 45 1 6.3 330 47 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c .13  23 .78 1 .15 18 1.2  1 .0077 .79 .025  0 .45 38 3.4 0 2.5 250 20 1 2.5 250 23 1 .56 130 6.6 1 900    11000 8300   0 .10  23 .83 0 .077 23 .72 0 .075 23 .82 0 1.8  76 22   0 .19 11   2.6 1 6.9 330 46 1 7.0 340 49 1 6.2 320 48 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c .14  23 .89 1 .13 17 1.0  1 .0096 .88 .023  0 .39 38 3.6 0 2.6 240 24 1 2.4 250 22 1 .39 75 4.0 1 67    15000 740   0 .097 23 .88 1 .081 23 .82 1 .077 23 .91 1 1.8  86 19   1 .18 10   1.6 1 6.0 320 45 1 6.3 320 47 1 5.9 330 47 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_false-no-overflow.c 17     430 150    0 2.5  75 30    0 .0088 1.0  .031  0 .43 37 3.9 0 20   520 140 0 18   510 130 0 310    380 3400   0 900    2600 9000   0 12     230 170    0 22     500 280    0 280     1600 2900    0 88    120 1000   0 8.5  18   88   1 30   920 280 1 78   1000 960 1 44   1100 420 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c .11  22 .89 1 .15 17 1.0  1 .0093 1.0  .025  0 .40 37 3.5 0 2.3 240 22 1 2.2 240 19 1 .51 75 7.6 1 35    15000 370   0 .079 23 .76 1 .11  23 .71 1 .075 23 .81 1 1.7  73 21   1 .15 10   1.6 1 6.2 340 47 1 6.5 340 56 1 5.9 330 50 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c .15  23 .91 1 .13 17 .89 1 .0033 .76 .017  0 .45 40 4.3 0 2.5 250 22 1 2.3 250 19 1 .56 75 8.0 0 200    15000 2600   0 .075 23 1.1  0 .098 23 .81 0 .076 23 .81 0 1.7  81 19   1 .18 10   1.8 1 5.5 320 44 1 5.4 320 45 1 5.9 320 48 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c .15  22 .81 1 .12 17 1.1  1 .010  1.0  .033  0 .44 38 3.7 0 2.4 250 23 1 2.6 260 24 1 .56 75 6.0 1 57    15000 690   0 .089 23 .79 1 .075 23 .97 1 .077 23 .84 1 1.8  85 22   1 .15 10   1.5 1 6.0 330 53 1 5.7 320 46 1 5.7 320 41 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c .12  22 .92 1 .13 17 1.0  1 .0073 1.1  .016  0 .43 40 4.2 0 2.5 250 23 1 2.4 250 21 1 .36 75 4.6 1 67    15000 930   0 .076 23 .91 1 .077 23 .91 1 .092 23 .77 1 1.7  84 25   1 .16 10   1.9 1 6.1 320 53 1 6.2 320 46 1 5.9 330 46 1
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c .13  23 1.1  1 .11 18 .96 1 .0071 .99 .022  0 .40 38 3.6 0 2.5 250 22 1 2.6 260 21 1 .39 75 4.0 1 140    15000 1400   0 .076 23 .76 1 .074 23 .97 1 .077 23 .85 1 1.8  86 23   1 .16 10   1.8 1 6.3 330 49 1 7.3 370 57 1 6.5 340 47 1
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c .16  23 .91 1 .16 18 1.0  1 .0091 .81 .021  0 .42 40 4.2 0 2.4 250 22 1 2.4 240 24 1 .61 76 6.8 0 330    15000 3500   0 .094 23 .79 1 .078 23 .95 1 .092 23 .89 1 1.8  89 26   1 .15 11   1.6 1 5.9 320 45 1 5.9 320 46 1 6.0 330 47 1
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c .15  27 1.2  1 .20 28 1.6  1 .0095 1.0  .021  0 .43 39 3.7 0 2.7 280 24 1 2.7 270 21 1 480    130 6400   0 890    4200 11000   0 .11  23 .83 1 .087 23 .91 1 .087 23 .81 1 2.4  94 27   1 .15 10   1.8 1 5.3 320 47 1 5.5 320 46 1 6.2 360 47 1
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c .12  22 .84 1 .16 18 .97 1 .010  .86 .015  0 .42 40 3.8 0 3.1 280 27 1 3.0 270 28 1 .41 76 4.8 1 320    15000 3500   0 .088 23 .86 1 .11  23 .68 1 .11  23 .79 1 1.8  91 21   1 .20 11   1.9 1 5.6 320 48 1 5.8 320 43 1 6.0 340 49 1
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c .12  23 .83 1 .15 18 .96 1 .012  .91 .032  0 .45 40 4.4 0 2.5 260 20 1 2.4 250 25 1 .39 75 4.7 1 890    1400 8000   0 .12  23 .75 1 .079 23 .98 1 .082 23 .80 1 1.8  87 24   1 .17 10   2.3 1 6.6 350 48 1 5.9 330 43 1 6.7 360 55 1
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c .12  23 .94 1 .15 18 .99 1 .0094 .98 .0075 0 .42 39 3.5 0 2.5 250 21 1 2.4 250 21 1 .39 75 4.3 1 80    15000 930   0 .11  23 .77 1 .075 23 .88 1 .091 23 .81 1 1.8  83 24   1 .17 11   1.7 1 6.2 330 54 1 5.8 330 40 1 5.6 320 49 1
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c .12  23 1.1  1 .16 21 1.1  1 .010  .88 .020  0 .42 37 4.2 0 2.9 270 23 1 2.8 280 28 1 .40 76 4.6 1 530    15000 6500   0 .11  23 .74 1 .12  23 .85 1 .089 23 .91 1 1.9  88 24   1 .19 11   1.8 1 5.6 320 43 1 5.6 320 43 1 5.4 320 40 1
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c .12  23 1.0  1 .14 20 1.0  1 .0068 .82 .0078 0 .42 37 3.7 0 2.4 250 21 1 2.3 250 21 1 .41 76 5.2 1 68    15000 860   0 .11  23 .70 1 .079 23 .94 1 .095 23 .77 1 1.8  84 23   1 .19 10   1.7 1 5.5 330 48 1 5.6 320 44 1 6.1 330 41 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c .11  22 .87 1 .12 17 1.0  1 .0094 1.1  .022  0 .44 40 4.4 0 2.4 250 21 1 2.5 260 22 1 .53 75 7.0 1 33    15000 330   0 .11  23 .61 1 .092 23 .93 1 .084 23 .78 1 1.7  79 20   1 .17 10   1.6 1 5.7 330 45 1 6.6 340 50 1 5.8 320 47 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c .12  22 .89 1 .12 18 1.1  1 .0098 .84 .016  0 .39 37 3.5 0 2.4 240 21 1 2.3 250 20 1 .39 76 4.3 1 50    15000 580   0 .099 23 .79 1 .081 23 .76 1 .074 23 .76 1 1.7  79 25   1 .16 10   1.7 1 5.4 320 45 1 6.4 350 48 1 5.8 320 51 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c .12  22 .86 1 .13 17 .98 1 .0099 1.0  .040  0 .41 37 3.6 0 2.5 250 21 1 2.7 260 22 1 .39 75 4.4 1 44    15000 470   0 .075 23 .73 1 .10  23 .80 1 .083 23 .89 1 1.7  83 23   1 .15 11   1.9 1 5.7 320 46 1 5.5 320 43 1 5.9 340 44 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c .14  22 .86 1 .15 17 .92 1 .0094 1.0  .021  0 .43 37 3.7 0 2.4 250 24 1 2.4 250 23 1 .39 75 4.4 1 42    15000 520   0 .10  23 .85 1 .087 23 .70 1 .075 23 .79 1 1.7  73 19   1 .16 10   1.9 1 6.3 340 50 1 5.4 320 45 1 6.1 330 50 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c .12  22 .89 1 .14 18 .96 1 .010  .94 .021  0 .41 40 3.7 0 2.3 250 20 1 2.4 250 21 1 .37 75 3.7 1 43    15000 500   0 .075 23 .75 1 .077 23 .88 1 .10  23 .78 1 1.7  78 23   1 .17 10   1.7 1 5.8 340 50 1 5.3 320 38 1 5.4 320 41 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c .12  22 .80 1 .15 17 1.0  1 .0093 .97 .020  0 .42 40 4.1 0 2.4 240 22 1 2.3 250 23 1 .54 75 6.3 1 42    15000 490   0 .087 23 1.0  1 .10  23 .72 1 .080 23 .73 1 1.7  81 22   1 .15 10   1.6 1 7.2 360 53 1 5.8 330 44 1 6.2 330 49 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c .10  22 1.1  1 .11 17 .99 1 .010  .88 .016  0 .41 39 3.9 0 2.4 250 23 1 2.3 250 19 1 .53 75 7.7 1 43    15000 400   0 .089 23 .75 1 .072 23 .90 1 .10  23 .79 1 1.7  80 19   1 .15 10   1.6 1 6.4 340 51 1 5.7 320 48 1 6.6 340 47 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c .10  23 .87 1 .13 18 1.0  1 .0075 .88 .026  0 .44 40 4.1 0 2.4 240 22 1 2.4 250 21 1 .54 75 6.3 1 33    15000 370   0 .077 23 .82 1 .082 23 .78 1 .080 23 .79 1 1.8  83 22   1 .15 11   1.7 1 5.3 320 43 1 5.5 330 38 1 6.3 330 48 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c .11  22 .80 1 .11 18 1.1  1 .0096 .92 .024  0 .41 38 3.6 0 2.4 250 20 1 2.8 270 22 1 .53 75 6.7 1 34    15000 420   0 .081 23 .74 1 .080 23 .78 1 .11  23 .96 1 1.7  86 22   1 .15 10   1.6 1 5.4 320 44 1 5.7 320 48 1 5.7 320 41 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c .14  22 .88 1 .11 17 1.3  1 .0094 .93 .018  0 .40 38 3.6 0 2.4 250 21 1 2.5 250 22 1 .54 75 5.6 1 48    15000 560   0 .11  23 .70 1 .10  23 .63 1 .090 23 .80 1 1.7  81 22   1 .15 11   1.9 1 5.4 320 42 1 5.2 320 41 1 5.8 330 44 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c .15  23 .96 1 .15 19 1.4  1 .0096 1.1  .019  0 .40 40 3.5 0 2.5 250 24 1 2.5 260 26 1 .40 76 4.6 1 39    15000 490   0 .096 23 .93 1 .079 23 .88 1 .078 23 .87 1 1.8  83 22   1 .15 10   1.8 1 5.6 320 42 1 5.6 320 40 1 5.8 320 44 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c .10  22 .86 1 .15 17 .99 1 .010  .72 .019  0 .46 37 3.6 0 2.5 250 22 1 2.3 240 19 1 .39 75 4.2 1 34    15000 350   0 .10  23 .82 1 .074 23 .81 1 .077 23 .81 1 1.7  75 22   1 .17 10   1.7 1 5.7 310 49 1 6.1 330 47 1 5.4 310 42 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c .12  23 1.2  1 .15 18 1.1  1 .0091 .66 .013  0 .45 40 4.0 0 2.4 250 19 1 2.3 240 19 1 .54 75 6.2 1 42    15000 510   0 .091 23 .92 1 .079 23 .78 1 .11  23 .98 1 1.7  82 23   1 .17 10   1.4 1 5.4 310 47 1 6.1 340 48 1 5.7 330 47 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c .10  23 .86 1 .15 18 .98 1 .0090 .63 .025  0 .42 40 4.2 0 2.3 250 20 1 2.5 260 21 1 .37 76 5.4 1 39    15000 410   0 .076 23 .87 1 .098 23 .76 1 .079 23 .82 1 1.8  80 19   1 .19 11   1.7 1 6.0 340 52 1 6.5 320 46 1 6.3 320 49 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c .14  22 .90 1 .13 19 1.0  1 .010  1.1  .018  0 .47 40 4.0 0 2.4 240 21 1 2.4 250 22 1 .37 75 4.2 1 42    15000 460   0 .077 23 .80 1 .11  23 .78 1 .095 23 .81 1 1.7  76 21   1 .15 10   1.8 1 5.8 330 44 1 6.2 330 52 1 6.2 330 47 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c .12  24 .97 1 .15 22 1.2  1 .0091 .98 .020  0 .41 37 3.7 0 2.4 250 21 1 2.5 250 21 1 .40 75 4.2 1 41    15000 450   0 .10  23 .71 1 .092 23 .96 1 .095 23 .98 1 1.8  82 21   1 .17 11   1.6 1 6.2 340 46 1 5.7 320 44 1 5.5 320 46 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c .12  23 .87 1 .13 17 1.1  1 .010  1.0  .021  0 .43 40 4.2 0 2.3 250 21 1 2.4 250 19 1 .52 75 7.2 1 40    15000 430   0 .11  23 .59 1 .11  23 .84 1 .088 23 1.0  1 1.7  81 20   1 .15 11   1.6 1 5.7 330 47 1 5.4 320 39 1 6.7 350 49 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c .15  22 .86 1 .13 18 .95 1 .0092 1.0  .021  0 .43 40 3.6 0 2.3 250 21 1 2.4 240 21 1 .39 75 4.8 1 52    15000 500   0 .074 23 .85 1 .10  23 .85 1 .088 23 .87 1 1.7  78 22   1 .16 11   1.8 1 5.4 310 44 1 5.4 320 44 1 5.3 320 44 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c .11  23 .91 1 .13 18 1.1  1 .0089 .90 .018  0 .40 38 3.6 0 2.3 250 20 1 2.3 240 20 1 .38 75 4.6 1 35    15000 370   0 .077 23 .97 1 .077 23 .85 1 .077 23 .81 1 1.9  76 23   1 .15 10   1.7 1 5.6 340 42 1 5.4 320 40 1 5.6 320 42 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c .11  24 .91 1 .14 17 .86 1 .010  .73 .024  0 .44 40 3.9 0 2.4 250 20 1 2.3 250 21 1 .52 75 5.4 1 890    560 11000   1 .11  23 .69 1 .11  23 .70 1 .11  23 .73 1 1.7  88 20   1 .14 10   1.6 1 5.3 310 38 1 5.8 320 47 1 6.4 330 53 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c .10  22 .88 1 .12 17 .99 1 .011  .88 .023  0 .41 40 4.3 0 2.3 250 20 1 2.4 250 22 1 .38 75 4.3 1 38    15000 360   0 .076 23 .78 1 .076 23 .80 1 .088 23 .85 1 1.7  75 19   1 .17 10   1.8 1 6.0 340 43 1 5.7 330 39 1 6.3 360 52 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c .11  22 .92 1 .12 17 .99 1 .010  1.1  .023  0 .42 40 3.6 0 2.4 250 20 1 2.4 250 23 1 .35 75 4.8 1 38    15000 430   0 .078 23 .75 1 .078 23 .80 1 .093 23 .83 1 1.7  80 22   1 .15 10   1.7 1 6.1 330 49 1 6.0 320 51 1 5.6 320 47 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c .12  23 1.1  1 .15 18 1.0  1 .0094 1.1  .025  0 .41 38 3.6 0 2.4 250 21 1 2.4 250 23 1 .56 75 6.6 1 36    15000 450   0 .10  23 .85 1 .075 23 .89 1 .12  23 .78 1 1.7  83 20   1 .18 11   1.7 1 5.4 310 42 1 6.6 360 48 1 5.7 320 41 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c .11  23 .81 1 .15 18 .99 1 .0090 .89 .034  0 .41 37 4.5 0 2.5 250 19 1 2.4 250 21 1 .37 75 4.8 1 35    15000 380   0 .095 23 .77 1 .096 23 .75 1 .096 23 .75 1 1.7  84 23   1 .17 10   1.6 1 5.5 320 42 1 5.7 320 45 1 5.4 330 39 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c .10  22 .85 1 .10 17 1.0  1 .0076 1.1  .018  0 .43 40 3.9 0 2.4 240 22 1 2.4 250 20 1 .53 75 6.4 1 46    15000 490   0 .088 23 .87 1 .10  23 .69 1 .078 23 .78 1 1.7  82 22   1 .17 10   1.6 1 5.4 310 43 1 5.7 330 43 1 5.4 320 45 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c .13  22 .81 1 .14 17 .92 1 .0094 1.1  .021  0 .41 37 3.6 0 2.4 250 22 1 2.6 250 23 1 .36 75 4.8 1 35    15000 380   0 .11  23 .75 1 .074 23 .90 1 .10  23 .87 1 1.7  82 22   1 .15 10   1.8 1 5.9 330 47 1 5.5 320 45 1 5.3 320 42 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c .099 22 .96 1 .15 17 .93 1 .010  .99 .024  0 .44 40 3.7 0 2.4 240 21 1 2.3 240 19 1 .54 75 6.8 1 46    15000 610   0 .075 23 .86 1 .11  23 .69 1 .077 23 .73 1 1.7  83 23   1 .18 10   1.6 1 5.4 310 43 1 6.0 330 45 1 5.2 310 40 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c .14  22 .79 1 .15 17 .90 1 .011  1.1  .024  0 .43 38 3.6 0 2.4 250 20 1 2.4 250 22 1 .56 75 6.0 1 52    15000 530   0 .077 23 .87 1 .073 23 .81 1 .084 23 .61 1 1.7  82 25   1 .15 11   1.8 1 5.5 320 45 1 6.6 340 53 1 5.8 340 46 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c .15  23 .70 1 .14 18 1.0  1 .0070 .92 .025  0 .43 40 3.8 0 2.4 250 23 1 2.4 250 23 1 .40 75 4.4 1 45    15000 560   0 .077 23 .80 1 .076 23 .85 1 .094 23 .81 1 1.8  78 22   1 .15 10   1.7 1 6.1 340 50 1 5.6 320 40 1 5.7 320 46 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c .13  23 .91 1 .15 18 1.1  1 .0094 .85 .020  0 .39 37 3.8 0 2.4 260 22 1 2.6 250 19 1 .43 75 4.4 1 42    15000 510   0 .11  23 .68 1 .089 23 .75 1 .10  23 .76 1 1.7  80 23   1 .16 10   2.1 1 5.8 330 46 1 5.4 310 49 1 5.7 310 44 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c .13  25 .88 1 .13 18 1.2  1 .011  .75 .018  0 .45 37 3.6 0 2.3 250 21 1 2.4 250 20 1 .55 75 6.6 1 46    15000 500   0 .073 23 .88 1 .10  23 .97 1 .082 23 .78 1 1.8  83 22   1 .15 11   1.5 1 6.5 330 53 1 5.6 320 46 1 5.7 330 41 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c .11  22 .88 1 .15 17 .97 1 .011  .89 .027  0 .42 38 3.6 0 2.4 250 22 1 2.4 250 20 1 .55 75 5.9 1 44    15000 460   0 .11  23 .71 1 .078 23 .84 1 .10  23 .70 1 1.7  80 22   1 .15 10   2.0 1 6.9 340 49 1 5.4 320 40 1 6.1 340 50 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c .14  23 .80 1 .11 17 1.2  1 .0097 .94 .020  0 .40 37 3.4 0 2.3 240 23 1 2.4 250 20 1 .40 75 4.2 1 48    15000 540   0 .081 23 .90 1 .077 23 .85 1 .11  23 .81 1 1.8  81 26   1 .15 11   2.1 1 5.3 310 47 1 5.5 310 46 1 5.5 320 43 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c .12  23 1.1  1 .15 17 .93 1 .0060 .91 .019  0 .42 40 3.7 0 2.4 250 24 1 2.5 250 24 1 .37 75 3.9 1 42    15000 460   0 .097 23 .80 1 .11  23 .70 1 .074 23 1.0  1 1.7  80 22   1 .18 10   2.0 1 5.3 320 44 1 6.2 340 47 1 5.7 330 45 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c .12  23 .81 1 .13 17 .94 1 .0094 .76 .019  0 .45 38 3.5 0 2.4 250 21 1 2.5 250 21 1 .38 76 4.6 1 67    15000 790   0 .11  23 .88 1 .11  23 .89 1 .083 23 .88 1 1.8  80 24   1 .17 11   1.7 1 5.5 320 45 1 5.4 320 43 1 5.6 320 48 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c .15  23 .85 1 .14 18 1.0  1 .010  .90 .020  0 .43 40 3.9 0 2.4 250 22 1 2.5 250 22 1 .38 75 5.2 1 47    15000 480   0 .078 23 .73 1 .079 23 .83 1 .11  23 .76 1 1.8  89 20   1 .17 10   1.6 1 5.7 330 52 1 5.4 320 40 1 5.7 330 41 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c .11  22 .90 1 .14 17 .97 1 .0053 .76 .014  0 .43 40 4.4 0 2.4 250 19 1 2.4 250 21 1 .53 75 6.7 1 41    15000 480   0 .074 23 .88 1 .074 23 1.0  1 .083 23 .77 1 1.8  86 22   1 .15 10   1.7 1 6.3 340 43 1 5.2 320 48 1 6.6 340 44 1
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c .12  22 .81 1 .15 17 .90 1 .010  .77 .013  0 .41 38 3.5 0 2.6 250 22 1 2.4 250 25 1 .38 75 4.7 1 67    15000 790   0 .099 23 .94 1 .087 23 .89 1 .076 23 .77 1 1.7  79 22   1 .17 10   1.9 1 6.9 350 58 1 5.9 320 48 1 6.0 330 44 1
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c .12  22 .84 1 .14 18 1.1  1 .0092 1.1  .022  0 .41 40 3.5 0 2.3 250 20 1 2.5 260 23 1 .54 75 7.1 1 71    15000 770   0 .076 23 .86 1 .11  23 .72 1 .076 23 .81 1 1.8  87 19   1 .18 10   1.6 1 6.4 330 46 1 6.3 340 47 1 5.7 330 42 1
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c .14  23 .88 1 .15 18 .92 1 .010  .92 .021  0 .41 40 3.4 0 2.4 250 23 1 2.5 240 23 1 .58 100 6.9 1 54    15000 520   0 .076 23 .93 1 .078 23 .83 1 .10  23 .83 1 1.8  89 23   1 .16 10   1.9 1 5.5 320 43 1 5.6 320 50 1 5.8 340 47 1
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c .14  22 .88 1 .15 17 .94 1 .0092 .85 .014  0 .44 38 4.3 0 2.3 250 20 1 2.4 250 20 1 .53 75 7.7 1 39    15000 430   0 .11  23 .69 1 .075 23 .77 1 .11  23 .69 1 1.7  78 23   1 .15 10   1.6 1 5.5 310 41 1 5.6 330 44 1 5.8 320 44 1
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c .12  24 1.0  1 .13 19 1.0  1 .0083 1.1  .021  0 .43 38 3.7 0 2.4 250 23 1 2.6 260 23 1 .55 76 7.0 1 69    15000 770   0 .076 23 .82 1 .11  23 .89 1 .10  23 .79 1 1.7  83 23   1 .18 10   2.3 1 6.1 340 42 1 6.0 330 50 1 5.6 330 40 1
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c .15  23 .93 1 .13 19 1.3  1 .0075 .99 .019  0 .41 40 3.7 0 13   440 100 1 12   430 110 1 .64 79 8.7 1 40    15000 490   0 .082 23 1.2  1 .12  23 .75 1 .097 23 .91 1 1.8  77 21   1 .19 11   1.9 1 7.2 320 57 1 12   480 82 1 7.4 350 55 1
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c .15  23 .88 1 .14 18 1.1  1 .0087 .92 .029  0 .43 37 3.9 0 2.3 240 20 1 2.3 240 21 1 .56 75 6.5 1 120    15000 1400   0 .079 23 .79 1 .074 23 .92 1 .092 23 .99 1 1.8  79 21   1 .15 10   1.8 1 5.3 320 46 1 5.9 330 41 1 5.4 320 43 1
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c .13  22 .85 1 .15 17 .92 1 .010  .88 .024  0 .39 37 3.5 0 2.3 240 19 0 2.5 260 24 0 .57 76 8.3 1 900    420 11000   0 .11  23 .70 1 .073 23 .92 1 .075 23 .96 1 1.7  78 22   1 2.4  4300   28   0 6.0 320 48 1 6.1 330 47 1 6.6 350 50 1
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c .12  22 .85 1 .12 18 1.3  1 .010  1.0  .031  0 .42 38 3.6 0 2.4 240 19 1 2.5 250 20 1 .53 75 7.4 1 43    15000 460   0 .076 23 .87 1 .076 23 .99 1 .10  23 .79 1 1.7  81 22   1 .15 10   1.4 1 5.4 340 41 1 5.6 320 39 1 5.5 320 45 1
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c .12  23 .88 1 .12 18 1.1  1 .0070 .89 .017  0 .42 38 3.7 0 2.5 250 19 1 2.5 260 22 1 .55 75 6.4 1 41    15000 500   0 .080 23 .84 1 .11  23 .72 1 .092 23 1.1  1 1.8  79 21   1 .17 10   1.7 1 6.0 330 52 1 5.8 320 46 1 5.3 320 41 1
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c .081 22 .73 0 .13 17 .99 1 .033  8.3  .19   0 .42 40 3.8 0 2.5 250 21 0 2.3 250 19 0 .57 49 6.9 1 3.8  70 45   0 .097 23 .77 1 .076 23 .76 1 .075 23 .82 1 1.6  79 22   1 .18 10   1.7 1 6.6 340 51 1 6.3 330 55 1 6.8 330 57 1
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c .11  22 .83 0 .11 18 1.1  1 .12   8.2  1.1    0 .41 38 4.0 0 2.3 240 19 0 2.4 240 22 0 .55 49 6.7 1 3.2  88 35   1 .10  23 .84 1 .080 23 .81 1 .11  23 .68 1 1.6  80 18   1 .16 10   1.7 1 6.0 320 47 1 6.4 320 48 1 6.3 320 46 1
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c .11  22 .69 0 .15 19 1.1  1 .12   8.5  1.3    0 .41 37 3.6 0 2.2 240 19 0 2.3 250 19 0 .57 49 6.9 1 140    15000 1600   0 .077 23 .69 1 .11  23 .75 1 .088 23 .79 1 1.6  91 21   1 .18 10   1.7 1 5.5 320 43 1 6.0 340 43 1 5.4 320 42 1
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c .12  22 .76 0 .14 18 .90 1 .11   7.9  1.3    0 .44 38 3.8 0 2.3 240 21 0 2.3 240 20 0 .57 51 7.1 1 78    5100 1200   0 .089 23 .86 1 .096 23 .82 1 .076 23 .80 1 1.6  78 21   1 .17 10   1.8 1 5.4 320 41 1 5.7 320 45 1 5.5 320 44 1
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c .14  22 .78 1 .15 17 .86 1 .012  1.0  .027  0 .41 39 4.3 0 2.3 250 20 1 2.4 240 21 1 .55 75 6.4 1 46    15000 490   0 .076 23 .88 1 .075 23 .82 1 .078 23 .74 1 1.7  86 21   1 .17 11   1.6 1