Tool CPAchecker 1.6.1-svn 26725 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CProver witness2test 0.1 ULTIMATE Automizer 0.1.23-3204b741
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-12-01 08:43:54 CET 2017-12-01 08:44:10 CET 2017-12-01 08:45:03 CET 2017-12-01 08:45:13 CET 2017-12-01 08:44:19 CET
Run set cpa-bam-bnb.sv-comp18.NoOverflows-BitVectors cpa-seq-validate-violation-witnesses-cpa-bam-bnb.sv-comp18-violation-witness.NoOverflows-BitVectors uautomizer-validate-violation-witnesses-cpa-bam-bnb.sv-comp18-violation-witness.NoOverflows-BitVectors fshell-witness2test-validate-violation-witnesses-cpa-bam-bnb.sv-comp18-violation-witness.NoOverflows-BitVectors uautomizer-validate-correctness-witnesses-cpa-bam-bnb.sv-comp18-correctness-witness.NoOverflows-BitVectors
Options -svcomp18-bam-bnb -disable-java-assertions -heap 10000m -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-bam-bnb.2017-12-01_0843.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const --full-output --validate ../../results-verified/cpa-bam-bnb.2017-12-01_0843.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/cpa-bam-bnb.2017-12-01_0843.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/cpa-bam-bnb.2017-12-01_0843.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i error (1) 0 wit inspect .48 41 3.9 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0041 .34 - wit inspect
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i error (1) 0 wit inspect .47 40 4.6 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect
signedintegeroverflow-regression/Division_false-no-overflow.c.i error (1) 0 wit inspect .47 41 4.4 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0038 .32 - wit inspect
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i error (1) 0 wit inspect .45 41 4.4 error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i error (1) 0 wit inspect .45 40 4.1 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i error (1) 0 wit inspect .48 43 4.7 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .0012 .31 - wit inspect
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i error (1) 0 wit inspect .46 41 4.5 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .0010 .32 - wit inspect
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i error (1) 0 wit inspect .50 41 4.0 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .0040 .28 - wit inspect
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i error (1) 0 wit inspect .46 40 4.5 error (invalid witness file) 0 wit inspect .56 45 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .0044 .29 - wit inspect
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i error (1) 0 wit inspect .48 40 3.9 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .048 4.8 error (invalid witness file) 0 wit inspect .0015 .28 - wit inspect
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i error (1) 0 wit inspect .47 40 4.1 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i error (1) 0 wit inspect .51 43 3.8 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.8
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i error (1) 0 wit inspect .48 41 4.6 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i error (1) 0 wit inspect .46 40 4.4 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .021 4.9
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i error (1) 0 wit inspect .47 41 4.4 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted/2Nested_false-no-overflow.c error (1) 0 wit inspect .48 41 4.0 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .028 4.8 error (invalid witness file) 0 wit inspect .0043 .29 - wit inspect
termination-crafted/4NestedWith3Variables_false-no-overflow.c error (1) 0 wit inspect .50 40 4.5 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .0043 .26 - wit inspect
termination-crafted/Ackermann_false-no-overflow.c error (1) 0 wit inspect .49 40 4.2 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .046 4.9 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect
termination-crafted/Bangalore_false-no-overflow.c error (1) 0 wit inspect .47 40 4.4 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0011 .31 - wit inspect
termination-crafted/Bangalore_v3_false-no-overflow.c error (1) 0 wit inspect .47 40 4.5 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect
termination-crafted/Benghazi_nondet_false-no-overflow.c error (1) 0 wit inspect .47 41 4.4 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .0033 .34 - wit inspect
termination-crafted/Binary_Search_false-no-overflow.c error (1) 0 wit inspect .50 40 4.3 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .0047 .26 - wit inspect
termination-crafted/Cairo_nondet_false-no-overflow.c error (1) 0 wit inspect .47 40 4.2 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .0036 .29 - wit inspect
termination-crafted/Cairo_step2_false-no-overflow.c error (1) 0 wit inspect .49 41 4.4 error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .035 5.0 error (invalid witness file) 0 wit inspect .0012 .32 - wit inspect
termination-crafted/Collatz_unknown-termination_false-no-overflow.c error (1) 0 wit inspect .43 41 4.8 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .024 5.0 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect
termination-crafted/Copenhagen_disj_false-no-overflow.c error (1) 0 wit inspect .46 40 4.5 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0012 .32 - wit inspect
termination-crafted/Gothenburg_false-no-overflow.c error (1) 0 wit inspect .49 41 4.2 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect
termination-crafted/Gothenburg_v2_false-no-overflow.c error (1) 0 wit inspect .47 41 4.6 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .0011 .31 - wit inspect
termination-crafted/Hanoi_2vars_false-no-overflow.c error (1) 0 wit inspect .50 41 4.2 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect
termination-crafted/Hanoi_3vars_false-no-overflow.c error (1) 0 wit inspect .48 40 4.1 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect
termination-crafted/Hanoi_plus_false-no-overflow.c error (1) 0 wit inspect .46 40 3.8 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .048 5.0 error (invalid witness file) 0 wit inspect .0028 .34 - wit inspect
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c error (1) 0 wit inspect .49 43 4.7 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect
termination-crafted/Mysore_false-no-overflow.c error (1) 0 wit inspect .48 42 4.3 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .040 4.8 error (invalid witness file) 0 wit inspect .0047 .26 - wit inspect
termination-crafted/NestedRecursion_1a_false-no-overflow.c error (1) 0 wit inspect .48 40 4.8 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect
termination-crafted/NestedRecursion_2a_false-no-overflow.c error (1) 0 wit inspect .49 43 4.6 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect
termination-crafted/NonTermination1_false-no-overflow.c error (1) 0 wit inspect .50 43 4.5 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect
termination-crafted/NonTermination2_false-no-overflow.c error (1) 0 wit inspect .52 43 4.4 error (invalid witness file) 0 wit inspect .57 46 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect
termination-crafted/NonTermination4_false-no-overflow.c error (1) 0 wit inspect .50 43 4.5 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .0031 .32 - wit inspect
termination-crafted/NonTerminationSimple2_false-no-overflow.c error (1) 0 wit inspect .45 40 4.0 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .0011 .32 - wit inspect
termination-crafted/NonTerminationSimple3_false-no-overflow.c error (1) 0 wit inspect .47 40 4.7 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .041 4.9 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect
termination-crafted/NonTerminationSimple4_false-no-overflow.c error (1) 0 wit inspect .49 41 4.0 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect
termination-crafted/NonTerminationSimple5_false-no-overflow.c error (1) 0 wit inspect .50 41 4.1 error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .049 4.9 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect
termination-crafted/NonTerminationSimple6_false-no-overflow.c error (1) 0 wit inspect .48 41 5.2 error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect
termination-crafted/NonTerminationSimple8_false-no-overflow.c error (1) 0 wit inspect .52 43 4.8 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .048 4.8 error (invalid witness file) 0 wit inspect .0028 .32 - wit inspect
termination-crafted/NonTerminationSimple9_false-no-overflow.c error (1) 0 wit inspect .51 40 3.8 error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .049 4.9 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect
termination-crafted/Pure2Phase_false-no-overflow.c error (1) 0 wit inspect .50 41 4.3 error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .0038 .33 - wit inspect
termination-crafted/Pure3Phase_false-no-overflow.c error (1) 0 wit inspect .45 41 4.2 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .0037 .34 - wit inspect
termination-crafted/RecursiveMultiplication_false-no-overflow.c error (1) 0 wit inspect .48 40 4.8 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .049 4.8 error (invalid witness file) 0 wit inspect .0045 .26 - wit inspect
termination-crafted/RecursiveNonterminating_false-no-overflow.c error (1) 0 wit inspect .49 41 4.2 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .037 4.9 error (invalid witness file) 0 wit inspect .0012 .27 - wit inspect
termination-crafted/Rotation180_false-no-overflow.c error (1) 0 wit inspect .48 42 4.1 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .049 5.0 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect
termination-crafted/Singapore_false-no-overflow.c error (1) 0 wit inspect .52 44 4.6 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .0011 .30 - wit inspect
termination-crafted/Singapore_plus_false-no-overflow.c error (1) 0 wit inspect .46 42 4.9 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0011 .30 - wit inspect
termination-crafted/Singapore_v1_false-no-overflow.c error (1) 0 wit inspect .47 40 4.8 error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .0037 .29 - wit inspect
termination-crafted/Singapore_v2_false-no-overflow.c error (1) 0 wit inspect .46 43 4.3 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .0037 .31 - wit inspect
termination-crafted/Stockholm_false-no-overflow.c error (1) 0 wit inspect .44 40 4.6 error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .037 5.0 error (invalid witness file) 0 wit inspect .0011 .32 - wit inspect
termination-crafted/Thun_false-no-overflow.c error (1) 0 wit inspect .47 43 4.5 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c error (1) 0 wit inspect .49 40 4.7 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .0044 .26 - wit inspect
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c error (1) 0 wit inspect .48 43 4.9 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .0030 .32 - wit inspect
termination-crafted/aaron2_false-no-overflow.c error (1) 0 wit inspect .50 41 4.7 error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect
termination-crafted/aaron3_false-no-overflow.c error (1) 0 wit inspect .47 41 4.1 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .036 4.8 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect
termination-crafted/easy2_false-no-overflow.c error (1) 0 wit inspect .48 42 4.2 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .027 4.9 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .50 40 4.4 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .49 41 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow_false-termination.c error (1) 0 wit inspect .48 41 4.8 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .47 43 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .47 41 4.4 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .067 4.8
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c error (1) 0 wit inspect .47 40 3.7 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .48 40 4.5 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.9
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .49 41 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c error (1) 0 wit inspect .47 41 4.1 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .021 4.8
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .50 40 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .45 41 4.6 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .48 41 4.6 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .025 4.8
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c error (1) 0 wit inspect .51 43 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.9
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .49 43 4.8 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c error (1) 0 wit inspect .48 40 4.1 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .044 4.8
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c error (1) 0 wit inspect .45 41 3.9 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .031 4.8
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .50 41 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .036 4.8
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .47 41 4.2 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .022 4.9
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .48 43 3.8 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .027 4.8
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c error (1) 0 wit inspect .46 41 4.8 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.8
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .48 40 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .051 4.8
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .47 40 4.2 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .45 40 4.0 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.8
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .50 43 5.0 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .021 4.9
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c error (1) 0 wit inspect .49 43 4.2 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.9
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .45 41 4.2 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
termination-crafted/NonTermination3_true-no-overflow_false-termination.c error (1) 0 wit inspect .46 41 4.2 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .017 4.9
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c error (1) 0 wit inspect .52 40 4.4 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .021 4.8
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .48 40 4.2 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .031 4.8
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .44 40 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.8
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .46 40 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c error (1) 0 wit inspect .46 40 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .046 4.9
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .42 40 4.4 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 5.0
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .49 43 4.2 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .044 4.8
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .47 41 4.5 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .046 4.9
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c error (1) 0 wit inspect .48 41 4.1 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .022 4.9
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .46 40 3.6 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .043 4.8
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c error (1) 0 wit inspect .50 42 4.4 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c error (1) 0 wit inspect .49 40 4.0 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .050 4.8 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c error (1) 0 wit inspect .43 40 3.6 error (invalid witness file) 0 wit inspect .57 45 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .0040 .32 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c error (1) 0 wit inspect .48 40 4.3 error (invalid witness file) 0 wit inspect .61 45 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c error (1) 0 wit inspect .48 42 4.6 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .0043 .26 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c error (1) 0 wit inspect .48 41 4.0 error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c error (1) 0 wit inspect .48 41 4.8 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c error (1) 0 wit inspect .48 41 4.6 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c error (1) 0 wit inspect .44 40 3.8 error (invalid witness file) 0 wit inspect .54 46 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c error (1) 0 wit inspect .48 41 4.5 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c error (1) 0 wit inspect .49 41 4.7 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c error (1) 0 wit inspect .47 41 4.1 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c error (1) 0 wit inspect .45 41 3.9 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .039 4.8 error (invalid witness file) 0 wit inspect .0026 .26 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c error (1) 0 wit inspect .42 40 3.8 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c error (1) 0 wit inspect .45 41 4.0 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c error (1) 0 wit inspect .45 42 4.3 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .045 4.8 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c error (1) 0 wit inspect .45 40 4.1 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .049 4.8 error (invalid witness file) 0 wit inspect .0012 .31 - wit inspect
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c error (1) 0 wit inspect .46 41 4.0 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .026 4.9 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c error (1) 0 wit inspect .45 41 3.8 error (invalid witness file) 0 wit inspect .54 47 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .0052 .30 - wit inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c error (1) 0 wit inspect .49 40 5.1 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .044 4.8 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c error (1) 0 wit inspect .46 41 3.8 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .046 4.8 error (invalid witness file) 0 wit inspect .0034 .36 - wit inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c error (1) 0 wit inspect .47 40 4.6 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c error (1) 0 wit inspect .48 43 4.5 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c error (1) 0 wit inspect .50 42 4.4 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c error (1) 0 wit inspect .50 41 4.1 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .0012 .31 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c error (1) 0 wit inspect .46 40 3.9 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c error (1) 0 wit inspect .48 41 4.6 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c error (1) 0 wit inspect .46 40 4.4 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .0044 .26 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c error (1) 0 wit inspect .49 40 4.2 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c error (1) 0 wit inspect .48 43 5.0 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c error (1) 0 wit inspect .49 41 4.8 error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect .0026 .31 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c error (1) 0 wit inspect .50 44 4.4 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0036 .30 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c error (1) 0 wit inspect .44 40 3.9 error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .0039 .34 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c error (1) 0 wit inspect .51 43 4.8 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c error (1) 0 wit inspect .46 41 4.3 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c error (1) 0 wit inspect .46 41 4.6 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c error (1) 0 wit inspect .49 41 4.6 error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0042 .26 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c error (1) 0 wit inspect .48 41 4.8 error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .0049 .26 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c error (1) 0 wit inspect .44 40 4.5 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .0045 .26 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c error (1) 0 wit inspect .48 40 4.0 error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .0040 .26 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c error (1) 0 wit inspect .47 43 4.4 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .0046 .26 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c error (1) 0 wit inspect .50 43 4.3 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c error (1) 0 wit inspect .51 41 4.1 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c error (1) 0 wit inspect .44 40 3.5 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .0011 .31 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c error (1) 0 wit inspect .48 40 4.0 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c error (1) 0 wit inspect .47 41 4.4 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c error (1) 0 wit inspect .47 40 4.6 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c error (1) 0 wit inspect .48 42 4.0 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .026 4.8 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c error (1) 0 wit inspect .50 43 4.2 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .0041 .29 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c error (1) 0 wit inspect .50 43 3.7 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0012 .33 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c error (1) 0 wit inspect .51 41 4.3 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .026 4.9 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c error (1) 0 wit inspect .53 43 3.8 error (invalid witness file) 0 wit inspect .75 43 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect .0036 .31 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c error (1) 0 wit inspect .47 43 4.2 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .049 4.8 error (invalid witness file) 0 wit inspect .0043 .26 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c error (1) 0 wit inspect .49 40 4.5 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .047 5.0 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c error (1) 0 wit inspect .49 41 4.5 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c error (1) 0 wit inspect .47 40 3.8 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .038 4.9 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c error (1) 0 wit inspect .45 41 4.2 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c error (1) 0 wit inspect .46 40 4.4 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .0011 .32 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c error (1) 0 wit inspect .47 41 4.2 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .017 5.0 error (invalid witness file) 0 wit inspect .0013 .31 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c error (1) 0 wit inspect .45 40 4.1 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c error (1) 0 wit inspect .48 40 4.5 error (invalid witness file) 0 wit inspect .59 45 error (2) 0 wit inspect .034 4.8 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c error (1) 0 wit inspect .47 41 4.5 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .039 4.8 error (invalid witness file) 0 wit inspect .0036 .34 - wit inspect
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c error (1) 0 wit inspect .47 42 3.9 error (invalid witness file) 0 wit inspect .61 44 error (2) 0 wit inspect .047 4.8 error (invalid witness file) 0 wit inspect .0014 .34 - wit inspect
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c error (1) 0 wit inspect .49 41 4.1 error (invalid witness file) 0 wit inspect .61 44 error (2) 0 wit inspect .047 4.9 error (invalid witness file) 0 wit inspect .0025 .29 - wit inspect
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c error (1) 0 wit inspect .45 41 4.0 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .0051 .29 - wit inspect
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c error (1) 0 wit inspect .48 41 3.9 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0033 .34 - wit inspect
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c error (1) 0 wit inspect .45 40 5.0 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .0035 .31 - wit inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c error (1) 0 wit inspect .50 41 4.0 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c error (1) 0 wit inspect .57 43 5.1 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .0012 .31 - wit inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c error (1) 0 wit inspect .47 40 4.5 error (invalid witness file) 0 wit inspect .60 46 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0041 .30 - wit inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c error (1) 0 wit inspect .48 40 4.7 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c error (1) 0 wit inspect .47 40 4.3 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .026 4.9 error (invalid witness file) 0 wit inspect .0039 .31 - wit inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c error (1) 0 wit inspect .47 40 3.9 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .048 4.9 error (invalid witness file) 0 wit inspect .0012 .33 - wit inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c error (1) 0 wit inspect .49 41 4.5 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .049 4.9 error (invalid witness file) 0 wit inspect .0035 .26 - wit inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c error (1) 0 wit inspect .45 40 4.6 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c error (1) 0 wit inspect .49 41 4.6 error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c error (1) 0 wit inspect .48 40 4.5 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .038 4.9 error (invalid witness file) 0 wit inspect .0011 .32 - wit inspect
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c error (1) 0 wit inspect .49 43 4.2 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c error (1) 0 wit inspect .49 43 4.7 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .050 4.8 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c error (1) 0 wit inspect .49 41 4.6 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .038 4.9 error (invalid witness file) 0 wit inspect .0044 .30 - wit inspect
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c error (1) 0 wit inspect .48 41 4.2 error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .0036 .31 - wit inspect
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c error (1) 0 wit inspect .51 41 4.6 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .0014 .28 - wit inspect
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c error (1) 0 wit inspect .47 41 4.9 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .042 4.8 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c error (1) 0 wit inspect .46 40 4.5 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .0044 .28 - wit inspect
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c error (1) 0 wit inspect .48 43 4.9 error (invalid witness file) 0 wit inspect .57 45 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c error (1) 0 wit inspect .46 40 4.1 error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c error (1) 0 wit inspect .47 40 4.5 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .037 5.0 error (invalid witness file) 0 wit inspect .0040 .26 - wit inspect
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c error (1) 0 wit inspect .48 40 4.5 error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .046 4.9 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c error (1) 0 wit inspect .47 40 4.1 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c error (1) 0 wit inspect .50 42 4.4 error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect
termination-crafted-lit/cstrncmp_false-no-overflow.c error (1) 0 wit inspect .48 41 3.9 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .0036 .34 - wit inspect
termination-crafted-lit/gcd1_false-no-overflow.c error (1) 0 wit inspect .48 41 4.2 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .0013 .31 - wit inspect
termination-crafted-lit/joey_false-no-overflow.c error (1) 0 wit inspect .48 43 5.1 error (invalid witness file) 0 wit inspect .77 44 error (2) 0 wit inspect .042 4.9 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect
termination-crafted-lit/min_rf_false-no-overflow.c error (1) 0 wit inspect .43 40 4.4 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .042 4.8 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c error (1) 0 wit inspect .46 40 3.8 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c error (1) 0 wit inspect .48 41 4.9 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c error (1) 0 wit inspect .48 41 4.2 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c error (1) 0 wit inspect .46 41 4.5 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c error (1) 0 wit inspect .48 41 4.0 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .041 4.9
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c error (1) 0 wit inspect .48 43 3.7 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c error (1) 0 wit inspect .50 41 3.9 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c error (1) 0 wit inspect .47 43 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.9
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c error (1) 0 wit inspect .46 41 4.4 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .047 5.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c error (1) 0 wit inspect .45 40 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 5.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c error (1) 0 wit inspect .47 41 4.0 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 5.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c error (1) 0 wit inspect .46 43 4.2 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c error (1) 0 wit inspect .48 43 3.6 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c error (1) 0 wit inspect .50 44 4.5 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c error (1) 0 wit inspect .47 40 4.5 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 5.0
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c error (1) 0 wit inspect .48 40 4.4 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c error (1) 0 wit inspect .47 40 4.0 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 5.0
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c error (1) 0 wit inspect .49 40 4.4 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .039 4.9
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c error (1) 0 wit inspect .46 40 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c error (1) 0 wit inspect .48 43 5.0 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c error (1) 0 wit inspect .45 40 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .067 4.9
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c error (1) 0 wit inspect .49 41 4.0 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c error (1) 0 wit inspect .48 41 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .029 4.9
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c error (1) 0 wit inspect .46 43 4.2 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c error (1) 0 wit inspect .49 43 4.4 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 5.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c error (1) 0 wit inspect .48 42 4.7 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c error (1) 0 wit inspect .48 41 4.8 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .035 4.9
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c error (1) 0 wit inspect .45 40 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c error (1) 0 wit inspect .46 42 4.7 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .021 4.8
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c error (1) 0 wit inspect .47 41 4.7 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c error (1) 0 wit inspect .46 41 4.5 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .039 5.0
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c error (1) 0 wit inspect .48 43 4.7 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c error (1) 0 wit inspect .48 41 4.4 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .027 4.9
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c error (1) 0 wit inspect .47 40 4.1 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c error (1) 0 wit inspect .50 42 4.8 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c error (1) 0 wit inspect .45 40 4.0 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c error (1) 0 wit inspect .51 41 4.5 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .031 4.9
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c error (1) 0 wit inspect .49 40 4.4 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c error (1) 0 wit inspect .47 41 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .040 5.0
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c error (1) 0 wit inspect .45 41 4.1 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.8
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c error (1) 0 wit inspect .47 41 4.6 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .066 4.9
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c error (1) 0 wit inspect .47 43 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .048 4.9
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c error (1) 0 wit inspect .48 40 4.7 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .047 4.9
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c error (1) 0 wit inspect .48 43 4.7 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .023 4.8
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c error (1) 0 wit inspect .49 40 4.0 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .036 4.9
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c error (1) 0 wit inspect .47 41 4.4 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c error (1) 0 wit inspect .46 40 4.4 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .037 4.8
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c error (1) 0 wit inspect .47 41 4.1 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.9
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c error (1) 0 wit inspect .49 41 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .045 5.0
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c error (1) 0 wit inspect .48 43 4.4 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.8
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c error (1) 0 wit inspect .49 43 4.4 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .050 4.9
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c error (1) 0 wit inspect .44 41 4.1 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 5.0
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c error (1) 0 wit inspect .50 40 4.7 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .049 4.9
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c error (1) 0 wit inspect .48 41 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .022 4.9
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c error (1) 0 wit inspect .45 40 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .028 4.9
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c error (1) 0 wit inspect .47 41 4.1 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c error (1) 0 wit inspect .43 40 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .048 4.8
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c error (1) 0 wit inspect .48 41 4.8 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .017 5.0
termination-crafted-lit/aviad_true-termination_true-no-overflow.c error (1) 0 wit inspect .52 42 4.1 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .037 4.8
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c error (1) 0 wit inspect .45 40 4.0 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c error (1) 0 wit inspect .48 40 4.2 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c error (1) 0 wit inspect .48 43 4.7 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .025 4.9
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c error (1) 0 wit inspect .48 40 4.1 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .021 4.8
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c error (1) 0 wit inspect .48 41 3.8 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted-lit/genady_true-termination_true-no-overflow.c error (1) 0 wit inspect .48 40 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted-lit/strchr_true-no-overflow_true-termination.c error (1) 0 wit inspect .46 41 4.6 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-numeric/Addition01_false-no-overflow.c error (1) 0 wit inspect .48 40 4.7 error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .045 4.8 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect
termination-numeric/Avg_true_false-no-overflow.c error (1) 0 wit inspect .47 40 4.2 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect
termination-numeric/Binomial_true-termination_false-no-overflow.c error (1) 0 wit inspect .48 40 4.7 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .049 4.8 error (invalid witness file) 0 wit inspect .0042 .28 - wit inspect
termination-numeric/Et1_true_false-no-overflow.c error (1) 0 wit inspect .48 40 4.6 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .017 4.9 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect
termination-numeric/Et2_true_false-no-overflow.c error (1) 0 wit inspect .49 41 4.2 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .0010 .34 - wit inspect
termination-numeric/Et3_true_false-no-overflow.c error (1) 0 wit inspect .45 43 4.5 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect
termination-numeric/Et4_true_false-no-overflow.c error (1) 0 wit inspect .48 41 3.9 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .041 4.9 error (invalid witness file) 0 wit inspect .0036 .28 - wit inspect
termination-numeric/MultCommutative_false-no-overflow.c error (1) 0 wit inspect .48 40 4.8 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c error (1) 0 wit inspect .46 41 4.5 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect
termination-numeric/Ackermann01_true-termination_true-no-overflow.c error (1) 0 wit inspect .48 40 4.6 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .044 4.8
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c error (1) 0 wit inspect .49 41 4.5 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .037 4.8
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c error (1) 0 wit inspect .50 42 4.7 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c error (1) 0 wit inspect .49 42 4.8 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-numeric/LogRecursive_true-termination_true-no-overflow.c error (1) 0 wit inspect .47 41 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-numeric/Parts_true-termination_true-no-overflow.c error (1) 0 wit inspect .46 40 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-numeric/TwoWay_true-termination_true-no-overflow.c error (1) 0 wit inspect .51 41 4.8 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .017 5.0
termination-numeric/gcd01_true-termination_true-no-overflow.c error (1) 0 wit inspect .46 40 4.1 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c error (1) 0 wit inspect .50 42 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .017 4.9
termination-numeric/recHanoi02_true-termination_true-no-overflow.c error (1) 0 wit inspect .49 43 5.1 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-numeric/rec_counter1_true-termination_true-no-overflow.c error (1) 0 wit inspect .46 41 4.0 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .050 4.8
termination-numeric/rec_counter3_true-termination_true-no-overflow.c error (1) 0 wit inspect .46 40 3.8 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .017 4.8
termination-numeric/twisted_true-termination_true-no-overflow.c error (1) 0 wit inspect .47 41 4.3 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .034 5.0
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
total 280 0 130 11000 1200 158 0 88 6800 158 0 4.1 770 158 0 .34 46 122 0 3.2 590
    correct results 0 0 0 0 0
        correct true 0 0 0 0 0
        correct false 0 0 0 0 0
    incorrect results 0 0 0 0 0
        incorrect true 0 0 0 0 0
        incorrect false 0 0 0 0 0
score (280 tasks, max score: 402) 0 0 0 0 0
Run set cpa-bam-bnb.sv-comp18.NoOverflows-BitVectors cpa-seq-validate-violation-witnesses-cpa-bam-bnb.sv-comp18-violation-witness.NoOverflows-BitVectors uautomizer-validate-violation-witnesses-cpa-bam-bnb.sv-comp18-violation-witness.NoOverflows-BitVectors fshell-witness2test-validate-violation-witnesses-cpa-bam-bnb.sv-comp18-violation-witness.NoOverflows-BitVectors uautomizer-validate-correctness-witnesses-cpa-bam-bnb.sv-comp18-correctness-witness.NoOverflows-BitVectors