Tool ULTIMATE Automizer 0.1.23-3204b741 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-02 01:06:24 CET 2017-12-03 03:07:09 CET 2017-12-03 03:49:57 CET 2017-12-03 03:57:59 CET 2017-12-03 04:29:07 CET 2017-12-02 23:12:02 CET 2017-12-03 03:11:19 CET
Run set uautomizer.sv-comp18.ReachSafety-Arrays cpa-seq-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-Arrays uautomizer-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-Arrays cpa-witness2test-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-Arrays fshell-witness2test-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-Arrays cpa-seq-validate-correctness-witnesses-uautomizer.sv-comp18-correctness-witness.ReachSafety-Arrays uautomizer-validate-correctness-witnesses-uautomizer.sv-comp18-correctness-witness.ReachSafety-Arrays
Options --full-output -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/uautomizer.2017-12-02_0106.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/uautomizer.2017-12-02_0106.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/uautomizer.2017-12-02_0106.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/uautomizer.2017-12-02_0106.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/uautomizer.2017-12-02_0106.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/uautomizer.2017-12-02_0106.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy 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 timeout 0 wit inspect 900   4700 12000 error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0018 .27 - wit inspect - wit inspect
array-examples/sorting_bubblesort_false-unreach-call2_ground.i timeout 0 wit inspect 900   5200 12000 error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect - wit inspect
array-examples/sorting_bubblesort_false-unreach-call_ground.i timeout 0 wit inspect 900   5100 12000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0016 .33 - wit inspect - wit inspect
array-examples/sorting_selectionsort_false-unreach-call2_ground.i timeout 0 wit inspect 900   5000 14000 error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect 1.1  48 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect - wit inspect
array-examples/sorting_selectionsort_false-unreach-call_ground.i timeout 0 wit inspect 900   5100 11000 error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
array-examples/standard_allDiff2_false-unreach-call_ground.i timeout 0 wit inspect 900   5400 11000 error (invalid witness file) 0 wit inspect .59 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 .0017 .27 - wit inspect - wit inspect
array-examples/standard_copy1_false-unreach-call_ground.i timeout 0 wit inspect 900   4500 10000 error (invalid witness file) 0 wit inspect .65 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect 1.1  52 error (invalid witness file) 0 wit inspect .0019 .29 - wit inspect - wit inspect
array-examples/standard_copy2_false-unreach-call_ground.i timeout 0 wit inspect 900   4900 10000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect 1.0  47 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect - wit inspect
array-examples/standard_copy3_false-unreach-call_ground.i timeout 0 wit inspect 900   5100 10000 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .97 50 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
array-examples/standard_copy4_false-unreach-call_ground.i timeout 0 wit inspect 900   5200 9400 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0016 .32 - wit inspect - wit inspect
array-examples/standard_copy5_false-unreach-call_ground.i timeout 0 wit inspect 900   5200 11000 error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .92 50 error (invalid witness file) 0 wit inspect .0018 .29 - wit inspect - wit inspect
array-examples/standard_copy6_false-unreach-call_ground.i timeout 0 wit inspect 900   5300 9800 error (invalid witness file) 0 wit inspect .74 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
array-examples/standard_copy7_false-unreach-call_ground.i timeout 0 wit inspect 900   5200 11000 error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect - wit inspect
array-examples/standard_copy8_false-unreach-call_ground.i timeout 0 wit inspect 900   5300 9900 error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .034 4.8 error (invalid witness file) 0 wit inspect .98 49 error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
array-examples/standard_copy9_false-unreach-call_ground.i timeout 0 wit inspect 900   5200 10000 error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
array-examples/standard_copyInitSum2_false-unreach-call_ground.i timeout 0 wit inspect 900   4500 11000 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect .91 49 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
array-examples/standard_init1_false-unreach-call_ground.i timeout 0 wit inspect 900   2100 10000 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .84 48 error (invalid witness file) 0 wit inspect .0019 .26 - wit inspect - wit inspect
array-examples/standard_init2_false-unreach-call_ground.i timeout 0 wit inspect 900   2200 11000 error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .90 47 error (invalid witness file) 0 wit inspect .0015 .34 - wit inspect - wit inspect
array-examples/standard_init3_false-unreach-call_ground.i timeout 0 wit inspect 900   4200 11000 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .91 47 error (invalid witness file) 0 wit inspect .0019 .30 - wit inspect - wit inspect
array-examples/standard_init4_false-unreach-call_ground.i timeout 0 wit inspect 900   4900 9200 error (invalid witness file) 0 wit inspect .59 44 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 .0015 .27 - wit inspect - wit inspect
array-examples/standard_init5_false-unreach-call_ground.i timeout 0 wit inspect 900   5500 9200 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0020 .30 - wit inspect - wit inspect
array-examples/standard_init6_false-unreach-call_ground.i timeout 0 wit inspect 900   5700 9400 error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .93 49 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
array-examples/standard_init7_false-unreach-call_ground.i timeout 0 wit inspect 900   5700 12000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
array-examples/standard_init8_false-unreach-call_ground.i timeout 0 wit inspect 900   5100 8500 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect 1.2  47 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect - wit inspect
array-examples/standard_init9_false-unreach-call_ground.i timeout 0 wit inspect 900   5600 8900 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .82 49 error (invalid witness file) 0 wit inspect .0011 .30 - wit inspect - wit inspect
array-examples/standard_minInArray_false-unreach-call_ground.i timeout 0 wit inspect 900   5200 11000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .91 49 error (invalid witness file) 0 wit inspect .0019 .28 - wit inspect - wit inspect
array-examples/standard_partition_false-unreach-call_ground.i timeout 0 wit inspect 900   4500 11000 error (invalid witness file) 0 wit inspect .51 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0017 .30 - wit inspect - wit inspect
array-examples/standard_running_false-unreach-call.i timeout 0 wit inspect 900   6300 10000 error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0018 .29 - wit inspect - wit inspect
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i true 2 wit inspect 6.2 290 49 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3600 true 2 wit inspect 7.3   280  
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i timeout 0 wit inspect 900   2000 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .019 4.9
array-examples/relax_true-unreach-call.i timeout 0 wit inspect 900   740 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .019 4.9
array-examples/sanfoundry_02_true-unreach-call_ground.i timeout 0 wit inspect 900   5300 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 45 error (2) 0 wit inspect .020 4.9
array-examples/sanfoundry_10_true-unreach-call_ground.i timeout 0 wit inspect 900   980 13000 - 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
array-examples/sanfoundry_24_true-unreach-call_true-termination.i true 2 wit inspect 6.3 290 49 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.9  490 true 2 wit inspect 7.4   270  
array-examples/sanfoundry_27_true-unreach-call_ground.i timeout 0 wit inspect 900   2800 8900 - 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-examples/sanfoundry_43_true-unreach-call_ground.i true 2 wit inspect 4.2 250 34 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.3  260 true 2 wit inspect 4.6   230  
array-examples/sorting_bubblesort_true-unreach-call_ground.i timeout 0 wit inspect 900   5000 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .018 4.9
array-examples/sorting_selectionsort_true-unreach-call_ground.i timeout 0 wit inspect 900   5100 15000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .74 44 error (2) 0 wit inspect .021 4.9
array-examples/standard_compareModified_true-unreach-call_ground.i timeout 0 wit inspect 900   2600 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .023 4.9
array-examples/standard_compare_true-unreach-call_ground.i timeout 0 wit inspect 900   5200 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.9
array-examples/standard_copy1_true-unreach-call_ground.i timeout 0 wit inspect 900   4400 11000 - 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_copy2_true-unreach-call_ground.i timeout 0 wit inspect 900   5100 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .018 4.9
array-examples/standard_copy3_true-unreach-call_ground.i timeout 0 wit inspect 900   5100 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .021 4.8
array-examples/standard_copy4_true-unreach-call_ground.i timeout 0 wit inspect 900   5200 11000 - 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-examples/standard_copy5_true-unreach-call_ground.i timeout 0 wit inspect 900   5100 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .020 4.9
array-examples/standard_copy6_true-unreach-call_ground.i timeout 0 wit inspect 900   5300 10000 - 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
array-examples/standard_copy7_true-unreach-call_ground.i timeout 0 wit inspect 900   5200 9700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .73 44 error (2) 0 wit inspect .019 4.8
array-examples/standard_copy8_true-unreach-call_ground.i timeout 0 wit inspect 900   5400 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.8
array-examples/standard_copy9_true-unreach-call_ground.i timeout 0 wit inspect 900   5300 10000 - 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
array-examples/standard_copyInitSum2_true-unreach-call_ground.i timeout 0 wit inspect 900   5000 10000 - 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-examples/standard_copyInitSum3_true-unreach-call_ground.i timeout 0 wit inspect 900   4800 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.9
array-examples/standard_copyInitSum_true-unreach-call_ground.i timeout 0 wit inspect 900   5100 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 4.9
array-examples/standard_copyInit_true-unreach-call_ground.i timeout 0 wit inspect 900   3300 9900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .45 43 error (2) 0 wit inspect .020 4.9
array-examples/standard_find_true-unreach-call_ground.i timeout 0 wit inspect 900   5000 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .022 4.8
array-examples/standard_init1_true-unreach-call_ground.i timeout 0 wit inspect 900   2200 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .018 4.8
array-examples/standard_init2_true-unreach-call_ground.i timeout 0 wit inspect 900   2900 10000 - 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
array-examples/standard_init3_true-unreach-call_ground.i timeout 0 wit inspect 900   4400 9700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .019 4.8
array-examples/standard_init4_true-unreach-call_ground.i timeout 0 wit inspect 900   5100 8100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .020 4.8
array-examples/standard_init5_true-unreach-call_ground.i timeout 0 wit inspect 900   5500 8700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .023 5.0
array-examples/standard_init6_true-unreach-call_ground.i timeout 0 wit inspect 900   5700 8300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .48 43 error (2) 0 wit inspect .017 4.9
array-examples/standard_init7_true-unreach-call_ground.i timeout 0 wit inspect 900   5800 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 44 error (2) 0 wit inspect .019 5.0
array-examples/standard_init8_true-unreach-call_ground.i timeout 0 wit inspect 900   5100 8100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .023 4.9
array-examples/standard_init9_true-unreach-call_ground.i timeout 0 wit inspect 900   5600 8000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .020 4.9
array-examples/standard_maxInArray_true-unreach-call_ground.i timeout 0 wit inspect 900   2600 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .019 4.9
array-examples/standard_minInArray_true-unreach-call_ground.i timeout 0 wit inspect 900   2700 8800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .019 4.9
array-examples/standard_palindrome_true-unreach-call_ground.i timeout 0 wit inspect 900   1400 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .019 4.8
array-examples/standard_partial_init_true-unreach-call_ground.i timeout 0 wit inspect 900   2900 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .018 4.9
array-examples/standard_partition_original_true-unreach-call_ground.i timeout 0 wit inspect 910   14000 3500 - 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
array-examples/standard_partition_true-unreach-call_ground.i timeout 0 wit inspect 900   650 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .019 5.0
array-examples/standard_password_true-unreach-call_ground.i timeout 0 wit inspect 900   5200 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .021 4.8
array-examples/standard_reverse_true-unreach-call_ground.i timeout 0 wit inspect 900   1800 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 41 error (2) 0 wit inspect .019 5.0
array-examples/standard_running_true-unreach-call.i timeout 0 wit inspect 900   860 13000 - 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
array-examples/standard_sentinel_true-unreach-call_true-termination.i true 2 wit inspect 6.6 330 52 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    990 true 2 wit inspect 5.4   260  
array-examples/standard_seq_init_true-unreach-call_ground.i timeout 0 wit inspect 900   1800 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 42 error (2) 0 wit inspect .022 4.9
array-examples/standard_strcmp_true-unreach-call_ground.i timeout 0 wit inspect 900   5200 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .024 4.8
array-examples/standard_strcpy_original_true-unreach-call.i timeout 0 wit inspect 900   3700 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .45 43 error (2) 0 wit inspect .019 4.9
array-examples/standard_strcpy_true-unreach-call_ground.i timeout 0 wit inspect 900   3300 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .018 5.0
array-examples/standard_two_index_01_true-unreach-call.i timeout 0 wit inspect 900   2900 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .024 4.8
array-examples/standard_two_index_02_true-unreach-call.i timeout 0 wit inspect 900   3000 9800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .023 4.9
array-examples/standard_two_index_03_true-unreach-call.i timeout 0 wit inspect 900   3000 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .024 4.8
array-examples/standard_two_index_04_true-unreach-call.i timeout 0 wit inspect 900   2800 9800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .49 43 error (2) 0 wit inspect .021 4.8
array-examples/standard_two_index_05_true-unreach-call.i timeout 0 wit inspect 900   2900 9500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .019 5.0
array-examples/standard_two_index_06_true-unreach-call.i timeout 0 wit inspect 900   3300 8900 - 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
array-examples/standard_two_index_07_true-unreach-call.i timeout 0 wit inspect 900   2800 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .018 4.9
array-examples/standard_two_index_08_true-unreach-call.i timeout 0 wit inspect 900   2900 10000 - 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
array-examples/standard_two_index_09_true-unreach-call.i timeout 0 wit inspect 900   2500 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 41 error (2) 0 wit inspect .022 4.8
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i timeout 0 wit inspect 900   4600 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .019 4.9
array-examples/standard_vector_difference_true-unreach-call_ground.i timeout 0 wit inspect 900   1900 11000 - 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
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i timeout 0 wit inspect 900   2500 11000 error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i timeout 0 wit inspect 900   5100 9400 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect - wit inspect
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i timeout 0 wit inspect 900   5100 13000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .90 49 error (invalid witness file) 0 wit inspect .0020 .29 - wit inspect - wit inspect
array-industry-pattern/array_range_init_false-unreach-call.i timeout 0 wit inspect 900   5200 6700 error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i timeout 0 wit inspect 900   5100 11000 error (invalid witness file) 0 wit inspect .62 46 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0031 .31 - wit inspect - wit inspect
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i timeout 0 wit inspect 900   5300 12000 error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect 1.0  50 error (invalid witness file) 0 wit inspect .0018 .27 - wit inspect - wit inspect
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i timeout 0 wit inspect 900   3400 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .017 4.8
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i timeout 0 wit inspect 900   1700 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .018 4.9
array-industry-pattern/array_of_struct_break_true-unreach-call.i timeout 0 wit inspect 900   5300 8800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .019 5.0
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i timeout 0 wit inspect 900   5900 7400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .018 4.8
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i true 2 wit inspect 9.6 500 83 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6100 true 2 wit inspect 12     460  
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i timeout 0 wit inspect 900   5900 7900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .023 4.8
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i timeout 0 wit inspect 900   5900 7800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .018 4.9
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i timeout 0 wit inspect 900   5900 9600 - 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
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i timeout 0 wit inspect 900   5800 7200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .018 4.8
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i timeout 0 wit inspect 900   5900 9400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .019 4.9
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i timeout 0 wit inspect 900   3700 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .019 4.9
reducercommutativity/rangesum05_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 9.8 530 83 unknown 0 wit inspect 5.6  360 false(unreach-call) 1 wit inspect 8.7   340   unknown 0 wit inspect 4.0  210 false(unreach-call) 1 wit inspect .75   19    - wit inspect - wit inspect
reducercommutativity/rangesum10_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 25   730 250 unknown 0 wit inspect 5.0  380 false(unreach-call) 1 wit inspect 46     4500   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .83   19    - wit inspect - wit inspect
reducercommutativity/rangesum20_false-unreach-call.i timeout 0 wit inspect 900   1400 13000 error (invalid witness file) 0 wit inspect .61 42 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0014 .31 - wit inspect - wit inspect
reducercommutativity/rangesum40_false-unreach-call.i timeout 0 wit inspect 900   860 11000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
reducercommutativity/rangesum60_false-unreach-call.i timeout 0 wit inspect 900   2400 11000 error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .88 51 error (invalid witness file) 0 wit inspect .0019 .27 - wit inspect - wit inspect
reducercommutativity/rangesum_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 10   540 88 timeout 0 wit inspect 92    2000 false(unreach-call) 1 wit inspect 7.7   310   unknown 0 wit inspect 3.2  210 true -32 wit inspect .77   19    - wit inspect - wit inspect
reducercommutativity/avg05_true-unreach-call_true-termination.i timeout 0 wit inspect 900   5300 9400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .019 4.8
reducercommutativity/avg10_true-unreach-call_true-termination.i timeout 0 wit inspect 900   7700 8800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .021 5.0
reducercommutativity/avg20_true-unreach-call.i timeout 0 wit inspect 900   2200 7400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .018 4.9
reducercommutativity/avg40_true-unreach-call.i timeout 0 wit inspect 900   4100 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .019 4.8
reducercommutativity/avg60_true-unreach-call.i timeout 0 wit inspect 900   2900 9600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .022 4.8
reducercommutativity/avg_true-unreach-call_true-termination.i timeout 0 wit inspect 900   660 9900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .020 4.8
reducercommutativity/max05_true-unreach-call_true-termination.i timeout 0 wit inspect 900   1600 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 42 error (2) 0 wit inspect .018 4.9
reducercommutativity/max10_true-unreach-call_true-termination.i timeout 0 wit inspect 900   2400 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 44 error (2) 0 wit inspect .024 4.9
reducercommutativity/max20_true-unreach-call.i timeout 0 wit inspect 900   3400 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 44 error (2) 0 wit inspect .024 5.0
reducercommutativity/max40_true-unreach-call.i timeout 0 wit inspect 900   4400 11000 - 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
reducercommutativity/max60_true-unreach-call.i timeout 0 wit inspect 900   2900 9900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .020 4.8
reducercommutativity/max_true-unreach-call_true-termination.i timeout 0 wit inspect 900   1200 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 44 error (2) 0 wit inspect .020 4.9
reducercommutativity/sep05_true-unreach-call_true-termination.i timeout 0 wit inspect 900   1700 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .025 4.8
reducercommutativity/sep10_true-unreach-call.i timeout 0 wit inspect 910   8000 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .025 5.0
reducercommutativity/sep20_true-unreach-call.i timeout 0 wit inspect 900   7100 9700 - 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
reducercommutativity/sep40_true-unreach-call.i timeout 0 wit inspect 900   3900 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .019 4.9
reducercommutativity/sep60_true-unreach-call.i timeout 0 wit inspect 900   3000 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .019 4.9
reducercommutativity/sep_true-unreach-call_true-termination.i timeout 0 wit inspect 900   1500 11000 - 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
reducercommutativity/sum05_true-unreach-call_true-termination.i true 2 wit inspect 310   3200 3700 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    970 true 2 wit inspect 350     2800  
reducercommutativity/sum10_true-unreach-call_true-termination.i timeout 0 wit inspect 900   5700 9400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .020 4.8
reducercommutativity/sum20_true-unreach-call.i timeout 0 wit inspect 900   4700 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .019 4.8
reducercommutativity/sum40_true-unreach-call.i timeout 0 wit inspect 900   4600 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .020 4.9
reducercommutativity/sum60_true-unreach-call.i timeout 0 wit inspect 900   2400 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 42 error (2) 0 wit inspect .017 5.0
reducercommutativity/sum_true-unreach-call_true-termination.i timeout 0 wit inspect 900   4900 8400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .020 4.8
array-tiling/mlceu_false-unreach-call.i timeout 0 wit inspect 900   1600 12000 error (invalid witness file) 0 wit inspect .70 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0015 .30 - wit inspect - wit inspect
array-tiling/skippedu_false-unreach-call.i false(unreach-call) 1 wit inspect 6.4 290 58 timeout 0 wit inspect 92    2000 false(unreach-call) 1 wit inspect 6.0   280   unknown 0 wit inspect 3.8  210 true -32 wit inspect .62   18    - wit inspect - wit inspect
array-tiling/mbpr2_true-unreach-call.i error (7) 0 wit inspect 20   330 220 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 44 error (2) 0 wit inspect .018 4.8
array-tiling/mbpr3_true-unreach-call.i timeout 0 wit inspect 900   1300 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.9
array-tiling/mbpr4_true-unreach-call.i error (7) 0 wit inspect 21   380 160 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 42 error (2) 0 wit inspect .019 4.8
array-tiling/mbpr5_true-unreach-call.i error (7) 0 wit inspect 93   790 980 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .022 4.8
array-tiling/nr2_true-unreach-call.i timeout 0 wit inspect 900   2400 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .021 4.8
array-tiling/nr3_true-unreach-call.i timeout 0 wit inspect 900   830 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .020 5.0
array-tiling/nr4_true-unreach-call.i timeout 0 wit inspect 900   890 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .018 4.9
array-tiling/nr5_true-unreach-call.i timeout 0 wit inspect 900   870 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .021 4.8
array-tiling/pnr2_true-unreach-call.i timeout 0 wit inspect 900   2300 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 42 error (2) 0 wit inspect .024 4.9
array-tiling/pnr3_true-unreach-call.i timeout 0 wit inspect 900   1700 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 45 error (2) 0 wit inspect .019 4.9
array-tiling/pnr4_true-unreach-call.i timeout 0 wit inspect 900   2600 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 42 error (2) 0 wit inspect .019 4.9
array-tiling/pnr5_true-unreach-call.i timeout 0 wit inspect 900   3400 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .020 4.8
array-tiling/poly1_true-unreach-call.i timeout 0 wit inspect 900   930 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 5.0
array-tiling/poly2_true-unreach-call.i timeout 0 wit inspect 900   1700 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 44 error (2) 0 wit inspect .017 4.9
array-tiling/pr2_true-unreach-call.i timeout 0 wit inspect 900   1200 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .023 4.8
array-tiling/pr3_true-unreach-call.i timeout 0 wit inspect 900   1200 14000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 46 error (2) 0 wit inspect .020 4.8
array-tiling/pr4_true-unreach-call.i timeout 0 wit inspect 900   910 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 45 error (2) 0 wit inspect .023 4.9
array-tiling/pr5_true-unreach-call.i timeout 0 wit inspect 900   1300 11000 - 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
array-tiling/revcpyswp2_true-unreach-call.i timeout 0 wit inspect 900   1600 14000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .018 4.9
array-tiling/rew_true-unreach-call.i timeout 0 wit inspect 900   2000 10000 - 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
array-tiling/rewnif_true-unreach-call.i timeout 0 wit inspect 900   1200 13000 - 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
array-tiling/rewnifrev2_true-unreach-call.i timeout 0 wit inspect 900   3100 9300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .021 4.8
array-tiling/rewnifrev_true-unreach-call.i timeout 0 wit inspect 900   2100 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 44 error (2) 0 wit inspect .018 5.0
array-tiling/rewrev_true-unreach-call.i timeout 0 wit inspect 900   2200 12000 - 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
array-tiling/skipped_true-unreach-call.i timeout 0 wit inspect 900   1500 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .019 4.8
array-tiling/tcpy_true-unreach-call.i timeout 0 wit inspect 900   2600 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .020 4.8
array-programs/copysome1_false-unreach-call.i timeout 0 wit inspect 900   4300 8800 error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .83 48 error (invalid witness file) 0 wit inspect .0015 .28 - wit inspect - wit inspect
array-programs/copysome2_false-unreach-call.i timeout 0 wit inspect 900   3300 9400 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .90 48 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
array-programs/copysome1_true-unreach-call.i timeout 0 wit inspect 900   2600 9000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .018 4.8
array-programs/copysome2_true-unreach-call.i timeout 0 wit inspect 900   3200 8800 - 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
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
total 167 16 140000 590000 1600000 44 0 220 6400 44 4 70 5600 44 0 54 2800 44 -62 3.0 87 123 4 3700 17000 123 12 390 4800
    correct results 10 16 390 6900 4500 0 4 4 69 5400 0 2 2 1.6 38 2 4 11 750 6 12 390 4200
        correct true 6 12 340 4800 4000 0 0 0 0 2 4 11 750 6 12 390 4200
        correct false 4 4 51 2100 480 0 4 4 69 5400 0 2 2 1.6 38 0 0
    incorrect results 0 0 0 0 2 -64 1.4 37 0 0
        incorrect true 0 0 0 0 2 -64 1.4 37 0 0
        incorrect false 0 0 0 0 0 0 0
score (167 tasks, max score: 290) 16 0 4 0 -62 4 12
Run set uautomizer.sv-comp18.ReachSafety-Arrays cpa-seq-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-Arrays uautomizer-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-Arrays cpa-witness2test-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-Arrays fshell-witness2test-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-Arrays cpa-seq-validate-correctness-witnesses-uautomizer.sv-comp18-correctness-witness.ReachSafety-Arrays uautomizer-validate-correctness-witnesses-uautomizer.sv-comp18-correctness-witness.ReachSafety-Arrays