Tool ULTIMATE Automizer 0.1.23-3204b741 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CPA-witness2test 1.6.1-svn 26773 CProver witness2test 0.1 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-12-02 01:06:24 CET 2017-12-03 03:07:09 CET 2017-12-03 03:49:57 CET 2017-12-03 03:57:59 CET 2017-12-03 04:29:07 CET 2017-12-02 23:12:02 CET 2017-12-03 03:11:19 CET
Run set uautomizer.sv-comp18.ReachSafety-Loops cpa-seq-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-Loops uautomizer-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-Loops cpa-witness2test-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-Loops fshell-witness2test-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-Loops cpa-seq-validate-correctness-witnesses-uautomizer.sv-comp18-correctness-witness.ReachSafety-Loops uautomizer-validate-correctness-witnesses-uautomizer.sv-comp18-correctness-witness.ReachSafety-Loops
Options --full-output -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/uautomizer.2017-12-02_0106.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const --full-output --validate ../../results-verified/uautomizer.2017-12-02_0106.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/uautomizer.2017-12-02_0106.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true --graphml-witness ../../results-verified/uautomizer.2017-12-02_0106.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/uautomizer.2017-12-02_0106.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/uautomizer.2017-12-02_0106.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
loops/array_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 4.8 280 39 false(unreach-call) 1 wit inspect 4.3  260 false(unreach-call) 1 wit inspect 5.4   260   unknown 0 wit inspect 3.0  210 false(unreach-call) 1 wit inspect .68   18    - wit inspect - wit inspect
loops/bubble_sort_false-unreach-call.i error (7) 0 wit inspect 8.0 230 67 error (invalid witness file) 0 wit inspect .63 46 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .98 50 error (invalid witness file) 0 wit inspect .0015 .27 - wit inspect - wit inspect
loops/count_up_down_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 4.2 260 35 false(unreach-call) 1 wit inspect 3.8  250 false(unreach-call) 1 wit inspect 4.8   250   unknown 0 wit inspect 2.7  180 false(unreach-call) 1 wit inspect .58   18    - wit inspect - wit inspect
loops/eureka_01_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 110   1700 1300 timeout 0 wit inspect 92    2000 false(unreach-call) 1 wit inspect 36     790   unknown 0 wit inspect 4.4  210 true -32 wit inspect .60   19    - wit inspect - wit inspect
loops/for_bounded_loop1_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 5.9 290 51 timeout 0 wit inspect 93    2200 false(unreach-call) 1 wit inspect 5.5   260   unknown 0 wit inspect 2.8  190 true -32 wit inspect .58   18    - wit inspect - wit inspect
loops/insertion_sort_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 87   1100 860 timeout 0 wit inspect 92    2000 false(unreach-call) 1 wit inspect 5.2   290   unknown 0 wit inspect 3.1  210 true -32 wit inspect .81   19    - wit inspect - wit inspect
loops/invert_string_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 11   540 110 timeout 0 wit inspect 92    2000 false(unreach-call) 1 wit inspect 6.2   260   unknown 0 wit inspect 3.3  210 true -32 wit inspect .78   19    - wit inspect - wit inspect
loops/linear_search_false-unreach-call.i timeout 0 wit inspect 900   760 10000 error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0015 .27 - wit inspect - wit inspect
loops/ludcmp_false-unreach-call.i timeout 0 wit inspect 900   3200 12000 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0016 .28 - wit inspect - wit inspect
loops/matrix_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 5.8 280 46 timeout 0 wit inspect 91    1900 false(unreach-call) 1 wit inspect 3.8   270   unknown 0 wit inspect 3.4  180 true -32 wit inspect 11      18    - wit inspect - wit inspect
loops/n.c24_false-unreach-call.i timeout 0 wit inspect 900   5400 14000 error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
loops/nec11_false-unreach-call_false-termination.i false(unreach-call) 1 wit inspect 4.7 270 37 false(unreach-call) 1 wit inspect 3.9  260 false(unreach-call) 1 wit inspect 3.4   250   unknown 0 wit inspect 3.5  190 false(unreach-call) 1 wit inspect .58   18    - wit inspect - wit inspect
loops/nec20_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 4.8 290 41 false(unreach-call) 1 wit inspect 4.1  260 false(unreach-call) 1 wit inspect 5.8   260   unknown 0 wit inspect 3.7  210 error (2) 0 wit inspect .68   18    - wit inspect - wit inspect
loops/s3_false-unreach-call.i false(unreach-call) 1 wit inspect 420   1500 4800 true -32 wit inspect 7.9  260 false(unreach-call) 1 wit inspect 46     580   unknown 0 wit inspect 5.0  220 error (2) 0 wit inspect .80   20    - wit inspect - wit inspect
loops/string_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 16   480 120 false(unreach-call) 1 wit inspect 4.8  270 false(unreach-call) 1 wit inspect 13     300   unknown 0 wit inspect 4.0  210 true -32 wit inspect .77   19    - wit inspect - wit inspect
loops/sum01_bug02_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 8.9 530 79 false(unreach-call) 1 wit inspect 3.5  270 false(unreach-call) 1 wit inspect 6.3   270   unknown 0 wit inspect 2.8  180 true -32 wit inspect .61   18    - wit inspect - wit inspect
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 7.8 390 61 false(unreach-call) 1 wit inspect 4.3  280 false(unreach-call) 1 wit inspect 7.0   280   unknown 0 wit inspect 3.2  210 true -32 wit inspect .70   18    - wit inspect - wit inspect
loops/sum01_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 9.4 550 76 false(unreach-call) 1 wit inspect 4.8  280 false(unreach-call) 1 wit inspect 7.5   350   unknown 0 wit inspect 2.9  210 true -32 wit inspect .75   19    - wit inspect - wit inspect
loops/sum03_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 190   600 2600 true -32 wit inspect 3.8  280 false(unreach-call) 1 wit inspect 14     930   unknown 0 wit inspect 3.6  210 false(unreach-call) 1 wit inspect .74   19    - wit inspect - wit inspect
loops/sum04_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 6.1 300 48 false(unreach-call) 1 wit inspect 3.4  260 false(unreach-call) 1 wit inspect 6.3   270   unknown 0 wit inspect 3.0  210 false(unreach-call) 1 wit inspect .59   19    - wit inspect - wit inspect
loops/sum_array_false-unreach-call.i false(unreach-call) 1 wit inspect 5.9 290 43 timeout 0 wit inspect 92    2000 false(unreach-call) 1 wit inspect 6.1   260   unknown 0 wit inspect 3.5  210 true -32 wit inspect .74   18    - wit inspect - wit inspect
loops/terminator_01_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 4.7 280 41 false(unreach-call) 1 wit inspect 3.4  260 false(unreach-call) 1 wit inspect 5.9   260   unknown 0 wit inspect 2.7  180 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
loops/terminator_02_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 4.5 270 34 false(unreach-call) 1 wit inspect 3.8  260 false(unreach-call) 1 wit inspect 4.9   250   unknown 0 wit inspect 3.1  190 false(unreach-call) 1 wit inspect .79   18    - wit inspect - wit inspect
loops/terminator_03_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 4.6 280 39 false(unreach-call) 1 wit inspect 3.5  250 false(unreach-call) 1 wit inspect 5.4   250   unknown 0 wit inspect 2.0  210 false(unreach-call) 1 wit inspect .70   18    - wit inspect - wit inspect
loops/trex01_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 4.7 270 36 false(unreach-call) 1 wit inspect 3.7  260 false(unreach-call) 1 wit inspect 5.8   260   unknown 0 wit inspect 3.0  180 true -32 wit inspect .73   18    - wit inspect - wit inspect
loops/trex02_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 4.3 260 38 false(unreach-call) 1 wit inspect 3.4  260 false(unreach-call) 1 wit inspect 4.7   260   unknown 0 wit inspect 3.6  190 true -32 wit inspect .61   18    - wit inspect - wit inspect
loops/trex03_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 4.7 270 40 false(unreach-call) 1 wit inspect 3.1  260 false(unreach-call) 1 wit inspect 5.3   260   unknown 0 wit inspect 2.6  180 false(unreach-call) 1 wit inspect .68   18    - wit inspect - wit inspect
loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 6.9 320 58 true -32 wit inspect 3.2  260 false(unreach-call) 1 wit inspect 5.7   260   unknown 0 wit inspect 2.9  210 false(unreach-call) 1 wit inspect .76   18    - wit inspect - wit inspect
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 12   540 100 false(unreach-call) 1 wit inspect 4.3  270 false(unreach-call) 1 wit inspect 16     510   unknown 0 wit inspect 4.3  210 error (2) 0 wit inspect .69   19    - wit inspect - wit inspect
loops/vogal_false-unreach-call.i timeout 0 wit inspect 900   4700 12000 error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .036 4.8 error (invalid witness file) 0 wit inspect 1.1  52 error (invalid witness file) 0 wit inspect .0014 .27 - wit inspect - wit inspect
loops/while_infinite_loop_4_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 4.5 270 42 true -32 wit inspect 3.8  260 false(unreach-call) 1 wit inspect 3.1   230   unknown 0 wit inspect 3.4  180 false(unreach-call) 1 wit inspect .61   18    - wit inspect - wit inspect
loops/array_true-unreach-call_true-termination.i true 2 wit inspect 6.7 310 63 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.9  270 true 2 wit inspect 7.6   280  
loops/bubble_sort_true-unreach-call_true-termination.i true 2 wit inspect 4.4 250 43 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.7  260 true 2 wit inspect 5.0   230  
loops/count_up_down_true-unreach-call_true-termination.i true 2 wit inspect 19   350 210 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4600 true 2 wit inspect 120     500  
loops/eureka_01_true-unreach-call.i timeout 0 wit inspect 900   1100 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .023 4.9
loops/eureka_05_true-unreach-call_true-termination.i true 2 wit inspect 51   1000 560 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    6200 true 2 wit inspect 52     860  
loops/for_infinite_loop_1_true-unreach-call_false-termination.i true 2 wit inspect 4.8 280 37 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.6  260 true 2 wit inspect 5.5   260  
loops/for_infinite_loop_2_true-unreach-call_false-termination.i true 2 wit inspect 4.8 280 40 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.9  260 true 2 wit inspect 5.6   260  
loops/insertion_sort_true-unreach-call_true-termination.i timeout 0 wit inspect 900   1600 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .018 4.9
loops/invert_string_true-unreach-call_true-termination.i true 2 wit inspect 150   880 1900 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 56    510 true 2 wit inspect 110     940  
loops/linear_sea.ch_true-unreach-call.i timeout 0 wit inspect 900   750 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.9
loops/lu.cmp_true-unreach-call.i timeout 0 wit inspect 900   4100 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.8
loops/matrix_true-unreach-call_true-termination.i true 2 wit inspect 8.5 410 62 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.8  280 true 2 wit inspect 16     500  
loops/n.c11_true-unreach-call_false-termination.i true 2 wit inspect 6.9 350 59 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.3  270 true 2 wit inspect 8.1   300  
loops/n.c40_true-unreach-call_true-termination.i true 2 wit inspect 6.9 360 55 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.7  260 true 2 wit inspect 8.9   350  
loops/nec40_true-unreach-call_true-termination.i true 2 wit inspect 6.9 370 57 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.0  270 true 2 wit inspect 7.1   350  
loops/string_true-unreach-call_true-termination.i true 2 wit inspect 7.9 390 64 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.3  350 true 2 wit inspect 10     420  
loops/sum01_true-unreach-call_true-termination.i true 2 wit inspect 7.4 380 64 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 480    7000 true 2 wit inspect 8.5   310  
loops/sum03_true-unreach-call_false-termination.i true 2 wit inspect 4.9 290 41 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.2  270 true 2 wit inspect 5.7   260  
loops/sum04_true-unreach-call_true-termination.i true 2 wit inspect 9.7 460 75 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.5  270 true 2 wit inspect 8.6   390  
loops/sum_array_true-unreach-call.i timeout 0 wit inspect 900   1400 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .018 4.9
loops/terminator_02_true-unreach-call_true-termination.i true 2 wit inspect 5.3 290 49 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.8  270 true 2 wit inspect 6.8   260  
loops/terminator_03_true-unreach-call_true-termination.i true 2 wit inspect 4.9 290 40 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.9  270 true 2 wit inspect 4.1   260  
loops/trex01_true-unreach-call_true-termination.i true 2 wit inspect 4.8 290 37 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 24    1000 true 2 wit inspect 6.1   260  
loops/trex02_true-unreach-call_true-termination.i true 2 wit inspect 4.7 280 42 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.6  260 true 2 wit inspect 5.1   250  
loops/trex03_true-unreach-call_true-termination.i true 2 wit inspect 4.9 280 45 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.3  270 true 2 wit inspect 6.6   260  
loops/trex04_true-unreach-call_false-termination.i true 2 wit inspect 4.8 280 39 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.1  270 true 2 wit inspect 5.6   250  
loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i true 2 wit inspect 7.1 320 54 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 410    7000 true 2 wit inspect 9.0   340  
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i true 2 wit inspect 5.9 290 49 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.8  380 true 2 wit inspect 7.0   280  
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i true 2 wit inspect 4.8 280 35 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.0  270 true 2 wit inspect 6.1   260  
loops/vogal_true-unreach-call.i timeout 0 wit inspect 900   5200 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .017 4.8
loops/while_infinite_loop_1_true-unreach-call_false-termination.i true 2 wit inspect 6.4 360 58 - wit inspect - wit inspect - wit inspect - wit inspect out of java memory 0 wit inspect 610    5200 true 2 wit inspect 6.2   260  
loops/while_infinite_loop_2_true-unreach-call_false-termination.i true 2 wit inspect 4.8 290 41 - wit inspect - wit inspect - wit inspect - wit inspect out of java memory 0 wit inspect 490    5200 true 2 wit inspect 5.4   260  
loops/while_infinite_loop_3_true-unreach-call_false-termination.i true 2 wit inspect 4.9 280 39 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.8  260 true 2 wit inspect 5.4   250  
loop-acceleration/array_false-unreach-call1_true-termination.i timeout 0 wit inspect 900   2800 11000 error (invalid witness file) 0 wit inspect .70 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .96 49 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
loop-acceleration/array_false-unreach-call2_true-termination.i timeout 0 wit inspect 900   2700 12000 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0017 .28 - wit inspect - wit inspect
loop-acceleration/array_false-unreach-call3_true-termination.i timeout 0 wit inspect 900   4200 11000 error (invalid witness file) 0 wit inspect .71 46 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .80 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
loop-acceleration/const_false-unreach-call1.i timeout 0 wit inspect 900   750 14000 error (invalid witness file) 0 wit inspect .76 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
loop-acceleration/diamond_false-unreach-call1.i timeout 0 wit inspect 900   750 13000 error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0011 .31 - wit inspect - wit inspect
loop-acceleration/functions_false-unreach-call1_true-termination.i timeout 0 wit inspect 900   690 11000 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect 1.2  49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
loop-acceleration/multivar_false-unreach-call1_true-termination.i false(unreach-call) 1 wit inspect 4.4 260 36 false(unreach-call) 1 wit inspect 3.2  250 false(unreach-call) 1 wit inspect 4.8   250   unknown 0 wit inspect 3.7  180 false(unreach-call) 1 wit inspect .68   18    - wit inspect - wit inspect
loop-acceleration/nested_false-unreach-call1.i timeout 0 wit inspect 900   1100 10000 error (invalid witness file) 0 wit inspect .72 46 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0020 .27 - wit inspect - wit inspect
loop-acceleration/phases_false-unreach-call1.i timeout 0 wit inspect 900   670 11000 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
loop-acceleration/phases_false-unreach-call2_false-termination.i false(unreach-call) 1 wit inspect 4.5 260 37 false(unreach-call) 1 wit inspect 3.7  260 false(unreach-call) 1 wit inspect 3.3   260   unknown 0 wit inspect 3.6  180 true -32 wit inspect .63   18    - wit inspect - wit inspect
loop-acceleration/simple_false-unreach-call1.i timeout 0 wit inspect 900   610 14000 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
loop-acceleration/simple_false-unreach-call2_true-termination.i false(unreach-call) 1 wit inspect 4.3 260 35 false(unreach-call) 1 wit inspect 3.2  260 false(unreach-call) 1 wit inspect 5.2   250   unknown 0 wit inspect 2.6  180 false(unreach-call) 1 wit inspect .97   18    - wit inspect - wit inspect
loop-acceleration/simple_false-unreach-call3_true-termination.i false(unreach-call) 1 wit inspect 4.7 270 36 false(unreach-call) 1 wit inspect 3.7  250 false(unreach-call) 1 wit inspect 5.0   250   unknown 0 wit inspect 2.7  180 false(unreach-call) 1 wit inspect .59   18    - wit inspect - wit inspect
loop-acceleration/simple_false-unreach-call4.i timeout 0 wit inspect 900   620 9300 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .84 48 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
loop-acceleration/underapprox_false-unreach-call1_true-termination.i false(unreach-call) 1 wit inspect 6.6 320 57 false(unreach-call) 1 wit inspect 3.6  270 false(unreach-call) 1 wit inspect 8.6   350   unknown 0 wit inspect 2.9  180 false(unreach-call) 1 wit inspect .56   19    - wit inspect - wit inspect
loop-acceleration/underapprox_false-unreach-call2_true-termination.i false(unreach-call) 1 wit inspect 6.8 310 52 false(unreach-call) 1 wit inspect 3.6  260 false(unreach-call) 1 wit inspect 8.5   350   unknown 0 wit inspect 3.4  210 false(unreach-call) 1 wit inspect .69   18    - wit inspect - wit inspect
loop-acceleration/array_true-unreach-call1_true-termination.i true 2 wit inspect 6.1 300 51 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.2  270 true 2 wit inspect 7.1   280  
loop-acceleration/array_true-unreach-call2_true-termination.i timeout 0 wit inspect 900   3200 11000 - 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-acceleration/array_true-unreach-call3_true-termination.i true 2 wit inspect 7.0 340 52 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.5  270 true 2 wit inspect 7.1   270  
loop-acceleration/array_true-unreach-call4_true-termination.i timeout 0 wit inspect 910   13000 3300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .019 4.8
loop-acceleration/const_true-unreach-call1.i true 2 wit inspect 6.0 290 50 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.9  270 true 2 wit inspect 6.7   250  
loop-acceleration/diamond_true-unreach-call1_true-termination.i timeout 0 wit inspect 900   720 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .018 4.8
loop-acceleration/diamond_true-unreach-call2.i true 2 wit inspect 58   740 710 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.7  280 true 2 wit inspect 470     690  
loop-acceleration/functions_true-unreach-call1_true-termination.i timeout 0 wit inspect 900   740 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .019 4.8
loop-acceleration/multivar_true-unreach-call1_true-termination.i true 2 wit inspect 5.0 270 41 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 750    6400 true 2 wit inspect 5.3   260  
loop-acceleration/nested_true-unreach-call1.i true 2 wit inspect 16   380 180 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.4  300 true 2 wit inspect 72     540  
loop-acceleration/overflow_true-unreach-call1.i timeout 0 wit inspect 900   650 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .023 4.8
loop-acceleration/phases_true-unreach-call1.i timeout 0 wit inspect 900   740 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 44 error (2) 0 wit inspect .018 4.9
loop-acceleration/phases_true-unreach-call2_false-termination.i true 2 wit inspect 6.1 300 50 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    400 true 2 wit inspect 7.5   270  
loop-acceleration/simple_true-unreach-call1.i timeout 0 wit inspect 900   570 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .50 41 error (2) 0 wit inspect .019 4.9
loop-acceleration/simple_true-unreach-call2_true-termination.i true 2 wit inspect 4.8 280 40 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.8  260 true 2 wit inspect 5.2   260  
loop-acceleration/simple_true-unreach-call3_true-termination.i timeout 0 wit inspect 900   630 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 42 error (2) 0 wit inspect .019 4.8
loop-acceleration/simple_true-unreach-call4.i true 2 wit inspect 5.7 290 48 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.4  260 true 2 wit inspect 7.2   280  
loop-acceleration/underapprox_true-unreach-call1_true-termination.i true 2 wit inspect 55   450 670 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.8  270 true 2 wit inspect 52     420  
loop-acceleration/underapprox_true-unreach-call2_true-termination.i true 2 wit inspect 6.1 290 49 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.0  270 true 2 wit inspect 10     380  
loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i false(unreach-call) 1 wit inspect 4.5 270 36 true -32 wit inspect 4.2  260 false(unreach-call) 1 wit inspect 3.1   240   unknown 0 wit inspect 3.5  210 true -32 wit inspect .65   18    - wit inspect - wit inspect
loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i timeout 0 wit inspect 900   710 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .018 4.8
loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i timeout 0 wit inspect 900   770 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .020 4.8
loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i timeout 0 wit inspect 900   810 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .019 4.9
loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i true 1 wit inspect 68   510 930 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1800 false(unreach-call) -16 wit inspect 9.7   270  
loop-crafted/simple_vardep_true-unreach-call1_true-termination.i true 2 wit inspect 4.8 290 40 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.1  270 true 2 wit inspect 5.4   260  
loop-crafted/simple_vardep_true-unreach-call2_true-termination.i true 2 wit inspect 4.9 290 39 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.6  280 true 2 wit inspect 6.3   260  
loop-invgen/id_trans_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 5.6 290 42 timeout 0 wit inspect 93    2200 false(unreach-call) 1 wit inspect 5.6   260   unknown 0 wit inspect 3.3  180 true -32 wit inspect .76   18    - wit inspect - wit inspect
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i true 2 wit inspect 6.9 350 53 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2700 true 2 wit inspect 9.4   410  
loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i true 2 wit inspect 7.2 370 52 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 640    7000 true 2 wit inspect 10     370  
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i true 2 wit inspect 10   520 91 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4500 true 2 wit inspect 14     500  
loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i true 2 wit inspect 9.8 540 77 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2600 true 2 wit inspect 14     500  
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i true 2 wit inspect 8.6 470 70 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.3  290 false(unreach-call) -16 wit inspect 5.3   250  
loop-invgen/down_true-unreach-call_true-termination.i timeout 0 wit inspect 900   5300 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .020 4.8
loop-invgen/fragtest_simple_true-unreach-call_true-termination.i timeout 0 wit inspect 900   5200 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.9
loop-invgen/half_2_true-unreach-call_true-termination.i timeout 0 wit inspect 900   5000 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .022 5.0
loop-invgen/heapsort_true-unreach-call_true-termination.i true 2 wit inspect 88   1100 1100 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2800 true 2 wit inspect 67     720  
loop-invgen/id_build_true-unreach-call_true-termination.i true 2 wit inspect 5.5 290 41 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.5  280 true 2 wit inspect 7.7   260  
loop-invgen/large_const_true-unreach-call_true-termination.i true 2 wit inspect 7.6 380 59 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.3  280 true 2 wit inspect 13     510  
loop-invgen/nest-if3_true-unreach-call_true-termination.i true 2 wit inspect 5.1 290 43 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3400 true 2 wit inspect 7.4   260  
loop-invgen/nested6_true-unreach-call_true-termination.i true 2 wit inspect 8.6 470 67 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4700 true 2 wit inspect 9.6   370  
loop-invgen/nested9_true-unreach-call_true-termination.i true 2 wit inspect 9.5 500 81 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4200 true 2 wit inspect 14     490  
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i true 1 wit inspect 14   630 130 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 730    7000 false(unreach-call) -16 wit inspect 5.2   260  
loop-invgen/seq_true-unreach-call_true-termination.i timeout 0 wit inspect 900   1400 15000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .018 5.0
loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i timeout 0 wit inspect 900   4200 15000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .023 4.9
loop-invgen/up_true-unreach-call_true-termination.i timeout 0 wit inspect 900   5300 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .019 5.0
loop-lit/afnp2014_true-unreach-call_true-termination.c.i true 2 wit inspect 5.8 300 49 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 500    7000 true 2 wit inspect 6.2   260  
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i true 2 wit inspect 7.4 420 64 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    650 true 2 wit inspect 8.7   280  
loop-lit/cggmp2005_true-unreach-call_true-termination.c.i true 2 wit inspect 6.6 340 57 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.2  270 true 2 wit inspect 8.7   350  
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i true 2 wit inspect 6.4 320 49 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 360    7000 true 2 wit inspect 11     300  
loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i true 2 wit inspect 5.9 280 46 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.7  280 true 2 wit inspect 8.2   320  
loop-lit/css2003_true-unreach-call_true-termination.c.i true 2 wit inspect 5.1 290 42 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.0  270 true 2 wit inspect 6.2   260  
loop-lit/ddlm2013_true-unreach-call.i true 2 wit inspect 10   530 81 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 360    7000 true 2 wit inspect 13     500  
loop-lit/gj2007_true-unreach-call_true-termination.c.i true 2 wit inspect 65   1500 660 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.4  280 true 2 wit inspect 23     660  
loop-lit/gj2007b_true-unreach-call_true-termination.c.i true 2 wit inspect 6.5 310 59 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2300 true 2 wit inspect 8.3   330  
loop-lit/gr2006_true-unreach-call_true-termination.c.i true 2 wit inspect 140   3500 1500 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 10    440 true 2 wit inspect 45     1600  
loop-lit/gsv2008_true-unreach-call_true-termination.c.i true 2 wit inspect 5.4 290 48 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1300 true 2 wit inspect 6.2   260  
loop-lit/hhk2008_true-unreach-call_true-termination.c.i true 2 wit inspect 6.1 290 51 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 380    7000 true 2 wit inspect 5.4   260  
loop-lit/jm2006_true-unreach-call_true-termination.c.i true 2 wit inspect 6.2 300 51 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5200 true 2 wit inspect 6.3   260  
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i true 2 wit inspect 6.2 300 47 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5300 true 2 wit inspect 6.9   270  
loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i timeout 0 wit inspect 900   700 13000 - 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
loop-lit/gcnr2008_false-unreach-call_false-termination.i false(unreach-call) 1 wit inspect 4.7 270 40 false(unreach-call) 1 wit inspect 3.7  260 false(unreach-call) 1 wit inspect 5.8   250   unknown 0 wit inspect 3.3  180 false(unreach-call) 1 wit inspect .68   18    - wit inspect - wit inspect
loop-new/count_by_1_true-unreach-call_true-termination.i true 2 wit inspect 5.6 290 48 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.3  270 true 2 wit inspect 5.7   250  
loop-new/count_by_1_variant_true-unreach-call_true-termination.i true 2 wit inspect 6.4 310 51 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.5  270 true 2 wit inspect 5.6   260  
loop-new/count_by_2_true-unreach-call_true-termination.i timeout 0 wit inspect 900   4800 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .019 4.9
loop-new/count_by_k_true-unreach-call_true-termination.i timeout 0 wit inspect 900   1500 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .019 4.9
loop-new/count_by_nondet_true-unreach-call_true-termination.i timeout 0 wit inspect 900   4800 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 5.0
loop-new/gauss_sum_true-unreach-call_true-termination.i timeout 0 wit inspect 900   1100 15000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .50 41 error (2) 0 wit inspect .021 5.0
loop-new/half_true-unreach-call_true-termination.i true 2 wit inspect 11   490 93 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 360    7000 true 2 wit inspect 9.0   340  
loop-new/nested_true-unreach-call_true-termination.i true 2 wit inspect 140   4600 1500 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3700 true 2 wit inspect 150     3700  
loop-industry-pattern/aiob_1_true-unreach-call.c timeout 0 wit inspect 900   2700 5400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .018 4.9
loop-industry-pattern/aiob_2_true-unreach-call.c timeout 0 wit inspect 900   1700 6000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .020 4.8
loop-industry-pattern/aiob_3_true-unreach-call.c timeout 0 wit inspect 900   2300 4600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .020 4.9
loop-industry-pattern/aiob_4_true-unreach-call.c timeout 0 wit inspect 900   1800 6100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .019 4.9
loop-industry-pattern/mod3_true-unreach-call.c true 2 wit inspect 24   290 270 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.6  310 error (7) 0 wit inspect 7.8   200  
loop-industry-pattern/nested_true-unreach-call.c true 2 wit inspect 56   1600 500 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 710    7000 true 2 wit inspect 52     1000  
loop-industry-pattern/ofuf_1_true-unreach-call.c true 2 wit inspect 8.8 380 79 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 4.4  260 true 2 wit inspect 11     330  
loop-industry-pattern/ofuf_2_true-unreach-call.c true 2 wit inspect 8.1 370 63 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 5.0  260 true 2 wit inspect 8.9   330  
loop-industry-pattern/ofuf_3_true-unreach-call.c true 2 wit inspect 8.3 370 67 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 4.4  260 true 2 wit inspect 9.5   330  
loop-industry-pattern/ofuf_4_true-unreach-call.c true 2 wit inspect 9.1 390 74 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 4.7  260 true 2 wit inspect 10     340  
loop-industry-pattern/ofuf_5_true-unreach-call.c true 2 wit inspect 8.3 370 65 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 4.4  260 true 2 wit inspect 10     340  
loops/heavy_true-unreach-call.c timeout 0 wit inspect 910   9200 7900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .022 4.8
loops/compact_false-unreach-call.c timeout 0 wit inspect 900   5200 7700 error (invalid witness file) 0 wit inspect .57 44 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 .28 - wit inspect - wit inspect
loops/heavy_false-unreach-call.c timeout 0 wit inspect 900   8700 7200 error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect 1.0  50 error (invalid witness file) 0 wit inspect .0012 .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 189 47000 190000 560000 52 -137 760 22000 52 35 290 11000 52 0 130 7700 52 -463 34 650 111 88 22000 160000 111 100 1700 32000
    correct results 111 187 2300 53000 24000 23 23 87 6000 35 35 290 11000 0 17 17 12 310 44 88 1100 20000 74 148 1700 31000
        correct true 76 152 1300 38000 13000 0 0 0 0 44 88 1100 20000 74 148 1700 31000
        correct false 35 35 1000 15000 11000 23 23 87 6000 35 35 290 11000 0 17 17 12 310 0 0
    correct-unconfimed results 2 2 82 1100 1100 0 0 0 0 0 0
        correct-unconfirmed true 2 2 82 1100 1100 0 0 0 0 0 0
        correct-unconfirmed false 0 0 0 0 0 0 0
    incorrect results 0 5 -160 23 1300 0 0 15 -480 20 280 0 3 -48 20 780
        incorrect true 0 5 -160 23 1300 0 0 15 -480 20 280 0 0
        incorrect false 0 0 0 0 0 0 3 -48 20 780
score (163 tasks, max score: 274) 189 -137 35 0 -463 88 100
Run set uautomizer.sv-comp18.ReachSafety-Loops cpa-seq-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-Loops uautomizer-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-Loops cpa-witness2test-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-Loops fshell-witness2test-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-Loops cpa-seq-validate-correctness-witnesses-uautomizer.sv-comp18-correctness-witness.ReachSafety-Loops uautomizer-validate-correctness-witnesses-uautomizer.sv-comp18-correctness-witness.ReachSafety-Loops