Tool ULTIMATE Kojak 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] 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 02:33:02 CET 2017-12-03 03:22:18 CET 2017-12-03 03:55:21 CET 2017-12-03 04:22:06 CET 2017-12-03 04:36:43 CET 2017-12-03 00:36:56 CET 2017-12-03 03:32:10 CET
Run set ukojak.sv-comp18.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-ukojak.sv-comp18-violation-witness.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-ukojak.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-ukojak.sv-comp18-violation-witness.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-ukojak.sv-comp18-violation-witness.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-ukojak.sv-comp18-correctness-witness.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-ukojak.sv-comp18-correctness-witness.ReachSafety-Sequentialized
Options --full-output -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/ukojak.2017-12-02_0233.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/ukojak.2017-12-02_0233.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/ukojak.2017-12-02_0233.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/ukojak.2017-12-02_0233.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/ukojak.2017-12-02_0233.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/ukojak.2017-12-02_0233.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   1700 12000 error (invalid witness file) 0 wit inspect .63 44 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .80 47 error (invalid witness file) 0 wit inspect .0015 .35 - wit inspect - wit inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5000 11000 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .80 49 error (invalid witness file) 0 wit inspect .0013 .34 - wit inspect - wit inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.6 310 44 timeout 0 wit inspect 94    2500 false(unreach-call) 1 wit inspect 9.7   330   unknown 0 wit inspect 4.2  210 false(unreach-call) 1 wit inspect .62   19    - wit inspect - wit inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 7.7 390 58 timeout 0 wit inspect 93    2600 false(unreach-call) 1 wit inspect 12     500   unknown 0 wit inspect 5.7  220 false(unreach-call) 1 wit inspect .72   19    - wit inspect - wit inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5100 11000 error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .98 49 error (invalid witness file) 0 wit inspect .0020 .30 - wit inspect - wit inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 26   910 220 true -32 wit inspect 5.7  260 false(unreach-call) 1 wit inspect 12     650   unknown 0 wit inspect 6.2  220 false(unreach-call) 1 wit inspect .65   19    - wit inspect - wit inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   3700 12000 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect - wit inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   2000 11000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect 1.1  48 error (invalid witness file) 0 wit inspect .0017 .30 - wit inspect - wit inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6000 12000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0016 .34 - wit inspect - wit inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6000 14000 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5900 14000 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6100 13000 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .92 49 error (invalid witness file) 0 wit inspect .0016 .34 - wit inspect - wit inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6100 12000 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6100 13000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .021 5.0 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6200 12000 error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .046 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0019 .30 - wit inspect - wit inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6100 12000 error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .047 4.8 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6400 12000 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .88 50 error (invalid witness file) 0 wit inspect .0011 .31 - wit inspect - wit inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6500 13000 error (invalid witness file) 0 wit inspect .58 45 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6300 12000 error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect 1.0  48 error (invalid witness file) 0 wit inspect .0015 .27 - wit inspect - wit inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6600 11000 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
systemc/toy1_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5500 15000 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0019 .26 - wit inspect - wit inspect
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 620   4600 10000 true -32 wit inspect 7.2  280 false(unreach-call) 1 wit inspect 38     820   unknown 0 wit inspect 5.4  230 false(unreach-call) 1 wit inspect .76   20    - wit inspect - wit inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   1500 11000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect 1.0  47 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   2000 11000 error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0014 .27 - wit inspect - wit inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   1500 13000 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5400 12000 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6600 14000 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .96 48 error (invalid witness file) 0 wit inspect .0020 .26 - wit inspect - wit inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6300 12000 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0015 .34 - wit inspect - wit inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6100 15000 error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0016 .30 - wit inspect - wit inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6100 13000 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0018 .27 - wit inspect - wit inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6300 12000 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .96 49 error (invalid witness file) 0 wit inspect .0016 .34 - wit inspect - wit inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   6400 13000 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0014 .34 - wit inspect - wit inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6200 12000 error (invalid witness file) 0 wit inspect .38 40 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6300 12000 error (invalid witness file) 0 wit inspect .59 45 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .85 49 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   6400 12000 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .027 4.8 error (invalid witness file) 0 wit inspect .97 50 error (invalid witness file) 0 wit inspect .0015 .36 - wit inspect - wit inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 70   1300 760 true -32 wit inspect 15    450 false(unreach-call) 1 wit inspect 79     1700   unknown 0 wit inspect 25    1700 error (2) 0 wit inspect .89   21    - wit inspect - wit inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 79   1300 910 true -32 wit inspect 13    460 false(unreach-call) 1 wit inspect 71     1800   unknown 0 wit inspect 28    2000 error (2) 0 wit inspect .82   20    - wit inspect - wit inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   3000 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .020 5.0
systemc/kundu_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   2300 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .019 4.9
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6500 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.9
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6500 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .019 4.9
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6500 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .020 4.9
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   6500 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .018 4.8
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910   6500 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
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   2100 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 45 error (2) 0 wit inspect .021 5.0
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   3000 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .020 4.9
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   2400 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .021 4.9
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5000 12000 - 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/token_ring.01_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   1800 14000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .018 4.9
systemc/token_ring.02_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   3400 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .019 4.8
systemc/token_ring.03_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   2300 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .021 4.9
systemc/token_ring.04_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6100 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 45 error (2) 0 wit inspect .018 4.8
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6100 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.8
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6000 14000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .023 4.8
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6100 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.9
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6100 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
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6200 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .019 4.8
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6200 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .019 5.0
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6300 13000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .017 4.8
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6200 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .022 4.8
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   6400 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 44 error (2) 0 wit inspect .020 4.9
systemc/toy_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900   5400 12000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 42 error (2) 0 wit inspect .018 4.9
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c timeout 0 wit inspect 900   1800 9300 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   1400 12000 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0019 .26 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c timeout 0 wit inspect 900   1800 9700 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect 1.1  52 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   1800 10000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .79 47 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c timeout 0 wit inspect 900   1900 10000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .92 50 error (invalid witness file) 0 wit inspect .0015 .32 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   1600 12000 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0015 .28 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c timeout 0 wit inspect 900   1700 11000 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .021 5.0 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0014 .35 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   1700 11000 error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0012 .34 - 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   2700 10000 error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .91 49 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   2500 12000 error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .90 49 error (invalid witness file) 0 wit inspect .0013 .27 - 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   2000 14000 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .025 5.0 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   2900 15000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0019 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 170   2700 1900 true -32 wit inspect 6.8  280 false(unreach-call) 1 wit inspect 29     730   unknown 0 wit inspect 5.8  220 true -32 wit inspect .80   21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 140   2200 1900 true -32 wit inspect 5.2  270 false(unreach-call) 1 wit inspect 33     820   unknown 0 wit inspect 5.8  220 true -32 wit inspect .87   21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 54   1300 560 true -32 wit inspect 6.6  280 false(unreach-call) 1 wit inspect 48     810   unknown 0 wit inspect 4.7  220 true -32 wit inspect .85   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 46   1000 450 true -32 wit inspect 3.6  280 false(unreach-call) 1 wit inspect 30     740   unknown 0 wit inspect 5.3  220 true -32 wit inspect .82   20    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 150   2400 2000 true -32 wit inspect 6.3  280 timeout 0 wit inspect 97     780   unknown 0 wit inspect 5.5  220 true -32 wit inspect .87   21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 140   2200 1800 true -32 wit inspect 5.3  270 timeout 0 wit inspect 97     1300   unknown 0 wit inspect 3.4  220 true -32 wit inspect .78   21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 0 wit inspect 180   2800 2000 true -32 wit inspect 6.6  270 timeout 0 wit inspect 96     800   unknown 0 wit inspect 4.7  220 true -32 wit inspect .72   21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 0 wit inspect 120   2000 1300 true -32 wit inspect 6.3  270 timeout 0 wit inspect 96     960   unknown 0 wit inspect 5.4  220 true -32 wit inspect .72   21    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4000 13000 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.1  48 error (invalid witness file) 0 wit inspect .0014 .30 - 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   5200 12000 error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .026 5.0 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4600 10000 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect 1.0  51 error (invalid witness file) 0 wit inspect .0015 .34 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 0 wit inspect 690   3900 11000 true -32 wit inspect 7.7  300 true -32 wit inspect 9.7   420   unknown 0 wit inspect 6.4  260 true -32 wit inspect .99   23    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   2800 11000 error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0014 .29 - 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   5200 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 .90 50 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5200 12000 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .029 4.9 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0015 .31 - 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   5200 13000 error (invalid witness file) 0 wit inspect .61 46 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0015 .35 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   3600 12000 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect 1.2  49 error (invalid witness file) 0 wit inspect .0036 .34 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   4700 11000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .99 49 error (invalid witness file) 0 wit inspect .0018 .26 - 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   5300 10000 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.0  50 error (invalid witness file) 0 wit inspect .0015 .31 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5200 11000 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .92 49 error (invalid witness file) 0 wit inspect .0018 .27 - 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   5300 11000 error (invalid witness file) 0 wit inspect .57 45 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.1  48 error (invalid witness file) 0 wit inspect .0016 .32 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5200 12000 error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .90 49 error (invalid witness file) 0 wit inspect .0012 .35 - 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   5400 13000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .97 49 error (invalid witness file) 0 wit inspect .0017 .30 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5300 14000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect 1.0  47 error (invalid witness file) 0 wit inspect .0019 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   5100 12000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .92 49 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5300 13000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   5300 11000 error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .026 5.0 error (invalid witness file) 0 wit inspect 1.0  52 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c error (7) 0 wit inspect 97   1300 1200 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0018 .34 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c error (7) 0 wit inspect 65   1100 680 error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .97 49 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c error (7) 0 wit inspect 87   2400 860 error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect 1.0  50 error (invalid witness file) 0 wit inspect .0011 .35 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 56   1200 540 true -32 wit inspect 4.7  270 false(unreach-call) 1 wit inspect 22     670   unknown 0 wit inspect 2.9  220 true -32 wit inspect .83   20    - 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   7900 12000 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect 1.1  48 error (invalid witness file) 0 wit inspect .0041 .30 - 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   6800 13000 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .017 5.0 error (invalid witness file) 0 wit inspect 1.1  48 error (invalid witness file) 0 wit inspect .0013 .34 - 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   6900 14000 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect 1.1  51 error (invalid witness file) 0 wit inspect .0015 .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 900   6500 15000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0016 .29 - 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   5400 12000 error (invalid witness file) 0 wit inspect .61 42 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect 1.2  49 error (invalid witness file) 0 wit inspect .0016 .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 900   5300 13000 error (invalid witness file) 0 wit inspect .62 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 .0016 .26 - 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   6500 14000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0021 .29 - 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   6300 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 1.1  47 error (invalid witness file) 0 wit inspect .0018 .31 - 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   5800 15000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0013 .35 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   6500 14000 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .026 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0012 .30 - 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 900   8200 11000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .83 51 error (invalid witness file) 0 wit inspect .0015 .34 - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   6400 14000 error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .049 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0019 .30 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 560   2000 7200 true -32 wit inspect 5.4  270 false(unreach-call) 1 wit inspect 13     590   unknown 0 wit inspect 4.9  220 true -32 wit inspect .71   21    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   1600 11000 error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect 1.1  51 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   2200 11000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0012 .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   1800 11000 error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect 1.2  48 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   2000 11000 error (invalid witness file) 0 wit inspect .45 45 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .93 47 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   1200 10000 error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0014 .28 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 900   1800 12000 error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .96 47 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   2000 11000 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   2400 12000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .93 49 error (invalid witness file) 0 wit inspect .0012 .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   1900 11000 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   2300 12000 error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.1  51 error (invalid witness file) 0 wit inspect .0018 .29 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   3000 12000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .90 49 error (invalid witness file) 0 wit inspect .0020 .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 900   4400 13000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .81 47 error (invalid witness file) 0 wit inspect .0015 .30 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   2200 11000 error (invalid witness file) 0 wit inspect .57 45 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect .98 50 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   2800 10000 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0020 .29 - 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   3600 12000 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .021 5.0 error (invalid witness file) 0 wit inspect .79 47 error (invalid witness file) 0 wit inspect .0015 .27 - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900   2200 11000 error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0035 .34 - wit inspect - wit inspect
seq-