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