Tool ULTIMATE Taipan 0.1.23-3204b741 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CPA-witness2test 1.6.1-svn 26773 CProver witness2test 0.1 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-12-02 17:23:13 CET 2017-12-03 07:22:17 CET 2017-12-03 07:45:29 CET 2017-12-03 07:47:53 CET 2017-12-03 07:50:34 CET 2017-12-03 06:47:45 CET 2017-12-03 07:25:40 CET
Run set utaipan.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-utaipan.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-utaipan.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-utaipan.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-utaipan.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-utaipan.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-utaipan.sv-comp18-correctness-witness.ReachSafety-Sequentialized
Options --full-output -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/utaipan.2017-12-02_1723.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/utaipan.2017-12-02_1723.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/utaipan.2017-12-02_1723.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/utaipan.2017-12-02_1723.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/utaipan.2017-12-02_1723.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/utaipan.2017-12-02_1723.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 timeout 0 wit inspect 900   5400 12000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0044 .29 - wit inspect - wit inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6100 12000 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .050 4.9 error (invalid witness file) 0 wit inspect .85 48 error (invalid witness file) 0 wit inspect .0035 .26 - wit inspect - wit inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.7 290 43 timeout 0 wit inspect 93    2600 false(unreach-call) 1 wit inspect 5.9   280   unknown 0 wit inspect 3.0  210 false(unreach-call) 1 wit inspect .63   19    - wit inspect - wit inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 12   540 96 timeout 0 wit inspect 98    2900 false(unreach-call) 1 wit inspect 10     500   unknown 0 wit inspect 3.2  210 false(unreach-call) 1 wit inspect .61   19    - wit inspect - wit inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   3800 13000 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .047 5.0 error (invalid witness file) 0 wit inspect .85 50 error (invalid witness file) 0 wit inspect .0011 .31 - wit inspect - wit inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 180   3000 2000 true -32 wit inspect 4.5  260 false(unreach-call) 1 wit inspect 20     520   unknown 0 wit inspect 2.4  210 false(unreach-call) 1 wit inspect .64   19    - wit inspect - wit inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   2500 12000 error (invalid witness file) 0 wit inspect .56 45 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   3400 11000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .84 50 error (invalid witness file) 0 wit inspect .0029 .26 - wit inspect - wit inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   4300 10000 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0038 .29 - wit inspect - wit inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   3500 11000 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .047 4.9 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0037 .27 - wit inspect - wit inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   4900 12000 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .045 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0052 .30 - wit inspect - wit inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   4800 11000 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0037 .29 - wit inspect - wit inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   4000 10000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0043 .28 - wit inspect - wit inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   8900 11000 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .045 4.9 error (invalid witness file) 0 wit inspect .87 47 error (invalid witness file) 0 wit inspect .0041 .26 - wit inspect - wit inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5300 11000 error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .034 4.9 error (invalid witness file) 0 wit inspect .82 49 error (invalid witness file) 0 wit inspect .0045 .26 - wit inspect - wit inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   4600 13000 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .048 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0023 .31 - wit inspect - wit inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   4600 12000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0049 .29 - wit inspect - wit inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   12000 9200 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .049 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0040 .34 - wit inspect - wit inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   4600 12000 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .84 50 error (invalid witness file) 0 wit inspect .0033 .30 - wit inspect - wit inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   11000 9400 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .82 49 error (invalid witness file) 0 wit inspect .0042 .29 - wit inspect - wit inspect
systemc/toy1_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5200 10000 error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .83 50 error (invalid witness file) 0 wit inspect .0045 .26 - wit inspect - wit inspect
systemc/toy2_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5400 10000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .047 4.9 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0037 .34 - wit inspect - wit inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 48   1200 440 true -32 wit inspect 4.3  260 false(unreach-call) 1 wit inspect 14     560   unknown 0 wit inspect 3.2  210 false(unreach-call) 1 wit inspect .66   19    - wit inspect - wit inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   2200 11000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .049 4.9 error (invalid witness file) 0 wit inspect .93 50 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   3000 9500 error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .039 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0040 .28 - wit inspect - wit inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6100 9900 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0045 .29 - wit inspect - wit inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   4600 12000 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .049 4.8 error (invalid witness file) 0 wit inspect .88 50 error (invalid witness file) 0 wit inspect .0011 .32 - wit inspect - wit inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5400 13000 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .031 5.0 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0042 .26 - wit inspect - wit inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   9200 12000 error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .045 4.9 error (invalid witness file) 0 wit inspect .80 49 error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect - wit inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   4900 11000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0011 .31 - wit inspect - wit inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   9900 9200 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .026 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0018 .34 - wit inspect - wit inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   10000 9100 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .050 4.8 error (invalid witness file) 0 wit inspect .82 49 error (invalid witness file) 0 wit inspect .0041 .26 - wit inspect - wit inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   8200 10000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .041 4.8 error (invalid witness file) 0 wit inspect .82 48 error (invalid witness file) 0 wit inspect .0046 .26 - wit inspect - wit inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   13000 8200 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .037 4.8 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6500 11000 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .87 47 error (invalid witness file) 0 wit inspect .0012 .27 - wit inspect - wit inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 430   6800 5500 true -32 wit inspect 12    370 false(unreach-call) 1 wit inspect 68     1700   unknown 0 wit inspect 4.5  220 error (2) 0 wit inspect .74   21    - wit inspect - wit inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   14000 7300 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .045 4.9 error (invalid witness file) 0 wit inspect .84 50 error (invalid witness file) 0 wit inspect .0036 .31 - wit inspect - wit inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   2500 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.8
systemc/kundu_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6200 9500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 42 error (2) 0 wit inspect .038 5.0
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   12000 8200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .044 4.8
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   12000 8300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .035 4.9
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   11000 8500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .024 4.8
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   11000 8100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .018 4.9
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   11000 7900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .025 5.0
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5900 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .018 5.0
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5500 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 45 error (2) 0 wit inspect .049 4.9
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c true 2 wit inspect 23   850 200 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 460    7000 true 2 wit inspect 22     650  
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   3600 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .73 43 error (2) 0 wit inspect .018 4.9
systemc/token_ring.01_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   4800 13000 - 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
systemc/token_ring.02_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   2400 9600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.8
systemc/token_ring.03_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   2800 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .018 4.9
systemc/token_ring.04_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   4600 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.9
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   3500 11000 - 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
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   4900 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .031 4.9
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   4700 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .048 4.9
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   3900 12000 - 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
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   8900 9800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .048 4.9
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5300 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .018 5.0
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   4600 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .047 5.0
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   4500 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.9
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   12000 7700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .045 4.9
systemc/toy_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5400 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .031 5.0
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 50   1300 420 true -32 wit inspect 7.4  280 false(unreach-call) 1 wit inspect 8.4   380   unknown 0 wit inspect 4.2  230 true -32 wit inspect .69   20    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 48   1400 420 true -32 wit inspect 6.2  280 false(unreach-call) 1 wit inspect 8.6   380   unknown 0 wit inspect 4.1  220 true -32 wit inspect .68   20    - 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 130   1900 1300 true -32 wit inspect 7.4  270 false(unreach-call) 1 wit inspect 11     560   unknown 0 wit inspect 4.4  220 true -32 wit inspect .67   21    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 130   2000 1200 true -32 wit inspect 6.3  270 false(unreach-call) 1 wit inspect 11     550   unknown 0 wit inspect 4.0  220 true -32 wit inspect .70   21    - 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 140   2700 1400 true -32 wit inspect 7.6  280 false(unreach-call) 1 wit inspect 12     550   unknown 0 wit inspect 4.6  240 true -32 wit inspect .70   21    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 150   2500 1500 true -32 wit inspect 7.1  280 false(unreach-call) 1 wit inspect 11     540   unknown 0 wit inspect 4.3  220 true -32 wit inspect .70   21    - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c timeout 0 wit inspect 900   7700 9700 error (invalid witness file) 0 wit inspect .54 46 error (2) 0 wit inspect .050 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0039 .26 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   7500 11000 error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .052 4.9 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0045 .26 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   6400 13000 error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .82 51 error (invalid witness file) 0 wit inspect .0051 .26 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   6700 12000 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .043 5.0 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0041 .30 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   5400 12000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .049 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0037 .32 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5400 11000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .049 5.0 error (invalid witness file) 0 wit inspect .86 51 error (invalid witness file) 0 wit inspect .0040 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   13000 7600 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .043 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0041 .35 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 6100 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .039 4.9 error (invalid witness file) 0 wit inspect .94 49 error (invalid witness file) 0 wit inspect .0039 .34 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 910   13000 6900 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .032 4.9 error (invalid witness file) 0 wit inspect .88 50 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 6800 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .049 4.8 error (invalid witness file) 0 wit inspect .87 47 error (invalid witness file) 0 wit inspect .0014 .34 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   13000 7300 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .049 4.9 error (invalid witness file) 0 wit inspect .83 48 error (invalid witness file) 0 wit inspect .0046 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   12000 6300 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .051 4.9 error (invalid witness file) 0 wit inspect .80 49 error (invalid witness file) 0 wit inspect .0026 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 910   13000 6900 error (invalid witness file) 0 wit inspect .51 44 error (2) 0 wit inspect .040 4.9 error (invalid witness file) 0 wit inspect .87 48 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 5700 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .049 4.9 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0046 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 7400 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0039 .31 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   13000 5900 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .88 48 error (invalid witness file) 0 wit inspect .0041 .34 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 6200 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0033 .30 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   14000 5800 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .88 50 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   11000 6700 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .026 4.9 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0015 .34 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   14000 5500 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0035 .34 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   12000 6100 error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .051 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   13000 6300 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .87 50 error (invalid witness file) 0 wit inspect .0033 .30 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 6700 error (invalid witness file) 0 wit inspect .51 45 error (2) 0 wit inspect .050 4.9 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0020 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 8300 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .026 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0034 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   13000 5500 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .042 5.0 error (invalid witness file) 0 wit inspect .80 49 error (invalid witness file) 0 wit inspect .0037 .34 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 5300 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .030 5.0 error (invalid witness file) 0 wit inspect .85 51 error (invalid witness file) 0 wit inspect .0037 .34 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   13000 6800 error (invalid witness file) 0 wit inspect .49 41 error (2) 0 wit inspect .038 4.8 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 5600 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .80 47 error (invalid witness file) 0 wit inspect .0036 .31 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   14000 6300 error (invalid witness file) 0 wit inspect .50 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .82 49 error (invalid witness file) 0 wit inspect .0040 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   14000 5600 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .017 4.9 error (invalid witness file) 0 wit inspect .81 47 error (invalid witness file) 0 wit inspect .0037 .35 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   14000 6800 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 4700 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .041 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0037 .34 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 4800 error (invalid witness file) 0 wit inspect .55 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 .0041 .34 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   7600 11000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .044 4.9 error (invalid witness file) 0 wit inspect .88 50 error (invalid witness file) 0 wit inspect .0039 .32 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   8000 10000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .049 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0037 .35 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   8500 11000 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .026 4.9 error (invalid witness file) 0 wit inspect .85 50 error (invalid witness file) 0 wit inspect .0045 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   9700 9900 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .031 4.9 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0021 .27 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   12000 8900 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .042 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0036 .34 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   11000 9200 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .83 51 error (invalid witness file) 0 wit inspect .0012 .31 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   11000 7700 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0037 .28 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 7600 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .047 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0035 .32 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   13000 7300 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .051 4.9 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0041 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 6700 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .048 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0041 .34 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   13000 8600 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .048 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0014 .34 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   10000 7100 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .83 48 error (invalid witness file) 0 wit inspect .0019 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900   13000 5600 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .80 48 error (invalid witness file) 0 wit inspect .0032 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   14000 5200 error (invalid witness file) 0 wit inspect .50 45 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .85 50 error (invalid witness file) 0 wit inspect .0020 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 910   13000 6200 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .048 4.9 error (invalid witness file) 0 wit inspect .80 50 error (invalid witness file) 0 wit inspect .0038 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 5400 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0042 .34 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   5400 11000 error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0034 .30 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   7000 10000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0051 .28 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5000 12000 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   8500 9600 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .86 50 error (invalid witness file) 0 wit inspect .0044 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   8900 9100 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .91 49 error (invalid witness file) 0 wit inspect .0039 .34 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   8200 12000 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0037 .31 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   10000 8900 error (invalid witness file) 0 wit inspect .51 45 error (2) 0 wit inspect .051 4.9 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0041 .30 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   9000 9700 error (invalid witness file) 0 wit inspect .51 44 error (2) 0 wit inspect .017 4.9 error (invalid witness file) 0 wit inspect .80 48 error (invalid witness file) 0 wit inspect .0033 .33 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   9100 9500 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .048 5.0 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0040 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900   8800 9500 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0022 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   10000 10000 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .047 4.9 error (invalid witness file) 0 wit inspect .82 49 error (invalid witness file) 0 wit inspect .0041 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   8400 8900 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .048 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0046 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c timeout 0 wit inspect 910   11000 8300 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .049 4.9 error (invalid witness file) 0 wit inspect .85 50 error (invalid witness file) 0 wit inspect .0047 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   10000 8100 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .043 4.9 error (invalid witness file) 0 wit inspect .82 49 error (invalid witness file) 0 wit inspect .0039 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   8700 9100 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .81 48 error (invalid witness file) 0 wit inspect .0024 .34 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c timeout 0 wit inspect 900   13000 7100 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   9300 8800 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .050 4.9 error (invalid witness file) 0 wit inspect .92 50 error (invalid witness file) 0 wit inspect .0044 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   12000 6300 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .052 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   13000 7500 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .87 50 error (invalid witness file) 0 wit inspect .0037 .31 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 6700 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0030 .34 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 910   13000 6900 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .048 4.9 error (invalid witness file) 0 wit inspect .84 48 error (invalid witness file) 0 wit inspect .0046 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 5600 error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .036 5.0 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0040 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 910   14000 7900 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .048 5.0 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0037 .32 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 6300 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .047 4.9 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 910   13000 7400 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .027 4.9 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 6100 error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0013 .31 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   14000 7000 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .049 4.8 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   13000 6100 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .042 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0018 .35 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 5800 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .81 48 error (invalid witness file) 0 wit inspect .0027 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   13000 7000 error (invalid witness file) 0 wit inspect .50 43 error (2) 0 wit inspect .031 5.0 error (invalid witness file) 0 wit inspect .88 50 error (invalid witness file) 0 wit inspect .0037 .31 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   12000 5700 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .037 4.9 error (invalid witness file) 0 wit inspect .86 51 error (invalid witness file) 0 wit inspect .0049 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   13000 6600 error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0038 .34 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 6300 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .90 51 error (invalid witness file) 0 wit inspect .0045 .28 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   13000 7700 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .049 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0031 .31 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   14000 5100 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .89 52 error (invalid witness file) 0 wit inspect .0042 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 6800 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0040 .29 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   13000 6400 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .048 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0037 .33 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   14000 4800 error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .043 4.9 error (invalid witness file) 0 wit inspect .82 49 error (invalid witness file) 0 wit inspect .0037 .34 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   14000 6700 error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0040 .31 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   14000 4700 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .90 49 error (invalid witness file) 0 wit inspect .0035 .30 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   14000 5700 error (invalid witness file) 0 wit inspect .50 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .67 51 error (invalid witness file) 0 wit inspect .0035 .30 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   14000 4900 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .049 5.0 error (invalid witness file) 0 wit inspect .81 51 error (invalid witness file) 0 wit inspect .0035 .31 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   13000 6400 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .047 5.0 error (invalid witness file) 0 wit inspect .84 50 error (invalid witness file) 0 wit inspect .0040 .34 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 5600 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .049 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0047 .26 - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 5400 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .88 47 error (invalid witness file) 0 wit inspect .0033 .29 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c timeout 0 wit inspect 900   5400 11000 error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .038 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0037 .35 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c timeout 0 wit inspect 900   7000 12000 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .85 48 error (invalid witness file) 0 wit inspect .0044 .29 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c timeout 0 wit inspect 900   5400 13000 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c timeout 0 wit inspect 900   6000 11000 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .047 4.9 error (invalid witness file) 0 wit inspect .89 50 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c timeout 0 wit inspect 900   5300 12000 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .84 50 error (invalid witness file) 0 wit inspect .0046 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c timeout 0 wit inspect 900   6500 10000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c timeout 0 wit inspect 900   5400 11000 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .035 4.9 error (invalid witness file) 0 wit inspect .89 47 error (invalid witness file) 0 wit inspect .0040 .29 - wit inspect - wit inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c timeout 0 wit inspect 900   6400 9700 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .031 4.8 error (invalid witness file) 0 wit inspect .91 49 error (invalid witness file) 0 wit inspect .0044 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c timeout 0 wit inspect 900   5900 10000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .041 4.9 error (invalid witness file) 0 wit inspect .82 49 error (invalid witness file) 0 wit inspect .0037 .32 - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c timeout 0 wit inspect 900   6300 12000 error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .030 4.9 error (invalid witness file) 0 wit inspect .77 49 error (invalid witness file) 0 wit inspect .0036 .29 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c timeout 0 wit inspect 900   6400 9500 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .048 4.9 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0041 .33 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c timeout 0 wit inspect 900   5700 12000 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .049 4.9 error (invalid witness file) 0 wit inspect .82 48 error (invalid witness file) 0 wit inspect .0040 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c timeout 0 wit inspect 900   5300 12000 error (invalid witness file) 0 wit inspect .50 41 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .80 49 error (invalid witness file) 0 wit inspect .0042 .26 - wit inspect - wit inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c timeout 0 wit inspect 900   7000 11000 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0042 .34 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c timeout 0 wit inspect 900   4800 12000 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .80 47 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c timeout 0 wit inspect 910   8600 9500 error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .84 50 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c timeout 0 wit inspect 900   4800 12000 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .017 4.9 error (invalid witness file) 0 wit inspect .87 50 error (invalid witness file) 0 wit inspect .0045 .28 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c timeout 0 wit inspect 900   4800 13000 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0017 .30 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c timeout 0 wit inspect 900   5300 9700 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .050 5.0 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0041 .32 - wit inspect - wit inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c timeout 0 wit inspect 900   5100 11000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0039 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c timeout 0 wit inspect 900   4700 13000 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .036 5.0 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0044 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c timeout 0 wit inspect 900   4700 12000 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .049 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0045 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c timeout 0 wit inspect 900   4900 11000 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0022 .32 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c timeout 0 wit inspect 900   5400 10000 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .048 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0036 .32 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c timeout 0 wit inspect 900   4700 9800 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .028 4.8 error (invalid witness file) 0 wit inspect .89 50 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c timeout 0 wit inspect 900   4300 11000 error (invalid witness file) 0 wit inspect .50 43 error (2) 0 wit inspect .047 5.0 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0036 .29 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 0 wit inspect 900   7500 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .025 4.8
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   7700 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .018 4.9
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   5900 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.8
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   6300 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .50 41 error (2) 0 wit inspect .051 4.9
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 910   13000 6900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 47 error (2) 0 wit inspect .019 5.0
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 5700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .050 5.0
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   13000 5700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 44 error (2) 0 wit inspect .051 4.9
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   13000 5300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .019 4.9
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   13000 6600 - 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
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   14000 5100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .042 4.9
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   7000 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .021 4.9
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   6900 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .020 5.0
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   11000 7900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 42 error (2) 0 wit inspect .022 4.9
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   11000 7700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .023 4.9
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   13000 7000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 5.0
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   11000 7300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 42 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 timeout 0 wit inspect 910   13000 6700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .017 4.8
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 5800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .046 4.8
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 900   5000 14000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.8
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   6100 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 5.0
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 900   7900 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .018 4.8
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   8300 9300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .019 5.0
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   9300 9200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 41 error (2) 0 wit inspect .018 5.0
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   8600 9200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .018 4.9
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c timeout 0 wit inspect 900   9000 8400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 45 error (2) 0 wit inspect .047 4.8
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   8600 9400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .018 4.8
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c timeout 0 wit inspect 910   12000 8000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .031 4.9
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   10000 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .023 5.0
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c timeout 0 wit inspect 900   13000 8000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .031 4.8
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   11000 6900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .025 4.9
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 wit inspect 910   13000 6300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .025 4.9
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 5400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 46 error (2) 0 wit inspect .018 4.9
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 wit inspect 910   13000 6400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .050 4.8
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 910   13000 6200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .047 5.0
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 910   13000 6200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 44 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 910   14000 5100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c timeout 0 wit inspect 900   5300 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .040 4.9
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c timeout 0 wit inspect 900   6900 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 44 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c timeout 0 wit inspect 900   5300 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .049 4.9
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c timeout 0 wit inspect 900   6400 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 44 error (2) 0 wit inspect .020 4.9
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c timeout 0 wit inspect 900   6200 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .018 4.9
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c timeout 0 wit inspect 900   6200 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 45 error (2) 0 wit inspect .033 4.9
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c timeout 0 wit inspect 900   6100 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 41 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c timeout 0 wit inspect 900   6500 9500 - 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_nxt_true-unreach-call.1.M1.c timeout 0 wit inspect 900   5100 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c timeout 0 wit inspect 900   5600 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 45 error (2) 0 wit inspect .047 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c timeout 0 wit inspect 900   4700 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .50 44 error (2) 0 wit inspect .021 4.9
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c timeout 0 wit inspect 900   5200 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.8
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c timeout 0 wit inspect 900   5300 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 44 error (2) 0 wit inspect .051 4.8
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c timeout 0 wit inspect 900   7000 9900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .020 4.9
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c timeout 0 wit inspect 900   4700 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .74 43 error (2) 0 wit inspect .020 4.9
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c timeout 0 wit inspect 900   4800 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 46 error (2) 0 wit inspect .019 4.8
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c timeout 0 wit inspect 900   5300 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 5.0
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c timeout 0 wit inspect 900   5000 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .73 43 error (2) 0 wit inspect .047 4.8
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c timeout 0 wit inspect 900   5300 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .048 4.9
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c timeout 0 wit inspect 900   5100 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 44 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c timeout 0 wit inspect 900   4700 12000 - 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
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c timeout 0 wit inspect 900   4700 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 44 error (2) 0 wit inspect .023 4.8
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c timeout 0 wit inspect 900   4700 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .018 4.9
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c timeout 0 wit inspect 900   4700 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .044 4.9
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c timeout 0 wit inspect 900   5100 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .018 4.8
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c timeout 0 wit inspect 900   5400 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .043 4.8
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c timeout 0 wit inspect 900   1800 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .019 4.9
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c timeout 0 wit inspect 900   1800 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .043 4.8
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c timeout 0 wit inspect 900   4700 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .041 4.8
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c timeout 0 wit inspect 900   4300 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .048 4.8
seq-pthread/cs_fib_false-unreach-call.i error (7) 0 wit inspect 670   11000 4700 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0024 .32 - wit inspect - wit inspect
seq-pthread/cs_fib_longer_false-unreach-call.i error (7) 0 wit inspect 580   13000 2900 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .046 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0037 .33 - wit inspect - wit inspect
seq-pthread/cs_lazy_false-unreach-call_true-termination.i timeout 0 wit inspect 900   4800 13000 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0046 .26 - wit inspect - wit inspect
seq-pthread/cs_queue_false-unreach-call.i error (7) 0 wit inspect 560   4900 7000 error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .047 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect - wit inspect
seq-pthread/cs_read_write_lock_false-unreach-call.i error (7) 0 wit inspect 290   5200 3700 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .049 4.8 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
seq-pthread/cs_stack_false-unreach-call.i error (7) 0 wit inspect 4.2 230 33 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .032 4.9 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0037 .35 - wit inspect - wit inspect
seq-pthread/cs_stateful_false-unreach-call_true-termination.i error (7) 0 wit inspect 130   3500 1400 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .049 4.9 error (invalid witness file) 0 wit inspect .82 48 error (invalid witness file) 0 wit inspect .0037 .32 - wit inspect - wit inspect
seq-pthread/cs_dekker_true-unreach-call.i timeout 0 wit inspect 900   6400 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .018 4.8
seq-pthread/cs_fib_longer_true-unreach-call.i timeout 0 wit inspect 910   13000 4100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .046 5.0
seq-pthread/cs_fib_true-unreach-call.i timeout 0 wit inspect 900   13000 3500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 45 error (2) 0 wit inspect .018 4.8
seq-pthread/cs_lamport_true-unreach-call.i error (7) 0 wit inspect 240   5200 3200 - 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
seq-pthread/cs_peterson_true-unreach-call.i error (7) 0 wit inspect 270   5300 3200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 44 error (2) 0 wit inspect .018 5.0
seq-pthread/cs_queue_true-unreach-call.i timeout 0 wit inspect 900   4900 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 5.0
seq-pthread/cs_read_write_lock_true-unreach-call.i error (7) 0 wit inspect 430   4800 5200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .033 4.8
seq-pthread/cs_stack_true-unreach-call.i error (7) 0 wit inspect 4.1 220 34 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .019 4.8
seq-pthread/cs_stateful_true-unreach-call.i error (7) 0 wit inspect 180   4300 1800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 4.9
seq-pthread/cs_sync_true-unreach-call.i error (7) 0 wit inspect 190   4300 1900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .049 4.9
seq-pthread/cs_szymanski_true-unreach-call.i timeout 0 wit inspect 900   4900 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .018 5.0
seq-pthread/cs_time_var_mutex_true-unreach-call.i error (7) 0 wit inspect 330   6700 3500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .74 44 error (2) 0 wit inspect .052 4.9
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
total 273 13 230000 2300000 2300000 170 -288 340 15000 170 11 190 7200 170 0 180 10000 170 -188 7.9 270 103 0 520 11000 103 2 25 1100
    correct results 12 13 1400 25000 14000 0 11 11 180 6500 0 4 4 2.5 76 0 1 2 22 650
        correct true 1 2 23 850 200 0 0 0 0 0 1 2 22 650
        correct false 11 11 1300 24000 14000 0 11 11 180 6500 0 4 4 2.5 76 0 0
    incorrect results 0 9 -288 63 2600 0 0 6 -192 4.1 120 0 0
        incorrect true 0 9 -288 63 2600 0 0 6 -192 4.1 120 0 0
        incorrect false 0 0 0 0 0 0 0
score (273 tasks, max score: 376) 13 -288 11 0 -188 0 2
Run set utaipan.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-utaipan.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-utaipan.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-utaipan.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-utaipan.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-utaipan.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-utaipan.sv-comp18-correctness-witness.ReachSafety-Sequentialized