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 false(no-overflow) .14  24 .85 1 false(no-overflow) .11 18 1.1  1 false(no-overflow) .028  8.5  .22   1 error (1) .41 37 3.7 0 false(no-overflow) 3.0 260 24 1 false(no-overflow) 3.2 270 27 1 false(no-overflow) 4.0  420 31   0 false(no-overflow) .65 110 7.6 1 false(no-overflow) .094 24 .91 1 false(no-overflow) .12  24 .81 1 false(no-overflow) .12  24 .81 1 false(no-overflow) 1.5  73 20   1 false(no-overflow) .16 9.3 1.5 1 false(no-overflow) 5.5 330 48 1 false(no-overflow) 5.5 330 42 1 false(no-overflow) 5.3 310 44 1
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i false(no-overflow) .097 24 .98 1 false(no-overflow) .14 18 .92 1 false(no-overflow) .12   8.6  1.2    1 error (1) .41 40 3.5 0 false(no-overflow) 2.9 250 26 1 false(no-overflow) 3.0 250 23 1 false(no-overflow) 4.0  420 27   1 false(no-overflow) .65 110 7.5 1 false(no-overflow) .085 24 1.0  1 false(no-overflow) .12  24 .83 1 false(no-overflow) .12  24 .86 1 false(no-overflow) 1.5  77 19   1 false(no-overflow) .16 9.2 1.5 1 false(no-overflow) 6.9 340 55 1 false(no-overflow) 5.5 330 41 1 false(no-overflow) 6.1 340 47 1
signedintegeroverflow-regression/Division_false-no-overflow.c.i false(no-overflow) .12  24 .82 1 false(no-overflow) .13 18 .86 1 false(no-overflow) .11   8.1  1.2    1 error (1) .40 40 3.8 0 false(no-overflow) 3.2 280 27 1 false(no-overflow) 2.9 270 28 1 false(no-overflow) 4.0  420 32   1 false(no-overflow) .63 110 6.6 1 false(no-overflow) .11  24 .85 1 false(no-overflow) .090 24 .90 1 false(no-overflow) .087 24 1.0  1 false(no-overflow) 1.6  80 20   1 false(no-overflow) .16 9.2 1.5 1 false(no-overflow) 6.4 330 55 1 false(no-overflow) 5.6 320 46 1 false(no-overflow) 5.5 330 39 1
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i false(no-overflow) .11  24 1.1  1 false(no-overflow) .11 18 1.1  1 false(no-overflow) .042  8.5  .20   1 error (1) .43 40 4.0 0 false(no-overflow) 3.0 260 24 1 false(no-overflow) 2.9 270 25 1 false(no-overflow) 4.0  420 30   0 false(no-overflow) .63 110 5.7 1 false(no-overflow) .088 24 1.1  1 false(no-overflow) .087 24 1.1  1 false(no-overflow) .083 24 1.2  1 false(no-overflow) 1.5  74 18   1 false(no-overflow) .16 9.3 1.4 1 false(no-overflow) 6.0 330 44 1 false(no-overflow) 5.4 310 43 1 false(no-overflow) 5.3 320 45 1
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i false(no-overflow) .14  24 .89 1 false(no-overflow) .14 18 .94 1 false(no-overflow) .030  8.4  .18   1 error (1) .43 40 4.2 0 false(no-overflow) 3.1 260 26 1 false(no-overflow) 3.0 260 29 1 false(no-overflow) 4.0  420 29   0 false(no-overflow) .63 110 6.0 1 false(no-overflow) .12  24 .99 1 false(no-overflow) .11  24 .78 1 false(no-overflow) .11  24 .80 1 false(no-overflow) 1.5  77 17   1 false(no-overflow) .14 9.4 1.5 1 false(no-overflow) 5.6 330 49 1 false(no-overflow) 5.2 310 48 1 false(no-overflow) 5.6 320 43 1
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i false(no-overflow) .13  24 .87 1 false(no-overflow) .11 18 .86 1 false(no-overflow) .10   8.4  1.3    1 error (1) .41 38 4.2 0 false(no-overflow) 3.1 270 26 1 false(no-overflow) 2.9 260 25 1 false(no-overflow) 4.1  420 33   1 false(no-overflow) .61 110 8.0 1 false(no-overflow) .12  24 .76 1 false(no-overflow) .11  24 .93 1 false(no-overflow) .087 24 1.1  1 false(no-overflow) 1.5  80 20   1 false(no-overflow) .16 9.1 1.4 1 false(no-overflow) 6.2 350 46 1 false(no-overflow) 7.0 350 52 1 false(no-overflow) 6.3 330 43 1
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i false(no-overflow) .11  24 .91 1 false(no-overflow) .11 18 1.0  1 false(no-overflow) .11   8.4  1.2    1 error (1) .45 40 4.0 0 false(no-overflow) 3.0 270 25 1 false(no-overflow) 3.0 270 24 1 false(no-overflow) 4.1  420 27   1 false(no-overflow) .64 110 5.8 1 false(no-overflow) .099 24 .84 1 false(no-overflow) .085 24 .92 1 false(no-overflow) .084 24 1.0  1 false(no-overflow) 1.5  75 19   1 false(no-overflow) .16 9.2 1.5 1 false(no-overflow) 5.9 330 42 1 false(no-overflow) 5.9 330 44 1 false(no-overflow) 5.9 330 42 1
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i false(no-overflow) .11  24 .93 1 false(no-overflow) .11 18 1.0  1 false(no-overflow) .11   8.2  1.2    1 error (1) .39 37 3.9 0 false(no-overflow) 3.1 270 27 1 false(no-overflow) 3.0 260 28 1 false(no-overflow) 4.0  420 33   1 false(no-overflow) .65 110 5.4 1 false(no-overflow) .084 24 .94 1 false(no-overflow) .11  24 .88 1 false(no-overflow) .090 24 .88 1 false(no-overflow) 1.5  70 17   1 false(no-overflow) .15 9.3 1.8 1 false(no-overflow) 5.5 320 47 1 false(no-overflow) 5.4 330 47 1 false(no-overflow) 6.1 320 44 1
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i false(no-overflow) .11  24 .84 1 false(no-overflow) .14 18 .99 1 false(no-overflow) .11   8.5  1.0    1 error (1) .42 40 3.9 0 false(no-overflow) 3.1 290 24 1 false(no-overflow) 2.9 260 25 1 false(no-overflow) 4.0  410 30   1 false(no-overflow) .63 110 5.8 1 false(no-overflow) .082 24 1.0  1 false(no-overflow) .086 24 .96 1 false(no-overflow) .085 24 .92 1 false(no-overflow) 1.5  71 18   1 false(no-overflow) .14 9.3 1.4 1 false(no-overflow) 5.5 320 39 1 false(no-overflow) 5.4 320 46 1 false(no-overflow) 5.5 310 41 1
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i false(no-overflow) .11  24 1.1  1 false(no-overflow) .14 18 .91 1 false(no-overflow) .11   8.3  1.2    1 error (1) .41 38 4.4 0 false(no-overflow) 3.2 280 26 1 false(no-overflow) 3.0 260 26 1 false(no-overflow) 4.2  420 33   1 false(no-overflow) .69 110 6.9 1 false(no-overflow) .097 24 1.1  1 false(no-overflow) .11  24 .90 1 false(no-overflow) .083 24 1.2  1 false(no-overflow) 1.5  70 19   1 false(no-overflow) .14 9.1 1.5 1 false(no-overflow) 5.8 330 44 1 false(no-overflow) 5.4 320 39 1 false(no-overflow) 6.1 330 44 1
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow.c.i true .12  24 .78 2 true .17 18 2.1  2 true .042  8.3  .20   2 error (1) .43 40 3.9 0 true 2.9 260 26 2 true 2.8 260 23 2 unknown 1.3  48 15   0 true .59 110 5.3 2 timeout 900     2500 11000    0 true .081 24 .93 2 true .11  24 .92 2 true 1.2  68 14   2 true .14 9.4 1.4 2 true 5.4 320 43 2 true 5.5 320 43 2 true 5.4 320 39 2
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow.c.i true .10  24 .92 2 true .21 18 1.5  2 true .032  8.2  .19   2 error (1) .40 37 3.6 0 true 3.1 280 26 2 true 2.7 250 26 2 unknown 1.6  49 21   0 true .58 110 6.4 2 out of memory 71     15000 860    0 true .12  24 .71 2 true .12  24 .68 2 true 1.2  67 15   2 true .16 9.2 1.6 2 true 5.6 330 45 2 true 6.1 320 48 2 true 6.0 330 45 2
signedintegeroverflow-regression/Multiplication_true-no-overflow.c.i true .098 24 .90 2 true .16 18 1.9  2 true .029  8.3  .16   2 error (1) .39 37 4.3 0 true 2.9 270 25 2 true 2.9 250 26 2 unknown 1.7  49 19   0 true .56 110 6.2 2 out of memory 62     15000 700    0 true .083 24 1.0  2 true .085 24 .95 2 true 1.2  68 13   2 true .16 9.2 1.5 2 true 5.3 310 44 2 true 6.2 330 44 2 true 5.5 320 38 2
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow.c.i true .13  24 .85 2 true .16 18 1.6  2 true .033  8.2  .17   2 error (1) .40 37 3.4 0 true 3.3 280 26 2 true 2.9 260 24 2 false(no-overflow) 480    420 6800   -16 true .58 110 5.4 2 out of memory 66     15000 690    0 true .083 24 .89 2 true .097 24 1.1  2 true 1.2  69 15   2 true .16 9.3 1.5 2 true 5.2 320 38 2 true 6.0 330 44 2 true 5.5 330 38 2
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow.c.i true .13  24 .81 2 true .21 18 1.6  2 true .048  8.6  .20   2 error (1) .42 37 3.9 0 true 2.9 260 23 2 true 2.9 260 24 2 unknown 480    110 5200   0 true .57 110 5.3 2 out of memory 68     15000 860    0 true .085 24 .83 2 true .087 24 .91 2 true 1.2  69 14   2 true .15 9.2 1.6 2 true 5.5 310 40 2 true 5.2 320 45 2 true 5.6 330 41 2
termination-crafted/2Nested_false-no-overflow.c false(no-overflow) .13  22 .86 1 false(no-overflow) .14 17 1.0  1 unknown .0078 .92 .020  0 error (1) .44 38 3.7 0 false(no-overflow) 2.4 250 20 1 false(no-overflow) 2.3 250 21 1 false(no-overflow) .54 75 7.1 1 out of memory 46    15000 520   0 false(no-overflow) .080 23 .87 1 false(no-overflow) .073 23 .91 1 false(no-overflow) .076 23 1.0  1 false(no-overflow) 1.7  85 19   1 false(no-overflow) .15 11   1.7 1 false(no-overflow) 5.3 320 47 1 false(no-overflow) 5.5 320 45 1 false(no-overflow) 6.3 350 47 1
termination-crafted/4NestedWith3Variables_false-no-overflow.c false(no-overflow) .16  24 1.0  1 false(no-overflow) .14 22 1.3  1 unknown .0096 .92 .019  0 error (1) .39 38 4.1 0 false(no-overflow) 2.4 250 21 1 false(no-overflow) 2.3 250 19 1 false(no-overflow) .60 76 7.0 1 out of memory 86    15000 940   0 false(no-overflow) .086 23 .85 1 false(no-overflow) .11  23 .90 1 false(no-overflow) .079 23 1.0  1 false(no-overflow) 1.9  84 22   1 false(no-overflow) .15 11   1.6 1 false(no-overflow) 5.3 320 42 1 false(no-overflow) 5.6 330 44 1 false(no-overflow) 5.8 320 47 1
termination-crafted/Ackermann_false-no-overflow.c error (5) .10  22 .76 0 false(no-overflow) .14 19 1.0  1 aborted .11   8.1  1.1    0 error (1) .41 39 3.8 0 error (recursion) 2.3 250 20 0 error (recursion) 2.4 240 24 0 false(no-overflow) .60 49 7.7 1 out of memory 140    15000 1900   0 false(no-overflow) .092 23 .75 1 false(no-overflow) .091 23 .82 1 false(no-overflow) .092 23 1.0  1 false(no-overflow) 1.6  80 20   1 false(no-overflow) .15 10   2.0 1 false(no-overflow) 5.5 310 42 1 false(no-overflow) 6.2 350 49 1 false(no-overflow) 5.4 320 44 1
termination-crafted/Bangalore_false-no-overflow.c false(no-overflow) .13  22 .83 1 false(no-overflow) .14 17 .89 1 unknown .0081 .99 .027  0 error (1) .42 40 4.2 0 false(no-overflow) 2.4 250 19 1 false(no-overflow) 2.3 250 22 1 false(no-overflow) .54 75 5.5 1 out of memory 40    15000 500   0 false(no-overflow) .074 23 .84 1 false(no-overflow) .093 23 .89 1 false(no-overflow) .072 23 1.1  1 timeout 880    1300 10000   0 false(no-overflow) .18 11   1.9 1 false(no-overflow) 5.7 310 49 1 false(no-overflow) 5.3 320 43 1 false(no-overflow) 5.9 340 40 1
termination-crafted/Bangalore_v3_false-no-overflow.c false(no-overflow) .11  22 .88 1 false(no-overflow) .14 17 .99 1 unknown .0092 .74 .027  0 error (1) .42 38 3.5 0 false(no-overflow) 2.3 250 19 1 false(no-overflow) 2.5 260 24 1 false(no-overflow) .54 75 6.3 1 out of memory 40    15000 420   0 false(no-overflow) .091 23 .72 1 false(no-overflow) .090 23 .85 1 false(no-overflow) .092 23 .94 1 false(no-overflow) 1.7  76 22   1 false(no-overflow) .18 11   1.8 1 false(no-overflow) 6.0 330 48 1 false(no-overflow) 5.3 320 43 1 false(no-overflow) 5.4 320 46 1
termination-crafted/Benghazi_nondet_false-no-overflow.c false(no-overflow) .11  22 .70 1 false(no-overflow) .11 17 1.2  1 unknown .0090 .89 .025  0 error (1) .42 39 4.2 0 false(no-overflow) 2.4 250 21 1 false(no-overflow) 2.4 250 19 1 false(no-overflow) .56 75 7.5 1 out of memory 55    15000 710   0 false(no-overflow) .10  23 .82 1 false(no-overflow) .075 23 .79 1 false(no-overflow) .079 23 .82 1 false(no-overflow) 1.8  86 20   1 false(no-overflow) .15 10   1.6 1 false(no-overflow) 6.1 320 46 1 false(no-overflow) 5.6 320 47 1 false(no-overflow) 6.1 340 43 1
termination-crafted/Binary_Search_false-no-overflow.c error (5) .088 22 .73 0 false(no-overflow) .15 21 1.2  1 aborted .16   8.0  1.0    0 error (1) .39 37 3.4 0 false(no-overflow) 2.4 250 21 1 false(no-overflow) 2.5 250 19 1 false(no-overflow) .39 49 4.9 1 out of memory 140    15000 1900   0 false(no-overflow) .094 23 .91 1 false(no-overflow) .092 23 .85 1 false(no-overflow) .093 23 .93 1 false(no-overflow) 1.6  78 19   1 false(no-overflow) .15 10   2.0 1 false(no-overflow) 5.5 320 38 1 false(no-overflow) 5.8 320 52 1 false(no-overflow) 5.7 330 43 1
termination-crafted/Cairo_nondet_false-no-overflow.c false(no-overflow) .11  23 .96 1 false(no-overflow) .12 17 1.1  1 unknown .0093 1.0  .016  0 error (1) .44 38 4.3 0 false(no-overflow) 2.4 250 21 1 false(no-overflow) 2.9 270 24 1 false(no-overflow) .85 75 11   1 out of memory 36    15000 390   0 false(no-overflow) .079 23 .98 1 false(no-overflow) .092 23 .89 1 false(no-overflow) .080 23 .88 1 false(no-overflow) 1.7  75 24   1 false(no-overflow) .17 10   1.6 1 false(no-overflow) 6.0 330 50 1 false(no-overflow) 6.0 320 47 1 false(no-overflow) 5.6 320 42 1
termination-crafted/Collatz_unknown-termination_false-no-overflow.c false(no-overflow) .11  23 .99 1 false(no-overflow) .15 21 1.1  1 unknown .010  .88 .022  0 error (1) .43 39 3.9 0 false(no-overflow) 2.4 250 19 1 false(no-overflow) 2.4 250 24 1 unknown 21    75 230   0 out of memory 74    15000 900   0 unknown .074 23 .80 0 unknown .085 23 .78 0 unknown .077 23 .72 0 false(no-overflow) 1.7  82 20   1 false(no-overflow) .15 10   1.7 1 false(no-overflow) 5.8 330 45 1 false(no-overflow) 5.4 330 47 1 false(no-overflow) 5.7 330 42 1
termination-crafted/Copenhagen_disj_false-no-overflow.c false(no-overflow) .12  22 .98 1 false(no-overflow) .11 17 .88 1 unknown .0083 .86 .026  0 error (1) .39 37 4.3 0 false(no-overflow) 2.5 250 24 1 false(no-overflow) 2.4 250 22 1 false(no-overflow) .36 75 4.4 1 out of memory 37    15000 380   0 false(no-overflow) .087 23 .76 1 false(no-overflow) .10  23 .82 1 false(no-overflow) .083 23 .85 1 false(no-overflow) 1.7  83 22   1 false(no-overflow) .16 10   2.1 1 false(no-overflow) 6.2 340 44 1 false(no-overflow) 5.7 320 45 1 false(no-overflow) 6.1 320 49 1
termination-crafted/Gothenburg_false-no-overflow.c false(no-overflow) .12  23 .96 1 false(no-overflow) .13 20 1.0  1 unknown .0092 .78 .019  0 error (1) .45 41 4.2 0 false(no-overflow) 2.5 250 22 1 false(no-overflow) 2.6 260 22 1 false(no-overflow) .60 76 7.9 1 out of memory 52    15000 560   0 false(no-overflow) .077 23 .80 1 false(no-overflow) .090 23 .78 1 false(no-overflow) .11  23 .75 1 false(no-overflow) 1.8  88 21   1 false(no-overflow) .17 11   1.7 1 false(no-overflow) 5.4 320 44 1 false(no-overflow) 5.7 320 45 1 false(no-overflow) 6.6 340 52 1
termination-crafted/Gothenburg_v2_false-no-overflow.c false(no-overflow) .10  23 1.1  1 false(no-overflow) .14 19 1.4  1 unknown .0083 .76 .019  0 error (1) .39 37 4.2 0 false(no-overflow) 2.4 250 20 1 false(no-overflow) 2.6 260 24 1 false(no-overflow) .60 76 6.6 1 out of memory 52    15000 580   0 false(no-overflow) .11  23 .76 1 false(no-overflow) .10  23 .85 1 false(no-overflow) .083 23 .92 1 false(no-overflow) 1.8  78 20   1 false(no-overflow) .15 10   2.2 1 false(no-overflow) 5.5 320 41 1 false(no-overflow) 5.6 330 47 1 false(no-overflow) 6.2 330 44 1
termination-crafted/Hanoi_2vars_false-no-overflow.c false(no-overflow) .15  22 .82 1 false(no-overflow) .13 17 .94 1 unknown .0092 1.0  .016  0 error (1) .41 40 3.9 0 false(no-overflow) 2.4 250 20 1 false(no-overflow) 2.3 240 20 1 false(no-overflow) .55 75 6.0 1 out of memory 43    15000 560   0 false(no-overflow) .074 23 .86 1 false(no-overflow) .080 23 .75 1 false(no-overflow) .11  23 .70 1 false(no-overflow) 1.7  82 23   1 false(no-overflow) .17 10   1.6 1 false(no-overflow) 5.7 320 42 1 false(no-overflow) 5.4 320 41 1 false(no-overflow) 5.6 330 43 1
termination-crafted/Hanoi_3vars_false-no-overflow.c false(no-overflow) .14  23 .79 1 false(no-overflow) .13 17 1.0  1 unknown .0093 .72 .018  0 error (1) .41 37 3.6 0 false(no-overflow) 2.4 240 20 1 false(no-overflow) 2.6 240 20 1 false(no-overflow) .56 75 6.8 1 out of memory 53    15000 660   0 false(no-overflow) .077 23 .98 1 false(no-overflow) .10  23 .74 1 false(no-overflow) .075 23 .87 1 false(no-overflow) 1.8  80 19   1 false(no-overflow) .17 11   1.7 1 false(no-overflow) 5.7 320 47 1 false(no-overflow) 5.5 320 40 1 false(no-overflow) 5.3 320 47 1
termination-crafted/Hanoi_plus_false-no-overflow.c false(no-overflow) .13  23 .76 1 false(no-overflow) .11 17 .99 1 unknown .0063 .92 .033  0 error (1) .39 39 4.0 0 false(no-overflow) 2.4 250 20 1 false(no-overflow) 2.5 250 20 1 false(no-overflow) .54 75 6.4 1 out of memory 66    15000 670   0 false(no-overflow) .079 23 .87 1 false(no-overflow) .10  23 .76 1 false(no-overflow) .089 23 1.0  1 false(no-overflow) 1.8  88 23   1 false(no-overflow) .17 11   1.6 1 false(no-overflow) 5.7 330 47 1 false(no-overflow) 5.4 320 41 1 false(no-overflow) 6.0 330 41 1
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c false(no-overflow) .13  22 .80 1 false(no-overflow) .12 17 .97 1 unknown .0081 .84 .025  0 error (1) .43 37 4.0 0 false(no-overflow) 2.3 250 20 1 false(no-overflow) 2.5 260 24 1 false(no-overflow) .39 75 4.8 1 out of memory 52    15000 690   0 false(no-overflow) .11  23 .70 1 false(no-overflow) .074 23 .80 1 false(no-overflow) .080 23 .76 1 false(no-overflow) 1.7  73 22   1 false(no-overflow) .16 11   1.8 1 false(no-overflow) 5.6 330 43 1 false(no-overflow) 5.9 330 46 1 false(no-overflow) 5.9 330 46 1
termination-crafted/Mysore_false-no-overflow.c false(no-overflow) .14  22 .81 1 false(no-overflow) .14 17 .95 1 unknown .010  1.0  .026  0 error (1) .42 40 4.2 0 false(no-overflow) 2.5 250 22 1 false(no-overflow) 2.6 260 23 1 false(no-overflow) .56 75 6.3 1 out of memory 49    15000 510   0 false(no-overflow) .078 23 .77 1 false(no-overflow) .074 23 .90 1 false(no-overflow) .080 23 .93 1 false(no-overflow) 1.7  81 21   1 false(no-overflow) .15 10   1.9 1 false(no-overflow) 5.5 320 41 1 false(no-overflow) 5.6 320 44 1 false(no-overflow) 6.2 330 47 1
termination-crafted/NestedRecursion_1a_false-no-overflow.c error (5) .094 22 .80 0 false(no-overflow) .14 19 1.2  1 aborted .12   8.0  1.0    0 error (1) .41 37 3.5 0 false(no-overflow) 2.5 250 22 1 false(no-overflow) 2.4 260 23 1 false(no-overflow) .57 50 5.8 1 out of memory 99    15000 1100   0 false(no-overflow) .081 23 .79 1 false(no-overflow) .084 23 .96 1 false(no-overflow) .076 23 .82 1 false(no-overflow) 1.6  72 19   1 false(no-overflow) .15 10   1.7 1 false(no-overflow) 5.6 320 41 1 false(no-overflow) 6.2 340 48 1 false(no-overflow) 5.5 320 42 1
termination-crafted/NestedRecursion_2a_false-no-overflow.c error (5) .081 22 .78 0 false(no-overflow) .15 17 .93 1 aborted .11   7.9  1.1    0 error (1) .45 40 3.8 0 error (recursion) 2.5 260 22 0 error (recursion) 2.4 250 20 0 false(no-overflow) .52 48 7.2 1 out of memory 150    15000 2000   0 false(no-overflow) .076 23 .89 1 false(no-overflow) .099 23 .82 1 false(no-overflow) .098 23 .78 1 false(no-overflow) 1.5  71 22   1 false(no-overflow) .15 10   1.6 1 false(no-overflow) 6.1 330 46 1 false(no-overflow) 6.9 340 52 1 false(no-overflow) 6.7 350 50 1
termination-crafted/NonTermination1_false-no-overflow.c false(no-overflow) .14  22 .77 1 false(no-overflow) .11 17 .98 1 unknown .0071 .88 .024  0 error (1) .41 37 4.2 0 false(no-overflow) 2.4 240 20 1 false(no-overflow) 2.3 250 21 1 false(no-overflow) .54 75 6.0 1 out of memory 34    15000 360   0 false(no-overflow) .077 23 .80 1 false(no-overflow) .11  23 .72 1 false(no-overflow) .11  23 .69 1 false(no-overflow) 2.9  79 31   1 false(no-overflow) .17 10   1.8 1 false(no-overflow) 5.9 330 48 1 false(no-overflow) 5.2 320 42 1 false(no-overflow) 5.3 320 42 1
termination-crafted/NonTermination2_false-no-overflow.c false(no-overflow) .13  22 1.0  1 false(no-overflow) .13 17 .89 1 unknown .0073 .92 .019  0 error (1) .43 40 3.7 0 false(no-overflow) 2.4 240 22 1 false(no-overflow) 2.4 250 21 1 false(no-overflow) .37 75 4.2 1 out of memory 42    15000 430   0 false(no-overflow) .077 23 .75 1 false(no-overflow) .080 23 .79 1 false(no-overflow) .078 23 .79 1 false(no-overflow) 1.6  76 20   1 false(no-overflow) .15 10   1.8 1 false(no-overflow) 5.9 310 41 1 false(no-overflow) 6.0 330 44 1 false(no-overflow) 5.6 330 39 1
termination-crafted/NonTermination4_false-no-overflow.c false(no-overflow) .77  36 10    1 false(no-overflow) .71 17 6.1  0 unknown .0095 1.1  .027  0 error (1) .40 37 3.9 0 false(no-overflow) 3.8 270 34 1 false(no-overflow) 3.8 270 30 1 false(no-overflow) 12    75 160   0 false(no-overflow) 900    420 3400   1 false(no-overflow) .10  23 1.2  1 false(no-overflow) .12  26 1.6  1 false(no-overflow) .92  81 13    1 false(no-overflow) 110    400 830   1 false(no-overflow) .13 9.3 1.5 1 false(no-overflow) 23   710 180 1 false(no-overflow) 290   1800 4600 1 false(no-overflow) 430   2300 4600 1
termination-crafted/NonTerminationSimple2_false-no-overflow.c false(no-overflow) .12  22 .83 1 false(no-overflow) .14 17 .98 1 unknown .0073 .87 .022  0 error (1) .41 38 3.7 0 false(no-overflow) 2.4 240 19 1 false(no-overflow) 2.4 250 21 1 false(no-overflow) .53 75 7.8 1 out of memory 36    15000 440   0 false(no-overflow) .075 23 .75 1 false(no-overflow) .11  23 .71 1 false(no-overflow) .10  23 .77 1 timeout 880    1900 9600   0 false(no-overflow) .17 9.4 1.8 1 false(no-overflow) 5.3 310 47 1 false(no-overflow) 5.4 320 39 1 false(no-overflow) 5.7 320 43 1
termination-crafted/NonTerminationSimple3_false-no-overflow.c false(no-overflow) .13  22 .85 1 false(no-overflow) .14 17 .96 1 unknown .0065 1.0  .020  0 error (1) .44 40 4.2 0 false(no-overflow) 2.4 250 21 1 false(no-overflow) 2.4 250 19 1 false(no-overflow) .53 75 7.5 1 out of memory 41    15000 470   0 false(no-overflow) .11  23 .71 1 false(no-overflow) .073 23 .87 1 false(no-overflow) .087 23 .85 1 false(no-overflow) 1.7  73 23   1 false(no-overflow) .17 10   1.8 1 false(no-overflow) 5.5 310 42 1 false(no-overflow) 5.5 320 39 1 false(no-overflow) 5.9 330 42 1
termination-crafted/NonTerminationSimple4_false-no-overflow.c timeout 900     1200 10000    0 error (42) 850    8000 6800    0 unknown .0088 .95 .026  0 error (1) .42 37 4.0 0 timeout 900   800 12000 0 timeout 900   760 12000 0 unknown 76    75 960   0 out of memory 36    15000 480   0 timeout 900     8800 11000    0 out of memory 630     15000 8300    0 out of memory 420     15000 5500    0 timeout 880    810 9700   0 timeout (timeout) 900    130   8900   0 timeout 900   2400 14000 0 timeout 900   1900 13000 0 timeout 900   1700 14000 0
termination-crafted/NonTerminationSimple5_false-no-overflow.c false(no-overflow) .12  22 .85 1 false(no-overflow) .11 17 1.1  1 unknown .0082 .81 .019  0 error (1) .42 38 3.8 0 false(no-overflow) 2.4 250 23 1 false(no-overflow) 2.5 260 20 1 false(no-overflow) .53 75 6.8 1 false(no-overflow) 890    1100 9400   1 false(no-overflow) .10  23 .88 1 false(no-overflow) .10  23 .77 1 false(no-overflow) .073 23 .85 1 false(no-overflow) 1.7  81 20   1 false(no-overflow) .16 10   1.5 1 false(no-overflow) 5.8 320 45 1 false(no-overflow) 5.3 320 42 1 false(no-overflow) 6.2 330 50 1
termination-crafted/NonTerminationSimple6_false-no-overflow.c false(no-overflow) .11  22 .82 1 false(no-overflow) .15 17 .89 1 unknown .011  .66 .015  0 error (1) .40 37 3.7 0 false(no-overflow) 2.3 250 20 1 false(no-overflow) 2.5 250 22 1 false(no-overflow) .55 75 6.6 1 out of memory 36    15000 380   0 false(no-overflow) .11  23 .59 1 false(no-overflow) .10  23 .77 1 false(no-overflow) .073 23 .94 1 timeout 880    1800 9800   0 false(no-overflow) .15 10   1.9 1 false(no-overflow) 5.4 310 45 1 false(no-overflow) 5.5 320 45 1 false(no-overflow) 5.5 330 45 1
termination-crafted/NonTerminationSimple8_false-no-overflow.c false(no-overflow) .15  23 .91 1 false(no-overflow) .13 20 1.2  1 unknown .0063 .89 .0    0 error (1) .44 40 4.1 0 false(no-overflow) 2.5 250 26 1 false(no-overflow) 2.7 260 24 1 false(no-overflow) .57 76 6.7 1 out of memory 80    15000 830   0 false(no-overflow) .080 23 .86 1 false(no-overflow) .10  23 .81 1 false(no-overflow) .077 23 .82 1 false(no-overflow) 1.8  83 23   1 false(no-overflow) .15 9.3 1.8 1 false(no-overflow) 5.5 320 42 1 false(no-overflow) 5.6 320 47 1 false(no-overflow) 5.8 330 42 1
termination-crafted/NonTerminationSimple9_false-no-overflow.c false(no-overflow) .12  22 .86 1 false(no-overflow) .14 17 .78 1 unknown .0090 .89 .028  0 error (1) .41 37 3.7 0 false(no-overflow) 2.3 250 18 1 false(no-overflow) 2.3 250 22 1 false(no-overflow) .50 75 6.5 1 out of memory 45    15000 510   0 false(no-overflow) .11  23 .68 1 false(no-overflow) .11  23 .67 1 false(no-overflow) .076 23 .81 1 false(no-overflow) 1.7  76 21   1 false(no-overflow) .18 11   1.6 1 false(no-overflow) 5.7 320 49 1 false(no-overflow) 5.5 320 38 1 false(no-overflow) 5.4 320 45 1
termination-crafted/Pure2Phase_false-no-overflow.c false(no-overflow) .13  22 .81 1 false(no-overflow) .14 17 1.0  1 unknown .010  .92 .028  0 error (1) .40 37 3.6 0 false(no-overflow) 2.3 250 19 1 false(no-overflow) 2.5 260 24 1 false(no-overflow) .55 75 6.0 0 out of memory 53    15000 560   0 false(no-overflow) .080 23 .75 1 false(no-overflow) .087 23 .76 1 false(no-overflow) .079 23 .90 1 false(no-overflow) 1.8  83 22   1 false(no-overflow) .15 10   1.8 1 false(no-overflow) 5.7 320 42 1 false(no-overflow) 6.5 350 51 1 false(no-overflow) 5.7 320 48 1
termination-crafted/Pure3Phase_false-no-overflow.c false(no-overflow) .14  23 .95 1 false(no-overflow) .13 18 1.0  1 unknown .010  .77 .019  0 error (1) .39 37 4.2 0 false(no-overflow) 2.4 250 21 1 false(no-overflow) 2.6 260 22 1 false(no-overflow) .56 75 7.8 1 out of memory 160    15000 1500   0 false(no-overflow) .096 23 .74 1 false(no-overflow) .081 23 .78 1 false(no-overflow) .11  23 .73 1 false(no-overflow) 1.8  80 22   1 false(no-overflow) .17 10   1.6 1 false(no-overflow) 5.3 310 41 1 false(no-overflow) 5.4 320 40 1 false(no-overflow) 5.3 320 44 1
termination-crafted/RecursiveMultiplication_false-no-overflow.c error (5) .096 22 .67 0 false(no-overflow) .14 18 .98 0 aborted .12   8.2  1.0    0 error (1) .41 39 3.8 0 error (recursion) 2.3 240 22 0 error (recursion) 2.3 250 19 0 false(no-overflow) .57 49 6.9 1 out of memory 120    15000 1600   0 false(no-overflow) .11  23 .60 1 false(no-overflow) .075 23 .81 1 false(no-overflow) .11  23 .70 1 false(no-overflow) 1.6  84 19   1 false(no-overflow) .17 10   1.9 1 false(no-overflow) 5.6 330 48 1 false(no-overflow) 6.2 330 48 1 false(no-overflow) 5.8 330 43 1
termination-crafted/RecursiveNonterminating_false-no-overflow.c error (5) .081 22 .61 0 false(no-overflow) .15 18 .92 1 aborted .11   8.0  1.3    0 error (1) .41 37 3.7 0 false(no-overflow) 2.3 250 20 1 false(no-overflow) 2.4 240 24 1 false(no-overflow) .57 49 6.9 1 false(no-overflow) .49 41 4.5 1 false(no-overflow) .098 23 .78 1 false(no-overflow) .11  23 .71 1 false(no-overflow) .093 23 .77 1 false(no-overflow) 1.5  75 19   1 false(no-overflow) .17 10   1.5 1 false(no-overflow) 5.3 320 41 1 false(no-overflow) 5.3 320 44 1 false(no-overflow) 5.5 320 43 1
termination-crafted/Rotation180_false-no-overflow.c false(no-overflow) .11  22 .93 1 false(no-overflow) .14 17 .87 1 unknown .0092 1.0  .020  0 error (1) .43 40 3.9 0 false(no-overflow) 2.4 250 22 1 false(no-overflow) 2.4 240 19 1 false(no-overflow) .38 75 3.9 1 false(no-overflow) 570    3300 4000   0 false(no-overflow) .087 23 .75 1 false(no-overflow) .071 23 .94 1 false(no-overflow) .072 23 .96 1 false(no-overflow) 1.7  74 22   1 false(no-overflow) .15 10   1.7 1 false(no-overflow) 5.3 320 45 1 false(no-overflow) 5.5 320 44 1 false(no-overflow) 5.8 320 43 1
termination-crafted/Singapore_false-no-overflow.c false(no-overflow) .14  22 .82 1 false(no-overflow) .12 18 .91 1 unknown .0065 1.1  .027  0 error (1) .43 37 4.0 0 false(no-overflow) 2.4 250 19 1 false(no-overflow) 2.5 250 23 1 false(no-overflow) .56 75 6.5 1 out of memory 40    15000 440   0 false(no-overflow) .078 23 .82 1 false(no-overflow) .092 23 .79 1 false(no-overflow) .091 23 .98 1 false(no-overflow) 1.7  81 22   1 false(no-overflow) .18 10   1.7 1 false(no-overflow) 5.5 320 43 1 false(no-overflow) 5.5 320 47 1 false(no-overflow) 5.4 310 45 1
termination-crafted/Singapore_plus_false-no-overflow.c false(no-overflow) .13  22 1.1  1 false(no-overflow) .11 18 1.1  1 unknown .0088 1.1  .025  0 error (1) .39 37 3.6 0 false(no-overflow) 2.4 250 20 1 false(no-overflow) 2.4 250 20 1 false(no-overflow) .55 76 6.5 1 out of memory 41    15000 480   0 false(no-overflow) .088 23 .87 1 false(no-overflow) .077 23 .80 1 false(no-overflow) .075 23 .93 1 false(no-overflow) 13    110 140   1 false(no-overflow) .18 10   2.0 1 false(no-overflow) 6.6 340 55 1 false(no-overflow) 5.7 330 40 1 false(no-overflow) 5.6 320 42 1
termination-crafted/Singapore_v1_false-no-overflow.c false(no-overflow) .14  22 .86 1 false(no-overflow) .13 17 1.1  1 unknown .0096 .88 .021  0 error (1) .41 40 3.9 0 false(no-overflow) 2.3 250 21 1 false(no-overflow) 2.5 260 25 1 false(no-overflow) .56 76 7.6 1 out of memory 41    15000 510   0 false(no-overflow) .079 23 .78 1 false(no-overflow) .089 23 .67 1 false(no-overflow) .074 23 .82 1 timeout 880    450 12000   0 false(no-overflow) .18 10   1.7 1 false(no-overflow) 5.4 320 41 1 false(no-overflow) 5.6 320 44 1 false(no-overflow) 6.2 340 52 1
termination-crafted/Singapore_v2_false-no-overflow.c false(no-overflow) .10  23 .99 1 false(no-overflow) .11 18 1.1  1 unknown .0091 .93 .018  0 error (1) .40 37 3.9 0 false(no-overflow) 2.3 250 19 1 false(no-overflow) 2.6 260 23 1 false(no-overflow) .57 76 6.2 1 out of memory 42    15000 440   0 false(no-overflow) .11  23 .70 1 false(no-overflow) .10  23 .88 1 false(no-overflow) .074 23 .73 1 false(no-overflow) 14    110 170   1 false(no-overflow) .16 11   1.6 1 false(no-overflow) 5.6 330 42 1 false(no-overflow) 5.5 320 50 1 false(no-overflow) 6.8 340 48 1
termination-crafted/Stockholm_false-no-overflow.c false(no-overflow) .12  23 .94 1 false(no-overflow) .15 18 .94 1 unknown .0094 .87 .025  0 error (1) .40 37 3.4 0 false(no-overflow) 2.3 250 21 1 false(no-overflow) 2.5 260 21 1 false(no-overflow) .54 75 7.3 1 out of memory 44    15000 560   0 false(no-overflow) .084 23 .87 1 false(no-overflow) .095 23 .94 1 false(no-overflow) .093 23 .79 1 false(no-overflow) 1.7  84 25   1 false(no-overflow) .15 10   1.8 1 false(no-overflow) 5.4 310 40 1 false(no-overflow) 5.7 320 44 1 false(no-overflow) 5.8 330 41 1
termination-crafted/Thun_false-no-overflow.c false(no-overflow) .14  22 1.0  1 false(no-overflow) .14 17 .84 1 unknown .0092 .87 .022  0 error (1) .42 40 3.9 0 false(no-overflow) 2.4 250 23 1 false(no-overflow) 2.4 250 19 1 false(no-overflow) .52 75 6.9 1 out of memory 37    15000 410   0 false(no-overflow) .078 23 .80 1 false(no-overflow) .12  23 .61 1 false(no-overflow) .10  23 .79 1 false(no-overflow) 1.8  80 21   1 false(no-overflow) .18 10   1.5 1 false(no-overflow) 5.8 320 48 1 false(no-overflow) 5.5 320 42 1 false(no-overflow) 5.5 310 40 1
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c false(no-overflow) .13  23 .79 1 false(no-overflow) .15 17 1.1  1 unknown .0081 .98 .021  0 error (1) .43 40 4.0 0 false(no-overflow) 2.5 250 20 1 false(no-overflow) 2.5 260 21 1 false(no-overflow) .56 75 6.2 1 out of memory 39    15000 390   0 false(no-overflow) .089 23 .90 1 false(no-overflow) .078 23 .81 1 false(no-overflow) .075 23 .97 1 false(no-overflow) 1.7  84 22   1 false(no-overflow) .15 11   2.6 1 false(no-overflow) 6.4 340 47 1 false(no-overflow) 6.4 350 49 1 false(no-overflow) 5.9 320 48 1
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c false(no-overflow) .14  25 .95 1 false(no-overflow) .15 20 1.1  1 unknown .0094 .80 .015  0 error (1) .42 40 3.9 0 false(no-overflow) 2.7 250 24 1 false(no-overflow) 2.8 270 27 1 false(no-overflow) .63 77 7.5 1 out of memory 40    15000 420   0 false(no-overflow) .11  23 1.1  1 false(no-overflow) .10  23 1.1  1 false(no-overflow) .12  23 1.0  1 false(no-overflow) 1.9  88 28   1 false(no-overflow) .21 11   2.5 1 false(no-overflow) 14   500 120 1 false(no-overflow) 15   560 110 1 false(no-overflow) 14   530 110 1
termination-crafted/aaron2_false-no-overflow.c false(no-overflow) .15  23 .88 1 false(no-overflow) .13 18 1.0  1 unknown .0093 .98 .017  0 error (1) .42 40 3.8 0 false(no-overflow) 2.5 260 21 1 false(no-overflow) 2.8 280 22 1 false(no-overflow) .40 76 4.9 1 false(no-overflow) 900    1300 8300   0 false(no-overflow) .11  23 .62 1 false(no-overflow) .11  23 .70 1 false(no-overflow) .080 23 .80 1 false(no-overflow) 1.8  81 22   1 false(no-overflow) .15 10   1.7 1 false(no-overflow) 5.8 330 45 1 false(no-overflow) 5.7 320 46 1 false(no-overflow) 5.8 320 40 1
termination-crafted/aaron3_false-no-overflow.c false(no-overflow) .11  23 .92 1 false(no-overflow) .12 18 .98 1 unknown .0092 .90 .022  0 error (1) .41 37 3.4 0 false(no-overflow) 2.4 250 22 1 false(no-overflow) 2.8 270 24 1 false(no-overflow) .39 75 4.5 1 out of memory 71    15000 770   0 false(no-overflow) .11  23 .85 1 false(no-overflow) .077 23 .83 1 false(no-overflow) .092 23 .76 1 false(no-overflow) 1.8  82 21   1 false(no-overflow) .18 11   1.9 1 false(no-overflow) 6.1 330 46 1 false(no-overflow) 5.5 330 44 1 false(no-overflow) 6.1 340 51 1
termination-crafted/4BitCounterPointer_true-no-overflow.c true .21  24 1.4  2 true .91 18 11    2 unknown .010  .86 .020  0 error (1) .39 38 3.6 0 timeout 910   8800 9500 0 timeout 910   8900 8900 0 unknown 1.2  76 15   0 true 2.5  320 24   2 timeout 900     3800 9500    0 true .094 23 1.0  2 true .11  23 .72 2 true 1.3  75 16   2 true .14 9.0 1.4 2 true 5.5 320 49 2 true 6.1 320 50 2 true 5.6 320 42 2
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow.c true 5.4   160 55    1 error (42) 850    3900 4500    0 unknown .011  1.0  .013  0 error (1) .44 40 3.7 0 error 2.4 240 22 0 error 2.4 260 23 0 unknown 59    100 640   0 out of memory 33    15000 350   0 timeout 900     12000 8500    0 out of memory 310     15000 2400    0 unknown .10  23 .68 0 timeout 880    1100 7900   0 timeout (timeout) 900    270   12000   0 timeout 900   5100 11000 0 timeout 900   4800 13000 0 timeout 900   2800 13000 0
termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow.c true 2.7   75 32    2 error (42) 850    3800 4300    0 unknown .010  .85 .016  0 error (1) .41 40 3.9 0 error 2.3 240 22 0 error 2.3 240 22 0 unknown 1.2  76 14   0 out of memory 34    15000 340   0 out of memory 310     15000 3800    0 out of memory 320     15000 3900    0 true .083 23 .95 2 true 880    660 9500   2 timeout (timeout) 900    70   12000   0 true 5.5 340 39 2 true 5.9 330 41 2 true 6.7 350 53 2
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow.c true 3.0   130 34    2 error (42) 850    4700 3800    0 unknown .010  .93 .019  0 error (1) .42 40 4.3 0 error 2.3 250 23 0 error 2.5 250 22 0 unknown 1.4  100 16   0 out of memory 36    15000 470   0 timeout 900     4700 5300    0 timeout 900     10000 6600    0 true .089 23 1.1  2 timeout 880    1200 7700   0 timeout (timeout) 900    170   11000   0 true 6.7 330 51 2 true 8.0 420 59 2 true 9.4 420 76 2
termination-crafted/Bangalore_true-no-overflow.c true .10  22 .79 2 error (42) 850    5900 4300    0 unknown .0064 .62 .028  0 error (1) .47 40 3.9 0 timeout 900   2500 11000 0 timeout 900   2400 9800 0 unknown 7.1  75 110   0 out of memory 35    15000 380   0 timeout 900     280 12000    0 timeout 900     390 11000    0 true .13  23 1.5  2 true 880    870 11000   2 timeout (timeout) 900    43   12000   0 true 6.5 330 58 2 true 8.2 400 59 2 true 6.7 350 55 2
termination-crafted/Bangalore_v2_true-no-overflow.c true .12  22 .81 2 error (42) 850    5900 4200    0 unknown .0094 .78 .022  0 error (1) .41 37 4.0 0 false(no-overflow) 2.4 260 22 -16 false(no-overflow) 2.5 250 23 -16 unknown 7.0  75 100   0 out of memory 35    15000 440   0 timeout 900     290 11000    0 timeout 900     410 11000    0 true .13  23 1.4  2 true 880    510 10000   2 timeout (timeout) 900    45   14000   0 true 6.3 330 49 2 true 7.6 380 63 2 true 6.7 360 53 2
termination-crafted/Bangalore_v4_true-no-overflow.c true .13  23 1.4  2 true .20 17 1.6  2 unknown .0088 .85 .021  0 error (1) .45 40 3.9 0 false(no-overflow) 2.4 250 20 -16 false(no-overflow) 2.6 260 22 -16 unknown 1.5  75 20   0 out of memory 35    15000 370   0 out of memory 360     15000 4200    0 true .13  23 1.2  2 true .12  23 1.3  2 true 1.4  77 16   2 true .17 10   1.6 2 true 6.2 330 49 2 true 6.3 330 48 2 true 6.4 350 49 2
termination-crafted/Benghazi_true-no-overflow.c timeout 900     260 8300    0 error (42) 850    3100 3800    0 unknown .0082 .91 .024  0 error (1) .42 38 4.1 0 timeout 910   5600 12000 0 timeout 900   5700 12000 0 unknown 560    560 5400   0 out of memory 35    15000 430   0 timeout 900     10000 12000    0 out of memory 450     15000 5900    0 out of memory 350     15000 4200    0 true 880    920 9100   2 timeout (timeout) 900    230   11000   0 true 850   8500 10000 2 timeout 900   1200 13000 0 true 620   7200 6800 2
termination-crafted/Cairo_step2_true-no-overflow.c timeout 900     1300 10000    0 error (42) 850    5700 3200    0 unknown .0075 .94 .036  0 error (1) .40 40 3.5 0 timeout 900   4200 11000 0 timeout 900   4200 12000 0 unknown 77    75 890   0 out of memory 36    15000 420   0 timeout 900     8600 12000    0 out of memory 710     15000 8900    0 out of memory 460     15000 6600    0 true 880    620 11000   2 timeout (timeout) 900    200   14000   0 timeout 900   2300 12000 0 timeout 900   2400 12000 0 timeout 900   1800 14000 0
termination-crafted/Cairo_true-no-overflow.c timeout 900     1500 12000    0 error (42) 850    5500 3500    0 unknown .0060 .76 .014  0 error (1) .43 40 4.1 0 timeout 900   3200 12000 0 timeout 900   3200 11000 0 unknown 1.4  75 15   0 out of memory 36    15000 480   0 timeout 900     8600 11000    0 out of memory 720     15000 9500    0 out of memory 460     15000 6400    0 true 880    820 11000   2 timeout (timeout) 900    190   13000   0 true 6.3 320 50 2 true 6.4 330 50 2 true 6.9 350 58 2
termination-crafted/Copenhagen_true-no-overflow.c true .12  22 .76 2 error (42) 850    3700 4100    0 unknown .010  1.0  .021  0 error (1) .43 40 4.1 0 timeout 910   8900 11000 0 timeout 910   8700 10000 0 unknown 1.2  75 14   0 out of memory 35    15000 410   0 timeout 900     5100 10000    0 timeout 900     12000 9900    0 true .085 23 .91 2 true 880    690 10000   2 timeout (timeout) 900    270   12000   0 true 6.9 330 58 2 true 6.8 340 57 2 true 7.1 360 56 2
termination-crafted/Division_true-no-overflow.c true .11  22 .85 2 error (42) 850    4600 4700    0 unknown .011  1.1  .025  0 error (1) .41 40 4.5 0 timeout 900   2400 12000 0 timeout 900   2400 11000 0 unknown 1.5  75 16   0 out of memory 33    15000 400   0 out of memory 850     15000 10000    0 out of memory 470     15000 5500    0 true .090 23 1.0  2 true 880    2800 10000   2 timeout (timeout) 900    13   12000   0 true 5.8 320 43 2 true 6.3 330 45 2 true 6.1 330 49 2
termination-crafted/LexIndexValue-Array_true-no-overflow.c true 5.8   220 65    1 error (134) 47    14000 620    0 unknown .0091 .93 .020  0 error (1) .45 40 4.1 0 error 2.5 250 22 0 error 2.5 260 20 0 unknown 38    100 500   0 out of memory 78    15000 860   0 timeout 900     8900 7100    0 timeout 900     12000 7700    0 true .11  23 .82 1 timeout 880    980 8500   0 timeout (timeout) 900    4200   6700   0 timeout 900   3900 13000 0 timeout 900   4600 14000 0 timeout 900   2600 13000 0
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c timeout 900     11000 5400    0 error (1) 54    14000 650    0 unknown .0088 .81 .024  0 error (1) .44 38 3.4 0 false(no-overflow) 2.6 250 21 -16 false(no-overflow) 2.5 250 22 -16 unknown 130    160 1700   0 out of memory 62    15000 650   0 timeout 900     10000 7200    0 out of memory 280     15000 3800    0 timeout 900     11000 13000    0 timeout 880    1300 11000   0 timeout (timeout) 900    3800   9400   0 timeout 900   5300 11000 0 timeout 900   5200 13000 0 timeout 900   3300 14000 0
termination-crafted/Madrid_true-no-overflow.c true .12  22 .80 2 out of memory 190    15000 2300    0 unknown .0093 .95 .018  0 error (1) .42 37 3.3 0 timeout 900   2000 11000 0 timeout 900   1900 12000 0 unknown 1.1  75 15   0 true 1.4  420 18   2 timeout 900     12000 10000    0 out of memory 220     15000 3300    0 true .088 23 .87 2 true 1.3  76 16   2 true .12 9.3 1.3 2 true 6.2 320 48 2 true 5.9 340 45 2 true 5.6 330 45 2
termination-crafted/McCarthy91_Iteration_true-no-overflow.c timeout 900     1500 12000    0 error (42) 850    1200 7500    0 unknown .0071 .63 .025  0 error (1) .42 40 3.9 0 timeout 900   4700 11000 0 timeout 900   4800 12000 0 unknown 890    120 11000   0 true 900    1400 9000   2 timeout 900     650 8600    0 timeout 900     1300 11000    0 timeout 900     1900 10000    0 true 880    350 9500   2 timeout (timeout) 900    130   10000   0 timeout 900   3600 13000 0 timeout 900   3400 13000 0 timeout 900   2800 12000 0
termination-crafted/McCarthy91_Recursion_true-no-overflow.c error (5) .11  22 .70 0 error (42) 850    2000 3300    0 aborted .11   7.8  1.0    0 error (1) .39 37 4.1 0 error (recursion) 2.4 260 23 0 error (recursion) 2.5 250 23 0 out of memory (false(no-overflow)) 500    15000 6600   0 out of memory 120    15000 1600   0 timeout 900     7200 8800    0 timeout 900     6000 7700    0 timeout 900     6900 8100    0 true 880    210 8800   2 timeout (timeout) 900    120   12000   0 true 7.9 370 61 2 true 7.1 350 54 2 true 7.5 360 59 2
termination-crafted/MenloPark_true-no-overflow.c timeout 900     860 7900    0 error (42) 850    3400 3700    0 unknown .0068 .86 .017  0 error (1) .43 40 3.9 0 timeout 910   8800 10000 0 timeout 910   8900 12000 0 unknown 1.4  75 18   0 out of memory 34    15000 430   0 timeout 900     9400 11000    0 out of memory 520     15000 6900    0 out of memory 310     15000 3600    0 true 880    890 9400   2 timeout (timeout) 900    210   10000   0 true 12   490 99 2 true 14   490 140 2 true 11   490 80 2
termination-crafted/MutualRecursion_1a_true-no-overflow.c error (5) .12  22 .73 0 error (42) 850    280 2500    0 aborted .12   8.0  1.2    0 error (1) .45 40 3.6 0 error (recursion) 2.5 250 22 0 error (recursion) 2.5 250 23 0 unknown 430    15000 5600   0 out of memory 110    15000 1600   0 timeout 900     14000 7700    0 timeout 900     1200 12000    0 timeout 900     1300 12000    0 true 880    250 8700   2 timeout (timeout) 900    110   11000   0 true 11   490 90 2 timeout 900   1200 13000 0 true 14   500 99 2
termination-crafted/MutualRecursion_1b_true-no-overflow.c error (5) .097 22 .75 0 error (42) 850    280 2900    0 aborted .12   8.2  1.2    0 error (1) .38 37 3.6 0 error (recursion) 2.4 250 21 0 error (recursion) 2.5 260 23 0 unknown 430    15000 5500   0 out of memory 120    15000 1400   0 timeout 900     4800 9600    0 timeout 900     1200 9300    0 timeout 900     1300 11000    0 timeout 880    220 9000   0 timeout (timeout) 900    180   9900   0 true 13   670 110 2 timeout 900   1300 13000 0 true 32   930 270 2
termination-crafted/NestedRecursion_1b_true-no-overflow.c error (5) .12  22 .74 0 error (42) 850    690 3300    0 aborted .12   8.0  1.5    0 error (1) .41 37 4.0 0 error (recursion) 2.4 260 20 0 error (recursion) 2.4 250 22 0 out of memory (false(no-overflow)) 430    15000 4800   0 out of memory 96    15000 1200   0 timeout 900     9700 8700    0 timeout 900     4200 9600    0 timeout 900     1900 8300    0 true 880    510 7400   2 timeout (timeout) 900    480   12000   0 true 12   500 92 2 timeout 900   1400 11000 0 true 22   700 210 2
termination-crafted/NestedRecursion_1c_true-no-overflow.c error (5) .13  22 .66 0 error (42) 850    470 3000    0 aborted .11   8.1  1.2    0 error (1) .44 38 3.6 0 error (recursion) 2.4 250 22 0 error (recursion) 2.3 240 19 0 out of memory (false(no-overflow)) 380    15000 4700   0 out of memory 93    15000 1200   0 out of memory 770     15000 9100    0 timeout 900     4200 9300    0 timeout 900     4700 9500    0 true 880    520 8000   2 timeout (timeout) 900    380   12000   0 true 9.9 470 74 2 timeout 900   1700 12000 0 true 12   500 110 2
termination-crafted/NestedRecursion_1d_true-no-overflow.c error (5) .12  22 .70 0 error (42) 850    690 2800    0 aborted .13   8.4  1.4    0 error (1) .42 38 4.1 0 error (recursion) 2.4 250 21 0 error (recursion) 2.4 250 23 0 out of memory (false(no-overflow)) 430    15000 4900   0 out of memory 96    15000 1300   0 timeout 900     3700 12000    0 timeout 900     4200 10000    0 timeout 900     4400 9600    0 true 880    340 7300   2 timeout (timeout) 900    490   11000   0 true 13   700 110 2 timeout 900   1400 11000 0 true 23   810 190 2
termination-crafted/NestedRecursion_2b_true-no-overflow.c error (5) .082 22 .78 0 error (42) 850    2800 4800    0 segmentation fault .031  8.1  .15   0 error (1) .42 37 3.2 0 error (recursion) 2.4 250 20 0 error (recursion) 2.3 250 19 0 out of memory (false(no-overflow)) 490    15000 6700   0 out of memory 120    15000 1400   0 out of memory 760     15000 6700    0 timeout 900     2200 9700    0 timeout 900     2600 11000    0 true 880    280 8000   1 timeout (timeout) 900    1900   12000   0 timeout 900   3500 14000 0 timeout 900   1700 11000 0 timeout 900   3500 12000 0
termination-crafted/NestedRecursion_2c_true-no-overflow.c error (5) .12  22 .61 0 error (42) 850    7300 7000    0 segmentation fault .029  8.1  .19   0 error (1) .42 38 3.7 0 error (recursion) 2.3 250 19 0 error (recursion) 2.3 250 19 0 out of memory (false(no-overflow)) 490    15000 5900   0 out of memory 120    15000 1800   0 out of memory 700     15000 6300    0 timeout 900     4800 7700    0 timeout 900     3700 11000    0 true 880    530 6300   1 timeout (timeout) 900    460   12000   0 timeout 900   1700 11000 0 timeout 900   3000 12000 0 timeout 900   1900 12000 0
termination-crafted/NonTermination3_true-no-overflow.c true .13  23 .73 2 error (42) 850    2700 5000    0 unknown .0084 .97 .028  0 error (1) .43 40 3.5 0 error 2.4 250 22 0 error 2.4 240 21 0 unknown 1.2  75 13   0 out of memory 51    15000 540   0 timeout 900     1700 8200    0 out of memory 210     15000 2300    0 true .080 23 .88 2 true 1.3  75 18   2 true .15 9.4 1.5 2 true 5.6 320 44 2 true 5.4 310 48 2 true 5.7 330 45 2
termination-crafted/NonTerminationSimple7_true-no-overflow.c true .10  22 .74 2 error (42) 850    6300 3700    0 unknown .0091 .92 .024  0 error (1) .42 40 3.8 0 timeout 900   700 11000 0 timeout 900   780 13000 0 unknown 1.4  75 15   0 out of memory 41    15000 450   0 out of memory 250     15000 2600    0 out of memory 180     15000 2100    0 true .082 23 .90 2 timeout 880    4400 9700   0 timeout (timeout) 900    67   13000   0 true 5.7 320 44 2 true 7.2 350 54 2 true 6.1 330 47 2
termination-crafted/Nyala-2lex_true-no-overflow.c true .13  22 .76 2 error (42) 850    2200 6200    0 unknown .0072 1.0  .024  0 error (1) .42 37 4.3 0 timeout 910   11000 9800 0 timeout 910   11000 8800 0 unknown 1.3  75 18   0 out of memory 51    15000 520   0 timeout 900     8600 8900    0 timeout 900     14000 13000    0 true .087 23 .94 2 true 880    360 11000   2 timeout (timeout) 900    4300   9500   0 true 6.7 330 52 2 true 6.7 340 55 2 true 6.8 350 52 2
termination-crafted/Parallel_true-no-overflow.c true .12  22 .83 2 error (42) 850    2000 7500    0 unknown .010  .71 .026  0 error (1) .42 37 3.5 0 timeout 900   3900 14000 0 timeout 900   4000 12000 0 unknown 1.4  75 15   0 out of memory 51    15000 680   0 timeout 900     5100 8300    0 timeout 900     9700 9800    0 true .13  23 .95 2 true 880    630 9400   2 timeout (timeout) 900    270   12000   0 true 5.9 320 47 2 true 6.8 330 59 2 true 5.8 320 45 2
termination-crafted/Piecewise_true-no-overflow.c true .14  23 .79 2 error (42) 850    820 7200    0 unknown .0095 .70 .024  0 error (1) .43 37 3.5 0 timeout 900   1500 9300 0 timeout 900   1500 11000 0 unknown 1.2  75 14   0 out of memory 190    15000 2500   0 out of memory 350     15000 4300    0 timeout 900     3000 9900    0 true .12  23 .71 2 true 880    380 10000   2 timeout (timeout) 900    330   10000   0 true 5.8 330 50 2 true 6.5 320 53 2 true 7.2 350 53 2
termination-crafted/SyntaxSupportPointer01_true-no-overflow.c true .20  23 1.4  2 error (42) 850    4800 4000    0 unknown .0078 .94 .031  0 error (1) .44 37 3.5 0 timeout 910   11000 11000 0 timeout 910   11000 9900 0 unknown 72    75 1000   0 out of memory 34    15000 360   0 timeout 900     9600 11000    0 out of memory 600     15000 7000    0 out of memory 470     15000 6100    0 true 880    1000 11000   2 timeout (timeout) 900    270   11000   0 true 6.1 330 50 2 true 6.7 320 48 2 true 6.8 340 51 2
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow.c true .13  22 .91 2 error (42) 850    1200 6200    0 unknown .0075 .78 .020  0 error (1) .41 38 3.9 0 timeout 900   1600 11000 0 timeout 900   1700 9400 0 unknown 1.3  76 13   0 out of memory 64    15000 790   0 out of memory 190     15000 2600    0 timeout 900     2400 10000    0 true .087 23 .94 2 true 880    420 11000   2 timeout (timeout) 900    390   9400   0 true 6.4 320 48 2 true 8.0 360 62 2 true 6.4 330 46 2
termination-crafted/Waldkirch_true-no-overflow.c true .11  22 .80 2 error (42) 850    7000 4500    0 unknown .0097 .63 .022  0 error (1) .46 40 4.1 0 timeout 910   9400 11000 0 timeout 910   9500 10000 0 unknown 1.3  75 15   0 out of memory 34    15000 380   0 timeout 900     9600 9300    0 out of memory 600     15000 7800    0 true .099 23 1.1  2 true 880    850 9700   2 timeout (timeout) 900    260   11000   0 true 6.0 320 45 2 true 5.8 320 49 2 true 5.8 320 44 2
termination-crafted/WhileFalse_true-no-overflow.c true .11  22 .73 2 true .17 17 1.7  2 unknown .0091 .88 .021  0 error (1) .47 40 4.3 0 true 2.3 240 20 1 true 2.3 240 19 1 unknown 1.2  49 12   0 true .36 32 4.4 2 timeout 900     13000 11000    0 true .099 23 .78 2 true .098 23 .89 2 true 1.2  68 13   2 true .12 9.2 1.5 2 true 5.8 340 45 2 true 5.2 310 44 2 true 5.7 320 44 2
termination-crafted/WhileTrue_true-no-overflow.c true .10  22 .78 2 true .20 17 1.5  1 unknown .0085 .92 .031  0 error (1) .41 38 3.8 0 timeout 900   930 13000 0 timeout 900   850 12000 0 unknown 1.1  75 13   0 true .38 32 4.5 2 out of memory 520     15000 5500    0 out of memory 490     15000 5700    0 true .072 23 1.0  2 true 1.3  76 15   2 true .12 9.1 1.3 2 true 5.9 330 45 2 true 5.4 320 42 2 true 5.5 310 42 2
termination-crafted/easy1_true-no-overflow.c true .10  22 .87 2 true 2.6  57 29    2 unknown .010  .93 .017  0 error (1) .41 37 3.9 0 true 8.2 330 62 2 true 7.9 330 60 2 unknown 1.4  75 17   0 out of memory 50    15000 530   0 out of memory 180     15000 2100    0 true 3.1   300 43    2 true .082 23 .90 2 true 22    150 330   2 true .14 9.5 1.6 2 true 5.9 320 49 2 true 6.4 330 52 2 true 6.3 340 48 2
termination-crafted/easy2_true-no-overflow.c timeout 900     1700 10000    0 error (42) 850    3100 3400    0 unknown .0051 1.0  .010  0 error (1) .43 37 3.5 0 timeout 910   9000 11000 0 timeout 910   9000 10000 0 unknown 160    390 1900   0 out of memory 34    15000 370   0 out of memory 190     15000 2400    0 out of memory 120     15000 1700    0 out of memory 130     15000 1700    0 true 880    800 11000   2 timeout (timeout) 900    240   11000   0 timeout 900   5300 13000 0 timeout 900   2200 13000 0 timeout 900   3300 13000 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c false(no-overflow) .13  23 1.1  1 false(no-overflow) .16 18 1.3  1 unknown .010  .88 .018  0 error (1) .43 37 4.0 0 false(no-overflow) 2.3 250 22 1 false(no-overflow) 2.3 250 19 1 false(no-overflow) .57 100 6.1 0 timeout 900    4600 11000   0 false(no-overflow) .11  23 .75 0 false(no-overflow) .077 23 1.1  0 false(no-overflow) .097 23 .75 0 false(no-overflow) 1.8  80 21   1 false(no-overflow) .16 11   2.2 1 false(no-overflow) 5.8 340 41 1 false(no-overflow) 6.0 320 48 1 false(no-overflow) 6.0 330 49 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c false(no-overflow) .12  23 1.1  1 false(no-overflow) .15 23 1.5  1 unknown .010  .84 .021  0 error (1) .40 37 3.6 0 false(no-overflow) 2.5 250 20 1 false(no-overflow) 2.4 250 23 1 false(no-overflow) .61 130 7.2 0 out of memory 26    15000 230   0 false(no-overflow) .078 23 1.1  0 false(no-overflow) .080 23 .94 0 false(no-overflow) .081 23 .93 0 false(no-overflow) 2.0  88 23   1 false(no-overflow) .16 11   2.0 1 false(no-overflow) 7.0 350 56 1 false(no-overflow) 6.7 340 51 1 false(no-overflow) 6.5 330 53 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c false(no-overflow) .12  23 .91 1 false(no-overflow) .12 18 .94 1 unknown .0090 .79 .017  0 error (1) .43 40 4.2 0 false(no-overflow) 2.5 250 24 1 false(no-overflow) 2.4 250 22 1 false(no-overflow) .40 75 4.1 1 false(no-overflow) 890    1400 9300   0 false(no-overflow) .080 23 .87 1 false(no-overflow) .089 23 .79 1 false(no-overflow) .079 23 1.0  1 false(no-overflow) 1.8  79 22   1 false(no-overflow) .19 11   1.8 1 false(no-overflow) 6.4 340 48 1 false(no-overflow) 5.9 330 44 1 false(no-overflow) 6.5 340 52 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c false(no-overflow) .13  25 .95 1 false(no-overflow) .15 17 .90 1 unknown .0095 .91 .023  0 error (1) .44 40 3.7 0 false(no-overflow) 2.4 250 21 1 false(no-overflow) 2.5 250 21 1 false(no-overflow) .38 76 4.1 1 out of memory 80    15000 930   0 false(no-overflow) .077 23 .83 1 false(no-overflow) .075 23 .91 1 false(no-overflow) .080 23 .74 1 false(no-overflow) 1.8  80 22   1 false(no-overflow) .16 11   1.8 1 false(no-overflow) 6.5 350 50 1 false(no-overflow) 5.2 320 42 1 false(no-overflow) 5.2 320 41 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c false(no-overflow) .096 23 1.0  1 false(no-overflow) .12 19 1.0  1 unknown .0074 .91 .018  0 error (1) .44 40 3.9 0 false(no-overflow) 2.5 250 22 1 false(no-overflow) 2.4 250 23 1 false(no-overflow) .62 100 6.3 1 timeout 900    10000 7600   0 false(no-overflow) .093 23 .95 1 false(no-overflow) .11  23 .69 1 false(no-overflow) .10  23 .84 1 false(no-overflow) 1.9  81 25   1 false(no-overflow) .17 11   1.9 1 false(no-overflow) 6.6 330 46 1 false(no-overflow) 7.3 340 52 1 false(no-overflow) 6.7 350 50 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c false(no-overflow) .13  23 .87 1 false(no-overflow) .13 18 .99 1 unknown .0068 .88 .019  0 error (1) .43 38 4.0 0 false(no-overflow) 2.4 250 21 1 false(no-overflow) 2.6 250 24 1 false(no-overflow) .41 76 4.0 1 false(no-overflow) 890    2400 10000   1 false(no-overflow) .075 23 .84 1 false(no-overflow) .10  23 .85 1 false(no-overflow) .11  23 .75 1 false(no-overflow) 1.8  84 23   1 false(no-overflow) .15 10   1.8 1 false(no-overflow) 6.3 350 43 1 false(no-overflow) 5.8 320 45 1 false(no-overflow) 6.3 330 47 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c false(no-overflow) .13  23 .78 1 false(no-overflow) .15 18 1.2  1 unknown .0077 .79 .025  0 error (1) .45 38 3.4 0 false(no-overflow) 2.5 250 20 1 false(no-overflow) 2.5 250 23 1 false(no-overflow) .56 130 6.6 1 timeout 900    11000 8300   0 false(no-overflow) .10  23 .83 0 false(no-overflow) .077 23 .72 0 false(no-overflow) .075 23 .82 0 false(no-overflow) 1.8  76 22   0 false(no-overflow) .19 11   2.6 1 false(no-overflow) 6.9 330 46 1 false(no-overflow) 7.0 340 49 1 false(no-overflow) 6.2 320 48 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c false(no-overflow) .14  23 .89 1 false(no-overflow) .13 17 1.0  1 unknown .0096 .88 .023  0 error (1) .39 38 3.6 0 false(no-overflow) 2.6 240 24 1 false(no-overflow) 2.4 250 22 1 false(no-overflow) .39 75 4.0 1 out of memory 67    15000 740   0 false(no-overflow) .097 23 .88 1 false(no-overflow) .081 23 .82 1 false(no-overflow) .077 23 .91 1 false(no-overflow) 1.8  86 19   1 false(no-overflow) .18 10   1.6 1 false(no-overflow) 6.0 320 45 1 false(no-overflow) 6.3 320 47 1 false(no-overflow) 5.9 330 47 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_false-no-overflow.c false(no-overflow) 17     430 150    0 false(no-overflow) 2.5  75 30    0 unknown .0088 1.0  .031  0 error (1) .43 37 3.9 0 false(no-overflow) 20   520 140 0 false(no-overflow) 18   510 130 0 false(no-overflow) 310    380 3400   0 timeout 900    2600 9000   0 false(no-overflow) 12     230 170    0 false(no-overflow) 22     500 280    0 false(no-overflow) 280     1600 2900    0 error (1) 88    120 1000   0 false(no-overflow) 8.5  18   88   1 false(no-overflow) 30   920 280 1 false(no-overflow) 78   1000 960 1 false(no-overflow) 44   1100 420 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c false(no-overflow) .11  22 .89 1 false(no-overflow) .15 17 1.0  1 unknown .0093 1.0  .025  0 error (1) .40 37 3.5 0 false(no-overflow) 2.3 240 22 1 false(no-overflow) 2.2 240 19 1 false(no-overflow) .51 75 7.6 1 out of memory 35    15000 370   0 false(no-overflow) .079 23 .76 1 false(no-overflow) .11  23 .71 1 false(no-overflow) .075 23 .81 1 false(no-overflow) 1.7  73 21   1 false(no-overflow) .15 10   1.6 1 false(no-overflow) 6.2 340 47 1 false(no-overflow) 6.5 340 56 1 false(no-overflow) 5.9 330 50 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c false(no-overflow) .15  23 .91 1 false(no-overflow) .13 17 .89 1 unknown .0033 .76 .017  0 error (1) .45 40 4.3 0 false(no-overflow) 2.5 250 22 1 false(no-overflow) 2.3 250 19 1 false(no-overflow) .56 75 8.0 0 out of memory 200    15000 2600   0 false(no-overflow) .075 23 1.1  0 false(no-overflow) .098 23 .81 0 false(no-overflow) .076 23 .81 0 false(no-overflow) 1.7  81 19   1 false(no-overflow) .18 10   1.8 1 false(no-overflow) 5.5 320 44 1 false(no-overflow) 5.4 320 45 1 false(no-overflow) 5.9 320 48 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c false(no-overflow) .15  22 .81 1 false(no-overflow) .12 17 1.1  1 unknown .010  1.0  .033  0 error (1) .44 38 3.7 0 false(no-overflow) 2.4 250 23 1 false(no-overflow) 2.6 260 24 1 false(no-overflow) .56 75 6.0 1 out of memory 57    15000 690   0 false(no-overflow) .089 23 .79 1 false(no-overflow) .075 23 .97 1 false(no-overflow) .077 23 .84 1 false(no-overflow) 1.8  85 22   1 false(no-overflow) .15 10   1.5 1 false(no-overflow) 6.0 330 53 1 false(no-overflow) 5.7 320 46 1 false(no-overflow) 5.7 320 41 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c false(no-overflow) .12  22 .92 1 false(no-overflow) .13 17 1.0  1 unknown .0073 1.1  .016  0 error (1) .43 40 4.2 0 false(no-overflow) 2.5 250 23 1 false(no-overflow) 2.4 250 21 1 false(no-overflow) .36 75 4.6 1 out of memory 67    15000 930   0 false(no-overflow) .076 23 .91 1 false(no-overflow) .077 23 .91 1 false(no-overflow) .092 23 .77 1 false(no-overflow) 1.7  84 25   1 false(no-overflow) .16 10   1.9 1 false(no-overflow) 6.1 320 53 1 false(no-overflow) 6.2 320 46 1 false(no-overflow) 5.9 330 46 1
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c false(no-overflow) .13  23 1.1  1 false(no-overflow) .11 18 .96 1 unknown .0071 .99 .022  0 error (1) .40 38 3.6 0 false(no-overflow) 2.5 250 22 1 false(no-overflow) 2.6 260 21 1 false(no-overflow) .39 75 4.0 1 out of memory 140    15000 1400   0 false(no-overflow) .076 23 .76 1 false(no-overflow) .074 23 .97 1 false(no-overflow) .077 23 .85 1 false(no-overflow) 1.8  86 23   1 false(no-overflow) .16 10   1.8 1 false(no-overflow) 6.3 330 49 1 false(no-overflow) 7.3 370 57 1 false(no-overflow) 6.5 340 47 1
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c false(no-overflow) .16  23 .91 1 false(no-overflow) .16 18 1.0  1 unknown .0091 .81 .021  0 error (1) .42 40 4.2 0 false(no-overflow) 2.4 250 22 1 false(no-overflow) 2.4 240 24 1 false(no-overflow) .61 76 6.8 0 out of memory 330    15000 3500   0 false(no-overflow) .094 23 .79 1 false(no-overflow) .078 23 .95 1 false(no-overflow) .092 23 .89 1 false(no-overflow) 1.8  89 26   1 false(no-overflow) .15 11   1.6 1 false(no-overflow) 5.9 320 45 1 false(no-overflow) 5.9 320 46 1 false(no-overflow) 6.0 330 47 1
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c false(no-overflow) .15  27 1.2  1 false(no-overflow) .20 28 1.6  1 unknown .0095 1.0  .021  0 error (1) .43 39 3.7 0 false(no-overflow) 2.7 280 24 1 false(no-overflow) 2.7 270 21 1 false(no-overflow) 480    130 6400   0 false(no-overflow) 890    4200 11000   0 false(no-overflow) .11  23 .83 1 false(no-overflow) .087 23 .91 1 false(no-overflow) .087 23 .81 1 false(no-overflow) 2.4  94 27   1 false(no-overflow) .15 10   1.8 1 false(no-overflow) 5.3 320 47 1 false(no-overflow) 5.5 320 46 1 false(no-overflow) 6.2 360 47 1
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c false(no-overflow) .12  22 .84 1 false(no-overflow) .16 18 .97 1 unknown .010  .86 .015  0 error (1) .42 40 3.8 0 false(no-overflow) 3.1 280 27 1 false(no-overflow) 3.0 270 28 1 false(no-overflow) .41 76 4.8 1 out of memory 320    15000 3500   0 false(no-overflow) .088 23 .86 1 false(no-overflow) .11  23 .68 1 false(no-overflow) .11  23 .79 1 false(no-overflow) 1.8  91 21   1 false(no-overflow) .20 11   1.9 1 false(no-overflow) 5.6 320 48 1 false(no-overflow) 5.8 320 43 1 false(no-overflow) 6.0 340 49 1
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c false(no-overflow) .12  23 .83 1 false(no-overflow) .15 18 .96 1 unknown .012  .91 .032  0 error (1) .45 40 4.4 0 false(no-overflow) 2.5 260 20 1 false(no-overflow) 2.4 250 25 1 false(no-overflow) .39 75 4.7 1 false(no-overflow) 890    1400 8000   0 false(no-overflow) .12  23 .75 1 false(no-overflow) .079 23 .98 1 false(no-overflow) .082 23 .80 1 false(no-overflow) 1.8  87 24   1 false(no-overflow) .17 10   2.3 1 false(no-overflow) 6.6 350 48 1 false(no-overflow) 5.9 330 43 1 false(no-overflow) 6.7 360 55 1
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c false(no-overflow) .12  23 .94 1 false(no-overflow) .15 18 .99 1 unknown .0094 .98 .0075 0 error (1) .42 39 3.5 0 false(no-overflow) 2.5 250 21 1 false(no-overflow) 2.4 250 21 1 false(no-overflow) .39 75 4.3 1 out of memory 80    15000 930   0 false(no-overflow) .11  23 .77 1 false(no-overflow) .075 23 .88 1 false(no-overflow) .091 23 .81 1 false(no-overflow) 1.8  83 24   1 false(no-overflow) .17 11   1.7 1 false(no-overflow) 6.2 330 54 1 false(no-overflow) 5.8 330 40 1 false(no-overflow) 5.6 320 49 1
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c false(no-overflow) .12  23 1.1  1 false(no-overflow) .16 21 1.1  1 unknown .010  .88 .020  0 error (1) .42 37 4.2 0 false(no-overflow) 2.9 270 23 1 false(no-overflow) 2.8 280 28 1 false(no-overflow) .40 76 4.6 1 out of memory 530    15000 6500   0 false(no-overflow) .11  23 .74 1 false(no-overflow) .12  23 .85 1 false(no-overflow) .089 23 .91 1 false(no-overflow) 1.9  88 24   1 false(no-overflow) .19 11   1.8 1 false(no-overflow) 5.6 320 43 1 false(no-overflow) 5.6 320 43 1 false(no-overflow) 5.4 320 40 1
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c false(no-overflow) .12  23 1.0  1 false(no-overflow) .14 20 1.0  1 unknown .0068 .82 .0078 0 error (1) .42 37 3.7 0 false(no-overflow) 2.4 250 21 1 false(no-overflow) 2.3 250 21 1 false(no-overflow) .41 76 5.2 1 out of memory 68    15000 860   0 false(no-overflow) .11  23 .70 1 false(no-overflow) .079 23 .94 1 false(no-overflow) .095 23 .77 1 false(no-overflow) 1.8  84 23   1 false(no-overflow) .19 10   1.7 1 false(no-overflow) 5.5 330 48 1 false(no-overflow) 5.6 320 44 1 false(no-overflow) 6.1 330 41 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c false(no-overflow) .11  22 .87 1 false(no-overflow) .12 17 1.0  1 unknown .0094 1.1  .022  0 error (1) .44 40 4.4 0 false(no-overflow) 2.4 250 21 1 false(no-overflow) 2.5 260 22 1 false(no-overflow) .53 75 7.0 1 out of memory 33    15000 330   0 false(no-overflow) .11  23 .61 1 false(no-overflow) .092 23 .93 1 false(no-overflow) .084 23 .78 1 false(no-overflow) 1.7  79 20   1 false(no-overflow) .17 10   1.6 1 false(no-overflow) 5.7 330 45 1 false(no-overflow) 6.6 340 50 1 false(no-overflow) 5.8 320 47 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c false(no-overflow) .12  22 .89 1 false(no-overflow) .12 18 1.1  1 unknown .0098 .84 .016  0 error (1) .39 37 3.5 0 false(no-overflow) 2.4 240 21 1 false(no-overflow) 2.3 250 20 1 false(no-overflow) .39 76 4.3 1 out of memory 50    15000 580   0 false(no-overflow) .099 23 .79 1 false(no-overflow) .081 23 .76 1 false(no-overflow) .074 23 .76 1 false(no-overflow) 1.7  79 25   1 false(no-overflow) .16 10   1.7 1 false(no-overflow) 5.4 320 45 1 false(no-overflow) 6.4 350 48 1 false(no-overflow) 5.8 320 51 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c false(no-overflow) .12  22 .86 1 false(no-overflow) .13 17 .98 1 unknown .0099 1.0  .040  0 error (1) .41 37 3.6 0 false(no-overflow) 2.5 250 21 1 false(no-overflow) 2.7 260 22 1 false(no-overflow) .39 75 4.4 1 out of memory 44    15000 470   0 false(no-overflow) .075 23 .73 1 false(no-overflow) .10  23 .80 1 false(no-overflow) .083 23 .89 1 false(no-overflow) 1.7  83 23   1 false(no-overflow) .15 11   1.9 1 false(no-overflow) 5.7 320 46 1 false(no-overflow) 5.5 320 43 1 false(no-overflow) 5.9 340 44 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c false(no-overflow) .14  22 .86 1 false(no-overflow) .15 17 .92 1 unknown .0094 1.0  .021  0 error (1) .43 37 3.7 0 false(no-overflow) 2.4 250 24 1 false(no-overflow) 2.4 250 23 1 false(no-overflow) .39 75 4.4 1 out of memory 42    15000 520   0 false(no-overflow) .10  23 .85 1 false(no-overflow) .087 23 .70 1 false(no-overflow) .075 23 .79 1 false(no-overflow) 1.7  73 19   1 false(no-overflow) .16 10   1.9 1 false(no-overflow) 6.3 340 50 1 false(no-overflow) 5.4 320 45 1 false(no-overflow) 6.1 330 50 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c false(no-overflow) .12  22 .89 1 false(no-overflow) .14 18 .96 1 unknown .010  .94 .021  0 error (1) .41 40 3.7 0 false(no-overflow) 2.3 250 20 1 false(no-overflow) 2.4 250 21 1 false(no-overflow) .37 75 3.7 1 out of memory 43    15000 500   0 false(no-overflow) .075 23 .75 1 false(no-overflow) .077 23 .88 1 false(no-overflow) .10  23 .78 1 false(no-overflow) 1.7  78 23   1 false(no-overflow) .17 10   1.7 1 false(no-overflow) 5.8 340 50 1 false(no-overflow) 5.3 320 38 1 false(no-overflow) 5.4 320 41 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c false(no-overflow) .12  22 .80 1 false(no-overflow) .15 17 1.0  1 unknown .0093 .97 .020  0 error (1) .42 40 4.1 0 false(no-overflow) 2.4 240 22 1 false(no-overflow) 2.3 250 23 1 false(no-overflow) .54 75 6.3 1 out of memory 42    15000 490   0 false(no-overflow) .087 23 1.0  1 false(no-overflow) .10  23 .72 1 false(no-overflow) .080 23 .73 1 false(no-overflow) 1.7  81 22   1 false(no-overflow) .15 10   1.6 1 false(no-overflow) 7.2 360 53 1 false(no-overflow) 5.8 330 44 1 false(no-overflow) 6.2 330 49 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c false(no-overflow) .10  22 1.1  1 false(no-overflow) .11 17 .99 1 unknown .010  .88 .016  0 error (1) .41 39 3.9 0 false(no-overflow) 2.4 250 23 1 false(no-overflow) 2.3 250 19 1 false(no-overflow) .53 75 7.7 1 out of memory 43    15000 400   0 false(no-overflow) .089 23 .75 1 false(no-overflow) .072 23 .90 1 false(no-overflow) .10  23 .79 1 false(no-overflow) 1.7  80 19   1 false(no-overflow) .15 10   1.6 1 false(no-overflow) 6.4 340 51 1 false(no-overflow) 5.7 320 48 1 false(no-overflow) 6.6 340 47 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c false(no-overflow) .10  23 .87 1 false(no-overflow) .13 18 1.0  1 unknown .0075 .88 .026  0 error (1) .44 40 4.1 0 false(no-overflow) 2.4 240 22 1 false(no-overflow) 2.4 250 21 1 false(no-overflow) .54 75 6.3 1 out of memory 33    15000 370   0 false(no-overflow) .077 23 .82 1 false(no-overflow) .082 23 .78 1 false(no-overflow) .080 23 .79 1 false(no-overflow) 1.8  83 22   1 false(no-overflow) .15 11   1.7 1 false(no-overflow) 5.3 320 43 1 false(no-overflow) 5.5 330 38 1 false(no-overflow) 6.3 330 48 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c false(no-overflow) .11  22 .80 1 false(no-overflow) .11 18 1.1  1 unknown .0096 .92 .024  0 error (1) .41 38 3.6 0 false(no-overflow) 2.4 250 20 1 false(no-overflow) 2.8 270 22 1 false(no-overflow) .53 75 6.7 1 out of memory 34    15000 420   0 false(no-overflow) .081 23 .74 1 false(no-overflow) .080 23 .78 1 false(no-overflow) .11  23 .96 1 false(no-overflow) 1.7  86 22   1 false(no-overflow) .15 10   1.6 1 false(no-overflow) 5.4 320 44 1 false(no-overflow) 5.7 320 48 1 false(no-overflow) 5.7 320 41 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c false(no-overflow) .14  22 .88 1 false(no-overflow) .11 17 1.3  1 unknown .0094 .93 .018  0 error (1) .40 38 3.6 0 false(no-overflow) 2.4 250 21 1 false(no-overflow) 2.5 250 22 1 false(no-overflow) .54 75 5.6 1 out of memory 48    15000 560   0 false(no-overflow) .11  23 .70 1 false(no-overflow) .10  23 .63 1 false(no-overflow) .090 23 .80 1 false(no-overflow) 1.7  81 22   1 false(no-overflow) .15 11   1.9 1 false(no-overflow) 5.4 320 42 1 false(no-overflow) 5.2 320 41 1 false(no-overflow) 5.8 330 44 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c false(no-overflow) .15  23 .96 1 false(no-overflow) .15 19 1.4  1 unknown .0096 1.1  .019  0 error (1) .40 40 3.5 0 false(no-overflow) 2.5 250 24 1 false(no-overflow) 2.5 260 26 1 false(no-overflow) .40 76 4.6 1 out of memory 39    15000 490   0 false(no-overflow) .096 23 .93 1 false(no-overflow) .079 23 .88 1 false(no-overflow) .078 23 .87 1 false(no-overflow) 1.8  83 22   1 false(no-overflow) .15 10   1.8 1 false(no-overflow) 5.6 320 42 1 false(no-overflow) 5.6 320 40 1 false(no-overflow) 5.8 320 44 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c false(no-overflow) .10  22 .86 1 false(no-overflow) .15 17 .99 1 unknown .010  .72 .019  0 error (1) .46 37 3.6 0 false(no-overflow) 2.5 250 22 1 false(no-overflow) 2.3 240 19 1 false(no-overflow) .39 75 4.2 1 out of memory 34    15000 350   0 false(no-overflow) .10  23 .82 1 false(no-overflow) .074 23 .81 1 false(no-overflow) .077 23 .81 1 false(no-overflow) 1.7  75 22   1 false(no-overflow) .17 10   1.7 1 false(no-overflow) 5.7 310 49 1 false(no-overflow) 6.1 330 47 1 false(no-overflow) 5.4 310 42 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c false(no-overflow) .12  23 1.2  1 false(no-overflow) .15 18 1.1  1 unknown .0091 .66 .013  0 error (1) .45 40 4.0 0 false(no-overflow) 2.4 250 19 1 false(no-overflow) 2.3 240 19 1 false(no-overflow) .54 75 6.2 1 out of memory 42    15000 510   0 false(no-overflow) .091 23 .92 1 false(no-overflow) .079 23 .78 1 false(no-overflow) .11  23 .98 1 false(no-overflow) 1.7  82 23   1 false(no-overflow) .17 10   1.4 1 false(no-overflow) 5.4 310 47 1 false(no-overflow) 6.1 340 48 1 false(no-overflow) 5.7 330 47 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c false(no-overflow) .10  23 .86 1 false(no-overflow) .15 18 .98 1 unknown .0090 .63 .025  0 error (1) .42 40 4.2 0 false(no-overflow) 2.3 250 20 1 false(no-overflow) 2.5 260 21 1 false(no-overflow) .37 76 5.4 1 out of memory 39    15000 410   0 false(no-overflow) .076 23 .87 1 false(no-overflow) .098 23 .76 1 false(no-overflow) .079 23 .82 1 false(no-overflow) 1.8  80 19   1 false(no-overflow) .19 11   1.7 1 false(no-overflow) 6.0 340 52 1 false(no-overflow) 6.5 320 46 1 false(no-overflow) 6.3 320 49 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c false(no-overflow) .14  22 .90 1 false(no-overflow) .13 19 1.0  1 unknown .010  1.1  .018  0 error (1) .47 40 4.0 0 false(no-overflow) 2.4 240 21 1 false(no-overflow) 2.4 250 22 1 false(no-overflow) .37 75 4.2 1 out of memory 42    15000 460   0 false(no-overflow) .077 23 .80 1 false(no-overflow) .11  23 .78 1 false(no-overflow) .095 23 .81 1 false(no-overflow) 1.7  76 21   1 false(no-overflow) .15 10   1.8 1 false(no-overflow) 5.8 330 44 1 false(no-overflow) 6.2 330 52 1 false(no-overflow) 6.2 330 47 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c false(no-overflow) .12  24 .97 1 false(no-overflow) .15 22 1.2  1 unknown .0091 .98 .020  0 error (1) .41 37 3.7 0 false(no-overflow) 2.4 250 21 1 false(no-overflow) 2.5 250 21 1 false(no-overflow) .40 75 4.2 1 out of memory 41    15000 450   0 false(no-overflow) .10  23 .71 1 false(no-overflow) .092 23 .96 1 false(no-overflow) .095 23 .98 1 false(no-overflow) 1.8  82 21   1 false(no-overflow) .17 11   1.6 1 false(no-overflow) 6.2 340 46 1 false(no-overflow) 5.7 320 44 1 false(no-overflow) 5.5 320 46 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c false(no-overflow) .12  23 .87 1 false(no-overflow) .13 17 1.1  1 unknown .010  1.0  .021  0 error (1) .43 40 4.2 0 false(no-overflow) 2.3 250 21 1 false(no-overflow) 2.4 250 19 1 false(no-overflow) .52 75 7.2 1 out of memory 40    15000 430   0 false(no-overflow) .11  23 .59 1 false(no-overflow) .11  23 .84 1 false(no-overflow) .088 23 1.0  1 false(no-overflow) 1.7  81 20   1 false(no-overflow) .15 11   1.6 1 false(no-overflow) 5.7 330 47 1 false(no-overflow) 5.4 320 39 1 false(no-overflow) 6.7 350 49 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c false(no-overflow) .15  22 .86 1 false(no-overflow) .13 18 .95 1 unknown .0092 1.0  .021  0 error (1) .43 40 3.6 0 false(no-overflow) 2.3 250 21 1 false(no-overflow) 2.4 240 21 1 false(no-overflow) .39 75 4.8 1 out of memory 52    15000 500   0 false(no-overflow) .074 23 .85 1 false(no-overflow) .10  23 .85 1 false(no-overflow) .088 23 .87 1 false(no-overflow) 1.7  78 22   1 false(no-overflow) .16 11   1.8 1 false(no-overflow) 5.4 310 44 1 false(no-overflow) 5.4 320 44 1 false(no-overflow) 5.3 320 44 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c false(no-overflow) .11  23 .91 1 false(no-overflow) .13 18 1.1  1 unknown .0089 .90 .018  0 error (1) .40 38 3.6 0 false(no-overflow) 2.3 250 20 1 false(no-overflow) 2.3 240 20 1 false(no-overflow) .38 75 4.6 1 out of memory 35    15000 370   0 false(no-overflow) .077 23 .97 1 false(no-overflow) .077 23 .85 1 false(no-overflow) .077 23 .81 1 false(no-overflow) 1.9  76 23   1 false(no-overflow) .15 10   1.7 1 false(no-overflow) 5.6 340 42 1 false(no-overflow) 5.4 320 40 1 false(no-overflow) 5.6 320 42 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c false(no-overflow) .11  24 .91 1 false(no-overflow) .14 17 .86 1 unknown .010  .73 .024  0 error (1) .44 40 3.9 0 false(no-overflow) 2.4 250 20 1 false(no-overflow) 2.3 250 21 1 false(no-overflow) .52 75 5.4 1 false(no-overflow) 890    560 11000   1 false(no-overflow) .11  23 .69 1 false(no-overflow) .11  23 .70 1 false(no-overflow) .11  23 .73 1 false(no-overflow) 1.7  88 20   1 false(no-overflow) .14 10   1.6 1 false(no-overflow) 5.3 310 38 1 false(no-overflow) 5.8 320 47 1 false(no-overflow) 6.4 330 53 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c false(no-overflow) .10  22 .88 1 false(no-overflow) .12 17 .99 1 unknown .011  .88 .023  0 error (1) .41 40 4.3 0 false(no-overflow) 2.3 250 20 1 false(no-overflow) 2.4 250 22 1 false(no-overflow) .38 75 4.3 1 out of memory 38    15000 360   0 false(no-overflow) .076 23 .78 1 false(no-overflow) .076 23 .80 1 false(no-overflow) .088 23 .85 1 false(no-overflow) 1.7  75 19   1 false(no-overflow) .17 10   1.8 1 false(no-overflow) 6.0 340 43 1 false(no-overflow) 5.7 330 39 1 false(no-overflow) 6.3 360 52 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c false(no-overflow) .11  22 .92 1 false(no-overflow) .12 17 .99 1 unknown .010  1.1  .023  0 error (1) .42 40 3.6 0 false(no-overflow) 2.4 250 20 1 false(no-overflow) 2.4 250 23 1 false(no-overflow) .35 75 4.8 1 out of memory 38    15000 430   0 false(no-overflow) .078 23 .75 1 false(no-overflow) .078 23 .80 1 false(no-overflow) .093 23 .83 1 false(no-overflow) 1.7  80 22   1 false(no-overflow) .15 10   1.7 1 false(no-overflow) 6.1 330 49 1 false(no-overflow) 6.0 320 51 1 false(no-overflow) 5.6 320 47 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c false(no-overflow) .12  23 1.1  1 false(no-overflow) .15 18 1.0  1 unknown .0094 1.1  .025  0 error (1) .41 38 3.6 0 false(no-overflow) 2.4 250 21 1 false(no-overflow) 2.4 250 23 1 false(no-overflow) .56 75 6.6 1 out of memory 36    15000 450   0 false(no-overflow) .10  23 .85 1 false(no-overflow) .075 23 .89 1 false(no-overflow) .12  23 .78 1 false(no-overflow) 1.7  83 20   1 false(no-overflow) .18 11   1.7 1 false(no-overflow) 5.4 310 42 1 false(no-overflow) 6.6 360 48 1 false(no-overflow) 5.7 320 41 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c false(no-overflow) .11  23 .81 1 false(no-overflow) .15 18 .99 1 unknown .0090 .89 .034  0 error (1) .41 37 4.5 0 false(no-overflow) 2.5 250 19 1 false(no-overflow) 2.4 250 21 1 false(no-overflow) .37 75 4.8 1 out of memory 35    15000 380   0 false(no-overflow) .095 23 .77 1 false(no-overflow) .096 23 .75 1 false(no-overflow) .096 23 .75 1 false(no-overflow) 1.7  84 23   1 false(no-overflow) .17 10   1.6 1 false(no-overflow) 5.5 320 42 1 false(no-overflow) 5.7 320 45 1 false(no-overflow) 5.4 330 39 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c false(no-overflow) .10  22 .85 1 false(no-overflow) .10 17 1.0  1 unknown .0076 1.1  .018  0 error (1) .43 40 3.9 0 false(no-overflow) 2.4 240 22 1 false(no-overflow) 2.4 250 20 1 false(no-overflow) .53 75 6.4 1 out of memory 46    15000 490   0 false(no-overflow) .088 23 .87 1 false(no-overflow) .10  23 .69 1 false(no-overflow) .078 23 .78 1 false(no-overflow) 1.7  82 22   1 false(no-overflow) .17 10   1.6 1 false(no-overflow) 5.4 310 43 1 false(no-overflow) 5.7 330 43 1 false(no-overflow) 5.4 320 45 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c false(no-overflow) .13  22 .81 1 false(no-overflow) .14 17 .92 1 unknown .0094 1.1  .021  0 error (1) .41 37 3.6 0 false(no-overflow) 2.4 250 22 1 false(no-overflow) 2.6 250 23 1 false(no-overflow) .36 75 4.8 1 out of memory 35    15000 380   0 false(no-overflow) .11  23 .75 1 false(no-overflow) .074 23 .90 1 false(no-overflow) .10  23 .87 1 false(no-overflow) 1.7  82 22   1 false(no-overflow) .15 10   1.8 1 false(no-overflow) 5.9 330 47 1 false(no-overflow) 5.5 320 45 1 false(no-overflow) 5.3 320 42 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c false(no-overflow) .099 22 .96 1 false(no-overflow) .15 17 .93 1 unknown .010  .99 .024  0 error (1) .44 40 3.7 0 false(no-overflow) 2.4 240 21 1 false(no-overflow) 2.3 240 19 1 false(no-overflow) .54 75 6.8 1 out of memory 46    15000 610   0 false(no-overflow) .075 23 .86 1 false(no-overflow) .11  23 .69 1 false(no-overflow) .077 23 .73 1 false(no-overflow) 1.7  83 23   1 false(no-overflow) .18 10   1.6 1 false(no-overflow) 5.4 310 43 1 false(no-overflow) 6.0 330 45 1 false(no-overflow) 5.2 310 40 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c false(no-overflow) .14  22 .79 1 false(no-overflow) .15 17 .90 1 unknown .011  1.1  .024  0 error (1) .43 38 3.6 0 false(no-overflow) 2.4 250 20 1 false(no-overflow) 2.4 250 22 1 false(no-overflow) .56 75 6.0 1 out of memory 52    15000 530   0 false(no-overflow) .077 23 .87 1 false(no-overflow) .073 23 .81 1 false(no-overflow) .084 23 .61 1 false(no-overflow) 1.7  82 25   1 false(no-overflow) .15 11   1.8 1 false(no-overflow) 5.5 320 45 1 false(no-overflow) 6.6 340 53 1 false(no-overflow) 5.8 340 46 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c false(no-overflow) .15  23 .70 1 false(no-overflow) .14 18 1.0  1 unknown .0070 .92 .025  0 error (1) .43 40 3.8 0 false(no-overflow) 2.4 250 23 1 false(no-overflow) 2.4 250 23 1 false(no-overflow) .40 75 4.4 1 out of memory 45    15000 560   0 false(no-overflow) .077 23 .80 1 false(no-overflow) .076 23 .85 1 false(no-overflow) .094 23 .81 1 false(no-overflow) 1.8  78 22   1 false(no-overflow) .15 10   1.7 1 false(no-overflow) 6.1 340 50 1 false(no-overflow) 5.6 320 40 1 false(no-overflow) 5.7 320 46 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c false(no-overflow) .13  23 .91 1 false(no-overflow) .15 18 1.1  1 unknown .0094 .85 .020  0 error (1) .39 37 3.8 0 false(no-overflow) 2.4 260 22 1 false(no-overflow) 2.6 250 19 1 false(no-overflow) .43 75 4.4 1 out of memory 42    15000 510   0 false(no-overflow) .11  23 .68 1 false(no-overflow) .089 23 .75 1 false(no-overflow) .10  23 .76 1 false(no-overflow) 1.7  80 23   1 false(no-overflow) .16 10   2.1 1 false(no-overflow) 5.8 330 46 1 false(no-overflow) 5.4 310 49 1 false(no-overflow) 5.7 310 44 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c false(no-overflow) .13  25 .88 1 false(no-overflow) .13 18 1.2  1 unknown .011  .75 .018  0 error (1) .45 37 3.6 0 false(no-overflow) 2.3 250 21 1 false(no-overflow) 2.4 250 20 1 false(no-overflow) .55 75 6.6 1 out of memory 46    15000 500   0 false(no-overflow) .073 23 .88 1 false(no-overflow) .10  23 .97 1 false(no-overflow) .082 23 .78 1 false(no-overflow) 1.8  83 22   1 false(no-overflow) .15 11   1.5 1 false(no-overflow) 6.5 330 53 1 false(no-overflow) 5.6 320 46 1 false(no-overflow) 5.7 330 41 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c false(no-overflow) .11  22 .88 1 false(no-overflow) .15 17 .97 1 unknown .011  .89 .027  0 error (1) .42 38 3.6 0 false(no-overflow) 2.4 250 22 1 false(no-overflow) 2.4 250 20 1 false(no-overflow) .55 75 5.9 1 out of memory 44    15000 460   0 false(no-overflow) .11  23 .71 1 false(no-overflow) .078 23 .84 1 false(no-overflow) .10  23 .70 1 false(no-overflow) 1.7  80 22   1 false(no-overflow) .15 10   2.0 1 false(no-overflow) 6.9 340 49 1 false(no-overflow) 5.4 320 40 1 false(no-overflow) 6.1 340 50 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c false(no-overflow) .14  23 .80 1 false(no-overflow) .11 17 1.2  1 unknown .0097 .94 .020  0 error (1) .40 37 3.4 0 false(no-overflow) 2.3 240 23 1 false(no-overflow) 2.4 250 20 1 false(no-overflow) .40 75 4.2 1 out of memory 48    15000 540   0 false(no-overflow) .081 23 .90 1 false(no-overflow) .077 23 .85 1 false(no-overflow) .11  23 .81 1 false(no-overflow) 1.8  81 26   1 false(no-overflow) .15 11   2.1 1 false(no-overflow) 5.3 310 47 1 false(no-overflow) 5.5 310 46 1 false(no-overflow) 5.5 320 43 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c false(no-overflow) .12  23 1.1  1 false(no-overflow) .15 17 .93 1 unknown .0060 .91 .019  0 error (1) .42 40 3.7 0 false(no-overflow) 2.4 250 24 1 false(no-overflow) 2.5 250 24 1 false(no-overflow) .37 75 3.9 1 out of memory 42    15000 460   0 false(no-overflow) .097 23 .80 1 false(no-overflow) .11  23 .70 1 false(no-overflow) .074 23 1.0  1 false(no-overflow) 1.7  80 22   1 false(no-overflow) .18 10   2.0 1 false(no-overflow) 5.3 320 44 1 false(no-overflow) 6.2 340 47 1 false(no-overflow) 5.7 330 45 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c false(no-overflow) .12  23 .81 1 false(no-overflow) .13 17 .94 1 unknown .0094 .76 .019  0 error (1) .45 38 3.5 0 false(no-overflow) 2.4 250 21 1 false(no-overflow) 2.5 250 21 1 false(no-overflow) .38 76 4.6 1 out of memory 67    15000 790   0 false(no-overflow) .11  23 .88 1 false(no-overflow) .11  23 .89 1 false(no-overflow) .083 23 .88 1 false(no-overflow) 1.8  80 24   1 false(no-overflow) .17 11   1.7 1 false(no-overflow) 5.5 320 45 1 false(no-overflow) 5.4 320 43 1 false(no-overflow) 5.6 320 48 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c false(no-overflow) .15  23 .85 1 false(no-overflow) .14 18 1.0  1 unknown .010  .90 .020  0 error (1) .43 40 3.9 0 false(no-overflow) 2.4 250 22 1 false(no-overflow) 2.5 250 22 1 false(no-overflow) .38 75 5.2 1 out of memory 47    15000 480   0 false(no-overflow) .078 23 .73 1 false(no-overflow) .079 23 .83 1 false(no-overflow) .11  23 .76 1 false(no-overflow) 1.8  89 20   1 false(no-overflow) .17 10   1.6 1 false(no-overflow) 5.7 330 52 1 false(no-overflow) 5.4 320 40 1 false(no-overflow) 5.7 330 41 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c false(no-overflow) .11  22 .90 1 false(no-overflow) .14 17 .97 1 unknown .0053 .76 .014  0 error (1) .43 40 4.4 0 false(no-overflow) 2.4 250 19 1 false(no-overflow) 2.4 250 21 1 false(no-overflow) .53 75 6.7 1 out of memory 41    15000 480   0 false(no-overflow) .074 23 .88 1 false(no-overflow) .074 23 1.0  1 false(no-overflow) .083 23 .77 1 false(no-overflow) 1.8  86 22   1 false(no-overflow) .15 10   1.7 1 false(no-overflow) 6.3 340 43 1 false(no-overflow) 5.2 320 48 1 false(no-overflow) 6.6 340 44 1
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c false(no-overflow) .12  22 .81 1 false(no-overflow) .15 17 .90 1 unknown .010  .77 .013  0 error (1) .41 38 3.5 0 false(no-overflow) 2.6 250 22 1 false(no-overflow) 2.4 250 25 1 false(no-overflow) .38 75 4.7 1 out of memory 67    15000 790   0 false(no-overflow) .099 23 .94 1 false(no-overflow) .087 23 .89 1 false(no-overflow) .076 23 .77 1 false(no-overflow) 1.7  79 22   1 false(no-overflow) .17 10   1.9 1 false(no-overflow) 6.9 350 58 1 false(no-overflow) 5.9 320 48 1 false(no-overflow) 6.0 330 44 1
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c false(no-overflow) .12  22 .84 1 false(no-overflow) .14 18 1.1  1 unknown .0092 1.1  .022  0 error (1) .41 40 3.5 0 false(no-overflow) 2.3 250 20 1 false(no-overflow) 2.5 260 23 1 false(no-overflow) .54 75 7.1 1 out of memory 71    15000 770   0 false(no-overflow) .076 23 .86 1 false(no-overflow) .11  23 .72 1 false(no-overflow) .076 23 .81 1 false(no-overflow) 1.8  87 19   1 false(no-overflow) .18 10   1.6 1 false(no-overflow) 6.4 330 46 1 false(no-overflow) 6.3 340 47 1 false(no-overflow) 5.7 330 42 1
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c false(no-overflow) .14  23 .88 1 false(no-overflow) .15 18 .92 1 unknown .010  .92 .021  0 error (1) .41 40 3.4 0 false(no-overflow) 2.4 250 23 1 false(no-overflow) 2.5 240 23 1 false(no-overflow) .58 100 6.9 1 out of memory 54    15000 520   0 false(no-overflow) .076 23 .93 1 false(no-overflow) .078 23 .83 1 false(no-overflow) .10  23 .83 1 false(no-overflow) 1.8  89 23   1 false(no-overflow) .16 10   1.9 1 false(no-overflow) 5.5 320 43 1 false(no-overflow) 5.6 320 50 1 false(no-overflow) 5.8 340 47 1
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c false(no-overflow) .14  22 .88 1 false(no-overflow) .15 17 .94 1 unknown .0092 .85 .014  0 error (1) .44 38 4.3 0 false(no-overflow) 2.3 250 20 1 false(no-overflow) 2.4 250 20 1 false(no-overflow) .53 75 7.7 1 out of memory 39    15000 430   0 false(no-overflow) .11  23 .69 1 false(no-overflow) .075 23 .77 1 false(no-overflow) .11  23 .69 1 false(no-overflow) 1.7  78 23   1 false(no-overflow) .15 10   1.6 1 false(no-overflow) 5.5 310 41 1 false(no-overflow) 5.6 330 44 1 false(no-overflow) 5.8 320 44 1
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c false(no-overflow) .12  24 1.0  1 false(no-overflow) .13 19 1.0  1 unknown .0083 1.1  .021  0 error (1) .43 38 3.7 0 false(no-overflow) 2.4 250 23 1 false(no-overflow) 2.6 260 23 1 false(no-overflow) .55 76 7.0 1 out of memory 69    15000 770   0 false(no-overflow) .076 23 .82 1 false(no-overflow) .11  23 .89 1 false(no-overflow) .10  23 .79 1 false(no-overflow) 1.7  83 23   1 false(no-overflow) .18 10   2.3 1 false(no-overflow) 6.1 340 42 1 false(no-overflow) 6.0 330 50 1 false(no-overflow) 5.6 330 40 1
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c false(no-overflow) .15  23 .93 1 false(no-overflow) .13 19 1.3  1 unknown .0075 .99 .019  0 error (1) .41 40 3.7 0 false(no-overflow) 13   440 100 1 false(no-overflow) 12   430 110 1 false(no-overflow) .64 79 8.7 1 out of memory 40    15000 490   0 false(no-overflow) .082 23 1.2  1 false(no-overflow) .12  23 .75 1 false(no-overflow) .097 23 .91 1 false(no-overflow) 1.8  77 21   1 false(no-overflow) .19 11   1.9 1 false(no-overflow) 7.2 320 57 1 false(no-overflow) 12   480 82 1 false(no-overflow) 7.4 350 55 1
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c false(no-overflow) .15  23 .88 1 false(no-overflow) .14 18 1.1  1 unknown .0087 .92 .029  0 error (1) .43 37 3.9 0 false(no-overflow) 2.3 240 20 1 false(no-overflow) 2.3 240 21 1 false(no-overflow) .56 75 6.5 1 out of memory 120    15000 1400   0 false(no-overflow) .079 23 .79 1 false(no-overflow) .074 23 .92 1 false(no-overflow) .092 23 .99 1 false(no-overflow) 1.8  79 21   1 false(no-overflow) .15 10   1.8 1 false(no-overflow) 5.3 320 46 1 false(no-overflow) 5.9 330 41 1 false(no-overflow) 5.4 320 43 1
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c false(no-overflow) .13  22 .85 1 false(no-overflow) .15 17 .92 1 unknown .010  .88 .024  0 error (1) .39 37 3.5 0 error 2.3 240 19 0 error 2.5 260 24 0 false(no-overflow) .57 76 8.3 1 timeout 900    420 11000   0 false(no-overflow) .11  23 .70 1 false(no-overflow) .073 23 .92 1 false(no-overflow) .075 23 .96 1 false(no-overflow) 1.7  78 22   1 unknown 2.4  4300   28   0 false(no-overflow) 6.0 320 48 1 false(no-overflow) 6.1 330 47 1 false(no-overflow) 6.6 350 50 1
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c false(no-overflow) .12  22 .85 1 false(no-overflow) .12 18 1.3  1 unknown .010  1.0  .031  0 error (1) .42 38 3.6 0 false(no-overflow) 2.4 240 19 1 false(no-overflow) 2.5 250 20 1 false(no-overflow) .53 75 7.4 1 out of memory 43    15000 460   0 false(no-overflow) .076 23 .87 1 false(no-overflow) .076 23 .99 1 false(no-overflow) .10  23 .79 1 false(no-overflow) 1.7  81 22   1 false(no-overflow) .15 10   1.4 1 false(no-overflow) 5.4 340 41 1 false(no-overflow) 5.6 320 39 1 false(no-overflow) 5.5 320 45 1
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c false(no-overflow) .12  23 .88 1 false(no-overflow) .12 18 1.1  1 unknown .0070 .89 .017  0 error (1) .42 38 3.7 0 false(no-overflow) 2.5 250 19 1 false(no-overflow) 2.5 260 22 1 false(no-overflow) .55 75 6.4 1 out of memory 41    15000 500   0 false(no-overflow) .080 23 .84 1 false(no-overflow) .11  23 .72 1 false(no-overflow) .092 23 1.1  1 false(no-overflow) 1.8  79 21   1 false(no-overflow) .17 10   1.7 1 false(no-overflow) 6.0 330 52 1 false(no-overflow) 5.8 320 46 1 false(no-overflow) 5.3 320 41 1
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c error (5) .081 22 .73 0 false(no-overflow) .13 17 .99 1 segmentation fault .033  8.3  .19   0 error (1) .42 40 3.8 0 error (recursion) 2.5 250 21 0 error (recursion) 2.3 250 19 0 false(no-overflow) .57 49 6.9 1 false(no-overflow) 3.8  70 45   0 false(no-overflow) .097 23 .77 1 false(no-overflow) .076 23 .76 1 false(no-overflow) .075 23 .82 1 false(no-overflow) 1.6  79 22   1 false(no-overflow) .18 10   1.7 1 false(no-overflow) 6.6 340 51 1 false(no-overflow) 6.3 330 55 1 false(no-overflow) 6.8 330 57 1
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c error (5) .11  22 .83 0 false(no-overflow) .11 18 1.1  1 aborted .12   8.2  1.1    0 error (1) .41 38 4.0 0 error (recursion) 2.3 240 19 0 error (recursion) 2.4 240 22 0 false(no-overflow) .55 49 6.7 1 false(no-overflow) 3.2  88 35   1 false(no-overflow) .10  23 .84 1 false(no-overflow) .080 23 .81 1 false(no-overflow) .11  23 .68 1 false(no-overflow) 1.6  80 18   1 false(no-overflow) .16 10   1.7 1 false(no-overflow) 6.0 320 47 1 false(no-overflow) 6.4 320 48 1 false(no-overflow) 6.3 320 46 1
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c error (5) .11  22 .69 0 false(no-overflow) .15 19 1.1  1 aborted .12   8.5  1.3    0 error (1) .41 37 3.6 0 error (recursion) 2.2 240 19 0 error (recursion) 2.3 250 19 0 false(no-overflow) .57 49 6.9 1 out of memory 140    15000 1600   0 false(no-overflow) .077 23 .69 1 false(no-overflow) .11  23 .75 1 false(no-overflow) .088 23 .79 1 false(no-overflow) 1.6  91 21   1 false(no-overflow) .18 10   1.7 1 false(no-overflow) 5.5 320 43 1 false(no-overflow) 6.0 340 43 1 false(no-overflow) 5.4 320 42 1
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c error (5) .12  22 .76 0 false(no-overflow) .14 18 .90 1 aborted .11   7.9  1.3    0 error (1) .44 38 3.8 0 error (recursion) 2.3 240 21 0 error (recursion) 2.3 240 20 0 false(no-overflow) .57 51 7.1 1 false(no-overflow) 78    5100 1200   0 false(no-overflow) .089 23 .86 1 false(no-overflow) .096 23 .82 1 false(no-overflow) .076 23 .80 1 false(no-overflow) 1.6  78 21   1 false(no-overflow) .17 10   1.8 1 false(no-overflow) 5.4 320 41 1 false(no-overflow) 5.7 320 45 1 false(no-overflow) 5.5 320 44 1
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c false(no-overflow) .14  22 .78 1 false(no-overflow) .15 17 .86 1 unknown .012  1.0  .027  0 error (1) .41 39 4.3 0 false(no-overflow) 2.3 250 20 1 false(no-overflow) 2.4 240 21 1 false(no-overflow) .55 75 6.4 1 out of memory 46    15000 490   0 false(no-overflow) .076 23 .88 1 false(no-overflow) .075 23 .82 1 false(no-overflow) .078 23 .74 1 false(no-overflow) 1.7  86 21   1 false(no-overflow) .17 11   1.6 1 false(no-overflow) 5.9 330 41 1 false(no-overflow) 5.6 320 47 1 false(no-overflow) 6.0 340 44 1
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c false(no-overflow) .11  22 .93 1 false(no-overflow) .13 17 .83 1 unknown .0093 1.1  .016  0 error (1) .44 40 4.4 0 false(no-overflow) 2.3 250 19 1 false(no-overflow) 2.4 260 20 1 false(no-overflow) .55 75 5.9 1 out of memory 60    15000 760   0 false(no-overflow) .10  23 .75 1 false(no-overflow) .073 23 .81 1 false(no-overflow) .075 23 .79 1 false(no-overflow) 1.7  81 21   1 false(no-overflow) .17 10   1.6 1 false(no-overflow) 5.5 320 42 1 false(no-overflow) 5.5 320 46 1 false(no-overflow) 6.3 330 47 1
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c false(no-overflow) .10  22 1.2  1 false(no-overflow) .11 19 1.0  1 unknown .0091 .76 .026  0 error (1) .41 37 3.8 0 false(no-overflow) 2.4 250 19 1 false(no-overflow) 2.4 250 20 1 false(no-overflow) .55 75 6.5 1 out of memory 47    15000 520   0 false(no-overflow) .079 23 .84 1 false(no-overflow) .073 23 .90 1 false(no-overflow) .088 23 .88 1 false(no-overflow) 1.7  80 21   1 false(no-overflow) .15 10   1.8 1 false(no-overflow) 6.3 340 49 1 false(no-overflow) 5.6 320 51 1 false(no-overflow) 5.2 310 43 1
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c false(no-overflow) .094 22 1.2  1 false(no-overflow) .15 17 .96 1 unknown .010  .72 .020  0 error (1) .41 37 3.7 0 false(no-overflow) 2.4 250 22 1 false(no-overflow) 2.3 250 19 1 false(no-overflow) .55 75 5.5 1 out of memory 38    15000 500   0 false(no-overflow) .11  23 .68 1 false(no-overflow) .11  23 .75 1 false(no-overflow) .082 23 .81 1 false(no-overflow) 1.7  82 20   1 false(no-overflow) .16 10   1.7 1 false(no-overflow) 5.5 320 45 1 false(no-overflow) 5.5 320 46 1 false(no-overflow) 6.2 330 52 1
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c false(no-overflow) .14  23 .98 1 false(no-overflow) .14 18 1.1  1 unknown .0099 .88 .024  0 error (1) .47 38 3.7 0 false(no-overflow) 2.4 250 23 1 false(no-overflow) 2.3 250 24 1 false(no-overflow) .39 75 4.3 1 out of memory 42    15000 470   0 false(no-overflow) .11  23 .69 1 false(no-overflow) .11  23 .68 1 false(no-overflow) .077 23 .82 1 false(no-overflow) 1.7  80 19   1 false(no-overflow) .15 10   1.6 1 false(no-overflow) 5.5 320 43 1 false(no-overflow) 5.6 320 42 1 false(no-overflow) 5.9 330 49 1
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c false(no-overflow) .11  22 .85 1 false(no-overflow) .15 17 .98 1 unknown .0097 .97 .027  0 error (1) .43 38 3.8 0 false(no-overflow) 2.5 260 19 1 false(no-overflow) 2.6 250 23 1 false(no-overflow) .55 75 5.5 1 out of memory 60    15000 720   0 false(no-overflow) .077 23 .75 1 false(no-overflow) .087 23 .86 1 false(no-overflow) .089 23 .88 1 false(no-overflow) 1.7  79 20   1 false(no-overflow) .18 10   2.0 1 false(no-overflow) 5.6 320 40 1 false(no-overflow) 5.8 330 45 1 false(no-overflow) 6.0 330 41 1
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c false(no-overflow) .093 22 .95 1 false(no-overflow) .12 17 .90 1 unknown .010  1.1  .028  0 error (1) .43 40 4.1 0 false(no-overflow) 2.4 250 20 1 false(no-overflow) 2.5 260 20 1 false(no-overflow) .55 75 7.1 1 out of memory 83    15000 1000   0 false(no-overflow) .088 23 .85 1 false(no-overflow) .097 23 .94 1 false(no-overflow) .074 23 .95 1 false(no-overflow) 1.8  78 23   1 false(no-overflow) .15 10   1.7 1 false(no-overflow) 5.8 340 42 1 false(no-overflow) 6.9 340 57 1 false(no-overflow) 5.6 320 44 1
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c false(no-overflow) .11  23 .86 1 false(no-overflow) .14 19 1.2  1 unknown .010  .82 .024  0 error (1) .42 40 4.0 0 false(no-overflow) 2.4 250 20 1 false(no-overflow) 2.6 260 21 1 false(no-overflow) .57 76 7.4 1 out of memory 61    15000 660   0 false(no-overflow) .080 23 .91 1 false(no-overflow) .11  23 .74 1 false(no-overflow) .086 23 .88 1 false(no-overflow) 1.9  82 20   1 false(no-overflow) .17 11   1.7 1 false(no-overflow) 6.2 330 52 1 false(no-overflow) 5.3 320 42 1 false(no-overflow) 5.3 320 47 1
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c false(no-overflow) .13  22 .86 1 false(no-overflow) .12 17 1.2  1 unknown .011  1.0  .029  0 error (1) .42 38 3.9 0 false(no-overflow) 2.5 260 23 1 false(no-overflow) 2.4 250 23 1 false(no-overflow) .59 76 7.1 1 out of memory 43    15000 400   0 false(no-overflow) .10  23 .80 1 false(no-overflow) .074 23 .81 1 false(no-overflow) .089 23 .98 1 false(no-overflow) 1.7  82 23   1 false(no-overflow) .15 10   1.7 1 false(no-overflow) 5.5 320 47 1 false(no-overflow) 5.6 320 41 1 false(no-overflow) 5.8 330 46 1
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c false(no-overflow) .11  23 1.0  1 false(no-overflow) .12 17 1.0  1 unknown .0093 .93 .021  0 error (1) .42 38 3.9 0 false(no-overflow) 2.5 250 21 1 false(no-overflow) 2.5 260 21 1 false(no-overflow) .59 75 5.9 1 out of memory 70    15000 860   0 false(no-overflow) .089 23 .74 1 false(no-overflow) .10  23 .69 1 false(no-overflow) .081 23 .73 1 false(no-overflow) 1.8  87 24   1 false(no-overflow) .15 10   1.7 1 false(no-overflow) 6.0 330 47 1 false(no-overflow) 6.3 330 49 1 false(no-overflow) 6.0 330 49 1
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_false-no-overflow.c false(no-overflow) 17     430 130    0 false(no-overflow) 2.5  74 32    0 unknown .0094 .92 .026  0 error (1) .40 37 4.0 0 false(no-overflow) 20   510 160 0 false(no-overflow) 17   510 150 0 false(no-overflow) 300    370 3400   0 timeout 900    2500 8900   0 false(no-overflow) 12     220 160    1 false(no-overflow) 21     480 310    1 false(no-overflow) 250     1700 2700    1 true 880    230 11000   -32 false(no-overflow) 8.4  18   100   1 false(no-overflow) 30   700 260 1 false(no-overflow) 33   910 300 1 false(no-overflow) 45   860 410 1
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) .11  23 .90 1 false(no-overflow) .13 17 .81 1 unknown .0078 .79 .032  0 error (1) .40 38 3.9 0 false(no-overflow) 2.5 250 22 1 false(no-overflow) 2.6 260 25 1 false(no-overflow) .37 75 5.4 1 out of memory 210    15000 2500   0 false(no-overflow) .10  23 .80 1 false(no-overflow) .077 23 .77 1 false(no-overflow) .10  23 .85 1 false(no-overflow) 1.7  82 19   1 false(no-overflow) .18 10   1.6 1 false(no-overflow) 6.2 320 44 1 false(no-overflow) 7.0 330 59 1 false(no-overflow) 6.2 320 48 1
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c false(no-overflow) .11  22 1.1  1 false(no-overflow) .13 17 1.1  1 unknown .0098 .88 .024  0 error (1) .41 37 3.7 0 false(no-overflow) 2.5 240 21 1 false(no-overflow) 2.3 240 22 1 false(no-overflow) .39 75 4.6 1 out of memory 280    15000 3000   0 false(no-overflow) .073 23 .86 1 false(no-overflow) .11  23 .72 1 false(no-overflow) .075 23 1.0  1 false(no-overflow) 1.8  84 21   1 false(no-overflow) .16 11   1.9 1 false(no-overflow) 6.8 340 54 1 false(no-overflow) 6.5 340 54 1 false(no-overflow) 6.3 330 54 1
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) .14  22 .82 1 false(no-overflow) .14 17 .92 1 unknown .0080 1.0  .026  0 error (1) .41 37 3.9 0 false(no-overflow) 2.4 250 21 1 false(no-overflow) 2.4 250 22 1 false(no-overflow) .36 75 4.3 1 out of memory 290    15000 2900   0 false(no-overflow) .074 23 1.0  1 false(no-overflow) .10  23 .77 1 false(no-overflow) .099 23 .91 1 false(no-overflow) 1.8  84 25   1 false(no-overflow) .18 10   1.6 1 false(no-overflow) 6.7 340 55 1 false(no-overflow) 7.8 340 69 1 false(no-overflow) 6.6 340 48 1
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c false(no-overflow) .12  23 1.1  1 false(no-overflow) .13 18 1.1  1 unknown .0099 1.0  .016  0 error (1) .39 37 3.5 0 false(no-overflow) 2.4 250 23 1 false(no-overflow) 2.5 250 23 1 false(no-overflow) .41 76 4.6 1 out of memory 200    15000 2200   0 false(no-overflow) .080 23 .81 1 false(no-overflow) .11  23 .61 1 false(no-overflow) .10  23 .85 1 false(no-overflow) 1.8  85 22   1 false(no-overflow) .17 11   1.9 1 false(no-overflow) 6.4 350 51 1 false(no-overflow) 5.6 320 51 1 false(no-overflow) 5.7 330 39 1
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c false(no-overflow) .10  22 .91 1 false(no-overflow) .15 18 1.0  1 unknown .0094 .92 .018  0 error (1) .43 40 4.1 0 false(no-overflow) 2.4 250 22 1 false(no-overflow) 2.3 240 21 1 false(no-overflow) .55 75 6.2 1 out of memory 33    15000 360   0 false(no-overflow) .079 23 .96 1 false(no-overflow) .098 23 .86 1 false(no-overflow) .096 23 .99 1 false(no-overflow) 1.7  86 24   1 false(no-overflow) .17 10   1.6 1 false(no-overflow) 5.9 330 47 1 false(no-overflow) 5.5 320 44 1 false(no-overflow) 5.7 330 41 1
termination-crafted-lit/cstrncmp_false-no-overflow.c false(no-overflow) .12  23 1.1  1 false(no-overflow) .15 17 .91 0 unknown .0094 .91 .023  0 error (1) .45 40 3.6 0 error 2.5 240 24 0 error 2.6 260 25 0 false(no-overflow) .41 76 4.4 0 out of memory 67    15000 720   0 false(no-overflow) .080 23 .93 0 false(no-overflow) .094 23 .72 0 false(no-overflow) .076 23 .74 0 false(no-overflow) 1.8  78 24   1 false(no-overflow) .17 11   2.2 1 false(no-overflow) 6.8 330 54 1 false(no-overflow) 7.3 330 53 1 false(no-overflow) 7.3 360 50 1
termination-crafted-lit/gcd1_false-no-overflow.c false(no-overflow) .13  23 .94 1 false(no-overflow) .15 18 .94 1 unknown .0088 .91 .029  0 error (1) .42 37 3.7 0 false(no-overflow) 2.5 250 21 1 false(no-overflow) 2.5 260 25 1 false(no-overflow) .57 100 6.4 0 timeout 900    2600 13000   0 false(no-overflow) .074 23 .83 0 false(no-overflow) .095 23 .70 0 false(no-overflow) .11  23 .92 0 false(no-overflow) 1.7  79 21   1 false(no-overflow) .16 10   1.8 1 false(no-overflow) 6.0 330 48 1 false(no-overflow) 5.6 320 39 1 false(no-overflow) 6.2 330 46 1
termination-crafted-lit/joey_false-no-overflow.c error (5) .085 22 .73 0 false(no-overflow) .18 23 1.6  1 aborted .11   8.4  1.3    0 error (1) .39 38 3.5 0 error (recursion) 2.3 240 18 0 error (recursion) 2.3 250 20 0 out of memory (false(no-overflow)) 630    15000 7500   0 out of memory 70    15000 950   0 unknown .098 23 .76 0 unknown .072 23 .83 0 unknown .072 23 .90 0 false(no-overflow) 1.6  75 21   1 false(no-overflow) .16 10   2.3 1 false(no-overflow) 5.8 330 50 1 false(no-overflow) 6.2 330 46 1 false(no-overflow) 6.4 330 49 1
termination-crafted-lit/min_rf_false-no-overflow.c false(no-overflow) .13  22 1.1  1 false(no-overflow) .13 18 1.2  1 unknown .0092 .76 .025  0 error (1) .45 40 3.8 0 false(no-overflow) 2.6 250 23 1 false(no-overflow) 2.6 250 22 1 false(no-overflow) .42 76 5.3 1 false(no-overflow) 890    2300 11000   1 false(no-overflow) .078 23 1.1  1 false(no-overflow) .10  23 .74 1 false(no-overflow) .10  23 .86 1 error (1) .41 35 5.1 0 false(no-overflow) .18 10   2.0 1 false(no-overflow) 6.0 320 43 1 false(no-overflow) 5.5 340 41 1 false(no-overflow) 5.4 320 38 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 900     1600 11000    0 error (42) 850    580 8100    0 unknown .011  .90 .020  0 error (1) .39 38 3.3 0 timeout 900   5000 13000 0 timeout 900   4900 12000 0 unknown 900    110 9100   0 timeout 900    4700 8200   0 timeout 900     240 8900    0 timeout 900     350 9400    0 timeout 900     470 9900    0 timeout 880    160 12000   0 timeout (timeout) 900    4500   10000   0 timeout 900   2300 12000 0 timeout 900   4000 12000 0 timeout 900   2500 14000 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c true .10  22 .70 2 error (42) 850    1800 6800    0 unknown .011  .89 .019  0 error (1) .45 40 3.8 0 timeout 900   4200 13000 0 timeout 900   4200 12000 0 unknown 1.4  75 15   0 out of memory 59    15000 750   0 out of memory 180     15000 2500    0 out of memory 400     15000 4500    0 true .12  23 .87 2 true 880    400 12000   2 timeout (timeout) 900    660   11000   0 true 6.1 320 52 2 true 11   480 110 2 true 9.6 380 78 2
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c true .13  22 .77 2 true 2.4  59 33    2 unknown .0083 .92 .023  0 error (1) .42 37 3.7 0 true 8.9 320 66 2 true 8.0 330 62 2 unknown 1.4  75 15   0 out of memory 49    15000 530   0 out of memory 180     15000 2400    0 true 3.1   300 39    2 true .080 23 .77 2 true 22    150 260   2 true .14 9.3 1.7 2 true 5.8 320 48 2 true 6.3 330 54 2 true 6.2 330 50 2
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c timeout 900     1700 10000    0 error (42) 850    3100 3100    0 unknown .0092 1.1  .021  0 error (1) .45 38 3.8 0 timeout 910   9000 10000 0 timeout 910   9000 10000 0 unknown 170    390 2100   0 out of memory 34    15000 460   0 out of memory 180     15000 2300    0 out of memory 120     15000 1500    0 out of memory 130     15000 1500    0 true 880    820 9500   2 timeout (timeout) 900    230   12000   0 timeout 900   5200 14000 0 timeout 900   2300 12000 0 timeout 900   3600 13000 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c timeout 900     2800 5700    0 error (42) 850    1400 4100    0 unknown .0098 1.0  .022  0 error (1) .41 37 3.9 0 timeout 900   5700 11000 0 timeout 900   5600 13000 0 unknown 900    680 6700   0 out of memory 33    15000 340   0 timeout 900     2400 7400    0 timeout 900     3900 8200    0 timeout 900     3800 9000    0 true 880    420 8500   1 timeout (timeout) 900    2100   8700   0 timeout 900   1900 13000 0 timeout 900   2000 12000 0 timeout 900   1300 13000 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c timeout 900     470 9100    0 error (42) 850    590 8700    0 unknown .0067 1.0  .020  0 error (1) .42 38 3.7 0 timeout 900   4500 12000 0 timeout 900   4500 11000 0 unknown 900    130 13000   0 true 890    1200 9700   2 timeout 900     240 11000    0 timeout 900     430 14000    0 timeout 900     650 11000    0 true 880    180 11000   2 timeout (timeout) 900    4800   8200   0 timeout 900   8400 8500 0 timeout 900   1300 12000 0 timeout 900   2600 13000 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c true 1.4   37 16    2 true .67 23 7.8  2 unknown .0079 .85 .028  0 error (1) .42 40 4.2 0 true 230   2700 3000 2 true 230   2800 2800 2 unknown 7.1  76 81   0 true 2.4  340 25   2 timeout 900     580 13000    0 true 26     69 370    2 true 26     92 350    2 true 26    110 330   2 timeout (timeout) 900    4300   9400   0 true 100   4500 1100 2 timeout 900   1600 12000 0 timeout 900   5100 9300 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c true .10  22 1.1  2 error (42) 850    1400 7800    0 unknown .010  1.0  .019  0 error (1) .42 38 3.8 0 timeout 900   4300 11000 0 timeout 900   3500 10000 0 unknown 1.4  76 14   0 out of memory 110    15000 1100   0 timeout 900     7000 9400    0 timeout 900     14000 10000    0 true .083 23 1.2  2 true 880    490 9900   2 timeout (timeout) 900    250   11000   0 true 6.2 320 51 2 true 8.6 470 62 2 true 8.8 410 68 2
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c true .11  23 .94 2 error (42) 850    1200 6600    0 unknown .0094 .97 .021  0 error (1) .43 40 4.0 0 timeout 900   4300 11000 0 timeout 900   4300 11000 0 unknown 1.5  76 16   0 out of memory 160    15000 1800   0 timeout 900     3100 8900    0 timeout 900     6000 9700    0 true .11  23 .87 2 true 880    490 10000   2 timeout (timeout) 900    2100   9800   0 true 7.2 350 51 2 true 14   500 110 2 true 10   470 77 2
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c true .13  22 .83 2 error (42) 850    1300 4600    0 unknown .010  .78 .025  0 error (1) .40 37 3.9 0 timeout 900   2600 7900 0 timeout 900   2600 7400 0 unknown 1.4  76 16   0 out of memory 52    15000 620   0 out of memory 150     15000 2100    0 out of memory 310     15000 3700    0 true .11  23 1.1  2 true 880    370 11000   2 timeout (timeout) 900    81   12000   0 true 6.6 330 54 2 true 8.3 460 63 2 true 8.8 360 75 2
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c true .091 22 .76 2 error (42) 850    2700 6500    0 unknown .0098 .88 .028  0 error (1) .42 37 3.7 0 timeout 900   4200 11000 0 timeout 900   5900 13000 0 unknown 1.5  100 17   0 out of memory 240    15000 2700   0 out of memory 820     15000 9700    0 out of memory 590     15000 8400    0 true .086 23 1.1  2 true 880    520 10000   2 timeout (timeout) 900    140   13000   0 true 6.3 330 49 2 true 6.9 350 54 2 true 6.1 330 49 2
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c true .11  25 .80 2 error (42) 850    5500 3900    0 unknown .0097 .89 .023  0 error (1) .45 40 3.9 0 timeout 900   4600 11000 0 timeout 900   4600 10000 0 unknown 1.8  100 22   0 timeout 900    2600 11000   0 timeout 900     6100 11000    0 timeout 900     8900 13000    0 true .088 23 .79 2 true 880    990 9300   2 timeout (timeout) 900    370   13000   0 true 6.5 330 56 2 true 11   470 91 2 true 9.8 400 72 2
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c true .19  24 2.0  2 error (42) 850    1100 8100    0 unknown .010  .90 .021  0 error (1) .44 40 4.1 0 timeout 900   4700 6000 0 timeout 900   4700 6500 0 unknown 900    110 12000   0 true 890    1600 9500   2 timeout 900     720 14000    0 timeout 900     1200 12000    0 unknown .11  23 1.1  0 true 880    780 11000   2 timeout (timeout) 900    130   11000   0 true 8.6 410 63 2 true 13   490 110 2 true 7.7 380 63 2
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c timeout 900     2200 11000    0 error (42) 850    1400 5400    0 unknown .0087 .94 .021  0 error (1) .44 39 3.7 0 timeout 900   5900 11000 0 timeout 900   5800 13000 0 unknown 210    270 2500   0 out of memory 110    15000 1300   0 timeout 900     5300 7900    0 timeout 900     12000 8800    0 out of memory 700     15000 6900    0 true 880    540 10000   1 timeout (timeout) 900    290   11000   0 timeout 900   3900 12000 0 timeout 900   5400 11000 0 true 12   480 100 1
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c timeout 900     570 6600    0 error (42) 850    350 8000    0 unknown .0095 1.0  .018  0 error (1) .39 37 3.7 0 false(no-overflow) 2.7 250 22 -16 false(no-overflow) 2.8 270 24 -16 unknown 43    76 540   0 true 890    940 8700   2 timeout 900     270 10000    0 timeout 900     400 11000    0 timeout 900     530 11000    0 true 880    170 11000   2 timeout (timeout) 900    130   9900   0 true 8.9 480 75 2 true 8.8 470 74 2 true 8.8 370 70 2
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c timeout 900     580 8000    0 error (42) 850    360 8300    0 unknown .010  .86 .023  0 error (1) .43 38 3.7 0 false(no-overflow) 2.6 250 24 -16 false(no-overflow) 2.8 250 21 -16 unknown 30    76 350   0 true 890    980 10000   2 timeout 900     290 11000    0 timeout 900     430 12000    0 timeout 900     580 12000    0 true 880    180 10000   2 timeout (timeout) 900    150   9800   0 true 8.9 480 69 2 true 15   610 130 2 true 9.2 420 70 2
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c true .13  23 .86 2 error (42) 850    2300 3000    0 unknown .0074 .91 .022  0 error (1) .43 37 3.8 0 timeout 910   14000 9500 0 timeout 910   13000 9500 0 unknown 1.8  100 21   0 timeout 900    2600 8500   0 timeout 900     6300 13000    0 timeout 900     9100 11000    0 true .087 23 .90 2 true 880    470 8300   2 timeout (timeout) 900    380   9000   0 true 6.9 340 55 2 true 11   470 90 2 true 8.9 390 67 2
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c timeout 900     170 13000    0 error (42) 850    6900 5900    0 unknown .0043 .78 .018  0 error (1) .42 40 4.3 0 timeout 910   11000 10000 0 timeout 910   11000 8000 0 unknown 900    5300 13000   0 timeout 900    2600 7900   0 timeout 900     5900 11000    0 timeout 900     8600 11000    0 timeout 900     13000 12000    0 true 880    610 10000   1 timeout (timeout) 900    260   11000   0 timeout 900   4000 13000 0 timeout 900   980 13000 0 timeout 900   3500 12000 0
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c true .22  25 2.1  2 error (42) 850    4100 4200    0 unknown .010  .76 .020  0 error (1) .43 38 3.7 0 timeout 910   8900 9700 0 timeout 910   8900 10000 0 unknown 130    230 1600   0 out of memory 34    15000 310   0 out of memory 180     15000 2200    0 out of memory 130     15000 1500    0 out of memory 280     15000 2700    0 true 880    880 11000   2 timeout (timeout) 900    220   11000   0 true 16   610 110 2 true 63   1200 650 2 true 21   610 170 2
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c true .13  22 .81 2 true 2.6  57 30    2 unknown .0091 .93 .016  0 error (1) .42 37 3.6 0 true 8.0 330 61 2 true 8.5 340 67 2 unknown 1.4  75 16   0 out of memory 51    15000 510   0 out of memory 180     15000 1800    0 true 3.1   300 47    2 true .080 23 1.1  2 true 22    150 290   2 true .16 9.3 1.4 2 true 5.9 320 43 2 true 6.5 330 49 2 true 5.9 320 49 2
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c timeout 900     1700 12000    0 error (42) 850    3200 4100    0 unknown .0093 .93 .019  0 error (1) .43 37 3.7 0 timeout 910   8900 12000 0 timeout 910   9000 8500 0 unknown 160    390 2200   0 out of memory 34    15000 400   0 out of memory 190     15000 2400    0 out of memory 120     15000 1500    0 out of memory 130     15000 1500    0 true 880    810 9900   2 timeout (timeout) 900    240   12000   0 timeout 900   5300 12000 0 timeout 900   2800 13000 0 timeout 900   3500 13000 0
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c timeout 900     480 10000    0 error (42) 850    600 8200    0 unknown .0094 .92 .027  0 error (1) .39 39 3.9 0 timeout 900   4500 11000 0 timeout 900   4500 13000 0 unknown 890    140 13000   0 true 890    1200 10000   2 timeout 900     230 11000    0 timeout 900     410 11000    0 timeout 900     620 11000    0 true 880    170 12000   2 timeout (timeout) 900    4500   8800   0 timeout 900   8500 8500 0 timeout 900   1400 12000 0 timeout 900   2600 13000 0
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c true 1.4   37 16    2 true .69 23 8.2  2 unknown .0087 .92 .033  0 error (1) .40 37 3.9 0 true 230   2600 2800 2 true 230   2700 3200 2 unknown 13    76 140   0 true 2.4  340 27   2 timeout 900     640 14000    0 true 24     68 270    2 true 24     91 370    2 true 25    110 360   2 timeout (timeout) 900    4400   9900   0 true 100   4400 1300 2 timeout 900   1700 12000 0 timeout 900   5000 11000 0
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c true .13  22 .72 2 error (42) 850    11000 3200    0 unknown .010  1.1  .017  0 error (1) .42 38 3.7 0 timeout 900   8000 12000 0 timeout 900   7700 10000 0 unknown 1.2  75 13   0 out of memory 58    15000 680   0 out of memory 130     15000 1600    0 out of memory 130     15000 1900    0 true .081 23 .77 2 true 1.3  82 16   2 true .14 9.3 1.7 2 true 6.1 330 45 2 true 5.3 330 39 2 true 5.5 310 41 2
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c true .12  23 .84 2 error (42) 850    1100 6600    0 unknown .0063 .80 .021  0 error (1) .44 40 4.0 0 false(no-overflow) 2.4 250 24 -16 false(no-overflow) 2.4 250 22 -16 unknown 1.5  75 18   0 out of memory 37    15000 370   0 timeout 900     8400 6700    0 timeout 900     10000 7000    0 true .092 23 .97 2 true 880    880 9300   2 timeout (timeout) 900    270   11000   0 true 5.8 320 48 2 true 5.9 320 53 2 true 5.8 330 41 2
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c true .096 22 1.0  2 error (42) 850    1700 6100    0 unknown .0073 .88 .014  0 error (1) .42 37 3.7 0 timeout 910   9200 11000 0 timeout 910   9100 10000 0 unknown 1.2  75 15   0 out of memory 42    15000 510   0 out of memory 480     15000 5200    0 out of memory 230     15000 2800    0 true .080 23 .97 2 true 880    990 9700   2 timeout (timeout) 900    280   10000   0 true 6.5 330 49 2 true 6.0 330 51 2 true 7.0 370 57 2
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c true .13  23 .72 2 error (42) 850    1200 6200    0 unknown .0092 .93 .022  0 error (1) .41 38 3.6 0 timeout 900   4400 13000 0 timeout 900   4500 13000 0 unknown 1.2  75 14   0 out of memory 52    15000 560   0 out of memory 180     15000 2300    0 out of memory 780     15000 7800    0 true .11  23 .91 2 true 880    460 12000   2 timeout (timeout) 900    4100   12000   0 true 5.9 330 48 2 true 6.9 350 58 2 true 6.2 330 44 2
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c true .13  22 .83 2 error (42) 850    1400 6500    0 unknown .0089 1.0  .028  0 error (1) .43 39 3.7 0 timeout 900   4600 12000 0 timeout 900   4600 10000 0 unknown 1.3  75 15   0 out of memory 63    15000 700   0 out of memory 220     15000 2500    0 out of memory 200     15000 2700    0 true .090 23 .98 2 true 880    450 13000   2 timeout (timeout) 900    4100   11000   0 true 6.3 320 44 2 true 8.8 480 75 2 true 6.4 330 54 2
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c true .13  23 .81 2 error (42) 850    2000 7400    0 unknown .0092 .79 .030  0 error (1) .45 40 3.8 0 timeout 900   4500 13000 0 timeout 900   4500 13000 0 unknown 1.3  76 16   0 out of memory 62    15000 730   0 out of memory 200     15000 2300    0 timeout 900     8900 9700    0 true .086 23 .88 2 true 880    430 8200   2 timeout (timeout) 900    4000   9300   0 true 6.2 330 47 2 true 9.0 450 75 2 true 6.6 330 50 2
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c true .090 22 .90 2 error (42) 850    520 6300    0 unknown .011  1.1  .029  0 error (1) .43 40 3.5 0 false(no-overflow) 2.4 250 20 -16 false(no-overflow) 2.4 250 21 -16 unknown 2.0  76 24   0 true 900    860 9000   2 timeout 900     1100 14000    0 timeout 900     2200 12000    0 true .090 23 1.0  2 true 880    670 9800   2 timeout (timeout) 900    46   9800   0 true 7.6 370 53 2 true 8.8 440 59 2 true 7.6 350 55 2
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c true .10  22 .82 2 error (42) 850    1100 6900    0 unknown .0043 .93 .018  0 error (1) .43 38 4.5 0 timeout 910   5900 8900 0 timeout 910   5900 7600 0 unknown 1.2  75 14   0 out of memory 130    15000 1600   0 out of memory 170     15000 2200    0 out of memory 570     15000 6200    0 true .079 23 .84 2 true 880    900 11000   2 timeout (timeout) 900    170   11000   0 true 6.1 320 44 2 true 6.5 330 48 2 true 6.2 330 46 2
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c true .10  22 .78 2 error (42) 850    1000 7800    0 unknown .0085 .78 .023  0 error (1) .41 37 3.6 0 false(no-overflow) 2.4 250 24 -16 false(no-overflow) 2.5 260 21 -16 unknown 1.5  75 18   0 out of memory 340    15000 4600   0 timeout 900     3000 11000    0 timeout 900     5900 11000    0 true .097 23 1.1  2 true 880    680 11000   2 timeout (timeout) 900    110   10000   0 true 6.3 330 46 2 true 7.3 370 64 2 true 7.3 360 60 2
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c true 6.4   96 70    2 true 1.1  17 11    2 unknown .0096 .76 .023  0 error (1) .40 38 3.8 0 true 15   400 130 2 true 16   440 140 2 unknown 1.4  75 16   0 true .83 120 11   2 out of memory 92     15000 1200    0 true .96  170 13    2 true 12     1500 150    2 timeout 880    670 8900   0 true .16 9.2 1.7 2 true 91   3600 920 2 timeout 900   1900 12000 0 true 76   2400 710 2
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 900     2600 9000    0 error (42) 850    1600 7300    0 unknown .0093 .92 .016  0 error (1) .43 40 4.0 0 timeout 900   4800 12000 0 timeout 900   4900 11000 0 unknown 900    160 12000   0 true 890    2800 9400   1 timeout 900     890 13000    0 timeout 900     1700 12000    0 timeout 900     2600 12000    0 true 880    240 12000   1 timeout (timeout) 900    4200   9000   0 timeout 900   4100 12000 0 timeout 900   3100 15000 0 timeout 900   3700 15000 0
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c true .13  22 .66 2 error (42) 850    1200 6100    0 unknown .0092 .85 .026  0 error (1) .43 37 3.6 0 timeout 900   5000 11000 0 timeout 900   5000 12000 0 unknown 1.2  75 17   0 out of memory 52    15000 630   0 timeout 900     9100 12000    0 timeout 900     14000 11000    0 true .13  23 .73 2 true 880    330 11000   2 timeout (timeout) 900    250   12000   0 true 6.6 340 49 2 true 7.2 370 53 2 true 6.1 330 46 2
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c true .26  26 2.8  2 error (42) 850    4500 3400    0 unknown .010  1.0  .026  0 error (1) .43 40 3.9 0 timeout 910   8900 9400 0 timeout 910   8900 12000 0 unknown 330    180 4400   0 out of memory 34    15000 370   0 timeout 900     8000 13000    0 out of memory 680     15000 7800    0 out of memory 420     15000 4900    0 true 880    1000 10000   2 timeout (timeout) 900    210   12000   0 true 15   560 140 2 true 73   1200 990 2 true 21   740 180 2
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c true .13  22 .64 2 error (42) 850    6100 3400    0 unknown .0091 .76 .024  0 error (1) .44 37 3.5 0 timeout 910   8900 11000 0 timeout 910   9000 8600 0 unknown 1.4  75 16   0 out of memory 35    15000 410   0 timeout 900     6700 9600    0 timeout 900     14000 10000    0 true .082 23 .87 2 true 880    740 11000   2 timeout (timeout) 900    160   10000   0 true 6.1 330 44 2 true 6.1 330 46 2 true 5.7 320 50 2
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c true .14  23 1.1  2 error (42) 850    4300 3900    0 unknown .010  .85 .031  0 error (1) .45 40 4.4 0 timeout 910   8700 9700 0 timeout 910   8700 13000 0 unknown 1.4  75 17   0 out of memory 33    15000 320   0 timeout 900     14000 11000    0 out of memory 350     15000 4600    0 out of memory 510     15000 4800    0 true 880    1300 13000   2 timeout (timeout) 900    270   13000   0 true 6.9 330 53 2 true 11   490 100 2 true 8.1 360 65 2
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c true .10  22 .84 2 error (42) 850    750 5000    0 unknown .010  1.0  .020  0 error (1) .43 38 3.9 0 timeout 900   2500 9800 0 timeout 900   2500 11000 0 unknown 890    320 12000   0 out of memory 37    15000 470   0 timeout 900     130 13000    0 timeout 900     130 11000    0 true .14  23 1.2  2 true 880    430 11000   2 timeout (timeout) 900    130   9500   0 true 7.3 370 52 2 true 6.4 330 54 2 true 6.2 330 50 2
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c timeout 900     2500 9500    0 error (42) 850    3000 7000    0 unknown .0095 .96 .026  0 error (1) .41 38 3.4 0 timeout 910   6700 10000 0 timeout 910   6900 9000 0 unknown 140    100 1900   0 out of memory 170    15000 2000   0 out of memory 790     15000 9600    0 out of memory 470     15000 5700    0 unknown .082 23 .84 0 true 880    400 11000   1 timeout (timeout) 900    180   11000   0 timeout 900   5300 11000 0 timeout 900   5300 13000 0 timeout 900   5300 13000 0
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c true .086 22 .96 2 error (42) 850    1300 7800    0 unknown .010  .83 .015  0 error (1) .43 40 4.1 0 timeout 900   4500 12000 0 timeout 900   4500 11000 0 unknown 1.5  75 17   0 out of memory 130    15000 1500   0 out of memory 430     15000 5200    0 timeout 900     7600 8500    0 true .085 23 .90 2 true 880    430 10000   2 timeout (timeout) 900    270   9900   0 true 6.2 320 43 2 true 6.2 320 46 2 true 5.9 320 46 2
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c true .095 22 1.1  2 error (42) 850    1700 8200    0 unknown .0091 .77 .033  0 error (1) .41 40 3.6 0 false(no-overflow) 2.4 250 24 -16 false(no-overflow) 2.4 260 21 -16 unknown 500    110 5900   0 out of memory 110    15000 1300   0 unknown .10  23 .68 0 unknown .069 23 .73 0 unknown .076 23 .83 0 true 880    320 11000   2 timeout (timeout) 900    310   14000   0 true 7.3 330 49 2 true 6.7 350 54 2 true 6.8 340 47 2
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c timeout 900     450 13000    0 error (42) 850    650 6600    0 unknown .010  1.1  .018  0 error (1) .41 39 4.2 0 timeout 900   2300 8300 0 timeout 900   2200 8900 0 unknown 890    130 10000   0 timeout 900    5100 12000   0 timeout 900     91 11000    0 timeout 900     110 12000    0 timeout 900     140 11000    0 true 880    250 9600   2 timeout (timeout) 900    110   11000   0 timeout 900   2700 13000 0 timeout 900   1200 14000 0 timeout 900   1100 12000 0
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c error (5) .092 22 .94 0 error (42) 850    9700 5500    0 aborted .11   8.0  1.1    0 error (1) .43 39 3.7 0 error (recursion) 2.5 250 24 0 error (recursion) 2.4 250 21 0 unknown 580    15000 7000   0 out of memory 200    15000 2300   0 out of memory 380     15000 3700    0 out of memory 380     15000 3100    0 out of memory 360     15000 3000    0 true 880    170 13000   2 timeout (timeout) 900    670   10000   0 true 10   490 70 2 true 8.8 470 67 2 true 17   700 140 2
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c error (5) .11  22 .70 0 error (134) 370    14000 4100    0 aborted .11   7.9  1.4    0 error (1) .43 40 3.5 0 error (recursion) 2.2 240 19 0 error (recursion) 2.2 240 20 0 unknown 450    15000 5000   0 out of memory 130    15000 1500   0 out of memory 390     15000 3300    0 out of memory 360     15000 3700    0 out of memory 340     15000 3900    0 true 880    250 10000   1 timeout (timeout) 900    210   11000   0 timeout 900   2200 13000 0 timeout 900   2800 12000 0 timeout 910   13000 3900 0
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c true .13  23 .93 2 error (42) 850    970 5100    0 unknown .0065 .90 .029  0 error (1) .46 40 3.8 0 timeout 900   1200 8500 0 timeout 900   1200 5600 0 unknown 2.1  75 31   0 true 890    1800 7500   2 timeout 900     3300 12000    0 timeout 900     6300 12000    0 true .18  23 1.7  2 true 880    280 9700   2 timeout (timeout) 900    44   11000   0 true 6.3 330 52 2 true 9.9 470 74 2 true 6.7 330 52 2
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c true .12  22 .76 2 error (42) 850    1900 6800    0 unknown .0092 1.1  .028  0 error (1) .42 40 4.0 0 timeout 900   4700 8400 0 timeout 900   4700 8100 0 unknown 1.2  75 13   0 out of memory 70    15000 770   0 out of memory 290     15000 4100    0 out of memory 360     15000 4200    0 true .082 23 .99 2 true 880    710 9300   2 timeout (timeout) 900    84   9800   0 true 6.4 320 45 2 true 7.8 410 66 2 true 6.0 320 48 2
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c true .097 22 .69 2 true 1.1  27 12    2 unknown .0073 1.0  .024  0 error (1) .43 40 4.6 0 true 5.6 280 49 2 true 5.9 290 47 2 unknown 1.3  75 16   0 out of memory 34    15000 360   0 out of memory 140     15000 1700    0 true 2.0   310 23    2 true .099 23 .95 2 true 16    110 190   2 true .16 9.4 1.5 2 true 5.5 320 43 2 true 6.1 320 46 2 true 6.2 330 42 2
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c true .11  22 .90 2 error (42) 850    7100 3700    0 unknown .0094 1.0  .027  0 error (1) .44 40 3.9 0 timeout 910   9500 11000 0 timeout 910   9500 11000 0 unknown 1.4  75 15   0 out of memory 34    15000 340   0 timeout 900     9600 13000    0 out of memory 610     15000 7900    0 true .11  23 .79 2 true 880    850 9800   2 timeout (timeout) 900    250   11000   0 true 6.5 350 50 2 true 5.5 320 51 2 true 5.5 320 43 2
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c true .095 22 .94 2 error (42) 850    2300 3800    0 unknown .010  .72 .017  0 error (1) .43 38 3.7 0 timeout 900   6200 11000 0 timeout 900   6200 10000 0 unknown 1.7  100 20   0 timeout 900    2500 7600   0 timeout 900     5000 13000    0 timeout 900     7400 11000    0 true .11  23 .85 2 true 880    900 9800   2 timeout (timeout) 900    670   6700   0 true 7.6 340 54 2 true 8.7 420 63 2 true 7.6 350 62 2
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c true .13  22 .69 2 error (42) 850    1400 6200    0 unknown .0079 1.0  .024  0 error (1) .40 39 3.9 0 timeout 900   5900 11000 0 timeout 900   5900 10000 0 unknown 1.2  75 14   0 out of memory 52    15000 560   0 out of memory 190     15000 2200    0 out of memory 890     15000 9400    0 true .11  23 .87 2 true 880    400 11000   2 timeout (timeout) 900    4100   10000   0 true 5.9 320 51 2 true 7.5 350 50 2 true 6.0 320 47 2
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c true .11  22 .88 2 error (42) 850    2800 6700    0 unknown .011  .92 .015  0 error (1) .43 37 4.0 0 timeout 900   740 11000 0 timeout 900   700 11000 0 unknown 1.4  75 17   0 out of memory 61    15000 780   0 out of memory 870     15000 12000    0 out of memory 600     15000 8000    0 true .082 23 1.0  2 true 880    1000 12000   2 timeout (timeout) 900    15000   12000   0 true 5.7 320 44 2 true 5.8 340 47 2 true 6.4 330 49 2
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c true .096 22 .78 2 error (42) 850    5500 9600    0 unknown .0085 1.1  .036  0 error (1) .43 37 3.5 0 timeout 900   1000 10000 0 timeout 900   800 11000 0 unknown 1.4  100 17   0 out of memory 33    15000 370   0 out of memory 46     15000 630    0 out of memory 61     15000 790    0 true .12  23 .91 2 true 880    980 9300   2 timeout (timeout) 900    550   10000   0 true 6.5 330 52 2 true 7.5 370 61 2 true 8.8 380 61 2
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c true .12  23 .71 2 error (42) 850    1100 3600    0 unknown .0087 .89 .022  0 error (1) .47 40 3.6 0 timeout 900   2700 11000 0 timeout 900   2800 12000 0 unknown 1.4  100 18   0 out of memory 35    15000 470   0 out of memory 260     15000 3300    0 out of memory 140     15000 1600    0 true .11  23 .84 2 true 880    380 11000   2 timeout (timeout) 900    230   13000   0 true 6.2 320 48 2 true 7.3 370 55 2 true 8.7 380 72 2
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c true .14  23 .73 2 error (42) 850    2500 6700    0 unknown .0093 .82 .022  0 error (1) .42 38 3.6 0 timeout 900   5100 12000 0 timeout 900   5100 13000 0 unknown 1.3  76 15   0 out of memory 90    15000 980   0 out of memory 190     15000 2300    0 timeout 900     4500 10000    0 true .088 23 1.0  2 true 880    370 11000   2 timeout (timeout) 900    4000   12000   0 true 7.4 340 58 2 true 9.3 480 81 2 true 7.4 340 53 2
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c true .13  22 .84 2 error (42) 850    3100 7500    0 unknown .0071 1.0  .024  0 error (1) .43 40 3.9 0 timeout 910   8500 12000 0 timeout 910   8500 10000 0 unknown 1.3  75 15   0 out of memory 91    15000 960   0 timeout 900     8200 11000    0 timeout 900     12000 14000    0 true .099 23 1.0  2 true 1.4  80 17   2 - 0 true 6.1 320 53 2 true 6.2 340 47 2 true 6.5 330 49 2
termination-crafted-lit/aviad_true-termination_true-no-overflow.c true 3.4   78 40    2 true 5.9  180 63    2 unknown .0091 1.1  .026  0 error (1) .44 41 4.4 0 true 47   660 500 2 true 45   670 430 2 unknown 22    76 310   0 out of memory 46    15000 510   0 unknown .070 23 .84 0 unknown .097 23 .71 0 unknown .077 23 .72 0 true 880    740 12000   2 timeout (timeout) 900    360   7900   0 timeout 900   4000 12000 0 timeout 900   4200 13000 0 timeout 900   4600 13000 0
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c true .090 22 .84 2 error (1) 800    11000 3400    0 unknown .0093 .72 .021  0 error (1) .39 37 3.4 0 error 2.6 260 22 0 error 2.6 260 22 0 unknown 1.2  76 13   0 out of memory 51    15000 560   0 timeout 900     14000 11000    0 out of memory 180     15000 2400    0 true .079 23 .84 2 true 1.4  85 19   2 unknown .16 11   1.8 0 true 6.7 340 54 2 true 6.7 330 51 2 true 6.9 340 50 2
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c true .14  23 .83 2 error (42) 850    1100 3600    0 unknown .010  1.1  .013  0 error (1) .45 40 4.4 0 error 2.7 260 24 0 error 2.6 260 22 0 unknown 900    450 10000   0 out of memory 570    15000 6400   0 timeout 900     1300 11000    0 timeout 900     4900 9400    0 true .085 23 1.0  2 true 1.4  82 17   2 unknown .16 11   1.7 0 true 6.4 340 54 2 true 7.1 320 60 2 true 6.6 330 56 2
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c true .11  22 .96 2 error (42) 850    11000 4200    0 unknown .010  1.0  .023  0 error (1) .42 40 3.9 0 error 2.5 250 20 0 error 2.5 250 23 0 unknown 1.2  75 12   0 out of memory 49    15000 490   0 timeout 900     2200 8800    0 out of memory 230     15000 2400    0 true .10  23 .78 2 true 1.4  75 15   2 unknown .15 10   1.9 0 true 7.0 340 58 2 true 6.6 340 52 2 true 6.3 320 44 2
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c true .11  23 .79 2 error (42) 850    1100 3700    0 unknown .010  .82 .020  0 error (1) .41 40 3.5 0 error 2.5 240 22 0 error 2.5 240 22 0 unknown 900    420 11000   0 out of memory 550    15000 6400   0 timeout 900     1300 12000    0 timeout 900     5100 9700    0 true .087 23 .86 2 true 1.4  75 17   2 unknown .19 11   1.8 0 true 6.2 350 49 2 true 6.2 330 48 2 true 7.1 340 56 2
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c true .12  23 .79 2 error (42) 850    1100 3400    0 unknown .0072 .89 .022  0 error (1) .40 38 3.8 0 error 2.6 260 22 0 error 2.5 250 24 0 unknown 900    430 11000   0 out of memory 570    15000 4800   0 timeout 900     1300 12000    0 timeout 900     4900 9600    0 true .084 23 1.1  2 true 1.4  84 16   2 unknown .16 11   1.9 0 true 6.6 350 55 2 true 6.6 340 53 2 true 6.5 330 46 2
termination-crafted-lit/genady_true-termination_true-no-overflow.c true .20  24 2.4  2 true 4.6  130 58    2 unknown .012  .95 .025  0 error (1) .39 38 4.0 0 timeout 900   750 11000 0 timeout 900   740 12000 0 unknown 54    75 690   0 true 1.4  220 15   2 out of memory 78     15000 940    0 out of memory 69     15000 850    0 unknown .074 23 1.0  0 timeout 880    1200 8000   0 true .18 12   2.0 2 true 8.3 460 66 2 true 34   720 360 2 true 7.7 360 59 2
termination-crafted-lit/strchr_true-no-overflow.c true .11  22 .78 2 error (1) 690    11000 3500    0 unknown .011  .85 .021  0 error (1) .41 40 3.8 0 error 2.5 250 21 0 error 2.5 260 21 0 false(no-overflow) .39 76 4.4 -16 out of memory 46    15000 470   0 timeout 900     3400 8600    0 out of memory 230     15000 2600    0 true .083 23 .86 2 true 1.4  83 17   2 unknown .17 10   2.0 0 true 6.1 330 47 2 true 6.2 320 51 2 true 5.9 320 46 2
termination-numeric/Addition01_false-no-overflow.c error (5) .12  22 .72 0 false(no-overflow) .14 21 1.2  1 aborted .13   8.1  1.2    0 error (1) .46 37 4.0 0 error (recursion) 2.3 240 19 0 error (recursion) 2.3 240 20 0 false(no-overflow) .56 49 6.3 1 out of memory 110    15000 1400   0 false(no-overflow) .11  23 .72 1 false(no-overflow) .079 23 .80 1 false(no-overflow) .089 23 .86 1 false(no-overflow) 1.6  84 19   1 false(no-overflow) .15 10   1.9 1 false(no-overflow) 5.5 340 43 1 false(no-overflow) 5.8 320 44 1 false(no-overflow) 5.8 330 43 1
termination-numeric/Avg_true_false-no-overflow.c error (5) .094 22 .82 0 false(no-overflow) .11 19 1.2  1 aborted .11   8.0  1.1    0 error (1) .43 38 3.6 0 error (recursion) 2.4 240 22 0 error (recursion) 2.4 240 21 0 false(no-overflow) .57 50 6.7 1 out of memory 120    15000 1600   0 false(no-overflow) .090 23 1.1  1 false(no-overflow) .077 23 .87 1 false(no-overflow) .080 23 .95 1 false(no-overflow) 1.6  73 19   1 false(no-overflow) .17 10   1.6 1 false(no-overflow) 6.1 330 51 1 false(no-overflow) 5.7 320 40 1 false(no-overflow) 5.9 320 51 1
termination-numeric/Binomial_true-termination_false-no-overflow.c error (5) .092 22 .68 0 false(no-overflow) 19    230 220    0 unknown .010  .92 .018  0 error (1) .43 40 4.2 0 error (recursion) 2.7 250 25 0 error (recursion) 2.7 250 25 0 false(no-overflow) 27    140 290   0 out of memory 61    15000 720   0 false(no-overflow) 11     200 160    0 false(no-overflow) 17     490 250    0 timeout 900     2700 4800    0 timeout 880    130 9600   0 false(no-overflow) .23 11   2.6 1 timeout 900   2100 11000 0 timeout 900   1100 11000 0 timeout 900   1200 11000 0
termination-numeric/Et1_true_false-no-overflow.c error (5) .10  22 .71 0 false(no-overflow) .13 18 1.1  1 aborted .11   8.1  1.1    0 error (1) .41 37 3.8 0 false(no-overflow) 2.5 250 20 1 false(no-overflow) 2.5 250 22 1 false(no-overflow) .46 49 6.4 1 false(no-overflow) 3.6  78 45   1 false(no-overflow) .077 23 .93 1 false(no-overflow) .10  23 .94 1 false(no-overflow) .097 23 1.0  1 false(no-overflow) 1.7  78 20   1 false(no-overflow) .18 10   1.7 1 false(no-overflow) 6.3 340 53 1 false(no-overflow) 5.6 330 42 1 false(no-overflow) 6.0 330 43 1
termination-numeric/Et2_true_false-no-overflow.c error (5) .12  22 .74 0 false(no-overflow) .12 19 1.2  1 aborted .12   8.2  1.0    0 error (1) .40 37 3.9 0 error (recursion) 2.4 240 21 0 error (recursion) 2.4 240 21 0 false(no-overflow) .60 49 7.4 0 false(no-overflow) 8.6  140 110   1 false(no-overflow) .092 23 1.0  1 false(no-overflow) .10  23 .91 1 false(no-overflow) .11  23 .65 1 false(no-overflow) 1.7  81 23   1 false(no-overflow) .15 10   2.0 1 false(no-overflow) 6.3 340 51 1 false(no-overflow) 5.8 320 50 1 false(no-overflow) 6.0 330 42 1
termination-numeric/Et3_true_false-no-overflow.c error (5) .10  22 .71 0 false(no-overflow) .15 18 .99 1 aborted .11   8.1  1.2    0 error (1) .41 38 4.2 0 false(no-overflow) 2.4 250 23 1 false(no-overflow) 2.5 250 22 1 false(no-overflow) .55 49 7.4 1 false(no-overflow) 2.6  65 32   1 false(no-overflow) .074 23 1.1  1 false(no-overflow) .074 23 1.0  1 false(no-overflow) .11  23 .80 1 false(no-overflow) 1.7  85 19   1 false(no-overflow) .16 10   1.7 1 false(no-overflow) 6.2 350 44 1 false(no-overflow) 5.6 320 42 1 false(no-overflow) 5.6 320 48 1
termination-numeric/Et4_true_false-no-overflow.c error (5) .098 22 .85 0 false(no-overflow) .14 19 1.0  1 aborted .12   8.3  1.2    0 error (1) .40 37 3.6 0 false(no-overflow) 2.9 250 23 1 false(no-overflow) 2.6 250 26 1 false(no-overflow) .47 50 5.1 1 false(no-overflow) 5.3  140 72   0 false(no-overflow) .11  23 .77 1 false(no-overflow) .11  23 .86 1 false(no-overflow) .082 23 .86 1 false(no-overflow) 1.7  77 20   1 false(no-overflow) .15 11   1.7 1 false(no-overflow) 5.5 320 45 1 false(no-overflow) 5.6 320 48 1 false(no-overflow) 6.3 330 45 1
termination-numeric/MultCommutative_false-no-overflow.c error (5) .12  22 .62 0 false(no-overflow) .16 19 1.2  0 aborted .11   8.4  1.2    0 error (1) .43 37 3.8 0 error (recursion) 2.4 240 22 0 error (recursion) 2.3 240 21 0 unknown 480    15000 6700   0 out of memory 150    15000 1700   0 false(no-overflow) .14  23 1.1  0 false(no-overflow) .14  23 1.4  0 false(no-overflow) .14  23 1.6  0 false(no-overflow) 1.6  87 21   0 false(no-overflow) .21 11   2.6 1 false(no-overflow) 8.8 470 65 1 false(no-overflow) 11   470 86 1 false(no-overflow) 13   500 98 1
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c error (5) .083 22 .73 0 false(no-overflow) 1.3  77 14    1 aborted .13   44    1.8    0 error (1) .43 37 3.9 0 error (recursion) 2.4 260 21 0 error (recursion) 2.4 250 23 0 false(no-overflow) 1.8  140 20   0 false(no-overflow) 8.5  340 88   0 false(no-overflow) 3.3   200 29    0 false(no-overflow) 5.7   340 50    0 false(no-overflow) 8.2   480 64    0 timeout 880    83 11000   0 false(no-overflow) 6.7  36   81   1 unknown 98   1100 1100 0 timeout 900   930 11000 0 timeout 900   1400 10000 0
termination-numeric/Ackermann01_true-termination_true-no-overflow.c error (5) .12  22 .77 0 error (42) 850    320 3500    0 aborted .11   8.2  1.2    0 error (1) .47 40 4.4 0 error (recursion) 2.5 250 20 0 error (recursion) 2.4 240 21 0 out of memory (false(no-overflow)) 460    15000 5600   0 out of memory 140    15000 1800   0 timeout 900     5600 6600    0 timeout 900     4800 8800    0 timeout 900     5300 7600    0 true 880    280 7900   1 timeout (timeout) 900    4300   13000   0 timeout 900   7300 11000 0 timeout 900   1300 11000 0 timeout 910   13000 4700 0
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c error (5) .11  22 .85 0 error (42) 850    3900 7200    0 aborted .11   8.4  1.1    0 error (1) .41 37 3.7 0 error (recursion) 2.3 240 20 0 error (recursion) 2.3 250 22 0 unknown 1.6  50 17   0 true 2.4  160 27   1 timeout 900     8500 11000    0 out of memory 540     15000 6500    0 out of memory 380     15000 4500    0 true 880    210 10000   1 timeout (timeout) 900    280   11000   0 timeout 900   3100 13000 0 timeout 900   4500 13000 0 timeout 900   3300 13000 0
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c error (5) .096 22 .80 0 error (42) 850    230 2500    0 aborted .11   8.3  1.1    0 error (1) .46 37 3.9 0 error (recursion) 2.3 260 20 0 error (recursion) 2.2 250 18 0 unknown 380    15000 4600   0 out of memory 95    15000 1200   0 timeout 900     9700 9900    0 timeout 900     1200 9700    0 timeout 900     1500 11000    0 true 880    240 9400   1 timeout (timeout) 900    300   13000   0 timeout 900   5800 13000 0 timeout 900   1400 11000 0 timeout 900   5400 13000 0
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c error (5) .082 22 .82 0 out of memory 560    15000 4800    0 aborted .16   8.1  1.1    0 error (1) .41 38 3.7 0 error (recursion) 2.4 240 20 0 error (recursion) 2.4 240 22 0 unknown 1.2  49 15   0 true .73 45 8.5 2 out of memory 570     15000 7100    0 out of memory 270     15000 3000    0 out of memory 230     15000 2600    0 true 880    250 11000   2 timeout (timeout) 900    310   11000   0 true 6.3 320 55 2 true 7.3 400 62 2 true 6.5 330 55 2
termination-numeric/LogRecursive_true-termination_true-no-overflow.c error (5) .12  22 .72 0 true 3.4  89 37    1 aborted .11   8.1  1.1    0 error (1) .44 40 4.5 0 error (recursion) 2.3 240 19 0 error (recursion) 2.3 240 18 0 unknown 2.0  77 22   0 true 17    510 180   1 timeout 900     11000 7800    0 true 28     980 310    1 true 41     1400 440    1 timeout 880    91 11000   0 true 12    160   140   2 timeout 900   4600 14000 0 timeout 900   2900 12000 0 timeout 900   1300 13000 0
termination-numeric/Parts_true-termination_true-no-overflow.c error (5) .094 22 .77 0 error (42) 850    760 5600    0 unknown .010  .95 .021  0 error (1) .45 38 4.0 0 error (recursion) 3.1 260 28 0 error (recursion) 3.2 260 30 0 unknown 900    430 9000   0 out of memory 67    15000 800   0 timeout 900     12000 11000    0 timeout 900     1100 9800    0 timeout 900     990 8200    0 true 880    380 9500   1 timeout (timeout) 900    5500   11000   0 timeout 900   5300 11000 0 timeout 900   1400 12000 0 timeout 910   13000 7500 0
termination-numeric/TwoWay_true-termination_true-no-overflow.c error (5) .11  22 .79 0 error (42) 850    2500 4200    0 aborted .11   8.0  1.3    0 error (1) .42 39 3.9 0 error (recursion) 2.4 240 20 0 error (recursion) 2.4 250 23 0 unknown 5.7  150 49   0 true 22    340 260   1 timeout 900     6900 4600    0 timeout 900     12000 5800    0 timeout 900     14000 5500    0 error (1) 740    100 8300   0 timeout (timeout) 900    350   11000   0 unknown 14   490 130 0 timeout 900   810 13000 0 unknown 94   650 1100 0
termination-numeric/gcd01_true-termination_true-no-overflow.c error (5) .099 22 .78 0 error (42) 850    5000 4400    0 aborted .11   8.0  1.3    0 error (1) .42 37 4.0 0 error (recursion) 2.3 240 20 0 error (recursion) 2.3 250 20 0 unknown 420    15000 5000   0 out of memory 110    15000 1500   0 timeout 900     960 12000    0 timeout 900     580 11000    0 timeout 900     600 10000    0 true 880    94 10000   2 timeout (timeout) 900    140   13000   0 true 7.4 340 64 2 true 8.4 450 74 2 true 6.6 320 47 2
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c true .60  34 6.2  2 true 1.3  27 15    2 unknown .010  .70 .022  0 error (1) .43 38 3.9 0 true 6.9 300 59 2 true 7.0 300 61 2 unknown 1.4  76 16   0 out of memory 33    15000 310   0 out of memory 180     15000 2400    0 true 1.9   300 22    2 true 3.6   540 48    2 true 21    120 230   2 true .39 11   5.0 2 true 42   1400 350 2 true 82   1600 1200 2 true 61   1300 660 2
termination-numeric/recHanoi02_true-termination_true-no-overflow.c error (5) .081 22 .73 0 true 1.1  22 14    1 aborted .12   8.0  .97   0 error (1) .42 37 3.6 0 error (recursion) 2.3 240 18 0 error (recursion) 2.3 250 23 0 unknown 1.7  49 18   0 true 1.3  49 16   1 timeout 900     3400 10000    0 true 9.0   170 140    1 true 12     250 140    1 error (1) 2.0  76 27   0 true .49 13   5.5 2 timeout 900   2100 12000 0 timeout 900   1500 15000 0 timeout 900   2800 9300 0
termination-numeric/rec_counter1_true-termination_true-no-overflow.c error (5) .099 22 .75 0 error (42) 850    5700 3600    0 unknown .010  .97 .023  0 error (1) .43 37 3.6 0 error (recursion) 2.3 250 21 0 error (recursion) 2.2 250 20 0 unknown 2.4  97 33   0 timeout 900    1800 12000   0 timeout 900     7800 12000    0 timeout 900     11000 10000    0 timeout 900     13000 10000    0 true 880    340 9100   1 timeout (timeout) 900    830   11000   0 timeout 900   5400 11000 0 timeout 900   4200 14000 0 timeout 900   3400 13000 0
termination-numeric/rec_counter3_true-termination_true-no-overflow.c error (5) .097 22 .74 0 error (42) 850    5700 3800    0 unknown .0085 1.0  .029  0 error (1) .41 38 3.6 0 error (recursion) 2.3 240 20 0 error (recursion) 2.3 240 21 0 unknown 2.4  99 32   0 timeout 900    1800 8600   0 timeout 900     7600 10000    0 timeout 900     10000 11000    0 timeout 900     12000 9800    0 true 880    320 9600   1 timeout (timeout) 900    890   14000   0 timeout 900   5300 13000 0 timeout 900   3000 14000 0 timeout 900   3300 14000 0
termination-numeric/twisted_true-termination_true-no-overflow.c timeout 900     24 10000    0 error (42) 850    4500 3100    0 unknown .0081 .74 .027  0 error (1) .42 37 3.3 0 timeout 900   4900 9300 0 timeout 900   5100 10000 0 timeout (false(no-overflow)) 900    6600 10000   0 out of memory 32    15000 270   0 unknown .10  23 .76 0 unknown .070 23 .96 0 unknown .078 23 .82 0 true 880    200 11000   2 timeout (timeout) 900    2200   9800   0 timeout 900   1400 12000 0 timeout 900   1100 12000 0 timeout 900   1400 12000 0
../../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
total 274 20000 45000 220000 284 274 81000   370000 500000 186 274 7.2  660 55    20 274 120 11000 1100 0 274 59000   410000 700000 21 274 59000   410000 690000 21 274 26000 270000 310000 102 274 47000 3100000 500000 69 274 79000 1100000 910000 142 274 67000 980000 770000 176 274 31000 380000 350000 279 274 89000   78000 1000000 311 273 83000 120000 1000000 195 274 32000 240000 410000 328 274 41000 190000 560000 310 274 34000 230000 430000 325
    correct results 207 44 5100 410 282 165 46   3500 450 183 15 1.1  130 9.7  20 0 150 930   44000 9800 164 150 920   44000 10000 164 134 91 12000 970 134 42 12000 21000 120000 64 142 24 3500 280 142 158 98 5800 1300 174 209 340 8600 3800 276 236 60000   55000 700000 329 174 63 2000 710 195 240 2700 100000 26000 328 231 2100 86000 20000 310 238 2800 96000 26000 324
        correct true 75 27 2000 280 150 18 25   740 290 36 5 .18 42 .92 10 0 14 580   9400 6800 28 14 570   9500 7000 28 0 22 7200 12000 74000 44 0 16 65 2000 840 32 67 72 3600 980 134 93 59000   43000 690000 186 21 15 360 170 42 88 1800 52000 18000 176 79 810 33000 7700 158 86 1400 42000 14000 172
        correct false 132 17 3000 130 132 147 21   2700 170 147 10 .88 84 8.7  10 0 136 350   34000 3000 136 136 350   35000 3100 136 134 91 12000 970 134 20 4500 8300 46000 20 142 24 3500 280 142 142 34 3800 430 142 142 260 5000 2900 142 143 380   12000 4200 143 153 48 1600 540 153 152 970 51000 7700 152 152 1300 53000 13000 152 152 1400 53000 12000 152
    correct-unconfimed results 4 45 1200 400 2 10 30   580 340 3 0 0 3 42   1300 320 1 3 38   1300 290 1 17 1100 3200 14000 0 14 5200 21000 52000 5 10 27 800 360 0 12 81 2600 1000 2 12 340 4000 3600 3 16 12000   5200 130000 14 0 0 0 1 12 480 100 1
        correct-unconfirmed true 2 11 370 120 2 3 4.7 130 53 3 0 0 1 2.3 240 20 1 1 2.3 240 19 1 0 5 940 3900 9900 5 0 2 37 1200 450 2 3 53 1700 590 3 14 12000   5000 130000 14 0 0 0 1 12 480 100 1
        correct-unconfirmed false 2 34 860 290 0 7 25   450 290 0 0 0 2 39   1000 300 0 2 35   1000 270 0 17 1100 3200 14000 0 9 4200 17000 42000 0 10 27 800 360 0 10 45 1500 590 0 9 290 2300 3000 0 2 3.4 160 43 0 0 0 0 0
    incorrect results 0 0 0 0 9 22   2300 200 -144 9 23   2300 200 -144 2 480 490 6800 -32 0 0 0 0 1 880   230 11000 -32 0 0 0 0
        incorrect true 0 0 0 0 0 0 0 0 0 0 0 1 880   230 11000 -32 0 0 0 0
        incorrect false 0 0 0 0 9 22   2300 200 -144 9 23   2300 200 -144 2 480 490 6800 -32 0 0 0 0 0 0 0 0 0
score (274 tasks, max score: 393) 284 186 20 0 21 21 102 69 142 176 279 311 195 328 310 325
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