Tool VerifierIntegerAssignmentPrograms File not exits 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* [apollon020; apollon077; apollon078; apollon084; apollon149; apollon164] 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-03 03:42:11 CET 2017-12-03 04:30:19 CET 2017-12-03 04:52:11 CET 2017-12-03 04:56:53 CET 2017-12-03 05:05:18 CET 2017-12-03 04:20:47 CET 2017-12-03 04:35:31 CET
Run set viap.sv-comp18.ReachSafety-Loops cpa-seq-validate-violation-witnesses-viap.sv-comp18-violation-witness.ReachSafety-Loops uautomizer-validate-violation-witnesses-viap.sv-comp18-violation-witness.ReachSafety-Loops cpa-witness2test-validate-violation-witnesses-viap.sv-comp18-violation-witness.ReachSafety-Loops fshell-witness2test-validate-violation-witnesses-viap.sv-comp18-violation-witness.ReachSafety-Loops cpa-seq-validate-correctness-witnesses-viap.sv-comp18-correctness-witness.ReachSafety-Loops uautomizer-validate-correctness-witnesses-viap.sv-comp18-correctness-witness.ReachSafety-Loops
Options -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/viap.2017-12-03_0342.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/viap.2017-12-03_0342.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/viap.2017-12-03_0342.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/viap.2017-12-03_0342.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/viap.2017-12-03_0342.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/viap.2017-12-03_0342.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 unknown 0 wit inspect 25   160 380 error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0011 .31 - wit inspect - wit inspect
loops/bubble_sort_false-unreach-call.i unknown 0 wit inspect 2.5 92 33 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .029 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0016 .28 - wit inspect - wit inspect
loops/count_up_down_false-unreach-call_true-termination.i unknown 0 wit inspect 11   110 160 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .90 51 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
loops/eureka_01_false-unreach-call_true-termination.i true -32 wit inspect 110   400 1200 error (invalid witness file) 0 wit inspect .63 42 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
loops/for_bounded_loop1_false-unreach-call_true-termination.i false(unreach-call) 0 wit inspect 12   100 170 timeout 0 wit inspect 92    2200 true -32 wit inspect 4.8   230   unknown 0 wit inspect 2.7  190 true -32 wit inspect .59   18    - wit inspect - wit inspect
loops/insertion_sort_false-unreach-call_true-termination.i unknown 0 wit inspect 220   330 2700 error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0016 .28 - wit inspect - wit inspect
loops/invert_string_false-unreach-call_true-termination.i false(unreach-call) 0 wit inspect 14   310 190 exception 0 wit inspect 5.5  210 timeout 0 wit inspect 96     5000   exception 0 wit inspect 4.6  210 true -32 wit inspect 1.1    58    - wit inspect - wit inspect
loops/linear_search_false-unreach-call.i unknown 0 wit inspect 4.3 92 57 error (invalid witness file) 0 wit inspect .61 42 error (2) 0 wit inspect .025 5.0 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0025 .29 - wit inspect - wit inspect
loops/ludcmp_false-unreach-call.i false(unreach-call) 1 wit inspect 32   130 410 false(unreach-call) 1 wit inspect 8.4  520 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 2.9  180 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
loops/matrix_false-unreach-call_true-termination.i unknown 0 wit inspect 230   1800 2700 error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect - wit inspect
loops/n.c24_false-unreach-call.i unknown 0 wit inspect 4.4 92 63 error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0015 .28 - wit inspect - wit inspect
loops/nec11_false-unreach-call_false-termination.i false(unreach-call) 1 wit inspect 7.1 93 90 exception 0 wit inspect 2.1  160 false(unreach-call) 1 wit inspect 4.9   270   exception 0 wit inspect 2.5  160 false(unreach-call) 1 wit inspect .67   18    - wit inspect - wit inspect
loops/nec20_false-unreach-call_true-termination.i unknown 0 wit inspect 15   120 230 error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0029 .26 - wit inspect - wit inspect
loops/s3_false-unreach-call.i unknown 0 wit inspect 2.6 92 30 error (invalid witness file) 0 wit inspect .45 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
loops/string_false-unreach-call_true-termination.i unknown 0 wit inspect 21   130 290 error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
loops/sum01_bug02_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 8.5 140 120 false(unreach-call) 1 wit inspect 10    530 out of memory 0 wit inspect 85     7000   unknown 0 wit inspect 8.2  260 true -32 wit inspect .71   29    - wit inspect - wit inspect
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 8.3 190 120 false(unreach-call) 1 wit inspect 16    640 timeout 0 wit inspect 97     5400   unknown 0 wit inspect 12    260 true -32 wit inspect .80   38    - wit inspect - wit inspect
loops/sum01_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 8.5 210 110 false(unreach-call) 1 wit inspect 17    620 out of memory 0 wit inspect 63     7000   unknown 0 wit inspect 16    260 true -32 wit inspect .83   41    - wit inspect - wit inspect
loops/sum03_false-unreach-call_true-termination.i unknown 0 wit inspect 94   15000 1300 error (invalid witness file) 0 wit inspect .66 42 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
loops/sum04_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 7.7 93 99 false(unreach-call) 1 wit inspect 4.0  260 false(unreach-call) 1 wit inspect 6.5   320   unknown 0 wit inspect 2.9  210 false(unreach-call) 1 wit inspect .61   19    - wit inspect - wit inspect
loops/sum_array_false-unreach-call.i unknown 0 wit inspect 230   820 2200 error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .030 5.0 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0012 .31 - wit inspect - wit inspect
loops/terminator_01_false-unreach-call_true-termination.i unknown 0 wit inspect 3.8 92 60 error (invalid witness file) 0 wit inspect .66 45 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .85 48 error (invalid witness file) 0 wit inspect .0015 .27 - wit inspect - wit inspect
loops/terminator_02_false-unreach-call_true-termination.i unknown 0 wit inspect 110   220 1300 error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
loops/terminator_03_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 8.1 96 98 true -32 wit inspect 4.0  260 false(unreach-call) 1 wit inspect 6.2   290   unknown 0 wit inspect 3.2  220 true -32 wit inspect .61   19    - wit inspect - wit inspect
loops/trex01_false-unreach-call_true-termination.i unknown 0 wit inspect 33   130 420 error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .66 50 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
loops/trex02_false-unreach-call_true-termination.i unknown 0 wit inspect 11   120 130 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
loops/trex03_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect 8.6 98 110 false(unreach-call) 1 wit inspect 3.3  250 false(unreach-call) 1 wit inspect 5.4   250   unknown 0 wit inspect 2.9  180 false(unreach-call) 1 wit inspect .72   18    - wit inspect - wit inspect
loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i unknown 0 wit inspect 2.5 92 28 error (invalid witness file) 0 wit inspect .42 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .89 50 error (invalid witness file) 0 wit inspect .0012 .27 - wit inspect - wit inspect
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i unknown 0 wit inspect 4.3 92 57 error (invalid witness file) 0 wit inspect .73 41 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect .81 47 error (invalid witness file) 0 wit inspect .0013 .30 - wit inspect - wit inspect
loops/vogal_false-unreach-call.i unknown 0 wit inspect 650   560 7700 error (invalid witness file) 0 wit inspect .71 42 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0025 .26 - wit inspect - wit inspect
loops/while_infinite_loop_4_false-unreach-call_true-termination.i out of memory 0 wit inspect 92   15000 1300 error (invalid witness file) 0 wit inspect .63 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .69 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
loops/array_true-unreach-call_true-termination.i true 1 wit inspect 13   200 150 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .026 4.9
loops/bubble_sort_true-unreach-call_true-termination.i unknown 0 wit inspect 24   120 390 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 44 error (2) 0 wit inspect .018 5.0
loops/count_up_down_true-unreach-call_true-termination.i true 1 wit inspect 9.1 110 110 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 42 error (2) 0 wit inspect .022 4.8
loops/eureka_01_true-unreach-call.i true 1 wit inspect 150   470 2200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .024 4.9
loops/eureka_05_true-unreach-call_true-termination.i true 1 wit inspect 56   280 600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .023 4.9
loops/for_infinite_loop_1_true-unreach-call_false-termination.i unknown 0 wit inspect 110   15000 1500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .023 4.9
loops/for_infinite_loop_2_true-unreach-call_false-termination.i unknown 0 wit inspect 110   15000 1500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .025 5.0
loops/insertion_sort_true-unreach-call_true-termination.i true 1 wit inspect 16   130 200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .023 5.0
loops/invert_string_true-unreach-call_true-termination.i true 1 wit inspect 18   170 210 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .022 4.9
loops/linear_sea.ch_true-unreach-call.i unknown 0 wit inspect 4.4 92 61 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .022 4.8
loops/lu.cmp_true-unreach-call.i error (1) 0 wit inspect 45   120 680 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .023 4.8
loops/matrix_true-unreach-call_true-termination.i true 1 wit inspect 20   240 240 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 42 error (2) 0 wit inspect .039 4.8
loops/n.c11_true-unreach-call_false-termination.i true 1 wit inspect 110   160 1400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .023 4.8
loops/n.c40_true-unreach-call_true-termination.i unknown 0 wit inspect 210   760 3100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .77 43 error (2) 0 wit inspect .025 4.8
loops/nec40_true-unreach-call_true-termination.i unknown 0 wit inspect 110   780 1600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 44 error (2) 0 wit inspect .024 4.8
loops/string_true-unreach-call_true-termination.i unknown 0 wit inspect 21   130 270 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .027 5.0
loops/sum01_true-unreach-call_true-termination.i true 1 wit inspect 10   110 130 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .028 4.8
loops/sum03_true-unreach-call_false-termination.i unknown 0 wit inspect 85   15000 1100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .74 45 error (2) 0 wit inspect .024 4.9
loops/sum04_true-unreach-call_true-termination.i true 1 wit inspect 9.7 110 150 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .021 4.8
loops/sum_array_true-unreach-call.i unknown 0 wit inspect 230   680 2400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .022 4.9
loops/terminator_02_true-unreach-call_true-termination.i true 1 wit inspect 15   140 220 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .022 4.8
loops/terminator_03_true-unreach-call_true-termination.i unknown 0 wit inspect 12   120 140 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 42 error (2) 0 wit inspect .025 5.0
loops/trex01_true-unreach-call_true-termination.i unknown 0 wit inspect 32   130 430 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .019 4.8
loops/trex02_true-unreach-call_true-termination.i true 1 wit inspect 9.5 120 120 - 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
loops/trex03_true-unreach-call_true-termination.i true 1 wit inspect 11   130 130 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .49 43 error (2) 0 wit inspect .023 4.8
loops/trex04_true-unreach-call_false-termination.i timeout 0 wit inspect 900   100 8100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .023 4.8
loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i unknown 0 wit inspect 2.5 92 34 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.9
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i unknown 0 wit inspect 4.4 92 56 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 42 error (2) 0 wit inspect .021 4.9
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i unknown 0 wit inspect 8.3 92 99 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 44 error (2) 0 wit inspect .019 4.8
loops/vogal_true-unreach-call.i unknown 0 wit inspect 30   120 360 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .026 4.9
loops/while_infinite_loop_1_true-unreach-call_false-termination.i unknown 0 wit inspect 90   15000 1300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 46 error (2) 0 wit inspect .025 4.8
loops/while_infinite_loop_2_true-unreach-call_false-termination.i out of memory 0 wit inspect 90   15000 1200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .024 4.9
loops/while_infinite_loop_3_true-unreach-call_false-termination.i unknown 0 wit inspect 92   15000 1300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .025 4.9
loop-acceleration/array_false-unreach-call1_true-termination.i false(unreach-call) 1 wit inspect 8.7 190 100 timeout 0 wit inspect 92    460 out of memory 0 wit inspect 63     7000   unknown 0 wit inspect 13    280 false(unreach-call) 1 wit inspect .92   39    - wit inspect - wit inspect
loop-acceleration/array_false-unreach-call2_true-termination.i false(unreach-call) 1 wit inspect 9.9 380 130 timeout 0 wit inspect 97    1300 timeout 0 wit inspect 93     7000   unknown 0 wit inspect 28    600 false(unreach-call) 1 wit inspect 1.4    69    - wit inspect - wit inspect
loop-acceleration/array_false-unreach-call3_true-termination.i false(unreach-call) 0 wit inspect 11   290 120 timeout 0 wit inspect 97    1400 timeout 0 wit inspect 97     5400   unknown 0 wit inspect 17    280 true -32 wit inspect .99   55    - wit inspect - wit inspect
loop-acceleration/const_false-unreach-call1.i false(unreach-call) 1 wit inspect 8.6 190 130 false(unreach-call) 1 wit inspect 13    640 timeout 0 wit inspect 97     5400   unknown 0 wit inspect 13    260 false(unreach-call) 1 wit inspect .79   39    - wit inspect - wit inspect
loop-acceleration/diamond_false-unreach-call1.i false(unreach-call) 1 wit inspect 8.7 100 110 false(unreach-call) 1 wit inspect 5.2  280 out of memory 0 wit inspect 65     7000   unknown 0 wit inspect 3.2  220 false(unreach-call) 1 wit inspect .61   20    - wit inspect - wit inspect
loop-acceleration/functions_false-unreach-call1_true-termination.i false(unreach-call) 1 wit inspect 10   92 170 timeout 0 wit inspect 92    1800 true -32 wit inspect 5.7   250   unknown 0 wit inspect 2.8  180 false(unreach-call) 1 wit inspect 1.1    18    - wit inspect - wit inspect
loop-acceleration/multivar_false-unreach-call1_true-termination.i unknown 0 wit inspect 10   110 140 error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
loop-acceleration/nested_false-unreach-call1.i false(unreach-call) 1 wit inspect 13   96 160 timeout 0 wit inspect 92    1800 true -32 wit inspect 5.0   250   unknown 0 wit inspect 2.8  180 false(unreach-call) 1 wit inspect 3.4    18    - wit inspect - wit inspect
loop-acceleration/phases_false-unreach-call1.i false(unreach-call) 1 wit inspect 8.9 100 110 timeout 0 wit inspect 92    1900 true -32 wit inspect 5.1   250   unknown 0 wit inspect 2.8  190 false(unreach-call) 1 wit inspect .88   18    - wit inspect - wit inspect
loop-acceleration/phases_false-unreach-call2_false-termination.i timeout 0 wit inspect 900   100 11000 error (invalid witness file) 0 wit inspect .70 42 error (2) 0 wit inspect .021 5.0 error (invalid witness file) 0 wit inspect .86 48 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
loop-acceleration/simple_false-unreach-call1.i false(unreach-call) 1 wit inspect 8.1 93 120 timeout 0 wit inspect 91    1800 true -32 wit inspect 5.2   270   unknown 0 wit inspect 2.9  190 false(unreach-call) 1 wit inspect .79   18    - wit inspect - wit inspect
loop-acceleration/simple_false-unreach-call2_true-termination.i false(unreach-call) 1 wit inspect 8.3 92 120 false(unreach-call) 1 wit inspect 3.6  260 false(unreach-call) 1 wit inspect 4.4   250   unknown 0 wit inspect 3.0  180 false(unreach-call) 1 wit inspect .79   18    - wit inspect - wit inspect
loop-acceleration/simple_false-unreach-call3_true-termination.i false(unreach-call) 1 wit inspect 7.9 92 98 false(unreach-call) 1 wit inspect 3.7  260 false(unreach-call) 1 wit inspect 4.7   240   unknown 0 wit inspect 2.6  180 false(unreach-call) 1 wit inspect .59   18    - wit inspect - wit inspect
loop-acceleration/simple_false-unreach-call4.i out of memory 0 wit inspect 36   15000 570 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .017 5.0 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0015 .28 - wit inspect - wit inspect
loop-acceleration/underapprox_false-unreach-call1_true-termination.i false(unreach-call) 1 wit inspect 8.5 92 120 false(unreach-call) 1 wit inspect 4.1  260 false(unreach-call) 1 wit inspect 5.6   340   unknown 0 wit inspect 3.0  190 false(unreach-call) 1 wit inspect .69   19    - wit inspect - wit inspect
loop-acceleration/underapprox_false-unreach-call2_true-termination.i false(unreach-call) 1 wit inspect 8.5 92 120 false(unreach-call) 1 wit inspect 3.1  260 false(unreach-call) 1 wit inspect 13     360   unknown 0 wit inspect 3.1  190 false(unreach-call) 1 wit inspect .65   18    - wit inspect - wit inspect
loop-acceleration/array_true-unreach-call1_true-termination.i true 1 wit inspect 16   250 200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .018 4.8
loop-acceleration/array_true-unreach-call2_true-termination.i unknown 0 wit inspect 110   550 1100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .022 4.9
loop-acceleration/array_true-unreach-call3_true-termination.i true 1 wit inspect 17   220 190 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .024 4.8
loop-acceleration/array_true-unreach-call4_true-termination.i true 1 wit inspect 12   140 170 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .025 4.9
loop-acceleration/const_true-unreach-call1.i true 1 wit inspect 9.0 110 120 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .023 4.8
loop-acceleration/diamond_true-unreach-call1_true-termination.i unknown 0 wit inspect 210   260 3200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .034 4.9
loop-acceleration/diamond_true-unreach-call2.i true 1 wit inspect 350   250 4600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .022 5.0
loop-acceleration/functions_true-unreach-call1_true-termination.i unknown 0 wit inspect 31   110 390 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 44 error (2) 0 wit inspect .021 4.8
loop-acceleration/multivar_true-unreach-call1_true-termination.i true 1 wit inspect 9.4 110 130 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .024 4.8
loop-acceleration/nested_true-unreach-call1.i true 1 wit inspect 150   110 2000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .73 43 error (2) 0 wit inspect .024 4.8
loop-acceleration/overflow_true-unreach-call1.i unknown 0 wit inspect 180   110 1800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .022 4.8
loop-acceleration/phases_true-unreach-call1.i unknown 0 wit inspect 230   380 2900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .024 4.8
loop-acceleration/phases_true-unreach-call2_false-termination.i timeout 0 wit inspect 900   100 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .024 4.8
loop-acceleration/simple_true-unreach-call1.i true 1 wit inspect 20   110 200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .025 5.0
loop-acceleration/simple_true-unreach-call2_true-termination.i true 1 wit inspect 31   110 310 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .025 4.8
loop-acceleration/simple_true-unreach-call3_true-termination.i true 1 wit inspect 8.9 110 140 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .024 4.9
loop-acceleration/simple_true-unreach-call4.i true 1 wit inspect 20   110 220 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 42 error (2) 0 wit inspect .026 4.8
loop-acceleration/underapprox_true-unreach-call1_true-termination.i true 1 wit inspect 12   120 160 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .025 4.8
loop-acceleration/underapprox_true-unreach-call2_true-termination.i true 1 wit inspect 11   120 130 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .021 4.8
loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i timeout 0 wit inspect 900   98 11000 error (invalid witness file) 0 wit inspect .71 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i true 1 wit inspect 17   130 230 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .025 4.8
loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i unknown 0 wit inspect 220   270 2400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .023 4.8
loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i true 1 wit inspect 14   130 200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .022 4.9
loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i unknown 0 wit inspect 15   110 170 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .025 5.0
loop-crafted/simple_vardep_true-unreach-call1_true-termination.i error (1) 0 wit inspect 17   190 240 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .026 4.8
loop-crafted/simple_vardep_true-unreach-call2_true-termination.i error (1) 0 wit inspect 11   170 140 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .021 4.8
loop-invgen/id_trans_false-unreach-call_true-termination.i unknown 0 wit inspect 15   120 230 error (invalid witness file) 0 wit inspect .72 42 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i unknown 0 wit inspect 38   170 480 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .024 5.0
loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i true 1 wit inspect 13   140 180 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .024 4.8
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i unknown 0 wit inspect 270   320 2900 - 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-invgen/apache-escape-absolute_true-unreach-call_true-termination.i unknown 0 wit inspect 170   220 2800 - 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
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i unknown 0 wit inspect 350   370 4500 - 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-invgen/down_true-unreach-call_true-termination.i true 1 wit inspect 13   130 220 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .025 5.0
loop-invgen/fragtest_simple_true-unreach-call_true-termination.i true 1 wit inspect 17   160 220 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 42 error (2) 0 wit inspect .019 4.9
loop-invgen/half_2_true-unreach-call_true-termination.i true 1 wit inspect 20   160 240 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .021 5.0
loop-invgen/heapsort_true-unreach-call_true-termination.i unknown 0 wit inspect 36   130 540 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .024 4.9
loop-invgen/id_build_true-unreach-call_true-termination.i true 1 wit inspect 16   130 180 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .023 5.0
loop-invgen/large_const_true-unreach-call_true-termination.i unknown 0 wit inspect 15   110 220 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .022 4.8
loop-invgen/nest-if3_true-unreach-call_true-termination.i unknown 0 wit inspect 230   470 2500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .018 4.9
loop-invgen/nested6_true-unreach-call_true-termination.i true 1 wit inspect 470   440 4700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .024 4.8
loop-invgen/nested9_true-unreach-call_true-termination.i true 1 wit inspect 350   1000 4300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 44 error (2) 0 wit inspect .019 5.0
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i unknown 0 wit inspect 430   370 5700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .025 4.8
loop-invgen/seq_true-unreach-call_true-termination.i true 1 wit inspect 18   170 200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 42 error (2) 0 wit inspect .023 5.0
loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i unknown 0 wit inspect 4.3 92 52 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.9
loop-invgen/up_true-unreach-call_true-termination.i true 1 wit inspect 14   130 190 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .018 4.9
loop-lit/afnp2014_true-unreach-call_true-termination.c.i true 1 wit inspect 11   110 130 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .023 5.0
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i true 1 wit inspect 320   370 3800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 45 error (2) 0 wit inspect .025 4.8
loop-lit/cggmp2005_true-unreach-call_true-termination.c.i true 1 wit inspect 8.9 110 120 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .020 4.8
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i true 1 wit inspect 11   110 140 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .023 4.8
loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i true 1 wit inspect 26   170 320 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 42 error (2) 0 wit inspect .030 4.8
loop-lit/css2003_true-unreach-call_true-termination.c.i true 1 wit inspect 14   150 180 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 42 error (2) 0 wit inspect .019 4.9
loop-lit/ddlm2013_true-unreach-call.i true 1 wit inspect 220   220 3000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .024 4.9
loop-lit/gj2007_true-unreach-call_true-termination.c.i true 1 wit inspect 210   240 3000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .025 4.8
loop-lit/gj2007b_true-unreach-call_true-termination.c.i unknown 0 wit inspect 260   380 3200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .022 4.9
loop-lit/gr2006_true-unreach-call_true-termination.c.i unknown 0 wit inspect 210   200 2600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .023 5.0
loop-lit/gsv2008_true-unreach-call_true-termination.c.i true 1 wit inspect 19   160 290 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .027 4.8
loop-lit/hhk2008_true-unreach-call_true-termination.c.i true 1 wit inspect 12   120 180 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .018 4.8
loop-lit/jm2006_true-unreach-call_true-termination.c.i true 1 wit inspect 11   120 140 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .73 43 error (2) 0 wit inspect .023 5.0
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i true 1 wit inspect 13   120 200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .022 5.0
loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i unknown 0 wit inspect 4.8 92 59 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 42 error (2) 0 wit inspect .023 4.8
loop-lit/gcnr2008_false-unreach-call_false-termination.i false(unreach-call) 1 wit inspect 10   100 130 timeout 0 wit inspect 92    2200 true -32 wit inspect 6.6   390   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .64   22    - wit inspect - wit inspect
loop-new/count_by_1_true-unreach-call_true-termination.i true 1 wit inspect 8.5 110 110 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 44 error (2) 0 wit inspect .019 4.9
loop-new/count_by_1_variant_true-unreach-call_true-termination.i true 1 wit inspect 73   330 930 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .025 5.0
loop-new/count_by_2_true-unreach-call_true-termination.i true 1 wit inspect 8.6 110 100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .025 4.8
loop-new/count_by_k_true-unreach-call_true-termination.i true 1 wit inspect 14   180 190 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .022 5.0
loop-new/count_by_nondet_true-unreach-call_true-termination.i unknown 0 wit inspect 310   350 3500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 44 error (2) 0 wit inspect .025 5.0
loop-new/gauss_sum_true-unreach-call_true-termination.i true 1 wit inspect 13   210 150 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .030 4.8
loop-new/half_true-unreach-call_true-termination.i unknown 0 wit inspect 300   180 3400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .024 4.8
loop-new/nested_true-unreach-call_true-termination.i unknown 0 wit inspect 420   190 6300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .031 4.8
loop-industry-pattern/aiob_1_true-unreach-call.c unknown 0 wit inspect 2.5 92 35 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 44 error (2) 0 wit inspect .028 4.8
loop-industry-pattern/aiob_2_true-unreach-call.c unknown 0 wit inspect 2.4 92 31 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .021 4.8
loop-industry-pattern/aiob_3_true-unreach-call.c unknown 0 wit inspect 2.5 92 39 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .024 4.8
loop-industry-pattern/aiob_4_true-unreach-call.c unknown 0 wit inspect 2.5 92 31 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 42 error (2) 0 wit inspect .025 4.8
loop-industry-pattern/mod3_true-unreach-call.c true 1 wit inspect 34   250 410 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .023 4.8
loop-industry-pattern/nested_true-unreach-call.c timeout 0 wit inspect 900   250 8800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .019 4.8
loop-industry-pattern/ofuf_1_true-unreach-call.c unknown 0 wit inspect 2.5 92 31 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 44 error (2) 0 wit inspect .019 4.8
loop-industry-pattern/ofuf_2_true-unreach-call.c unknown 0 wit inspect 2.5 92 30 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .025 4.8
loop-industry-pattern/ofuf_3_true-unreach-call.c unknown 0 wit inspect 2.5 92 31 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 42 error (2) 0 wit inspect .024 4.8
loop-industry-pattern/ofuf_4_true-unreach-call.c unknown 0 wit inspect 2.5 92 34 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .021 5.0
loop-industry-pattern/ofuf_5_true-unreach-call.c unknown 0 wit inspect 2.5 92 37 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 42 error (2) 0 wit inspect .020 4.8
loops/heavy_true-unreach-call.c unknown 0 wit inspect 3.8 92 48 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .024 4.9
loops/compact_false-unreach-call.c unknown 0 wit inspect 3.8 92 50 error (invalid witness file) 0 wit inspect .63 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
loops/heavy_false-unreach-call.c unknown 0 wit inspect 3.8 92 62 error (invalid witness file) 0 wit inspect .62 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0013 .28 - 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 44 15000 170000 180000 52 -20 960   21000 52 -184 940 65000 52 0 180 6800 52 -207 22   680 111 0 69 4800 111 0 2.6 540
    correct results 21 21 210 2800 2800 12 12 91   4800 8 8 50 2300 0 17 17 16   410 0 0
        correct true 0 0 0 0 0 0 0
        correct false 21 21 210 2800 2800 12 12 91   4800 8 8 50 2300 0 17 17 16   410 0 0
    correct-unconfimed results 58 55 3100 11000 39000 0 0 0 0 0 0
        correct-unconfirmed true 55 55 3100 10000 39000 0 0 0 0 0 0
        correct-unconfirmed false 3 0 37 710 470 0 0 0 0 0 0
    incorrect results 1 -32 110 400 1200 1 -32 4.0 260 6 -192 32 1700 0 7 -224 5.6 260 0 0
        incorrect true 1 -32 110 400 1200 1 -32 4.0 260 6 -192 32 1700 0 7 -224 5.6 260 0 0
        incorrect false 0 0 0 0 0 0 0
score (163 tasks, max score: 274) 44 -20 -184 0 -207 0 0
Run set viap.sv-comp18.ReachSafety-Loops cpa-seq-validate-violation-witnesses-viap.sv-comp18-violation-witness.ReachSafety-Loops uautomizer-validate-violation-witnesses-viap.sv-comp18-violation-witness.ReachSafety-Loops cpa-witness2test-validate-violation-witnesses-viap.sv-comp18-violation-witness.ReachSafety-Loops fshell-witness2test-validate-violation-witnesses-viap.sv-comp18-violation-witness.ReachSafety-Loops cpa-seq-validate-correctness-witnesses-viap.sv-comp18-correctness-witness.ReachSafety-Loops uautomizer-validate-correctness-witnesses-viap.sv-comp18-correctness-witness.ReachSafety-Loops