Tool 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-11-30 11:20:26 CET 2017-12-01 07:29:20 CET 2017-12-01 08:07:14 CET 2017-12-01 08:15:38 CET 2017-12-01 08:19:10 CET 2017-12-01 04:11:27 CET 2017-12-01 07:35:08 CET
Run set cpa-seq.sv-comp18.ReachSafety-Arrays cpa-seq-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness.ReachSafety-Arrays uautomizer-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness.ReachSafety-Arrays cpa-witness2test-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness.ReachSafety-Arrays fshell-witness2test-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness.ReachSafety-Arrays cpa-seq-validate-correctness-witnesses-cpa-seq.sv-comp18-correctness-witness.ReachSafety-Arrays uautomizer-validate-correctness-witnesses-cpa-seq.sv-comp18-correctness-witness.ReachSafety-Arrays
Options -svcomp18 -heap 10000M -benchmark -timelimit 900s -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-seq.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const --full-output --validate ../../results-verified/cpa-seq.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-seq.2017-11-30_1120.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/cpa-seq.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-seq.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/cpa-seq.2017-11-30_1120.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   9100 7500 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .97 51 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
array-examples/sorting_bubblesort_false-unreach-call2_ground.i timeout 0 wit inspect 900   6600 9000 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .86 48 error (invalid witness file) 0 wit inspect .0014 .28 - wit inspect - wit inspect
array-examples/sorting_bubblesort_false-unreach-call_ground.i timeout 0 wit inspect 900   6800 10000 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
array-examples/sorting_selectionsort_false-unreach-call2_ground.i timeout 0 wit inspect 900   6000 7800 error (invalid witness file) 0 wit inspect .65 44 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect 1.0  50 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
array-examples/sorting_selectionsort_false-unreach-call_ground.i timeout 0 wit inspect 900   6900 9200 error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .024 5.0 error (invalid witness file) 0 wit inspect .94 47 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
array-examples/standard_allDiff2_false-unreach-call_ground.i timeout 0 wit inspect 900   8400 8500 error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
array-examples/standard_copy1_false-unreach-call_ground.i timeout 0 wit inspect 900   7600 11000 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .87 50 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
array-examples/standard_copy2_false-unreach-call_ground.i timeout 0 wit inspect 900   6200 9300 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .026 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
array-examples/standard_copy3_false-unreach-call_ground.i timeout 0 wit inspect 900   6900 9600 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
array-examples/standard_copy4_false-unreach-call_ground.i timeout 0 wit inspect 900   8000 9700 error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0015 .30 - wit inspect - wit inspect
array-examples/standard_copy5_false-unreach-call_ground.i timeout 0 wit inspect 900   8100 9600 error (invalid witness file) 0 wit inspect .53 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 .0011 .32 - wit inspect - wit inspect
array-examples/standard_copy6_false-unreach-call_ground.i timeout 0 wit inspect 900   8400 8800 error (invalid witness file) 0 wit inspect .74 46 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 .0013 .26 - wit inspect - wit inspect
array-examples/standard_copy7_false-unreach-call_ground.i timeout 0 wit inspect 900   8100 9500 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .84 51 error (invalid witness file) 0 wit inspect .0014 .30 - wit inspect - wit inspect
array-examples/standard_copy8_false-unreach-call_ground.i timeout 0 wit inspect 900   9000 10000 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
array-examples/standard_copy9_false-unreach-call_ground.i timeout 0 wit inspect 900   8900 10000 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .85 50 error (invalid witness file) 0 wit inspect .0015 .35 - wit inspect - wit inspect
array-examples/standard_copyInitSum2_false-unreach-call_ground.i timeout 0 wit inspect 900   4100 8700 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect 1.0  50 error (invalid witness file) 0 wit inspect .0011 .30 - wit inspect - wit inspect
array-examples/standard_init1_false-unreach-call_ground.i timeout 0 wit inspect 900   4600 10000 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .026 4.9 error (invalid witness file) 0 wit inspect .94 49 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
array-examples/standard_init2_false-unreach-call_ground.i timeout 0 wit inspect 900   2900 8900 error (invalid witness file) 0 wit inspect .51 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
array-examples/standard_init3_false-unreach-call_ground.i timeout 0 wit inspect 900   4300 11000 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
array-examples/standard_init4_false-unreach-call_ground.i timeout 0 wit inspect 900   4400 10000 error (invalid witness file) 0 wit inspect .39 41 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
array-examples/standard_init5_false-unreach-call_ground.i timeout 0 wit inspect 900   4200 8900 error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0014 .34 - wit inspect - wit inspect
array-examples/standard_init6_false-unreach-call_ground.i timeout 0 wit inspect 900   4100 11000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .93 50 error (invalid witness file) 0 wit inspect .0015 .30 - wit inspect - wit inspect
array-examples/standard_init7_false-unreach-call_ground.i timeout 0 wit inspect 900   4100 8300 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
array-examples/standard_init8_false-unreach-call_ground.i timeout 0 wit inspect 900   4300 9200 error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0023 .30 - wit inspect - wit inspect
array-examples/standard_init9_false-unreach-call_ground.i timeout 0 wit inspect 900   4300 11000 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect 1.1  48 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect - wit inspect
array-examples/standard_minInArray_false-unreach-call_ground.i timeout 0 wit inspect 900   4100 11000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .023 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-examples/standard_partition_false-unreach-call_ground.i timeout 0 wit inspect 900   6000 8300 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
array-examples/standard_running_false-unreach-call.i timeout 0 wit inspect 900   4700 9200 error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .86 50 error (invalid witness file) 0 wit inspect .0041 .34 - wit inspect - wit inspect
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i true 2 wit inspect 93   2300 980 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3400 true 2 wit inspect 8.1   270  
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i timeout 0 wit inspect 900   8700 9100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 5.0
array-examples/relax_true-unreach-call.i timeout 0 wit inspect 900   5500 8000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 41 error (2) 0 wit inspect .024 4.9
array-examples/sanfoundry_02_true-unreach-call_ground.i timeout 0 wit inspect 900   4300 9800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .022 4.8
array-examples/sanfoundry_10_true-unreach-call_ground.i timeout 0 wit inspect 900   9100 9100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .022 5.0
array-examples/sanfoundry_24_true-unreach-call_true-termination.i true 2 wit inspect 6.1 480 65 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.6  390 true 2 wit inspect 8.4   270  
array-examples/sanfoundry_27_true-unreach-call_ground.i timeout 0 wit inspect 900   4600 9200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .020 4.8
array-examples/sanfoundry_43_true-unreach-call_ground.i true 2 wit inspect 93   2300 1000 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.6  260 true 2 wit inspect 5.4   240  
array-examples/sorting_bubblesort_true-unreach-call_ground.i timeout 0 wit inspect 900   6400 9100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .018 4.9
array-examples/sorting_selectionsort_true-unreach-call_ground.i timeout 0 wit inspect 900   6000 9400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .050 4.9
array-examples/standard_compareModified_true-unreach-call_ground.i timeout 0 wit inspect 900   6000 8700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .018 4.9
array-examples/standard_compare_true-unreach-call_ground.i timeout 0 wit inspect 900   3900 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.8
array-examples/standard_copy1_true-unreach-call_ground.i timeout 0 wit inspect 900   6600 9800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .019 4.8
array-examples/standard_copy2_true-unreach-call_ground.i timeout 0 wit inspect 900   6900 8900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 41 error (2) 0 wit inspect .024 4.8
array-examples/standard_copy3_true-unreach-call_ground.i timeout 0 wit inspect 900   6600 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .020 4.8
array-examples/standard_copy4_true-unreach-call_ground.i timeout 0 wit inspect 900   7700 9700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .024 4.8
array-examples/standard_copy5_true-unreach-call_ground.i timeout 0 wit inspect 900   8400 8500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .020 4.9
array-examples/standard_copy6_true-unreach-call_ground.i timeout 0 wit inspect 900   8800 9300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .025 4.9
array-examples/standard_copy7_true-unreach-call_ground.i timeout 0 wit inspect 900   8700 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .49 43 error (2) 0 wit inspect .022 4.8
array-examples/standard_copy8_true-unreach-call_ground.i timeout 0 wit inspect 900   8200 8900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .026 4.8
array-examples/standard_copy9_true-unreach-call_ground.i timeout 0 wit inspect 900   9000 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 5.0
array-examples/standard_copyInitSum2_true-unreach-call_ground.i timeout 0 wit inspect 900   4100 8900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9
array-examples/standard_copyInitSum3_true-unreach-call_ground.i timeout 0 wit inspect 900   4100 8700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .024 4.8
array-examples/standard_copyInitSum_true-unreach-call_ground.i timeout 0 wit inspect 900   4000 8600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .019 4.9
array-examples/standard_copyInit_true-unreach-call_ground.i timeout 0 wit inspect 900   4700 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .022 5.0
array-examples/standard_find_true-unreach-call_ground.i timeout 0 wit inspect 900   6500 9000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .024 4.8
array-examples/standard_init1_true-unreach-call_ground.i timeout 0 wit inspect 900   2800 9300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .049 4.8
array-examples/standard_init2_true-unreach-call_ground.i timeout 0 wit inspect 900   4300 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.8
array-examples/standard_init3_true-unreach-call_ground.i timeout 0 wit inspect 900   4300 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .019 4.9
array-examples/standard_init4_true-unreach-call_ground.i timeout 0 wit inspect 900   4200 9400 - 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_init5_true-unreach-call_ground.i timeout 0 wit inspect 900   4100 9200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .76 44 error (2) 0 wit inspect .025 4.8
array-examples/standard_init6_true-unreach-call_ground.i timeout 0 wit inspect 900   4200 9300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .019 5.0
array-examples/standard_init7_true-unreach-call_ground.i timeout 0 wit inspect 900   4300 9200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 45 error (2) 0 wit inspect .018 4.8
array-examples/standard_init8_true-unreach-call_ground.i timeout 0 wit inspect 900   4400 9100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .024 5.0
array-examples/standard_init9_true-unreach-call_ground.i timeout 0 wit inspect 900   4000 9300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .020 4.9
array-examples/standard_maxInArray_true-unreach-call_ground.i timeout 0 wit inspect 900   4500 8500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.8
array-examples/standard_minInArray_true-unreach-call_ground.i timeout 0 wit inspect 900   5200 8000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .021 4.9
array-examples/standard_palindrome_true-unreach-call_ground.i timeout 0 wit inspect 900   5600 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .019 4.9
array-examples/standard_partial_init_true-unreach-call_ground.i timeout 0 wit inspect 900   4700 8000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 45 error (2) 0 wit inspect .021 4.9
array-examples/standard_partition_original_true-unreach-call_ground.i timeout 0 wit inspect 900   4900 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .020 5.0
array-examples/standard_partition_true-unreach-call_ground.i timeout 0 wit inspect 900   6400 8700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .048 4.9
array-examples/standard_password_true-unreach-call_ground.i timeout 0 wit inspect 900   3800 9600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .021 5.0
array-examples/standard_reverse_true-unreach-call_ground.i timeout 0 wit inspect 900   7200 8800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 45 error (2) 0 wit inspect .023 5.0
array-examples/standard_running_true-unreach-call.i timeout 0 wit inspect 900   4900 9000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .023 4.8
array-examples/standard_sentinel_true-unreach-call_true-termination.i true 2 wit inspect 6.5 480 66 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    990 true 2 wit inspect 8.9   310  
array-examples/standard_seq_init_true-unreach-call_ground.i timeout 0 wit inspect 900   3400 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .018 4.8
array-examples/standard_strcmp_true-unreach-call_ground.i timeout 0 wit inspect 900   3500 8800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .022 4.9
array-examples/standard_strcpy_original_true-unreach-call.i timeout 0 wit inspect 900   6500 8300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 41 error (2) 0 wit inspect .020 4.8
array-examples/standard_strcpy_true-unreach-call_ground.i timeout 0 wit inspect 900   5900 8600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .021 4.9
array-examples/standard_two_index_01_true-unreach-call.i timeout 0 wit inspect 900   6600 8200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .021 4.9
array-examples/standard_two_index_02_true-unreach-call.i timeout 0 wit inspect 900   6200 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 42 error (2) 0 wit inspect .019 4.8
array-examples/standard_two_index_03_true-unreach-call.i timeout 0 wit inspect 900   6200 11000 - 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_two_index_04_true-unreach-call.i timeout 0 wit inspect 900   5700 8500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 44 error (2) 0 wit inspect .020 4.9
array-examples/standard_two_index_05_true-unreach-call.i timeout 0 wit inspect 900   6000 10000 - 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-examples/standard_two_index_06_true-unreach-call.i timeout 0 wit inspect 900   6300 9000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .020 4.9
array-examples/standard_two_index_07_true-unreach-call.i timeout 0 wit inspect 900   6500 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .021 4.9
array-examples/standard_two_index_08_true-unreach-call.i timeout 0 wit inspect 900   6200 8900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .018 4.8
array-examples/standard_two_index_09_true-unreach-call.i timeout 0 wit inspect 900   5900 8400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 42 error (2) 0 wit inspect .020 4.9
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i timeout 0 wit inspect 900   5700 7700 - 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_vector_difference_true-unreach-call_ground.i timeout 0 wit inspect 900   6600 8400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .019 4.9
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i timeout 0 wit inspect 900   4900 9900 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .032 4.8 error (invalid witness file) 0 wit inspect .90 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i timeout 0 wit inspect 900   6300 8600 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .024 5.0 error (invalid witness file) 0 wit inspect .92 51 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i timeout 0 wit inspect 900   4000 8900 error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0015 .27 - wit inspect - wit inspect
array-industry-pattern/array_range_init_false-unreach-call.i timeout 0 wit inspect 900   5100 9900 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0022 .30 - wit inspect - wit inspect
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i timeout 0 wit inspect 900   4500 10000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i timeout 0 wit inspect 900   6600 9100 error (invalid witness file) 0 wit inspect .43 44 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 .0018 .34 - wit inspect - wit inspect
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i timeout 0 wit inspect 900   5300 8600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .020 4.8
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i timeout 0 wit inspect 900   4700 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 45 error (2) 0 wit inspect .022 5.0
array-industry-pattern/array_of_struct_break_true-unreach-call.i timeout 0 wit inspect 900   7700 7600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .021 5.0
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i timeout 0 wit inspect 900   7000 8400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .019 4.9
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i timeout 0 wit inspect 900   6900 8200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .020 4.9
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i timeout 0 wit inspect 900   6400 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .021 4.9
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i timeout 0 wit inspect 900   5800 9800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 42 error (2) 0 wit inspect .018 4.8
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i timeout 0 wit inspect 900   6300 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .019 4.9
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i timeout 0 wit inspect 900   5200 8600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 45 error (2) 0 wit inspect .019 4.9
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i timeout 0 wit inspect 900   5000 9900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .019 4.9
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i timeout 0 wit inspect 900   6600 8700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .020 4.9
reducercommutativity/rangesum05_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 81   670 810 unknown 0 wit inspect 5.0  360 false(unreach-call) 1 wit inspect 14     540   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .80   20    - wit inspect - wit inspect
reducercommutativity/rangesum10_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 370   2300 3800 unknown 0 wit inspect 5.9  390 timeout 0 wit inspect 91     7000   unknown 0 wit inspect 5.1  220 false(unreach-call) 1 wit inspect .66   20    - wit inspect - wit inspect
reducercommutativity/rangesum20_false-unreach-call.i timeout 0 wit inspect 900   2700 8000 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .81 47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
reducercommutativity/rangesum40_false-unreach-call.i timeout 0 wit inspect 900   3900 7700 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0013 .31 - wit inspect - wit inspect
reducercommutativity/rangesum60_false-unreach-call.i timeout 0 wit inspect 900   5700 8500 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .81 47 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
reducercommutativity/rangesum_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 30   560 360 true -32 wit inspect 3.5  260 false(unreach-call) 1 wit inspect 12     470   unknown 0 wit inspect 3.6  240 false(unreach-call) 1 wit inspect .73   19    - wit inspect - wit inspect
reducercommutativity/avg05_true-unreach-call_true-termination.i timeout 0 wit inspect 900   2500 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 45 error (2) 0 wit inspect .019 4.9
reducercommutativity/avg10_true-unreach-call_true-termination.i timeout 0 wit inspect 900   5100 7400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .021 4.8
reducercommutativity/avg20_true-unreach-call.i timeout 0 wit inspect 900   2800 9200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .021 4.8
reducercommutativity/avg40_true-unreach-call.i timeout 0 wit inspect 900   2700 9000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .024 5.0
reducercommutativity/avg60_true-unreach-call.i timeout 0 wit inspect 900   3100 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .019 4.9
reducercommutativity/avg_true-unreach-call_true-termination.i timeout 0 wit inspect 900   3000 7700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .023 4.9
reducercommutativity/max05_true-unreach-call_true-termination.i true 2 wit inspect 210   2400 1600 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 650    1800 timeout 0 wit inspect 960     2000  
reducercommutativity/max10_true-unreach-call_true-termination.i timeout 0 wit inspect 900   2700 6600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .020 5.0
reducercommutativity/max20_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 .61 41 error (2) 0 wit inspect .019 4.8
reducercommutativity/max40_true-unreach-call.i timeout 0 wit inspect 900   2200 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 42 error (2) 0 wit inspect .024 4.8
reducercommutativity/max60_true-unreach-call.i timeout 0 wit inspect 900   3600 8700 - 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
reducercommutativity/max_true-unreach-call_true-termination.i timeout 0 wit inspect 900   5300 8400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .019 4.8
reducercommutativity/sep05_true-unreach-call_true-termination.i true 2 wit inspect 860   3800 11000 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2000 timeout 0 wit inspect 960     2000  
reducercommutativity/sep10_true-unreach-call.i timeout 0 wit inspect 900   5300 7200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .020 4.8
reducercommutativity/sep20_true-unreach-call.i timeout 0 wit inspect 900   4300 8600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .022 4.9
reducercommutativity/sep40_true-unreach-call.i timeout 0 wit inspect 900   2700 9600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 42 error (2) 0 wit inspect .018 5.0
reducercommutativity/sep60_true-unreach-call.i timeout 0 wit inspect 900   3800 9000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .020 4.8
reducercommutativity/sep_true-unreach-call_true-termination.i timeout 0 wit inspect 900   5600 7400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 45 error (2) 0 wit inspect .018 4.8
reducercommutativity/sum05_true-unreach-call_true-termination.i timeout 0 wit inspect 900   2000 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .027 4.8
reducercommutativity/sum10_true-unreach-call_true-termination.i timeout 0 wit inspect 900   6500 7300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .019 4.9
reducercommutativity/sum20_true-unreach-call.i timeout 0 wit inspect 900   4400 9100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.8
reducercommutativity/sum40_true-unreach-call.i timeout 0 wit inspect 900   3600 8200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .019 4.8
reducercommutativity/sum60_true-unreach-call.i timeout 0 wit inspect 900   3500 9600 - 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
reducercommutativity/sum_true-unreach-call_true-termination.i timeout 0 wit inspect 900   5500 8800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .73 43 error (2) 0 wit inspect .024 4.9
array-tiling/mlceu_false-unreach-call.i timeout 0 wit inspect 900   6700 6900 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
array-tiling/skippedu_false-unreach-call.i false(unreach-call) 1 wit inspect 3.4 270 30 false(unreach-call) 1 wit inspect 3.4  270 false(unreach-call) 1 wit inspect 15     300   unknown 0 wit inspect 3.3  180 true -32 wit inspect .69   18    - wit inspect - wit inspect
array-tiling/mbpr2_true-unreach-call.i timeout 0 wit inspect 900   5800 8000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .022 4.8
array-tiling/mbpr3_true-unreach-call.i timeout 0 wit inspect 900   6500 7700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .019 4.8
array-tiling/mbpr4_true-unreach-call.i timeout 0 wit inspect 900   6800 8400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .020 4.9
array-tiling/mbpr5_true-unreach-call.i timeout 0 wit inspect 900   5800 9500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .019 4.8
array-tiling/nr2_true-unreach-call.i timeout 0 wit inspect 900   5800 6100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 42 error (2) 0 wit inspect .019 4.8
array-tiling/nr3_true-unreach-call.i timeout 0 wit inspect 900   6500 8400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.9
array-tiling/nr4_true-unreach-call.i timeout 0 wit inspect 900   4800 9600 - 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
array-tiling/nr5_true-unreach-call.i timeout 0 wit inspect 900   5700 7000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .021 4.9
array-tiling/pnr2_true-unreach-call.i timeout 0 wit inspect 900   3800 6600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 45 error (2) 0 wit inspect .020 4.8
array-tiling/pnr3_true-unreach-call.i timeout 0 wit inspect 900   4300 5600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 42 error (2) 0 wit inspect .019 4.9
array-tiling/pnr4_true-unreach-call.i timeout 0 wit inspect 900   4000 6800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .023 4.8
array-tiling/pnr5_true-unreach-call.i timeout 0 wit inspect 900   4300 7400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .021 4.9
array-tiling/poly1_true-unreach-call.i timeout 0 wit inspect 900   4100 7400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 45 error (2) 0 wit inspect .019 4.9
array-tiling/poly2_true-unreach-call.i timeout 0 wit inspect 900   5200 6400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .021 4.9
array-tiling/pr2_true-unreach-call.i timeout 0 wit inspect 900   4100 6200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 5.0
array-tiling/pr3_true-unreach-call.i timeout 0 wit inspect 900   3800 6900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 45 error (2) 0 wit inspect .024 4.8
array-tiling/pr4_true-unreach-call.i timeout 0 wit inspect 900   3800 7100 - 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/pr5_true-unreach-call.i timeout 0 wit inspect 900   3600 6400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .020 4.9
array-tiling/revcpyswp2_true-unreach-call.i timeout 0 wit inspect 900   4200 7300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .019 4.8
array-tiling/rew_true-unreach-call.i timeout 0 wit inspect 900   5100 7400 - 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
array-tiling/rewnif_true-unreach-call.i timeout 0 wit inspect 900   4600 6700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .020 4.9
array-tiling/rewnifrev2_true-unreach-call.i timeout 0 wit inspect 900   3800 7800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .024 4.9
array-tiling/rewnifrev_true-unreach-call.i timeout 0 wit inspect 900   4300 6800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .019 4.9
array-tiling/rewrev_true-unreach-call.i timeout 0 wit inspect 900   4500 6800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 45 error (2) 0 wit inspect .019 4.9
array-tiling/skipped_true-unreach-call.i timeout 0 wit inspect 900   3100 7300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .020 4.9
array-tiling/tcpy_true-unreach-call.i timeout 0 wit inspect 900   3500 6700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 5.0
array-programs/copysome1_false-unreach-call.i timeout 0 wit inspect 900   11000 9300 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .87 47 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
array-programs/copysome2_false-unreach-call.i timeout 0 wit inspect 900   8700 9300 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .81 47 error (invalid witness file) 0 wit inspect .0011 .32 - wit inspect - wit inspect
array-programs/copysome1_true-unreach-call.i timeout 0 wit inspect 900   9500 8500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .019 4.9
array-programs/copysome2_true-unreach-call.i timeout 0 wit inspect 900   7600 9800 - 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
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 870000 1400000 44 -31 40   3000 44 3 130 8500 44 0 53 2800 44 -29 2.9  89 123 6 3400 14000 123 8 2000 5600
    correct results 10 16 1700 15000 20000 1 1 3.4 270 3 3 41 1300 0 3 3 2.2  59 3 6 660 2500 4 8 31 1100
        correct true 6 12 1300 12000 15000 0 0 0 0 3 6 660 2500 4 8 31 1100
        correct false 4 4 490 3800 5000 1 1 3.4 270 3 3 41 1300 0 3 3 2.2  59 0 0
    incorrect results 0 1 -32 3.5 260 0 0 1 -32 .69 18 0 0
        incorrect true 0 1 -32 3.5 260 0 0 1 -32 .69 18 0 0
        incorrect false 0 0 0 0 0 0 0
score (167 tasks, max score: 290) 16 -31 3 0 -29 6 8
Run set cpa-seq.sv-comp18.ReachSafety-Arrays cpa-seq-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness.ReachSafety-Arrays uautomizer-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness.ReachSafety-Arrays cpa-witness2test-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness.ReachSafety-Arrays fshell-witness2test-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness.ReachSafety-Arrays cpa-seq-validate-correctness-witnesses-cpa-seq.sv-comp18-correctness-witness.ReachSafety-Arrays uautomizer-validate-correctness-witnesses-cpa-seq.sv-comp18-correctness-witness.ReachSafety-Arrays