Tool skink CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CPA-witness2test 1.6.1-svn 26773 CProver witness2test 0.1 CPAchecker 1.6.1-svn 26773 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] CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [4; 8], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33554 MB; 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, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33554 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 22:03:39 CET 2017-12-02 00:36:21 CET 2017-12-02 01:00:42 CET 2017-12-02 01:03:22 CET 2017-12-02 01:04:20 CET 2017-12-02 00:04:19 CET 2017-12-02 00:40:05 CET
Run set skink.[sv-comp18.ReachSafety-Arrays; sv-comp18.ReachSafety-BitVectors; sv-comp18.ReachSafety-ControlFlow; sv-comp18.ReachSafety-Floats; sv-comp18.ReachSafety-Heap; sv-comp18.ReachSafety-Loops; sv-comp18.ReachSafety-Recursive] cpa-seq-validate-violation-witnesses-skink.[sv-comp18-violation-witness.ReachSafety-Arrays; sv-comp18-violation-witness.ReachSafety-BitVectors; sv-comp18-violation-witness.ReachSafety-ControlFlow; sv-comp18-violation-witness.ReachSafety-Floats; sv-comp18-violation-witness.ReachSafety-Heap; sv-comp18-violation-witness.ReachSafety-Loops; sv-comp18-violation-witness.ReachSafety-Recursive] uautomizer-validate-violation-witnesses-skink.[sv-comp18-violation-witness.ReachSafety-Arrays; sv-comp18-violation-witness.ReachSafety-BitVectors; sv-comp18-violation-witness.ReachSafety-ControlFlow; sv-comp18-violation-witness.ReachSafety-Floats; sv-comp18-violation-witness.ReachSafety-Heap; sv-comp18-violation-witness.ReachSafety-Loops; sv-comp18-violation-witness.ReachSafety-Recursive] cpa-witness2test-validate-violation-witnesses-skink.[sv-comp18-violation-witness.ReachSafety-Arrays; sv-comp18-violation-witness.ReachSafety-BitVectors; sv-comp18-violation-witness.ReachSafety-ControlFlow; sv-comp18-violation-witness.ReachSafety-Floats; sv-comp18-violation-witness.ReachSafety-Heap; sv-comp18-violation-witness.ReachSafety-Loops; sv-comp18-violation-witness.ReachSafety-Recursive] fshell-witness2test-validate-violation-witnesses-skink.[sv-comp18-violation-witness.ReachSafety-Arrays; sv-comp18-violation-witness.ReachSafety-BitVectors; sv-comp18-violation-witness.ReachSafety-ControlFlow; sv-comp18-violation-witness.ReachSafety-Floats; sv-comp18-violation-witness.ReachSafety-Heap; sv-comp18-violation-witness.ReachSafety-Loops; sv-comp18-violation-witness.ReachSafety-Recursive] cpa-seq-validate-correctness-witnesses-skink.[sv-comp18-correctness-witness.ReachSafety-Arrays; sv-comp18-correctness-witness.ReachSafety-BitVectors; sv-comp18-correctness-witness.ReachSafety-ControlFlow; sv-comp18-correctness-witness.ReachSafety-Floats; sv-comp18-correctness-witness.ReachSafety-Heap; sv-comp18-correctness-witness.ReachSafety-Loops; sv-comp18-correctness-witness.ReachSafety-Recursive] uautomizer-validate-correctness-witnesses-skink.[sv-comp18-correctness-witness.ReachSafety-Arrays; sv-comp18-correctness-witness.ReachSafety-BitVectors; sv-comp18-correctness-witness.ReachSafety-ControlFlow; sv-comp18-correctness-witness.ReachSafety-Floats; sv-comp18-correctness-witness.ReachSafety-Heap; sv-comp18-correctness-witness.ReachSafety-Loops; sv-comp18-correctness-witness.ReachSafety-Recursive]
Options -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/skink.2017-12-01_2203.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/skink.2017-12-01_2203.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/skink.2017-12-01_2203.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true --graphml-witness ../../results-verified/skink.2017-12-01_2203.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/skink.2017-12-01_2203.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/skink.2017-12-01_2203.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml
/localhome/dbeyer/comp/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 status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i false(unreach-call) 1 wit inspect 6.0 330 56 timeout 0 wit inspect 94    2600 true -32 wit inspect 5.0   280   unknown 0 wit inspect 2.7  210 false(unreach-call) 1 wit inspect .70   18    - wit inspect - wit inspect
array-examples/sorting_bubblesort_false-unreach-call2_ground.i unknown 0 wit inspect 34   690 390 error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0010 .29 - wit inspect - wit inspect
array-examples/sorting_bubblesort_false-unreach-call_ground.i unknown 0 wit inspect 34   700 390 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
array-examples/sorting_selectionsort_false-unreach-call2_ground.i unknown 0 wit inspect 110   860 1200 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
array-examples/sorting_selectionsort_false-unreach-call_ground.i unknown 0 wit inspect 110   810 1200 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0041 .26 - wit inspect - wit inspect
array-examples/standard_allDiff2_false-unreach-call_ground.i false(unreach-call) 1 wit inspect 5.8 320 53 timeout 0 wit inspect 92    2000 true -32 wit inspect 3.9   270   unknown 0 wit inspect 2.0  210 false(unreach-call) 1 wit inspect 12      18    - wit inspect - wit inspect
array-examples/standard_copy1_false-unreach-call_ground.i unknown 0 wit inspect 43   710 460 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0010 .29 - wit inspect - wit inspect
array-examples/standard_copy2_false-unreach-call_ground.i unknown 0 wit inspect 5.7 320 52 error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
array-examples/standard_copy3_false-unreach-call_ground.i unknown 0 wit inspect 5.9 320 50 error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0033 .29 - wit inspect - wit inspect
array-examples/standard_copy4_false-unreach-call_ground.i unknown 0 wit inspect 6.0 320 54 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
array-examples/standard_copy5_false-unreach-call_ground.i unknown 0 wit inspect 5.7 320 50 error (invalid witness file) 0 wit inspect .68 42 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0036 .26 - wit inspect - wit inspect
array-examples/standard_copy6_false-unreach-call_ground.i unknown 0 wit inspect 6.1 320 52 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0035 .26 - wit inspect - wit inspect
array-examples/standard_copy7_false-unreach-call_ground.i unknown 0 wit inspect 5.5 300 46 error (invalid witness file) 0 wit inspect .71 46 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
array-examples/standard_copy8_false-unreach-call_ground.i unknown 0 wit inspect 5.8 320 46 error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0039 .29 - wit inspect - wit inspect
array-examples/standard_copy9_false-unreach-call_ground.i unknown 0 wit inspect 5.5 300 49 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
array-examples/standard_copyInitSum2_false-unreach-call_ground.i unknown 0 wit inspect 6.1 320 54 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .033 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0036 .28 - wit inspect - wit inspect
array-examples/standard_init1_false-unreach-call_ground.i unknown 0 wit inspect 40   720 460 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .021 5.0 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0041 .26 - wit inspect - wit inspect
array-examples/standard_init2_false-unreach-call_ground.i unknown 0 wit inspect 26   690 270 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0019 .28 - wit inspect - wit inspect
array-examples/standard_init3_false-unreach-call_ground.i unknown 0 wit inspect 22   720 200 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
array-examples/standard_init4_false-unreach-call_ground.i unknown 0 wit inspect 22   690 220 error (invalid witness file) 0 wit inspect .68 46 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .85 48 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect - wit inspect
array-examples/standard_init5_false-unreach-call_ground.i unknown 0 wit inspect 22   680 190 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .81 47 error (invalid witness file) 0 wit inspect .0030 .29 - wit inspect - wit inspect
array-examples/standard_init6_false-unreach-call_ground.i unknown 0 wit inspect 24   690 240 error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
array-examples/standard_init7_false-unreach-call_ground.i unknown 0 wit inspect 24   690 270 error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0035 .29 - wit inspect - wit inspect
array-examples/standard_init8_false-unreach-call_ground.i unknown 0 wit inspect 25   700 240 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0036 .29 - wit inspect - wit inspect
array-examples/standard_init9_false-unreach-call_ground.i unknown 0 wit inspect 26   690 240 error (invalid witness file) 0 wit inspect .67 45 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
array-examples/standard_minInArray_false-unreach-call_ground.i unknown 0 wit inspect 42   710 510 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0036 .26 - wit inspect - wit inspect
array-examples/standard_partition_false-unreach-call_ground.i unknown 0 wit inspect 26   680 240 error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .85 48 error (invalid witness file) 0 wit inspect .0038 .26 - wit inspect - wit inspect
array-examples/standard_running_false-unreach-call.i unknown 0 wit inspect 24   700 240 error (invalid witness file) 0 wit inspect .67 45 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0041 .26 - wit inspect - wit inspect
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i true 2 wit inspect 4.1 270 36 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    6100 true 2 wit inspect 7.1   270  
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i unknown 0 wit inspect 31   690 310 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .020 4.9
array-examples/relax_true-unreach-call.i unknown 0 wit inspect 8.1 410 67 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 42 error (2) 0 wit inspect .019 4.8
array-examples/sanfoundry_02_true-unreach-call_ground.i unknown 0 wit inspect 31   700 320 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .021 4.9
array-examples/sanfoundry_10_true-unreach-call_ground.i unknown 0 wit inspect 160   720 1700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 46 error (2) 0 wit inspect .019 4.9
array-examples/sanfoundry_24_true-unreach-call_true-termination.i true 2 wit inspect 4.5 270 44 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.4  490 true 2 wit inspect 7.9   260  
array-examples/sanfoundry_27_true-unreach-call_ground.i unknown 0 wit inspect 60   720 640 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .020 5.0
array-examples/sanfoundry_43_true-unreach-call_ground.i true 2 wit inspect 4.4 290 41 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.8  270 true 2 wit inspect 5.1   220  
array-examples/sorting_bubblesort_true-unreach-call_ground.i unknown 0 wit inspect 34   720 410 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 42 error (2) 0 wit inspect .024 5.0
array-examples/sorting_selectionsort_true-unreach-call_ground.i timeout 0 wit inspect 900   1700 8800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .019 4.9
array-examples/standard_compareModified_true-unreach-call_ground.i unknown 0 wit inspect 26   680 240 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .018 4.8
array-examples/standard_compare_true-unreach-call_ground.i unknown 0 wit inspect 45   710 470 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 45 error (2) 0 wit inspect .020 4.8
array-examples/standard_copy1_true-unreach-call_ground.i unknown 0 wit inspect 5.8 320 48 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .018 4.8
array-examples/standard_copy2_true-unreach-call_ground.i unknown 0 wit inspect 5.8 320 56 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .019 4.8
array-examples/standard_copy3_true-unreach-call_ground.i unknown 0 wit inspect 5.6 320 53 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9
array-examples/standard_copy4_true-unreach-call_ground.i unknown 0 wit inspect 5.8 320 47 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.8
array-examples/standard_copy5_true-unreach-call_ground.i unknown 0 wit inspect 5.6 320 53 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .020 4.8
array-examples/standard_copy6_true-unreach-call_ground.i unknown 0 wit inspect 6.4 400 50 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .019 4.8
array-examples/standard_copy7_true-unreach-call_ground.i unknown 0 wit inspect 5.7 320 51 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .025 5.0
array-examples/standard_copy8_true-unreach-call_ground.i unknown 0 wit inspect 5.3 310 45 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 42 error (2) 0 wit inspect .018 4.9
array-examples/standard_copy9_true-unreach-call_ground.i unknown 0 wit inspect 5.7 320 52 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .023 5.0
array-examples/standard_copyInitSum2_true-unreach-call_ground.i unknown 0 wit inspect 5.8 310 53 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .024 4.9
array-examples/standard_copyInitSum3_true-unreach-call_ground.i unknown 0 wit inspect 6.0 320 58 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .018 4.8
array-examples/standard_copyInitSum_true-unreach-call_ground.i unknown 0 wit inspect 5.9 310 56 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .022 4.9
array-examples/standard_copyInit_true-unreach-call_ground.i unknown 0 wit inspect 5.5 310 51 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .019 4.8
array-examples/standard_find_true-unreach-call_ground.i unknown 0 wit inspect 24   710 250 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 46 error (2) 0 wit inspect .021 4.9
array-examples/standard_init1_true-unreach-call_ground.i unknown 0 wit inspect 39   720 400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .019 4.8
array-examples/standard_init2_true-unreach-call_ground.i unknown 0 wit inspect 26   690 250 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .022 4.9
array-examples/standard_init3_true-unreach-call_ground.i unknown 0 wit inspect 21   710 190 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .023 4.9
array-examples/standard_init4_true-unreach-call_ground.i unknown 0 wit inspect 21   670 200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 4.9
array-examples/standard_init5_true-unreach-call_ground.i unknown 0 wit inspect 23   680 230 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .018 4.8
array-examples/standard_init6_true-unreach-call_ground.i unknown 0 wit inspect 23   680 230 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .019 4.9
array-examples/standard_init7_true-unreach-call_ground.i unknown 0 wit inspect 25   700 250 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 4.9
array-examples/standard_init8_true-unreach-call_ground.i unknown 0 wit inspect 24   680 230 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .025 5.0
array-examples/standard_init9_true-unreach-call_ground.i unknown 0 wit inspect 25   690 280 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .027 4.8
array-examples/standard_maxInArray_true-unreach-call_ground.i unknown 0 wit inspect 41   740 410 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .019 4.8
array-examples/standard_minInArray_true-unreach-call_ground.i unknown 0 wit inspect 42   730 440 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .73 42 error (2) 0 wit inspect .019 4.9
array-examples/standard_palindrome_true-unreach-call_ground.i unknown 0 wit inspect 45   710 530 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .50 43 error (2) 0 wit inspect .019 4.9
array-examples/standard_partial_init_true-unreach-call_ground.i unknown 0 wit inspect 34   720 410 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .019 4.8
array-examples/standard_partition_original_true-unreach-call_ground.i unknown 0 wit inspect 33   690 300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 42 error (2) 0 wit inspect .035 4.9
array-examples/standard_partition_true-unreach-call_ground.i unknown 0 wit inspect 69   710 830 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .46 44 error (2) 0 wit inspect .019 4.8
array-examples/standard_password_true-unreach-call_ground.i unknown 0 wit inspect 46   700 520 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .020 4.8
array-examples/standard_reverse_true-unreach-call_ground.i unknown 0 wit inspect 46   730 430 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .018 4.8
array-examples/standard_running_true-unreach-call.i unknown 0 wit inspect 29   710 290 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 42 error (2) 0 wit inspect .019 4.8
array-examples/standard_sentinel_true-unreach-call_true-termination.i true 2 wit inspect 25   700 240 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1000 true 2 wit inspect 11     330  
array-examples/standard_seq_init_true-unreach-call_ground.i unknown 0 wit inspect 40   700 450 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .50 43 error (2) 0 wit inspect .022 4.9
array-examples/standard_strcmp_true-unreach-call_ground.i unknown 0 wit inspect 240   710 3300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9
array-examples/standard_strcpy_original_true-unreach-call.i unknown 0 wit inspect 30   710 300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 42 error (2) 0 wit inspect .019 4.9
array-examples/standard_strcpy_true-unreach-call_ground.i unknown 0 wit inspect 26   690 230 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .018 4.8
array-examples/standard_two_index_01_true-unreach-call.i unknown 0 wit inspect 5.6 310 47 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .018 4.8
array-examples/standard_two_index_02_true-unreach-call.i unknown 0 wit inspect 32   720 310 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .019 4.9
array-examples/standard_two_index_03_true-unreach-call.i unknown 0 wit inspect 33   720 310 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .41 45 error (2) 0 wit inspect .017 4.9
array-examples/standard_two_index_04_true-unreach-call.i unknown 0 wit inspect 31   700 330 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .018 5.0
array-examples/standard_two_index_05_true-unreach-call.i unknown 0 wit inspect 33   730 340 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 42 error (2) 0 wit inspect .021 4.9
array-examples/standard_two_index_06_true-unreach-call.i unknown 0 wit inspect 32   780 320 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .018 4.9
array-examples/standard_two_index_07_true-unreach-call.i unknown 0 wit inspect 34   740 400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .019 4.8
array-examples/standard_two_index_08_true-unreach-call.i unknown 0 wit inspect 31   700 330 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .50 44 error (2) 0 wit inspect .022 5.0
array-examples/standard_two_index_09_true-unreach-call.i unknown 0 wit inspect 32   740 350 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .021 4.9
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i unknown 0 wit inspect 100   710 1400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .022 5.0
array-examples/standard_vector_difference_true-unreach-call_ground.i unknown 0 wit inspect 49   720 510 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .021 5.0
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i unknown 0 wit inspect 25   690 280 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .85 48 error (invalid witness file) 0 wit inspect .0032 .30 - wit inspect - wit inspect
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i unknown 0 wit inspect 5.0 290 42 error (invalid witness file) 0 wit inspect .70 45 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i unknown 0 wit inspect 150   730 1700 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
array-industry-pattern/array_range_init_false-unreach-call.i unknown 0 wit inspect 28   680 320 error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .034 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i unknown 0 wit inspect 41   710 420 error (invalid witness file) 0 wit inspect .66 42 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i unknown 0 wit inspect 54   700 590 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i unknown 0 wit inspect 350   700 3900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .023 4.9
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i unknown 0 wit inspect 28   700 300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .019 4.9
array-industry-pattern/array_of_struct_break_true-unreach-call.i unknown 0 wit inspect 5.4 330 42 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .022 4.8
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i unknown 0 wit inspect 5.3 300 49 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .025 4.8
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i unknown 0 wit inspect 5.7 310 51 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .019 4.8
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i unknown 0 wit inspect 5.5 310 49 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .020 4.8
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i unknown 0 wit inspect 5.9 330 48 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .41 45 error (2) 0 wit inspect .020 4.9
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i unknown 0 wit inspect 5.1 300 48 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .018 5.0
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i unknown 0 wit inspect 5.6 320 57 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .020 4.9
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i unknown 0 wit inspect 5.9 350 55 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .020 4.9
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i unknown 0 wit inspect 140   710 1600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .020 4.9
reducercommutativity/rangesum05_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 6.0 390 53 false(unreach-call) 1 wit inspect 6.1  360 true -32 wit inspect 4.9   230   unknown 0 wit inspect 2.1  210 false(unreach-call) 1 wit inspect .57   18    - wit inspect - wit inspect
reducercommutativity/rangesum10_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 6.5 410 56 timeout 0 wit inspect 91    610 true -32 wit inspect 3.6   240   unknown 0 wit inspect 2.0  210 false(unreach-call) 1 wit inspect .58   18    - wit inspect - wit inspect
reducercommutativity/rangesum20_false-unreach-call.i false(unreach-call) 1 wit inspect 7.0 430 68 timeout 0 wit inspect 91    630 true -32 wit inspect 3.5   230   unknown 0 wit inspect 2.0  210 false(unreach-call) 1 wit inspect .61   18    - wit inspect - wit inspect
reducercommutativity/rangesum40_false-unreach-call.i false(unreach-call) 1 wit inspect 21   620 200 timeout 0 wit inspect 91    800 true -32 wit inspect 3.6   230   unknown 0 wit inspect 2.0  190 false(unreach-call) 1 wit inspect .57   18    - wit inspect - wit inspect
reducercommutativity/rangesum60_false-unreach-call.i unknown 0 wit inspect 67   950 560 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .69 49 error (invalid witness file) 0 wit inspect .0032 .29 - wit inspect - wit inspect
reducercommutativity/rangesum_false-unreach-call_true-termination.i unknown 0 wit inspect 8.6 440 72 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .90 47 error (invalid witness file) 0 wit inspect .0010 .26 - wit inspect - wit inspect
reducercommutativity/avg05_true-unreach-call_true-termination.i true 2 wit inspect 16   840 140 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1500 timeout 0 wit inspect 960     4900  
reducercommutativity/avg10_true-unreach-call_true-termination.i true 2 wit inspect 17   690 170 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3500 timeout 0 wit inspect 960     6800  
reducercommutativity/avg20_true-unreach-call.i true 2 wit inspect 20   660 180 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5000 timeout 0 wit inspect 960     1700  
reducercommutativity/avg40_true-unreach-call.i true 2 wit inspect 23   900 240 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3700 timeout 0 wit inspect 960     4200  
reducercommutativity/avg60_true-unreach-call.i unknown 0 wit inspect 60   840 540 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .019 5.0
reducercommutativity/avg_true-unreach-call_true-termination.i unknown 0 wit inspect 26   710 230 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.8
reducercommutativity/max05_true-unreach-call_true-termination.i true 2 wit inspect 17   450 200 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 99    930 timeout 0 wit inspect 960     1400  
reducercommutativity/max10_true-unreach-call_true-termination.i true 2 wit inspect 18   450 200 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2800 timeout 0 wit inspect 960     3200  
reducercommutativity/max20_true-unreach-call.i true 2 wit inspect 22   560 230 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4300 timeout 0 wit inspect 960     4500  
reducercommutativity/max40_true-unreach-call.i unknown 0 wit inspect 47   740 520 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .45 43 error (2) 0 wit inspect .019 4.8
reducercommutativity/max60_true-unreach-call.i unknown 0 wit inspect 24   690 240 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .020 4.9
reducercommutativity/max_true-unreach-call_true-termination.i unknown 0 wit inspect 22   680 200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .48 44 error (2) 0 wit inspect .019 4.9
reducercommutativity/sep05_true-unreach-call_true-termination.i true 2 wit inspect 6.7 350 63 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 870    1600 timeout 0 wit inspect 960     1800  
reducercommutativity/sep10_true-unreach-call.i true 2 wit inspect 9.8 420 84 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1800 timeout 0 wit inspect 960     6500  
reducercommutativity/sep20_true-unreach-call.i unknown 0 wit inspect 37   800 410 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .025 4.9
reducercommutativity/sep40_true-unreach-call.i unknown 0 wit inspect 41   920 410 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .77 43 error (2) 0 wit inspect .018 4.9
reducercommutativity/sep60_true-unreach-call.i unknown 0 wit inspect 21   690 190 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9
reducercommutativity/sep_true-unreach-call_true-termination.i unknown 0 wit inspect 19   680 190 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .027 4.9
reducercommutativity/sum05_true-unreach-call_true-termination.i true 2 wit inspect 16   650 180 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    850 true 2 wit inspect 350     3500  
reducercommutativity/sum10_true-unreach-call_true-termination.i true 2 wit inspect 17   420 170 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2200 timeout 0 wit inspect 960     5400  
reducercommutativity/sum20_true-unreach-call.i true 2 wit inspect 17   450 210 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4600 timeout 0 wit inspect 960     4600  
reducercommutativity/sum40_true-unreach-call.i true 2 wit inspect 21   670 190 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2500 timeout 0 wit inspect 960     4400  
reducercommutativity/sum60_true-unreach-call.i unknown 0 wit inspect 25   720 240 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .019 4.9
reducercommutativity/sum_true-unreach-call_true-termination.i unknown 0 wit inspect 22   690 220 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.8
array-tiling/mlceu_false-unreach-call.i unknown 0 wit inspect 170   730 1900 error (invalid witness file) 0 wit inspect .68 46 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0019 .30 - wit inspect - wit inspect
array-tiling/skippedu_false-unreach-call.i unknown 0 wit inspect 200   720 2200 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0026 .26 - wit inspect - wit inspect
array-tiling/mbpr2_true-unreach-call.i unknown 0 wit inspect 57   730 640 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .024 4.9
array-tiling/mbpr3_true-unreach-call.i unknown 0 wit inspect 41   740 380 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .019 4.9
array-tiling/mbpr4_true-unreach-call.i unknown 0 wit inspect 34   850 350 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 44 error (2) 0 wit inspect .018 5.0
array-tiling/mbpr5_true-unreach-call.i unknown 0 wit inspect 42   750 450 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .022 4.9
array-tiling/nr2_true-unreach-call.i unknown 0 wit inspect 140   730 1700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .020 4.9
array-tiling/nr3_true-unreach-call.i unknown 0 wit inspect 160   840 1900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 41 error (2) 0 wit inspect .024 4.9
array-tiling/nr4_true-unreach-call.i unknown 0 wit inspect 170   750 1700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 42 error (2) 0 wit inspect .019 4.9
array-tiling/nr5_true-unreach-call.i unknown 0 wit inspect 180   760 2000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .020 4.8
array-tiling/pnr2_true-unreach-call.i unknown 0 wit inspect 26   720 250 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .020 4.9
array-tiling/pnr3_true-unreach-call.i unknown 0 wit inspect 28   720 280 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 42 error (2) 0 wit inspect .021 5.0
array-tiling/pnr4_true-unreach-call.i unknown 0 wit inspect 28   720 290 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .021 4.9
array-tiling/pnr5_true-unreach-call.i unknown 0 wit inspect 30   740 290 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .019 4.8
array-tiling/poly1_true-unreach-call.i true 2 wit inspect 120   1400 1100 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5200 timeout 0 wit inspect 960     930  
array-tiling/poly2_true-unreach-call.i unknown 0 wit inspect 220   1400 2400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 44 error (2) 0 wit inspect .019 4.9
array-tiling/pr2_true-unreach-call.i true 2 wit inspect 4.3 270 43 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2300 timeout 0 wit inspect 960     910  
array-tiling/pr3_true-unreach-call.i true 2 wit inspect 4.6 360 37 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2100 timeout 0 wit inspect 960     920  
array-tiling/pr4_true-unreach-call.i true 2 wit inspect 4.4 270 43 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2100 timeout 0 wit inspect 960     740  
array-tiling/pr5_true-unreach-call.i true 2 wit inspect 4.3 270 39 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1900 timeout 0 wit inspect 960     1200  
array-tiling/revcpyswp2_true-unreach-call.i unknown 0 wit inspect 41   750 410 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .025 4.8
array-tiling/rew_true-unreach-call.i unknown 0 wit inspect 6.8 340 55 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .45 43 error (2) 0 wit inspect .023 5.0
array-tiling/rewnif_true-unreach-call.i unknown 0 wit inspect 6.8 350 52 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .024 4.8
array-tiling/rewnifrev2_true-unreach-call.i unknown 0 wit inspect 160   720 2000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .49 43 error (2) 0 wit inspect .020 4.9
array-tiling/rewnifrev_true-unreach-call.i unknown 0 wit inspect 91   750 960 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .021 5.0
array-tiling/rewrev_true-unreach-call.i true 2 wit inspect 32   720 390 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2300 timeout 0 wit inspect 960     2500  
array-tiling/skipped_true-unreach-call.i unknown 0 wit inspect 190   720 2500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .46 43 error (2) 0 wit inspect .024 4.8
array-tiling/tcpy_true-unreach-call.i unknown 0 wit inspect 170   760 2200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .019 4.9
array-programs/copysome1_false-unreach-call.i unknown 0 wit inspect 31   690 300 error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .047 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
array-programs/copysome2_false-unreach-call.i unknown 0 wit inspect 6.5 330 56 error (invalid witness file) 0 wit inspect .71 42 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .66 50 error (invalid witness file) 0 wit inspect .0013 .30 - wit inspect - wit inspect
array-programs/copysome1_true-unreach-call.i unknown 0 wit inspect 31   690 350 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .020 4.9
array-programs/copysome2_true-unreach-call.i unknown 0 wit inspect 6.4 320 55 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .022 4.8
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i unknown 0 wit inspect 47   730 600 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .64 49 error (invalid witness file) 0 wit inspect .0041 .26 - wit inspect - wit inspect
bitvector/sum02_false-unreach-call_true-no-overflow.i unknown 0 wit inspect 110   730 1500 error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0015 .28 - wit inspect - wit inspect
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i unknown 0 wit inspect 35   700 370 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .018 4.8
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i unknown 0 wit inspect 31   710 360 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 44 error (2) 0 wit inspect .024 4.8
bitvector/gcd_1_true-unreach-call_true-no-overflow.i unknown 0 wit inspect 84   950 730 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .020 4.8
bitvector/gcd_2_true-unreach-call_true-no-overflow.i true 2 wit inspect 27   900 250 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 160    460 timeout 0 wit inspect 960     2600  
bitvector/gcd_3_true-unreach-call_true-no-overflow.i unknown 0 wit inspect 82   870 1200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 46 error (2) 0 wit inspect .018 4.9
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i true 2 wit inspect 25   700 260 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.2  310 true 2 wit inspect 44     590  
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i true 2 wit inspect 7.6 370 66 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.3  310 true 2 wit inspect 160     530  
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i true 2 wit inspect 20   690 190 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5700 true 2 wit inspect 5.3   260  
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i true 2 wit inspect 26   730 320 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 780    7000 true 2 wit inspect 6.6   250  
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i true 2 wit inspect 4.5 260 38 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 780    7000 true 2 wit inspect 5.2   260  
bitvector/jain_5_true-unreach-call_true-no-overflow.i true 1 wit inspect 4.0 320 35 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1700 timeout 0 wit inspect 960     660  
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i true 2 wit inspect 4.0 250 39 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 660    7000 true 2 wit inspect 21     270  
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i true 2 wit inspect 4.1 250 43 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6700 true 2 wit inspect 6.3   260  
bitvector/modulus_true-unreach-call_true-no-overflow.i unknown 0 wit inspect 46   730 530 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .50 45 error (2) 0 wit inspect .022 4.8
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i true 2 wit inspect 3.9 240 37 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.9  270 true 2 wit inspect 62     610  
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i true 2 wit inspect 5.3 300 47 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.7  280 timeout 0 wit inspect 960     1100  
bitvector/parity_true-unreach-call_true-no-overflow.i unknown 0 wit inspect 150   740 1800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .021 4.8
bitvector/sum02_true-unreach-call_true-no-overflow.i unknown 0 wit inspect 130   770 1800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c unknown 0 wit inspect 82   780 980 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect - wit inspect
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c unknown 0 wit inspect 45   720 530 error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c unknown 0 wit inspect 39   710 470 error (invalid witness file) 0 wit inspect .54 45 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c unknown 0 wit inspect 100   840 1300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .027 5.0
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c unknown 0 wit inspect 89   760 940 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .024 4.8
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c unknown 0 wit inspect 54   720 650 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 44 error (2) 0 wit inspect .024 5.0
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c timeout 0 wit inspect 900   1400 9200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 42 error (2) 0 wit inspect .019 4.8
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c unknown 0 wit inspect 62   730 610 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 44 error (2) 0 wit inspect .018 4.9
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c unknown 0 wit inspect 16   660 130 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .46 44 error (2) 0 wit inspect .020 4.9
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c unknown 0 wit inspect 12   640 100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 45 error (2) 0 wit inspect .019 4.8
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c unknown 0 wit inspect 79   980 990 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .019 4.9
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c unknown 0 wit inspect 15   650 130 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .020 4.9
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c unknown 0 wit inspect 17   650 140 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .019 4.9
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c unknown 0 wit inspect 20   680 180 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .019 4.8
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c unknown 0 wit inspect 19   660 170 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 42 error (2) 0 wit inspect .019 4.8
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c unknown 0 wit inspect 18   640 180 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.8
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c unknown 0 wit inspect 22   700 200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .020 4.9
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 4.9 300 46 false(unreach-call) 1 wit inspect 3.1  260 false(unreach-call) 1 wit inspect 6.3   240   unknown 0 wit inspect 1.9  190 false(unreach-call) 1 wit inspect .59   18    - wit inspect - wit inspect
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 4.9 290 41 false(unreach-call) 1 wit inspect 3.2  270 false(unreach-call) 1 wit inspect 4.9   220   unknown 0 wit inspect 1.9  180 false(unreach-call) 1 wit inspect .56   18    - wit inspect - wit inspect
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 4.7 290 45 false(unreach-call) 1 wit inspect 3.0  260 false(unreach-call) 1 wit inspect 6.2   210   unknown 0 wit inspect 1.9  180 false(unreach-call) 1 wit inspect .56   18    - wit inspect - wit inspect
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c unknown 0 wit inspect 3.8 240 35 error (invalid witness file) 0 wit inspect .68 42 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .69 50 error (invalid witness file) 0 wit inspect .0018 .28 - wit inspect - wit inspect
bitvector-regression/signextension2_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 5.0 300 45 false(unreach-call) 1 wit inspect 2.2  260 false(unreach-call) 1 wit inspect 3.1   230   unknown 0 wit inspect 2.0  180 false(unreach-call) 1 wit inspect .61   18    - wit inspect - wit inspect
bitvector-regression/signextension_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 4.9 300 44 false(unreach-call) 1 wit inspect 3.2  250 false(unreach-call) 1 wit inspect 3.1   220   unknown 0 wit inspect 2.7  190 false(unreach-call) 1 wit inspect .56   18    - wit inspect - wit inspect
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c true 2 wit inspect 3.6 230 34 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 5.5   250  
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c true 2 wit inspect 3.7 230 36 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.3  250 true 2 wit inspect 9.2   230  
bitvector-regression/signextension2_true-unreach-call_true-termination.c true 2 wit inspect 3.7 220 31 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.4  250 true 2 wit inspect 5.7   260  
bitvector-regression/signextension_true-unreach-call_true-termination.c true 2 wit inspect 3.9 240 33 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.3  240 true 2 wit inspect 5.4   260  
bitvector-loops/diamond_false-unreach-call2.i false(unreach-call) 1 wit inspect 5.6 320 50 false(unreach-call) 1 wit inspect 3.5  260 true -32 wit inspect 3.8   260   unknown 0 wit inspect 2.2  210 true -32 wit inspect .61   18    - wit inspect - wit inspect
bitvector-loops/overflow_false-unreach-call1.i false(unreach-call) 1 wit inspect 4.9 300 41 timeout 0 wit inspect 92    1900 true -32 wit inspect 3.7   260   unknown 0 wit inspect 1.9  190 false(unreach-call) 1 wit inspect 4.0    18    - wit inspect - wit inspect
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i false(unreach-call) 0 wit inspect 13   460 130 true -32 wit inspect 3.8  260 true -32 wit inspect 4.1   230   unknown 0 wit inspect 2.8  210 true -32 wit inspect .57   18    - wit inspect - wit inspect
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect 88   1600 590 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0042 .26 - wit inspect - wit inspect
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect 52   960 530 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0033 .29 - wit inspect - wit inspect
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect 50   1100 430 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .64 49 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect - wit inspect
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect 28   930 260 error (invalid witness file) 0 wit inspect .64 46 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .69 50 error (invalid witness file) 0 wit inspect .0036 .26 - wit inspect - wit inspect
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect 94   1500 570 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 46 error (2) 0 wit inspect .020 4.8
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect 53   1200 410 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .018 4.8
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect 51   970 500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .021 4.9
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect 49   1100 410 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .018 5.0
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect 29   800 300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .024 4.8
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect 27   820 230 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .019 4.9
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 67   750 720 error (invalid witness file) 0 wit inspect .70 45 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 44   720 440 error (invalid witness file) 0 wit inspect .70 45 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 53   720 560 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .91 47 error (invalid witness file) 0 wit inspect .0037 .28 - wit inspect - wit inspect
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 72   750 750 error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 110   820 1400 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .024 5.0 error (invalid witness file) 0 wit inspect .84 48 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 9.9 500 93 error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0032 .26 - wit inspect - wit inspect
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 11   640 90 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0016 .31 - wit inspect - wit inspect
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 150   1100 1800 error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 15   650 130 error (invalid witness file) 0 wit inspect .70 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0036 .29 - wit inspect - wit inspect
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 14   640 120 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0026 .29 - wit inspect - wit inspect
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 15   660 110 error (invalid witness file) 0 wit inspect .70 41 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 14   660 120 error (invalid witness file) 0 wit inspect .68 42 error (2) 0 wit inspect .037 4.8 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0028 .26 - wit inspect - wit inspect
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c unknown 0 wit inspect 67   730 760 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 47 error (2) 0 wit inspect .020 4.8
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c unknown 0 wit inspect 46   720 520 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .73 43 error (2) 0 wit inspect .020 5.0
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c unknown 0 wit inspect 47   720 490 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .020 5.0
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c unknown 0 wit inspect 33   700 370 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.8
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 14   650 110 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 45 error (2) 0 wit inspect .023 4.9
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 31   690 310 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .022 5.0
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 96   720 1000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 42 error (2) 0 wit inspect .023 4.9
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 15   650 130 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .48 43 error (2) 0 wit inspect .018 4.8
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 16   640 140 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .021 4.8
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 16   640 150 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .019 4.9
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 20   670 160 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .018 4.8
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 18   660 180 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .46 46 error (2) 0 wit inspect .019 4.9
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 16   700 130 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.9
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c false(unreach-call) 0 wit inspect 6.0 330 58 true -32 wit inspect 4.4  270 true -32 wit inspect 4.2   240   unknown 0 wit inspect 2.2  210 true -32 wit inspect .62   18    - wit inspect - wit inspect
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c false(unreach-call) 0 wit inspect 5.7 320 53 true -32 wit inspect 5.3  270 true -32 wit inspect 4.4   240   unknown 0 wit inspect 3.3  210 true -32 wit inspect .62   18    - wit inspect - wit inspect
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 4.1 260 42 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.6  280 true 2 wit inspect 16     640  
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 4.3 270 43 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.6  280 true 2 wit inspect 23     1200  
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 4.4 270 41 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.4  280 true 2 wit inspect 27     2000  
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 4.2 270 44 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.5  290 true 2 wit inspect 42     3800  
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 4.3 280 35 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.6  290 true 2 wit inspect 69     5800  
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 4.4 290 43 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.7  290 out of memory 0 wit inspect 110     7000  
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 4.3 260 40 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.2  290 true 2 wit inspect 7.6   280  
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 4.2 310 44 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.7  280 true 2 wit inspect 8.3   320  
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 4.0 260 41 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.0  280 true 2 wit inspect 9.8   370  
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 4.1 260 38 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.8  280 true 2 wit inspect 13     510  
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 2 wit inspect 4.0 260 36 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.4  280 true 2 wit inspect 16     530  
ntdrivers/cdaudio_false-unreach-call.i.cil.c unknown 0 wit inspect 69   1700 380 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .051 4.9 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0036 .26 - wit inspect - wit inspect
ntdrivers/diskperf_false-unreach-call.i.cil.c unknown 0 wit inspect 59   1400 290 error (invalid witness file) 0 wit inspect .67 42 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
ntdrivers/floppy_false-unreach-call.i.cil.c unknown 0 wit inspect 32   1100 170 error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0041 .26 - wit inspect - wit inspect
ntdrivers/kbfiltr_false-unreach-call.i.cil.c unknown 0 wit inspect 20   760 120 error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0010 .29 - wit inspect - wit inspect
ntdrivers/parport_false-unreach-call.i.cil.c unknown 0 wit inspect 340   1700 1700 error (invalid witness file) 0 wit inspect .72 46 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .91 47 error (invalid witness file) 0 wit inspect .0023 .26 - wit inspect - wit inspect
ntdrivers/cdaudio_true-unreach-call.i.cil.c unknown 0 wit inspect 53   1500 260 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .022 4.9
ntdrivers/diskperf_true-unreach-call.i.cil.c unknown 0 wit inspect 83   1700 390 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .020 4.9
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c unknown 0 wit inspect 5.0 350 50 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .020 4.8
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c unknown 0 wit inspect 32   1200 180 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .018 4.8
ntdrivers/parport_true-unreach-call.i.cil.c unknown 0 wit inspect 340   1700 1500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .021 4.8
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c unknown 0 wit inspect 9.6 540 85 error (invalid witness file) 0 wit inspect .59 42 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .65 52 error (invalid witness file) 0 wit inspect .0040 .26 - wit inspect - wit inspect
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c unknown 0 wit inspect 9.8 540 87 error (invalid witness file) 0 wit inspect .69 46 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0029 .29 - wit inspect - wit inspect
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c unknown 0 wit inspect 9.5 550 85 error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect - wit inspect
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c unknown 0 wit inspect 10   560 90 error (invalid witness file) 0 wit inspect .68 47 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0035 .26 - wit inspect - wit inspect
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c unknown 0 wit inspect 12   700 95 error (invalid witness file) 0 wit inspect .41 42 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect - wit inspect
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c unknown 0 wit inspect 12   680 100 error (invalid witness file) 0 wit inspect .71 45 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c unknown 0 wit inspect 11   680 95 error (invalid witness file) 0 wit inspect .41 40 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0010 .26 - wit inspect - wit inspect
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c unknown 0 wit inspect 11   670 93 error (invalid witness file) 0 wit inspect .69 45 error (2) 0 wit inspect .050 5.0 error (invalid witness file) 0 wit inspect .65 50 error (invalid witness file) 0 wit inspect .0031 .29 - wit inspect - wit inspect
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c unknown 0 wit inspect 12   690 97 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .87 48 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c unknown 0 wit inspect 11   670 89 error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .80 47 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect - wit inspect
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c unknown 0 wit inspect 12   680 110 error (invalid witness file) 0 wit inspect .64 45 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c unknown 0 wit inspect 11   670 94 error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .87 47 error (invalid witness file) 0 wit inspect .0041 .29 - wit inspect - wit inspect
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c unknown 0 wit inspect 11   660 100 error (invalid witness file) 0 wit inspect .66 42 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0036 .29 - wit inspect - wit inspect
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c unknown 0 wit inspect 12   670 96 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0036 .26 - wit inspect - wit inspect
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c unknown 0 wit inspect 12   760 99 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0027 .26 - wit inspect - wit inspect
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c unknown 0 wit inspect 12   680 91 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .045 4.8 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c unknown 0 wit inspect 12   670 100 error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c unknown 0 wit inspect 12   670 100 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c unknown 0 wit inspect 12   680 99 error (invalid witness file) 0 wit inspect .70 44 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0010 .26 - wit inspect - wit inspect
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c unknown 0 wit inspect 10   530 84 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .024 4.8
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c unknown 0 wit inspect 9.4 560 83 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .025 5.0
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c unknown 0 wit inspect 9.6 550 80 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .024 5.0
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c unknown 0 wit inspect 9.7 650 84 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .021 4.9
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c unknown 0 wit inspect 11   680 92 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .022 5.0
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c unknown 0 wit inspect 12   680 94 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .022 4.8
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c unknown 0 wit inspect 12   690 94 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .45 45 error (2) 0 wit inspect .019 4.9
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c unknown 0 wit inspect 11   670 99 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .027 4.8
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c unknown 0 wit inspect 12   670 100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .024 5.0
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c unknown 0 wit inspect 12   680 100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .019 4.9
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c unknown 0 wit inspect 12   680 100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .018 4.9
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c unknown 0 wit inspect 12   670 84 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .025 5.0
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c unknown 0 wit inspect 12   670 100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .019 4.9
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c unknown 0 wit inspect 11   670 84 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .019 4.9
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c unknown 0 wit inspect 12   690 100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .46 44 error (2) 0 wit inspect .019 4.8
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c unknown 0 wit inspect 11   670 91 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .017 4.9
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c unknown 0 wit inspect 12   680 100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .025 4.9
floats-cdfpl/newton_1_4_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 7.4 350 71 false(unreach-call) 1 wit inspect 86    360 true -32 wit inspect 3.3   240   unknown 0 wit inspect 1.9  190 true -32 wit inspect .57   18    - wit inspect - wit inspect
floats-cdfpl/newton_1_5_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 7.1 360 62 false(unreach-call) 1 wit inspect 64    370 true -32 wit inspect 3.0   220   unknown 0 wit inspect 1.9  180 true -32 wit inspect .61   18    - wit inspect - wit inspect
floats-cdfpl/newton_1_6_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 7.1 340 73 false(unreach-call) 1 wit inspect 52    360 true -32 wit inspect 4.7   230   unknown 0 wit inspect 2.0  190 true -32 wit inspect .59   18    - wit inspect - wit inspect
floats-cdfpl/newton_1_7_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 10   350 97 false(unreach-call) 1 wit inspect 26    360 true -32 wit inspect 4.5   220   unknown 0 wit inspect 2.0  190 true -32 wit inspect .62   18    - wit inspect - wit inspect
floats-cdfpl/newton_1_8_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 6.8 360 59 false(unreach-call) 1 wit inspect 17    360 true -32 wit inspect 2.9   230   unknown 0 wit inspect 2.0  180 true -32 wit inspect .59   18    - wit inspect - wit inspect
floats-cdfpl/newton_2_6_false-unreach-call_true-termination.i false(unreach-call) 0 wit inspect 15   350 170 timeout 0 wit inspect 91    460 true -32 wit inspect 3.0   230   unknown 0 wit inspect 1.9  180 true -32 wit inspect .58   18    - wit inspect - wit inspect
floats-cdfpl/newton_2_7_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 13   370 120 false(unreach-call) 1 wit inspect 83    460 true -32 wit inspect 4.2   230   unknown 0 wit inspect 2.0  180 true -32 wit inspect .61   18    - wit inspect - wit inspect
floats-cdfpl/newton_2_8_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 12   340 140 false(unreach-call) 1 wit inspect 47    460 true -32 wit inspect 3.1   220   unknown 0 wit inspect 2.0  180 true -32 wit inspect .57   18    - wit inspect - wit inspect
floats-cdfpl/newton_3_6_false-unreach-call_true-termination.i unknown 0 wit inspect 18   360 190 error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .64 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
floats-cdfpl/newton_3_7_false-unreach-call_true-termination.i unknown 0 wit inspect 18   370 200 error (invalid witness file) 0 wit inspect .61 42 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
floats-cdfpl/newton_3_8_false-unreach-call_true-termination.i unknown 0 wit inspect 17   370 190 error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .91 47 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
floats-cdfpl/sine_1_false-unreach-call_true-termination.i unknown 0 wit inspect 5.7 330 52 error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .042 4.9 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0034 .28 - wit inspect - wit inspect
floats-cdfpl/sine_2_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 7.2 340 71 false(unreach-call) 1 wit inspect 55    350 false(unreach-call) 1 wit inspect 25     570   unknown 0 wit inspect 1.9  180 true -32 wit inspect .61   18    - wit inspect - wit inspect
floats-cdfpl/sine_3_false-unreach-call_true-termination.i false(unreach-call) 0 wit inspect 7.0 360 61 timeout 0 wit inspect 91    390 timeout 0 wit inspect 97     610   unknown 0 wit inspect 2.0  190 true -32 wit inspect .57   18    - wit inspect - wit inspect
floats-cdfpl/square_1_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 6.3 400 53 false(unreach-call) 1 wit inspect 23    340 timeout 0 wit inspect 97     460   unknown 0 wit inspect 1.9  180 true -32 wit inspect .58   18    - wit inspect - wit inspect
floats-cdfpl/square_2_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 6.4 400 64 timeout 0 wit inspect 91    390 false(unreach-call) 1 wit inspect 89     410   unknown 0 wit inspect 2.8  190 true -32 wit inspect .57   18    - wit inspect - wit inspect
floats-cdfpl/square_3_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 5.6 310 51 false(unreach-call) 1 wit inspect 76    350 timeout 0 wit inspect 97     440   unknown 0 wit inspect 1.9  180 true -32 wit inspect .57   18    - wit inspect - wit inspect
floats-cdfpl/newton_1_1_true-unreach-call_true-termination.i true 2 wit inspect 7.9 350 77 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    540 timeout 0 wit inspect 960     1000  
floats-cdfpl/newton_1_2_true-unreach-call_true-termination.i true 2 wit inspect 7.6 330 67 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    570 timeout 0 wit inspect 960     1000  
floats-cdfpl/newton_1_3_true-unreach-call_true-termination.i true 2 wit inspect 8.3 360 78 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    570 timeout 0 wit inspect 960     900  
floats-cdfpl/newton_2_1_true-unreach-call_true-termination.i true 2 wit inspect 21   350 230 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    550 timeout 0 wit inspect 960     980  
floats-cdfpl/newton_2_2_true-unreach-call_true-termination.i true 2 wit inspect 20   380 200 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    830 timeout 0 wit inspect 960     960  
floats-cdfpl/newton_2_3_true-unreach-call_true-termination.i true 2 wit inspect 15   350 170 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    580 timeout 0 wit inspect 960     940  
floats-cdfpl/newton_2_4_true-unreach-call_true-termination.i unknown 0 wit inspect 18   400 180 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.8
floats-cdfpl/newton_2_5_true-unreach-call_true-termination.i unknown 0 wit inspect 18   400 220 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .022 4.8
floats-cdfpl/newton_3_1_true-unreach-call_true-termination.i unknown 0 wit inspect 23   370 280 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .047 4.8
floats-cdfpl/newton_3_2_true-unreach-call_true-termination.i unknown 0 wit inspect 19   380 190 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .42 44 error (2) 0 wit inspect .019 4.9
floats-cdfpl/newton_3_3_true-unreach-call_true-termination.i unknown 0 wit inspect 21   380 250 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .47 43 error (2) 0 wit inspect .019 5.0
floats-cdfpl/newton_3_4_true-unreach-call_true-termination.i unknown 0 wit inspect 17   370 190 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .018 4.9
floats-cdfpl/newton_3_5_true-unreach-call_true-termination.i unknown 0 wit inspect 18   370 190 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 41 error (2) 0 wit inspect .020 4.9
floats-cdfpl/sine_4_true-unreach-call_true-termination.i true 2 wit inspect 6.9 350 68 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    500 timeout 0 wit inspect 960     850  
floats-cdfpl/sine_5_true-unreach-call_true-termination.i true 2 wit inspect 6.7 310 57 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    490 timeout 0 wit inspect 960     850  
floats-cdfpl/sine_6_true-unreach-call_true-termination.i true 2 wit inspect 7.2 350 69 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    660 timeout 0 wit inspect 960     820  
floats-cdfpl/sine_7_true-unreach-call_true-termination.i true 2 wit inspect 7.5 340 63 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 670    600 timeout 0 wit inspect 960     760  
floats-cdfpl/sine_8_true-unreach-call_true-termination.i true 2 wit inspect 6.3 320 54 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 580    540 timeout 0 wit inspect 960     830  
floats-cdfpl/square_4_true-unreach-call_true-termination.i true 2 wit inspect 6.4 350 58 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 680    580 true 2 wit inspect 650     860  
floats-cdfpl/square_5_true-unreach-call_true-termination.i true 2 wit inspect 6.1 330 56 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 520    510 true 2 wit inspect 540     730  
floats-cdfpl/square_6_true-unreach-call_true-termination.i true 2 wit inspect 6.0 320 54 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 280    500 true 2 wit inspect 410     790  
floats-cdfpl/square_7_true-unreach-call_true-termination.i true 2 wit inspect 6.6 330 54 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 830    490 true 2 wit inspect 180     720  
floats-cdfpl/square_8_true-unreach-call_true-termination.i true 2 wit inspect 6.3 340 49 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 60    360 true 2 wit inspect 130     600  
floats-cbmc-regression/float-div1_true-unreach-call.i unknown 0 wit inspect 5.0 290 49 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .024 4.9
floats-cbmc-regression/float-flags-simp1_true-unreach-call.i unknown 0 wit inspect 4.9 300 45 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .028 4.9
floats-cbmc-regression/float-no-simp1_true-unreach-call_true-termination.i true 2 wit inspect 3.7 230 32 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.3  240 true 2 wit inspect 11     230  
floats-cbmc-regression/float-no-simp2_true-unreach-call.i unknown 0 wit inspect 3.5 260 32 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 45 error (2) 0 wit inspect .022 4.9
floats-cbmc-regression/float-no-simp3_true-unreach-call_true-termination.i true 2 wit inspect 3.8 230 34 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  240 true 2 wit inspect 8.9   230  
floats-cbmc-regression/float-no-simp4_true-unreach-call.i unknown 0 wit inspect 4.7 310 43 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .025 4.8
floats-cbmc-regression/float-no-simp6_true-unreach-call_true-termination.i true 2 wit inspect 3.7 240 33 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  250 true 2 wit inspect 12     290  
floats-cbmc-regression/float-no-simp7_true-unreach-call_true-termination.i true 2 wit inspect 3.6 230 33 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 11     250  
floats-cbmc-regression/float-no-simp8_true-unreach-call.i true 2 wit inspect 3.9 240 38 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.0  260 true 2 wit inspect 12     300  
floats-cbmc-regression/float-rounding1_true-unreach-call.i unknown 0 wit inspect 4.1 270 41 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .022 5.0
floats-cbmc-regression/float-to-double1_true-unreach-call.i unknown 0 wit inspect 3.8 240 37 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .019 4.9
floats-cbmc-regression/float-to-double2_true-unreach-call_true-termination.i true 2 wit inspect 3.7 230 38 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 8.9   240  
floats-cbmc-regression/float-zero-sum1_true-unreach-call_true-termination.i true 2 wit inspect 3.8 240 35 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.1  250 true 2 wit inspect 14     280  
floats-cbmc-regression/float11_true-unreach-call_true-termination.i true 2 wit inspect 3.4 320 40 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 10     240  
floats-cbmc-regression/float12_true-unreach-call_true-termination.i unknown 0 wit inspect 5.7 310 48 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .48 43 error (2) 0 wit inspect .019 4.9
floats-cbmc-regression/float13_true-unreach-call_true-termination.i true 2 wit inspect 3.8 240 38 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  250 true 2 wit inspect 11     250  
floats-cbmc-regression/float14_true-unreach-call.i unknown 0 wit inspect 3.6 240 32 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .43 44 error (2) 0 wit inspect .020 4.8
floats-cbmc-regression/float18_true-unreach-call.i true 2 wit inspect 3.8 240 33 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 28    410 unknown 0 wit inspect 4.0   200  
floats-cbmc-regression/float19_true-unreach-call.i unknown 0 wit inspect 3.7 250 34 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .019 4.8
floats-cbmc-regression/float1_true-unreach-call_true-termination.i true 2 wit inspect 3.6 230 32 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.9  250 true 2 wit inspect 9.2   230  
floats-cbmc-regression/float20_true-unreach-call_true-termination.i false(unreach-call) -16 wit inspect 6.2 330 57 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.1  260 true 2 wit inspect 18     390  
floats-cbmc-regression/float21_true-unreach-call.i unknown 0 wit inspect 4.1 270 39 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 4.9
floats-cbmc-regression/float22_true-unreach-call_true-termination.i true 2 wit inspect 3.8 250 37 - wit inspect - wit inspect - wit inspect - wit inspect false(unreach-call) -16 wit inspect 4.9  280 true 2 wit inspect 340     1000  
floats-cbmc-regression/float2_true-unreach-call_true-termination.i true 2 wit inspect 3.6 230 32 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  240 true 2 wit inspect 11     270  
floats-cbmc-regression/float3_true-unreach-call_true-termination.i true 2 wit inspect 5.9 310 47 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.4  270 true 2 wit inspect 15     320  
floats-cbmc-regression/float4_true-unreach-call.i unknown 0 wit inspect 3.9 270 35 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .019 5.0
floats-cbmc-regression/float5_true-unreach-call_true-termination.i true 2 wit inspect 6.8 330 63 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.9  260 true 2 wit inspect 31     280  
floats-cbmc-regression/float6_true-unreach-call_true-termination.i unknown 0 wit inspect 6.1 300 50 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 5.0
floats-cbmc-regression/float8_true-unreach-call.i unknown 0 wit inspect 4.7 280 38 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .023 4.8
floats-cbmc-regression/float_lib1_true-unreach-call.i unknown 0 wit inspect 3.2 210 32 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .020 4.9
floats-cbmc-regression/float_lib2_true-unreach-call.i unknown 0 wit inspect 4.1 250 37 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .017 4.8
float-benchs/cast_float_ptr_false-unreach-call_true-termination.c unknown 0 wit inspect 5.0 290 44 error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect - wit inspect
float-benchs/cast_union_loose_false-unreach-call_true-termination.c unknown 0 wit inspect 5.6 320 44 error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0035 .26 - wit inspect - wit inspect
float-benchs/cast_union_tight_false-unreach-call_true-termination.c unknown 0 wit inspect 5.1 310 41 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .64 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
float-benchs/float_int_inv_square_false-unreach-call_true-termination.c unknown 0 wit inspect 6.0 320 48 error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .69 50 error (invalid witness file) 0 wit inspect .0010 .26 - wit inspect - wit inspect
float-benchs/inv_Newton_false-unreach-call.c unknown 0 wit inspect 5.7 310 57 error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .041 4.9 error (invalid witness file) 0 wit inspect .69 50 error (invalid witness file) 0 wit inspect .0023 .26 - wit inspect - wit inspect
float-benchs/inv_square_false-unreach-call_true-termination.c unknown 0 wit inspect 5.4 310 51 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
float-benchs/nan_double_false-unreach-call_true-termination.c unknown 0 wit inspect 4.9 290 42 error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
float-benchs/nan_float_false-unreach-call_true-termination.c unknown 0 wit inspect 4.6 290 46 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .87 48 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
float-benchs/sin_interpolated_index_false-unreach-call_true-termination.c unknown 0 wit inspect 8.4 480 75 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
float-benchs/sqrt_poly2_false-unreach-call.c unknown 0 wit inspect 6.4 330 51 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0039 .26 - wit inspect - wit inspect
float-benchs/Muller_Kahan_true-unreach-call_true-termination.c unknown 0 wit inspect 5.6 310 51 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 45 error (2) 0 wit inspect .021 4.9
float-benchs/Rump_double_true-unreach-call_true-termination.c true 2 wit inspect 4.0 250 38 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.4  250 true 2 wit inspect 25     970  
float-benchs/Rump_float_true-unreach-call_true-termination.c true 2 wit inspect 4.0 250 35 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.1  250 true 2 wit inspect 13     420  
float-benchs/addsub_double_exact_true-unreach-call_true-termination.c true 2 wit inspect 3.9 240 38 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 9.4   270  
float-benchs/addsub_float_exact_true-unreach-call_true-termination.c true 2 wit inspect 4.0 250 35 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.8  250 true 2 wit inspect 9.9   270  
float-benchs/addsub_float_inexact_true-unreach-call_true-termination.c true 2 wit inspect 3.9 240 41 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.1  250 true 2 wit inspect 12     250  
float-benchs/arctan_Pade_true-unreach-call_true-termination.c unknown 0 wit inspect 6.4 330 55 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .021 4.9
float-benchs/bary_diverge_true-unreach-call_true-termination.c unknown 0 wit inspect 6.7 330 56 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .021 4.8
float-benchs/cast_float_union_true-unreach-call.c true 2 wit inspect 4.1 250 36 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.7  250 true 2 wit inspect 4.6   220  
float-benchs/cos_polynomial_true-unreach-call_true-termination.c unknown 0 wit inspect 6.5 320 59 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .018 4.9
float-benchs/divmul_buf_diverge_true-unreach-call_true-termination.c unknown 0 wit inspect 6.2 320 53 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.9
float-benchs/divmul_diverge_true-unreach-call_true-termination.c unknown 0 wit inspect 5.4 310 49 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .020 4.8
float-benchs/drift_tenth_true-unreach-call_true-termination.c true 2 wit inspect 4.0 240 37 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 14    330 true 2 wit inspect 380     660  
float-benchs/exp_loop_true-unreach-call.c unknown 0 wit inspect 6.4 310 53 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .45 43 error (2) 0 wit inspect .025 4.9
float-benchs/feedback_diverge_true-unreach-call_true-termination.c unknown 0 wit inspect 6.2 340 59 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .48 43 error (2) 0 wit inspect .021 4.8
float-benchs/filter1_true-unreach-call_true-termination.c unknown 0 wit inspect 6.1 320 56 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .47 44 error (2) 0 wit inspect .019 4.9
float-benchs/filter2_alt_true-unreach-call.c unknown 0 wit inspect 6.8 330 55 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .024 4.9
float-benchs/filter2_iterated_true-unreach-call.c unknown 0 wit inspect 6.7 350 58 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .019 4.9
float-benchs/filter2_reinit_true-unreach-call_true-termination.c unknown 0 wit inspect 5.8 300 54 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .019 4.8
float-benchs/filter2_set_true-unreach-call_true-termination.c unknown 0 wit inspect 7.2 350 58 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .019 4.8
float-benchs/filter2_true-unreach-call_true-termination.c unknown 0 wit inspect 5.6 300 47 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .035 5.0
float-benchs/filter_iir_true-unreach-call.c unknown 0 wit inspect 7.3 360 56 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .026 4.9
float-benchs/float_double_true-unreach-call_true-termination.c true 2 wit inspect 3.8 230 41 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.1  250 true 2 wit inspect 10     260  
float-benchs/image_filter_true-unreach-call.c unknown 0 wit inspect 10   640 86 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .48 43 error (2) 0 wit inspect .025 4.9
float-benchs/interpolation2_true-unreach-call_true-termination.c unknown 0 wit inspect 5.8 320 53 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 41 error (2) 0 wit inspect .024 5.0
float-benchs/interpolation_true-unreach-call_true-termination.c unknown 0 wit inspect 5.9 320 45 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .73 44 error (2) 0 wit inspect .020 5.0
float-benchs/inv_sqrt_Quake_true-unreach-call_true-termination.c unknown 0 wit inspect 5.9 320 50 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .025 4.8
float-benchs/inv_square_int_true-unreach-call_true-termination.c unknown 0 wit inspect 5.6 300 45 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .45 43 error (2) 0 wit inspect .019 4.8
float-benchs/inv_square_true-unreach-call_true-termination.c true 2 wit inspect 5.8 310 48 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  260 true 2 wit inspect 43     300  
float-benchs/loop_true-unreach-call.c unknown 0 wit inspect 5.3 300 44 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .024 4.8
float-benchs/mea8000_true-unreach-call.c unknown 0 wit inspect 15   730 120 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 45 error (2) 0 wit inspect .021 4.9
float-benchs/nan_double_range_true-unreach-call_true-termination.c unknown 0 wit inspect 5.5 300 47 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 5.0
float-benchs/nan_float_range_true-unreach-call_true-termination.c unknown 0 wit inspect 5.0 300 42 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 42 error (2) 0 wit inspect .019 4.9
float-benchs/rlim_exit_true-unreach-call_true-termination.c unknown 0 wit inspect 5.7 320 51 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .019 4.9
float-benchs/rlim_invariant_true-unreach-call_true-termination.c unknown 0 wit inspect 5.8 310 48 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .024 4.8
float-benchs/sin_interpolated_bigrange_loose_true-unreach-call_true-termination.c unknown 0 wit inspect 8.0 470 69 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .019 4.9
float-benchs/sin_interpolated_bigrange_tight_true-unreach-call_true-termination.c unknown 0 wit inspect 8.2 480 74 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .020 4.9
float-benchs/sin_interpolated_index_true-unreach-call_true-termination.c unknown 0 wit inspect 8.5 470 76 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 42 error (2) 0 wit inspect .021 4.9
float-benchs/sin_interpolated_negation_true-unreach-call.c unknown 0 wit inspect 11   520 90 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .019 4.8
float-benchs/sin_interpolated_smallrange_true-unreach-call.c unknown 0 wit inspect 8.4 470 69 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .019 4.8
float-benchs/sqrt_Householder_constant_true-unreach-call.c unknown 0 wit inspect 6.3 330 59 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .73 44 error (2) 0 wit inspect .023 4.9
float-benchs/sqrt_Householder_interval_true-unreach-call.c unknown 0 wit inspect 6.2 330 59 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .021 4.9
float-benchs/sqrt_Householder_pseudoconstant_true-unreach-call.c unknown 0 wit inspect 6.2 320 59 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .024 4.9
float-benchs/sqrt_Newton_pseudoconstant_true-unreach-call.c unknown 0 wit inspect 6.4 320 63 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .019 5.0
float-benchs/sqrt_biNewton_pseudoconstant_true-unreach-call.c unknown 0 wit inspect 6.0 300 54 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.8
float-benchs/sqrt_poly_true-unreach-call_true-termination.c unknown 0 wit inspect 5.7 330 57 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .019 4.8
float-benchs/water_pid_true-unreach-call_true-termination.c unknown 0 wit inspect 5.5 300 45 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 45 error (2) 0 wit inspect .018 4.9
float-benchs/zonotope_2_true-unreach-call_true-termination.c unknown 0 wit inspect 5.6 300 46 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .019 4.9
float-benchs/zonotope_3_true-unreach-call_true-termination.c unknown 0 wit inspect 5.5 320 52 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 44 error (2) 0 wit inspect .025 4.9
float-benchs/zonotope_loose_true-unreach-call_true-termination.c unknown 0 wit inspect 5.7 320 51 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .018 4.8
float-benchs/zonotope_tight_true-unreach-call_true-termination.c unknown 0 wit inspect 5.5 320 51 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .018 5.0
floats-esbmc-regression/Double_div_true-unreach-call.i unknown 0 wit inspect 5.2 300 46 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 42 error (2) 0 wit inspect .021 4.8
floats-esbmc-regression/Float_div_true-unreach-call.i unknown 0 wit inspect 5.2 290 44 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 41 error (2) 0 wit inspect .020 4.9
floats-esbmc-regression/ceil_nondet_true-unreach-call.i unknown 0 wit inspect 4.2 290 43 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .023 5.0
floats-esbmc-regression/ceil_true-unreach-call.i unknown 0 wit inspect 3.8 250 38 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .020 4.9
floats-esbmc-regression/copysign_true-unreach-call.i unknown 0 wit inspect 4.0 270 37 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .020 4.9
floats-esbmc-regression/digits_for_true-unreach-call.i unknown 0 wit inspect 2.9 200 32 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 41 error (2) 0 wit inspect .020 4.9
floats-esbmc-regression/digits_while_true-unreach-call.i unknown 0 wit inspect 2.9 200 27 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .45 43 error (2) 0 wit inspect .019 4.8
floats-esbmc-regression/fabs_true-unreach-call.i unknown 0 wit inspect 3.9 240 38 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .019 4.9
floats-esbmc-regression/fdim_true-unreach-call.i unknown 0 wit inspect 3.9 260 39 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .46 43 error (2) 0 wit inspect .020 4.9
floats-esbmc-regression/floor_nondet_true-unreach-call.i unknown 0 wit inspect 4.2 280 39 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .019 5.0
floats-esbmc-regression/floor_true-unreach-call.i unknown 0 wit inspect 4.0 260 34 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 42 error (2) 0 wit inspect .024 5.0
floats-esbmc-regression/fmax_true-unreach-call.i unknown 0 wit inspect 3.9 250 34 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 46 error (2) 0 wit inspect .020 4.8
floats-esbmc-regression/fmin_true-unreach-call.i unknown 0 wit inspect 3.8 250 38 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .019 4.8
floats-esbmc-regression/fmod2_true-unreach-call.i unknown 0 wit inspect 3.9 270 36 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .020 4.9
floats-esbmc-regression/fmod3_true-unreach-call.i unknown 0 wit inspect 3.9 260 36 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .022 4.8
floats-esbmc-regression/fmod_true-unreach-call.i true 2 wit inspect 3.8 240 34 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.3  250 unknown 0 wit inspect 4.1   190  
floats-esbmc-regression/isgreater_true-unreach-call.i true 2 wit inspect 4.2 240 37 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.0  250 true 2 wit inspect 10     260  
floats-esbmc-regression/isgreaterequal_true-unreach-call.i true 2 wit inspect 4.0 240 38 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.1  260 true 2 wit inspect 9.8   270  
floats-esbmc-regression/isless_true-unreach-call.i true 2 wit inspect 4.1 240 34 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.9  260 true 2 wit inspect 11     270  
floats-esbmc-regression/islessequal_true-unreach-call.i true 2 wit inspect 3.8 250 39 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.9  250 true 2 wit inspect 11     280  
floats-esbmc-regression/islessgreater_true-unreach-call.i true 2 wit inspect 4.1 240 40 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.1  260 true 2 wit inspect 10     270  
floats-esbmc-regression/isunordered_true-unreach-call.i true 2 wit inspect 4.0 240 35 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.2  260 true 2 wit inspect 11     280  
floats-esbmc-regression/lrint_true-unreach-call.i unknown 0 wit inspect 4.5 300 38 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .022 4.8
floats-esbmc-regression/modf_true-unreach-call.i unknown 0 wit inspect 3.9 250 36 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .46 44 error (2) 0 wit inspect .025 4.8
floats-esbmc-regression/nan_true-unreach-call.i unknown 0 wit inspect 4.2 260 40 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .48 43 error (2) 0 wit inspect .018 5.0
floats-esbmc-regression/nearbyint2_true-unreach-call.i unknown 0 wit inspect 3.7 240 33 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .024 4.9
floats-esbmc-regression/nearbyint_true-unreach-call.i unknown 0 wit inspect 3.8 240 33 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .019 5.0
floats-esbmc-regression/remainder_true-unreach-call.i unknown 0 wit inspect 4.5 300 38 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .020 5.0
floats-esbmc-regression/rint2_true-unreach-call.i unknown 0 wit inspect 4.0 240 33 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .49 43 error (2) 0 wit inspect .025 4.8
floats-esbmc-regression/rint_true-unreach-call.i unknown 0 wit inspect 3.9 240 33 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 42 error (2) 0 wit inspect .024 4.8
floats-esbmc-regression/round_nondet_true-unreach-call.i unknown 0 wit inspect 3.9 290 36 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .47 43 error (2) 0 wit inspect .021 5.0
floats-esbmc-regression/round_true-unreach-call.i unknown 0 wit inspect 4.2 300 41 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 42 error (2) 0 wit inspect .021 4.9
floats-esbmc-regression/rounding_functions_true-unreach-call.i true 2 wit inspect 4.0 240 37 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.5  260 unknown 0 wit inspect 3.7   200  
floats-esbmc-regression/trunc_nondet_2_true-unreach-call.i unknown 0 wit inspect 4.0 260 39 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .024 4.8
floats-esbmc-regression/trunc_nondet_true-unreach-call.i unknown 0 wit inspect 4.2 270 41 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .019 4.9
floats-esbmc-regression/trunc_true-unreach-call.i unknown 0 wit inspect 3.9 250 40 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .023 4.8
floats-esbmc-regression/Double_div_bad_false-unreach-call.i unknown 0 wit inspect 5.4 300 45 error (invalid witness file) 0 wit inspect .70 45 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect .69 51 error (invalid witness file) 0 wit inspect .0035 .30 - wit inspect - wit inspect
floats-esbmc-regression/Float_div_bad_false-unreach-call.i unknown 0 wit inspect 5.3 300 44 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .67 50 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
floats-esbmc-regression/digits_bad_for_false-unreach-call.i unknown 0 wit inspect 3.0 200 33 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
floats-esbmc-regression/digits_bad_while_false-unreach-call.i unknown 0 wit inspect 2.9 200 28 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .64 50 error (invalid witness file) 0 wit inspect .0014 .28 - wit inspect - wit inspect
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 8.2 470 64 error (invalid witness file) 0 wit inspect .61 44 error (2) 0 wit inspect .039 4.9 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 12   680 89 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 8.4 410 77 error (invalid witness file) 0 wit inspect .72 42 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0020 .26 - wit inspect - wit inspect
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 8.4 470 73 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 0 wit inspect 7.4 370 68 error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0037 .30 - wit inspect - wit inspect
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 7.2 370 57 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .021 5.0 error (invalid witness file) 0 wit inspect .69 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 8.4 460 71 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .020 4.9
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i unknown 0 wit inspect 6.6 330 56 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 5.0
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 13   710 97 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .027 4.8
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 7.0 390 60 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .019 4.9
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 8.3 460 69 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .023 4.8
heap-manipulation/tree_true-unreach-call.i unknown 0 wit inspect 7.7 390 65 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.8
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 6.0 320 57 error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect .87 47 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
list-properties/list_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 6.1 310 52 error (invalid witness file) 0 wit inspect .69 45 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 6.6 330 48 error (invalid witness file) 0 wit inspect .39 41 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0035 .32 - wit inspect - wit inspect
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 5.3 300 51 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0010 .26 - wit inspect - wit inspect
list-properties/simple_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 5.8 310 58 error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0026 .26 - wit inspect - wit inspect
list-properties/splice_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 6.4 340 61 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .039 5.0 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 6.3 330 58 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .021 4.8
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 0 wit inspect 6.5 320 58 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .021 4.9
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 6.5 340 57 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .019 5.0
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 0 wit inspect 6.7 320 52 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .025 4.8
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown 0 wit inspect 5.4 310 52 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.9
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 0 wit inspect 5.7 320 50 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .47 43 error (2) 0 wit inspect .019 4.8
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 0 wit inspect 6.4 320 50 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .021 4.8
ldv-regression/1_3_true-termination.c_false-unreach-call.i false(unreach-call) 1 wit inspect 5.0 300 48 false(unreach-call) 1 wit inspect 4.0  260 true -32 wit inspect 3.3   250   unknown 0 wit inspect 2.8  210 false(unreach-call) 1 wit inspect .61   18    - wit inspect - wit inspect
ldv-regression/alt_test_true-termination.c_false-unreach-call.i false(unreach-call) 1 wit inspect 5.5 320 51 false(unreach-call) 1 wit inspect 4.4  270 true -32 wit inspect 5.0   230   unknown 0 wit inspect 2.5  210 false(unreach-call) 1 wit inspect .69   18    - wit inspect - wit inspect
ldv-regression/callfpointer_true-termination.c_false-unreach-call.i false(unreach-call) 1 wit inspect 5.1 290 51 false(unreach-call) 1 wit inspect 2.2  260 false(unreach-call) 1 wit inspect 3.1   230   unknown 0 wit inspect 2.6  180 false(unreach-call) 1 wit inspect .55   18    - wit inspect - wit inspect
ldv-regression/fo_test_true-termination.c_false-unreach-call.i unknown 0 wit inspect 4.2 320 44 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0036 .28 - wit inspect - wit inspect
ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i false(unreach-call) 1 wit inspect 5.1 300 51 false(unreach-call) 1 wit inspect 4.0  250 true -32 wit inspect 3.8   260   unknown 0 wit inspect 2.6  180 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i false(unreach-call) 1 wit inspect 5.2 320 52 false(unreach-call) 1 wit inspect 3.2  260 true -32 wit inspect 4.7   260   unknown 0 wit inspect 2.7  190 false(unreach-call) 1 wit inspect .56   18    - wit inspect - wit inspect
ldv-regression/recursive_list_true-termination.c_false-unreach-call.i false(unreach-call) 1 wit inspect 5.3 310 45 false(unreach-call) 1 wit inspect 3.3  260 true -32 wit inspect 4.9   230   unknown 0 wit inspect 2.0  200 false(unreach-call) 1 wit inspect .56   18    - wit inspect - wit inspect
ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i unknown 0 wit inspect 6.3 310 59 error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .65 50 error (invalid witness file) 0 wit inspect .0038 .28 - wit inspect - wit inspect
ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i unknown 0 wit inspect 5.4 300 50 error (invalid witness file) 0 wit inspect .65 42 error (2) 0 wit inspect .036 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
ldv-regression/stateful_check_false-unreach-call_false-termination.i unknown 0 wit inspect 39   700 370 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0036 .29 - wit inspect - wit inspect
ldv-regression/test_while_int_true-termination.c_false-unreach-call.i false(unreach-call) 1 wit inspect 5.1 310 42 false(unreach-call) 1 wit inspect 3.2  260 true -32 wit inspect 5.0   260   unknown 0 wit inspect 2.8  210 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i false(unreach-call) 1 wit inspect 4.7 280 49 false(unreach-call) 1 wit inspect 3.0  260 true -32 wit inspect 3.3   270   unknown 0 wit inspect 2.6  190 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i true 2 wit inspect 3.9 260 35 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 7.6   280  
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i true 2 wit inspect 4.1 250 39 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.3  250 true 2 wit inspect 7.1   260  
ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i true 2 wit inspect 4.0 240 36 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  250 true 2 wit inspect 5.9   270  
ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i true 2 wit inspect 3.6 240 33 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  250 true 2 wit inspect 5.6   250  
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i unknown 0 wit inspect 5.8 300 51 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 4.9
ldv-regression/just_assert_true-termination.c_true-unreach-call.i true 2 wit inspect 3.7 230 32 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.9  250 true 2 wit inspect 4.4   220  
ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i true 2 wit inspect 3.8 260 37 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.7  250 true 2 wit inspect 6.5   260  
ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i true 2 wit inspect 4.4 270 35 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.6  250 true 2 wit inspect 6.2   270  
ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i true 2 wit inspect 4.0 240 37 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.9  250 true 2 wit inspect 5.0   250  
ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i true 2 wit inspect 3.9 240 39 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.6  250 true 2 wit inspect 5.9   260  
ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i true 2 wit inspect 4.0 240 40 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  250 true 2 wit inspect 9.6   470  
ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i true 2 wit inspect 3.7 240 31 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.5  250 true 2 wit inspect 9.8   410  
ldv-regression/nested_structure_true-termination.c_true-unreach-call.i true 2 wit inspect 3.9 250 36 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.9  250 true 2 wit inspect 7.4   280  
ldv-regression/nested_structure_true-unreach-call_true-termination.i true 2 wit inspect 4.0 240 37 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.0  250 true 2 wit inspect 8.3   280  
ldv-regression/oomInt_true-termination.c_true-unreach-call.i true 2 wit inspect 4.1 260 41 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.1  250 true 2 wit inspect 5.7   260  
ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i true 2 wit inspect 3.9 260 40 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 5.2   260  
ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i unknown 0 wit inspect 7.0 350 62 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .018 4.9
ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i unknown 0 wit inspect 6.0 330 55 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 42 error (2) 0 wit inspect .020 4.8
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i true 2 wit inspect 3.9 240 36 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.7  260 true 2 wit inspect 10     370  
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i true 2 wit inspect 4.2 260 40 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.5  250 true 2 wit inspect 5.8   260  
ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i true 2 wit inspect 4.0 240 34 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.9  250 true 2 wit inspect 5.7   260  
ldv-regression/test_address_true-termination.c_true-unreach-call.i true 2 wit inspect 4.3 250 39 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.4  250 true 2 wit inspect 5.5   260  
ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i true 2 wit inspect 3.9 240 38 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.9  250 true 2 wit inspect 5.4   260  
ldv-regression/test_malloc-1_true-unreach-call_true-termination.i true 2 wit inspect 4.0 240 39 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.5  250 true 2 wit inspect 5.7   260  
ldv-regression/test_malloc-2_true-unreach-call_true-termination.i true 2 wit inspect 3.9 240 40 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.7  250 true 2 wit inspect 6.4   260  
ldv-regression/test_overflow_true-termination.c_true-unreach-call.i true 2 wit inspect 5.4 310 44 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.9  250 true 2 wit inspect 5.0   260  
ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i true 2 wit inspect 4.0 240 36 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 5.2   260  
ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i true 2 wit inspect 3.9 240 33 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 6.3   260  
ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i true 2 wit inspect 3.8 240 38 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.0  250 true 2 wit inspect 5.5   250  
ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i true 2 wit inspect 4.0 240 34 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  250 true 2 wit inspect 5.6   260  
ldv-regression/test_union_true-termination.c_true-unreach-call.i true 2 wit inspect 4.1 250 35 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  240 true 2 wit inspect 5.5   260  
ldv-regression/test_union_true-termination.c_true-unreach-call_1.i true 2 wit inspect 4.2 290 35 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 5.8   260  
ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i true 2 wit inspect 5.2 300 49 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.9  250 true 2 wit inspect 6.8   270  
ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i true 2 wit inspect 3.9 230 36 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.3  250 true 2 wit inspect 7.5   270  
ldv-regression/test02_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 5.2 290 45 false(unreach-call) 1 wit inspect 3.8  260 false(unreach-call) 1 wit inspect 4.8   220   unknown 0 wit inspect 2.8  190 false(unreach-call) 1 wit inspect .56   18    - wit inspect - wit inspect
ldv-regression/test06_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 5.1 310 53 false(unreach-call) 1 wit inspect 2.3  260 true -32 wit inspect 5.0   230   unknown 0 wit inspect 2.0  210 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
ldv-regression/test08_false-unreach-call_true-termination.c unknown 0 wit inspect 4.7 290 45 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0021 .26 - wit inspect - wit inspect
ldv-regression/test12_false-unreach-call_true-termination.c false(unreach-call) 1 wit inspect 4.9 300 44 false(unreach-call) 1 wit inspect 3.9  260 false(unreach-call) 1 wit inspect 3.9   230   unknown 0 wit inspect 2.6  180 false(unreach-call) 1 wit inspect .55   18    - wit inspect - wit inspect
ldv-regression/test21_false-unreach-call_true-termination.c unknown 0 wit inspect 5.5 320 50 error (invalid witness file) 0 wit inspect .66 42 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0038 .26 - wit inspect - wit inspect
ldv-regression/test22_false-unreach-call.c unknown 0 wit inspect 5.4 310 42 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .88 48 error (invalid witness file) 0 wit inspect .0032 .29 - wit inspect - wit inspect
ldv-regression/test23_false-unreach-call.c unknown 0 wit inspect 5.6 320 48 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect .69 50 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
ldv-regression/test24_false-unreach-call.c unknown 0 wit inspect 7.4 420 61 error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .81 47 error (invalid witness file) 0 wit inspect .0035 .26 - wit inspect - wit inspect
ldv-regression/test25_false-unreach-call_true-termination.c unknown 0 wit inspect 6.7 360 59 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .040 4.8 error (invalid witness file) 0 wit inspect .64 50 error (invalid witness file) 0 wit inspect .0018 .29 - wit inspect - wit inspect
ldv-regression/test26_false-unreach-call_true-termination.c unknown 0 wit inspect 4.8 290 41 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
ldv-regression/test27_false-unreach-call_true-termination.c unknown 0 wit inspect 6.5 320 54 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .64 49 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
ldv-regression/test28_false-unreach-call_true-termination.c unknown 0 wit inspect 5.3 310 43 error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0036 .26 - wit inspect - wit inspect
ldv-regression/test29_false-unreach-call_true-termination.c unknown 0 wit inspect 5.4 300 48 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .044 4.9 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
ldv-regression/test30_false-unreach-call_true-termination.c unknown 0 wit inspect 4.9 290 44 error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .86 48 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
ldv-regression/test01_true-unreach-call_true-termination.c true 2 wit inspect 3.8 230 36 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.9  250 true 2 wit inspect 5.5   250  
ldv-regression/test03_true-unreach-call_true-termination.c true 2 wit inspect 3.7 240 37 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.1  250 true 2 wit inspect 6.7   270  
ldv-regression/test04_true-unreach-call_true-termination.c true 2 wit inspect 3.7 240 33 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.7  250 true 2 wit inspect 6.8   300  
ldv-regression/test05_true-unreach-call_true-termination.c true 2 wit inspect 4.1 260 40 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.9  250 true 2 wit inspect 11     480  
ldv-regression/test07_true-unreach-call_true-termination.c true 2 wit inspect 4.1 270 43 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.7  250 true 2 wit inspect 8.6   350  
ldv-regression/test09_true-unreach-call_true-termination.c true 2 wit inspect 4.1 250 39 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.5  250 true 2 wit inspect 8.6   340  
ldv-regression/test10_true-unreach-call_true-termination.c unknown 0 wit inspect 5.1 290 44 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .49 43 error (2) 0 wit inspect .019 5.0
ldv-regression/test11_true-unreach-call_true-termination.c true 2 wit inspect 4.0 250 36 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.5  260 true 2 wit inspect 7.3   270  
ldv-regression/test13_true-unreach-call_true-termination.c unknown 0 wit inspect 4.9 290 39 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .024 5.0
ldv-regression/test14_true-unreach-call_true-termination.c true 2 wit inspect 4.0 250 41 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  250 true 2 wit inspect 8.2   280  
ldv-regression/test15_true-unreach-call_true-termination.c true 2 wit inspect 4.0 250 36 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  250 true 2 wit inspect 8.1   280  
ldv-regression/test16_true-unreach-call_true-termination.c true 2 wit inspect 4.2 260 36 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.1  250 true 2 wit inspect 8.8   300  
ldv-regression/test17_true-unreach-call_true-termination.c true 2 wit inspect 3.9 240 36 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.4  250 true 2 wit inspect 5.3   260  
ldv-regression/test18_true-unreach-call_true-termination.c true 2 wit inspect 3.8 240 38 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  250 true 2 wit inspect 8.7   300  
ldv-regression/test19_true-unreach-call_true-termination.c true 2 wit inspect 4.0 240 35 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.1  250 true 2 wit inspect 9.3   350  
ldv-regression/test20_true-unreach-call_true-termination.c true 2 wit inspect 3.6 240 36 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.1  250 true 2 wit inspect 5.8   260  
ldv-regression/test21_true-unreach-call_true-termination.c true 2 wit inspect 4.4 290 41 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.4  250 true 2 wit inspect 8.0   300  
ldv-regression/test22_true-unreach-call.c true 2 wit inspect 4.3 290 38 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.2  310 true 2 wit inspect 21     630  
ldv-regression/test23_true-unreach-call.c true 2 wit inspect 4.7 300 38 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.4  320 true 2 wit inspect 260     680  
ldv-regression/test24_true-unreach-call_true-termination.c true 2 wit inspect 4.1 350 42 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.3  280 true 2 wit inspect 9.4   410  
ldv-regression/test25_true-unreach-call.c true 2 wit inspect 4.5 380 43 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 20    470 true 2 wit inspect 30     530  
ldv-regression/test26_true-unreach-call_true-termination.c true 2 wit inspect 4.0 250 41 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  250 true 2 wit inspect 8.5   290  
ldv-regression/test27_true-unreach-call_true-termination.c true 2 wit inspect 4.3 270 44 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 33    500 true 2 wit inspect 160     820  
ldv-regression/test28_true-unreach-call_true-termination.c unknown 0 wit inspect 5.5 310 53 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .020 4.9
ldv-regression/test29_true-unreach-call_true-termination.c unknown 0 wit inspect 5.6 330 57 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 41 error (2) 0 wit inspect .026 4.8
ldv-regression/test30_true-unreach-call_true-termination.c unknown 0 wit inspect 5.5 310 49 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .46 44 error (2) 0 wit inspect .019 4.8
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 27   940 150 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .66 50 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 28   920 190 error (invalid witness file) 0 wit inspect .42 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0036 .26 - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 29   960 160 error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i true 2 wit inspect 24   890 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.4  280 true 2 wit inspect 13     430  
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i true 2 wit inspect 24   920 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.3  280 true 2 wit inspect 11     430  
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i true 2 wit inspect 25   920 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.3  290 true 2 wit inspect 13     420  
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i true 2 wit inspect 24   910 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.1  280 true 2 wit inspect 14     440  
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i true 2 wit inspect 23   920 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.6  280 true 2 wit inspect 12     420  
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i true 2 wit inspect 24   890 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.4  280 true 2 wit inspect 13     430  
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i true 2 wit inspect 25   920 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.2  300 true 2 wit inspect 13     430  
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i true 2 wit inspect 25   920 160 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.4  290 true 2 wit inspect 13     420  
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i true 2 wit inspect 24   910 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.1  280 true 2 wit inspect 16     430  
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i true 2 wit inspect 24   930 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.9  280 true 2 wit inspect 12     430  
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 6.9 360 54 error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 6.6 320 60 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 6.7 370 60 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0028 .34 - wit inspect - wit inspect
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 6.9 390 57 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .046 5.0 error (invalid witness file) 0 wit inspect .68 52 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i unknown 0 wit inspect 6.9 330 57 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .89 48 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown 0 wit inspect 7.1 390 59 error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 6.8 350 58 error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0010 .26 - wit inspect - wit inspect
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 7.5 400 64 error (invalid witness file) 0 wit inspect .39 40 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0037 .29 - wit inspect - wit inspect
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 6.7 350 58 error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .70 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
forester-heap/sll-01_false-unreach-call_false-valid-deref.i unknown 0 wit inspect 6.6 330 55 error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .67 50 error (invalid witness file) 0 wit inspect .0013 .30 - wit inspect - wit inspect
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 7.3 380 64 error (invalid witness file) 0 wit inspect .63 44 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 6.1 320 54 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .040 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0023 .26 - wit inspect - wit inspect
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 6.7 350 52 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .033 4.8 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0014 .28 - wit inspect - wit inspect
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 7.0 380 63 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect - wit inspect
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i unknown 0 wit inspect 6.0 310 55 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 6.1 330 48 error (invalid witness file) 0 wit inspect .64 42 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .84 48 error (invalid witness file) 0 wit inspect .0036 .30 - wit inspect - wit inspect
forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 6.7 330 57 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .64 51 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 6.6 330 56 error (invalid witness file) 0 wit inspect .63 44 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0033 .26 - wit inspect - wit inspect
forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect 6.1 320 52 error (invalid witness file) 0 wit inspect .71 46 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect - wit inspect
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 6.3 330 45 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .023 4.9
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 6.4 320 51 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .019 4.8
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 7.1 340 59 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 42 error (2) 0 wit inspect .024 4.9
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 6.7 360 61 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .047 4.9
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 6.4 330 59 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .47 44 error (2) 0 wit inspect .019 5.0
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 7.0 380 64 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .020 4.9
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 7.1 360 57 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .024 5.0
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown 0 wit inspect 6.5 320 60 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .018 5.0
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 7.4 400 63 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .019 4.8
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 6.3 350 52 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .021 4.9
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 6.3 330 59 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .020 4.9
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 7.2 370 62 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .019 4.9
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 6.3 320 59 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .021 4.9
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 6.9 350 56 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .024 5.0
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 7.1 370 58 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .019 4.8
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 6.2 320 55 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .024 4.9
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 6.8 340 61 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .020 4.8
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 6.3 350 53 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .024 4.8
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown 0 wit inspect 6.7 360 54 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .021 5.0
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 7.3 380 65 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .47 43 error (2) 0 wit inspect .021 4.9
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 6.4 430 56 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .019 4.8
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i unknown 0 wit inspect 8.7 540 66 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .87 48 error (invalid witness file) 0 wit inspect .0036 .26 - wit inspect - wit inspect
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i unknown 0 wit inspect 6.0 320 53 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i unknown 0 wit inspect 5.8 340 54 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0030 .29 - wit inspect - wit inspect
list-ext2-properties/list_and_tree_cnstr_false-unreach-call_false-termination.i unknown 0 wit inspect 7.4 420 63 error (invalid witness file) 0 wit inspect .41 42 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
list-ext2-properties/list_and_tree_cnstr_true-unreach-call_false-termination.i unknown 0 wit inspect 7.4 390 59 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 45 error (2) 0 wit inspect .020 5.0
list-ext2-properties/simple_and_skiplist_2lvl_false-unreach-call.i unknown 0 wit inspect 7.6 410 73 error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0036 .29 - wit inspect - wit inspect
list-ext2-properties/simple_and_skiplist_2lvl_true-unreach-call.i unknown 0 wit inspect 7.3 380 65 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 42 error (2) 0 wit inspect .021 4.9
list-ext2-properties/simple_search_value_false-unreach-call.i unknown 0 wit inspect 6.2 310 57 error (invalid witness file) 0 wit inspect .64 44 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
list-ext2-properties/simple_search_value_true-unreach-call.i unknown 0 wit inspect 6.6 320 58 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .020 4.9
ldv-sets/test_add_false-unreach-call_true-termination.i unknown 0 wit inspect 6.4 350 59 error (invalid witness file) 0 wit inspect .61 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect - wit inspect
ldv-sets/test_mutex_double_lock_false-unreach-call_true-termination.i unknown 0 wit inspect 8.8 520 83 error (invalid witness file) 0 wit inspect .70 41 error (2) 0 wit inspect .035 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
ldv-sets/test_mutex_double_unlock_false-unreach-call.i unknown 0 wit inspect 9.5 520 84 error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0020 .26 - wit inspect - wit inspect
ldv-sets/test_mutex_unbounded_false-unreach-call.i unknown 0 wit inspect 9.2 520 68 error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect - wit inspect
ldv-sets/test_mutex_unlock_at_exit_false-unreach-call.i unknown 0 wit inspect 8.8 520 73 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .64 49 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
ldv-sets/test_add_true-unreach-call_true-termination.i unknown 0 wit inspect 6.6 350 53 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .50 46 error (2) 0 wit inspect .017 4.8
ldv-sets/test_mutex_true-unreach-call.i unknown 0 wit inspect 9.3 530 71 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 45 error (2) 0 wit inspect .022 4.8
ldv-sets/test_mutex_unbounded_true-unreach-call.i unknown 0 wit inspect 8.5 500 67 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.8
loops/array_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 5.4 310 53 false(unreach-call) 1 wit inspect 4.1  260 true -32 wit inspect 5.7   260   unknown 0 wit inspect 1.9  180 false(unreach-call) 1 wit inspect .57   18    - wit inspect - wit inspect
loops/bubble_sort_false-unreach-call.i unknown 0 wit inspect 8.7 460 82 error (invalid witness file) 0 wit inspect .59 45 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0030 .29 - wit inspect - wit inspect
loops/count_up_down_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 5.1 310 46 false(unreach-call) 1 wit inspect 3.8  250 false(unreach-call) 1 wit inspect 3.1   250   unknown 0 wit inspect 2.0  210 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
loops/eureka_01_false-unreach-call_true-termination.i unknown 0 wit inspect 58   760 660 error (invalid witness file) 0 wit inspect .70 45 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0038 .26 - wit inspect - wit inspect
loops/for_bounded_loop1_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 5.5 330 52 false(unreach-call) 1 wit inspect 3.2  260 false(unreach-call) 1 wit inspect 7.3   270   unknown 0 wit inspect 2.8  210 true -32 wit inspect .61   18    - wit inspect - wit inspect
loops/insertion_sort_false-unreach-call_true-termination.i unknown 0 wit inspect 7.1 340 68 error (invalid witness file) 0 wit inspect .73 45 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0036 .29 - wit inspect - wit inspect
loops/invert_string_false-unreach-call_true-termination.i unknown 0 wit inspect 6.3 320 55 error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .86 48 error (invalid witness file) 0 wit inspect .0021 .29 - wit inspect - wit inspect
loops/linear_search_false-unreach-call.i false(unreach-call) 0 wit inspect 25   720 260 true -32 wit inspect 4.8  280 timeout 0 wit inspect 95     7000   unknown 0 wit inspect 3.3  210 true -32 wit inspect .62   19    - wit inspect - wit inspect
loops/ludcmp_false-unreach-call.i unknown 0 wit inspect 5.6 330 45 error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .039 4.9 error (invalid witness file) 0 wit inspect .64 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
loops/matrix_false-unreach-call_true-termination.i timeout 0 wit inspect 900   1400 8800 error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .85 48 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
loops/n.c24_false-unreach-call.i unknown 0 wit inspect 4.3 300 39 error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0037 .30 - wit inspect - wit inspect
loops/nec11_false-unreach-call_false-termination.i false(unreach-call) 1 wit inspect 5.3 310 44 false(unreach-call) 1 wit inspect 4.0  260 true -32 wit inspect 6.0   230   unknown 0 wit inspect 1.9  210 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
loops/nec20_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 5.5 300 45 false(unreach-call) 1 wit inspect 3.4  260 false(unreach-call) 1 wit inspect 3.8   260   unknown 0 wit inspect 1.9  180 false(unreach-call) 1 wit inspect .57   18    - wit inspect - wit inspect
loops/s3_false-unreach-call.i unknown 0 wit inspect 9.7 530 77 error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0010 .29 - wit inspect - wit inspect
loops/string_false-unreach-call_true-termination.i unknown 0 wit inspect 13   590 120 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .65 50 error (invalid witness file) 0 wit inspect .0010 .26 - wit inspect - wit inspect
loops/sum01_bug02_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 8.2 340 63 false(unreach-call) 1 wit inspect 4.8  270 false(unreach-call) 1 wit inspect 11     520   unknown 0 wit inspect 2.8  210 true -32 wit inspect .60   18    - wit inspect - wit inspect
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 6.7 330 54 false(unreach-call) 1 wit inspect 3.9  270 false(unreach-call) 1 wit inspect 6.4   410   unknown 0 wit inspect 2.8  210 true -32 wit inspect .57   18    - wit inspect - wit inspect
loops/sum01_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 10   470 85 false(unreach-call) 1 wit inspect 6.0  270 false(unreach-call) 1 wit inspect 9.0   500   unknown 0 wit inspect 2.9  210 true -32 wit inspect .57   18    - wit inspect - wit inspect
loops/sum03_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 10   420 92 true -32 wit inspect 3.5  250 timeout 0 wit inspect 97     490   unknown 0 wit inspect 2.7  180 false(unreach-call) 1 wit inspect .56   18    - wit inspect - wit inspect
loops/sum04_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 4.9 290 50 false(unreach-call) 1 wit inspect 3.6  260 true -32 wit inspect 5.2   250   unknown 0 wit inspect 2.8  210 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
loops/sum_array_false-unreach-call.i false(unreach-call) 1 wit inspect 6.4 330 59 timeout 0 wit inspect 92    2000 false(unreach-call) 1 wit inspect 6.0   260   unknown 0 wit inspect 2.7  210 true -32 wit inspect .57   18    - wit inspect - wit inspect
loops/terminator_01_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 5.0 300 46 false(unreach-call) 1 wit inspect 3.0  260 true -32 wit inspect 5.2   220   unknown 0 wit inspect 1.9  180 false(unreach-call) 1 wit inspect .57   18    - wit inspect - wit inspect
loops/terminator_02_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 5.8 320 52 false(unreach-call) 1 wit inspect 4.0  260 true -32 wit inspect 3.2   230   unknown 0 wit inspect 2.0  210 false(unreach-call) 1 wit inspect .57   18    - wit inspect - wit inspect
loops/terminator_03_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 5.6 310 49 false(unreach-call) 1 wit inspect 2.2  260 false(unreach-call) 1 wit inspect 5.1   260   unknown 0 wit inspect 1.9  180 false(unreach-call) 1 wit inspect .56   18    - wit inspect - wit inspect
loops/trex01_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 6.4 330 56 true -32 wit inspect 3.8  270 false(unreach-call) 1 wit inspect 5.4   260   unknown 0 wit inspect 1.9  180 true -32 wit inspect .58   18    - wit inspect - wit inspect
loops/trex02_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 22   770 200 false(unreach-call) 1 wit inspect 3.1  260 false(unreach-call) 1 wit inspect 5.2   250   unknown 0 wit inspect 2.0  190 true -32 wit inspect .58   18    - wit inspect - wit inspect
loops/trex03_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 6.0 340 53 false(unreach-call) 1 wit inspect 4.2  260 false(unreach-call) 1 wit inspect 3.6   260   unknown 0 wit inspect 2.1  210 false(unreach-call) 1 wit inspect .62   18    - wit inspect - wit inspect
loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i unknown 0 wit inspect 4.6 290 43 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i unknown 0 wit inspect 4.5 300 44 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0010 .29 - wit inspect - wit inspect
loops/vogal_false-unreach-call.i false(unreach-call) 1 wit inspect 18   670 170 false(unreach-call) 1 wit inspect 5.0  300 true -32 wit inspect 3.9   260   unknown 0 wit inspect 2.1  210 true -32 wit inspect .58   18    - wit inspect - wit inspect
loops/while_infinite_loop_4_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 5.0 300 51 false(unreach-call) 1 wit inspect 2.2  260 true -32 wit inspect 4.5   260   unknown 0 wit inspect 2.0  190 false(unreach-call) 1 wit inspect .61   18    - wit inspect - wit inspect
loops/array_true-unreach-call_true-termination.i true 2 wit inspect 3.8 250 33 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.0  270 true 2 wit inspect 7.2   280  
loops/bubble_sort_true-unreach-call_true-termination.i unknown 0 wit inspect 4.6 300 41 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .024 4.8
loops/count_up_down_true-unreach-call_true-termination.i true 2 wit inspect 4.0 250 41 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5000 true 2 wit inspect 16     330  
loops/eureka_01_true-unreach-call.i unknown 0 wit inspect 29   710 300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .024 4.8
loops/eureka_05_true-unreach-call_true-termination.i true 2 wit inspect 4.7 300 41 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    6100 true 2 wit inspect 53     800  
loops/for_infinite_loop_1_true-unreach-call_false-termination.i true 2 wit inspect 3.9 260 41 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.8  270 true 2 wit inspect 5.3   260  
loops/for_infinite_loop_2_true-unreach-call_false-termination.i true 2 wit inspect 4.1 250 35 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.1  270 true 2 wit inspect 6.4   260  
loops/insertion_sort_true-unreach-call_true-termination.i unknown 0 wit inspect 6.4 330 57 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .022 4.9
loops/invert_string_true-unreach-call_true-termination.i true 2 wit inspect 4.0 250 42 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 24    520 true 2 wit inspect 180     770  
loops/linear_sea.ch_true-unreach-call.i unknown 0 wit inspect 280   720 3500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .022 4.8
loops/lu.cmp_true-unreach-call.i true 1 wit inspect 6.8 390 63 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5400 timeout 0 wit inspect 960     3800  
loops/matrix_true-unreach-call_true-termination.i true 2 wit inspect 4.2 250 39 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.4  270 true 2 wit inspect 10     380  
loops/n.c11_true-unreach-call_false-termination.i true 2 wit inspect 25   720 260 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    7000 true 2 wit inspect 10     360  
loops/n.c40_true-unreach-call_true-termination.i true 2 wit inspect 7.4 330 62 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.9  270 true 2 wit inspect 7.4   350  
loops/nec40_true-unreach-call_true-termination.i true 2 wit inspect 8.2 340 65 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.2  270 true 2 wit inspect 7.5   330  
loops/string_true-unreach-call_true-termination.i true 2 wit inspect 5.2 310 50 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.4  280 true 2 wit inspect 11     380  
loops/sum01_true-unreach-call_true-termination.i true 2 wit inspect 4.1 290 35 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 510    7000 true 2 wit inspect 9.9   380  
loops/sum03_true-unreach-call_false-termination.i true 2 wit inspect 4.2 260 41 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.0  270 true 2 wit inspect 6.0   260  
loops/sum04_true-unreach-call_true-termination.i true 2 wit inspect 3.8 240 34 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.2  270 true 2 wit