Tool VeriAbs 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* [apollon037; apollon065; apollon077; apollon078; apollon155; apollon159] 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 18:04:04 CET 2017-12-03 04:46:33 CET 2017-12-03 06:08:30 CET 2017-12-03 06:21:09 CET 2017-12-03 06:27:12 CET 2017-12-03 03:55:53 CET 2017-12-03 04:55:47 CET
Run set veriabs.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-veriabs.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-veriabs.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-veriabs.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-veriabs.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-veriabs.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-veriabs.sv-comp18-correctness-witness.ReachSafety-Sequentialized
Options -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/veriabs.2017-12-02_1804.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/veriabs.2017-12-02_1804.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/veriabs.2017-12-02_1804.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/veriabs.2017-12-02_1804.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/veriabs.2017-12-02_1804.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/veriabs.2017-12-02_1804.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
systemc/kundu1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 12 230 96 true -32 wit inspect 3.5  270 false(unreach-call) 1 wit inspect 8.8   680   unknown 0 wit inspect 4.1  220 false(unreach-call) 1 wit inspect .69   19    - wit inspect - wit inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 15 240 130 true -32 wit inspect 6.4  270 false(unreach-call) 1 wit inspect 18     700   unknown 0 wit inspect 2.8  220 false(unreach-call) 1 wit inspect .71   20    - wit inspect - wit inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 110 260 1000 timeout 0 wit inspect 93    2400 true -32 wit inspect 5.3   250   unknown 0 wit inspect 2.3  210 false(unreach-call) 1 wit inspect .62   18    - wit inspect - wit inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 89 230 800 timeout 0 wit inspect 94    2600 true -32 wit inspect 6.9   250   unknown 0 wit inspect 2.4  210 false(unreach-call) 1 wit inspect .79   19    - wit inspect - wit inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 690 380 4100 true -32 wit inspect 21    600 timeout 0 wit inspect 97     5300   unknown 0 wit inspect 3.8  280 false(unreach-call) 1 wit inspect .87   26    - wit inspect - wit inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 86 230 820 true -32 wit inspect 4.6  270 false(unreach-call) 1 wit inspect 20     950   unknown 0 wit inspect 2.6  220 false(unreach-call) 1 wit inspect .67   19    - wit inspect - wit inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 220 360 1400 true -32 wit inspect 6.3  280 false(unreach-call) 1 wit inspect 35     770   unknown 0 wit inspect 3.8  220 false(unreach-call) 1 wit inspect .72   19    - wit inspect - wit inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 460 510 2500 true -32 wit inspect 6.4  280 false(unreach-call) 1 wit inspect 42     1300   unknown 0 wit inspect 4.6  230 false(unreach-call) 1 wit inspect .72   20    - wit inspect - wit inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 490 400 2800 true -32 wit inspect 7.1  280 false(unreach-call) 1 wit inspect 71     1700   unknown 0 wit inspect 4.3  220 false(unreach-call) 1 wit inspect .77   21    - wit inspect - wit inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 630 510 3500 true -32 wit inspect 8.7  280 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 5.2  220 false(unreach-call) 1 wit inspect .78   22    - wit inspect - wit inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 810 650 4600 true -32 wit inspect 8.6  300 false(unreach-call) 1 wit inspect 66     3900   unknown 0 wit inspect 5.2  230 false(unreach-call) 1 wit inspect .93   22    - wit inspect - wit inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 630 310 3900 true -32 wit inspect 8.7  340 timeout 0 wit inspect 97     4400   unknown 0 wit inspect 5.3  270 false(unreach-call) 1 wit inspect .81   21    - wit inspect - wit inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 640 310 3000 true -32 wit inspect 11    400 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 5.4  280 false(unreach-call) 1 wit inspect .86   22    - wit inspect - wit inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 640 320 3600 true -32 wit inspect 11    420 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 3.5  220 false(unreach-call) 1 wit inspect 1.0    23    - wit inspect - wit inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 650 320 3500 true -32 wit inspect 6.7  420 timeout 0 wit inspect 98     4600   unknown 0 wit inspect 5.9  290 false(unreach-call) 1 wit inspect .91   23    - wit inspect - wit inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 660 320 4000 true -32 wit inspect 12    430 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 4.0  320 false(unreach-call) 1 wit inspect .94   24    - wit inspect - wit inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 670 410 3800 true -32 wit inspect 12    460 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 6.2  330 false(unreach-call) 1 wit inspect 1.2    25    - wit inspect - wit inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 680 450 4200 true -32 wit inspect 14    490 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 4.3  330 false(unreach-call) 1 wit inspect 1.0    26    - wit inspect - wit inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 670 400 4100 true -32 wit inspect 11    460 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 4.2  330 false(unreach-call) 1 wit inspect 1.1    25    - wit inspect - wit inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 690 440 4000 true -32 wit inspect 12    460 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 6.4  330 false(unreach-call) 1 wit inspect 1.1    26    - wit inspect - wit inspect
systemc/toy1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 470 300 2100 true -32 wit inspect 6.5  280 false(unreach-call) 1 wit inspect 33     1400   unknown 0 wit inspect 3.1  230 false(unreach-call) 1 wit inspect .73   20    - wit inspect - wit inspect
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 470 290 2500 true -32 wit inspect 4.5  280 false(unreach-call) 1 wit inspect 47     1700   unknown 0 wit inspect 3.0  220 false(unreach-call) 1 wit inspect .71   20    - wit inspect - wit inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 52 230 480 true -32 wit inspect 3.3  270 false(unreach-call) 1 wit inspect 16     680   unknown 0 wit inspect 3.8  220 false(unreach-call) 1 wit inspect .65   19    - wit inspect - wit inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 140 240 1200 true -32 wit inspect 4.0  270 false(unreach-call) 1 wit inspect 22     730   unknown 0 wit inspect 2.6  220 false(unreach-call) 1 wit inspect .71   19    - wit inspect - wit inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 310 330 2600 true -32 wit inspect 4.2  280 false(unreach-call) 1 wit inspect 40     960   unknown 0 wit inspect 2.9  230 false(unreach-call) 1 wit inspect .71   20    - wit inspect - wit inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 600 490 2900 false(unreach-call) 1 wit inspect 6.1  290 true -32 wit inspect 4.3   260   unknown 0 wit inspect 4.0  210 false(unreach-call) 1 wit inspect .65   18    - wit inspect - wit inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 550 370 3300 true -32 wit inspect 4.9  290 false(unreach-call) 1 wit inspect 89     2200   unknown 0 wit inspect 3.2  220 false(unreach-call) 1 wit inspect .75   21    - wit inspect - wit inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 680 500 4900 true -32 wit inspect 7.7  290 timeout 0 wit inspect 97     4100   unknown 0 wit inspect 4.9  220 false(unreach-call) 1 wit inspect .77   21    - wit inspect - wit inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 830 640 5800 true -32 wit inspect 5.6  320 timeout 0 wit inspect 97     4200   unknown 0 wit inspect 4.9  230 false(unreach-call) 1 wit inspect .86   22    - wit inspect - wit inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 630 300 3200 true -32 wit inspect 5.8  360 timeout 0 wit inspect 96     4500   unknown 0 wit inspect 3.6  270 false(unreach-call) 1 wit inspect .83   22    - wit inspect - wit inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 640 320 5000 true -32 wit inspect 9.4  280 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 3.5  280 false(unreach-call) 1 wit inspect 1.1    22    - wit inspect - wit inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 640 320 5400 true -32 wit inspect 11    420 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 3.8  280 false(unreach-call) 1 wit inspect .88   23    - wit inspect - wit inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 650 320 4000 true -32 wit inspect 11    420 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 5.6  290 false(unreach-call) 1 wit inspect .95   24    - wit inspect - wit inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 660 380 4200 true -32 wit inspect 13    430 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 6.0  320 false(unreach-call) 1 wit inspect .96   24    - wit inspect - wit inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 680 440 3800 true -32 wit inspect 13    460 timeout 0 wit inspect 98     4500   unknown 0 wit inspect 6.4  330 false(unreach-call) 1 wit inspect 1.0    25    - wit inspect - wit inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 670 430 5200 true -32 wit inspect 14    450 true -32 wit inspect 8.5   340   unknown 0 wit inspect 4.4  220 false(unreach-call) 1 wit inspect .83   19    - wit inspect - wit inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 680 440 4200 true -32 wit inspect 9.8  440 true -32 wit inspect 5.9   350   unknown 0 wit inspect 3.0  220 false(unreach-call) 1 wit inspect .93   19    - wit inspect - wit inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 230 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .019 4.9
systemc/kundu_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 330 7400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .019 4.8
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 580 7800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .50 45 error (2) 0 wit inspect .020 4.8
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 780 8100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 790 7600 - 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
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 720 7900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 42 error (2) 0 wit inspect .023 4.8
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 600 9300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .020 4.9
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 240 440 2100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 42 error (2) 0 wit inspect .019 5.0
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 280 360 2000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 41 error (2) 0 wit inspect .020 4.9
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 340 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 41 error (2) 0 wit inspect .019 4.9
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 600 7600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .019 4.9
systemc/token_ring.01_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 380 9800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .50 43 error (2) 0 wit inspect .020 4.9
systemc/token_ring.02_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 370 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 44 error (2) 0 wit inspect .019 4.9
systemc/token_ring.03_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 620 8000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .019 4.8
systemc/token_ring.04_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 500 6200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .44 44 error (2) 0 wit inspect .020 4.9
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 630 9200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 42 error (2) 0 wit inspect .034 4.9
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 760 7600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .020 4.8
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 430 9000 - 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
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 550 6800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .018 4.9
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 570 6800 - 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
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 670 7000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .019 4.9
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 750 6500 - 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
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 830 8500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .019 4.9
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 920 7400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .023 5.0
systemc/toy_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 450 5500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .021 4.9
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 18 250 150 true -32 wit inspect 7.8  330 false(unreach-call) 1 wit inspect 13     530   unknown 0 wit inspect 2.8  220 false(unreach-call) 1 wit inspect .90   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 20 250 190 true -32 wit inspect 6.7  270 false(unreach-call) 1 wit inspect 13     530   unknown 0 wit inspect 4.0  220 false(unreach-call) 1 wit inspect .77   19    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 19 250 170 true -32 wit inspect 7.0  430 false(unreach-call) 1 wit inspect 74     4600   unknown 0 wit inspect 4.5  340 false(unreach-call) 1 wit inspect 1.0    26    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 19 240 160 true -32 wit inspect 7.8  270 false(unreach-call) 1 wit inspect 32     730   unknown 0 wit inspect 3.2  230 false(unreach-call) 1 wit inspect .80   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 19 240 190 true -32 wit inspect 9.5  390 timeout 0 wit inspect 96     4500   unknown 0 wit inspect 6.0  340 false(unreach-call) 1 wit inspect .98   24    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 20 250 160 true -32 wit inspect 6.9  290 false(unreach-call) 1 wit inspect 22     700   unknown 0 wit inspect 4.6  230 false(unreach-call) 1 wit inspect .81   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 18 250 160 true -32 wit inspect 10    390 timeout 0 wit inspect 96     4500   unknown 0 wit inspect 6.4  340 false(unreach-call) 1 wit inspect 1.0    25    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 21 250 200 true -32 wit inspect 11    350 false(unreach-call) 1 wit inspect 85     4600   unknown 0 wit inspect 4.3  350 false(unreach-call) 1 wit inspect 1.1    26    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 15 240 120 true -32 wit inspect 5.3  310 false(unreach-call) 1 wit inspect 29     1400   unknown 0 wit inspect 4.7  280 false(unreach-call) 1 wit inspect .82   21    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 13 240 99 true -32 wit inspect 7.6  290 false(unreach-call) 1 wit inspect 23     1000   unknown 0 wit inspect 3.3  230 false(unreach-call) 1 wit inspect .77   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 15 240 130 true -32 wit inspect 5.3  310 false(unreach-call) 1 wit inspect 41     1200   unknown 0 wit inspect 3.2  220 false(unreach-call) 1 wit inspect .80   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 13 240 90 true -32 wit inspect 7.7  280 false(unreach-call) 1 wit inspect 22     1600   unknown 0 wit inspect 3.6  230 false(unreach-call) 1 wit inspect .81   21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 13 250 93 true -32 wit inspect 7.0  270 false(unreach-call) 1 wit inspect 26     770   unknown 0 wit inspect 4.5  230 false(unreach-call) 1 wit inspect .75   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 13 240 100 true -32 wit inspect 6.7  270 false(unreach-call) 1 wit inspect 33     810   unknown 0 wit inspect 4.5  230 false(unreach-call) 1 wit inspect .79   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 13 240 120 true -32 wit inspect 7.0  260 timeout 0 wit inspect 97     1000   unknown 0 wit inspect 4.2  220 false(unreach-call) 1 wit inspect .76   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 14 240 110 true -32 wit inspect 3.5  260 false(unreach-call) 1 wit inspect 36     770   unknown 0 wit inspect 4.0  220 false(unreach-call) 1 wit inspect .78   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 13 240 100 true -32 wit inspect 6.9  270 timeout 0 wit inspect 97     1300   unknown 0 wit inspect 4.6  270 false(unreach-call) 1 wit inspect .81   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 14 240 110 true -32 wit inspect 5.7  270 timeout 0 wit inspect 96     1100   unknown 0 wit inspect 4.5  230 false(unreach-call) 1 wit inspect .77   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 13 250 100 true -32 wit inspect 6.4  270 timeout 0 wit inspect 96     880   unknown 0 wit inspect 4.4  230 false(unreach-call) 1 wit inspect .76   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 13 240 98 true -32 wit inspect 6.1  270 false(unreach-call) 1 wit inspect 63     1200   unknown 0 wit inspect 3.2  230 false(unreach-call) 1 wit inspect .98   21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 66 240 730 false(unreach-call) 1 wit inspect 29    1700 true -32 wit inspect 6.5   280   unknown 0 wit inspect 4.3  280 false(unreach-call) 1 wit inspect .67   18    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 18 250 150 true -32 wit inspect 5.6  310 timeout 0 wit inspect 97     4000   unknown 0 wit inspect 3.8  280 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 19 250 160 true -32 wit inspect 7.7  280 timeout 0 wit inspect 96     3200   unknown 0 wit inspect 3.9  280 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 18 250 160 true -32 wit inspect 8.9  330 true -32 wit inspect 8.3   370   unknown 0 wit inspect 3.9  280 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 19 250 160 true -32 wit inspect 8.1  290 true -32 wit inspect 8.8   380   unknown 0 wit inspect 3.7  280 false(unreach-call) 1 wit inspect 1.0    21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 18 250 150 true -32 wit inspect 9.5  320 true -32 wit inspect 9.0   380   unknown 0 wit inspect 5.9  290 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 41 250 480 true -32 wit inspect 7.3  280 true -32 wit inspect 9.4   370   unknown 0 wit inspect 5.5  280 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 18 250 150 true -32 wit inspect 9.6  320 true -32 wit inspect 9.1   380   unknown 0 wit inspect 6.0  280 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 19 250 150 true -32 wit inspect 8.1  280 true -32 wit inspect 7.9   370   unknown 0 wit inspect 4.0  280 false(unreach-call) 1 wit inspect 1.3    22    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 480 250 7100 false(unreach-call) 1 wit inspect 31    2100 true -32 wit inspect 8.6   340   unknown 0 wit inspect 4.9  270 false(unreach-call) 1 wit inspect .70   19    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 31 310 280 true -32 wit inspect 12    470 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 4.6  310 false(unreach-call) 1 wit inspect 1.7    26    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 33 300 300 true -32 wit inspect 10    320 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 7.0  300 false(unreach-call) 1 wit inspect 1.6    26    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 33 330 310 true -32 wit inspect 7.7  460 true -32 wit inspect 15     450   unknown 0 wit inspect 4.7  330 false(unreach-call) 1 wit inspect 1.5    25    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 34 320 310 true -32 wit inspect 9.4  360 true -32 wit inspect 14     460   unknown 0 wit inspect 5.1  320 false(unreach-call) 1 wit inspect 1.5    25    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 33 330 320 true -32 wit inspect 13    470 true -32 wit inspect 13     470   unknown 0 wit inspect 4.6  330 false(unreach-call) 1 wit inspect 1.5    25    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 310 11000 error (invalid witness file) 0 wit inspect .39 44 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 33 320 310 true -32 wit inspect 14    470 true -32 wit inspect 12     460   unknown 0 wit inspect 4.9  330 false(unreach-call) 1 wit inspect 1.6    26    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 34 320 310 true -32 wit inspect 10    370 true -32 wit inspect 13     470   unknown 0 wit inspect 4.7  310 false(unreach-call) 1 wit inspect 1.5    26    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 310 11000 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0032 .28 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 11 230 79 true -32 wit inspect 6.1  270 false(unreach-call) 1 wit inspect 9.2   360   unknown 0 wit inspect 4.0  220 false(unreach-call) 1 wit inspect .73   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 11 230 86 true -32 wit inspect 4.9  260 timeout 0 wit inspect 96     910   unknown 0 wit inspect 3.9  210 false(unreach-call) 1 wit inspect .69   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 11 230 83 true -32 wit inspect 3.5  270 false(unreach-call) 1 wit inspect 12     350   unknown 0 wit inspect 2.8  220 false(unreach-call) 1 wit inspect .69   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 11 230 86 true -32 wit inspect 5.3  270 false(unreach-call) 1 wit inspect 24     660   unknown 0 wit inspect 4.0  220 false(unreach-call) 1 wit inspect .70   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 12 230 110 true -32 wit inspect 8.1  300 false(unreach-call) 1 wit inspect 11     480   unknown 0 wit inspect 4.8  230 false(unreach-call) 1 wit inspect .74   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 13 240 93 true -32 wit inspect 3.8  270 false(unreach-call) 1 wit inspect 80     1700   unknown 0 wit inspect 3.3  220 false(unreach-call) 1 wit inspect .74   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 12 240 94 true -32 wit inspect 6.8  280 false(unreach-call) 1 wit inspect 9.9   450   unknown 0 wit inspect 3.2  220 false(unreach-call) 1 wit inspect .71   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 12 230 87 true -32 wit inspect 6.3  270 false(unreach-call) 1 wit inspect 19     930   unknown 0 wit inspect 3.2  230 false(unreach-call) 1 wit inspect .84   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 13 240 97 true -32 wit inspect 5.1  280 timeout 0 wit inspect 97     2000   unknown 0 wit inspect 3.8  270 false(unreach-call) 1 wit inspect .79   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 12 240 110 true -32 wit inspect 4.3  300 timeout 0 wit inspect 96     2400   unknown 0 wit inspect 4.8  230 false(unreach-call) 1 wit inspect .82   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 13 240 100 true -32 wit inspect 8.4  280 false(unreach-call) 1 wit inspect 21     710   unknown 0 wit inspect 5.0  270 false(unreach-call) 1 wit inspect .80   22    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 13 230 97 true -32 wit inspect 6.7  270 false(unreach-call) 1 wit inspect 18     1000   unknown 0 wit inspect 4.8  220 false(unreach-call) 1 wit inspect .79   22    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 14 240 100 true -32 wit inspect 5.4  320 timeout 0 wit inspect 96     3000   unknown 0 wit inspect 3.9  290 false(unreach-call) 1 wit inspect .83   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 14 240 97 true -32 wit inspect 7.4  280 timeout 0 wit inspect 97     3100   unknown 0 wit inspect 5.7  290 false(unreach-call) 1 wit inspect .89   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 15 240 120 true -32 wit inspect 5.8  330 false(unreach-call) 1 wit inspect 14     600   unknown 0 wit inspect 5.4  280 false(unreach-call) 1 wit inspect .83   22    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 13 240 110 true -32 wit inspect 4.4  280 false(unreach-call) 1 wit inspect 15     590   unknown 0 wit inspect 3.6  230 false(unreach-call) 1 wit inspect .88   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 11 240 78 true -32 wit inspect 5.7  260 false(unreach-call) 1 wit inspect 16     620   unknown 0 wit inspect 3.9  220 false(unreach-call) 1 wit inspect .69   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 11 230 84 true -32 wit inspect 3.1  270 false(unreach-call) 1 wit inspect 14     670   unknown 0 wit inspect 2.7  220 false(unreach-call) 1 wit inspect .72   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 210 240 2500 false(unreach-call) 1 wit inspect 28    1600 true -32 wit inspect 5.5   250   unknown 0 wit inspect 2.5  220 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 12 240 96 true -32 wit inspect 6.4  270 false(unreach-call) 1 wit inspect 33     1000   unknown 0 wit inspect 3.1  230 false(unreach-call) 1 wit inspect .76   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 12 230 85 true -32 wit inspect 5.4  270 false(unreach-call) 1 wit inspect 17     700   unknown 0 wit inspect 4.6  220 false(unreach-call) 1 wit inspect .75   20    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 230 11000 error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .66 50 error (invalid witness file) 0 wit inspect .0019 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 12 240 97 true -32 wit inspect 4.9  280 false(unreach-call) 1 wit inspect 89     3800   unknown 0 wit inspect 5.1  280 false(unreach-call) 1 wit inspect .78   22    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 12 240 100 true -32 wit inspect 6.5  280 false(unreach-call) 1 wit inspect 28     1000   unknown 0 wit inspect 3.3  220 false(unreach-call) 1 wit inspect .78   22    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 240 13000 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0034 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 14 250 110 true -32 wit inspect 5.2  290 false(unreach-call) 1 wit inspect 50     4100   unknown 0 wit inspect 5.5  280 false(unreach-call) 1 wit inspect 1.0    23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 13 250 100 true -32 wit inspect 6.9  280 timeout 0 wit inspect 98     4200   unknown 0 wit inspect 3.5  220 false(unreach-call) 1 wit inspect .87   23    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 240 12000 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0023 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c false(unreach-call) 1 wit inspect 15 240 100 true -32 wit inspect 5.8  370 false(unreach-call) 1 wit inspect 49     4100   unknown 0 wit inspect 4.0  320 false(unreach-call) 1 wit inspect .93   24    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 25 240 250 true -32 wit inspect 7.4  320 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 5.7  320 false(unreach-call) 1 wit inspect .92   24    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 240 9500 error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0018 .27 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c false(unreach-call) 1 wit inspect 16 240 130 true -32 wit inspect 11    470 false(unreach-call) 1 wit inspect 83     4500   unknown 0 wit inspect 6.5  340 false(unreach-call) 1 wit inspect .96   25    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 27 230 270 true -32 wit inspect 7.8  330 timeout 0 wit inspect 97     4600   unknown 0 wit inspect 6.3  340 false(unreach-call) 1 wit inspect .98   26    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 240 12000 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .79 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 14 240 110 true -32 wit inspect 7.2  270 false(unreach-call) 1 wit inspect 40     990   unknown 0 wit inspect 4.8  270 false(unreach-call) 1 wit inspect .78   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 14 240 110 true -32 wit inspect 6.5  270 false(unreach-call) 1 wit inspect 49     980   unknown 0 wit inspect 5.0  230 false(unreach-call) 1 wit inspect .82   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 14 240 110 true -32 wit inspect 7.0  260 false(unreach-call) 1 wit inspect 33     730   unknown 0 wit inspect 2.9  220 false(unreach-call) 1 wit inspect .77   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 14 240 110 true -32 wit inspect 3.5  270 false(unreach-call) 1 wit inspect 76     1000   unknown 0 wit inspect 4.1  220 false(unreach-call) 1 wit inspect .77   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 14 240 110 true -32 wit inspect 7.1  290 false(unreach-call) 1 wit inspect 66     1400   unknown 0 wit inspect 4.7  270 false(unreach-call) 1 wit inspect .81   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 14 240 120 true -32 wit inspect 6.4  270 timeout 0 wit inspect 97     1400   unknown 0 wit inspect 3.3  220 false(unreach-call) 1 wit inspect .78   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 14 240 100 true -32 wit inspect 7.2  290 false(unreach-call) 1 wit inspect 58     1100   unknown 0 wit inspect 4.7  280 false(unreach-call) 1 wit inspect .80   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 14 240 120 true -32 wit inspect 6.6  270 timeout 0 wit inspect 97     1100   unknown 0 wit inspect 3.1  230 false(unreach-call) 1 wit inspect .79   20    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 93 230 1100 false(unreach-call) 1 wit inspect 23    1600 true -32 wit inspect 6.6   280   unknown 0 wit inspect 2.8  260 false(unreach-call) 1 wit inspect .66   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 18 240 140 true -32 wit inspect 9.2  330 timeout 0 wit inspect 97     2900   unknown 0 wit inspect 4.0  280 false(unreach-call) 1 wit inspect 1.1    22    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 19 250 180 true -32 wit inspect 5.0  270 timeout 0 wit inspect 96     3200   unknown 0 wit inspect 3.9  280 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 18 250 150 true -32 wit inspect 8.6  330 true -32 wit inspect 8.5   380   unknown 0 wit inspect 5.5  270 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 20 260 150 true -32 wit inspect 8.4  280 true -32 wit inspect 5.7   380   unknown 0 wit inspect 5.7  280 false(unreach-call) 1 wit inspect 1.0    22    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 19 250 160 true -32 wit inspect 5.8  340 true -32 wit inspect 8.9   380   unknown 0 wit inspect 4.0  280 false(unreach-call) 1 wit inspect 1.1    23    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 28 250 290 true -32 wit inspect 8.1  280 true -32 wit inspect 11     410   unknown 0 wit inspect 3.8  280 false(unreach-call) 1 wit inspect 1.1    23    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 18 240 150 true -32 wit inspect 5.6  330 true -32 wit inspect 8.2   380   unknown 0 wit inspect 5.8  280 false(unreach-call) 1 wit inspect 1.1    22    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 20 250 170 true -32 wit inspect 5.0  280 true -32 wit inspect 10     400   unknown 0 wit inspect 4.0  280 false(unreach-call) 1 wit inspect 1.1    22    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 630 250 8200 false(unreach-call) 1 wit inspect 40    2200 true -32 wit inspect 5.7   350   unknown 0 wit inspect 3.4  270 false(unreach-call) 1 wit inspect .74   19    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 34 330 290 true -32 wit inspect 14    460 timeout 0 wit inspect 96     4300   unknown 0 wit inspect 5.1  320 false(unreach-call) 1 wit inspect 1.6    26    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 36 320 340 true -32 wit inspect 11    390 timeout 0 wit inspect 97     4500   unknown 0 wit inspect 7.1  300 false(unreach-call) 1 wit inspect 1.7    26    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 34 330 300 true -32 wit inspect 14    400 true -32 wit inspect 13     470   unknown 0 wit inspect 5.0  330 false(unreach-call) 1 wit inspect 1.5    25    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 36 320 390 true -32 wit inspect 11    390 true -32 wit inspect 12     450   unknown 0 wit inspect 4.6  290 false(unreach-call) 1 wit inspect 1.6    25    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 34 330 310 true -32 wit inspect 14    380 true -32 wit inspect 12     460   unknown 0 wit inspect 4.9  300 false(unreach-call) 1 wit inspect 1.6    26    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 320 11000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0028 .32 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 34 330 340 true -32 wit inspect 12    460 true -32 wit inspect 13     460   unknown 0 wit inspect 5.0  300 false(unreach-call) 1 wit inspect 1.6    26    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 37 310 360 true -32 wit inspect 6.5  370 true -32 wit inspect 12     460   unknown 0 wit inspect 4.7  330 false(unreach-call) 1 wit inspect 1.6    26    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 330 12000 error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0036 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c timeout 0 wit inspect 900 1400 7300 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0010 .31 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c timeout 0 wit inspect 900 5400 5900 error (invalid witness file) 0 wit inspect .60 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .81 47 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c timeout 0 wit inspect 900 1400 6900 error (invalid witness file) 0 wit inspect .59 42 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .65 48 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c timeout 0 wit inspect 900 5400 6800 error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .68 50 error (invalid witness file) 0 wit inspect .0010 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c timeout 0 wit inspect 900 1500 7300 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .67 50 error (invalid witness file) 0 wit inspect .0016 .33 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c timeout 0 wit inspect 900 6400 8600 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c timeout 0 wit inspect 900 1500 7600 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0022 .30 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c timeout 0 wit inspect 900 6200 9200 error (invalid witness file) 0 wit inspect .59 42 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .88 51 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c false(unreach-call) 0 wit inspect 310 950 3000 true -32 wit inspect 37    1400 timeout 0 wit inspect 97     5000   unknown 0 wit inspect 14    730 true -32 wit inspect 6.7    42    - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c timeout 0 wit inspect 900 2000 8700 error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c timeout 0 wit inspect 900 1500 6100 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c timeout 0 wit inspect 900 5000 8400 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .64 49 error (invalid witness file) 0 wit inspect .0016 .30 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c timeout 0 wit inspect 900 1500 8000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .67 52 error (invalid witness file) 0 wit inspect .0036 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c timeout 0 wit inspect 900 5200 5800 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0016 .23 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c timeout 0 wit inspect 900 1600 9600 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c timeout 0 wit inspect 900 4600 7200 error (invalid witness file) 0 wit inspect .39 41 error (2) 0 wit inspect .031 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0014 .28 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c timeout 0 wit inspect 900 1600 8000 error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0013 .34 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c timeout 0 wit inspect 900 4600 6700 error (invalid witness file) 0 wit inspect .61 42 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0036 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c timeout 0 wit inspect 900 1600 11000 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .70 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c timeout 0 wit inspect 900 4900 7500 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .85 51 error (invalid witness file) 0 wit inspect .0022 .29 - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c false(unreach-call) 0 wit inspect 59 430 680 true -32 wit inspect 19    1000 timeout 0 wit inspect 97     2800   unknown 0 wit inspect 6.7  550 true -32 wit inspect 2.8    32    - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c false(unreach-call) 0 wit inspect 110 640 1100 true -32 wit inspect 38    1300 timeout 0 wit inspect 96     5400   unknown 0 wit inspect 17    770 true -32 wit inspect 4.3    47    - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c timeout 0 wit inspect 900 1500 7500 error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c timeout 0 wit inspect 900 4500 7300 error (invalid witness file) 0 wit inspect .40 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 .0016 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c timeout 0 wit inspect 900 1500 7700 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .82 49 error (invalid witness file) 0 wit inspect .0024 .34 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c timeout 0 wit inspect 900 4500 6700 error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .69 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c true 2 wit inspect 18 250 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 250    760 timeout 0 wit inspect 960     6900  
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 240 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .020 5.0
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 15 240 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 150    2700 true 2 wit inspect 280     4600  
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 240 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .018 5.0
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 15 250 120 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 36    400 out of memory 0 wit inspect 180     7000  
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 240 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 47 error (2) 0 wit inspect .019 4.8
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 1 wit inspect 160 250 2200 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    760 out of memory 0 wit inspect 120     7000  
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 240 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .020 4.8
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900 320 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 46 error (2) 0 wit inspect .024 4.9
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 320 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 41 error (2) 0 wit inspect .020 5.0
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 12 230 110 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 19    450 out of memory 0 wit inspect 200     7000  
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 240 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .024 4.8
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect 32 230 350 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 68    550 out of memory 0 wit inspect 130     7000  
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 240 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .022 4.9
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 100 240 1400 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 260    660 out of memory 0 wit inspect 100     7000  
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 240 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .024 4.8
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c true 1 wit inspect 410 230 5700 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1100 out of memory 0 wit inspect 110     7000  
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 240 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 42 error (2) 0 wit inspect .022 5.0
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 11 230 78 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 12    330 timeout 0 wit inspect 960     4900  
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 230 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .018 4.8
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect 15 230 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 25    520 out of memory 0 wit inspect 280     7000  
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 240 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .018 4.9
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 40 240 450 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 89    500 out of memory 0 wit inspect 210     7000  
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 250 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .020 4.8
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c true 2 wit inspect 90 240 1200 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 260    650 out of memory 0 wit inspect 160     7000  
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 250 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c true 1 wit inspect 140 240 1600 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1100 out of memory 0 wit inspect 120     7000  
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 230 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 41 error (2) 0 wit inspect .019 5.0
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c timeout 0 wit inspect 900 240 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .018 4.9
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 240 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .018 4.9
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 15 240 120 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 35    520 out of memory 0 wit inspect 170     7000  
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 240 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .019 4.8
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 1 wit inspect 110 260 1200 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    840 out of memory 0 wit inspect 190     7000  
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 260 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .020 4.9
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900 330 9500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 41 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 320 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .019 5.0
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c true 1 wit inspect 200 4400 1900 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6300 timeout 0 wit inspect 960     2500  
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c timeout 0 wit inspect 900 5400 7900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .029 4.9
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c timeout 0 wit inspect 900 1500 9900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c timeout 0 wit inspect 900 6300 7800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .023 4.9
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c timeout 0 wit inspect 900 1000 8000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .026 4.8
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c timeout 0 wit inspect 900 1000 7900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .021 4.9
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c timeout 0 wit inspect 900 2100 8800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .018 4.9
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c timeout 0 wit inspect 900 3400 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c true 1 wit inspect 180 4500 2000 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6500 timeout 0 wit inspect 960     2000  
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c witness invalid (true) 0 wit inspect 520 4900 3400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 45 error (invalid witness file) 0 wit inspect 3.8   200  
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c true 1 wit inspect 190 4400 1700 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6000 timeout 0 wit inspect 960     2300  
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c witness invalid (true) 0 wit inspect 670 5100 4400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (invalid witness file) 0 wit inspect 4.1   200  
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c true 1 wit inspect 200 4500 2000 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5900 timeout 0 wit inspect 960     2800  
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c timeout 0 wit inspect 900 5200 5200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .75 41 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c true 1 wit inspect 210 4300 2100 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6300 timeout 0 wit inspect 960     2800  
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c true 1 wit inspect 280 4600 2700 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 95    7000 timeout 0 wit inspect 960     3000  
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c timeout 0 wit inspect 900 1600 8400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c timeout 0 wit inspect 900 4900 7400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .019 4.8
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c timeout 0 wit inspect 900 1600 7300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c timeout 0 wit inspect 900 4900 7000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 42 error (2) 0 wit inspect .020 4.8
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c true 1 wit inspect 210 4000 1800 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    2700 timeout 0 wit inspect 960     4800  
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c true 1 wit inspect 210 3900 2000 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    2900 timeout 0 wit inspect 960     4800  
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c true 1 wit inspect 240 1800 2400 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    3600 timeout 0 wit inspect 960     4200  
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c true 1 wit inspect 270 1400 2500 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    4400 timeout 0 wit inspect 960     4600  
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c true 1 wit inspect 180 4600 1700 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6000 timeout 0 wit inspect 960     2400  
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c true 1 wit inspect 300 4500 2800 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 77    7000 timeout 0 wit inspect 960     5700  
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c true 1 wit inspect 190 4700 2200 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5200 timeout 0 wit inspect 960     2000  
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c true 1 wit inspect 270 4500 2700 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 81    7000 timeout 0 wit inspect 960     1800  
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c true 1 wit inspect 190 4500 1900 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    5600 timeout 0 wit inspect 960     4600  
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c true 1 wit inspect 270 4500 2500 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 96    7000 timeout 0 wit inspect 960     3600  
seq-pthread/cs_fib_false-unreach-call.i false(unreach-call) 0 wit inspect 18 260 160 true -32 wit inspect 22    580 timeout 0 wit inspect 97     3300   unknown 0 wit inspect 5.1  270 error (2) 0 wit inspect .93   20    - wit inspect - wit inspect
seq-pthread/cs_fib_longer_false-unreach-call.i false(unreach-call) 0 wit inspect 31 250 330 error (invalid witness file) 0 wit inspect 4.4  210 timeout 0 wit inspect 97     3400   error (invalid witness file) 0 wit inspect 3.0  220 error (1) 0 wit inspect .88   20    - wit inspect - wit inspect
seq-pthread/cs_lazy_false-unreach-call_true-termination.i false(unreach-call) 0 wit inspect 11 250 95 error (invalid witness file) 0 wit inspect 4.0  210 false(unreach-call) 1 wit inspect 20     660   error (invalid witness file) 0 wit inspect 4.1  220 error (1) 0 wit inspect .66   19    - wit inspect - wit inspect
seq-pthread/cs_queue_false-unreach-call.i timeout 0 wit inspect 900 2100 10000 error (invalid witness file) 0 wit inspect .40 45 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .69 50 error (invalid witness file) 0 wit inspect .0010 .26 - wit inspect - wit inspect
seq-pthread/cs_read_write_lock_false-unreach-call.i false(unreach-call) 0 wit inspect 12 250 100 error (invalid witness file) 0 wit inspect 3.9  210 false(unreach-call) 1 wit inspect 48     1000   error (invalid witness file) 0 wit inspect 4.0  220 error (1) 0 wit inspect .72   20    - wit inspect - wit inspect
seq-pthread/cs_stack_false-unreach-call.i false(unreach-call) 0 wit inspect 21 250 190 true -32 wit inspect 18    900 error (7) 0 wit inspect 2.8   210   unknown 0 wit inspect 6.7  310 error (2) 0 wit inspect .87   20    - wit inspect - wit inspect
seq-pthread/cs_stateful_false-unreach-call_true-termination.i false(unreach-call) 0 wit inspect 11 250 95 error (invalid witness file) 0 wit inspect 4.8  210 timeout 0 wit inspect 96     2500   error (invalid witness file) 0 wit inspect 4.0  220 error (1) 0 wit inspect .70   20    - wit inspect - wit inspect
seq-pthread/cs_dekker_true-unreach-call.i timeout 0 wit inspect 900 260 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .48 44 error (2) 0 wit inspect .023 4.9
seq-pthread/cs_fib_longer_true-unreach-call.i true 1 wit inspect 180 830 1800 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2600 out of memory 0 wit inspect 800     7000  
seq-pthread/cs_fib_true-unreach-call.i true 1 wit inspect 130 850 1300 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3500 timeout 0 wit inspect 960     4600  
seq-pthread/cs_lamport_true-unreach-call.i true 1 wit inspect 180 950 1700 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1700 timeout 0 wit inspect 960     3800  
seq-pthread/cs_peterson_true-unreach-call.i true 1 wit inspect 81 930 720 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1500 timeout 0 wit inspect 960     1400  
seq-pthread/cs_queue_true-unreach-call.i timeout 0 wit inspect 900 1600 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 42 error (2) 0 wit inspect .019 4.9
seq-pthread/cs_read_write_lock_true-unreach-call.i true 1 wit inspect 110 1100 980 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1800 timeout 0 wit inspect 960     4600  
seq-pthread/cs_stack_true-unreach-call.i true 1 wit inspect 120 1100 1000 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2900 error (7) 0 wit inspect 4.7   220  
seq-pthread/cs_stateful_true-unreach-call.i true 1 wit inspect 100 950 930 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1200 error (7) 0 wit inspect 780     2200  
seq-pthread/cs_sync_true-unreach-call.i true 1 wit inspect 110 1100 890 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4000 timeout 0 wit inspect 960     3100  
seq-pthread/cs_szymanski_true-unreach-call.i true 1 wit inspect 91 910 730 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1600 timeout 0 wit inspect 960     3400  
seq-pthread/cs_time_var_mutex_true-unreach-call.i true 1 wit inspect 100 910 780 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1300 timeout 0 wit inspect 960     4200  
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 273 180 110000 270000 1100000 170 -3994 1500 61000 170 -969 7100 270000 170 0 650 39000 170 32 140 3000 103 22 25000 130000 103 2 28000 190000
    correct results 139 150 22000 39000 150000 6 6 160 9500 55 55 2000 74000 0 128 128 120 2800 11 22 1200 8100 1 2 280 4600
        correct true 11 22 360 2600 4300 0 0 0 0 11 22 1200 8100 1 2 280 4600
        correct false 128 128 22000 37000 150000 6 6 160 9500 55 55 2000 74000 0 128 128 120 2800 0 0
    correct-unconfimed results 39 30 6200 79000 62000 0 0 0 0 0 0
        correct-unconfirmed true 30 30 5600 76000 56000 0 0 0 0 0 0
        correct-unconfirmed false 9 0 580 3500 5800 0 0 0 0 0 0
    incorrect results 0 125 -4000 1100 45000 32 -1024 300 12000 0 3 -96 14 120 0 0
        incorrect true 0 125 -4000 1100 45000 32 -1024 300 12000 0 3 -96 14 120 0 0
        incorrect false 0 0 0 0 0 0 0
score (273 tasks, max score: 376) 180 -3994 -969 0 32 22 2
Run set veriabs.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-veriabs.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-veriabs.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-veriabs.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-veriabs.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-veriabs.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-veriabs.sv-comp18-correctness-witness.ReachSafety-Sequentialized