Tool DIVINE CPAchecker 1.7-svn 29852 ULTIMATE Automizer 0.1.23-635dfa2a CPA-witness2test 1.7-svn 29852 CProver witness2test 0.1 CPAchecker 1.7-svn 29852 ULTIMATE Automizer 0.1.23-635dfa2a
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.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-06 11:06:04 CET 2018-12-08 03:24:14 CET 2018-12-08 05:17:35 CET 2018-12-08 06:43:53 CET 2018-12-12 20:24:22 CET 2018-12-08 01:45:35 CET 2018-12-08 04:38:54 CET
Run set divine-smt.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-divine-smt.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-divine-smt.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-divine-smt.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-divine-smt.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-divine-smt.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-divine-smt.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized
Options -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -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 -witness ../../results-verified/divine-smt.2018-12-06_1106.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/divine-smt.2018-12-06_1106.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true -witness ../../results-verified/divine-smt.2018-12-06_1106.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/divine-smt.2018-12-06_1106.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -witness ../../results-verified/divine-smt.2018-12-06_1106.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/divine-smt.2018-12-06_1106.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
systemc/kundu1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 110    36    460 860   0      0      false(unreach-call) 1 wit inspect 16    8.6  440 0    0      true -32 --- inspect 9.6   5.6   310   .66 0     unknown 0 --- inspect 3.9  2.3  250 0   0     false(unreach-call) 1 --- inspect .61   .62   20    .090 0      - --- inspect - --- inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 39    23    440 400   0      0      false(unreach-call) 1 wit inspect 8.4  4.5  270 0    0      true -32 --- inspect 9.9   5.8   310   .66 0     unknown 0 --- inspect 5.3  3.0  250 0   0     false(unreach-call) 1 --- inspect .66   .66   20    .098 0      - --- inspect - --- inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 10    9.1  430 120   0      0      false(unreach-call) 1 wit inspect 5.5  3.1  250 0    0      true -32 --- inspect 7.3   4.0   310   .66 0     unknown 0 --- inspect 3.7  2.2  240 0   0     false(unreach-call) 1 --- inspect .59   .59   20    .082 0      - --- inspect - --- inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 9.7  9.1  430 130   0      0      false(unreach-call) 1 wit inspect 4.5  2.5  260 0    0      true -32 --- inspect 9.5   5.6   310   .66 0     unknown 0 --- inspect 4.9  2.9  250 0   0     false(unreach-call) 1 --- inspect .62   .63   20    .082 0      - --- inspect - --- inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c unknown 0 --- inspect 150    87    450 1900   0      0      error (invalid witness file) 0 --- inspect .62 .39 40 0    0      error (2) 0 --- inspect .024 .024 5.6 0    0     error (invalid witness file) 0 --- inspect .95 .61 47 0   0     error (invalid witness file) 0 --- inspect .0017 .0020 .41 0     0      - --- inspect - --- inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 25    15    440 300   0      .0082 false(unreach-call) 1 wit inspect 7.8  4.2  270 0    0      true -32 --- inspect 7.9   4.9   300   .66 0     unknown 0 --- inspect 4.6  2.7  250 0   0     false(unreach-call) 1 --- inspect .60   .60   20    .086 0      - --- inspect - --- inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 47    22    450 400   0      0      false(unreach-call) 1 wit inspect 7.3  4.0  270 0    0      true -32 --- inspect 7.8   4.9   310   .66 0     unknown 0 --- inspect 4.9  2.8  250 0   0     error (2) 0 --- inspect .61   .61   20    .090 .0082 - --- inspect - --- inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 87    37    450 840   0      0      false(unreach-call) 1 wit inspect 8.2  4.5  290 0    0      true -32 --- inspect 8.2   5.0   310   .66 0     unknown 0 --- inspect 5.0  2.9  250 0   0     error (2) 0 --- inspect .62   .62   20    .10  0      - --- inspect - --- inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 360    120    480 3100   0      0      false(unreach-call) 1 wit inspect 11    6.0  330 0    0      true -32 --- inspect 12     6.7   320   .66 0     unknown 0 --- inspect 5.6  3.2  250 0   0     error (2) 0 --- inspect .63   .63   20    .11  0      - --- inspect - --- inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    450 7000   .0041 0      error (invalid witness file) 0 --- inspect .75 .45 41 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 47 0   0     error (invalid witness file) 0 --- inspect .0015 .0024 .52 0     0      - --- inspect - --- inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    420 9500   .0041 0      error (invalid witness file) 0 --- inspect .73 .45 42 0    0      error (2) 0 --- inspect .024 .025 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .73 46 0   0     error (invalid witness file) 0 --- inspect .0019 .0025 .53 0     0      - --- inspect - --- inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 8900   .0041 0      error (invalid witness file) 0 --- inspect .75 .47 41 0    0      error (2) 0 --- inspect .025 .026 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 47 0   0     error (invalid witness file) 0 --- inspect .0058 .0089 .54 0     0      - --- inspect - --- inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    420 8400   .0041 0      error (invalid witness file) 0 --- inspect .74 .45 43 0    0      error (2) 0 --- inspect .026 .028 5.6 0    0     error (invalid witness file) 0 --- inspect .96 .61 46 0   0     error (invalid witness file) 0 --- inspect .0023 .0030 .53 0     0      - --- inspect - --- inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    420 8900   .0041 0      error (invalid witness file) 0 --- inspect .80 .49 41 0    0      error (2) 0 --- inspect .020 .021 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 47 0   0     error (invalid witness file) 0 --- inspect .0046 .0059 .52 0     0      - --- inspect - --- inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 8600   .0041 0      error (invalid witness file) 0 --- inspect .69 .42 42 0    0      error (2) 0 --- inspect .029 .031 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 48 0   0     error (invalid witness file) 0 --- inspect .0018 .0032 .54 0     0      - --- inspect - --- inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 7800   .016  0      error (invalid witness file) 0 --- inspect .61 .38 40 0    0      error (2) 0 --- inspect .027 .028 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 47 0   0     error (invalid witness file) 0 --- inspect .0058 .0074 .53 0     0      - --- inspect - --- inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 8500   .0041 0      error (invalid witness file) 0 --- inspect .76 .47 40 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .69 47 0   0     error (invalid witness file) 0 --- inspect .0060 .0075 .53 0     0      - --- inspect - --- inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 8600   .0041 0      error (invalid witness file) 0 --- inspect .77 .46 41 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect .97 .64 47 0   0     error (invalid witness file) 0 --- inspect .0016 .0017 .39 0     0      - --- inspect - --- inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 9600   .0041 0      error (invalid witness file) 0 --- inspect .87 .52 42 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect .94 .62 47 0   0     error (invalid witness file) 0 --- inspect .0056 .0073 .53 0     0      - --- inspect - --- inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 9500   .0041 0      error (invalid witness file) 0 --- inspect .76 .48 41 0    0      error (2) 0 --- inspect .022 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.3  .81 48 0   0     error (invalid witness file) 0 --- inspect .0023 .0030 .40 0     0      - --- inspect - --- inspect
systemc/toy1_false-unreach-call_false-termination.cil.c error - divine failed with exitcode 1 0 --- inspect 1.3  1.3  170 15   0      0      error (invalid witness file) 0 --- inspect .76 .46 40 0    0      error (2) 0 --- inspect .025 .026 5.5 0    0     error (invalid witness file) 0 --- inspect 1.2  .78 48 0   0     error (invalid witness file) 0 --- inspect .0053 .0087 .48 0     0      - --- inspect - --- inspect
systemc/toy2_false-unreach-call_false-termination.cil.c error - divine failed with exitcode 1 0 --- inspect 1.2  1.3  170 16   0      0      error (invalid witness file) 0 --- inspect .59 .36 41 0    0      error (2) 0 --- inspect .038 .039 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 47 0   0     error (invalid witness file) 0 --- inspect .0039 .0055 .54 0     0      - --- inspect - --- inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 11    10    430 140   0      0      false(unreach-call) 1 wit inspect 5.7  3.1  260 0    0      true -32 --- inspect 9.1   5.0   310   .66 0     unknown 0 --- inspect 3.9  2.3  250 0   0     false(unreach-call) 1 --- inspect .60   .60   20    .082 0      - --- inspect - --- inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 20    15    430 280   0      0      false(unreach-call) 1 wit inspect 6.2  3.4  260 0    .0082 true -32 --- inspect 9.8   5.7   310   .66 0     unknown 0 --- inspect 3.9  2.2  250 0   0     false(unreach-call) 1 --- inspect .64   .63   20    .090 0      - --- inspect - --- inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 60    36    440 730   0      0      false(unreach-call) 1 wit inspect 6.5  3.5  270 0    0      true -32 --- inspect 9.9   5.5   310   .66 0     unknown 0 --- inspect 4.3  2.5  250 0   0     false(unreach-call) 1 --- inspect .62   .62   20    .10  0      - --- inspect - --- inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 200    110    460 2000   0      0      false(unreach-call) 1 wit inspect 7.0  3.8  270 0    0      true -32 --- inspect 8.6   5.2   310   .66 0     unknown 0 --- inspect 5.5  3.2  250 0   0     false(unreach-call) 1 --- inspect .63   .62   20    .11  0      - --- inspect - --- inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 720    370    490 7100   0      0      false(unreach-call) 1 wit inspect 6.6  3.6  280 0    0      true -32 --- inspect 10     5.9   300   .62 0     unknown 0 --- inspect 6.1  3.5  250 0   .070 false(unreach-call) 1 --- inspect .64   .64   20    .11  0      - --- inspect - --- inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 8500   .0041 0      error (invalid witness file) 0 --- inspect .77 .46 40 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .65 48 0   0     error (invalid witness file) 0 --- inspect .0049 .0061 .53 0     0      - --- inspect - --- inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 9300   .0041 0      error (invalid witness file) 0 --- inspect .76 .46 42 0    0      error (2) 0 --- inspect .026 .026 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 46 0   0     error (invalid witness file) 0 --- inspect .0046 .014  .53 0     0      - --- inspect - --- inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    420 8400   .0041 0      error (invalid witness file) 0 --- inspect .75 .47 40 0    0      error (2) 0 --- inspect .027 .028 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 47 0   0     error (invalid witness file) 0 --- inspect .0048 .0059 .53 0     0      - --- inspect - --- inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    420 8800   .0041 0      error (invalid witness file) 0 --- inspect .73 .45 41 0    0      error (2) 0 --- inspect .022 .024 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .71 47 0   0     error (invalid witness file) 0 --- inspect .0040 .0052 .53 0     0      - --- inspect - --- inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 9300   .0041 0      error (invalid witness file) 0 --- inspect .72 .45 40 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .63 47 0   0     error (invalid witness file) 0 --- inspect .0046 .0057 .53 0     0      - --- inspect - --- inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 8800   .0041 0      error (invalid witness file) 0 --- inspect .77 .47 41 0    0      error (2) 0 --- inspect .022 .023 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 46 0   0     error (invalid witness file) 0 --- inspect .0044 .0054 .53 0     0      - --- inspect - --- inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 8400   .0041 0      error (invalid witness file) 0 --- inspect .74 .46 41 0    0      error (2) 0 --- inspect .022 .024 5.7 0    0     error (invalid witness file) 0 --- inspect .96 .61 46 0   0     error (invalid witness file) 0 --- inspect .0061 .0082 .53 0     0      - --- inspect - --- inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 9300   .0041 0      error (invalid witness file) 0 --- inspect .75 .45 41 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 47 0   0     error (invalid witness file) 0 --- inspect .0057 .0068 .53 0     0      - --- inspect - --- inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 9200   .0041 0      error (invalid witness file) 0 --- inspect .75 .45 40 0    0      error (2) 0 --- inspect .033 .034 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .80 48 0   0     error (invalid witness file) 0 --- inspect .0053 .0069 .53 0     0      - --- inspect - --- inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 10000   .0041 0      error (invalid witness file) 0 --- inspect .69 .43 43 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 47 0   0     error (invalid witness file) 0 --- inspect .0021 .0029 .53 0     0      - --- inspect - --- inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    2600 8500   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .43 40 0   0   error (2) 0 --- inspect .027 .028 5.5 0    0    
systemc/kundu_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    510 7600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .44 41 0   0   error (2) 0 --- inspect .026 .027 5.8 0    0    
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 7200   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .38 40 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0    
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 6500   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .35 40 0   0   error (2) 0 --- inspect .024 .025 5.7 0    0    
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    420 7600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .47 40 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0    
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    420 7000   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .38 40 0   0   error (2) 0 --- inspect .031 .032 5.7 0    0    
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    420 6800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .44 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    460 6600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 40 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0    
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    490 6600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    460 7000   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
systemc/pipeline_true-unreach-call_false-termination.cil.c unknown 0 --- inspect 160    90    450 2000   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .47 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0    
systemc/token_ring.01_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    430 6800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .38 41 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0    
systemc/token_ring.02_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    450 7600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 41 0   0   error (2) 0 --- inspect .020 .020 5.6 0    0    
systemc/token_ring.03_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    490 6600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 41 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0    
systemc/token_ring.04_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    490 7800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .47 43 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0    
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    460 8600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .35 40 0   0   error (2) 0 --- inspect .020 .022 5.6 0    0    
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    420 8800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .45 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 9800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .48 43 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0    
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    420 8600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .37 41 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0    
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    420 8900   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0    
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    420 9400   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 41 0   0   error (2) 0 --- inspect .023 .024 5.7 0    0    
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 8000   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .41 41 0   0   error (2) 0 --- inspect .025 .026 5.7 0    0    
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 8600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 40 0   0   error (2) 0 --- inspect .021 .023 5.6 0    0    
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 900    230    410 10000   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .39 40 0   0   error (2) 0 --- inspect .027 .028 5.5 0    0    
systemc/toy_true-unreach-call_false-termination.cil.c error - divine failed with exitcode 1 0 --- inspect 1.3  1.3  170 15   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .47 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0    
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 560    230    460 6000   0      0      false(unreach-call) 1 wit inspect 7.2  3.9  260 0    0      true -32 --- inspect 10     6.1   310   .66 0     unknown 0 --- inspect 4.4  2.5  250 0   .053 true -32 --- inspect .65   .65   20    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 560    230    460 5800   0      0      false(unreach-call) 1 wit inspect 6.2  3.4  280 0    0      true -32 --- inspect 10     5.9   300   .66 0     unknown 0 --- inspect 5.1  2.9  250 0   0     true -32 --- inspect .68   .68   20    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c timeout 0 --- inspect 900    300    440 8600   .012  0      error (invalid witness file) 0 --- inspect .68 .42 42 0    0      error (2) 0 --- inspect .027 .029 5.8 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 48 0   0     error (invalid witness file) 0 --- inspect .0053 .0063 .40 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    430    470 11000   .012  0      error (invalid witness file) 0 --- inspect .58 .35 40 0    0      error (2) 0 --- inspect .020 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 47 0   0     error (invalid witness file) 0 --- inspect .0018 .0023 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c timeout 0 --- inspect 900    290    440 10000   .0041 0      error (invalid witness file) 0 --- inspect .60 .38 42 0    0      error (2) 0 --- inspect .029 .030 5.5 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 47 0   0     error (invalid witness file) 0 --- inspect .0017 .0022 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    290    440 9300   .0041 0      error (invalid witness file) 0 --- inspect .74 .46 43 0    0      error (2) 0 --- inspect .025 .026 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .70 48 0   0     error (invalid witness file) 0 --- inspect .0050 .0062 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c timeout 0 --- inspect 900    230    420 9200   .0041 .11   error (invalid witness file) 0 --- inspect .77 .45 41 0    0      error (2) 0 --- inspect .024 .025 5.6 0    0     error (invalid witness file) 0 --- inspect 1.3  .84 48 0   0     error (invalid witness file) 0 --- inspect .0046 .0058 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    420 8700   .0041 0      error (invalid witness file) 0 --- inspect .63 .40 41 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .74 48 0   0     error (invalid witness file) 0 --- inspect .0047 .0058 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    400 9400   .0041 0      error (invalid witness file) 0 --- inspect .78 .49 40 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .69 47 0   0     error (invalid witness file) 0 --- inspect .0048 .0060 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 9300   .0041 0      error (invalid witness file) 0 --- inspect .60 .39 40 0    0      error (2) 0 --- inspect .028 .029 5.5 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 47 0   0     error (invalid witness file) 0 --- inspect .0047 .0061 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    400 8400   .0041 0      error (invalid witness file) 0 --- inspect .75 .45 41 0    0      error (2) 0 --- inspect .022 .023 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .68 47 0   0     error (invalid witness file) 0 --- inspect .0023 .0035 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 8800   .0041 0      error (invalid witness file) 0 --- inspect .82 .50 42 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .64 48 0   0     error (invalid witness file) 0 --- inspect .0046 .0058 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c timeout 0 --- inspect 900    230    390 9400   .0041 0      error (invalid witness file) 0 --- inspect .73 .45 41 0    0      error (2) 0 --- inspect .023 .024 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .78 47 0   0     error (invalid witness file) 0 --- inspect .0070 .010  .40 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8800   .0041 0      error (invalid witness file) 0 --- inspect .63 .39 40 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 47 0   0     error (invalid witness file) 0 --- inspect .0021 .0027 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c timeout 0 --- inspect 900    230    400 10000   .0041 0      error (invalid witness file) 0 --- inspect .64 .39 41 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .76 46 0   0     error (invalid witness file) 0 --- inspect .0056 .0072 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 9000   .0041 0      error (invalid witness file) 0 --- inspect .81 .49 42 0    0      error (2) 0 --- inspect .024 .025 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 47 0   0     error (invalid witness file) 0 --- inspect .0045 .0056 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c timeout 0 --- inspect 900    230    400 9100   .0041 0      error (invalid witness file) 0 --- inspect .75 .45 41 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.4  .88 47 0   0     error (invalid witness file) 0 --- inspect .0055 .011  .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 8000   .0041 0      error (invalid witness file) 0 --- inspect .71 .43 41 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .74 47 0   0     error (invalid witness file) 0 --- inspect .0018 .0023 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c timeout 0 --- inspect 900    230    400 9000   .0041 0      error (invalid witness file) 0 --- inspect .80 .48 40 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .69 48 0   0     error (invalid witness file) 0 --- inspect .0018 .0025 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 8800   .0041 0      error (invalid witness file) 0 --- inspect .79 .49 42 0    0      error (2) 0 --- inspect .024 .026 5.7 0    0     error (invalid witness file) 0 --- inspect 1.1  .72 46 0   0     error (invalid witness file) 0 --- inspect .0016 .0019 .39 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 9600   .0041 0      error (invalid witness file) 0 --- inspect .66 .40 40 0    0      error (2) 0 --- inspect .025 .026 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .78 48 0   0     error (invalid witness file) 0 --- inspect .0058 .0075 .41 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 --- inspect 900    230    390 8700   .0041 0      error (invalid witness file) 0 --- inspect .62 .38 42 0    0      error (2) 0 --- inspect .037 .038 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .74 47 0   0     error (invalid witness file) 0 --- inspect .0060 .016  .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8600   .0041 0      error (invalid witness file) 0 --- inspect .78 .48 43 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .74 47 0   0     error (invalid witness file) 0 --- inspect .0048 .0061 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c timeout 0 --- inspect 900    230    400 8300   .0041 0      error (invalid witness file) 0 --- inspect .66 .42 41 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 47 0   0     error (invalid witness file) 0 --- inspect .0022 .0028 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 9500   .0041 0      error (invalid witness file) 0 --- inspect .74 .45 42 0    0      error (2) 0 --- inspect .022 .023 5.6 0    0     error (invalid witness file) 0 --- inspect .92 .60 47 0   0     error (invalid witness file) 0 --- inspect .0060 .0077 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c timeout 0 --- inspect 900    230    400 8100   .0041 0      error (invalid witness file) 0 --- inspect .79 .48 43 0    0      error (2) 0 --- inspect .022 .023 5.6 0    0     error (invalid witness file) 0 --- inspect .97 .64 46 0   0     error (invalid witness file) 0 --- inspect .0057 .0072 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 10000   .0041 0      error (invalid witness file) 0 --- inspect .79 .49 42 0    0      error (2) 0 --- inspect .021 .021 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .72 49 0   0     error (invalid witness file) 0 --- inspect .0018 .0022 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c timeout 0 --- inspect 900    230    400 8800   .0041 0      error (invalid witness file) 0 --- inspect .75 .47 41 0    0      error (2) 0 --- inspect .026 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.3  .79 48 0   0     error (invalid witness file) 0 --- inspect .0057 .0074 .39 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 8100   .0041 0      error (invalid witness file) 0 --- inspect .74 .45 40 0    0      error (2) 0 --- inspect .023 .024 5.6 0    0     error (invalid witness file) 0 --- inspect .95 .62 46 0   0     error (invalid witness file) 0 --- inspect .0016 .0025 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 8400   .0041 0      error (invalid witness file) 0 --- inspect .74 .46 41 0    0      error (2) 0 --- inspect .025 .026 5.7 0    0     error (invalid witness file) 0 --- inspect 1.0  .68 47 0   0     error (invalid witness file) 0 --- inspect .0016 .0020 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    390 8800   .0041 0      error (invalid witness file) 0 --- inspect .80 .49 42 0    0      error (2) 0 --- inspect .030 .031 5.7 0    0     error (invalid witness file) 0 --- inspect 1.1  .74 47 0   0     error (invalid witness file) 0 --- inspect .0056 .016  .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 9500   .0041 0      error (invalid witness file) 0 --- inspect .65 .41 40 0    0      error (2) 0 --- inspect .028 .030 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .68 48 0   0     error (invalid witness file) 0 --- inspect .0055 .0070 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    390 9800   .016  0      error (invalid witness file) 0 --- inspect .68 .41 40 0    0      error (2) 0 --- inspect .025 .026 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .67 47 0   0     error (invalid witness file) 0 --- inspect .0049 .0060 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8800   .0041 0      error (invalid witness file) 0 --- inspect .70 .42 40 0    0      error (2) 0 --- inspect .023 .023 5.6 0    0     error (invalid witness file) 0 --- inspect .97 .63 47 0   0     error (invalid witness file) 0 --- inspect .0065 .0084 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    390 8100   .0041 0      error (invalid witness file) 0 --- inspect .77 .48 41 0    0      error (2) 0 --- inspect .026 .026 5.5 0    0     error (invalid witness file) 0 --- inspect 1.2  .78 47 0   0     error (invalid witness file) 0 --- inspect .0048 .0063 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 9500   .0041 0      error (invalid witness file) 0 --- inspect .76 .47 41 0    0      error (2) 0 --- inspect .021 .023 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 49 0   0     error (invalid witness file) 0 --- inspect .0064 .0080 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    390 8000   .0041 0      error (invalid witness file) 0 --- inspect .70 .42 41 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .70 47 0   0     error (invalid witness file) 0 --- inspect .0015 .0018 .40 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 9600   .0041 0      error (invalid witness file) 0 --- inspect .60 .37 42 0    0      error (2) 0 --- inspect .020 .021 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .70 47 0   0     error (invalid witness file) 0 --- inspect .0053 .0072 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 9500   .0041 0      error (invalid witness file) 0 --- inspect .64 .40 41 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .74 47 0   0     error (invalid witness file) 0 --- inspect .0055 .0076 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 380    130    470 3900   0      0      false(unreach-call) 1 wit inspect 18    11    430 0    0      true -32 --- inspect 10     6.0   310   .66 0     unknown 0 --- inspect 5.1  3.0  250 0   0     true -32 --- inspect .62   .63   20    .086 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 390    140    470 3400   0      0      false(unreach-call) 1 wit inspect 19    14    420 0    0      true -32 --- inspect 8.9   5.4   310   .62 0     unknown 0 --- inspect 4.4  2.6  250 0   .26  true -32 --- inspect .65   .65   20    .086 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 250    100    460 2600   0      0      false(unreach-call) 1 wit inspect 26    20    450 0    0      true -32 --- inspect 10     6.1   320   .66 0     unknown 0 --- inspect 5.4  3.1  250 0   0     true -32 --- inspect .61   .61   20    .086 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 310    120    460 3200   0      0      false(unreach-call) 1 wit inspect 52    46    530 0    0      true -32 --- inspect 7.7   4.8   320   .66 0     unknown 0 --- inspect 4.7  2.7  270 0   0     true -32 --- inspect .63   .63   20    .086 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 --- inspect 900    230    420 8200   .0041 0      error (invalid witness file) 0 --- inspect .76 .46 40 0    0      error (2) 0 --- inspect .023 .024 5.7 0    0     error (invalid witness file) 0 --- inspect 1.1  .70 47 0   0     error (invalid witness file) 0 --- inspect .0045 .0059 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    420 8500   .012  0      error (invalid witness file) 0 --- inspect .64 .39 41 0    0      error (2) 0 --- inspect .026 .027 5.8 0    0     error (invalid witness file) 0 --- inspect 1.2  .80 48 0   0     error (invalid witness file) 0 --- inspect .0050 .0065 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c timeout 0 --- inspect 900    320    460 8900   .012  0      error (invalid witness file) 0 --- inspect .66 .40 41 0    0      error (2) 0 --- inspect .024 .025 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 49 0   0     error (invalid witness file) 0 --- inspect .0050 .0065 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    420 8800   .0041 0      error (invalid witness file) 0 --- inspect .79 .47 41 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect .99 .65 46 0   0     error (invalid witness file) 0 --- inspect .0017 .0023 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    390 10000   .0041 0      error (invalid witness file) 0 --- inspect .66 .41 43 0    0      error (2) 0 --- inspect .026 .026 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .78 47 0   0     error (invalid witness file) 0 --- inspect .0055 .0063 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8800   .0041 0      error (invalid witness file) 0 --- inspect .68 .43 40 0    0      error (2) 0 --- inspect .031 .032 5.7 0    0     error (invalid witness file) 0 --- inspect .97 .63 47 0   0     error (invalid witness file) 0 --- inspect .0038 .0050 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    390 9000   .0041 0      error (invalid witness file) 0 --- inspect .75 .45 40 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 48 0   0     error (invalid witness file) 0 --- inspect .0051 .0064 .40 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 9600   .0041 0      error (invalid witness file) 0 --- inspect .59 .36 40 0    0      error (2) 0 --- inspect .024 .025 5.7 0    0     error (invalid witness file) 0 --- inspect .95 .61 47 0   0     error (invalid witness file) 0 --- inspect .0054 .0064 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c timeout 0 --- inspect 900    230    390 8400   .0041 0      error (invalid witness file) 0 --- inspect .66 .40 41 0    0      error (2) 0 --- inspect .020 .022 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .73 46 0   0     error (invalid witness file) 0 --- inspect .0063 .0079 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8900   .0041 0      error (invalid witness file) 0 --- inspect .80 .49 41 0    0      error (2) 0 --- inspect .021 .021 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .74 47 0   0     error (invalid witness file) 0 --- inspect .0051 .0063 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c timeout 0 --- inspect 900    230    390 10000   .0041 0      error (invalid witness file) 0 --- inspect .74 .45 40 0    0      error (2) 0 --- inspect .027 .028 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 47 0   0     error (invalid witness file) 0 --- inspect .0017 .0022 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8000   .0041 0      error (invalid witness file) 0 --- inspect .59 .37 41 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .66 48 0   0     error (invalid witness file) 0 --- inspect .0016 .0021 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 160    63    450 1700   0      0      false(unreach-call) 1 wit inspect 9.5  5.5  300 0    0      true -32 --- inspect 8.0   4.4   310   .66 0     unknown 0 --- inspect 4.2  2.5  250 0   .29  true -32 --- inspect .60   .60   20    .082 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c true -32 wit inspect 120    37    380 1200   0      0      unknown 0 wit inspect 17    9.9  450 .15 0      timeout 0 --- inspect 96     66     1200   2.1  0     unknown 0 --- inspect 1.1  .69 49 0   0     error (1) 0 --- inspect .083  .082  11    0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c true -32 wit inspect 130    38    380 1400   0      0      timeout 0 wit inspect 92    83    760 0    0      timeout 0 --- inspect 97     64     1600   .67 0     unknown 0 --- inspect 1.3  .81 48 0   0     error (1) 0 --- inspect .068  .069  12    0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 730    240    510 7900   0      0      false(unreach-call) 1 wit inspect 74    66    570 0    0      true -32 --- inspect 10     5.9   310   .66 0     unknown 0 --- inspect 4.1  2.4  250 0   .15  true -32 --- inspect .64   .64   20    .086 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c true -32 wit inspect 540    140    410 4900   0      0      unknown 0 wit inspect 26    17    520 .24 0      timeout 0 --- inspect 97     63     1900   .67 .012 unknown 0 --- inspect 1.3  .83 49 0   0     error (1) 0 --- inspect .081  .092  11    0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c true -32 wit inspect 470    120    410 4800   0      0      timeout 0 wit inspect 92    82    700 0    0      timeout 0 --- inspect 96     66     1900   .66 0     unknown 0 --- inspect 1.2  .79 49 0   0     error (1) 0 --- inspect .066  .066  11    0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    430 7600   .0041 0      error (invalid witness file) 0 --- inspect .61 .38 41 0    0      error (2) 0 --- inspect .022 .023 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 47 0   0     error (invalid witness file) 0 --- inspect .0054 .0067 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    420 8700   .0041 0      error (invalid witness file) 0 --- inspect .73 .47 40 0    0      error (2) 0 --- inspect .026 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .65 48 0   0     error (invalid witness file) 0 --- inspect .0043 .0054 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    430 7700   .0041 0      error (invalid witness file) 0 --- inspect .76 .47 40 0    0      error (2) 0 --- inspect .028 .029 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 47 0   0     error (invalid witness file) 0 --- inspect .0041 .0089 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c timeout 0 --- inspect 900    230    390 9100   .0041 0      error (invalid witness file) 0 --- inspect .70 .44 41 0    0      error (2) 0 --- inspect .022 .023 5.6 0    0     error (invalid witness file) 0 --- inspect .96 .62 48 0   0     error (invalid witness file) 0 --- inspect .0058 .0074 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8800   .0041 0      error (invalid witness file) 0 --- inspect .70 .43 40 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect .96 .62 47 0   0     error (invalid witness file) 0 --- inspect .0047 .0052 .39 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8400   .0041 0      error (invalid witness file) 0 --- inspect .74 .45 43 0    0      error (2) 0 --- inspect .021 .023 5.8 0    0     error (invalid witness file) 0 --- inspect 1.0  .67 47 0   0     error (invalid witness file) 0 --- inspect .0058 .0084 .40 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c timeout 0 --- inspect 900    230    390 8300   .0041 0      error (invalid witness file) 0 --- inspect .57 .35 41 0    0      error (2) 0 --- inspect .024 .025 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .78 47 0   0     error (invalid witness file) 0 --- inspect .0026 .0034 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 9100   .0041 0      error (invalid witness file) 0 --- inspect .66 .40 42 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 49 0   0     error (invalid witness file) 0 --- inspect .0015 .0018 .39 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8900   .0041 0      error (invalid witness file) 0 --- inspect .59 .37 41 0    0      error (2) 0 --- inspect .020 .021 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .74 47 0   0     error (invalid witness file) 0 --- inspect .0056 .0072 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c timeout 0 --- inspect 900    230    380 8300   .0041 0      error (invalid witness file) 0 --- inspect .77 .47 41 0    0      error (2) 0 --- inspect .022 .024 5.6 0    0     error (invalid witness file) 0 --- inspect .95 .63 46 0   0     error (invalid witness file) 0 --- inspect .0063 .0079 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    380 8900   .0041 0      error (invalid witness file) 0 --- inspect .56 .35 41 0    0      error (2) 0 --- inspect .028 .030 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .67 47 0   0     error (invalid witness file) 0 --- inspect .0041 .0053 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8300   .0041 0      error (invalid witness file) 0 --- inspect .92 .57 41 0    0      error (2) 0 --- inspect .028 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .81 46 0   0     error (invalid witness file) 0 --- inspect .0041 .0053 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c timeout 0 --- inspect 900    230    390 8800   .0041 0      error (invalid witness file) 0 --- inspect .68 .41 40 0    0      error (2) 0 --- inspect .021 .021 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 47 0   0     error (invalid witness file) 0 --- inspect .0045 .0074 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8100   .0041 0      error (invalid witness file) 0 --- inspect .76 .47 41 0    0      error (2) 0 --- inspect .026 .026 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 47 0   0     error (invalid witness file) 0 --- inspect .0020 .0025 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c timeout 0 --- inspect 900    230    400 7800   .0041 0      error (invalid witness file) 0 --- inspect .65 .39 41 0    0      error (2) 0 --- inspect .022 .023 5.8 0    0     error (invalid witness file) 0 --- inspect 1.0  .67 47 0   0     error (invalid witness file) 0 --- inspect .0051 .0062 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 10000   .0041 0      error (invalid witness file) 0 --- inspect .81 .49 42 0    0      error (2) 0 --- inspect .026 .027 5.8 0    0     error (invalid witness file) 0 --- inspect 1.1  .68 47 0   0     error (invalid witness file) 0 --- inspect .0020 .0026 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c timeout 0 --- inspect 900    230    400 8100   .0041 0      error (invalid witness file) 0 --- inspect .86 .52 42 0    0      error (2) 0 --- inspect .022 .023 5.8 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 46 0   0     error (invalid witness file) 0 --- inspect .0046 .0060 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 8100   .0041 0      error (invalid witness file) 0 --- inspect .60 .37 42 0    0      error (2) 0 --- inspect .021 .022 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 48 0   0     error (invalid witness file) 0 --- inspect .0060 .0076 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c timeout 0 --- inspect 900    230    400 9100   .0041 0      error (invalid witness file) 0 --- inspect .67 .40 40 0    0      error (2) 0 --- inspect .021 .022 5.7 0    0     error (invalid witness file) 0 --- inspect .99 .63 47 0   0     error (invalid witness file) 0 --- inspect .0050 .0066 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 8600   .0041 0      error (invalid witness file) 0 --- inspect .62 .39 41 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect .98 .64 47 0   0     error (invalid witness file) 0 --- inspect .0055 .0066 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 9100   .0041 0      error (invalid witness file) 0 --- inspect .74 .45 41 0    0      error (2) 0 --- inspect .020 .020 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .67 47 0   0     error (invalid witness file) 0 --- inspect .0022 .0033 .40 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c timeout 0 --- inspect 900    230    390 8900   .0041 0      error (invalid witness file) 0 --- inspect .69 .44 40 0    0      error (2) 0 --- inspect .028 .030 5.7 0    0     error (invalid witness file) 0 --- inspect 1.0  .68 49 0   0     error (invalid witness file) 0 --- inspect .0043 .0062 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 9900   .0041 0      error (invalid witness file) 0 --- inspect .69 .43 41 0    0      error (2) 0 --- inspect .021 .023 5.7 0    0     error (invalid witness file) 0 --- inspect .97 .64 48 0   0     error (invalid witness file) 0 --- inspect .0053 .0075 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c timeout 0 --- inspect 900    230    400 8700   .0041 0      error (invalid witness file) 0 --- inspect .71 .44 40 0    0      error (2) 0 --- inspect .020 .021 5.6 0    0     error (invalid witness file) 0 --- inspect .95 .62 46 0   0     error (invalid witness file) 0 --- inspect .0054 .0081 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 8400   .0041 0      error (invalid witness file) 0 --- inspect .67 .40 41 0    0      error (2) 0 --- inspect .027 .028 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .78 47 0   0     error (invalid witness file) 0 --- inspect .0017 .0021 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c timeout 0 --- inspect 900    230    400 9100   .0041 0      error (invalid witness file) 0 --- inspect .76 .47 41 0    0      error (2) 0 --- inspect .020 .021 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 47 0   0     error (invalid witness file) 0 --- inspect .0055 .0071 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 8900   .0041 0      error (invalid witness file) 0 --- inspect .76 .47 41 0    0      error (2) 0 --- inspect .030 .031 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .73 47 0   0     error (invalid witness file) 0 --- inspect .0019 .0022 .39 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c timeout 0 --- inspect 900    230    400 8900   .0041 0      error (invalid witness file) 0 --- inspect .77 .46 41 0    0      error (2) 0 --- inspect .021 .021 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 47 0   0     error (invalid witness file) 0 --- inspect .0055 .0073 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 8800   .0041 0      error (invalid witness file) 0 --- inspect .82 .49 41 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .66 50 0   0     error (invalid witness file) 0 --- inspect .0044 .0057 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 8400   .0041 0      error (invalid witness file) 0 --- inspect .76 .46 40 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .78 48 0   0     error (invalid witness file) 0 --- inspect .0052 .0066 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    390 8600   .0041 0      error (invalid witness file) 0 --- inspect .75 .46 41 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .74 47 0   0     error (invalid witness file) 0 --- inspect .0045 .0057 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8100   .0041 0      error (invalid witness file) 0 --- inspect .65 .41 40 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 47 0   0     error (invalid witness file) 0 --- inspect .0040 .0065 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    390 8700   .0041 0      error (invalid witness file) 0 --- inspect .60 .38 40 0    0      error (2) 0 --- inspect .022 .024 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 48 0   0     error (invalid witness file) 0 --- inspect .0052 .0065 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8700   .0041 0      error (invalid witness file) 0 --- inspect .65 .39 41 0    0      error (2) 0 --- inspect .024 .025 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 47 0   0     error (invalid witness file) 0 --- inspect .0019 .0025 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    390 8900   .0041 0      error (invalid witness file) 0 --- inspect .78 .48 41 0    0      error (2) 0 --- inspect .031 .031 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 46 0   0     error (invalid witness file) 0 --- inspect .0023 .0043 .50 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 9300   .0041 0      error (invalid witness file) 0 --- inspect .73 .45 42 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 48 0   0     error (invalid witness file) 0 --- inspect .0053 .0067 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    390 7900   .0041 0      error (invalid witness file) 0 --- inspect .80 .48 40 0    0      error (2) 0 --- inspect .023 .023 5.6 0    0     error (invalid witness file) 0 --- inspect .93 .62 47 0   0     error (invalid witness file) 0 --- inspect .0056 .0073 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 9600   .0041 0      error (invalid witness file) 0 --- inspect .80 .49 40 0    0      error (2) 0 --- inspect .021 .021 5.6 0    0     error (invalid witness file) 0 --- inspect .97 .64 47 0   0     error (invalid witness file) 0 --- inspect .0045 .0061 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8500   .0041 0      error (invalid witness file) 0 --- inspect .78 .47 43 0    0      error (2) 0 --- inspect .026 .026 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .74 47 0   0     error (invalid witness file) 0 --- inspect .0021 .0027 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c error - divine failed with signal 11 0 --- inspect 1.9  1.9  200 30   0      0      error (invalid witness file) 0 --- inspect .80 .51 40 0    0      error (2) 0 --- inspect .022 .023 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .72 48 0   0     error (invalid witness file) 0 --- inspect .0017 .0020 .39 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c error - divine failed with signal 11 0 --- inspect 3.9  3.9  260 51   0      0      error (invalid witness file) 0 --- inspect .59 .36 40 0    0      error (2) 0 --- inspect .028 .029 5.6 0    0     error (invalid witness file) 0 --- inspect 1.3  .81 48 0   0     error (invalid witness file) 0 --- inspect .0048 .0062 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c error - divine failed with signal 11 0 --- inspect 1.9  1.9  200 24   0      0      error (invalid witness file) 0 --- inspect .78 .47 40 0    0      error (2) 0 --- inspect .021 .021 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .67 47 0   0     error (invalid witness file) 0 --- inspect .0062 .0086 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c error - divine failed with signal 11 0 --- inspect 4.0  4.0  260 55   0      0      error (invalid witness file) 0 --- inspect .75 .46 40 0    0      error (2) 0 --- inspect .028 .030 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 47 0   0     error (invalid witness file) 0 --- inspect .0042 .0055 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c error - divine failed with signal 11 0 --- inspect 1.9  2.0  200 25   0      0      error (invalid witness file) 0 --- inspect .70 .45 40 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect .92 .59 46 0   0     error (invalid witness file) 0 --- inspect .0050 .0067 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c error - divine failed with signal 11 0 --- inspect 4.1  4.1  260 55   0      0      error (invalid witness file) 0 --- inspect .71 .42 41 0    0      error (2) 0 --- inspect .023 .024 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .64 47 0   0     error (invalid witness file) 0 --- inspect .0017 .0022 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c error - divine failed with signal 11 0 --- inspect 1.9  2.0  200 22   0      0      error (invalid witness file) 0 --- inspect .76 .45 40 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 46 0   0     error (invalid witness file) 0 --- inspect .0056 .0072 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c error - divine failed with signal 11 0 --- inspect 4.0  4.1  260 69   0      0      error (invalid witness file) 0 --- inspect .70 .42 43 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect .99 .65 49 0   0     error (invalid witness file) 0 --- inspect .0029 .0044 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c timeout 0 --- inspect 900    230    430 9200   .0041 0      error (invalid witness file) 0 --- inspect .78 .47 40 0    0      error (2) 0 --- inspect .021 .021 5.7 0    0     error (invalid witness file) 0 --- inspect .97 .63 49 0   0     error (invalid witness file) 0 --- inspect .0054 .0071 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c timeout 0 --- inspect 900    230    510 8400   .0041 0      error (invalid witness file) 0 --- inspect .64 .39 41 0    0      error (2) 0 --- inspect .023 .024 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 48 0   0     error (invalid witness file) 0 --- inspect .0047 .0059 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c error - divine failed with signal 11 0 --- inspect 1.9  1.9  200 20   0      0      error (invalid witness file) 0 --- inspect .75 .45 42 0    0      error (2) 0 --- inspect .025 .026 5.6 0    0     error (invalid witness file) 0 --- inspect .93 .60 46 0   0     error (invalid witness file) 0 --- inspect .0024 .0033 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c error - divine failed with signal 11 0 --- inspect 3.9  3.9  260 56   0      0      error (invalid witness file) 0 --- inspect .68 .41 41 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .72 47 0   0     error (invalid witness file) 0 --- inspect .0048 .0064 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c error - divine failed with signal 11 0 --- inspect 2.0  2.0  200 25   0      0      error (invalid witness file) 0 --- inspect .75 .46 40 0    0      error (2) 0 --- inspect .027 .029 5.6 0    0     error (invalid witness file) 0 --- inspect 1.4  .92 47 0   0     error (invalid witness file) 0 --- inspect .0044 .0052 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c error - divine failed with signal 11 0 --- inspect 4.0  4.0  260 51   0      0      error (invalid witness file) 0 --- inspect .79 .48 41 0    0      error (2) 0 --- inspect .023 .024 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 47 0   0     error (invalid witness file) 0 --- inspect .0018 .0020 .39 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c error - divine failed with signal 11 0 --- inspect 2.1  2.1  200 29   0      0      error (invalid witness file) 0 --- inspect .79 .63 42 0    0      error (2) 0 --- inspect .020 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.3  .81 48 0   0     error (invalid witness file) 0 --- inspect .0015 .0023 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c error - divine failed with signal 11 0 --- inspect 2.1  2.1  200 27   0      0      error (invalid witness file) 0 --- inspect .77 .47 42 0    0      error (2) 0 --- inspect .024 .025 5.7 0    0     error (invalid witness file) 0 --- inspect .99 .63 47 0   0     error (invalid witness file) 0 --- inspect .0063 .0080 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c error - divine failed with signal 11 0 --- inspect 2.0  2.1  200 27   0      0      error (invalid witness file) 0 --- inspect .68 .41 43 0    0      error (2) 0 --- inspect .028 .029 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 46 0   0     error (invalid witness file) 0 --- inspect .0051 .0062 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c error - divine failed with signal 11 0 --- inspect 2.0  2.1  200 26   0      0      error (invalid witness file) 0 --- inspect .74 .46 42 0    0      error (2) 0 --- inspect .028 .029 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 47 0   0     error (invalid witness file) 0 --- inspect .0056 .0072 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c error - divine failed with signal 11 0 --- inspect 2.3  2.3  210 28   0      0      error (invalid witness file) 0 --- inspect .65 .41 40 0    0      error (2) 0 --- inspect .022 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.3  .83 48 0   0     error (invalid witness file) 0 --- inspect .0042 .0048 .39 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c error - divine failed with signal 11 0 --- inspect 2.3  2.3  210 34   0      0      error (invalid witness file) 0 --- inspect .76 .47 41 0    0      error (2) 0 --- inspect .027 .028 5.7 0    0     error (invalid witness file) 0 --- inspect 1.0  .65 48 0   0     error (invalid witness file) 0 --- inspect .0059 .0075 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c timeout 0 --- inspect 900    230    430 10000   .0041 0      error (invalid witness file) 0 --- inspect .68 .42 43 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .66 47 0   0     error (invalid witness file) 0 --- inspect .0046 .0056 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c timeout 0 --- inspect 900    230    430 8700   .0041 0      error (invalid witness file) 0 --- inspect .75 .47 40 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .70 47 0   0     error (invalid witness file) 0 --- inspect .0042 .0054 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c error - divine failed with signal 11 0 --- inspect 2.0  2.0  200 27   0      0      error (invalid witness file) 0 --- inspect .60 .38 40 0    0      error (2) 0 --- inspect .023 .024 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 47 0   0     error (invalid witness file) 0 --- inspect .0017 .0023 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c error - divine failed with signal 11 0 --- inspect 2.0  2.0  200 30   0      0      error (invalid witness file) 0 --- inspect .79 .48 41 0    0      error (2) 0 --- inspect .024 .026 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 49 0   0     error (invalid witness file) 0 --- inspect .0056 .0072 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c error - divine failed with signal 11 0 --- inspect 2.0  2.0  200 30   0      0      error (invalid witness file) 0 --- inspect .79 .49 40 0    0      error (2) 0 --- inspect .024 .025 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .64 48 0   0     error (invalid witness file) 0 --- inspect .0067 .011  .41 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c error - divine failed with signal 11 0 --- inspect 2.0  2.0  200 28   0      0      error (invalid witness file) 0 --- inspect .71 .46 40 0    0      error (2) 0 --- inspect .022 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 47 0   0     error (invalid witness file) 0 --- inspect .0059 .0082 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 0 --- inspect 900    230    410 8000   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0    
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    410 9600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .36 40 0   0   error (2) 0 --- inspect .021 .025 5.6 0    0    
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    400 8900   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .43 41 0   0   error (2) 0 --- inspect .028 .028 5.6 0    0    
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 9400   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .36 40 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0    
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 --- inspect 900    230    400 8000   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 40 0   0   error (2) 0 --- inspect .022 .022 5.7 0    0    
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 9500   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .40 41 0   0   error (2) 0 --- inspect .023 .025 5.7 0    0    
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 --- inspect 900    230    400 10000   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .44 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 8400   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 40 0   0   error (2) 0 --- inspect .026 .026 5.6 0    0    
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    390 9600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .44 40 0   0   error (2) 0 --- inspect .022 .024 5.7 0    0    
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .42 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 400    110    410 4200   0      0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 22    14    490 0   0   out of memory 0 --- inspect 210     140     7000   .68 .012
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 440    120    410 4200   0      0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 17    12    480 0   0   out of memory 0 --- inspect 180     120     7000   .66 0    
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 --- inspect 900    230    420 9000   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .79 .47 40 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0    
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    420 8800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .44 41 0   0   error (2) 0 --- inspect .030 .031 5.6 0    0    
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    390 9500   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .43 40 0   0   error (2) 0 --- inspect .023 .023 5.6 0    0    
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .43 41 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0    
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c timeout 0 --- inspect 900    230    390 9000   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .37 40 0   0   error (2) 0 --- inspect .028 .029 5.6 0    0    
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8300   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .42 40 0   0   error (2) 0 --- inspect .026 .026 5.5 0    0    
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 160    45    390 1500   0      0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 16    10    430 0   0   timeout 0 --- inspect 960     880     3100   .63 0    
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 130    40    380 1400   0      0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 15    9.2  410 0   0   timeout 0 --- inspect 960     870     5700   .70 0    
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect 680    180    440 6300   0      0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 30    23    540 0   0   out of memory 0 --- inspect 210     150     7000   .69 0    
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 520    140    410 5500   0      0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 33    26    540 0   0   out of memory 0 --- inspect 460     360     7000   .71 0    
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    430 8200   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .42 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0    
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    420 8300   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 40 0   0   error (2) 0 --- inspect .025 .027 5.7 0    0    
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c timeout 0 --- inspect 900    230    390 8300   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .45 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .57 .36 39 0   0   error (2) 0 --- inspect .020 .022 5.6 0    0    
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c timeout 0 --- inspect 900    230    390 8900   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0    
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .46 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c timeout 0 --- inspect 900    230    390 8600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .45 40 0   0   error (2) 0 --- inspect .023 .023 5.6 0    0    
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    380 9000   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .38 40 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0    
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c timeout 0 --- inspect 900    230    400 8600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .79 .48 41 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0    
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 9600   .016  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .47 40 0   0   error (2) 0 --- inspect .021 .023 5.6 0    0    
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout 0 --- inspect 900    230    400 8500   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .47 42 0   0   error (2) 0 --- inspect .026 .027 5.5 0    0    
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    400 8500   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .39 40 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0    
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 --- inspect 900    230    390 9600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .38 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 --- inspect 900    230    390 8600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .38 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0    
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c error - divine failed with signal 11 0 --- inspect 1.9  1.9  200 23   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c error - divine failed with signal 11 0 --- inspect 3.9  3.9  260 58   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .37 42 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0    
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c error - divine failed with signal 11 0 --- inspect 2.0  2.0  200 29   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .47 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0    
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c error - divine failed with signal 11 0 --- inspect 4.2  4.2  260 49   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .44 42 0   0   error (2) 0 --- inspect .023 .024 5.7 0    0    
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c timeout 0 --- inspect 900    230    430 9400   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .36 42 0   0   error (2) 0 --- inspect .021 .023 5.6 0    0    
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c timeout 0 --- inspect 900    230    430 9700   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .48 42 0   0   error (2) 0 --- inspect .022 .024 5.6 0    0    
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c timeout 0 --- inspect 900    230    510 9100   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .45 40 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0    
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c timeout 0 --- inspect 900    240    590 8300   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 40 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0    
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c error - divine failed with signal 11 0 --- inspect 1.9  1.9  200 25   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .45 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0    
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c error - divine failed with signal 11 0 --- inspect 3.8  3.8  260 64   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .46 40 0   0   error (2) 0 --- inspect .026 .028 5.7 0    0    
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c error - divine failed with signal 11 0 --- inspect 1.9  1.9  200 23   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .45 41 0   0   error (2) 0 --- inspect .026 .026 5.6 0    0    
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c error - divine failed with signal 11 0 --- inspect 3.8  3.9  260 55   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c error - divine failed with signal 11 0 --- inspect 1.9  1.9  200 23   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .45 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0    
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c error - divine failed with signal 11 0 --- inspect 4.0  4.0  260 52   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .36 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c error - divine failed with signal 11 0 --- inspect 2.1  2.1  200 26   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .40 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c error - divine failed with signal 11 0 --- inspect 2.1  2.1  200 26   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .40 40 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0    
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c error - divine failed with signal 11 0 --- inspect 2.4  2.4  210 37   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0    
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c error - divine failed with signal 11 0 --- inspect 2.3  2.3  210 30   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .79 .47 40 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0    
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c error - divine failed with signal 11 0 --- inspect 2.3  2.4  210 32   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .47 40 0   0   error (2) 0 --- inspect .024 .024 5.7 0    0    
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c error - divine failed with signal 11 0 --- inspect 2.3  2.3  200 29   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0    
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c timeout 0 --- inspect 900    230    430 9100   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 41 0   0   error (2) 0 --- inspect .024 .024 5.6 0    0    
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c timeout 0 --- inspect 900    230    430 8900   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .37 40 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0    
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c timeout 0 --- inspect 900    230    430 9100   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .47 41 0   0   error (2) 0 --- inspect .026 .028 5.7 0    0    
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c timeout 0 --- inspect 900    230    430 9000   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .39 40 0   0   error (2) 0 --- inspect .024 .025 5.8 0    0    
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c error - divine failed with signal 11 0 --- inspect 2.0  2.0  200 26   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .44 40 0   0   error (2) 0 --- inspect .021 .023 5.6 0    0    
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c error - divine failed with signal 11 0 --- inspect 2.0  2.0  200 27   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .35 40 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0    
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c error - divine failed with signal 11 0 --- inspect 1.9  2.0  200 25   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 40 0   0   error (2) 0 --- inspect .027 .028 5.7 0    0    
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c error - divine failed with signal 11 0 --- inspect 1.9  2.0  200 28   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .025 .025 5.6 0    0    
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c error - divine failed with signal 11 0 --- inspect 2.0  2.1  200 26   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .39 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c error - divine failed with signal 11 0 --- inspect 2.0  2.0  200 27   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 10000   .0041 0      error (invalid witness file) 0 --- inspect .89 .56 41 0    0      error (2) 0 --- inspect .022 .023 5.5 0    0     error (invalid witness file) 0 --- inspect 1.3  .81 48 0   0     error (invalid witness file) 0 --- inspect .0050 .0061 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    390 8800   .0041 0      error (invalid witness file) 0 --- inspect .59 .37 40 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .71 48 0   0     error (invalid witness file) 0 --- inspect .0049 .0062 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 9200   .0041 0      error (invalid witness file) 0 --- inspect .79 .48 41 0    0      error (2) 0 --- inspect .028 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .74 47 0   0     error (invalid witness file) 0 --- inspect .0031 .0083 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 10000   .0041 0      error (invalid witness file) 0 --- inspect .74 .46 40 0    0      error (2) 0 --- inspect .027 .028 5.5 0    0     error (invalid witness file) 0 --- inspect 1.1  .70 47 0   0     error (invalid witness file) 0 --- inspect .0019 .0030 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    390 8400   .0041 0      error (invalid witness file) 0 --- inspect .69 .42 40 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect .94 .61 47 0   0     error (invalid witness file) 0 --- inspect .0017 .0022 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 9200   .0041 0      error (invalid witness file) 0 --- inspect .63 .38 40 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 48 0   0     error (invalid witness file) 0 --- inspect .0034 .0045 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 9500   .0041 0      error (invalid witness file) 0 --- inspect .68 .42 41 0    0      error (2) 0 --- inspect .022 .023 5.6 0    0     error (invalid witness file) 0 --- inspect .91 .58 47 0   0     error (invalid witness file) 0 --- inspect .0048 .0070 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    390 8600   .0041 0      error (invalid witness file) 0 --- inspect .68 .41 42 0    0      error (2) 0 --- inspect .023 .024 5.6 0    0     error (invalid witness file) 0 --- inspect 1.4  .89 47 0   0     error (invalid witness file) 0 --- inspect .0028 .0032 .39 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8900   .0041 0      error (invalid witness file) 0 --- inspect .80 .49 41 0    0      error (2) 0 --- inspect .028 .029 5.6 0    0     error (invalid witness file) 0 --- inspect .98 .62 47 0   0     error (invalid witness file) 0 --- inspect .0022 .0029 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 9000   .0041 0      error (invalid witness file) 0 --- inspect .81 .50 41 0    0      error (2) 0 --- inspect .028 .029 5.6 0    0     error (invalid witness file) 0 --- inspect .93 .62 47 0   0     error (invalid witness file) 0 --- inspect .0045 .0062 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    390 9400   .0041 0      error (invalid witness file) 0 --- inspect .79 .48 40 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .65 49 0   0     error (invalid witness file) 0 --- inspect .0059 .0072 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8800   .0041 0      error (invalid witness file) 0 --- inspect .71 .44 40 0    0      error (2) 0 --- inspect .025 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .68 49 0   0     error (invalid witness file) 0 --- inspect .0021 .0027 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 10000   .0041 0      error (invalid witness file) 0 --- inspect .66 .40 40 0    0      error (2) 0 --- inspect .027 .029 5.8 0    0     error (invalid witness file) 0 --- inspect 1.0  .68 47 0   0     error (invalid witness file) 0 --- inspect .0046 .0056 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    390 9000   .0041 0      error (invalid witness file) 0 --- inspect .78 .46 41 0    0      error (2) 0 --- inspect .025 .026 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .65 49 0   0     error (invalid witness file) 0 --- inspect .0055 .0066 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 9400   .0041 0      error (invalid witness file) 0 --- inspect .61 .37 40 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 47 0   0     error (invalid witness file) 0 --- inspect .0057 .0092 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8900   .0041 0      error (invalid witness file) 0 --- inspect .71 .43 40 0    0      error (2) 0 --- inspect .025 .026 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 47 0   0     error (invalid witness file) 0 --- inspect .0051 .0070 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    390 8700   .0041 0      error (invalid witness file) 0 --- inspect .59 .37 41 0    0      error (2) 0 --- inspect .021 .023 5.7 0    0     error (invalid witness file) 0 --- inspect 1.3  .80 46 0   0     error (invalid witness file) 0 --- inspect .0019 .0024 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8400   .0041 0      error (invalid witness file) 0 --- inspect .63 .39 40 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect .94 .62 46 0   0     error (invalid witness file) 0 --- inspect .0018 .0024 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8700   .0041 0      error (invalid witness file) 0 --- inspect .69 .42 40 0    0      error (2) 0 --- inspect .026 .027 5.5 0    0     error (invalid witness file) 0 --- inspect .93 .61 47 0   0     error (invalid witness file) 0 --- inspect .0042 .0048 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    390 8600   .0041 0      error (invalid witness file) 0 --- inspect .76 .46 40 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect .97 .63 49 0   0     error (invalid witness file) 0 --- inspect .0033 .0037 .39 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 9300   .0041 0      error (invalid witness file) 0 --- inspect .75 .45 41 0    0      error (2) 0 --- inspect .027 .028 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 47 0   0     error (invalid witness file) 0 --- inspect .0032 .0052 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 9100   .0041 0      error (invalid witness file) 0 --- inspect .59 .36 41 0    0      error (2) 0 --- inspect .022 .023 5.7 0    0     error (invalid witness file) 0 --- inspect 1.3  .79 47 0   0     error (invalid witness file) 0 --- inspect .0050 .0065 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    390 8500   .0041 0      error (invalid witness file) 0 --- inspect .75 .46 40 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 47 0   0     error (invalid witness file) 0 --- inspect .0050 .0064 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8700   .0041 0      error (invalid witness file) 0 --- inspect .67 .41 40 0    0      error (2) 0 --- inspect .024 .026 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 47 0   0     error (invalid witness file) 0 --- inspect .0056 .0069 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8200   .0041 0      error (invalid witness file) 0 --- inspect .67 .41 42 0    0      error (2) 0 --- inspect .023 .024 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 49 0   0     error (invalid witness file) 0 --- inspect .0047 .0058 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .12 .14 17 1.3 0      0      error (invalid witness file) 0 --- inspect .76 .45 42 0    0      error (2) 0 --- inspect .026 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 46 0   0     error (invalid witness file) 0 --- inspect .0057 .0069 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .12 .14 16 1.3 0      0      error (invalid witness file) 0 --- inspect .73 .46 42 0    0      error (2) 0 --- inspect .022 .022 5.6 0    0     error (invalid witness file) 0 --- inspect .95 .62 47 0   0     error (invalid witness file) 0 --- inspect .0051 .0068 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 9300   .0041 0      error (invalid witness file) 0 --- inspect .63 .39 40 0    0      error (2) 0 --- inspect .026 .026 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 47 0   0     error (invalid witness file) 0 --- inspect .0047 .0052 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .14 .16 16 1.4 0      0      error (invalid witness file) 0 --- inspect .72 .44 40 0    0      error (2) 0 --- inspect .025 .026 5.6 0    0     error (invalid witness file) 0 --- inspect .96 .64 47 0   0     error (invalid witness file) 0 --- inspect .0020 .0027 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .13 16 1.4 0      0      error (invalid witness file) 0 --- inspect .79 .49 40 0    0      error (2) 0 --- inspect .026 .028 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .74 46 0   0     error (invalid witness file) 0 --- inspect .0066 .0080 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8900   .0041 0      error (invalid witness file) 0 --- inspect .82 .51 40 0    0      error (2) 0 --- inspect .027 .028 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 46 0   0     error (invalid witness file) 0 --- inspect .0023 .0051 .48 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .13 16 1.3 0      0      error (invalid witness file) 0 --- inspect .72 .44 41 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect .93 .59 47 0   0     error (invalid witness file) 0 --- inspect .0056 .0072 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .12 .14 16 1.4 0      0      error (invalid witness file) 0 --- inspect .74 .44 41 0    0      error (2) 0 --- inspect .023 .024 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .72 48 0   0     error (invalid witness file) 0 --- inspect .0046 .0058 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 9300   .0041 0      error (invalid witness file) 0 --- inspect .77 .48 41 0    0      error (2) 0 --- inspect .028 .029 5.7 0    0     error (invalid witness file) 0 --- inspect 1.1  .72 49 0   0     error (invalid witness file) 0 --- inspect .0022 .0028 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .13 16 1.7 0      0      error (invalid witness file) 0 --- inspect .78 .47 40 0    0      error (2) 0 --- inspect .025 .025 5.6 0    0     error (invalid witness file) 0 --- inspect .94 .61 47 0   0     error (invalid witness file) 0 --- inspect .0047 .0060 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .13 16 1.3 0      0      error (invalid witness file) 0 --- inspect .61 .37 43 0    0      error (2) 0 --- inspect .021 .023 5.6 0    0     error (invalid witness file) 0 --- inspect .97 .63 48 0   0     error (invalid witness file) 0 --- inspect .0054 .0073 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8700   .0041 .086  error (invalid witness file) 0 --- inspect .69 .41 41 0    0      error (2) 0 --- inspect .027 .029 5.7 0    0     error (invalid witness file) 0 --- inspect .94 .63 47 0   0     error (invalid witness file) 0 --- inspect .0018 .0024 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .12 .14 16 1.5 0      0      error (invalid witness file) 0 --- inspect .70 .42 40 0    0      error (2) 0 --- inspect .027 .029 5.7 0    0     error (invalid witness file) 0 --- inspect 1.0  .69 47 0   0     error (invalid witness file) 0 --- inspect .0049 .0062 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .14 .16 16 1.1 0      0      error (invalid witness file) 0 --- inspect .75 .45 41 0    0      error (2) 0 --- inspect .022 .023 5.6 0    0     error (invalid witness file) 0 --- inspect .95 .61 47 0   0     error (invalid witness file) 0 --- inspect .0042 .0073 .49 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8600   .0041 0      error (invalid witness file) 0 --- inspect .81 .49 40 0    0      error (2) 0 --- inspect .028 .029 5.5 0    0     error (invalid witness file) 0 --- inspect 1.2  .74 47 0   0     error (invalid witness file) 0 --- inspect .0053 .0064 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .12 .14 16 1.3 0      0      error (invalid witness file) 0 --- inspect .75 .46 40 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.3  .81 48 0   0     error (invalid witness file) 0 --- inspect .0047 .018  .51 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .13 16 1.3 0      0      error (invalid witness file) 0 --- inspect .67 .41 40 0    0      error (2) 0 --- inspect .024 .024 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .78 47 0   0     error (invalid witness file) 0 --- inspect .0016 .0021 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8300   .0041 0      error (invalid witness file) 0 --- inspect .81 .48 41 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.4  .87 47 0   0     error (invalid witness file) 0 --- inspect .0016 .0020 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .13 17 1.5 0      0      error (invalid witness file) 0 --- inspect .70 .43 41 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.3  .86 47 0   0     error (invalid witness file) 0 --- inspect .0054 .0070 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .13 16 1.5 0      0      error (invalid witness file) 0 --- inspect .78 .47 40 0    0      error (2) 0 --- inspect .031 .032 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 47 0   0     error (invalid witness file) 0 --- inspect .0045 .0058 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8400   .0041 0      error (invalid witness file) 0 --- inspect .79 .47 42 0    0      error (2) 0 --- inspect .021 .021 5.6 0    0     error (invalid witness file) 0 --- inspect .96 .61 47 0   0     error (invalid witness file) 0 --- inspect .0052 .0064 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .13 16 1.3 0      0      error (invalid witness file) 0 --- inspect .59 .36 40 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect .97 .62 48 0   0     error (invalid witness file) 0 --- inspect .0055 .0068 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .13 16 1.3 0      0      error (invalid witness file) 0 --- inspect .59 .35 40 0    0      error (2) 0 --- inspect .026 .027 5.5 0    0     error (invalid witness file) 0 --- inspect 1.4  .93 47 0   0     error (invalid witness file) 0 --- inspect .0015 .0019 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8300   .0041 0      error (invalid witness file) 0 --- inspect .79 .49 41 0    0      error (2) 0 --- inspect .028 .028 5.6 0    0     error (invalid witness file) 0 --- inspect .98 .63 47 0   0     error (invalid witness file) 0 --- inspect .0047 .0058 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .14 .16 17 1.2 0      0      error (invalid witness file) 0 --- inspect .76 .46 40 0    0      error (2) 0 --- inspect .020 .021 5.6 0    0     error (invalid witness file) 0 --- inspect .94 .60 47 0   0     error (invalid witness file) 0 --- inspect .0045 .0079 .48 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 9500   .0041 0      error (invalid witness file) 0 --- inspect .63 .38 42 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 48 0   0     error (invalid witness file) 0 --- inspect .0066 .0093 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .13 17 1.3 0      0      error (invalid witness file) 0 --- inspect .68 .41 40 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 47 0   0     error (invalid witness file) 0 --- inspect .0048 .0060 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .12 .14 17 1.4 0      0      error (invalid witness file) 0 --- inspect .79 .48 41 0    0      error (2) 0 --- inspect .028 .030 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .66 46 0   0     error (invalid witness file) 0 --- inspect .0050 .0062 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 9000   .0041 0      error (invalid witness file) 0 --- inspect .76 .46 41 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .74 47 0   0     error (invalid witness file) 0 --- inspect .0054 .0071 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .12 .14 17 1.3 0      0      error (invalid witness file) 0 --- inspect .67 .41 41 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .67 48 0   0     error (invalid witness file) 0 --- inspect .0057 .0070 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .12 .14 17 1.3 0      0      error (invalid witness file) 0 --- inspect .57 .35 40 0    0      error (2) 0 --- inspect .024 .025 5.8 0    0     error (invalid witness file) 0 --- inspect .99 .64 47 0   0     error (invalid witness file) 0 --- inspect .0047 .0054 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 9900   .0041 0      error (invalid witness file) 0 --- inspect .71 .43 40 0    0      error (2) 0 --- inspect .020 .021 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .67 47 0   0     error (invalid witness file) 0 --- inspect .0046 .0076 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .12 .14 17 1.7 0      0      error (invalid witness file) 0 --- inspect .72 .44 43 0    0      error (2) 0 --- inspect .022 .024 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .74 46 0   0     error (invalid witness file) 0 --- inspect .0058 .0074 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .12 .14 17 1.6 0      0      error (invalid witness file) 0 --- inspect .77 .47 40 0    0      error (2) 0 --- inspect .021 .021 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 47 0   0     error (invalid witness file) 0 --- inspect .0039 .0056 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8900   .0041 0      error (invalid witness file) 0 --- inspect .75 .45 42 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .65 46 0   0     error (invalid witness file) 0 --- inspect .0046 .0051 .39 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .12 .12 17 1.3 0      0      error (invalid witness file) 0 --- inspect .76 .46 41 0    0      error (2) 0 --- inspect .024 .025 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .68 48 0   0     error (invalid witness file) 0 --- inspect .0044 .0054 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 320    120    460 3200   0      0      false(unreach-call) 1 wit inspect 11    6.6  370 0    0      true -32 --- inspect 9.9   5.8   310   .66 0     unknown 0 --- inspect 4.9  2.8  250 0   0     error (2) 0 --- inspect .61   .61   20    .090 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    310    460 10000   .012  0      error (invalid witness file) 0 --- inspect .74 .45 40 0    0      error (2) 0 --- inspect .026 .028 5.6 0    0     error (invalid witness file) 0 --- inspect .93 .59 46 0   0     error (invalid witness file) 0 --- inspect .0047 .0058 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    320    450 9100   .012  0      error (invalid witness file) 0 --- inspect .69 .43 40 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 47 0   0     error (invalid witness file) 0 --- inspect .0048 .0055 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    310    480 10000   .012  0      error (invalid witness file) 0 --- inspect .76 .46 41 0    0      error (2) 0 --- inspect .023 .024 5.6 0    0     error (invalid witness file) 0 --- inspect .91 .58 47 0   0     error (invalid witness file) 0 --- inspect .0020 .0026 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 0 wit inspect 340    130    470 3700   0      0      timeout 0 wit inspect 97    81    1200 0    0      true -32 --- inspect 9.8   5.9   310   .66 0     unknown 0 --- inspect 5.3  3.1  250 0   0     error (2) 0 --- inspect .62   .62   20    .098 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    250    460 9200   .016  0      error (invalid witness file) 0 --- inspect .74 .47 40 0    0      error (2) 0 --- inspect .028 .029 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 47 0   0     error (invalid witness file) 0 --- inspect .0023 .0030 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    260    440 9100   .020  0      error (invalid witness file) 0 --- inspect .77 .48 40 0    0      error (2) 0 --- inspect .021 .021 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .64 47 0   0     error (invalid witness file) 0 --- inspect .0018 .0028 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    260    480 9300   .016  0      error (invalid witness file) 0 --- inspect .75 .47 40 0    0      error (2) 0 --- inspect .026 .028 5.7 0    0     error (invalid witness file) 0 --- inspect .98 .63 49 0   0     error (invalid witness file) 0 --- inspect .0042 .0061 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 250    100    450 2600   0      0      false(unreach-call) 1 wit inspect 20    14    420 0    0      true -32 --- inspect 10     5.8   310   .66 0     unknown 0 --- inspect 4.1  2.4  250 0   0     error (2) 0 --- inspect .64   .64   20    .090 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    320    480 9500   .012  0      error (invalid witness file) 0 --- inspect .63 .39 41 0    0      error (2) 0 --- inspect .023 .024 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 48 0   0     error (invalid witness file) 0 --- inspect .0057 .0074 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    320    460 9200   .012  0      error (invalid witness file) 0 --- inspect .65 .39 42 0    0      error (2) 0 --- inspect .026 .027 5.8 0    0     error (invalid witness file) 0 --- inspect 1.1  .70 47 0   0     error (invalid witness file) 0 --- inspect .0046 .0058 .56 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    320    510 8500   .012  0      error (invalid witness file) 0 --- inspect .66 .41 41 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect .94 .61 47 0   0     error (invalid witness file) 0 --- inspect .0049 .0061 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 0 wit inspect 260    110    450 2600   0      0      timeout 0 wit inspect 96    77    1300 0    0      true -32 --- inspect 8.1   4.8   300   .66 0     unknown 0 --- inspect 5.2  3.0  250 0   0     error (2) 0 --- inspect .62   .62   20    .090 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    320    460 9600   .012  0      error (invalid witness file) 0 --- inspect .76 .46 41 0    0      error (2) 0 --- inspect .025 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .68 48 0   0     error (invalid witness file) 0 --- inspect .0050 .0061 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    320    450 9100   .012  0      error (invalid witness file) 0 --- inspect .60 .38 40 0    0      error (2) 0 --- inspect .026 .028 5.7 0    0     error (invalid witness file) 0 --- inspect 1.1  .73 47 0   0     error (invalid witness file) 0 --- inspect .0048 .0065 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    270    500 8300   .025  0      error (invalid witness file) 0 --- inspect .59 .38 41 0    0      error (2) 0 --- inspect .030 .031 5.5 0    0     error (invalid witness file) 0 --- inspect 1.3  .82 47 0   0     error (invalid witness file) 0 --- inspect .0057 .0073 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.p+lhb-reducer.c timeout 0 --- inspect 900    230    390 8300   .0041 0      error (invalid witness file) 0 --- inspect .61 .38 40 0    0      error (2) 0 --- inspect .025 .026 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .69 47 0   0     error (invalid witness file) 0 --- inspect .0056 .0080 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    430 8800   .0041 0      error (invalid witness file) 0 --- inspect .77 .46 41 0    0      error (2) 0 --- inspect .024 .025 5.6 0    0     error (invalid witness file) 0 --- inspect .95 .62 47 0   0     error (invalid witness file) 0 --- inspect .0021 .0036 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    420 10000   .0041 0      error (invalid witness file) 0 --- inspect .64 .38 42 0    0      error (2) 0 --- inspect .023 .024 5.7 0    0     error (invalid witness file) 0 --- inspect 1.3  .84 47 0   0     error (invalid witness file) 0 --- inspect .0017 .0021 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 9300   .0041 0      error (invalid witness file) 0 --- inspect .66 .40 40 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 47 0   0     error (invalid witness file) 0 --- inspect .0014 .0023 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    230    470 8800   .0041 0      error (invalid witness file) 0 --- inspect .61 .37 42 0    0      error (2) 0 --- inspect .025 .026 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .66 49 0   0     error (invalid witness file) 0 --- inspect .0048 .0081 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    420 9400   .0041 0      error (invalid witness file) 0 --- inspect .73 .45 41 0    0      error (2) 0 --- inspect .022 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 48 0   0     error (invalid witness file) 0 --- inspect .0016 .0019 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    420 8600   .0041 0      error (invalid witness file) 0 --- inspect .72 .45 40 0    0      error (2) 0 --- inspect .020 .020 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .69 47 0   0     error (invalid witness file) 0 --- inspect .0057 .013  .47 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8500   .0041 0      error (invalid witness file) 0 --- inspect .78 .46 41 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect .97 .63 47 0   0     error (invalid witness file) 0 --- inspect .0052 .0083 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    230    470 8400   .0041 0      error (invalid witness file) 0 --- inspect .72 .43 41 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect .93 .61 47 0   0     error (invalid witness file) 0 --- inspect .0052 .0063 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    310    460 9000   .012  0      error (invalid witness file) 0 --- inspect .75 .46 41 0    0      error (2) 0 --- inspect .023 .024 5.6 0    0     error (invalid witness file) 0 --- inspect .97 .61 47 0   0     error (invalid witness file) 0 --- inspect .0066 .0083 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    410 8100   .0041 0      error (invalid witness file) 0 --- inspect .71 .43 41 0    0      error (2) 0 --- inspect .020 .021 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .64 47 0   0     error (invalid witness file) 0 --- inspect .0059 .0078 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 9400   .0041 0      error (invalid witness file) 0 --- inspect .63 .38 41 0    0      error (2) 0 --- inspect .026 .028 5.7 0    0     error (invalid witness file) 0 --- inspect 1.1  .72 47 0   0     error (invalid witness file) 0 --- inspect .0054 .0070 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    230    440 8900   .0041 0      error (invalid witness file) 0 --- inspect .68 .41 42 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .69 47 0   0     error (invalid witness file) 0 --- inspect .0048 .0063 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    430 9200   .0041 0      error (invalid witness file) 0 --- inspect .59 .38 41 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect .99 .64 47 0   0     error (invalid witness file) 0 --- inspect .0044 .0051 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    410 8900   .0041 0      error (invalid witness file) 0 --- inspect .75 .46 40 0    0      error (2) 0 --- inspect .020 .021 5.7 0    0     error (invalid witness file) 0 --- inspect .95 .60 47 0   0     error (invalid witness file) 0 --- inspect .0020 .0034 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 9600   .0041 0      error (invalid witness file) 0 --- inspect .72 .43 41 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect .98 .64 47 0   0     error (invalid witness file) 0 --- inspect .0013 .0015 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    230    440 9200   .0041 0      error (invalid witness file) 0 --- inspect .72 .46 41 0    0      error (2) 0 --- inspect .023 .024 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 48 0   0     error (invalid witness file) 0 --- inspect .0048 .0060 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 9100   .0041 0      error (invalid witness file) 0 --- inspect .61 .38 41 0    0      error (2) 0 --- inspect .023 .025 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .73 47 0   0     error (invalid witness file) 0 --- inspect .0049 .019  .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    470 8800   .0041 0      error (invalid witness file) 0 --- inspect .75 .48 41 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect .94 .60 47 0   0     error (invalid witness file) 0 --- inspect .0062 .0078 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 9200   .0041 0      error (invalid witness file) 0 --- inspect .83 .50 41 0    0      error (2) 0 --- inspect .022 .023 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 48 0   0     error (invalid witness file) 0 --- inspect .0024 .0031 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 9000   .0041 0      error (invalid witness file) 0 --- inspect .78 .48 40 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect .94 .64 46 0   0     error (invalid witness file) 0 --- inspect .0043 .0057 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    470 8200   .0041 0      error (invalid witness file) 0 --- inspect .60 .37 40 0    0      error (2) 0 --- inspect .022 .023 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .75 46 0   0     error (invalid witness file) 0 --- inspect .0046 .0057 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8800   .0041 0      error (invalid witness file) 0 --- inspect .80 .48 40 0    0      error (2) 0 --- inspect .024 .024 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 48 0   0     error (invalid witness file) 0 --- inspect .0017 .0022 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c timeout 0 --- inspect 900    230    390 9600   .0041 0      error (invalid witness file) 0 --- inspect .73 .44 40 0    0      error (2) 0 --- inspect .024 .024 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .70 49 0   0     error (invalid witness file) 0 --- inspect .0047 .0058 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8500   .0041 0      error (invalid witness file) 0 --- inspect .71 .43 40 0    0      error (2) 0 --- inspect .026 .026 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 49 0   0     error (invalid witness file) 0 --- inspect .0066 .018  .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    430 9500   .0041 0      error (invalid witness file) 0 --- inspect .74 .46 41 0    0      error (2) 0 --- inspect .023 .025 5.6 0    0     error (invalid witness file) 0 --- inspect .92 .60 46 0   0     error (invalid witness file) 0 --- inspect .0053 .0083 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 9100   .0041 0      error (invalid witness file) 0 --- inspect .74 .46 40 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect .98 .62 47 0   0     error (invalid witness file) 0 --- inspect .0022 .0028 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    240    520 9000   .0041 0      error (invalid witness file) 0 --- inspect .82 .50 40 0    0      error (2) 0 --- inspect .021 .022 5.7 0    0     error (invalid witness file) 0 --- inspect 1.1  .68 48 0   0     error (invalid witness file) 0 --- inspect .0047 .0058 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8400   .029  0      error (invalid witness file) 0 --- inspect .72 .44 40 0    0      error (2) 0 --- inspect .028 .029 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 47 0   0     error (invalid witness file) 0 --- inspect .0019 .0026 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    430 9100   .0041 0      error (invalid witness file) 0 --- inspect .79 .47 40 0    0      error (2) 0 --- inspect .030 .031 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 48 0   0     error (invalid witness file) 0 --- inspect .0020 .0026 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8900   .016  0      error (invalid witness file) 0 --- inspect .70 .42 42 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 46 0   0     error (invalid witness file) 0 --- inspect .0051 .0066 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    240    520 9900   .012  0      error (invalid witness file) 0 --- inspect .74 .45 41 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect .97 .63 48 0   0     error (invalid witness file) 0 --- inspect .0019 .0030 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8600   .0041 0      error (invalid witness file) 0 --- inspect .59 .37 40 0    0      error (2) 0 --- inspect .033 .033 5.6 0    0     error (invalid witness file) 0 --- inspect .98 .63 47 0   0     error (invalid witness file) 0 --- inspect .0047 .0058 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8700   .0041 0      error (invalid witness file) 0 --- inspect .78 .47 40 0    0      error (2) 0 --- inspect .023 .023 5.6 0    0     error (invalid witness file) 0 --- inspect .99 .64 48 0   0     error (invalid witness file) 0 --- inspect .0030 .0042 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8700   .0041 0      error (invalid witness file) 0 --- inspect .75 .45 40 0    0      error (2) 0 --- inspect .029 .030 5.6 0    0     error (invalid witness file) 0 --- inspect .97 .63 47 0   0     error (invalid witness file) 0 --- inspect .0029 .0036 .39 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8800   .0041 0      error (invalid witness file) 0 --- inspect .80 .49 40 0    0      error (2) 0 --- inspect .020 .021 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .73 47 0   0     error (invalid witness file) 0 --- inspect .0048 .0059 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c.p+lhb-reducer.c timeout 0 --- inspect 900    230    390 8800   .0041 0      error (invalid witness file) 0 --- inspect .80 .49 41 0    0      error (2) 0 --- inspect .021 .022 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 47 0   0     error (invalid witness file) 0 --- inspect .0046 .0062 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8400   .0041 0      error (invalid witness file) 0 --- inspect .76 .46 42 0    0      error (2) 0 --- inspect .023 .024 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 47 0   0     error (invalid witness file) 0 --- inspect .0068 .0090 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 9200   .0041 0      error (invalid witness file) 0 --- inspect .76 .47 43 0    0      error (2) 0 --- inspect .031 .032 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .67 46 0   0     error (invalid witness file) 0 --- inspect .0059 .0078 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8500   .0041 0      error (invalid witness file) 0 --- inspect .68 .42 41 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 47 0   0     error (invalid witness file) 0 --- inspect .0017 .0054 .48 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 9200   .0041 0      error (invalid witness file) 0 --- inspect .61 .38 43 0    0      error (2) 0 --- inspect .026 .028 5.6 0    0     error (invalid witness file) 0 --- inspect .98 .64 46 0   0     error (invalid witness file) 0 --- inspect .0016 .0020 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 170    65    450 1900   0      0      false(unreach-call) 1 wit inspect 9.0  4.9  280 0    0      true -32 --- inspect 11     5.9   310   .66 0     unknown 0 --- inspect 3.9  2.3  250 0   0     error (2) 0 --- inspect .61   .60   20    .086 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 370    150    460 3800   0      0      false(unreach-call) 1 wit inspect 26    19    430 0    0      true -32 --- inspect 11     6.1   320   .62 0     unknown 0 --- inspect 4.3  2.4  260 0   0     error (2) 0 --- inspect .70   .70   20    .18  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 0 wit inspect 370    150    460 3800   0      0      timeout 0 wit inspect 93    87    720 0    0      true -32 --- inspect 8.0   4.9   300   .66 0     unknown 0 --- inspect 4.1  2.4  250 0   0     error (2) 0 --- inspect .72   .75   20    .11  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 370    150    460 4000   0      0      false(unreach-call) 1 wit inspect 9.8  5.5  290 0    0      true -32 --- inspect 12     7.1   340   .62 0     unknown 0 --- inspect 4.8  2.8  260 0   0     error (2) 0 --- inspect .74   .74   20    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 0 wit inspect 180    68    450 2000   0      0      timeout 0 wit inspect 97    78    1400 0    0      true -32 --- inspect 9.7   5.6   310   .66 0     unknown 0 --- inspect 4.3  2.5  250 0   0     error (2) 0 --- inspect .63   .63   20    .086 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 400    160    460 4800   0      0      false(unreach-call) 1 wit inspect 50    34    840 0    0      true -32 --- inspect 13     7.2   330   .66 0     unknown 0 --- inspect 5.0  2.9  260 0   0     error (2) 0 --- inspect .73   .73   20    .19  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 0 wit inspect 400    160    460 4300   0      0      timeout 0 wit inspect 96    80    1200 0    0      true -32 --- inspect 10     6.1   320   .66 0     unknown 0 --- inspect 4.6  2.7  250 0   0     error (2) 0 --- inspect .67   .67   20    .11  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 0 wit inspect 400    160    460 4600   0      0      timeout 0 wit inspect 97    77    890 0    0      true -32 --- inspect 11     6.8   350   .66 0     unknown 0 --- inspect 4.8  2.7  260 0   0     error (2) 0 --- inspect .74   .74   20    .21  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 570    200    490 6000   0      0      false(unreach-call) 1 wit inspect 46    39    450 0    0      true -32 --- inspect 8.4   4.7   310   .66 0     unknown 0 --- inspect 4.8  2.8  250 0   0     error (2) 0 --- inspect .64   .64   20    .090 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    400 9200   .0041 0      error (invalid witness file) 0 --- inspect .58 .36 41 0    0      error (2) 0 --- inspect .027 .028 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 48 0   0     error (invalid witness file) 0 --- inspect .0057 .0071 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    400 9200   .0041 0      error (invalid witness file) 0 --- inspect .77 .47 41 0    0      error (2) 0 --- inspect .030 .031 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 46 0   0     error (invalid witness file) 0 --- inspect .0051 .0062 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    230    410 9800   .0041 0      error (invalid witness file) 0 --- inspect .69 .41 42 0    0      error (2) 0 --- inspect .026 .026 5.6 0    0     error (invalid witness file) 0 --- inspect .93 .61 46 0   0     error (invalid witness file) 0 --- inspect .0063 .0079 .65 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 0 wit inspect 580    200    500 5900   0      0      timeout 0 wit inspect 96    80    880 0    0      true -32 --- inspect 8.9   4.9   320   .66 0     unknown 0 --- inspect 4.2  2.5  250 0   0     error (2) 0 --- inspect .63   .63   20    .098 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    400 10000   .0041 0      error (invalid witness file) 0 --- inspect .72 .45 42 0    0      error (2) 0 --- inspect .027 .027 5.5 0    0     error (invalid witness file) 0 --- inspect 1.2  .78 48 0   0     error (invalid witness file) 0 --- inspect .0018 .0023 .39 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 10000   .0041 0      error (invalid witness file) 0 --- inspect .62 .38 41 0    0      error (2) 0 --- inspect .026 .027 5.8 0    0     error (invalid witness file) 0 --- inspect 1.4  .89 48 0   0     error (invalid witness file) 0 --- inspect .0052 .0077 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    230    410 9200   .0041 0      error (invalid witness file) 0 --- inspect .75 .46 43 0    0      error (2) 0 --- inspect .024 .025 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .64 47 0   0     error (invalid witness file) 0 --- inspect .0052 .0070 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c timeout 0 --- inspect 900    230    390 9700   .0041 0      error (invalid witness file) 0 --- inspect .71 .44 41 0    0      error (2) 0 --- inspect .028 .030 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 47 0   0     error (invalid witness file) 0 --- inspect .0053 .0069 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    430 9500   .0041 0      error (invalid witness file) 0 --- inspect .77 .47 40 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .78 48 0   0     error (invalid witness file) 0 --- inspect .0017 .0021 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    410 9200   .0041 0      error (invalid witness file) 0 --- inspect .76 .46 43 0    0      error (2) 0 --- inspect .025 .027 5.7 0    0     error (invalid witness file) 0 --- inspect 1.0  .66 46 0   0     error (invalid witness file) 0 --- inspect .0049 .0060 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8400   .0041 0      error (invalid witness file) 0 --- inspect .61 .36 41 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .78 47 0   0     error (invalid witness file) 0 --- inspect .0022 .0037 .49 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    230    420 8800   .0041 0      error (invalid witness file) 0 --- inspect .81 .49 43 0    0      error (2) 0 --- inspect .028 .028 5.6 0    0     error (invalid witness file) 0 --- inspect .96 .62 48 0   0     error (invalid witness file) 0 --- inspect .0016 .0019 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c timeout 0 --- inspect 900    230    390 9200   .0041 0      error (invalid witness file) 0 --- inspect .59 .36 41 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .67 47 0   0     error (invalid witness file) 0 --- inspect .0023 .0033 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    440 9500   .0041 0      error (invalid witness file) 0 --- inspect .64 .40 40 0    0      error (2) 0 --- inspect .020 .020 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .65 48 0   0     error (invalid witness file) 0 --- inspect .0042 .0061 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    410 8300   .0041 0      error (invalid witness file) 0 --- inspect .76 .47 40 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 47 0   0     error (invalid witness file) 0 --- inspect .0019 .0024 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8900   .0041 0      error (invalid witness file) 0 --- inspect .68 .42 41 0    0      error (2) 0 --- inspect .025 .026 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .69 47 0   0     error (invalid witness file) 0 --- inspect .0039 .0050 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    230    420 8800   .0041 0      error (invalid witness file) 0 --- inspect .79 .48 41 0    0      error (2) 0 --- inspect .025 .025 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .80 47 0   0     error (invalid witness file) 0 --- inspect .0022 .0028 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.p+lhb-reducer.c timeout 0 --- inspect 900    230    390 9900   .0041 0      error (invalid witness file) 0 --- inspect .62 .38 40 0    0      error (2) 0 --- inspect .029 .031 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 48 0   0     error (invalid witness file) 0 --- inspect .0058 .0093 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8900   .0041 0      error (invalid witness file) 0 --- inspect .75 .46 41 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .68 47 0   0     error (invalid witness file) 0 --- inspect .0024 .0032 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    420 9600   .0041 0      error (invalid witness file) 0 --- inspect .75 .45 40 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .66 48 0   0     error (invalid witness file) 0 --- inspect .0014 .0015 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 10000   .0041 0      error (invalid witness file) 0 --- inspect .81 .48 40 0    0      error (2) 0 --- inspect .026 .028 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 47 0   0     error (invalid witness file) 0 --- inspect .0027 .0035 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    230    450 8800   .0041 0      error (invalid witness file) 0 --- inspect .75 .45 41 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .72 48 0   0     error (invalid witness file) 0 --- inspect .0045 .0056 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c timeout 0 --- inspect 900    230    390 10000   .0041 0      error (invalid witness file) 0 --- inspect .78 .49 41 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect .96 .64 47 0   0     error (invalid witness file) 0 --- inspect .0062 .0077 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8000   .0041 0      error (invalid witness file) 0 --- inspect .68 .41 43 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.3  .83 48 0   0     error (invalid witness file) 0 --- inspect .0051 .0065 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    420 10000   .0041 0      error (invalid witness file) 0 --- inspect .62 .39 41 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 46 0   0     error (invalid witness file) 0 --- inspect .0054 .0084 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8900   .0041 0      error (invalid witness file) 0 --- inspect .74 .46 40 0    0      error (2) 0 --- inspect .039 .043 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .71 48 0   0     error (invalid witness file) 0 --- inspect .0059 .0078 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    230    440 8500   .0041 0      error (invalid witness file) 0 --- inspect .75 .46 40 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .73 47 0   0     error (invalid witness file) 0 --- inspect .0024 .0033 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8700   .0041 0      error (invalid witness file) 0 --- inspect .59 .36 40 0    0      error (2) 0 --- inspect .029 .030 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .65 47 0   0     error (invalid witness file) 0 --- inspect .0047 .0057 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    440 8200   .0041 0      error (invalid witness file) 0 --- inspect .75 .47 41 0    0      error (2) 0 --- inspect .024 .025 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 48 0   0     error (invalid witness file) 0 --- inspect .0053 .0063 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8400   .0041 0      error (invalid witness file) 0 --- inspect .67 .41 41 0    0      error (2) 0 --- inspect .021 .021 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .74 47 0   0     error (invalid witness file) 0 --- inspect .0059 .0075 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    230    490 8600   .0041 0      error (invalid witness file) 0 --- inspect .73 .45 40 0    0      error (2) 0 --- inspect .027 .028 5.7 0    0     error (invalid witness file) 0 --- inspect 1.1  .74 47 0   0     error (invalid witness file) 0 --- inspect .0040 .0050 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 9500   .0041 0      error (invalid witness file) 0 --- inspect .60 .37 40 0    0      error (2) 0 --- inspect .026 .027 5.7 0    0     error (invalid witness file) 0 --- inspect 1.1  .72 47 0   0     error (invalid witness file) 0 --- inspect .0053 .0068 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    440 9600   .0041 0      error (invalid witness file) 0 --- inspect .74 .46 40 0    0      error (2) 0 --- inspect .028 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .78 46 0   0     error (invalid witness file) 0 --- inspect .0024 .0031 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 10000   .0041 0      error (invalid witness file) 0 --- inspect .57 .35 40 0    0      error (2) 0 --- inspect .025 .025 5.6 0    0     error (invalid witness file) 0 --- inspect 1.3  .80 48 0   0     error (invalid witness file) 0 --- inspect .0055 .011  .39 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    230    490 9100   .012  0      error (invalid witness file) 0 --- inspect .59 .37 40 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect .94 .62 47 0   0     error (invalid witness file) 0 --- inspect .0020 .0030 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8600   .0041 0      error (invalid witness file) 0 --- inspect .63 .40 41 0    0      error (2) 0 --- inspect .026 .028 5.6 0    0     error (invalid witness file) 0 --- inspect .92 .61 47 0   0     error (invalid witness file) 0 --- inspect .0021 .0027 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    500 8100   .012  0      error (invalid witness file) 0 --- inspect .73 .43 40 0    0      error (2) 0 --- inspect .025 .026 5.6 0    0     error (invalid witness file) 0 --- inspect .93 .61 46 0   0     error (invalid witness file) 0 --- inspect .0016 .0025 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 9500   .0041 0      error (invalid witness file) 0 --- inspect .80 .49 41 0    0      error (2) 0 --- inspect .026 .028 5.8 0    0     error (invalid witness file) 0 --- inspect .91 .58 47 0   0     error (invalid witness file) 0 --- inspect .0032 .0039 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8100   .0041 0      error (invalid witness file) 0 --- inspect .77 .47 41 0    0      error (2) 0 --- inspect .028 .030 5.8 0    0     error (invalid witness file) 0 --- inspect 1.1  .69 48 0   0     error (invalid witness file) 0 --- inspect .0049 .0061 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    490 8600   .0041 0      error (invalid witness file) 0 --- inspect .77 .46 41 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect .98 .65 46 0   0     error (invalid witness file) 0 --- inspect .0055 .0070 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8800   .0041 0      error (invalid witness file) 0 --- inspect .76 .47 41 0    0      error (2) 0 --- inspect .027 .029 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .78 47 0   0     error (invalid witness file) 0 --- inspect .0015 .0021 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8600   .0041 0      error (invalid witness file) 0 --- inspect .81 .49 41 0    0      error (2) 0 --- inspect .028 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .73 46 0   0     error (invalid witness file) 0 --- inspect .0015 .0019 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    390 8700   .0041 0      error (invalid witness file) 0 --- inspect .77 .47 41 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .68 48 0   0     error (invalid witness file) 0 --- inspect .0054 .0070 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 9600   .0041 0      error (invalid witness file) 0 --- inspect .77 .46 41 0    0      error (2) 0 --- inspect .021 .021 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .74 47 0   0     error (invalid witness file) 0 --- inspect .0050 .0061 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8400   .0041 0      error (invalid witness file) 0 --- inspect .71 .43 40 0    0      error (2) 0 --- inspect .029 .030 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .80 46 0   0     error (invalid witness file) 0 --- inspect .0016 .0026 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    390 8300   .0041 0      error (invalid witness file) 0 --- inspect .72 .44 43 0    0      error (2) 0 --- inspect .022 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 47 0   0     error (invalid witness file) 0 --- inspect .0049 .0060 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 9000   .0041 0      error (invalid witness file) 0 --- inspect .59 .36 40 0    0      error (2) 0 --- inspect .026 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 47 0   0     error (invalid witness file) 0 --- inspect .0019 .0029 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 9400   .0041 0      error (invalid witness file) 0 --- inspect .60 .36 40 0    0      error (2) 0 --- inspect .022 .023 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .81 47 0   0     error (invalid witness file) 0 --- inspect .0022 .0031 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8300   .0041 0      error (invalid witness file) 0 --- inspect .76 .46 41 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .66 47 0   0     error (invalid witness file) 0 --- inspect .0052 .0064 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8900   .0041 0      error (invalid witness file) 0 --- inspect .59 .35 41 0    0      error (2) 0 --- inspect .025 .026 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .71 49 0   0     error (invalid witness file) 0 --- inspect .0018 .0024 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    390 8400   .0041 0      error (invalid witness file) 0 --- inspect .59 .37 41 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .74 47 0   0     error (invalid witness file) 0 --- inspect .0028 .0035 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 9300   .0041 0      error (invalid witness file) 0 --- inspect .73 .44 40 0    0      error (2) 0 --- inspect .022 .023 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .74 47 0   0     error (invalid witness file) 0 --- inspect .0049 .0061 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8600   .0041 0      error (invalid witness file) 0 --- inspect .61 .38 41 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .75 47 0   0     error (invalid witness file) 0 --- inspect .0054 .0086 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    390 9600   .012  0      error (invalid witness file) 0 --- inspect .76 .47 41 0    0      error (2) 0 --- inspect .022 .023 5.6 0    0     error (invalid witness file) 0 --- inspect .99 .63 48 0   0     error (invalid witness file) 0 --- inspect .0059 .0076 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 9000   .0041 0      error (invalid witness file) 0 --- inspect .62 .39 41 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.3  .79 48 0   0     error (invalid witness file) 0 --- inspect .0017 .0022 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8700   .0041 0      error (invalid witness file) 0 --- inspect .68 .41 41 0    0      error (2) 0 --- inspect .022 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .66 49 0   0     error (invalid witness file) 0 --- inspect .0047 .0061 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    390 9100   .0041 0      error (invalid witness file) 0 --- inspect .76 .46 42 0    0      error (2) 0 --- inspect .025 .026 5.6 0    0     error (invalid witness file) 0 --- inspect .91 .59 47 0   0     error (invalid witness file) 0 --- inspect .0050 .0062 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 9300   .0041 0      error (invalid witness file) 0 --- inspect .75 .45 40 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .71 48 0   0     error (invalid witness file) 0 --- inspect .0045 .0056 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8800   .0041 0      error (invalid witness file) 0 --- inspect .78 .48 41 0    0      error (2) 0 --- inspect .026 .027 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 47 0   0     error (invalid witness file) 0 --- inspect .0065 .0083 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    390 9100   .0041 0      error (invalid witness file) 0 --- inspect .75 .46 40 0    0      error (2) 0 --- inspect .021 .022 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 48 0   0     error (invalid witness file) 0 --- inspect .0027 .0047 .48 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8600   .0041 0      error (invalid witness file) 0 --- inspect .64 .39 40 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect .92 .60 47 0   0     error (invalid witness file) 0 --- inspect .0050 .0072 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 9500   .0041 0      error (invalid witness file) 0 --- inspect .70 .42 40 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect .98 .62 47 0   0     error (invalid witness file) 0 --- inspect .0020 .0026 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    390 9300   .0041 0      error (invalid witness file) 0 --- inspect .60 .36 41 0    0      error (2) 0 --- inspect .022 .024 5.7 0    0     error (invalid witness file) 0 --- inspect 1.1  .69 48 0   0     error (invalid witness file) 0 --- inspect .0050 .0062 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8400   .0041 0      error (invalid witness file) 0 --- inspect .72 .42 40 0    0      error (2) 0 --- inspect .021 .021 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .80 47 0   0     error (invalid witness file) 0 --- inspect .0057 .0074 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8900   .0041 0      error (invalid witness file) 0 --- inspect .72 .43 40 0    0      error (2) 0 --- inspect .025 .026 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .71 47 0   0     error (invalid witness file) 0 --- inspect .0054 .0074 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .13 17 1.6 0      0      error (invalid witness file) 0 --- inspect .64 .39 40 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .73 47 0   0     error (invalid witness file) 0 --- inspect .0015 .0019 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8000   .0041 0      error (invalid witness file) 0 --- inspect .79 .49 41 0    0      error (2) 0 --- inspect .021 .021 5.6 0    0     error (invalid witness file) 0 --- inspect .95 .64 47 0   0     error (invalid witness file) 0 --- inspect .0016 .0021 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .13 17 1.6 0      0      error (invalid witness file) 0 --- inspect .77 .47 40 0    0      error (2) 0 --- inspect .022 .024 5.7 0    0     error (invalid witness file) 0 --- inspect 1.1  .69 48 0   0     error (invalid witness file) 0 --- inspect .0018 .0029 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .12 .14 16 1.2 0      0      error (invalid witness file) 0 --- inspect .62 .38 41 0    0      error (2) 0 --- inspect .033 .035 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .79 47 0   0     error (invalid witness file) 0 --- inspect .0021 .0026 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 9300   .0041 0      error (invalid witness file) 0 --- inspect .73 .45 42 0    0      error (2) 0 --- inspect .020 .022 5.7 0    0     error (invalid witness file) 0 --- inspect 1.1  .68 48 0   0     error (invalid witness file) 0 --- inspect .0053 .0073 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .14 16 1.3 0      0      error (invalid witness file) 0 --- inspect .76 .46 41 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .78 46 0   0     error (invalid witness file) 0 --- inspect .0017 .0023 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .12 .14 17 1.6 0      0      error (invalid witness file) 0 --- inspect .75 .46 40 0    0      error (2) 0 --- inspect .022 .023 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .66 46 0   0     error (invalid witness file) 0 --- inspect .0046 .0057 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8800   .0041 0      error (invalid witness file) 0 --- inspect .65 .41 40 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .74 47 0   0     error (invalid witness file) 0 --- inspect .0057 .0070 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .13 .15 16 2.1 0      0      error (invalid witness file) 0 --- inspect .64 .38 40 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .74 47 0   0     error (invalid witness file) 0 --- inspect .0054 .0066 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .13 17 1.3 0      0      error (invalid witness file) 0 --- inspect .79 .48 42 0    0      error (2) 0 --- inspect .027 .027 5.6 0    0     error (invalid witness file) 0 --- inspect .97 .62 48 0   0     error (invalid witness file) 0 --- inspect .0053 .0073 .39 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 9600   .012  0      error (invalid witness file) 0 --- inspect .64 .39 40 0    0      error (2) 0 --- inspect .022 .023 5.7 0    0     error (invalid witness file) 0 --- inspect .98 .62 47 0   0     error (invalid witness file) 0 --- inspect .0068 .0087 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .12 .14 16 1.3 0      0      error (invalid witness file) 0 --- inspect .75 .45 40 0    0      error (2) 0 --- inspect .020 .021 5.7 0    0     error (invalid witness file) 0 --- inspect 1.1  .74 48 0   0     error (invalid witness file) 0 --- inspect .0058 .0077 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .13 16 1.4 0      0      error (invalid witness file) 0 --- inspect .61 .38 41 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .67 47 0   0     error (invalid witness file) 0 --- inspect .0047 .0058 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 9700   .0041 0      error (invalid witness file) 0 --- inspect .65 .41 41 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .72 48 0   0     error (invalid witness file) 0 --- inspect .0039 .0050 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .11 17 1.6 0      0      error (invalid witness file) 0 --- inspect .72 .45 40 0    0      error (2) 0 --- inspect .036 .038 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .80 47 0   0     error (invalid witness file) 0 --- inspect .0054 .0066 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .12 .14 16 1.2 0      0      error (invalid witness file) 0 --- inspect .80 .48 41 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .78 46 0   0     error (invalid witness file) 0 --- inspect .0015 .0020 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 9100   .0041 0      error (invalid witness file) 0 --- inspect .77 .47 40 0    0      error (2) 0 --- inspect .026 .026 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .64 48 0   0     error (invalid witness file) 0 --- inspect .0018 .0020 .39 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .13 .15 16 1.5 0      0      error (invalid witness file) 0 --- inspect .81 .50 41 0    0      error (2) 0 --- inspect .022 .023 5.6 0    0     error (invalid witness file) 0 --- inspect 1.3  .87 47 0   0     error (invalid witness file) 0 --- inspect .0047 .0061 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .13 16 1.5 0      0      error (invalid witness file) 0 --- inspect .74 .46 41 0    0      error (2) 0 --- inspect .028 .028 5.6 0    0     error (invalid witness file) 0 --- inspect .95 .61 47 0   0     error (invalid witness file) 0 --- inspect .0056 .0070 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8200   .0041 0      error (invalid witness file) 0 --- inspect .73 .46 41 0    0      error (2) 0 --- inspect .021 .022 5.7 0    0     error (invalid witness file) 0 --- inspect .94 .61 46 0   0     error (invalid witness file) 0 --- inspect .0063 .0080 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .12 .14 17 2.1 0      0      error (invalid witness file) 0 --- inspect .75 .45 42 0    0      error (2) 0 --- inspect .020 .022 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 49 0   0     error (invalid witness file) 0 --- inspect .0037 .0047 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .13 16 1.3 0      0      error (invalid witness file) 0 --- inspect .72 .44 40 0    0      error (2) 0 --- inspect .030 .032 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .72 47 0   0     error (invalid witness file) 0 --- inspect .0019 .0025 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8800   .0041 0      error (invalid witness file) 0 --- inspect .76 .46 40 0    0      error (2) 0 --- inspect .028 .030 5.6 0    0     error (invalid witness file) 0 --- inspect 1.3  .85 47 0   0     error (invalid witness file) 0 --- inspect .0037 .0082 .48 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .13 .15 18 1.6 0      0      error (invalid witness file) 0 --- inspect .75 .45 40 0    0      error (2) 0 --- inspect .025 .026 5.8 0    0     error (invalid witness file) 0 --- inspect 1.3  .80 47 0   0     error (invalid witness file) 0 --- inspect .0034 .0044 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .12 .14 17 1.6 0      0      error (invalid witness file) 0 --- inspect .67 .41 43 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect .97 .61 47 0   0     error (invalid witness file) 0 --- inspect .0050 .0062 .39 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 9500   .0041 0      error (invalid witness file) 0 --- inspect .76 .46 41 0    0      error (2) 0 --- inspect .021 .023 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 47 0   0     error (invalid witness file) 0 --- inspect .0047 .0054 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .12 .14 17 1.4 0      0      error (invalid witness file) 0 --- inspect .74 .46 41 0    0      error (2) 0 --- inspect .025 .027 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 49 0   0     error (invalid witness file) 0 --- inspect .0061 .0099 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .12 .14 17 1.4 0      0      error (invalid witness file) 0 --- inspect .77 .49 40 0    0      error (2) 0 --- inspect .025 .026 5.7 0    0     error (invalid witness file) 0 --- inspect .91 .60 47 0   0     error (invalid witness file) 0 --- inspect .0056 .0085 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8800   .0041 0      error (invalid witness file) 0 --- inspect .78 .47 40 0    0      error (2) 0 --- inspect .029 .029 5.5 0    0     error (invalid witness file) 0 --- inspect .97 .63 47 0   0     error (invalid witness file) 0 --- inspect .0049 .0059 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .13 17 1.6 0      0      error (invalid witness file) 0 --- inspect .68 .42 41 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 46 0   0     error (invalid witness file) 0 --- inspect .0049 .0064 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .16 .18 17 1.3 0      0      error (invalid witness file) 0 --- inspect .60 .36 41 0    0      error (2) 0 --- inspect .030 .031 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .67 47 0   0     error (invalid witness file) 0 --- inspect .0044 .0059 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8600   .0041 0      error (invalid witness file) 0 --- inspect .67 .42 40 0    0      error (2) 0 --- inspect .020 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.3  .82 47 0   0     error (invalid witness file) 0 --- inspect .0056 .0076 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .12 .14 18 1.9 0      0      error (invalid witness file) 0 --- inspect .68 .41 40 0    0      error (2) 0 --- inspect .028 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.3  .84 47 0   0     error (invalid witness file) 0 --- inspect .0019 .0025 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .13 17 2.4 0      0      error (invalid witness file) 0 --- inspect .73 .44 40 0    0      error (2) 0 --- inspect .025 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .71 47 0   0     error (invalid witness file) 0 --- inspect .0021 .0027 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .13 17 1.3 0      0      error (invalid witness file) 0 --- inspect .62 .39 41 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .66 48 0   0     error (invalid witness file) 0 --- inspect .0018 .0023 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8600   .0041 0      error (invalid witness file) 0 --- inspect .63 .38 42 0    0      error (2) 0 --- inspect .022 .023 5.6 0    0     error (invalid witness file) 0 --- inspect .97 .62 47 0   0     error (invalid witness file) 0 --- inspect .0061 .0077 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .13 .13 18 1.7 0      0      error (invalid witness file) 0 --- inspect .71 .43 41 0    0      error (2) 0 --- inspect .025 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .74 47 0   0     error (invalid witness file) 0 --- inspect .0017 .0021 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .12 .14 17 1.3 0      0      error (invalid witness file) 0 --- inspect .69 .42 40 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 47 0   0     error (invalid witness file) 0 --- inspect .0051 .0063 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .45 41 0   0   error (2) 0 --- inspect .025 .025 5.6 0    0    
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    390 8700   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .43 42 0   0   error (2) 0 --- inspect .023 .024 5.8 0    0    
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 41 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0    
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8500   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .45 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    390 8900   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 9700   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 41 0   0   error (2) 0 --- inspect .026 .026 5.6 0    0    
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.p+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .12 .12 17 1.1 0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .40 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8000   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .44 40 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0    
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .14 .16 17 1.3 0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .40 40 0   0   error (2) 0 --- inspect .024 .025 5.7 0    0    
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .14 .16 16 1.4 0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .41 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 9000   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 40 0   0   error (2) 0 --- inspect .024 .027 5.6 0    0    
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .13 16 1.4 0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 40 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c true 2 wit inspect 380    100    410 3900   0      0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 18    11    470 0   0   timeout 0 --- inspect 960     850     7000   1.4  0    
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c true 2 wit inspect 870    220    430 8500   0      0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 29    21    610 0   0   out of memory 0 --- inspect 400     300     7000   .64 0    
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c true 2 wit inspect 870    220    410 9300   0      0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 15    9.1  480 0   0   out of memory 0 --- inspect 230     150     7000   .66 0    
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+sep-reducer.c true 2 wit inspect 870    230    460 9100   0      0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 66    54    980 0   0   out of memory 0 --- inspect 260     170     7000   1.8  0    
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    490 8400   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .46 40 0   0   error (2) 0 --- inspect .026 .028 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    550 9400   .0041 130      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .45 40 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    410 9200   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 41 0   0   error (2) 0 --- inspect .019 .025 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    230    450 8700   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .36 40 0   0   error (2) 0 --- inspect .024 .025 5.7 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    430 8500   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .48 42 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    420 9700   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .47 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 40 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    230    470 9600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 41 0   0   error (2) 0 --- inspect .027 .029 5.7 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    430 7900   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 40 0   0   error (2) 0 --- inspect .025 .025 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    420 9700   .0041 .14   - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .40 41 0   0   error (2) 0 --- inspect .026 .034 5.5 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .45 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    230    470 10000   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .38 41 0   0   error (2) 0 --- inspect .026 .026 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c timeout 0 --- inspect 900    230    390 8800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .38 40 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 41 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 7800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .38 41 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 9700   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 40 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 9000   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 40 0   0   error (2) 0 --- inspect .019 .019 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8500   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .41 42 0   0   error (2) 0 --- inspect .027 .028 5.7 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8400   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 41 0   0   error (2) 0 --- inspect .030 .030 5.7 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8900   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .42 42 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c true 2 wit inspect 180    51    390 1700   0      0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 15    8.6  410 0   0   timeout 0 --- inspect 960     870     5500   1.6  0    
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c true 2 wit inspect 330    89    390 2900   0      0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 14    7.8  480 0   0   true 2 --- inspect 900     790     4100   .62 0    
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c true 2 wit inspect 330    89    390 3200   0      0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 16    8.8  460 0   0   timeout 0 --- inspect 960     860     6200   .64 0    
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+sep-reducer.c true 2 wit inspect 330    89    390 3200   0      0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 17    9.9  490 0   0   timeout 0 --- inspect 960     870     6000   1.5  0    
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    460 8700   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 40 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    500 9200   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    490 8700   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .41 40 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    230    510 8700   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c true 2 wit inspect 690    180    460 6400   0      0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 22    15    500 0   0   timeout 0 --- inspect 960     850     6800   1.9  0    
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    400 8100   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .57 .35 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    400 8500   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .41 40 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    230    410 8300   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .35 40 0   0   error (2) 0 --- inspect .027 .029 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    490 8300   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .40 40 0   0   error (2) 0 --- inspect .022 .023 5.7 0    0    
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    400 8600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .48 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 9500   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 40 0   0   error (2) 0 --- inspect .027 .028 5.7 0    0    
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    230    410 8900   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .38 41 0   0   error (2) 0 --- inspect .022 .023 5.7 0    0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c timeout 0 --- inspect 900    230    390 8900   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 41 0   0   error (2) 0 --- inspect .026 .027 5.7 0    0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    440 9200   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .45 41 0   0   error (2) 0 --- inspect .020 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    410 9000   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .38 40 0   0   error (2) 0 --- inspect .022 .024 5.7 0    0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .37 40 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    230    420 9000   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .39 41 0   0   error (2) 0 --- inspect .023 .023 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    440 9100   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 40 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    400 8600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .45 40 0   0   error (2) 0 --- inspect .026 .028 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 9600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .39 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    230    420 9600   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .57 .35 40 0   0   error (2) 0 --- inspect .021 .023 5.7 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.p+lhb-reducer.c timeout 0 --- inspect 900    230    390 9100   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 9900   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    410 8100   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .41 40 0   0   error (2) 0 --- inspect .028 .030 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 9400   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    230    450 8800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .48 42 0   0   error (2) 0 --- inspect .025 .025 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c timeout 0 --- inspect 900    230    390 9900   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .43 41 0   0   error (2) 0 --- inspect .020 .020 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 10000   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .40 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    420 9100   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .46 43 0   0   error (2) 0 --- inspect .021 .023 5.7 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8700   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 40 0   0   error (2) 0 --- inspect .027 .029 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 --- inspect 900    230    440 8100   .012  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .43 41 0   0   error (2) 0 --- inspect .026 .027 5.8 0    0    
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 9100   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .42 40 0   0   error (2) 0 --- inspect .021 .032 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    440 8200   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .38 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8100   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .57 .36 40 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 9100   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .48 41 0   0   error (2) 0 --- inspect .022 .023 5.7 0    0    
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .37 41 0   0   error (2) 0 --- inspect .022 .023 5.7 0    0    
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .44 41 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0    
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    390 10000   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .82 .50 41 0   0   error (2) 0 --- inspect .027 .028 5.8 0    0    
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 40 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0    
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 --- inspect 900    230    390 8800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .40 40 0   0   error (2) 0 --- inspect .019 .020 5.6 0    0    
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 --- inspect 900    230    390 8900   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 8800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0    
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .13 16 1.4 0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .47 42 0   0   error (2) 0 --- inspect .026 .028 5.7 0    0    
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .13 16 1.4 0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .41 40 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0    
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 --- inspect 900    230    390 9900   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 40 0   0   error (2) 0 --- inspect .025 .025 5.6 0    0    
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error - divine failed with exitcode 1 0 --- inspect .11 .13 16 1.2 0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .47 41 0   0   error (2) 0 --- inspect .022 .023 5.7 0    0    
seq-pthread/cs_fib_false-unreach-call.i timeout 0 --- inspect 900    230    420 8100   .0041 0      error (invalid witness file) 0 --- inspect .69 .42 40 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.2  .77 47 0   0     error (invalid witness file) 0 --- inspect .0047 .0058 .40 0     0      - --- inspect - --- inspect
seq-pthread/cs_fib_longer_false-unreach-call.i timeout 0 --- inspect 900    230    420 8500   .0041 0      error (invalid witness file) 0 --- inspect .74 .46 40 0    0      error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .72 47 0   0     error (invalid witness file) 0 --- inspect .0021 .0028 .53 0     0      - --- inspect - --- inspect
seq-pthread/cs_lazy_false-unreach-call_true-termination.i timeout 0 --- inspect 900    230    410 8500   .0041 0      error (invalid witness file) 0 --- inspect .64 .39 41 0    0      error (2) 0 --- inspect .026 .027 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .68 47 0   0     error (invalid witness file) 0 --- inspect .0017 .0021 .54 0     0      - --- inspect - --- inspect
seq-pthread/cs_queue_false-unreach-call.i timeout 0 --- inspect 900    230    410 8100   .0041 0      error (invalid witness file) 0 --- inspect .75 .46 42 0    0      error (2) 0 --- inspect .024 .025 5.7 0    0     error (invalid witness file) 0 --- inspect 1.1  .74 47 0   0     error (invalid witness file) 0 --- inspect .0058 .0074 .40 0     0      - --- inspect - --- inspect
seq-pthread/cs_read_write_lock_false-unreach-call.i timeout 0 --- inspect 900    230    400 8700   .0041 0      error (invalid witness file) 0 --- inspect .60 .38 40 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .73 47 0   0     error (invalid witness file) 0 --- inspect .0048 .0059 .52 0     0      - --- inspect - --- inspect
seq-pthread/cs_stack_false-unreach-call.i timeout 0 --- inspect 900    230    410 9100   .0041 0      error (invalid witness file) 0 --- inspect .60 .36 42 0    0      error (2) 0 --- inspect .027 .028 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .70 48 0   0     error (invalid witness file) 0 --- inspect .0054 .0069 .53 0     0      - --- inspect - --- inspect
seq-pthread/cs_stateful_false-unreach-call_true-termination.i timeout 0 --- inspect 900    230    400 9000   .0041 0      error (invalid witness file) 0 --- inspect .78 .48 42 0    0      error (2) 0 --- inspect .024 .024 5.6 0    0     error (invalid witness file) 0 --- inspect 1.3  .79 48 0   0     error (invalid witness file) 0 --- inspect .0045 .0055 .54 0     0      - --- inspect - --- inspect
seq-pthread/cs_dekker_true-unreach-call.i error - unexpected error: memory error in userspace 0 --- inspect 65    32    460 660   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 41 0   0   error (2) 0 --- inspect .028 .028 5.6 0    0    
seq-pthread/cs_fib_longer_true-unreach-call.i timeout 0 --- inspect 900    230    420 9900   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .38 40 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0    
seq-pthread/cs_fib_true-unreach-call.i timeout 0 --- inspect 900    230    420 8700   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0    
seq-pthread/cs_lamport_true-unreach-call.i error - unexpected error: memory error in userspace 0 --- inspect 29    17    450 340   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .44 40 0   0   error (2) 0 --- inspect .027 .029 5.6 0    0    
seq-pthread/cs_peterson_true-unreach-call.i error - unexpected error: memory error in userspace 0 --- inspect 29    17    450 320   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .42 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0    
seq-pthread/cs_queue_true-unreach-call.i timeout 0 --- inspect 900    230    420 9000   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .36 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-pthread/cs_read_write_lock_true-unreach-call.i timeout 0 --- inspect 900    230    400 8800   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .44 41 0   0   error (2) 0 --- inspect .019 .021 5.6 0    0    
seq-pthread/cs_stack_true-unreach-call.i timeout 0 --- inspect 900    230    410 8100   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .38 40 0   0   error (2) 0 --- inspect .025 .025 5.6 0    0    
seq-pthread/cs_stateful_true-unreach-call.i timeout 0 --- inspect 900    230    400 9300   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .38 42 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0    
seq-pthread/cs_sync_true-unreach-call.i timeout 0 --- inspect 900    230    410 9500   .0041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .39 42 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0    
seq-pthread/cs_szymanski_true-unreach-call.i error - unexpected error: memory error in userspace 0 --- inspect 29    17    450 350   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .42 42 0   0   error (2) 0 --- inspect .023 .024 5.7 0    0    
seq-pthread/cs_time_var_mutex_true-unreach-call.i error - unexpected error: memory error in userspace 0 --- inspect 390    160    480 4200   0      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .39 40 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0    
sv-benchmarks/c/ status score witness inspect witness cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
total 589 -70 400000 110000 210000 4000000 2.0 130      400 28 1600 1300 35000 .39 .0082 400 -1120 730 460 19000 27 .012 400 0 570 360 26000 0   .83 400 -246 24   25   940 3.8  .0082 189 30 460 310 15000 0   0   189 2 9600 8200 94000 15    .012
    correct results 43 58 15000 4900 19000 150000 0   .0082 28 28 480 350 10000 0    .0082 0 0 10 10 6.2 6.2 200 .93 0      15 30 350 240 7800 0   0   1 2 900 790 4100 .62 0    
        correct true 15 30 7200 1900 6200 71000 0   0      0 0 0 0 15 30 350 240 7800 0   0   1 2 900 790 4100 .62 0    
        correct false 28 28 7500 3000 13000 77000 0   .0082 28 28 480 350 10000 0    .0082 0 0 10 10 6.2 6.2 200 .93 0      0 0
    correct-unconfimed results 7 0 2500 990 3200 27000 0   0      0 0 0 0 0 0
        correct-unconfirmed true 0 0 0 0 0 0 0
        correct-unconfirmed false 7 0 2500 990 3200 27000 0   0      0 0 0 0 0 0
    incorrect results 4 -128 1300 340 1600 12000 0   0      0 35 -1120 340 200 11000 23 0     0 8 -256 5.1 5.1 160 .77 0      0 0
        incorrect true 4 -128 1300 340 1600 12000 0   0      0 35 -1120 340 200 11000 23 0     0 8 -256 5.1 5.1 160 .77 0      0 0
        incorrect false 0 0 0 0 0 0 0
score (589 tasks, max score: 778) -70 28 -1120 0 -246 30 2
Run set divine-smt.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-divine-smt.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-divine-smt.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-divine-smt.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-divine-smt.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-divine-smt.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-divine-smt.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized