Tool Map2Check Map2Check 7.1 : Wed Nov 22 22:30:11 -04 2017 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]
Date of execution [2017-12-01 19:46:39 CET; 2017-12-01 23:12:01 CET; 2017-12-02 00:52:46 CET] [2017-12-01 22:34:51 CET; 2017-12-02 00:17:27 CET; 2017-12-02 02:12:50 CET] [2017-12-01 23:03:48 CET; 2017-12-02 00:48:14 CET; 2017-12-02 02:29:49 CET] 2017-12-01 23:06:19 CET [2017-12-01 23:09:14 CET; 2017-12-02 00:49:56 CET; 2017-12-02 02:31:32 CET] 2017-12-01 22:04:37 CET [2017-12-01 22:38:34 CET; 2017-12-02 00:23:19 CET; 2017-12-02 02:13:30 CET]
Run set map2check.[sv-comp18.ReachSafety-Arrays; sv-comp18.ReachSafety-BitVectors; sv-comp18.ReachSafety-Heap; sv-comp18.ReachSafety-Loops; sv-comp18.ReachSafety-Recursive; sv-comp18.MemSafety-Arrays; sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists; sv-comp18.MemSafety-Other; sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other] cpa-seq-validate-violation-witnesses-map2check.[sv-comp18-violation-witness.ReachSafety-Arrays; sv-comp18-violation-witness.ReachSafety-BitVectors; sv-comp18-violation-witness.ReachSafety-Heap; sv-comp18-violation-witness.ReachSafety-Loops; sv-comp18-violation-witness.ReachSafety-Recursive; sv-comp18-violation-witness.MemSafety-Arrays; sv-comp18-violation-witness.MemSafety-Heap; sv-comp18-violation-witness.MemSafety-LinkedLists; sv-comp18-violation-witness.MemSafety-Other; sv-comp18-violation-witness.NoOverflows-BitVectors; sv-comp18-violation-witness.NoOverflows-Other] uautomizer-validate-violation-witnesses-map2check.[sv-comp18-violation-witness.ReachSafety-Arrays; sv-comp18-violation-witness.ReachSafety-BitVectors; sv-comp18-violation-witness.ReachSafety-Heap; sv-comp18-violation-witness.ReachSafety-Loops; sv-comp18-violation-witness.ReachSafety-Recursive; sv-comp18-violation-witness.MemSafety-Arrays; sv-comp18-violation-witness.MemSafety-Heap; sv-comp18-violation-witness.MemSafety-LinkedLists; sv-comp18-violation-witness.MemSafety-Other; sv-comp18-violation-witness.NoOverflows-BitVectors; sv-comp18-violation-witness.NoOverflows-Other] cpa-witness2test-validate-violation-witnesses-map2check.[sv-comp18-violation-witness.ReachSafety-Arrays; sv-comp18-violation-witness.ReachSafety-BitVectors; sv-comp18-violation-witness.ReachSafety-Heap; sv-comp18-violation-witness.ReachSafety-Loops; sv-comp18-violation-witness.ReachSafety-Recursive] fshell-witness2test-validate-violation-witnesses-map2check.[sv-comp18-violation-witness.ReachSafety-Arrays; sv-comp18-violation-witness.ReachSafety-BitVectors; sv-comp18-violation-witness.ReachSafety-Heap; sv-comp18-violation-witness.ReachSafety-Loops; sv-comp18-violation-witness.ReachSafety-Recursive; sv-comp18-violation-witness.MemSafety-Arrays; sv-comp18-violation-witness.MemSafety-Heap; sv-comp18-violation-witness.MemSafety-LinkedLists; sv-comp18-violation-witness.MemSafety-Other; sv-comp18-violation-witness.NoOverflows-BitVectors; sv-comp18-violation-witness.NoOverflows-Other] cpa-seq-validate-correctness-witnesses-map2check.[sv-comp18-correctness-witness.ReachSafety-Arrays; sv-comp18-correctness-witness.ReachSafety-BitVectors; sv-comp18-correctness-witness.ReachSafety-Heap; sv-comp18-correctness-witness.ReachSafety-Loops; sv-comp18-correctness-witness.ReachSafety-Recursive] uautomizer-validate-correctness-witnesses-map2check.[sv-comp18-correctness-witness.ReachSafety-Arrays; sv-comp18-correctness-witness.ReachSafety-BitVectors; sv-comp18-correctness-witness.ReachSafety-Heap; sv-comp18-correctness-witness.ReachSafety-Loops; sv-comp18-correctness-witness.ReachSafety-Recursive; sv-comp18-correctness-witness.MemSafety-Arrays; sv-comp18-correctness-witness.MemSafety-Heap; sv-comp18-correctness-witness.MemSafety-LinkedLists; sv-comp18-correctness-witness.MemSafety-Other; sv-comp18-correctness-witness.NoOverflows-BitVectors; sv-comp18-correctness-witness.NoOverflows-Other]
Options [-witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/map2check.2017-12-01_1946.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; -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/map2check.2017-12-01_2312.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; -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/map2check.2017-12-02_0052.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/map2check.2017-12-01_1946.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml; --full-output --validate ../../results-verified/map2check.2017-12-01_2312.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml; --full-output --validate ../../results-verified/map2check.2017-12-02_0052.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml] -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/map2check.2017-12-01_1946.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/map2check.2017-12-01_1946.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml; --graphml-witness ../../results-verified/map2check.2017-12-01_2312.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml; --graphml-witness ../../results-verified/map2check.2017-12-02_0052.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml] -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/map2check.2017-12-01_1946.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true [--full-output --validate ../../results-verified/map2check.2017-12-01_1946.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml; --full-output --validate ../../results-verified/map2check.2017-12-01_2312.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml; --full-output --validate ../../results-verified/map2check.2017-12-02_0052.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 unreach-call out of memory 0 wit inspect 61     15000 720    error (invalid witness file) 0 wit inspect .45 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .95 49 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
array-examples/sorting_bubblesort_false-unreach-call2_ground.i unreach-call unknown 0 wit inspect 890     11 12000    error (invalid witness file) 0 wit inspect .68 42 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect 1.1  51 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
array-examples/sorting_bubblesort_false-unreach-call_ground.i unreach-call unknown 0 wit inspect 890     11 14000    error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
array-examples/sorting_selectionsort_false-unreach-call2_ground.i unreach-call unknown 0 wit inspect 890     12 12000    error (invalid witness file) 0 wit inspect .73 43 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 .27 - wit inspect - wit inspect
array-examples/sorting_selectionsort_false-unreach-call_ground.i unreach-call unknown 0 wit inspect 890     11 13000    error (invalid witness file) 0 wit inspect .71 41 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
array-examples/standard_allDiff2_false-unreach-call_ground.i unreach-call unknown 0 wit inspect 890     11 11000    error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
array-examples/standard_copy1_false-unreach-call_ground.i unreach-call unknown 0 wit inspect 890     130 12000    error (invalid witness file) 0 wit inspect .71 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
array-examples/standard_copy2_false-unreach-call_ground.i unreach-call unknown 0 wit inspect 890     130 12000    error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
array-examples/standard_copy3_false-unreach-call_ground.i unreach-call unknown 0 wit inspect 900     140 11000    error (invalid witness file) 0 wit inspect .74 42 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
array-examples/standard_copy4_false-unreach-call_ground.i unreach-call unknown 0 wit inspect 890     130 11000    error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .96 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
array-examples/standard_copy5_false-unreach-call_ground.i unreach-call unknown 0 wit inspect 890     140 12000    error (invalid witness file) 0 wit inspect .73 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0015 .27 - wit inspect - wit inspect
array-examples/standard_copy6_false-unreach-call_ground.i unreach-call unknown 0 wit inspect 900     130 11000    error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
array-examples/standard_copy7_false-unreach-call_ground.i unreach-call unknown 0 wit inspect 900     130 12000    error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
array-examples/standard_copy8_false-unreach-call_ground.i unreach-call unknown 0 wit inspect 900     130 13000    error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
array-examples/standard_copy9_false-unreach-call_ground.i unreach-call unknown 0 wit inspect 900     130 12000    error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .96 48 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
array-examples/standard_copyInitSum2_false-unreach-call_ground.i unreach-call out of memory 0 wit inspect 33     15000 380    error (invalid witness file) 0 wit inspect .47 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect 1.1  51 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
array-examples/standard_init1_false-unreach-call_ground.i unreach-call out of memory 0 wit inspect 26     15000 380    error (invalid witness file) 0 wit inspect .71 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .88 47 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
array-examples/standard_init2_false-unreach-call_ground.i unreach-call out of memory 0 wit inspect 29     15000 390    error (invalid witness file) 0 wit inspect .71 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
array-examples/standard_init3_false-unreach-call_ground.i unreach-call out of memory 0 wit inspect 30     15000 370    error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
array-examples/standard_init4_false-unreach-call_ground.i unreach-call out of memory 0 wit inspect 32     15000 440    error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
array-examples/standard_init5_false-unreach-call_ground.i unreach-call out of memory 0 wit inspect 34     15000 470    error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .94 47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
array-examples/standard_init6_false-unreach-call_ground.i unreach-call out of memory 0 wit inspect 36     15000 490    error (invalid witness file) 0 wit inspect .45 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .92 47 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
array-examples/standard_init7_false-unreach-call_ground.i unreach-call out of memory 0 wit inspect 38     15000 470    error (invalid witness file) 0 wit inspect .46 43 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .89 47 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
array-examples/standard_init8_false-unreach-call_ground.i unreach-call out of memory 0 wit inspect 40     15000 600    error (invalid witness file) 0 wit inspect .44 44 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .91 47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
array-examples/standard_init9_false-unreach-call_ground.i unreach-call out of memory 0 wit inspect 42     15000 640    error (invalid witness file) 0 wit inspect .66 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
array-examples/standard_minInArray_false-unreach-call_ground.i unreach-call out of memory 0 wit inspect 28     15000 410    error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .68 50 error (invalid witness file) 0 wit inspect .0015 .27 - wit inspect - wit inspect
array-examples/standard_partition_false-unreach-call_ground.i unreach-call true -32 wit inspect 6.7   15 83    timeout 0 wit inspect 92    1900 timeout 0 wit inspect 97     630   unknown 0 wit inspect 1.2  51 error (1) 0 wit inspect .086  9.0  - wit inspect - wit inspect
array-examples/standard_running_false-unreach-call.i unreach-call out of memory 0 wit inspect 36     15000 450    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i unreach-call true 2 wit inspect 23     11 340    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 920    6100 true 2 wit inspect 9.5   270  
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i unreach-call true 2 wit inspect 30     12 470    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 920    6100 timeout 0 wit inspect 960     1900  
array-examples/relax_true-unreach-call.i unreach-call unknown 0 wit inspect .038 11 .48 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .025 5.0
array-examples/sanfoundry_02_true-unreach-call_ground.i unreach-call true 2 wit inspect 20     11 270    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2600 timeout 0 wit inspect 960     4900  
array-examples/sanfoundry_10_true-unreach-call_ground.i unreach-call true 2 wit inspect 9.5   11 110    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6300 timeout 0 wit inspect 960     1100  
array-examples/sanfoundry_24_true-unreach-call_true-termination.i unreach-call unknown 0 wit inspect 900     330 11000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .027 4.8
array-examples/sanfoundry_27_true-unreach-call_ground.i unreach-call true 2 wit inspect 10     11 170    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2500 timeout 0 wit inspect 960     2400  
array-examples/sanfoundry_43_true-unreach-call_ground.i unreach-call true 2 wit inspect 6.4   12 81    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  260 true 2 wit inspect 6.1   230  
array-examples/sorting_bubblesort_true-unreach-call_ground.i unreach-call unknown 0 wit inspect 890     11 14000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .025 4.9
array-examples/sorting_selectionsort_true-unreach-call_ground.i unreach-call unknown 0 wit inspect 900     12 13000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 45 error (2) 0 wit inspect .025 4.8
array-examples/standard_compareModified_true-unreach-call_ground.i unreach-call true 2 wit inspect 18     12 260    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4600 timeout 0 wit inspect 960     2100  
array-examples/standard_compare_true-unreach-call_ground.i unreach-call true 2 wit inspect 11     12 150    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    6200 timeout 0 wit inspect 960     4700  
array-examples/standard_copy1_true-unreach-call_ground.i unreach-call unknown 0 wit inspect 900     120 11000    - 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_copy2_true-unreach-call_ground.i unreach-call unknown 0 wit inspect 890     120 11000    - 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
array-examples/standard_copy3_true-unreach-call_ground.i unreach-call unknown 0 wit inspect 900     120 11000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 45 error (2) 0 wit inspect .021 4.8
array-examples/standard_copy4_true-unreach-call_ground.i unreach-call unknown 0 wit inspect 890     130 14000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .024 4.8
array-examples/standard_copy5_true-unreach-call_ground.i unreach-call unknown 0 wit inspect 900     130 14000    - 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
array-examples/standard_copy6_true-unreach-call_ground.i unreach-call unknown 0 wit inspect 900     130 12000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 42 error (2) 0 wit inspect .046 4.9
array-examples/standard_copy7_true-unreach-call_ground.i unreach-call unknown 0 wit inspect 900     130 11000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.9
array-examples/standard_copy8_true-unreach-call_ground.i unreach-call unknown 0 wit inspect 900     130 10000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .021 4.8
array-examples/standard_copy9_true-unreach-call_ground.i unreach-call unknown 0 wit inspect 890     130 13000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .025 4.8
array-examples/standard_copyInitSum2_true-unreach-call_ground.i unreach-call true 2 wit inspect 15     12 210    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2800 timeout 0 wit inspect 960     4800  
array-examples/standard_copyInitSum3_true-unreach-call_ground.i unreach-call true 2 wit inspect 18     12 260    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3800 timeout 0 wit inspect 960     5000  
array-examples/standard_copyInitSum_true-unreach-call_ground.i unreach-call true 2 wit inspect 16     46 210    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3500 timeout 0 wit inspect 960     4800  
array-examples/standard_copyInit_true-unreach-call_ground.i unreach-call true 2 wit inspect 12     12 180    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5000 timeout 0 wit inspect 960     3900  
array-examples/standard_find_true-unreach-call_ground.i unreach-call unknown 0 wit inspect 890     130 11000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 45 error (2) 0 wit inspect .020 4.8
array-examples/standard_init1_true-unreach-call_ground.i unreach-call true 2 wit inspect 9.1   11 120    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5000 timeout 0 wit inspect 960     2100  
array-examples/standard_init2_true-unreach-call_ground.i unreach-call true 2 wit inspect 11     11 180    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    4800 timeout 0 wit inspect 960     3700  
array-examples/standard_init3_true-unreach-call_ground.i unreach-call true 2 wit inspect 13     11 170    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5500 timeout 0 wit inspect 960     4500  
array-examples/standard_init4_true-unreach-call_ground.i unreach-call true 2 wit inspect 15     11 210    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4100 timeout 0 wit inspect 960     5000  
array-examples/standard_init5_true-unreach-call_ground.i unreach-call true 2 wit inspect 17     11 220    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4400 timeout 0 wit inspect 960     5200  
array-examples/standard_init6_true-unreach-call_ground.i unreach-call true 2 wit inspect 19     11 250    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5000 timeout 0 wit inspect 960     5200  
array-examples/standard_init7_true-unreach-call_ground.i unreach-call true 2 wit inspect 21     11 310    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5000 timeout 0 wit inspect 960     4800  
array-examples/standard_init8_true-unreach-call_ground.i unreach-call true 2 wit inspect 22     12 340    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5900 timeout 0 wit inspect 960     4800  
array-examples/standard_init9_true-unreach-call_ground.i unreach-call true 2 wit inspect 25     11 260    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4700 timeout 0 wit inspect 960     5400  
array-examples/standard_maxInArray_true-unreach-call_ground.i unreach-call true 2 wit inspect 10     11 130    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2500 timeout 0 wit inspect 960     2500  
array-examples/standard_minInArray_true-unreach-call_ground.i unreach-call true 2 wit inspect 11     11 120    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4600 timeout 0 wit inspect 960     2200  
array-examples/standard_palindrome_true-unreach-call_ground.i unreach-call true 2 wit inspect 5.5   11 89    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5400 timeout 0 wit inspect 960     1400  
array-examples/standard_partial_init_true-unreach-call_ground.i unreach-call true 2 wit inspect 20     13 250    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2300 timeout 0 wit inspect 960     4100  
array-examples/standard_partition_original_true-unreach-call_ground.i unreach-call true 2 wit inspect 12     13 140    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4200 out of memory 0 wit inspect 90     7000  
array-examples/standard_partition_true-unreach-call_ground.i unreach-call true 2 wit inspect 8.3   12 110    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5600 timeout 0 wit inspect 960     5600  
array-examples/standard_password_true-unreach-call_ground.i unreach-call true 2 wit inspect 10     12 160    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    6100 timeout 0 wit inspect 960     4700  
array-examples/standard_reverse_true-unreach-call_ground.i unreach-call true 2 wit inspect 10     12 140    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4900 timeout 0 wit inspect 960     1700  
array-examples/standard_running_true-unreach-call.i unreach-call true 2 wit inspect 11     12 130    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5600 timeout 0 wit inspect 960     750  
array-examples/standard_sentinel_true-unreach-call_true-termination.i unreach-call true 2 wit inspect 1.2   170 17    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    800 true 2 wit inspect 9.4   320  
array-examples/standard_seq_init_true-unreach-call_ground.i unreach-call true 2 wit inspect 9.1   11 120    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2400 timeout 0 wit inspect 960     2200  
array-examples/standard_strcmp_true-unreach-call_ground.i unreach-call true 2 wit inspect 11     12 170    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5100 timeout 0 wit inspect 960     4600  
array-examples/standard_strcpy_original_true-unreach-call.i unreach-call unknown 0 wit inspect 890     130 12000    - 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
array-examples/standard_strcpy_true-unreach-call_ground.i unreach-call unknown 0 wit inspect 890     120 11000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .024 4.9
array-examples/standard_two_index_01_true-unreach-call.i unreach-call true 2 wit inspect 300     50 2700    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4100 timeout 0 wit inspect 960     2700  
array-examples/standard_two_index_02_true-unreach-call.i unreach-call unknown 0 wit inspect 900     120 11000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .018 4.9
array-examples/standard_two_index_03_true-unreach-call.i unreach-call true 2 wit inspect 290     49 2700    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5000 timeout 0 wit inspect 960     3200  
array-examples/standard_two_index_04_true-unreach-call.i unreach-call unknown 0 wit inspect 900     130 11000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .023 4.9
array-examples/standard_two_index_05_true-unreach-call.i unreach-call unknown 0 wit inspect 890     120 11000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .024 4.8
array-examples/standard_two_index_06_true-unreach-call.i unreach-call true 2 wit inspect 300     49 3000    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3700 timeout 0 wit inspect 960     3000  
array-examples/standard_two_index_07_true-unreach-call.i unreach-call unknown 0 wit inspect 900     130 11000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .020 4.9
array-examples/standard_two_index_08_true-unreach-call.i unreach-call unknown 0 wit inspect 900     130 11000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .022 4.8
array-examples/standard_two_index_09_true-unreach-call.i unreach-call unknown 0 wit inspect 890     120 14000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .048 4.9
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i unreach-call true 2 wit inspect .32  11 4.0  - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 760    7000 timeout 0 wit inspect 960     4600  
array-examples/standard_vector_difference_true-unreach-call_ground.i unreach-call true 2 wit inspect 9.8   13 140    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3900 timeout 0 wit inspect 960     2000  
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i unreach-call false(unreach-call) 1 wit inspect 3.2   30 45    timeout 0 wit inspect 92    610 true -32 wit inspect 11     460   unknown 0 wit inspect 3.8  210 false(unreach-call) 1 wit inspect .58   18    - wit inspect - wit inspect
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i unreach-call false(unreach-call) 1 wit inspect 3.2   11 50    timeout 0 wit inspect 92    920 timeout 0 wit inspect 97     4800   unknown 0 wit inspect 3.3  180 false(unreach-call) 1 wit inspect .66   18    - wit inspect - wit inspect
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i unreach-call timeout 0 wit inspect 900     4000 6100    error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .87 50 error (invalid witness file) 0 wit inspect .0016 .28 - wit inspect - wit inspect
array-industry-pattern/array_range_init_false-unreach-call.i unreach-call out of memory 0 wit inspect 32     15000 390    error (invalid witness file) 0 wit inspect .70 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0016 .28 - wit inspect - wit inspect
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i unreach-call unknown 0 wit inspect 900     3200 9300    error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0015 .27 - wit inspect - wit inspect
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i unreach-call out of memory 0 wit inspect 57     15000 720    error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .88 47 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i unreach-call unknown 0 wit inspect 900     3700 9800    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .023 4.8
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i unreach-call unknown 0 wit inspect 3.3   11 38    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .025 4.8
array-industry-pattern/array_of_struct_break_true-unreach-call.i unreach-call true 2 wit inspect 17     13 220    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3800 timeout 0 wit inspect 960     4900  
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i unreach-call unknown 0 wit inspect .35  12 3.7  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .024 4.9
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i unreach-call true 2 wit inspect 11     50 140    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6100 true 2 wit inspect 15     480  
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i unreach-call unknown 0 wit inspect 900     3500 8700    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .022 4.8
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i unreach-call unknown 0 wit inspect 3.2   11 40    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .026 4.9
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i unreach-call unknown 0 wit inspect 900     120 11000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 45 error (2) 0 wit inspect .025 4.8
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i unreach-call true 2 wit inspect 9.1   30 130    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3800 timeout 0 wit inspect 960     6000  
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i unreach-call unknown 0 wit inspect 900     3200 9800    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .023 4.9
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i unreach-call true 2 wit inspect .50  12 5.6  - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5500 timeout 0 wit inspect 960     4700  
reducercommutativity/rangesum05_false-unreach-call_true-termination.i unreach-call false(unreach-call) 0 wit inspect .57  13 7.6  unknown 0 wit inspect 6.4  360 true -32 wit inspect 5.4   230   unknown 0 wit inspect 3.6  210 true -32 wit inspect .75   18    - wit inspect - wit inspect
reducercommutativity/rangesum10_false-unreach-call_true-termination.i unreach-call false(unreach-call) 1 wit inspect .68  17 8.9  false(unreach-call) 1 wit inspect 9.0  380 true -32 wit inspect 4.9   230   unknown 0 wit inspect 3.9  210 false(unreach-call) 1 wit inspect .71   18    - wit inspect - wit inspect
reducercommutativity/rangesum20_false-unreach-call.i unreach-call false(unreach-call) 1 wit inspect 1.2   28 16    false(unreach-call) 1 wit inspect 15    460 true -32 wit inspect 5.2   240   unknown 0 wit inspect 4.3  210 false(unreach-call) 1 wit inspect .77   18    - wit inspect - wit inspect
reducercommutativity/rangesum40_false-unreach-call.i unreach-call false(unreach-call) 1 wit inspect 1.7   30 23    timeout 0 wit inspect 92    950 true -32 wit inspect 5.7   250   unknown 0 wit inspect 3.6  210 false(unreach-call) 1 wit inspect .72   19    - wit inspect - wit inspect
reducercommutativity/rangesum60_false-unreach-call.i unreach-call false(unreach-call) 1 wit inspect 2.2   37 27    timeout 0 wit inspect 93    1600 true -32 wit inspect 5.6   280   unknown 0 wit inspect 3.8  260 false(unreach-call) 1 wit inspect .67   19    - wit inspect - wit inspect
reducercommutativity/rangesum_false-unreach-call_true-termination.i unreach-call true -32 wit inspect 4.4   33 53    timeout 0 wit inspect 92    1800 false(unreach-call) 1 wit inspect 13     500   unknown 0 wit inspect .71 51 error (1) 0 wit inspect .072  9.0  - wit inspect - wit inspect
reducercommutativity/avg05_true-unreach-call_true-termination.i unreach-call true 2 wit inspect .38  11 4.6  - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1300 timeout 0 wit inspect 960     5100  
reducercommutativity/avg10_true-unreach-call_true-termination.i unreach-call timeout 0 wit inspect 900     110 11000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 4.8
reducercommutativity/avg20_true-unreach-call.i unreach-call true 2 wit inspect 110     42 1400    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4900 timeout 0 wit inspect 960     1800  
reducercommutativity/avg40_true-unreach-call.i unreach-call timeout 0 wit inspect 900     140 12000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .024 4.9
reducercommutativity/avg60_true-unreach-call.i unreach-call timeout 0 wit inspect 900     140 11000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .020 4.9
reducercommutativity/avg_true-unreach-call_true-termination.i unreach-call true 2 wit inspect .51  12 6.4  - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2900 timeout 0 wit inspect 960     590  
reducercommutativity/max05_true-unreach-call_true-termination.i unreach-call true 2 wit inspect 14     15 200    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 110    920 timeout 0 wit inspect 960     3700  
reducercommutativity/max10_true-unreach-call_true-termination.i unreach-call unknown 0 wit inspect 900     110 10000    - 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
reducercommutativity/max20_true-unreach-call.i unreach-call unknown 0 wit inspect 900     180 11000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 4.9
reducercommutativity/max40_true-unreach-call.i unreach-call unknown 0 wit inspect 900     210 12000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .026 5.0
reducercommutativity/max60_true-unreach-call.i unreach-call unknown 0 wit inspect 900     240 11000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .025 4.9
reducercommutativity/max_true-unreach-call_true-termination.i unreach-call true 2 wit inspect .51  12 5.5  - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3500 timeout 0 wit inspect 960     900  
reducercommutativity/sep05_true-unreach-call_true-termination.i unreach-call true 2 wit inspect 3.5   12 52    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1500 timeout 0 wit inspect 960     1800  
reducercommutativity/sep10_true-unreach-call.i unreach-call true 2 wit inspect 150     35 1600    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1800 timeout 0 wit inspect 930     7000  
reducercommutativity/sep20_true-unreach-call.i unreach-call timeout 0 wit inspect 900     3500 8400    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .022 4.8
reducercommutativity/sep40_true-unreach-call.i unreach-call unknown 0 wit inspect 900     3300 6200    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .023 4.9
reducercommutativity/sep60_true-unreach-call.i unreach-call unknown 0 wit inspect 900     3400 6800    - 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
reducercommutativity/sep_true-unreach-call_true-termination.i unreach-call true 2 wit inspect .50  12 6.1  - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4200 timeout 0 wit inspect 960     3000  
reducercommutativity/sum05_true-unreach-call_true-termination.i unreach-call true 2 wit inspect .42  11 4.4  - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    960 true 2 wit inspect 350     3400  
reducercommutativity/sum10_true-unreach-call_true-termination.i unreach-call timeout 0 wit inspect 900     56 12000    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .026 4.9
reducercommutativity/sum20_true-unreach-call.i unreach-call true 2 wit inspect .57  12 7.5  - 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 unreach-call true 2 wit inspect .70  12 9.4  - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2500 timeout 0 wit inspect 960     4100  
reducercommutativity/sum60_true-unreach-call.i unreach-call true 2 wit inspect .93  12 12    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3000 timeout 0 wit inspect 960     3100  
reducercommutativity/sum_true-unreach-call_true-termination.i unreach-call true 2 wit inspect .49  12 5.8  - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3400 timeout 0 wit inspect 960     4700  
array-tiling/mlceu_false-unreach-call.i unreach-call true -32 wit inspect .45  12 4.9  timeout 0 wit inspect 92    1400 timeout 0 wit inspect 97     980   unknown 0 wit inspect 1.1  51 error (1) 0 wit inspect .088  9.0  - wit inspect - wit inspect
array-tiling/skippedu_false-unreach-call.i unreach-call unknown 0 wit inspect .055 11 .27 error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .86 50 error (invalid witness file) 0 wit inspect .0015 .30 - wit inspect - wit inspect
array-tiling/mbpr2_true-unreach-call.i unreach-call unknown 0 wit inspect .068 11 .23 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.9
array-tiling/mbpr3_true-unreach-call.i unreach-call unknown 0 wit inspect .035 11 .41 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .025 4.9
array-tiling/mbpr4_true-unreach-call.i unreach-call unknown 0 wit inspect .035 11 .31 - wit inspect - wit inspect - wit