Tool skink CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CPA-witness2test 1.6.1-svn 26773 CProver witness2test 0.1 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon* [apollon077; apollon078; apollon155] [apollon030; apollon077; apollon078] [apollon077; apollon078] apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB] CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [4; 8], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33554 MB; 33553 MB] CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB] CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 4, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33554 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-12-01 22:03:39 CET 2017-12-02 00:36:21 CET 2017-12-02 01:00:42 CET 2017-12-02 01:03:22 CET 2017-12-02 01:04:20 CET 2017-12-02 00:04:19 CET 2017-12-02 00:40:05 CET
Run set skink.sv-comp18.ReachSafety-Loops cpa-seq-validate-violation-witnesses-skink.sv-comp18-violation-witness.ReachSafety-Loops uautomizer-validate-violation-witnesses-skink.sv-comp18-violation-witness.ReachSafety-Loops cpa-witness2test-validate-violation-witnesses-skink.sv-comp18-violation-witness.ReachSafety-Loops fshell-witness2test-validate-violation-witnesses-skink.sv-comp18-violation-witness.ReachSafety-Loops cpa-seq-validate-correctness-witnesses-skink.sv-comp18-correctness-witness.ReachSafety-Loops uautomizer-validate-correctness-witnesses-skink.sv-comp18-correctness-witness.ReachSafety-Loops
Options -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/skink.2017-12-01_2203.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const --full-output --validate ../../results-verified/skink.2017-12-01_2203.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/skink.2017-12-01_2203.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true --graphml-witness ../../results-verified/skink.2017-12-01_2203.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/skink.2017-12-01_2203.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/skink.2017-12-01_2203.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml
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
loops/array_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 5.4 310 53 false(unreach-call) 1 wit inspect 4.1  260 true -32 wit inspect 5.7   260   unknown 0 wit inspect 1.9  180 false(unreach-call) 1 wit inspect .57   18    - wit inspect - wit inspect
loops/bubble_sort_false-unreach-call.i unknown 0 wit inspect 8.7 460 82 error (invalid witness file) 0 wit inspect .59 45 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0030 .29 - wit inspect - wit inspect
loops/count_up_down_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 5.1 310 46 false(unreach-call) 1 wit inspect 3.8  250 false(unreach-call) 1 wit inspect 3.1   250   unknown 0 wit inspect 2.0  210 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
loops/eureka_01_false-unreach-call_true-termination.i unknown 0 wit inspect 58   760 660 error (invalid witness file) 0 wit inspect .70 45 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0038 .26 - wit inspect - wit inspect
loops/for_bounded_loop1_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 5.5 330 52 false(unreach-call) 1 wit inspect 3.2  260 false(unreach-call) 1 wit inspect 7.3   270   unknown 0 wit inspect 2.8  210 true -32 wit inspect .61   18    - wit inspect - wit inspect
loops/insertion_sort_false-unreach-call_true-termination.i unknown 0 wit inspect 7.1 340 68 error (invalid witness file) 0 wit inspect .73 45 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0036 .29 - wit inspect - wit inspect
loops/invert_string_false-unreach-call_true-termination.i unknown 0 wit inspect 6.3 320 55 error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .86 48 error (invalid witness file) 0 wit inspect .0021 .29 - wit inspect - wit inspect
loops/linear_search_false-unreach-call.i false(unreach-call) 0 wit inspect 25   720 260 true -32 wit inspect 4.8  280 timeout 0 wit inspect 95     7000   unknown 0 wit inspect 3.3  210 true -32 wit inspect .62   19    - wit inspect - wit inspect
loops/ludcmp_false-unreach-call.i unknown 0 wit inspect 5.6 330 45 error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .039 4.9 error (invalid witness file) 0 wit inspect .64 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
loops/matrix_false-unreach-call_true-termination.i timeout 0 wit inspect 900   1400 8800 error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .85 48 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
loops/n.c24_false-unreach-call.i unknown 0 wit inspect 4.3 300 39 error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0037 .30 - wit inspect - wit inspect
loops/nec11_false-unreach-call_false-termination.i false(unreach-call) 1 wit inspect 5.3 310 44 false(unreach-call) 1 wit inspect 4.0  260 true -32 wit inspect 6.0   230   unknown 0 wit inspect 1.9  210 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
loops/nec20_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 5.5 300 45 false(unreach-call) 1 wit inspect 3.4  260 false(unreach-call) 1 wit inspect 3.8   260   unknown 0 wit inspect 1.9  180 false(unreach-call) 1 wit inspect .57   18    - wit inspect - wit inspect
loops/s3_false-unreach-call.i unknown 0 wit inspect 9.7 530 77 error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0010 .29 - wit inspect - wit inspect
loops/string_false-unreach-call_true-termination.i unknown 0 wit inspect 13   590 120 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .65 50 error (invalid witness file) 0 wit inspect .0010 .26 - wit inspect - wit inspect
loops/sum01_bug02_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 8.2 340 63 false(unreach-call) 1 wit inspect 4.8  270 false(unreach-call) 1 wit inspect 11     520   unknown 0 wit inspect 2.8  210 true -32 wit inspect .60   18    - wit inspect - wit inspect
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 6.7 330 54 false(unreach-call) 1 wit inspect 3.9  270 false(unreach-call) 1 wit inspect 6.4   410   unknown 0 wit inspect 2.8  210 true -32 wit inspect .57   18    - wit inspect - wit inspect
loops/sum01_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 10   470 85 false(unreach-call) 1 wit inspect 6.0  270 false(unreach-call) 1 wit inspect 9.0   500   unknown 0 wit inspect 2.9  210 true -32 wit inspect .57   18    - wit inspect - wit inspect
loops/sum03_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 10   420 92 true -32 wit inspect 3.5  250 timeout 0 wit inspect 97     490   unknown 0 wit inspect 2.7  180 false(unreach-call) 1 wit inspect .56   18    - wit inspect - wit inspect
loops/sum04_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 4.9 290 50 false(unreach-call) 1 wit inspect 3.6  260 true -32 wit inspect 5.2   250   unknown 0 wit inspect 2.8  210 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
loops/sum_array_false-unreach-call.i false(unreach-call) 1 wit inspect 6.4 330 59 timeout 0 wit inspect 92    2000 false(unreach-call) 1 wit inspect 6.0   260   unknown 0 wit inspect 2.7  210 true -32 wit inspect .57   18    - wit inspect - wit inspect
loops/terminator_01_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 5.0 300 46 false(unreach-call) 1 wit inspect 3.0  260 true -32 wit inspect 5.2   220   unknown 0 wit inspect 1.9  180 false(unreach-call) 1 wit inspect .57   18    - wit inspect - wit inspect
loops/terminator_02_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 5.8 320 52 false(unreach-call) 1 wit inspect 4.0  260 true -32 wit inspect 3.2   230   unknown 0 wit inspect 2.0  210 false(unreach-call) 1 wit inspect .57   18    - wit inspect - wit inspect
loops/terminator_03_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 5.6 310 49 false(unreach-call) 1 wit inspect 2.2  260 false(unreach-call) 1 wit inspect 5.1   260   unknown 0 wit inspect 1.9  180 false(unreach-call) 1 wit inspect .56   18    - wit inspect - wit inspect
loops/trex01_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 6.4 330 56 true -32 wit inspect 3.8  270 false(unreach-call) 1 wit inspect 5.4   260   unknown 0 wit inspect 1.9  180 true -32 wit inspect .58   18    - wit inspect - wit inspect
loops/trex02_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 22   770 200 false(unreach-call) 1 wit inspect 3.1  260 false(unreach-call) 1 wit inspect 5.2   250   unknown 0 wit inspect 2.0  190 true -32 wit inspect .58   18    - wit inspect - wit inspect
loops/trex03_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 6.0 340 53 false(unreach-call) 1 wit inspect 4.2  260 false(unreach-call) 1 wit inspect 3.6   260   unknown 0 wit inspect 2.1  210 false(unreach-call) 1 wit inspect .62   18    - wit inspect - wit inspect
loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i unknown 0 wit inspect 4.6 290 43 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i unknown 0 wit inspect 4.5 300 44 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0010 .29 - wit inspect - wit inspect
loops/vogal_false-unreach-call.i false(unreach-call) 1 wit inspect 18   670 170 false(unreach-call) 1 wit inspect 5.0  300 true -32 wit inspect 3.9   260   unknown 0 wit inspect 2.1  210 true -32 wit inspect .58   18    - wit inspect - wit inspect
loops/while_infinite_loop_4_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 5.0 300 51 false(unreach-call) 1 wit inspect 2.2  260 true -32 wit inspect 4.5   260   unknown 0 wit inspect 2.0  190 false(unreach-call) 1 wit inspect .61   18    - wit inspect - wit inspect
loops/array_true-unreach-call_true-termination.i true 2 wit inspect 3.8 250 33 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.0  270 true 2 wit inspect 7.2   280  
loops/bubble_sort_true-unreach-call_true-termination.i unknown 0 wit inspect 4.6 300 41 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .024 4.8
loops/count_up_down_true-unreach-call_true-termination.i true 2 wit inspect 4.0 250 41 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5000 true 2 wit inspect 16     330  
loops/eureka_01_true-unreach-call.i unknown 0 wit inspect 29   710 300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .024 4.8
loops/eureka_05_true-unreach-call_true-termination.i true 2 wit inspect 4.7 300 41 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    6100 true 2 wit inspect 53     800  
loops/for_infinite_loop_1_true-unreach-call_false-termination.i true 2 wit inspect 3.9 260 41 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.8  270 true 2 wit inspect 5.3   260  
loops/for_infinite_loop_2_true-unreach-call_false-termination.i true 2 wit inspect 4.1 250 35 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.1  270 true 2 wit inspect 6.4   260  
loops/insertion_sort_true-unreach-call_true-termination.i unknown 0 wit inspect 6.4 330 57 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .022 4.9
loops/invert_string_true-unreach-call_true-termination.i true 2 wit inspect 4.0 250 42 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 24    520 true 2 wit inspect 180     770  
loops/linear_sea.ch_true-unreach-call.i unknown 0 wit inspect 280   720 3500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .022 4.8
loops/lu.cmp_true-unreach-call.i true 1 wit inspect 6.8 390 63 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5400 timeout 0 wit inspect 960     3800  
loops/matrix_true-unreach-call_true-termination.i true 2 wit inspect 4.2 250 39 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.4  270 true 2 wit inspect 10     380  
loops/n.c11_true-unreach-call_false-termination.i true 2 wit inspect 25   720 260 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    7000 true 2 wit inspect 10     360  
loops/n.c40_true-unreach-call_true-termination.i true 2 wit inspect 7.4 330 62 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.9  270 true 2 wit inspect 7.4   350  
loops/nec40_true-unreach-call_true-termination.i true 2 wit inspect 8.2 340 65 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.2  270 true 2 wit inspect 7.5   330  
loops/string_true-unreach-call_true-termination.i true 2 wit inspect 5.2 310 50 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.4  280 true 2 wit inspect 11     380  
loops/sum01_true-unreach-call_true-termination.i true 2 wit inspect 4.1 290 35 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 510    7000 true 2 wit inspect 9.9   380  
loops/sum03_true-unreach-call_false-termination.i true 2 wit inspect 4.2 260 41 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.0  270 true 2 wit inspect 6.0   260  
loops/sum04_true-unreach-call_true-termination.i true 2 wit inspect 3.8 240 34 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.2  270 true 2 wit inspect 9.8   440  
loops/sum_array_true-unreach-call.i unknown 0 wit inspect 21   680 190 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 45 error (2) 0 wit inspect .019 4.9
loops/terminator_02_true-unreach-call_true-termination.i true 2 wit inspect 32   740 330 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.1  270 true 2 wit inspect 6.5   260  
loops/terminator_03_true-unreach-call_true-termination.i true 2 wit inspect 4.0 250 40 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.9  270 true 2 wit inspect 7.2   260  
loops/trex01_true-unreach-call_true-termination.i true 2 wit inspect 9.8 400 91 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 30    1100 true 2 wit inspect 7.1   260  
loops/trex02_true-unreach-call_true-termination.i true 2 wit inspect 4.2 270 41 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.1  260 true 2 wit inspect 5.6   250  
loops/trex03_true-unreach-call_true-termination.i timeout 0 wit inspect 900   1300 9800 - 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
loops/trex04_true-unreach-call_false-termination.i true 2 wit inspect 4.3 290 43 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.9  270 true 2 wit inspect 5.7   260  
loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i unknown 0 wit inspect 5.1 310 38 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .020 5.0
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i unknown 0 wit inspect 4.5 300 43 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .48 43 error (2) 0 wit inspect .025 4.8
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i true 2 wit inspect 4.8 310 41 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.2  280 true 2 wit inspect 4.1   260  
loops/vogal_true-unreach-call.i unknown 0 wit inspect 23   680 220 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .021 4.9
loops/while_infinite_loop_1_true-unreach-call_false-termination.i true 2 wit inspect 4.1 240 36 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.7  260 true 2 wit inspect 5.0   250  
loops/while_infinite_loop_2_true-unreach-call_false-termination.i true 2 wit inspect 3.9 240 33 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.4  270 true 2 wit inspect 5.9   260  
loops/while_infinite_loop_3_true-unreach-call_false-termination.i true 2 wit inspect 4.0 250 33 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  270 true 2 wit inspect 5.1   260  
loop-acceleration/array_false-unreach-call1_true-termination.i unknown 0 wit inspect 140   720 1400 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
loop-acceleration/array_false-unreach-call2_true-termination.i false(unreach-call) 1 wit inspect 5.1 290 43 timeout 0 wit inspect 97    1200 true -32 wit inspect 4.7   250   unknown 0 wit inspect 1.9  210 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
loop-acceleration/array_false-unreach-call3_true-termination.i unknown 0 wit inspect 49   700 560 error (invalid witness file) 0 wit inspect .70 46 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0034 .26 - wit inspect - wit inspect
loop-acceleration/const_false-unreach-call1.i unknown 0 wit inspect 220   700 2500 error (invalid witness file) 0 wit inspect .66 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .70 50 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
loop-acceleration/diamond_false-unreach-call1.i unknown 0 wit inspect 20   690 200 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .69 49 error (invalid witness file) 0 wit inspect .0037 .30 - wit inspect - wit inspect
loop-acceleration/functions_false-unreach-call1_true-termination.i false(unreach-call) 1 wit inspect 5.1 300 40 timeout 0 wit inspect 92    1900 true -32 wit inspect 5.1   260   unknown 0 wit inspect 2.0  180 false(unreach-call) 1 wit inspect .97   18    - wit inspect - wit inspect
loop-acceleration/multivar_false-unreach-call1_true-termination.i false(unreach-call) 1 wit inspect 4.8 300 46 false(unreach-call) 1 wit inspect 3.1  250 false(unreach-call) 1 wit inspect 5.5   250   unknown 0 wit inspect 2.7  180 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
loop-acceleration/nested_false-unreach-call1.i false(unreach-call) 1 wit inspect 4.6 280 40 timeout 0 wit inspect 92    1900 true -32 wit inspect 6.4   260   unknown 0 wit inspect 2.0  180 false(unreach-call) 1 wit inspect 3.4    18    - wit inspect - wit inspect
loop-acceleration/phases_false-unreach-call1.i unknown 0 wit inspect 280   760 3400 error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0041 .26 - wit inspect - wit inspect
loop-acceleration/phases_false-unreach-call2_false-termination.i false(unreach-call) 1 wit inspect 5.9 330 54 false(unreach-call) 1 wit inspect 3.4  260 false(unreach-call) 1 wit inspect 4.6   260   unknown 0 wit inspect 2.0  180 true -32 wit inspect .60   18    - wit inspect - wit inspect
loop-acceleration/simple_false-unreach-call1.i false(unreach-call) 1 wit inspect 5.3 400 49 timeout 0 wit inspect 91    1800 true -32 wit inspect 3.4   260   unknown 0 wit inspect 2.0  190 false(unreach-call) 1 wit inspect .80   18    - wit inspect - wit inspect
loop-acceleration/simple_false-unreach-call2_true-termination.i false(unreach-call) 1 wit inspect 4.9 300 44 false(unreach-call) 1 wit inspect 3.0  260 false(unreach-call) 1 wit inspect 5.7   250   unknown 0 wit inspect 2.8  190 false(unreach-call) 1 wit inspect .77   18    - wit inspect - wit inspect
loop-acceleration/simple_false-unreach-call3_true-termination.i false(unreach-call) 1 wit inspect 5.1 290 49 false(unreach-call) 1 wit inspect 3.8  260 false(unreach-call) 1 wit inspect 3.3   250   unknown 0 wit inspect 1.9  180 false(unreach-call) 1 wit inspect .56   18    - wit inspect - wit inspect
loop-acceleration/simple_false-unreach-call4.i false(unreach-call) 1 wit inspect 4.8 280 41 timeout 0 wit inspect 92    1700 true -32 wit inspect 3.9   260   unknown 0 wit inspect 2.6  180 false(unreach-call) 1 wit inspect .77   18    - wit inspect - wit inspect
loop-acceleration/underapprox_false-unreach-call1_true-termination.i false(unreach-call) 1 wit inspect 5.1 300 44 false(unreach-call) 1 wit inspect 3.1  260 true -32 wit inspect 5.3   250   unknown 0 wit inspect 2.6  180 false(unreach-call) 1 wit inspect .58   18    - wit inspect - wit inspect
loop-acceleration/underapprox_false-unreach-call2_true-termination.i false(unreach-call) 1 wit inspect 5.0 310 45 false(unreach-call) 1 wit inspect 4.1  260 true -32 wit inspect 3.3   250   unknown 0 wit inspect 2.0  180 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
loop-acceleration/array_true-unreach-call1_true-termination.i true 2 wit inspect 21   690 180 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.1  270 true 2 wit inspect 9.3   280  
loop-acceleration/array_true-unreach-call2_true-termination.i true 1 wit inspect 3.8 240 35 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2700 timeout 0 wit inspect 960     3300  
loop-acceleration/array_true-unreach-call3_true-termination.i true 2 wit inspect 4.3 260 34 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.3  270 true 2 wit inspect 6.1   320  
loop-acceleration/array_true-unreach-call4_true-termination.i unknown 0 wit inspect 48   700 610 - 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
loop-acceleration/const_true-unreach-call1.i true 2 wit inspect 4.3 260 43 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.6  270 true 2 wit inspect 7.7   270  
loop-acceleration/diamond_true-unreach-call1_true-termination.i unknown 0 wit inspect 20   710 180 - 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
loop-acceleration/diamond_true-unreach-call2.i unknown 0 wit inspect 26   750 270 - 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
loop-acceleration/functions_true-unreach-call1_true-termination.i true 1 wit inspect 3.6 240 34 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 530    7000 timeout 0 wit inspect 960     680  
loop-acceleration/multivar_true-unreach-call1_true-termination.i true 2 wit inspect 4.2 250 38 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 770    6200 true 2 wit inspect 6.4   270  
loop-acceleration/nested_true-unreach-call1.i true 2 wit inspect 3.9 240 39 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.4  270 true 2 wit inspect 13     360  
loop-acceleration/overflow_true-unreach-call1.i true 1 wit inspect 3.6 240 37 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 640    7000 timeout 0 wit inspect 960     620  
loop-acceleration/phases_true-unreach-call1.i unknown 0 wit inspect 280   760 3200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .022 4.8
loop-acceleration/phases_true-unreach-call2_false-termination.i unknown 0 wit inspect 280   1100 2400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .022 4.8
loop-acceleration/simple_true-unreach-call1.i true 1 wit inspect 4.0 240 36 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 450    7000 timeout 0 wit inspect 960     570  
loop-acceleration/simple_true-unreach-call2_true-termination.i true 2 wit inspect 3.8 250 37 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.3  260 true 2 wit inspect 6.7   270  
loop-acceleration/simple_true-unreach-call3_true-termination.i true 1 wit inspect 4.1 250 36 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 800    7000 timeout 0 wit inspect 960     570  
loop-acceleration/simple_true-unreach-call4.i true 2 wit inspect 3.9 240 32 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.3  270 true 2 wit inspect 6.8   260  
loop-acceleration/underapprox_true-unreach-call1_true-termination.i true 2 wit inspect 3.6 240 36 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.6  280 true 2 wit inspect 59     440  
loop-acceleration/underapprox_true-unreach-call2_true-termination.i true 2 wit inspect 3.8 240 34 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.3  260 true 2 wit inspect 6.9   270  
loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i false(unreach-call) 1 wit inspect 5.4 310 45 false(unreach-call) 1 wit inspect 4.7  280 false(unreach-call) 1 wit inspect 3.2   240   unknown 0 wit inspect 2.8  210 true -32 wit inspect .61   18    - wit inspect - wit inspect
loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i unknown 0 wit inspect 28   680 240 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .021 5.0
loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i unknown 0 wit inspect 43   720 520 - 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
loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i unknown 0 wit inspect 45   710 430 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .019 5.0
loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i true 2 wit inspect 40   750 460 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1700 true 2 wit inspect 62     450  
loop-crafted/simple_vardep_true-unreach-call1_true-termination.i true 2 wit inspect 4.3 260 37 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.6  260 true 2 wit inspect 5.7   260  
loop-crafted/simple_vardep_true-unreach-call2_true-termination.i true 2 wit inspect 4.1 260 40 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.2  270 true 2 wit inspect 5.8   260  
loop-invgen/id_trans_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 6.0 330 51 false(unreach-call) 1 wit inspect 3.4  260 true -32 wit inspect 4.6   260   unknown 0 wit inspect 1.9  180 true -32 wit inspect .58   18    - wit inspect - wit inspect
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i true 2 wit inspect 38   740 370 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2600 true 2 wit inspect 8.6   330  
loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i true 2 wit inspect 4.4 260 41 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 670    7000 true 2 wit inspect 12     360  
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i unknown 0 wit inspect 63   720 720 - 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
loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i unknown 0 wit inspect 39   740 420 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 44 error (2) 0 wit inspect .022 5.0
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i unknown 0 wit inspect 75   720 1000 - 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
loop-invgen/down_true-unreach-call_true-termination.i true 1 wit inspect 28   750 320 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 340    7000 timeout 0 wit inspect 960     4600  
loop-invgen/fragtest_simple_true-unreach-call_true-termination.i true 1 wit inspect 28   710 320 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 520    7000 timeout 0 wit inspect 960     4600  
loop-invgen/half_2_true-unreach-call_true-termination.i true 1 wit inspect 30   740 300 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 790    7000 timeout 0 wit inspect 960     4800  
loop-invgen/heapsort_true-unreach-call_true-termination.i unknown 0 wit inspect 110   840 1300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .019 4.9
loop-invgen/id_build_true-unreach-call_true-termination.i true 2 wit inspect 38   750 420 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.3  280 true 2 wit inspect 7.7   270  
loop-invgen/large_const_true-unreach-call_true-termination.i true 2 wit inspect 39   760 480 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.0  280 true 2 wit inspect 12     360  
loop-invgen/nest-if3_true-unreach-call_true-termination.i timeout 0 wit inspect 900   1500 9600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .020 4.9
loop-invgen/nested6_true-unreach-call_true-termination.i timeout 0 wit inspect 900   1400 8800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .021 4.8
loop-invgen/nested9_true-unreach-call_true-termination.i timeout 0 wit inspect 900   1500 10000 - 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
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i true 2 wit inspect 30   750 300 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 670    7000 true 2 wit inspect 17     550  
loop-invgen/seq_true-unreach-call_true-termination.i true 1 wit inspect 35   730 430 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 720    7000 timeout 0 wit inspect 960     1900  
loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i unknown 0 wit inspect 250   750 2800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .026 4.8
loop-invgen/up_true-unreach-call_true-termination.i true 1 wit inspect 29   740 290 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 350    7000 timeout 0 wit inspect 960     4600  
loop-lit/afnp2014_true-unreach-call_true-termination.c.i unknown 0 wit inspect 400   740 4100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 42 error (2) 0 wit inspect .021 4.9
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i true 2 wit inspect 52   790 570 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    640 true 2 wit inspect 12     410  
loop-lit/cggmp2005_true-unreach-call_true-termination.c.i true 2 wit inspect 23   700 190 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.5  270 true 2 wit inspect 9.7   300  
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i true 2 wit inspect 6.1 320 56 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 450    7000 true 2 wit inspect 8.8   310  
loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i true 2 wit inspect 4.3 260 36 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.3  270 true 2 wit inspect 6.5   260  
loop-lit/css2003_true-unreach-call_true-termination.c.i true 2 wit inspect 31   750 340 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.8  270 true 2 wit inspect 6.9   270  
loop-lit/ddlm2013_true-unreach-call.i unknown 0 wit inspect 40   800 530 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 44 error (2) 0 wit inspect .024 4.9
loop-lit/gj2007_true-unreach-call_true-termination.c.i true 2 wit inspect 3.6 240 31 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 36    610 true 2 wit inspect 110     1300  
loop-lit/gj2007b_true-unreach-call_true-termination.c.i true 2 wit inspect 21   670 200 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2300 true 2 wit inspect 8.5   300  
loop-lit/gr2006_true-unreach-call_true-termination.c.i unknown 0 wit inspect 300   740 3300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .020 4.8
loop-lit/gsv2008_true-unreach-call_true-termination.c.i true 2 wit inspect 54   850 540 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1300 true 2 wit inspect 6.6   260  
loop-lit/hhk2008_true-unreach-call_true-termination.c.i true 2 wit inspect 6.7 340 53 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 460    7000 true 2 wit inspect 7.5   280  
loop-lit/jm2006_true-unreach-call_true-termination.c.i true 2 wit inspect 4.0 250 41 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5000 true 2 wit inspect 8.0   280  
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i true 2 wit inspect 6.9 340 55 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4600 true 2 wit inspect 7.7   280  
loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i unknown 0 wit inspect 6.0 330 51 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 42 error (2) 0 wit inspect .023 4.9
loop-lit/gcnr2008_false-unreach-call_false-termination.i false(unreach-call) 1 wit inspect 5.6 310 48 timeout 0 wit inspect 93    2100 false(unreach-call) 1 wit inspect 3.7   260   unknown 0 wit inspect 2.0  210 false(unreach-call) 1 wit inspect .57   18    - wit inspect - wit inspect
loop-new/count_by_1_true-unreach-call_true-termination.i true 2 wit inspect 3.8 250 41 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  270 true 2 wit inspect 7.1   260  
loop-new/count_by_1_variant_true-unreach-call_true-termination.i true 2 wit inspect 4.1 250 43 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.6  260 true 2 wit inspect 8.2   290  
loop-new/count_by_2_true-unreach-call_true-termination.i true 1 wit inspect 4.0 250 36 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 510    7000 timeout 0 wit inspect 960     4700  
loop-new/count_by_k_true-unreach-call_true-termination.i unknown 0 wit inspect 270   710 3200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .020 4.9
loop-new/count_by_nondet_true-unreach-call_true-termination.i unknown 0 wit inspect 480   770 5300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .018 4.8
loop-new/gauss_sum_true-unreach-call_true-termination.i unknown 0 wit inspect 17   320 210 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .020 5.0
loop-new/half_true-unreach-call_true-termination.i unknown 0 wit inspect 26   720 290 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .023 5.0
loop-new/nested_true-unreach-call_true-termination.i true 2 wit inspect 6.7 350 67 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3500 true 2 wit inspect 38     820  
loop-industry-pattern/aiob_1_true-unreach-call.c unknown 0 wit inspect 5.6 350 51 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .018 4.9
loop-industry-pattern/aiob_2_true-unreach-call.c unknown 0 wit inspect 5.2 340 52 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .45 44 error (2) 0 wit inspect .026 4.8
loop-industry-pattern/aiob_3_true-unreach-call.c unknown 0 wit inspect 5.5 330 49 - 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
loop-industry-pattern/aiob_4_true-unreach-call.c unknown 0 wit inspect 4.1 270 41 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .022 4.9
loop-industry-pattern/mod3_true-unreach-call.c unknown 0 wit inspect 260   1100 2600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .019 4.9
loop-industry-pattern/nested_true-unreach-call.c timeout 0 wit inspect 900   1200 8400 - 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
loop-industry-pattern/ofuf_1_true-unreach-call.c unknown 0 wit inspect 7.4 510 60 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .022 5.0
loop-industry-pattern/ofuf_2_true-unreach-call.c unknown 0 wit inspect 7.6 520 64 - 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
loop-industry-pattern/ofuf_3_true-unreach-call.c unknown 0 wit inspect 7.7 510 59 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .47 43 error (2) 0 wit inspect .018 4.8
loop-industry-pattern/ofuf_4_true-unreach-call.c unknown 0 wit inspect 7.5 510 64 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 44 error (2) 0 wit inspect .019 5.0
loop-industry-pattern/ofuf_5_true-unreach-call.c unknown 0 wit inspect 7.5 560 56 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .025 4.8
loops/heavy_true-unreach-call.c true 1 wit inspect 6.6 790 60 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    6700 out of memory 0 wit inspect 120     7000  
loops/compact_false-unreach-call.c unknown 0 wit inspect 110   690 1200 error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0036 .28 - wit inspect - wit inspect
loops/heavy_false-unreach-call.c timeout 0 wit inspect 900   1400 6500 error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0038 .30 - wit inspect - wit inspect
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 163 154 12000 82000 120000 52 -72 760 20000 52 -463 350 16000 52 0 91 7500 52 -362 24   630 111 76 22000 180000 111 108 13000 61000
    correct results 87 141 860 32000 8300 24 24 89 6300 17 17 92 5000 0 22 22 17   400 38 76 1000 18000 54 108 900 19000
        correct true 54 108 640 21000 6400 0 0 0 0 38 76 1000 18000 54 108 900 19000
        correct false 33 33 220 11000 2000 24 24 89 6300 17 17 92 5000 0 22 22 17   400 0 0
    correct-unconfimed results 14 13 210 7000 2300 0 0 0 0 0 0
        correct-unconfirmed true 13 13 190 6300 2000 0 0 0 0 0 0
        correct-unconfirmed false 1 0 25 720 260 0 0 0 0 0 0
    incorrect results 0 3 -96 12 810 15 -480 71 3800 0 12 -384 7.1 220 0 0
        incorrect true 0 3 -96 12 810 15 -480 71 3800 0 12 -384 7.1 220 0 0
        incorrect false 0 0 0 0 0 0 0
score (163 tasks, max score: 274) 154 -72 -463 0 -362 76 108
Run set skink.sv-comp18.ReachSafety-Loops cpa-seq-validate-violation-witnesses-skink.sv-comp18-violation-witness.ReachSafety-Loops uautomizer-validate-violation-witnesses-skink.sv-comp18-violation-witness.ReachSafety-Loops cpa-witness2test-validate-violation-witnesses-skink.sv-comp18-violation-witness.ReachSafety-Loops fshell-witness2test-validate-violation-witnesses-skink.sv-comp18-violation-witness.ReachSafety-Loops cpa-seq-validate-correctness-witnesses-skink.sv-comp18-correctness-witness.ReachSafety-Loops uautomizer-validate-correctness-witnesses-skink.sv-comp18-correctness-witness.ReachSafety-Loops