Tool CPAchecker 1.6.1-svn 26758M 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* [apollon042; apollon077; apollon078] [apollon019; apollon077; apollon078; apollon112] [apollon077; apollon078; apollon112]
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] CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [4; 8], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33554 MB; 33553 MB]
Date of execution 2017-12-01 08:51:01 CET 2017-12-01 09:22:15 CET 2017-12-01 09:24:12 CET 2017-12-01 09:24:48 CET 2017-12-01 09:23:17 CET
Run set cpa-bam-slicing.sv-comp18.NoOverflows-BitVectors cpa-seq-validate-violation-witnesses-cpa-bam-slicing.sv-comp18-violation-witness.NoOverflows-BitVectors uautomizer-validate-violation-witnesses-cpa-bam-slicing.sv-comp18-violation-witness.NoOverflows-BitVectors fshell-witness2test-validate-violation-witnesses-cpa-bam-slicing.sv-comp18-violation-witness.NoOverflows-BitVectors uautomizer-validate-correctness-witnesses-cpa-bam-slicing.sv-comp18-correctness-witness.NoOverflows-BitVectors
Options -ldv-bam-svcomp -disable-java-assertions -heap 10000m -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-bam-slicing.2017-12-01_0851.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-slicing.2017-12-01_0851.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/cpa-bam-slicing.2017-12-01_0851.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/cpa-bam-slicing.2017-12-01_0851.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 0 .43 40 4.6 0 .56 43 0 .050 5.0 0 .0036 .35 -
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i 0 .44 40 4.1 0 .44 43 0 .031 5.0 0 .0038 .28 -
signedintegeroverflow-regression/Division_false-no-overflow.c.i 0 .48 40 5.0 0 .41 41 0 .040 4.9 0 .0018 .29 -
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i 0 .45 40 4.4 0 .42 41 0 .025 4.8 0 .0037 .34 -
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i 0 .43 40 3.8 0 .44 41 0 .034 4.8 0 .0037 .26 -
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i 0 .44 41 3.9 0 .42 43 0 .040 4.9 0 .0039 .29 -
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i 0 .47 40 4.1 0 .44 41 0 .024 4.9 0 .0014 .29 -
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i 0 .46 40 4.3 0 .41 44 0 .018 4.8 0 .0035 .35 -
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i 0 .46 40 4.0 0 .44 42 0 .050 4.9 0 .0037 .28 -
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i 0 .45 41 4.6 0 .44 41 0 .047 4.8 0 .0019 .34 -
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i 0 .41 40 4.0 - - - 0 .040 4.9
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i 0 .44 40 4.2 - - - 0 .024 4.8
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i 0 .45 40 4.1 - - - 0 .023 4.8
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i 0 .44 40 4.0 - - - 0 .026 5.0
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i 0 .47 41 4.0 - - - 0 .047 4.8
termination-crafted/2Nested_false-no-overflow.c 0 .44 40 4.7 0 .41 41 0 .050 4.9 0 .0036 .29 -
termination-crafted/4NestedWith3Variables_false-no-overflow.c 0 .46 41 4.9 0 .40 41 0 .021 4.8 0 .0041 .26 -
termination-crafted/Ackermann_false-no-overflow.c 0 .46 40 5.0 0 .43 43 0 .032 4.8 0 .0035 .26 -
termination-crafted/Bangalore_false-no-overflow.c 0 .45 40 3.9 0 .44 44 0 .048 4.8 0 .0042 .26 -
termination-crafted/Bangalore_v3_false-no-overflow.c 0 .43 40 3.8 0 .39 40 0 .038 4.9 0 .0034 .35 -
termination-crafted/Benghazi_nondet_false-no-overflow.c 0 .48 41 4.2 0 .40 43 0 .051 4.9 0 .0040 .29 -
termination-crafted/Binary_Search_false-no-overflow.c 0 .46 40 3.8 0 .42 43 0 .042 4.9 0 .0034 .26 -
termination-crafted/Cairo_nondet_false-no-overflow.c 0 .45 40 4.1 0 .44 44 0 .022 4.9 0 .0039 .29 -
termination-crafted/Cairo_step2_false-no-overflow.c 0 .45 38 4.0 0 .45 43 0 .048 4.9 0 .0035 .29 -
termination-crafted/Collatz_unknown-termination_false-no-overflow.c 0 .44 41 4.1 0 .42 43 0 .045 4.8 0 .0036 .30 -
termination-crafted/Copenhagen_disj_false-no-overflow.c 0 .48 40 4.7 0 .44 41 0 .023 4.8 0 .0039 .29 -
termination-crafted/Gothenburg_false-no-overflow.c 0 .45 38 3.9 0 .40 43 0 .048 4.9 0 .0037 .26 -
termination-crafted/Gothenburg_v2_false-no-overflow.c 0 .44 40 4.0 0 .44 43 0 .047 4.9 0 .0040 .26 -
termination-crafted/Hanoi_2vars_false-no-overflow.c 0 .46 40 4.0 0 .40 43 0 .035 4.9 0 .0040 .28 -
termination-crafted/Hanoi_3vars_false-no-overflow.c 0 .44 39 4.4 0 .43 43 0 .045 4.9 0 .0040 .26 -
termination-crafted/Hanoi_plus_false-no-overflow.c 0 .45 40 4.0 0 .43 44 0 .046 4.8 0 .0042 .26 -
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c 0 .43 40 3.4 0 .44 45 0 .018 4.8 0 .0044 .29 -
termination-crafted/Mysore_false-no-overflow.c 0 .47 40 4.1 0 .56 43 0 .034 4.9 0 .0015 .29 -
termination-crafted/NestedRecursion_1a_false-no-overflow.c 0 .45 40 4.2 0 .39 41 0 .047 4.9 0 .0038 .29 -
termination-crafted/NestedRecursion_2a_false-no-overflow.c 0 .43 40 4.4 0 .45 44 0 .023 4.8 0 .0032 .26 -
termination-crafted/NonTermination1_false-no-overflow.c 0 .45 38 4.1 0 .45 43 0 .025 4.8 0 .0027 .29 -
termination-crafted/NonTermination2_false-no-overflow.c 0 .46 40 4.3 0 .44 41 0 .024 4.9 0 .0041 .26 -
termination-crafted/NonTermination4_false-no-overflow.c 0 .45 40 4.4 0 .40 41 0 .023 4.8 0 .0041 .28 -
termination-crafted/NonTerminationSimple2_false-no-overflow.c 0 .45 40 4.5 0 .45 43 0 .024 5.0 0 .0041 .29 -
termination-crafted/NonTerminationSimple3_false-no-overflow.c 0 .47 40 3.7 0 .40 41 0 .048 4.8 0 .0037 .28 -
termination-crafted/NonTerminationSimple4_false-no-overflow.c 0 .45 40 3.8 0 .43 43 0 .019 4.9 0 .0038 .28 -
termination-crafted/NonTerminationSimple5_false-no-overflow.c 0 .44 40 4.2 0 .44 44 0 .020 4.9 0 .0041 .29 -
termination-crafted/NonTerminationSimple6_false-no-overflow.c 0 .41 38 3.8 0 .39 43 0 .033 4.9 0 .0020 .26 -
termination-crafted/NonTerminationSimple8_false-no-overflow.c 0 .45 41 4.4 0 .43 43 0 .046 4.9 0 .0042 .28 -
termination-crafted/NonTerminationSimple9_false-no-overflow.c 0 .47 41 3.9 0 .45 43 0 .048 4.9 0 .0041 .26 -
termination-crafted/Pure2Phase_false-no-overflow.c 0 .41 40 4.3 0 .39 41 0 .024 5.0 0 .0036 .32 -
termination-crafted/Pure3Phase_false-no-overflow.c 0 .50 40 4.5 0 .41 44 0 .050 4.8 0 .0027 .29 -
termination-crafted/RecursiveMultiplication_false-no-overflow.c 0 .46 40 4.3 0 .44 41 0 .046 5.0 0 .0042 .28 -
termination-crafted/RecursiveNonterminating_false-no-overflow.c 0 .41 40 3.4 0 .43 41 0 .023 4.9 0 .0037 .30 -
termination-crafted/Rotation180_false-no-overflow.c 0 .46 40 4.1 0 .45 41 0 .031 4.9 0 .0035 .26 -
termination-crafted/Singapore_false-no-overflow.c 0 .42 40 4.3 0 .44 43 0 .025 5.0 0 .0013 .27 -
termination-crafted/Singapore_plus_false-no-overflow.c 0 .44 40 4.2 0 .44 41 0 .050 4.9 0 .0038 .28 -
termination-crafted/Singapore_v1_false-no-overflow.c 0 .44 40 4.1 0 .43 43 0 .021 4.9 0 .0040 .26 -
termination-crafted/Singapore_v2_false-no-overflow.c 0 .43 40 4.6 0 .42 43 0 .019 4.9 0 .0036 .29 -
termination-crafted/Stockholm_false-no-overflow.c 0 .47 40 4.0 0 .44 43 0 .026 4.9 0 .0037 .33 -
termination-crafted/Thun_false-no-overflow.c 0 .44 40 3.9 0 .39 43 0 .021 4.9 0 .0017 .26 -
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c 0 .42 40 4.3 0 .43 43 0 .037 4.9 0 .0036 .26 -
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c 0 .46 40 4.0 0 .41 42 0 .047 4.8 0 .0035 .28 -
termination-crafted/aaron2_false-no-overflow.c 0 .43 40 3.9 0 .44 41 0 .051 4.9 0 .0014 .26 -
termination-crafted/aaron3_false-no-overflow.c 0 .48 40 4.6 0 .43 45 0 .034 4.9 0 .0035 .35 -
termination-crafted/easy2_false-no-overflow.c 0 .43 40 4.3 0 .43 43 0 .043 4.8 0 .0040 .28 -
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c 0 .44 40 3.9 - - - 0 .050 4.8
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c 0 .43 40 4.1 - - - 0 .026 5.0
termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow_false-termination.c 0 .42 40 4.2 - - - 0 .033 5.0
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c 0 .46 40 4.1 - - - 0 .038 4.9
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c 0 .47 40 4.2 - - - 0 .045 4.8
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c 0 .45 38 3.6 - - - 0 .047 4.8
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c 0 .45 40 4.8 - - - 0 .022 4.8
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c 0 .44 40 3.8 - - - 0 .026 4.8
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c 0 .45 41 4.0 - - - 0 .047 5.0
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c 0 .47 41 4.4 - - - 0 .027 5.0
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c 0 .44 40 4.5 - - - 0 .050 4.8
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c 0 .43 38 3.7 - - - 0 .024 4.8
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c 0 .45 40 4.0 - - - 0 .048 4.9
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c 0 .46 40 3.8 - - - 0 .043 4.9
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c 0 .44 40 4.2 - - - 0 .050 4.8
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c 0 .44 40 4.5 - - - 0 .047 5.0
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c 0 .45 40 3.8 - - - 0 .034 4.8
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c 0 .42 40 4.4 - - - 0 .046 5.0
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c 0 .46 40 4.0 - - - 0 .026 4.9
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c 0 .47 40 4.2 - - - 0 .025 4.8
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 0 .44 40 4.8 - - - 0 .020 5.0
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 0 .45 40 4.6 - - - 0 .047 5.0
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c 0 .41 40 4.8 - - - 0 .047 4.8
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c 0 .41 40 3.7 - - - 0 .037 4.9
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c 0 .47 40 4.6 - - - 0 .024 4.8
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c 0 .44 40 4.3 - - - 0 .023 4.8
termination-crafted/NonTermination3_true-no-overflow_false-termination.c 0 .45 41 3.9 - - - 0 .048 4.8
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c 0 .44 40 4.3 - - - 0 .038 4.9
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c 0 .44 41 3.9 - - - 0 .050 4.9
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c 0 .44 40 4.8 - - - 0 .047 4.9
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c 0 .45 40 3.8 - - - 0 .048 4.8
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c 0 .43 40 4.5 - - - 0 .046 4.9
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c 0 .45 40 4.1 - - - 0 .029 5.0
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c 0 .43 40 3.7 - - - 0 .047 4.9
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c 0 .46 40 4.2 - - - 0 .018 4.8
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c 0 .44 40 3.6 - - - 0 .047 4.8
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c 0 .46 40 4.4 - - - 0 .020 4.9
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c 0 .43 41 4.0 - - - 0 .047 4.9
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c 0 .44 41 4.0 0 .40 41 0 .018 5.0 0 .0038 .29 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c 0 .44 41 4.6 0 .39 43 0 .050 4.8 0 .0042 .26 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c 0 .44 41 4.1 0 .40 43 0 .036 4.9 0 .0041 .29 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c 0 .42 41 4.2 0 .42 41 0 .045 4.8 0 .0024 .29 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c 0 .46 40 3.7 0 .43 43 0 .023 4.9 0 .0016 .26 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c 0 .45 42 4.6 0 .43 41 0 .023 5.0 0 .0016 .31 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c 0 .44 41 4.5 0 .41 43 0 .021 4.8 0 .0035 .35 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c 0 .45 40 3.8 0 .43 42 0 .050 4.9 0 .0053 .29 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c 0 .42 40 3.5 0 .44 42 0 .022 4.8 0 .0036 .26 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c 0 .44 40 3.7 0 .41 42 0 .050 4.9 0 .0038 .29 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c 0 .46 40 4.5 0 .46 44 0 .047 4.9 0 .0035 .34 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c 0 .45 41 4.2 0 .41 43 0 .049 4.8 0 .0041 .27 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c 0 .46 41 4.1 0 .44 41 0 .033 4.9 0 .0044 .26 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c 0 .45 40 3.8 0 .56 44 0 .023 4.8 0 .0037 .26 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c 0 .46 40 4.2 0 .41 43 0 .046 4.9 0 .0040 .29 -
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c 0 .42 40 4.2 0 .41 44 0 .022 4.8 0 .0041 .26 -
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c 0 .45 40 4.2 0 .43 44 0 .023 4.9 0 .0016 .26 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c 0 .45 40 3.8 0 .46 44 0 .021 4.9 0 .0038 .29 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c 0 .43 40 4.6 0 .44 41 0 .048 4.8 0 .0040 .26 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c 0 .41 40 3.7 0 .44 44 0 .021 4.9 0 .0013 .26 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c 0 .47 41 4.1 0 .42 43 0 .024 4.8 0 .0040 .29 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c 0 .44 40 3.8 0 .43 41 0 .021 4.9 0 .0039 .26 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c 0 .44 40 3.8 0 .42 41 0 .023 4.8 0 .0039 .26 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c 0 .45 40 4.6 0 .43 41 0 .047 4.8 0 .0037 .28 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c 0 .43 40 4.8 0 .44 43 0 .023 4.9 0 .0025 .34 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c 0 .45 41 3.8 0 .43 42 0 .024 4.9 0 .0037 .28 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c 0 .40 40 4.4 0 .43 41 0 .050 4.8 0 .0025 .29 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c 0 .45 40 4.0 0 .42 43 0 .020 4.8 0 .0042 .28 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c 0 .42 40 3.9 0 .40 41 0 .028 4.8 0 .0037 .28 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c 0 .47 41 3.9 0 .45 41 0 .045 4.9 0 .0037 .28 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c 0 .45 40 4.0 0 .40 45 0 .051 4.8 0 .0041 .28 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c 0 .47 40 4.2 0 .57 43 0 .042 4.8 0 .0041 .34 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c 0 .42 40 4.1 0 .44 43 0 .052 4.8 0 .0042 .26 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c 0 .41 39 4.3 0 .40 40 0 .024 4.8 0 .0039 .26 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c 0 .49 41 3.9 0 .39 41 0 .044 4.8 0 .0039 .28 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c 0 .46 40 4.2 0 .44 44 0 .023 5.0 0 .0017 .26 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c 0 .45 40 4.2 0 .43 44 0 .048 4.8 0 .0039 .26 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c 0 .44 41 5.1 0 .57 43 0 .046 4.9 0 .0037 .35 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c 0 .42 40 3.9 0 .39 41 0 .024 4.8 0 .0037 .34 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c 0 .43 40 4.0 0 .43 43 0 .023 4.8 0 .0038 .29 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c 0 .44 40 4.3 0 .44 41 0 .025 4.9 0 .0036 .28 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c 0 .43 40 4.4 0 .39 41 0 .047 5.0 0 .0036 .29 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c 0 .46 41 4.0 0 .41 41 0 .024 5.0 0 .0042 .26 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c 0 .45 40 4.3 0 .43 43 0 .048 4.9 0 .0041 .29 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c 0 .43 40 4.1 0 .43 42 0 .050 4.9 0 .0035 .26 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c 0 .42 40 4.6 0 .42 41 0 .025 4.8 0 .0014 .26 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c 0 .42 40 4.0 0 .43 43 0 .044 4.8 0 .0032 .26 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c 0 .47 40 4.1 0 .44 43 0 .047 4.8 0 .0035 .27 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c 0 .44 40 3.7 0 .44 43 0 .048 4.9 0 .0033 .28 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c 0 .44 40 4.1 0 .43 43 0 .049 4.9 0 .0035 .26 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c 0 .43 40 3.8 0 .43 43 0 .048 4.8 0 .0038 .26 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c 0 .44 40 3.8 0 .41 43 0 .039 4.9 0 .0037 .31 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c 0 .46 42 4.3 0 .44 44 0 .024 4.9 0 .0049 .29 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c 0 .49 41 4.0 0 .43 44 0 .032 4.8 0 .0047 .26 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c 0 .44 40 4.6 0 .41 44 0 .050 4.8 0 .0022 .26 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c 0 .43 38 3.6 0 .44 41 0 .046 5.0 0 .0034 .28 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c 0 .43 40 3.8 0 .39 44 0 .030 4.9 0 .0041 .26 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c 0 .44 41 4.1 0 .43 41 0 .022 4.8 0 .0042 .28 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c 0 .46 40 4.2 0 .44 41 0 .047 5.0 0 .0023 .26 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c 0 .44 40 4.7 0 .40 43 0 .022 4.8 0 .0040 .26 -
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c 0 .45 40 4.1 0 .45 43 0 .025 4.8 0 .0037 .26 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c 0 .41 40 4.0 0 .45 43 0 .036 4.8 0 .0020 .26 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c 0 .44 40 4.3 0 .44 43 0 .051 4.8 0 .0040 .29 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c 0 .46 40 4.1 0 .42 41 0 .023 4.9 0 .0041 .26 -
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c 0 .46 40 4.1 0 .43 42 0 .028 4.9 0 .0038 .28 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c 0 .43 40 4.2 0 .44 41 0 .024 4.8 0 .0036 .28 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c 0 .47 41 4.0 0 .41 42 0 .024 4.9 0 .0017 .29 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c 0 .44 40 3.9 0 .39 43 0 .020 4.9 0 .0036 .27 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c 0 .45 40 4.6 0 .41 43 0 .026 4.8 0 .0040 .34 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c 0 .45 40 4.5 0 .43 41 0 .047 4.8 0 .0045 .29 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c 0 .42 40 3.4 0 .39 41 0 .045 4.9 0 .0039 .27 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c 0 .44 41 4.3 0 .43 43 0 .021 4.8 0 .0037 .34 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c 0 .48 38 3.4 0 .43 44 0 .033 4.9 0 .0037 .26 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c 0 .45 40 4.5 0 .59 43 0 .045 5.0 0 .0041 .28 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c 0 .45 41 4.2 0 .44 44 0 .047 5.0 0 .0037 .26 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c 0 .52 40 3.9 0 .40 41 0 .027 5.0 0 .0042 .26 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c 0 .41 40 4.1 0 .40 41 0 .049 4.8 0 .0040 .29 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c 0 .48 40 4.1 0 .40 43 0 .047 4.8 0 .0039 .28 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c 0 .43 40 3.8 0 .44 42 0 .038 4.9 0 .0041 .30 -
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c 0 .44 40 4.0 0 .44 41 0 .045 4.8 0 .0036 .28 -
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c 0 .44 40 3.9 0 .40 41 0 .021 4.9 0 .0039 .26 -
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c 0 .43 40 4.4 0 .42 43 0 .044 4.9 0 .0040 .26 -
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c 0 .44 40 4.3 0 .43 41 0 .046 4.8 0 .0012 .28 -
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c 0 .44 40 4.6 0 .43 41 0 .046 5.0 0 .0037 .27 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c 0 .41 40 4.1 0 .44 43 0 .023 4.8 0 .0037 .26 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c 0 .43 40 3.6 0 .43 41 0 .044 4.8 0 .0043 .29 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c 0 .44 37 4.1 0 .45 44 0 .022 4.8 0 .0041 .30 -
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c 0 .45 40 4.0 0 .44 41 0 .024 4.8