Tool symbiotic 6.0.3-77d4af47 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* [apollon013; apollon098] 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-07 21:42:05 CET 2018-12-08 23:40:56 CET 2018-12-09 00:46:04 CET 2018-12-09 01:29:54 CET 2018-12-12 21:10:03 CET 2018-12-08 22:46:12 CET 2018-12-08 23:47:25 CET
Run set symbiotic.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-symbiotic.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-symbiotic.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-symbiotic.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-symbiotic.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-symbiotic.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-symbiotic.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized
Options --witness witness.graphml -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/symbiotic.2018-12-07_2142.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/symbiotic.2018-12-07_2142.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/symbiotic.2018-12-07_2142.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/symbiotic.2018-12-07_2142.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -witness ../../results-verified/symbiotic.2018-12-07_2142.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/symbiotic.2018-12-07_2142.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 .32  .32  17 3.9  0     0      false(unreach-call) 1 wit inspect 15    8.3  480 0   0      true -32 --- inspect 8.1   4.5   310   .62  0   unknown 0 --- inspect 4.0  2.3  250 0      0      false(unreach-call) 1 --- inspect .60   .60   20    .090 0      - --- inspect - --- inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .32  .32  19 5.0  0     0      false(unreach-call) 1 wit inspect 12    6.5  410 0   0      true -32 --- inspect 8.0   4.6   310   .62  0   unknown 0 --- inspect 4.0  2.3  250 0      0      false(unreach-call) 1 --- inspect .61   .61   20    .098 0      - --- inspect - --- inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .24  .24  17 2.8  0     0      false(unreach-call) 1 wit inspect 4.2  2.3  260 0   0      true -32 --- inspect 7.4   4.6   310   .62  0   unknown 0 --- inspect 4.2  2.4  250 0      0      false(unreach-call) 1 --- inspect .62   .62   20    .082 0      - --- inspect - --- inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .22  .22  17 2.6  0     0      false(unreach-call) 1 wit inspect 4.4  2.4  260 0   0      true -32 --- inspect 7.7   4.7   310   .62  0   unknown 0 --- inspect 4.1  2.3  250 0      0      false(unreach-call) 1 --- inspect .60   .60   20    .086 0      - --- inspect - --- inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 200     210     3200 1500    0     0      false(unreach-call) 1 wit inspect 28    16    1100 0   0      true -32 --- inspect 8.6   5.2   310   .62  0   timeout 0 --- inspect 97    95    260 .92   .016  false(unreach-call) 1 --- inspect .64   .64   20    .11  0      - --- inspect - --- inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .33  .32  18 4.1  0     0      false(unreach-call) 1 wit inspect 5.3  2.9  270 0   0      true -32 --- inspect 7.8   4.9   300   .62  0   unknown 0 --- inspect 4.0  2.3  270 0      0      false(unreach-call) 1 --- inspect .63   .64   20    .086 .0082 - --- inspect - --- inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .46  .45  19 5.6  0     0      false(unreach-call) 1 wit inspect 6.6  3.5  270 0   0      true -32 --- inspect 8.1   5.1   310   .62  0   unknown 0 --- inspect 4.2  2.4  250 0      0      error (2) 0 --- inspect .61   .61   20    .090 0      - --- inspect - --- inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .81  .81  28 9.9  0     0      false(unreach-call) 1 wit inspect 7.7  4.1  300 0   0      true -32 --- inspect 8.0   4.5   310   .62  0   unknown 0 --- inspect 4.5  2.6  260 0      0      error (2) 0 --- inspect .67   .67   20    .10  0      - --- inspect - --- inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 2.3   2.3   71 35    0     0      false(unreach-call) 1 wit inspect 8.8  4.7  340 0   0      true -32 --- inspect 8.3   4.8   310   .62  0   unknown 0 --- inspect 4.6  2.6  260 0      0      error (2) 0 --- inspect .62   .62   20    .11  0      - --- inspect - --- inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 8.2   8.2   260 96    0     0      false(unreach-call) 1 wit inspect 9.1  4.9  380 0   0      true -32 --- inspect 8.6   5.4   300   .66  0   unknown 0 --- inspect 5.1  2.9  250 0      0      false(unreach-call) 1 --- inspect .66   .66   20    .12  .016  - --- inspect - --- inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 42     42     1200 510    0     0      false(unreach-call) 1 wit inspect 10    5.3  440 0   0      true -32 --- inspect 9.5   5.4   310   .66  0   unknown 0 --- inspect 4.5  2.6  250 0      0      error (2) 0 --- inspect .64   .64   20    .13  0      - --- inspect - --- inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 230     230     3100 2000    0     0      false(unreach-call) 1 wit inspect 12    6.5  440 0   .016  true -32 --- inspect 9.2   5.3   310   .62  0   unknown 0 --- inspect 4.6  2.6  260 0      0      false(unreach-call) 1 --- inspect .65   .65   20    .14  0      - --- inspect - --- inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 190     190     2900 1500    0     0      false(unreach-call) 1 wit inspect 10    5.5  450 0   0      true -32 --- inspect 9.8   5.6   320   .62  0   unknown 0 --- inspect 4.7  2.7  250 0      0      error (2) 0 --- inspect .69   .69   20    .15  0      - --- inspect - --- inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 280     280     3100 2000    0     0      false(unreach-call) 1 wit inspect 11    5.8  450 0   0      true -32 --- inspect 11     6.4   330   .62  0   unknown 0 --- inspect 5.3  3.1  260 0      0      false(unreach-call) 1 --- inspect .70   .70   20    .16  0      - --- inspect - --- inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 340     340     3100 2500    0     0      false(unreach-call) 1 wit inspect 12    6.3  470 0   0      true -32 --- inspect 11     6.2   340   .094 0   unknown 0 --- inspect 4.9  2.8  260 0      0      error (2) 0 --- inspect .68   .68   20    .16  0      - --- inspect - --- inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 430     430     3300 3800    0     0      false(unreach-call) 1 wit inspect 14    7.4  500 0   0      true -32 --- inspect 10     5.8   320   .62  0   unknown 0 --- inspect 4.9  2.8  260 0      0      error (2) 0 --- inspect .68   .68   20    .18  0      - --- inspect - --- inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 470     470     3400 3700    0     0      false(unreach-call) 1 wit inspect 13    7.0  510 0   .025  true -32 --- inspect 12     6.9   330   .62  0   unknown 0 --- inspect 5.2  2.9  260 0      0      true -32 --- inspect .69   .70   20    .18  .025  - --- inspect - --- inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 690     690     3900 6000    0     5.1    false(unreach-call) 1 wit inspect 17    9.3  520 0   0      true -32 --- inspect 11     6.5   340   .62  0   unknown 0 --- inspect 5.5  3.1  260 0      0      true -32 --- inspect .69   .69   20    .20  0      - --- inspect - --- inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 460     470     3400 2500    0     0      false(unreach-call) 1 wit inspect 12    6.9  510 0   0      true -32 --- inspect 10     6.1   340   .62  0   unknown 0 --- inspect 4.9  2.8  260 0      0      true -32 --- inspect .68   .68   20    .18  0      - --- inspect - --- inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 760     760     4200 5400    0     0      false(unreach-call) 1 wit inspect 18    9.8  520 0   0      true -32 --- inspect 11     6.3   350   .62  0   unknown 0 --- inspect 5.1  2.9  260 0      0      true -32 --- inspect .69   .69   20    .20  0      - --- inspect - --- inspect
systemc/toy1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .96  .96  53 11    0     0      false(unreach-call) 1 wit inspect 24    15    530 0   0      true -32 --- inspect 8.7   4.9   310   .62  0   unknown 0 --- inspect 4.2  2.4  250 0      0      false(unreach-call) 1 --- inspect .63   .64   20    .098 0      - --- inspect - --- inspect
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.0   1.0   54 14    0     0      false(unreach-call) 1 wit inspect 21    13    430 0   0      true -32 --- inspect 8.2   4.6   310   .46  0   unknown 0 --- inspect 4.1  2.4  250 0      .012  false(unreach-call) 1 --- inspect .61   .61   20    .098 0      - --- inspect - --- inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .29  .29  17 2.7  0     0      false(unreach-call) 1 wit inspect 6.0  3.3  260 0   0      true -32 --- inspect 7.7   4.3   310   .62  0   unknown 0 --- inspect 4.1  2.4  250 0      0      false(unreach-call) 1 --- inspect .62   .62   20    .082 0      - --- inspect - --- inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .36  .36  18 3.3  0     0      false(unreach-call) 1 wit inspect 6.8  3.7  260 0   0      true -32 --- inspect 7.7   4.5   300   .62  0   unknown 0 --- inspect 4.5  2.6  250 0      0      false(unreach-call) 1 --- inspect .60   .60   20    .090 0      - --- inspect - --- inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .45  .44  21 6.4  0     0      false(unreach-call) 1 wit inspect 6.2  3.3  270 0   0      true -32 --- inspect 8.3   5.2   310   .62  0   unknown 0 --- inspect 4.3  2.4  250 0      0      false(unreach-call) 1 --- inspect .61   .61   20    .10  0      - --- inspect - --- inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .85  .85  36 12    0     .28   false(unreach-call) 1 wit inspect 6.2  3.4  270 0   0      true -32 --- inspect 8.6   5.3   310   .62  0   unknown 0 --- inspect 4.5  2.5  250 0      0      false(unreach-call) 1 --- inspect .65   .64   20    .11  0      - --- inspect - --- inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.3   3.3   130 40    0     0      false(unreach-call) 1 wit inspect 9.2  4.9  310 0   0      true -32 --- inspect 8.7   4.9   310   .62  0   unknown 0 --- inspect 5.6  3.1  260 0      0      false(unreach-call) 1 --- inspect .64   .64   20    .11  0      - --- inspect - --- inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 14     14     520 170    0     0      false(unreach-call) 1 wit inspect 9.7  5.2  370 0   0      true -32 --- inspect 8.7   5.3   310   .62  0   unknown 0 --- inspect 4.6  2.6  260 0      0      false(unreach-call) 1 --- inspect .64   .64   20    .13  0      - --- inspect - --- inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 74     74     2400 1000    0     0      false(unreach-call) 1 wit inspect 11    5.7  430 0   0      true -32 --- inspect 8.9   5.4   310   .62  0   unknown 0 --- inspect 4.6  2.6  250 0      0      false(unreach-call) 1 --- inspect .67   .66   20    .13  0      - --- inspect - --- inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 240     240     3100 2200    0     0      false(unreach-call) 1 wit inspect 9.1  4.9  430 0   .020  true -32 --- inspect 9.3   5.7   320   .66  0   unknown 0 --- inspect 4.6  2.6  260 0      .020  false(unreach-call) 1 --- inspect .66   .66   20    .14  0      - --- inspect - --- inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 310     310     3200 3100    0     0      false(unreach-call) 1 wit inspect 12    6.2  440 0   0      true -32 --- inspect 9.5   5.4   320   .62  0   unknown 0 --- inspect 5.4  3.0  260 0      0      false(unreach-call) 1 --- inspect .69   .71   20    .15  0      - --- inspect - --- inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 370     370     3200 2600    0     0      false(unreach-call) 1 wit inspect 14    7.2  450 0   0      true -32 --- inspect 11     5.9   330   .62  0   unknown 0 --- inspect 4.9  2.8  250 0      0      false(unreach-call) 1 --- inspect .67   .67   20    .16  0      - --- inspect - --- inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 470     470     3400 3400    0     0      false(unreach-call) 1 wit inspect 14    7.3  450 0   0      true -32 --- inspect 11     6.7   330   .66  0   unknown 0 --- inspect 4.8  2.8  260 0      0      false(unreach-call) 1 --- inspect .68   .70   20    .17  .025  - --- inspect - --- inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 470     470     3400 3200    0     0      false(unreach-call) 1 wit inspect 11    6.0  480 0   0      true -32 --- inspect 11     6.5   330   .62  0   unknown 0 --- inspect 5.0  2.8  260 0      0      error (2) 0 --- inspect .69   .69   20    .18  .025  - --- inspect - --- inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 620     620     3800 4100    0     0      false(unreach-call) 1 wit inspect 15    8.1  490 0   0      true -32 --- inspect 11     6.5   330   .62  0   unknown 0 --- inspect 5.0  2.9  270 0      .029  error (2) 0 --- inspect .70   .70   20    .19  0      - --- inspect - --- inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .39  .38  36 4.5  0     0      false(unreach-call) 1 wit inspect 6.5  3.5  270 0   0      true -32 --- inspect 11     6.9   330   .62  0   unknown 0 --- inspect 5.2  3.0  260 0      .029  error (2) 0 --- inspect .69   .69   20    .19  0      - --- inspect - --- inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .39  .38  39 4.8  0     0      false(unreach-call) 1 wit inspect 6.5  3.5  270 0   0      true -32 --- inspect 12     6.4   340   .62  0   unknown 0 --- inspect 5.2  2.9  260 0      0      false(unreach-call) 1 --- inspect .73   .73   20    .20  0      - --- inspect - --- inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c timeout (verification) 0 --- inspect 900     900     99 9500    .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .41 40 0   0     error (2) 0 --- inspect .026 .027 5.6 0    0     
systemc/kundu_true-unreach-call_false-termination.cil.c timeout (verification) 0 --- inspect 900     900     4600 7000    .033 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .49 42 0   0     error (2) 0 --- inspect .021 .021 5.6 0    0     
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c timeout (verification) 0 --- inspect 900     900     3400 7400    .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .48 41 0   0     error (2) 0 --- inspect .022 .023 5.6 0    0     
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c timeout (verification) 0 --- inspect 900     900     5700 6300    .033 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .39 40 0   0     error (2) 0 --- inspect .021 .021 5.6 0    0     
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c timeout (verification) 0 --- inspect 900     900     5400 6200    .025 4.8    - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .47 40 0   0     error (2) 0 --- inspect .022 .022 5.6 0    0     
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c timeout (verification) 0 --- inspect 900     900     5300 6500    .033 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 42 0   0     error (2) 0 --- inspect .021 .022 5.7 0    0     
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c timeout (verification) 0 --- inspect 900     900     5200 6600    .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .45 40 0   0     error (2) 0 --- inspect .021 .023 5.6 0    0     
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c timeout (verification) 0 --- inspect 900     900     3900 7100    .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .41 41 0   0     error (2) 0 --- inspect .021 .021 5.6 0    0     
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c timeout (verification) 0 --- inspect 900     900     4800 5900    .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .44 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 (verification) 0 --- inspect 900     900     1900 8500    .033 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .39 40 0   0     error (2) 0 --- inspect .022 .022 5.6 0    0     
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout (cex-confirmation) 0 --- inspect 900     900     5900 6000    .033 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 40 0   0     error (2) 0 --- inspect .023 .024 5.6 0    0     
systemc/token_ring.01_true-unreach-call_false-termination.cil.c timeout (verification) 0 --- inspect 900     900     880 12000    .020 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .42 41 0   0     error (2) 0 --- inspect .026 .027 5.6 0    0     
systemc/token_ring.02_true-unreach-call_false-termination.cil.c timeout (verification) 0 --- inspect 900     900     1600 9400    .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 40 0   0     error (2) 0 --- inspect .021 .022 5.6 0    0     
systemc/token_ring.03_true-unreach-call_false-termination.cil.c timeout (verification) 0 --- inspect 900     900     2900 9100    .033 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .43 40 0   0     error (2) 0 --- inspect .023 .024 5.6 0    0     
systemc/token_ring.04_true-unreach-call_false-termination.cil.c timeout (verification) 0 --- inspect 900     900     4000 7000    .033 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 42 0   0     error (2) 0 --- inspect .021 .022 5.6 0    0     
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout (verification) 0 --- inspect 900     900     4600 6800    .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 41 0   0     error (2) 0 --- inspect .021 .022 5.6 0    0     
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout (verification) 0 --- inspect 900     900     4900 5900    .033 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .84 .50 42 0   0     error (2) 0 --- inspect .022 .023 5.7 0    0     
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout (verification) 0 --- inspect 900     900     5100 6400    .033 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .43 41 0   0     error (2) 0 --- inspect .022 .024 5.8 0    0     
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout (verification) 0 --- inspect 900     900     5200 6000    .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 40 0   0     error (2) 0 --- inspect .027 .027 5.6 0    0     
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout (verification) 0 --- inspect 900     900     5200 6100    .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 40 0   0     error (2) 0 --- inspect .021 .022 5.7 0    0     
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout (verification) 0 --- inspect 900     900     5000 6300    .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .44 42 0   0     error (2) 0 --- inspect .027 .027 5.6 0    0     
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout (verification) 0 --- inspect 900     900     4900 6800    .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .39 41 0   0     error (2) 0 --- inspect .051 .052 5.5 0    0     
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout (verification) 0 --- inspect 900     900     4700 5400    .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .81 .49 40 0   0     error (2) 0 --- inspect .021 .021 5.6 0    0     
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout (verification) 0 --- inspect 900     900     4600 5600    .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .79 .48 41 0   0     error (2) 0 --- inspect .021 .023 5.6 0    0     
systemc/toy_true-unreach-call_false-termination.cil.c timeout (verification) 0 --- inspect 900     900     4500 6800    .033 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 40 0   0     error (2) 0 --- inspect .022 .023 5.7 0    0     
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect .39  .39  19 4.6  0     0      false(unreach-call) 1 wit inspect 6.2  3.4  280 0   0      true -32 --- inspect 9.2   5.6   310   .62  0   unknown 0 --- inspect 5.0  2.9  260 0      0      false(unreach-call) 1 --- inspect .64   .64   20    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .38  .38  20 5.4  0     0      false(unreach-call) 1 wit inspect 6.0  3.2  280 0   0      true -32 --- inspect 9.5   5.8   310   .62  0   unknown 0 --- inspect 4.5  2.6  260 0      0      false(unreach-call) 1 --- inspect .64   .65   20    .094 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect .45  .44  19 5.1  0     0      false(unreach-call) 1 wit inspect 8.0  4.3  310 0   0      true -32 --- inspect 9.3   5.3   310   .62  0   unknown 0 --- inspect 4.5  2.6  260 0      0      false(unreach-call) 1 --- inspect .65   .65   20    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .42  .41  19 4.5  0     0      false(unreach-call) 1 wit inspect 8.3  4.4  300 0   0      true -32 --- inspect 8.9   5.5   310   .62  0   unknown 0 --- inspect 4.9  2.8  260 0      0      false(unreach-call) 1 --- inspect .64   .64   20    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect .43  .43  19 5.9  0     0      false(unreach-call) 1 wit inspect 8.0  4.3  300 0   0      true -32 --- inspect 8.8   5.3   310   .62  0   unknown 0 --- inspect 4.6  2.6  260 0      .020  false(unreach-call) 1 --- inspect .65   .66   20    .13  .020  - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .42  .41  19 5.0  0     0      false(unreach-call) 1 wit inspect 10    5.4  300 0   0      true -32 --- inspect 8.6   4.9   310   .10  0   unknown 0 --- inspect 4.5  2.6  260 0      0      false(unreach-call) 1 --- inspect .64   .64   20    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 6.7   6.7   260 87    0     0      timeout 0 wit inspect 93    86    760 0   0      true -32 --- inspect 8.8   5.4   310   .62  0   unknown 0 --- inspect 4.4  2.5  260 0      .020  false(unreach-call) 1 --- inspect .64   .64   20    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.7   5.7   220 74    0     0      false(unreach-call) 1 wit inspect 43    32    580 0   0      true -32 --- inspect 9.0   5.5   310   .62  0   unknown 0 --- inspect 4.5  2.6  260 0      0      false(unreach-call) 1 --- inspect .65   .65   20    .13  .020  - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect .45  .44  19 5.5  0     0      false(unreach-call) 1 wit inspect 8.2  4.4  330 0   0      true -32 --- inspect 9.2   5.3   310   .62  0   true -32 --- inspect 4.3  2.5  260 0      0      true -32 --- inspect .66   .66   20    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .44  .44  19 5.2  0     0      false(unreach-call) 1 wit inspect 9.4  5.0  330 0   0      true -32 --- inspect 8.9   5.1   310   .62  0   timeout 0 --- inspect 97    95    250 .92   0      true -32 --- inspect .64   .64   20    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect .61  .61  22 7.8  0     0      false(unreach-call) 1 wit inspect 9.3  5.1  340 0   0      true -32 --- inspect 8.6   5.3   320   .14  0   true -32 --- inspect 5.5  3.1  250 0      0      true -32 --- inspect .64   .64   20    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .58  .57  22 7.4  0     0      false(unreach-call) 1 wit inspect 10    5.5  340 0   0      true -32 --- inspect 9.0   5.5   310   .62  0   timeout 0 --- inspect 97    95    250 .0041 .27   true -32 --- inspect .67   .67   20    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 1.1   1.1   24 14    0     0      false(unreach-call) 1 wit inspect 8.1  4.4  280 0   0      true -32 --- inspect 9.3   5.5   310   .62  0   false(unreach-call) 1 --- inspect 4.9  2.8  270 0      0      false(unreach-call) 1 --- inspect .63   .63   20    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.2   1.2   24 14    0     0      false(unreach-call) 1 wit inspect 6.3  3.4  280 0   0      true -32 --- inspect 8.9   5.1   320   .62  0   false(unreach-call) 1 --- inspect 5.0  2.8  260 0      0      false(unreach-call) 1 --- inspect .65   .66   20    .11  .016  - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 1.4   1.4   19 20    0     0      false(unreach-call) 1 wit inspect 6.6  3.5  270 0   0      true -32 --- inspect 8.9   5.5   320   .62  0   false(unreach-call) 1 --- inspect 4.8  2.7  260 0      0      false(unreach-call) 1 --- inspect .64   .64   20    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.4   1.4   20 18    0     0      false(unreach-call) 1 wit inspect 7.2  3.9  270 0   0      true -32 --- inspect 9.6   5.5   310   .62  0   false(unreach-call) 1 --- inspect 5.3  3.0  260 0      0      false(unreach-call) 1 --- inspect .64   .64   20    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 1.1   1.0   21 12    0     0      false(unreach-call) 1 wit inspect 6.2  3.4  270 0   0      true -32 --- inspect 8.9   5.1   310   .62  0   false(unreach-call) 1 --- inspect 4.7  2.6  260 0      .016  false(unreach-call) 1 --- inspect .63   .63   20    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.1   1.1   21 15    0     0      false(unreach-call) 1 wit inspect 7.9  4.2  280 0   0      true -32 --- inspect 8.8   5.5   320   .62  0   false(unreach-call) 1 --- inspect 4.7  2.6  260 0      0      false(unreach-call) 1 --- inspect .64   .64   20    .11  .016  - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 8.8   8.8   23 120    0     0      false(unreach-call) 1 wit inspect 6.7  3.6  270 0   0      true -32 --- inspect 8.8   5.0   310   .62  0   false(unreach-call) 1 --- inspect 5.2  2.9  270 0      1.7    false(unreach-call) 1 --- inspect .63   .63   20    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 9.2   9.2   24 140    0     0      false(unreach-call) 1 wit inspect 6.3  3.4  280 0   0      true -32 --- inspect 9.5   5.3   320   .62  0   false(unreach-call) 1 --- inspect 4.6  2.6  260 0      0      false(unreach-call) 1 --- inspect .64   .64   20    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 140     140     110 1900    0     0      false(unreach-call) 1 wit inspect 48    33    1700 0   .016  true -32 --- inspect 8.7   5.0   300   .62  0   false(unreach-call) 1 --- inspect 4.8  2.7  260 0      0      false(unreach-call) 1 --- inspect .64   .64   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 88     88     1800 1200    0     0      false(unreach-call) 1 wit inspect 8.3  4.3  350 0   0      true -32 --- inspect 11     6.3   340   .62  0   false(unreach-call) 1 --- inspect 5.4  3.0  280 0      0      false(unreach-call) 1 --- inspect .69   .69   21    .17  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 76     76     1700 1000    0     0      false(unreach-call) 1 wit inspect 8.8  4.7  360 0   0      true -32 --- inspect 11     6.3   340   .62  0   false(unreach-call) 1 --- inspect 5.8  3.3  270 0      .029  false(unreach-call) 1 --- inspect .69   .69   21    .18  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 17     17     160 200    0     0      false(unreach-call) 1 wit inspect 7.8  4.2  340 0   0      true -32 --- inspect 11     6.2   340   .62  0   false(unreach-call) 1 --- inspect 5.5  3.0  280 0      0      false(unreach-call) 1 --- inspect .69   .69   21    .18  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 15     15     160 190    0     0      false(unreach-call) 1 wit inspect 8.7  4.6  290 0   0      true -32 --- inspect 11     6.4   350   .62  0   false(unreach-call) 1 --- inspect 5.6  3.1  270 0      0      false(unreach-call) 1 --- inspect .70   .70   21    .18  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 23     23     280 310    0     0      false(unreach-call) 1 wit inspect 8.8  4.7  390 0   0      true -32 --- inspect 12     6.8   340   .62  0   false(unreach-call) 1 --- inspect 5.5  3.0  270 0      0      false(unreach-call) 1 --- inspect .76   .78   21    .18  .033  - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 23     23     270 350    0     0      false(unreach-call) 1 wit inspect 8.2  4.4  380 0   0      true -32 --- inspect 11     6.2   330   .62  0   false(unreach-call) 1 --- inspect 5.4  3.0  270 0      0      false(unreach-call) 1 --- inspect .71   .70   20    .18  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 53     53     650 670    0     .28   false(unreach-call) 1 wit inspect 8.9  4.7  380 0   0      true -32 --- inspect 12     6.9   350   .62  0   false(unreach-call) 1 --- inspect 5.4  3.0  280 0      0      false(unreach-call) 1 --- inspect .73   .72   20    .18  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 57     57     680 660    0     0      false(unreach-call) 1 wit inspect 11    5.9  400 0   0      true -32 --- inspect 11     6.7   340   .62  0   false(unreach-call) 1 --- inspect 5.3  2.9  260 0      0      false(unreach-call) 1 --- inspect .70   .70   20    .18  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     1600 11000    .029 0      error (invalid witness file) 0 --- inspect .58 .38 40 0   0      error (2) 0 --- inspect .022 .025 5.6 0     0   error (invalid witness file) 0 --- inspect .92 .59 47 0      0      error (invalid witness file) 0 --- inspect .0052 .0054 .40 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout (verification) 0 --- inspect 900     900     3100 8500    .029 0      error (invalid witness file) 0 --- inspect .62 .37 41 0   0      error (2) 0 --- inspect .022 .025 5.7 0     0   error (invalid witness file) 0 --- inspect .92 .60 47 0      0      error (invalid witness file) 0 --- inspect .0015 .0019 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     3000 8800    .033 4.8    error (invalid witness file) 0 --- inspect .59 .37 41 0   0      error (2) 0 --- inspect .024 .025 5.6 0     0   error (invalid witness file) 0 --- inspect 1.0  .68 47 0      0      error (invalid witness file) 0 --- inspect .0062 .0077 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 450     450     3300 5100    0     0      false(unreach-call) 1 wit inspect 11    5.7  440 0   0      true -32 --- inspect 14     8.6   470   .62  0   false(unreach-call) 1 --- inspect 6.7  3.6  300 0      0      false(unreach-call) 1 --- inspect .85   .85   21    .32  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 170     170     3000 1700    0     0      false(unreach-call) 1 wit inspect 11    5.8  440 0   0      true -32 --- inspect 14     8.4   490   .62  0   false(unreach-call) 1 --- inspect 6.7  3.6  300 0      0      false(unreach-call) 1 --- inspect .82   .82   21    .33  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 580     580     3400 6900    0     0      false(unreach-call) 1 wit inspect 11    5.9  460 0   0      true -32 --- inspect 13     8.0   470   .62  0   false(unreach-call) 1 --- inspect 8.8  4.8  310 0      0      false(unreach-call) 1 --- inspect .83   .84   21    .32  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 570     570     3300 6700    0     0      false(unreach-call) 1 wit inspect 12    6.1  460 0   0      true -32 --- inspect 16     9.5   460   .62  0   false(unreach-call) 1 --- inspect 6.9  3.7  300 0      0      false(unreach-call) 1 --- inspect .82   .82   21    .33  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c timeout (verification) 0 --- inspect 900     900     3700 9700    .029 0      error (invalid witness file) 0 --- inspect .71 .44 40 0   0      error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .92 .60 47 0      0      error (invalid witness file) 0 --- inspect .0017 .0023 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     3600 9700    .025 0      error (invalid witness file) 0 --- inspect .74 .44 41 0   0      error (2) 0 --- inspect .022 .023 5.6 0     0   error (invalid witness file) 0 --- inspect .93 .61 48 0      0      error (invalid witness file) 0 --- inspect .0047 .0057 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     3600 11000    .025 0      error (invalid witness file) 0 --- inspect .72 .45 40 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 .0060 .0078 .53 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 .57  .57  18 8.0  0     0      false(unreach-call) 1 wit inspect 6.3  3.4  270 0   .012  true -32 --- inspect 8.4   5.2   320   .62  0   false(unreach-call) 1 --- inspect 4.3  2.5  260 0      0      false(unreach-call) 1 --- inspect .63   .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 .59  .58  18 7.3  0     0      false(unreach-call) 1 wit inspect 5.8  3.1  270 0   0      true -32 --- inspect 8.5   4.8   320   .62  0   false(unreach-call) 1 --- inspect 4.4  2.5  260 0      0      false(unreach-call) 1 --- inspect .62   .62   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 .50  .49  18 5.9  0     0      false(unreach-call) 1 wit inspect 7.1  3.8  260 0   .012  true -32 --- inspect 8.6   4.8   310   .62  0   false(unreach-call) 1 --- inspect 4.4  2.5  250 0      0      false(unreach-call) 1 --- inspect .63   .63   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 .50  .50  18 5.2  0     0      false(unreach-call) 1 wit inspect 5.7  3.0  270 0   0      true -32 --- inspect 8.1   4.5   310   .62  0   false(unreach-call) 1 --- inspect 4.3  2.4  260 0      0      false(unreach-call) 1 --- 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 false(unreach-call) 1 wit inspect 1.1   1.1   19 16    0     0      false(unreach-call) 1 wit inspect 7.1  3.8  290 0   0      true -32 --- inspect 8.6   5.3   310   .62  0   false(unreach-call) 1 --- inspect 4.3  2.5  260 0      0      false(unreach-call) 1 --- inspect .64   .63   20    .098 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.1   1.1   20 17    0     0      false(unreach-call) 1 wit inspect 6.8  3.6  280 0   0      true -32 --- inspect 8.7   4.9   310   .62  0   false(unreach-call) 1 --- inspect 4.6  2.5  250 0      0      false(unreach-call) 1 --- inspect .63   .62   20    .10  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect .75  .75  19 9.0  0     0      false(unreach-call) 1 wit inspect 8.9  4.7  280 0   0      true -32 --- inspect 8.3   4.6   310   .66  0   false(unreach-call) 1 --- inspect 5.0  2.8  260 0      0      false(unreach-call) 1 --- inspect .62   .61   20    .098 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .77  .76  18 7.5  0     0      false(unreach-call) 1 wit inspect 6.7  3.7  280 0   0      true -32 --- inspect 8.7   5.2   310   .62  0   false(unreach-call) 1 --- inspect 4.3  2.4  260 0      0      false(unreach-call) 1 --- inspect .62   .62   20    .10  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 2.8   2.8   26 36    0     0      false(unreach-call) 1 wit inspect 9.1  4.9  350 0   0      true -32 --- inspect 8.8   5.0   310   .62  0   false(unreach-call) 1 --- inspect 4.7  2.7  260 0      0      false(unreach-call) 1 --- inspect .63   .64   21    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 2.9   2.9   27 43    0     0      false(unreach-call) 1 wit inspect 9.6  5.0  350 0   0      true -32 --- inspect 8.6   4.9   310   .62  0   false(unreach-call) 1 --- inspect 4.4  2.5  260 0      0      false(unreach-call) 1 --- inspect .63   .63   20    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 1.3   1.3   21 18    0     0      false(unreach-call) 1 wit inspect 7.1  3.8  330 0   0      true -32 --- inspect 8.7   5.0   310   .62  0   false(unreach-call) 1 --- inspect 4.7  2.6  260 0      0      false(unreach-call) 1 --- inspect .63   .63   20    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.3   1.3   21 18    0     0      false(unreach-call) 1 wit inspect 9.0  4.8  330 0   0      true -32 --- inspect 8.7   5.3   310   .62  0   false(unreach-call) 1 --- inspect 4.6  2.6  260 0      0      false(unreach-call) 1 --- inspect .63   .63   20    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 7.4   7.4   48 110    0     0      false(unreach-call) 1 wit inspect 8.6  4.6  430 0   0      true -32 --- inspect 9.6   5.8   320   .62  0   false(unreach-call) 1 --- inspect 4.7  2.7  270 0      0      false(unreach-call) 1 --- inspect .64   .64   20    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 8.2   8.2   51 110    0     0      false(unreach-call) 1 wit inspect 8.9  4.7  420 0   0      true -32 --- inspect 9.0   5.5   310   .62  0   false(unreach-call) 1 --- inspect 5.4  3.0  270 0      .15   false(unreach-call) 1 --- inspect .65   .65   20    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 2.6   2.6   29 30    0     0      false(unreach-call) 1 wit inspect 9.6  5.0  390 0   0      true -32 --- inspect 8.9   5.0   310   .62  0   false(unreach-call) 1 --- inspect 5.5  3.1  260 0      0      false(unreach-call) 1 --- inspect .64   .64   21    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 2.6   2.6   29 29    0     0      false(unreach-call) 1 wit inspect 9.8  5.2  390 0   0      true -32 --- inspect 9.0   5.1   310   .62  0   false(unreach-call) 1 --- inspect 4.8  2.7  260 0      .020  false(unreach-call) 1 --- inspect .65   .65   21    .13  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 .56  .56  18 7.1  0     0      false(unreach-call) 1 wit inspect 5.8  3.2  270 0   .0082 true -32 --- inspect 7.6   4.3   310   .62  0   false(unreach-call) 1 --- inspect 4.2  2.4  250 0      0      false(unreach-call) 1 --- inspect .62   .61   20    .082 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .60  .59  18 7.4  0     0      false(unreach-call) 1 wit inspect 6.1  3.3  270 0   0      true -32 --- inspect 7.4   4.7   300   .62  0   false(unreach-call) 1 --- inspect 4.2  2.4  250 0      0      false(unreach-call) 1 --- inspect .62   .62   20    .082 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.2   1.2   25 16    0     0      false(unreach-call) 1 wit inspect 61    44    1600 0   0      true -32 --- inspect 7.9   5.0   320   .62  0   false(unreach-call) 1 --- inspect 4.2  2.4  250 0      0      false(unreach-call) 1 --- inspect .64   .64   20    .082 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 1.4   1.4   18 19    0     0      false(unreach-call) 1 wit inspect 7.0  3.7  290 0   .012  true -32 --- inspect 8.5   4.8   310   .62  0   false(unreach-call) 1 --- inspect 4.4  2.5  260 0      0      false(unreach-call) 1 --- inspect .61   .60   20    .086 .012  - --- inspect - --- inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.4   1.4   18 18    0     0      false(unreach-call) 1 wit inspect 8.3  4.5  280 0   0      true -32 --- inspect 8.6   4.9   310   .62  0   false(unreach-call) 1 --- inspect 4.3  2.5  260 0      1.5    false(unreach-call) 1 --- inspect .67   .68   20    .090 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 3.7   3.7   37 50    0     0      false(unreach-call) 1 wit inspect 73    56    2000 0   0      true -32 --- inspect 8.1   4.7   320   .62  0   false(unreach-call) 1 --- inspect 4.4  2.5  260 0      0      false(unreach-call) 1 --- inspect .62   .62   20    .090 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 4.4   4.4   22 63    0     0      false(unreach-call) 1 wit inspect 8.2  4.4  340 0   0      true -32 --- inspect 9.1   5.2   310   .62  0   false(unreach-call) 1 --- inspect 4.4  2.5  260 0      0      false(unreach-call) 1 --- inspect .65   .68   20    .10  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 4.3   4.3   22 62    0     0      false(unreach-call) 1 wit inspect 7.7  4.1  340 0   0      true -32 --- inspect 8.5   5.3   310   .62  0   false(unreach-call) 1 --- inspect 4.6  2.6  260 0      0      false(unreach-call) 1 --- inspect .63   .63   20    .10  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 13     13     66 190    0     0      false(unreach-call) 1 wit inspect 76    57    1900 0   0      true -32 --- inspect 8.6   5.2   310   .62  0   false(unreach-call) 1 --- inspect 4.4  2.5  260 0      0      false(unreach-call) 1 --- inspect .65   .65   20    .10  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 14     14     33 190    0     0      false(unreach-call) 1 wit inspect 8.4  4.5  420 0   0      true -32 --- inspect 8.7   5.0   300   .62  0   false(unreach-call) 1 --- inspect 4.6  2.6  270 0      0      false(unreach-call) 1 --- inspect .65   .64   20    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 14     14     33 190    0     0      false(unreach-call) 1 wit inspect 8.9  4.7  440 0   0      true -32 --- inspect 8.9   5.0   310   .62  0   false(unreach-call) 1 --- inspect 4.6  2.6  260 0      0      false(unreach-call) 1 --- inspect .63   .63   20    .11  .020  - --- inspect - --- inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 44     44     140 630    0     0      timeout 0 --- inspect 97    86    2100 0   0      true -32 --- inspect 8.5   4.8   310   .62  0   false(unreach-call) 1 --- inspect 4.5  2.5  260 0      0      false(unreach-call) 1 --- inspect .64   .64   20    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c false(unreach-call) 1 wit inspect 41     41     72 530    0     0      false(unreach-call) 1 wit inspect 9.4  5.0  440 0   0      true -32 --- inspect 9.4   5.3   320   .62  0   false(unreach-call) 1 --- inspect 4.9  2.8  270 0      .22   false(unreach-call) 1 --- inspect .64   .64   20    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 41     41     69 600    0     0      false(unreach-call) 1 wit inspect 12    6.3  440 0   .32   true -32 --- inspect 8.9   5.0   310   .62  0   false(unreach-call) 1 --- inspect 4.6  2.6  250 0      0      false(unreach-call) 1 --- inspect .65   .64   20    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 150     150     320 1900    0     0      timeout 0 wit inspect 97    84    2600 0   0      true -32 --- inspect 9.2   5.3   320   .62  0   false(unreach-call) 1 --- inspect 4.7  2.6  260 0      0      false(unreach-call) 1 --- inspect .65   .65   21    .13  .025  - --- inspect - --- inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c false(unreach-call) 1 wit inspect 130     130     200 1900    0     0      false(unreach-call) 1 wit inspect 10    5.4  440 0   0      true -32 --- inspect 9.3   5.3   310   .62  0   false(unreach-call) 1 --- inspect 5.0  2.8  270 0      0      false(unreach-call) 1 --- inspect .65   .65   21    .14  .029  - --- inspect - --- inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 130     130     190 1500    0     0      false(unreach-call) 1 wit inspect 12    6.1  440 0   0      true -32 --- inspect 9.4   5.7   320   .62  0   false(unreach-call) 1 --- inspect 4.8  2.7  260 0      0      false(unreach-call) 1 --- inspect .70   .71   20    .14  0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 570     570     840 6500    0     0      timeout 0 --- inspect 97    86    2500 0   0      true -32 --- inspect 9.3   5.6   320   .62  0   false(unreach-call) 1 --- inspect 4.7  2.6  270 0      0      false(unreach-call) 1 --- inspect .65   .65   21    .14  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 1.1   1.1   25 17    0     0      false(unreach-call) 1 wit inspect 6.2  3.3  270 0   0      true -32 --- inspect 9.0   5.6   320   .62  0   false(unreach-call) 1 --- inspect 4.6  2.6  260 0      0      false(unreach-call) 1 --- inspect .64   .64   20    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.2   1.2   25 15    0     0      false(unreach-call) 1 wit inspect 6.3  3.4  280 0   0      true -32 --- inspect 8.9   5.5   320   .62  0   false(unreach-call) 1 --- inspect 4.6  2.6  260 0      0      false(unreach-call) 1 --- inspect .65   .65   20    .12  .016  - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .82  .82  19 11    0     0      false(unreach-call) 1 wit inspect 6.3  3.3  280 0   0      true -32 --- inspect 8.9   5.1   310   .62  0   false(unreach-call) 1 --- inspect 4.9  2.7  270 0      0      false(unreach-call) 1 --- inspect .63   .63   20    .11  .016  - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .86  .86  19 9.7  0     0      false(unreach-call) 1 wit inspect 6.6  3.5  280 0   0      true -32 --- inspect 9.1   5.5   310   .62  0   false(unreach-call) 1 --- inspect 4.5  2.5  260 0      0      false(unreach-call) 1 --- inspect .65   .65   20    .12  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 1.1   1.1   21 14    0     0      false(unreach-call) 1 wit inspect 6.8  3.6  290 0   0      true -32 --- inspect 9.4   5.7   310   .62  0   false(unreach-call) 1 --- inspect 4.9  2.8  270 0      0      false(unreach-call) 1 --- inspect .66   .67   20    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.1   1.1   21 18    0     0      false(unreach-call) 1 wit inspect 6.8  3.6  270 0   0      true -32 --- inspect 9.6   5.8   310   .62  0   false(unreach-call) 1 --- inspect 4.8  2.7  270 0      0      false(unreach-call) 1 --- inspect .66   .67   20    .12  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 9.4   9.4   24 130    0     0      false(unreach-call) 1 wit inspect 6.8  3.6  280 0   0      true -32 --- inspect 9.4   5.7   320   .62  0   false(unreach-call) 1 --- inspect 4.6  2.6  270 0      .016  false(unreach-call) 1 --- inspect .67   .66   21    .11  .016  - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 6.8   6.8   23 96    0     0      false(unreach-call) 1 wit inspect 7.1  3.8  270 0   0      true -32 --- inspect 8.8   5.4   310   .62  0   false(unreach-call) 1 --- inspect 5.3  2.9  260 0      .17   false(unreach-call) 1 --- inspect .65   .65   20    .12  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 140     140     110 1700    0     0      false(unreach-call) 1 wit inspect 73    52    1900 0   0      true -32 --- inspect 9.1   5.5   310   .22  0   false(unreach-call) 1 --- inspect 4.9  2.8  270 0      0      false(unreach-call) 1 --- inspect .66   .66   20    .12  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 96     96     1900 1100    0     0      false(unreach-call) 1 wit inspect 8.6  4.6  370 0   0      true -32 --- inspect 12     6.5   350   .62  0   false(unreach-call) 1 --- inspect 5.4  3.0  270 0      0      false(unreach-call) 1 --- inspect .69   .69   21    .18  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 96     97     1900 1100    0     0      false(unreach-call) 1 wit inspect 10    5.3  370 0   0      true -32 --- inspect 11     6.7   360   .62  0   false(unreach-call) 1 --- inspect 5.6  3.1  280 0      0      false(unreach-call) 1 --- inspect .70   .70   21    .18  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 16     16     170 210    0     0      false(unreach-call) 1 wit inspect 8.1  4.3  360 0   0      true -32 --- inspect 11     6.2   340   .62  0   false(unreach-call) 1 --- inspect 5.6  3.1  270 0      0      false(unreach-call) 1 --- inspect .73   .73   21    .19  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 16     16     170 230    0     0      false(unreach-call) 1 wit inspect 9.3  4.9  360 0   0      true -32 --- inspect 12     6.5   360   .62  0   false(unreach-call) 1 --- inspect 6.7  3.6  270 0      0      false(unreach-call) 1 --- inspect .71   .72   21    .19  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 23     23     270 300    0     0      false(unreach-call) 1 wit inspect 8.9  4.7  390 0   0      true -32 --- inspect 12     7.3   350   .62  0   false(unreach-call) 1 --- inspect 5.8  3.2  270 0      0      false(unreach-call) 1 --- inspect .70   .70   21    .19  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 24     24     270 290    0     0      false(unreach-call) 1 wit inspect 10    5.5  410 0   0      true -32 --- inspect 12     6.5   360   .62  0   false(unreach-call) 1 --- inspect 5.6  3.1  280 0      0      false(unreach-call) 1 --- inspect .70   .70   21    .19  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 63     63     670 800    0     0      false(unreach-call) 1 wit inspect 9.1  4.8  410 0   0      true -32 --- inspect 11     6.3   350   .62  0   false(unreach-call) 1 --- inspect 5.5  3.0  270 0      0      false(unreach-call) 1 --- inspect .70   .70   21    .19  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 63     63     690 750    0     0      false(unreach-call) 1 wit inspect 8.4  4.4  390 0   0      true -32 --- inspect 11     6.7   360   .62  0   false(unreach-call) 1 --- inspect 5.5  3.1  280 0      0      false(unreach-call) 1 --- inspect .70   .70   21    .19  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     1700 10000    .041 0      error (invalid witness file) 0 --- inspect .59 .36 43 0   0      error (2) 0 --- inspect .022 .025 5.6 0     0   error (invalid witness file) 0 --- inspect .97 .63 47 0      0      error (invalid witness file) 0 --- inspect .0020 .0025 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c timeout (verification) 0 --- inspect 900     900     3100 8300    .033 0      error (invalid witness file) 0 --- inspect .61 .37 41 0   0      error (2) 0 --- inspect .020 .022 5.7 0     0   error (invalid witness file) 0 --- inspect .94 .62 47 0      0      error (invalid witness file) 0 --- inspect .0019 .0036 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     3100 9400    .029 0      error (invalid witness file) 0 --- inspect .63 .40 43 0   0      error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .91 .58 46 0      0      error (invalid witness file) 0 --- inspect .0026 .0032 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 200     200     3200 2300    0     0      false(unreach-call) 1 wit inspect 14    7.5  450 0   0      true -32 --- inspect 14     8.3   490   .62  0   false(unreach-call) 1 --- inspect 8.3  4.5  300 0      0      false(unreach-call) 1 --- inspect .84   .84   21    .33  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 400     400     3300 4200    0     0      false(unreach-call) 1 wit inspect 14    7.2  450 0   0      true -32 --- inspect 14     8.0   500   .62  0   false(unreach-call) 1 --- inspect 8.0  4.4  320 0      0      false(unreach-call) 1 --- inspect .83   .83   21    .34  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 370     370     3400 4000    0     0      false(unreach-call) 1 wit inspect 15    7.8  460 0   0      true -32 --- inspect 13     8.0   470   .62  0   false(unreach-call) 1 --- inspect 7.2  3.9  310 0      0      false(unreach-call) 1 --- inspect .85   .85   21    .33  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 470     470     3300 5000    0     0      false(unreach-call) 1 wit inspect 14    7.3  450 0   0      true -32 --- inspect 15     8.6   460   .62  0   false(unreach-call) 1 --- inspect 6.9  3.7  310 0      0      false(unreach-call) 1 --- inspect .85   .86   21    .34  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c timeout (verification) 0 --- inspect 900     900     3900 9600    .029 0      error (invalid witness file) 0 --- inspect .60 .37 42 0   0      error (2) 0 --- inspect .023 .025 5.7 0     0   error (invalid witness file) 0 --- inspect .94 .60 48 0      0      error (invalid witness file) 0 --- inspect .0049 .0060 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     3700 10000    .029 0      error (invalid witness file) 0 --- inspect .60 .37 41 0   0      error (2) 0 --- inspect .021 .023 5.6 0     0   error (invalid witness file) 0 --- inspect .94 .61 47 0      0      error (invalid witness file) 0 --- inspect .0052 .0065 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     3700 8800    .033 0      error (invalid witness file) 0 --- inspect .79 .49 41 0   0      error (2) 0 --- inspect .022 .023 5.7 0     0   error (invalid witness file) 0 --- inspect .94 .60 47 0      0      error (invalid witness file) 0 --- inspect .0015 .0025 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c error(unknown, verification-finished) 0 --- inspect 1.1   1.1   180 13    0     0      error (invalid witness file) 0 --- inspect .78 .47 42 0   0      error (2) 0 --- inspect .022 .023 5.6 0     0   error (invalid witness file) 0 --- inspect .93 .60 47 0      0      error (invalid witness file) 0 --- inspect .0017 .0022 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c error(unknown, verification-finished) 0 --- inspect 73     73     4500 370    0     0      error (invalid witness file) 0 --- inspect .59 .36 41 0   0      error (2) 0 --- inspect .021 .023 5.7 0     0   error (invalid witness file) 0 --- inspect .97 .64 47 0      0      error (invalid witness file) 0 --- inspect .0017 .0024 .65 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c error(unknown, verification-finished) 0 --- inspect 1.1   1.1   190 13    0     0      error (invalid witness file) 0 --- inspect .61 .38 42 0   0      error (2) 0 --- inspect .021 .022 5.7 0     0   error (invalid witness file) 0 --- inspect .93 .60 47 0      0      error (invalid witness file) 0 --- inspect .0053 .0064 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c error(unknown, verification-finished) 0 --- inspect 72     72     4600 410    0     0      error (invalid witness file) 0 --- inspect .58 .36 40 0   0      error (2) 0 --- inspect .021 .023 5.7 0     0   error (invalid witness file) 0 --- inspect .93 .61 47 0      0      error (invalid witness file) 0 --- inspect .0045 .0061 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c error(unknown, verification-finished) 0 --- inspect 2.0   2.0   370 26    0     0      error (invalid witness file) 0 --- inspect .77 .48 42 0   0      error (2) 0 --- inspect .022 .024 5.6 0     0   error (invalid witness file) 0 --- inspect .94 .61 47 0      0      error (invalid witness file) 0 --- inspect .0018 .0036 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c timeout (verification) 0 --- inspect 900     900     8400 10000    .029 0      error (invalid witness file) 0 --- inspect .78 .48 41 0   0      error (2) 0 --- inspect .022 .024 5.6 0     0   error (invalid witness file) 0 --- inspect .94 .61 47 0      0      error (invalid witness file) 0 --- inspect .0022 .0030 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c error(unknown, verification-finished) 0 --- inspect 2.0   2.0   370 20    0     0      error (invalid witness file) 0 --- inspect .67 .41 42 0   0      error (2) 0 --- inspect .022 .023 5.6 0     0   error (invalid witness file) 0 --- inspect .95 .62 47 0      0      error (invalid witness file) 0 --- inspect .0013 .0015 .39 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c timeout (verification) 0 --- inspect 900     900     8400 10000    .020 0      error (invalid witness file) 0 --- inspect .78 .46 40 0   0      error (2) 0 --- inspect .026 .028 5.6 0     0   error (invalid witness file) 0 --- inspect .97 .63 47 0      0      error (invalid witness file) 0 --- inspect .0017 .0022 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c timeout (verification) 0 --- inspect 900     900     2400 12000    .025 0      error (invalid witness file) 0 --- inspect .57 .34 41 0   0      error (2) 0 --- inspect .025 .026 5.6 0     0   error (invalid witness file) 0 --- inspect .90 .59 47 0      0      error (invalid witness file) 0 --- inspect .0014 .0018 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c timeout (verification) 0 --- inspect 900     900     5900 11000    .025 0      error (invalid witness file) 0 --- inspect .80 .49 41 0   0      error (2) 0 --- inspect .021 .023 5.6 0     0   error (invalid witness file) 0 --- inspect .93 .60 47 0      0      error (invalid witness file) 0 --- inspect .0018 .0025 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c error(unknown, verification-finished) 0 --- inspect .75  .74  110 9.5  0     0      error (invalid witness file) 0 --- inspect .60 .38 40 0   0      error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .94 .60 47 0      0      error (invalid witness file) 0 --- inspect .0069 .010  .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c error(unknown, verification-finished) 0 --- inspect 54     54     2800 510    0     0      error (invalid witness file) 0 --- inspect .59 .37 41 0   0      error (2) 0 --- inspect .021 .024 5.6 0     0   error (invalid witness file) 0 --- inspect .93 .59 47 0      0      error (invalid witness file) 0 --- inspect .0050 .0061 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c error(unknown, verification-finished) 0 --- inspect 1.1   1.1   150 11    0     0      error (invalid witness file) 0 --- inspect .67 .42 41 0   0      error (2) 0 --- inspect .025 .027 5.6 0     0   error (invalid witness file) 0 --- inspect .93 .60 46 0      0      error (invalid witness file) 0 --- inspect .0021 .0034 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c error(unknown, verification-finished) 0 --- inspect 70     70     3700 400    0     0      error (invalid witness file) 0 --- inspect .78 .48 40 0   0      error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .93 .62 48 0      0      error (invalid witness file) 0 --- inspect .0053 .0067 .39 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c error(unknown, verification-finished) 0 --- inspect 3.5   3.5   330 32    0     0      error (invalid witness file) 0 --- inspect .71 .43 41 0   0      error (2) 0 --- inspect .021 .023 5.6 0     0   error (invalid witness file) 0 --- inspect .91 .58 47 0      0      error (invalid witness file) 0 --- inspect .0050 .0078 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c error(unknown, cex-confirmation) 0 --- inspect 890     890     1100 12000    0     0      error (invalid witness file) 0 --- inspect .59 .36 40 0   0      error (2) 0 --- inspect .022 .025 5.6 0     0   error (invalid witness file) 0 --- inspect .94 .61 47 0      0      error (invalid witness file) 0 --- inspect .0017 .0022 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c error(unknown, verification-finished) 0 --- inspect 7.8   7.8   350 45    0     0      error (invalid witness file) 0 --- inspect .61 .39 41 0   0      error (2) 0 --- inspect .022 .024 5.6 0     0   error (invalid witness file) 0 --- inspect .91 .59 47 0      0      error (invalid witness file) 0 --- inspect .0042 .0054 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c timeout (verification) 0 --- inspect 900     900     1200 11000    .025 0      error (invalid witness file) 0 --- inspect .72 .44 40 0   0      error (2) 0 --- inspect .022 .023 5.6 0     0   error (invalid witness file) 0 --- inspect .93 .62 47 0      0      error (invalid witness file) 0 --- inspect .0016 .0021 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c error(unknown, verification-finished) 0 --- inspect 12     12     700 67    0     0      error (invalid witness file) 0 --- inspect .58 .36 41 0   0      error (2) 0 --- inspect .022 .024 5.6 0     0   error (invalid witness file) 0 --- inspect 1.1  .69 47 0      0      error (invalid witness file) 0 --- inspect .0054 .0066 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c timeout (verification) 0 --- inspect 900     900     1600 10000    .025 0      error (invalid witness file) 0 --- inspect .62 .38 41 0   0      error (2) 0 --- inspect .023 .025 5.6 0     0   error (invalid witness file) 0 --- inspect .93 .59 47 0      0      error (invalid witness file) 0 --- inspect .0037 .0049 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c timeout (verification) 0 --- inspect 900     900     1200 13000    .025 4.8    error (invalid witness file) 0 --- inspect .67 .42 41 0   0      error (2) 0 --- inspect .021 .022 5.7 0     0   error (invalid witness file) 0 --- inspect .95 .62 47 0      0      error (invalid witness file) 0 --- inspect .0031 .0038 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c timeout (verification) 0 --- inspect 900     900     1200 13000    .025 0      error (invalid witness file) 0 --- inspect .57 .35 40 0   0      error (2) 0 --- inspect .020 .021 5.6 0     0   error (invalid witness file) 0 --- inspect 1.0  .65 47 0      0      error (invalid witness file) 0 --- inspect .0048 .0053 .40 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c error(unknown, verification-finished) 0 --- inspect 1.2   1.2   180 14    0     0      error (invalid witness file) 0 --- inspect .75 .46 40 0   0      error (2) 0 --- inspect .022 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .94 .60 47 0      0      error (invalid witness file) 0 --- inspect .0019 .0027 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c timeout (verification) 0 --- inspect 900     900     460 12000    .025 0      error (invalid witness file) 0 --- inspect .59 .36 40 0   0      error (2) 0 --- inspect .023 .024 5.6 0     0   error (invalid witness file) 0 --- inspect .92 .61 47 0      0      error (invalid witness file) 0 --- inspect .0017 .0021 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c error(unknown, verification-finished) 0 --- inspect 2.4   2.4   260 30    0     0      error (invalid witness file) 0 --- inspect .78 .48 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .95 .61 48 0      0      error (invalid witness file) 0 --- inspect .0017 .0023 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c error(unknown, cex-confirmation) 0 --- inspect 150     150     280 2200    0     0      error (invalid witness file) 0 --- inspect .58 .36 40 0   0      error (2) 0 --- inspect .022 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .92 .59 47 0      0      error (invalid witness file) 0 --- inspect .0051 .0066 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c timeout (verification) 0 --- inspect 900     900     4700 6300    .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 40 0   0     error (2) 0 --- inspect .026 .027 5.6 0    0     
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     4600 7700    .033 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .48 42 0   0     error (2) 0 --- inspect .027 .027 5.6 0    0     
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout (verification) 0 --- inspect 900     900     4500 7800    .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .40 40 0   0     error (2) 0 --- inspect .025 .026 5.6 0    0     
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     4300 7600    .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .41 42 0   0     error (2) 0 --- inspect .027 .027 5.6 0    0     
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 16     16     25 210    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 42    32    550 0   0     out of memory 0 --- inspect 170     110     7000   .66 .016 
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     120 12000    .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 40 0   0     error (2) 0 --- inspect .026 .028 5.7 0    0     
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout (verification) 0 --- inspect 900     900     1500 10000    .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .39 40 0   0     error (2) 0 --- inspect .028 .029 5.7 0    0     
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     1600 12000    .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .45 41 0   0     error (2) 0 --- inspect .026 .028 5.7 0    0     
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout (verification) 0 --- inspect 900     900     3700 9800    .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .36 41 0   0     error (2) 0 --- inspect .020 .021 5.6 0    0     
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     3800 10000    .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 40 0   0     error (2) 0 --- inspect .027 .028 5.8 0    0     
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .55  .55  18 6.3  0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 20    13    490 0   0     out of memory 0 --- inspect 230     150     7000   .71 0     
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     500 15000    .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .38 41 0   0     error (2) 0 --- inspect .024 .025 5.7 0    0     
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect 1.2   1.2   20 15    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 76    64    570 0   0     out of memory 0 --- inspect 220     140     7000   .65 0     
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     1000 10000    .033 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .37 41 0   0     error (2) 0 --- inspect .027 .027 5.6 0    0     
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 4.1   4.1   32 55    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 270    260    750 0   0     out of memory 0 --- inspect 150     98     7000   .65 0     
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     1700 11000    .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .38 41 0   0     error (2) 0 --- inspect .020 .021 5.6 0    0     
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c true 1 wit inspect 23     23     97 320    0     .28   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    1100 0   .69  out of memory 0 --- inspect 150     94     7000   .64 0     
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     2300 12000    .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .47 40 0   0     error (2) 0 --- inspect .022 .022 5.6 0    0     
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .50  .49  17 7.6  0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 18    11    440 0   0     timeout 0 --- inspect 960     890     3900   .63 0     
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     220 14000    .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .45 40 0   0     error (2) 0 --- inspect .022 .024 5.7 0    0     
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect 1.2   1.2   18 14    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 32    24    520 0   0     out of memory 0 --- inspect 250     170     7000   1.4  .049 
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     420 12000    .041 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .47 40 0   0     error (2) 0 --- inspect .021 .022 5.6 0    0     
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 4.2   4.2   21 51    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 88    78    620 0   0     out of memory 0 --- inspect 210     150     7000   .64 0     
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     770 11000    .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .47 41 0   0     error (2) 0 --- inspect .025 .026 5.6 0    0     
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c true 2 wit inspect 18     18     36 270    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 260    250    740 0   0     out of memory 0 --- inspect 280     200     7000   .65 0     
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     1300 11000    .033 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     
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c true 1 wit inspect 83     83     110 850    0     0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    1100 0   0     out of memory 0 --- inspect 320     220     7000   .63 .0082
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     1700 12000    .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .37 41 0   0     error (2) 0 --- inspect .024 .025 5.6 0    0     
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c true 1 wit inspect 400     400     390 5100    0     0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    1400 0   0     out of memory 0 --- inspect 150     100     7000   1.6  0     
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     1400 12000    .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .40 41 0   0     error (2) 0 --- inspect .023 .024 5.7 0    0     
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 17     17     26 250    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 34    27    540 0   0     out of memory 0 --- inspect 140     93     7000   .66 0     
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     120 12000    .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 42 0   0     error (2) 0 --- inspect .021 .022 5.6 0    0     
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout (verification) 0 --- inspect 900     900     1600 11000    .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .45 42 0   0     error (2) 0 --- inspect .022 .023 5.7 0    0     
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout (verification) 0 --- inspect 900     900     1700 11000    .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .40 42 0   0     error (2) 0 --- inspect .021 .022 5.6 0    0     
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout (verification) 0 --- inspect 900     900     3800 9100    .033 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 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 (verification) 0 --- inspect 900     900     3700 9100    .033 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 42 0   0     error (2) 0 --- inspect .022 .023 5.6 0    0     
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c error(unknown, verification-finished) 0 --- inspect 1.1   1.1   180 13    0     0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .47 41 0   0     error (2) 0 --- inspect .026 .027 5.7 0    0     
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c error(unknown, verification-finished) 0 --- inspect 75     75     4500 300    0     0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .42 42 0   0     error (2) 0 --- inspect .022 .022 5.6 0    0     
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c error(unknown, verification-finished) 0 --- inspect 1.9   1.9   370 19    0     0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .38 42 0   0     error (2) 0 --- inspect .021 .022 5.6 0    0     
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c error(unknown, verification-finished) 0 --- inspect 98     98     8400 590    0     0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .44 41 0   0     error (2) 0 --- inspect .026 .027 5.7 0    0     
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c timeout (verification) 0 --- inspect 900     900     2400 11000    .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .40 40 0   0     error (2) 0 --- inspect .026 .027 5.6 0    0     
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c timeout (verification) 0 --- inspect 900     900     2400 12000    .020 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .49 41 0   0     error (2) 0 --- inspect .022 .022 5.6 0    0     
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c timeout (verification) 0 --- inspect 900     900     5900 13000    .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .36 41 0   0     error (2) 0 --- inspect .026 .027 5.6 0    0     
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c timeout (verification) 0 --- inspect 900     900     12000 11000    .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .36 40 0   0     error (2) 0 --- inspect .021 .022 5.7 0    0     
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c error(unknown, verification-finished) 0 --- inspect .77  .76  110 9.1  0     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     
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c error(unknown, verification-finished) 0 --- inspect 64     64     2800 320    0     0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .36 41 0   0     error (2) 0 --- inspect .027 .028 5.5 0    0     
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c error(unknown, verification-finished) 0 --- inspect .77  .76  110 9.6  0     0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .41 40 0   0     error (2) 0 --- inspect .026 .027 5.6 0    0     
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c error(unknown, verification-finished) 0 --- inspect 64     64     2900 330    0     4.7    - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .47 42 0   0     error (2) 0 --- inspect .022 .023 5.6 0    0     
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c error(unknown, verification-finished) 0 --- inspect 1.0   1.0   150 14    0     0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 41 0   0     error (2) 0 --- inspect .022 .022 5.6 0    0     
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c error(unknown, verification-finished) 0 --- inspect 73     73     3700 490    0     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/rekh_aso_true-unreach-call.1.M1.c error(unknown, verification-finished) 0 --- inspect 3.4   3.4   330 34    0     0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .44 41 0   0     error (2) 0 --- inspect .027 .028 5.6 0    0     
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c timeout (verification) 0 --- inspect 900     900     850 12000    .020 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .41 42 0   0     error (2) 0 --- inspect .026 .027 5.6 0    0     
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c error(unknown, verification-finished) 0 --- inspect 12     12     700 70    0     0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 40 0   0     error (2) 0 --- inspect .021 .021 5.6 0    0     
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c timeout (verification) 0 --- inspect 900     900     1700 10000    .020 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .44 43 0   0     error (2) 0 --- inspect .026 .026 5.6 0    0     
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c error(unknown, verification-finished) 0 --- inspect 12     12     700 59    0     0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 40 0   0     error (2) 0 --- inspect .022 .022 5.6 0    0     
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c timeout (verification) 0 --- inspect 900     900     1800 12000    .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .38 40 0   0     error (2) 0 --- inspect .026 .027 5.6 0    0     
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c timeout (verification) 0 --- inspect 900     900     1200 11000    .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .37 41 0   0     error (2) 0 --- inspect .052 .056 5.5 0    0     
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c timeout (verification) 0 --- inspect 900     900     1200 13000    .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .43 42 0   0     error (2) 0 --- inspect .024 .026 5.6 0    0     
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c timeout (verification) 0 --- inspect 900     900     1200 12000    .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 41 0   0     error (2) 0 --- inspect .027 .029 5.6 0    0     
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c timeout (verification) 0 --- inspect 900     900     1200 13000    .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .43 40 0   0     error (2) 0 --- inspect .021 .022 5.6 0    0     
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c error(unknown, verification-finished) 0 --- inspect 1.2   1.2   180 12    0     0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .47 41 0   0     error (2) 0 --- inspect .027 .028 5.6 0    0     
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c timeout (verification) 0 --- inspect 900     900     460 12000    .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .40 41 0   0     error (2) 0 --- inspect .021 .022 5.6 0    0     
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c error(unknown, verification-finished) 0 --- inspect 1.7   1.7   200 18    0     0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 41 0   0     error (2) 0 --- inspect .022 .022 5.6 0    0     
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c timeout (verification) 0 --- inspect 900     900     420 11000    .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .42 41 0   0     error (2) 0 --- inspect .021 .023 5.6 0    0     
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c error(unknown, verification-finished) 0 --- inspect 2.5   2.5   260 26    0     0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .40 41 0   0     error (2) 0 --- inspect .022 .023 5.6 0    0     
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c timeout (verification) 0 --- inspect 900     900     470 12000    .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .44 41 0   0     error (2) 0 --- inspect .021 .021 5.6 0    0     
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 3.7   3.7   19 52    0     0      false(unreach-call) 1 wit inspect 6.2  3.3  280 0   0      true -32 --- inspect 8.3   4.8   310   .62  0   false(unreach-call) 1 --- inspect 4.6  2.6  270 0      0      error (2) 0 --- inspect .64   .64   20    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect .54  .54  25 7.4  0     0      false(unreach-call) 1 wit inspect 7.1  3.8  280 0   0      true -32 --- inspect 12     7.0   410   .62  0   false(unreach-call) 1 --- inspect 6.6  3.6  280 0      0      error (2) 0 --- inspect .79   .79   20    .25  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 4.8   4.8   21 66    0     0      false(unreach-call) 1 wit inspect 7.5  3.9  290 0   0      true -32 --- inspect 11     6.5   360   .62  0   false(unreach-call) 1 --- inspect 5.4  3.0  270 0      0      error (2) 0 --- inspect .77   .76   20    .20  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2800    .12  0      error (invalid witness file) 0 --- inspect .61 .37 42 0   0      error (2) 0 --- inspect .022 .024 5.6 0     0   error (invalid witness file) 0 --- inspect .96 .62 47 0      0      error (invalid witness file) 0 --- inspect .0050 .0060 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect .71  .71  25 9.0  0     0      false(unreach-call) 1 wit inspect 8.5  4.5  280 0   0      true -32 --- inspect 13     7.4   410   .62  0   false(unreach-call) 1 --- inspect 5.7  3.2  270 0      0      error (2) 0 --- inspect .80   .80   21    .25  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 3.9   3.9   22 52    0     0      false(unreach-call) 1 wit inspect 8.0  4.3  270 0   0      true -32 --- inspect 12     6.6   360   .62  0   false(unreach-call) 1 --- inspect 6.0  3.4  270 0      0      error (2) 0 --- inspect .76   .76   20    .20  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 1.5   1.5   18 20    0     0      false(unreach-call) 1 wit inspect 7.0  3.7  260 0   0      true -32 --- inspect 8.9   5.0   310   .62  0   false(unreach-call) 1 --- inspect 4.7  2.7  260 0      0      error (2) 0 --- inspect .64   .64   20    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect .51  .50  18 6.1  0     0      false(unreach-call) 1 wit inspect 7.4  4.0  270 0   0      true -32 --- inspect 11     6.2   330   .62  0   false(unreach-call) 1 --- inspect 5.1  2.9  270 0      0      error (2) 0 --- inspect .70   .70   20    .17  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 2.1   2.1   19 28    0     0      false(unreach-call) 1 wit inspect 7.4  4.0  280 0   0      true -32 --- inspect 11     6.3   320   .66  0   false(unreach-call) 1 --- inspect 5.1  2.9  270 0      0      error (2) 0 --- inspect .69   .69   20    .16  .020  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect .40  .40  18 5.6  0     .28   false(unreach-call) 1 wit inspect 5.7  3.1  280 0   0      true -32 --- inspect 8.8   5.4   320   .62  0   false(unreach-call) 1 --- inspect 5.2  2.9  260 0      0      error (2) 0 --- inspect .66   .66   20    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect .52  .51  17 6.7  0     0      false(unreach-call) 1 wit inspect 6.3  3.4  270 0   0      true -32 --- inspect 10     5.8   320   .62  0   false(unreach-call) 1 --- inspect 5.3  2.9  270 0      0      error (2) 0 --- inspect .74   .74   20    .18  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 2.1   2.1   19 22    0     0      false(unreach-call) 1 wit inspect 6.2  3.3  280 0   0      true -32 --- inspect 9.7   5.5   320   .62  0   false(unreach-call) 1 --- inspect 5.0  2.8  270 0      .020  error (2) 0 --- inspect .70   .71   20    .16  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 4.3   4.3   20 66    0     0      false(unreach-call) 1 wit inspect 6.7  3.6  270 0   0      true -32 --- inspect 9.0   5.5   310   .62  0   false(unreach-call) 1 --- inspect 4.7  2.7  260 0      0      error (2) 0 --- inspect .65   .65   20    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect .67  .66  25 8.5  0     0      false(unreach-call) 1 wit inspect 7.1  3.8  290 0   0      true -32 --- inspect 13     7.7   410   .62  0   false(unreach-call) 1 --- inspect 7.1  3.9  270 0      0      error (2) 0 --- inspect .79   .79   20    .25  .037  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 14     14     23 180    0     0      false(unreach-call) 1 wit inspect 8.7  4.6  280 0   0      true -32 --- inspect 11     6.2   360   .62  0   false(unreach-call) 1 --- inspect 5.4  3.0  270 0      0      error (2) 0 --- inspect .74   .74   21    .20  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect .43  .42  17 4.8  0     0      false(unreach-call) 1 wit inspect 6.2  3.3  280 0   0      true -32 --- inspect 8.8   5.4   320   .62  0   false(unreach-call) 1 --- inspect 5.0  2.8  260 0      .016  error (2) 0 --- inspect .68   .68   20    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect .78  .77  25 9.5  0     0      false(unreach-call) 1 wit inspect 7.4  3.9  290 0   0      true -32 --- inspect 12     6.9   420   .12  0   false(unreach-call) 1 --- inspect 5.5  3.0  270 0      .037  error (2) 0 --- inspect .81   .80   20    .25  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 7.2   7.2   22 88    0     .63   false(unreach-call) 1 wit inspect 8.9  4.7  290 0   0      true -32 --- inspect 11     6.9   360   .62  0   false(unreach-call) 1 --- inspect 5.5  3.1  270 0      0      error (2) 0 --- inspect .74   .73   21    .20  .029  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 4.7   4.7   20 60    0     0      false(unreach-call) 1 wit inspect 6.2  3.3  280 0   0      true -32 --- inspect 8.9   5.4   310   .62  0   false(unreach-call) 1 --- inspect 5.7  3.2  260 0      .016  error (2) 0 --- inspect .66   .66   20    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect .74  .73  24 9.1  0     .28   false(unreach-call) 1 wit inspect 8.2  4.3  280 0   0      true -32 --- inspect 13     7.1   410   .62  0   false(unreach-call) 1 --- inspect 5.8  3.2  260 0      1.6    error (2) 0 --- inspect .80   .80   20    .25  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 17     17     24 170    0     0      false(unreach-call) 1 wit inspect 7.1  3.8  290 0   0      true -32 --- inspect 11     6.2   370   .62  0   false(unreach-call) 1 --- inspect 5.2  2.9  270 0      0      error (2) 0 --- inspect .73   .73   20    .20  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2800    .22  0      error (invalid witness file) 0 --- inspect .61 .38 41 0   0      error (2) 0 --- inspect .022 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .96 .62 49 0      0      error (invalid witness file) 0 --- inspect .0018 .0023 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect .72  .71  26 10    0     0      false(unreach-call) 1 wit inspect 8.2  4.4  280 0   0      true -32 --- inspect 13     7.8   400   .62  0   false(unreach-call) 1 --- inspect 5.7  3.2  280 0      0      error (2) 0 --- inspect .80   .80   20    .25  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 230     240     15000 3400    .13  0      error (invalid witness file) 0 --- inspect .60 .36 40 0   0      error (2) 0 --- inspect .021 .023 5.6 0     0   error (invalid witness file) 0 --- inspect .94 .60 47 0      0      error (invalid witness file) 0 --- inspect .0019 .0024 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 41     41     25 580    0     0      false(unreach-call) 1 wit inspect 9.7  5.1  390 0   0      true -32 --- inspect 11     6.1   360   .62  0   false(unreach-call) 1 --- inspect 5.6  3.1  260 0      0      error (2) 0 --- inspect .77   .76   21    .21  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 1.3   1.2   59 17    0     0      false(unreach-call) 1 wit inspect 12    6.3  390 0   0      true -32 --- inspect 20     11     520   .62  0   unknown 0 --- inspect 7.6  4.2  300 0      2.3    error (1) 0 --- inspect 1.0    1.0    21    .090 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 61     61     38 770    0     0      false(unreach-call) 1 wit inspect 9.5  5.0  380 0   0      true -32 --- inspect 15     9.3   520   .62  0   unknown 0 --- inspect 7.2  3.9  280 0      .066  error (1) 0 --- inspect .84   .83   21    .066 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2300    .082 0      error (invalid witness file) 0 --- inspect .65 .39 43 0   0      error (2) 0 --- inspect .024 .025 5.6 0     0   error (invalid witness file) 0 --- inspect .98 .64 47 0      0      error (invalid witness file) 0 --- inspect .0050 .0063 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 13     13     63 170    0     0      false(unreach-call) 1 wit inspect 11    5.7  410 0   0      true -32 --- inspect 19     11     480   .62  0   unknown 0 --- inspect 7.6  4.1  310 0      0      error (1) 0 --- inspect 1.0    1.0    21    .090 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 49     49     40 680    0     0      false(unreach-call) 1 wit inspect 8.8  4.7  360 0   0      true -32 --- inspect 16     9.2   520   .62  0   unknown 0 --- inspect 7.0  3.9  290 0      0      error (1) 0 --- inspect .87   .87   21    .066 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 15     15     140 240    0     0      false(unreach-call) 1 wit inspect 7.5  4.0  350 0   .0041 true -32 --- inspect 11     6.8   370   .62  0   false(unreach-call) 1 --- inspect 5.8  3.2  280 0      0      error (2) 0 --- inspect .74   .74   20    .21  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 4.8   4.8   130 71    0     0      false(unreach-call) 1 wit inspect 8.5  4.5  340 0   0      true -32 --- inspect 15     8.6   470   .12  0   unknown 0 --- inspect 6.3  3.5  280 0      0      error (1) 0 --- inspect .83   .83   21    .057 .057  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 9.0   9.0   130 110    0     0      false(unreach-call) 1 wit inspect 11    5.7  330 0   0      true -32 --- inspect 15     8.8   470   .62  0   unknown 0 --- inspect 6.6  3.6  280 0      0      error (1) 0 --- inspect .79   .79   21    .053 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 3.8   3.8   110 48    0     5.1    false(unreach-call) 1 wit inspect 7.7  4.1  350 0   0      true -32 --- inspect 12     7.0   360   .62  0   false(unreach-call) 1 --- inspect 5.5  3.1  280 0      0      error (2) 0 --- inspect .80   .82   21    .21  .033  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 4.8   4.8   130 71    0     0      false(unreach-call) 1 wit inspect 9.0  4.7  350 0   0      true -32 --- inspect 15     9.0   510   .62  0   unknown 0 --- inspect 6.7  3.7  270 0      0      error (1) 0 --- inspect .79   .79   21    .057 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 9.1   9.1   130 110    0     0      false(unreach-call) 1 wit inspect 9.3  4.9  340 0   0      true -32 --- inspect 15     8.9   460   .62  0   unknown 0 --- inspect 6.4  3.5  280 0      0      error (1) 0 --- inspect .78   .78   21    .053 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 32     32     140 410    0     0      false(unreach-call) 1 wit inspect 8.3  4.4  410 0   0      true -32 --- inspect 11     6.4   360   .62  0   false(unreach-call) 1 --- inspect 5.2  2.9  280 0      0      error (2) 0 --- inspect .77   .76   20    .21  .033  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 5.4   5.4   150 75    0     0      false(unreach-call) 1 wit inspect 12    6.3  420 0   0      true -32 --- inspect 18     11     500   .62  0   unknown 0 --- inspect 9.6  5.2  300 0      0      error (1) 0 --- inspect 1.0    1.0    21    .090 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 55     55     170 720    0     0      false(unreach-call) 1 wit inspect 11    5.7  390 0   0      true -32 --- inspect 16     9.1   530   .62  0   unknown 0 --- inspect 6.9  3.7  280 0      0      error (1) 0 --- inspect .88   .88   21    .066 .066  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 3.8   3.8   110 48    0     0      false(unreach-call) 1 wit inspect 11    6.0  410 0   0      true -32 --- inspect 12     6.7   370   .62  0   false(unreach-call) 1 --- inspect 7.2  3.9  270 0      0      error (2) 0 --- inspect .77   .77   21    .21  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 6.4   6.4   140 90    0     0      false(unreach-call) 1 wit inspect 13    6.7  410 0   .090  true -32 --- inspect 19     11     480   .62  0   unknown 0 --- inspect 8.4  4.5  310 0      0      error (1) 0 --- inspect 1.0    1.0    21    .090 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 36     36     150 510    0     0      false(unreach-call) 1 wit inspect 9.1  4.8  390 0   0      true -32 --- inspect 16     9.4   520   .62  0   unknown 0 --- inspect 6.9  3.8  280 0      0      error (1) 0 --- inspect .85   .85   21    .066 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 74     74     140 980    0     0      false(unreach-call) 1 wit inspect 8.7  4.6  380 0   0      true -32 --- inspect 11     6.5   360   .62  0   false(unreach-call) 1 --- inspect 5.4  3.1  270 0      0      error (2) 0 --- inspect .78   .78   21    .21  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 17     17     150 220    0     0      false(unreach-call) 1 wit inspect 10    5.4  420 0   0      true -32 --- inspect 18     11     520   .62  0   unknown 0 --- inspect 7.4  4.0  300 0      0      error (1) 0 --- inspect 1.0    1.0    21    .090 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 410     410     320 5200    0     0      false(unreach-call) 1 wit inspect 12    6.1  400 0   0      true -32 --- inspect 17     9.7   500   .62  0   unknown 0 --- inspect 8.2  4.5  290 0      0      error (1) 0 --- inspect .84   .84   21    .066 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2300    .11  0      error (invalid witness file) 0 --- inspect .77 .46 40 0   0      error (2) 0 --- inspect .020 .021 5.6 0     0   error (invalid witness file) 0 --- inspect .94 .59 47 0      0      error (invalid witness file) 0 --- inspect .0054 .0064 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 230     240     15000 3400    .082 0      error (invalid witness file) 0 --- inspect .64 .39 42 0   0      error (2) 0 --- inspect .023 .023 5.6 0     0   error (invalid witness file) 0 --- inspect .95 .61 47 0      0      error (invalid witness file) 0 --- inspect .0051 .0066 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 300     300     15000 4300    .12  0      error (invalid witness file) 0 --- inspect .61 .37 42 0   0      error (2) 0 --- inspect .022 .023 5.6 0     0   error (invalid witness file) 0 --- inspect .95 .62 48 0      0      error (invalid witness file) 0 --- inspect .0046 .0057 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 790     790     2700 10000    0     0      false(unreach-call) 1 wit inspect 13    6.6  480 0   0      true -32 --- inspect 16     9.1   530   .62  0   false(unreach-call) 1 --- inspect 8.7  4.8  290 0      0      error (2) 0 --- inspect .90   .90   21    .38  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c timeout (verification) 0 --- inspect 900     900     56 12000    .012 0      error (invalid witness file) 0 --- inspect .67 .42 40 0   0      error (2) 0 --- inspect .020 .021 5.6 0     0   error (invalid witness file) 0 --- inspect .92 .59 47 0      0      error (invalid witness file) 0 --- inspect .0063 .0077 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 300     300     2700 3800    0     0      false(unreach-call) 1 wit inspect 11    5.9  460 0   0      true -32 --- inspect 14     8.5   460   .62  0   false(unreach-call) 1 --- inspect 6.4  3.5  280 0      .070  error (2) 0 --- inspect .92   .92   21    .38  .070  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c error(returned 1, before-instr) 0 --- inspect .088 .089 15 .98 0     0      error (invalid witness file) 0 --- inspect .63 .38 41 0   0      error (2) 0 --- inspect .021 .021 5.6 0     0   error (invalid witness file) 0 --- inspect .94 .63 48 0      0      error (invalid witness file) 0 --- inspect .0055 .0069 .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(returned 1, before-instr) 0 --- inspect .080 .081 14 .88 0     0      error (invalid witness file) 0 --- inspect .76 .47 42 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 .0054 .0069 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 270     270     2700 3300    0     .28   false(unreach-call) 1 wit inspect 12    6.6  450 0   0      true -32 --- inspect 14     8.5   510   .62  0   false(unreach-call) 1 --- inspect 6.6  3.6  290 0      0      error (2) 0 --- inspect .94   .94   21    .39  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error(returned 1, before-instr) 0 --- inspect .095 .11  19 .78 0     4.7    error (invalid witness file) 0 --- inspect .57 .35 42 0   0      error (2) 0 --- inspect .022 .024 5.6 0     0   error (invalid witness file) 0 --- inspect .94 .61 46 0      0      error (invalid witness file) 0 --- inspect .0038 .0050 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error(returned 1, before-instr) 0 --- inspect .085 .085 15 .95 0     0      error (invalid witness file) 0 --- inspect .71 .42 40 0   0      error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .97 .62 48 0      0      error (invalid witness file) 0 --- inspect .0050 .0062 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 310     310     2700 4100    0     0      false(unreach-call) 1 wit inspect 12    6.3  470 0   0      true -32 --- inspect 14     8.1   460   .62  0   false(unreach-call) 1 --- inspect 7.0  3.8  290 0      .21   error (2) 0 --- inspect .94   .94   21    .38  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 310     310     2800 4200    0     0      false(unreach-call) 1 wit inspect 18    9.1  490 0   .13   true -32 --- inspect 22     13     500   .62  0   unknown 0 --- inspect 9.4  5.1  330 0      0      error (1) 0 --- inspect 1.1    1.1    22    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c error(returned 1, before-instr) 0 --- inspect .085 .085 15 .92 0     0      error (invalid witness file) 0 --- inspect .61 .36 41 0   0      error (2) 0 --- inspect .021 .021 5.6 0     0   error (invalid witness file) 0 --- inspect .93 .59 48 0      0      error (invalid witness file) 0 --- inspect .0039 .0050 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 770     780     2900 9700    0     .28   false(unreach-call) 1 wit inspect 14    7.4  430 0   0      true -32 --- inspect 15     8.7   500   .62  0   false(unreach-call) 1 --- inspect 8.0  4.3  280 0      0      error (2) 0 --- inspect .92   .92   21    .38  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c timeout (verification) 0 --- inspect 900     900     2900 11000    .025 0      error (invalid witness file) 0 --- inspect .72 .45 41 0   0      error (2) 0 --- inspect .022 .023 5.6 0     0   error (invalid witness file) 0 --- inspect .94 .62 47 0      0      error (invalid witness file) 0 --- inspect .0016 .0019 .41 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 .74  .73  18 10    0     0      false(unreach-call) 1 wit inspect 5.7  3.1  270 0   0      true -32 --- inspect 8.0   5.0   310   .62  0   false(unreach-call) 1 --- inspect 4.4  2.5  260 0      0      error (2) 0 --- inspect .65   .65   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 false(unreach-call) 1 wit inspect .87  .86  19 13    0     0      false(unreach-call) 1 wit inspect 7.9  4.3  280 0   0      true -32 --- inspect 13     7.8   460   .62  0   false(unreach-call) 1 --- inspect 7.0  3.9  280 0      .18   error (2) 0 --- inspect .89   .88   20    .41  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 false(unreach-call) 1 wit inspect 1.2   1.2   18 15    0     0      false(unreach-call) 1 wit inspect 6.0  3.3  280 0   0      true -32 --- inspect 8.8   5.4   320   .62  0   false(unreach-call) 1 --- inspect 4.7  2.7  260 0      0      error (2) 0 --- inspect .66   .66   20    .13  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 false(unreach-call) 1 wit inspect 1.8   1.8   24 23    0     0      false(unreach-call) 1 wit inspect 13    6.5  420 0   0      true -32 --- inspect 20     12     530   .62  0   false(unreach-call) 1 --- inspect 8.5  4.8  370 0      0      error (2) 0 --- inspect 1.3    1.3    28    .82  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2500    .16  .0041 error (invalid witness file) 0 --- inspect .62 .37 41 0   0      error (2) 0 --- inspect .022 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .93 .61 47 0      0      error (invalid witness file) 0 --- inspect .0048 .0059 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2300    .13  0      error (invalid witness file) 0 --- inspect .62 .38 41 0   0      error (2) 0 --- inspect .024 .025 5.6 0     0   error (invalid witness file) 0 --- inspect 1.0  .66 47 0      0      error (invalid witness file) 0 --- inspect .0053 .0066 .53 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 probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2200    .21  0      error (invalid witness file) 0 --- inspect .76 .46 42 0   0      error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .91 .59 48 0      0      error (invalid witness file) 0 --- inspect .0053 .0074 .52 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 probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 230     240     15000 3400    .082 0      error (invalid witness file) 0 --- inspect .58 .35 41 0   0      error (2) 0 --- inspect .022 .023 5.7 0     0   error (invalid witness file) 0 --- inspect .93 .59 47 0      0      error (invalid witness file) 0 --- inspect .0045 .0059 .52 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 .43  .43  18 5.0  0     0      false(unreach-call) 1 wit inspect 5.9  3.3  260 0   .0082 true -32 --- inspect 7.9   4.9   310   .10  0   false(unreach-call) 1 --- inspect 4.6  2.6  250 0      0      error (2) 0 --- inspect .65   .65   20    .090 .0082 - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect .68  .68  19 8.5  0     0      false(unreach-call) 1 wit inspect 6.9  3.7  280 0   0      true -32 --- inspect 14     8.3   460   .62  0   false(unreach-call) 1 --- inspect 7.3  4.1  270 0      2.2    error (2) 0 --- inspect .89   .89   20    .40  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 false(unreach-call) 1 wit inspect 1.3   1.3   18 16    0     0      false(unreach-call) 1 wit inspect 6.1  3.2  270 0   .016  true -32 --- inspect 9.6   5.8   310   .62  0   false(unreach-call) 1 --- inspect 4.5  2.6  260 0      .016  error (2) 0 --- inspect .67   .67   20    .070 .016  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 1.2   1.2   23 15    0     0      false(unreach-call) 1 wit inspect 13    6.6  390 0   0      true -32 --- inspect 18     10     540   .62  0   false(unreach-call) 1 --- inspect 7.1  4.0  370 0      0      error (2) 0 --- inspect 1.3    1.3    27    .79  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) 1 wit inspect .30  .30  17 4.1  0     0      false(unreach-call) 1 wit inspect 6.9  3.8  260 0   0      true -32 --- inspect 8.5   4.7   320   .62  0   false(unreach-call) 1 --- inspect 4.3  2.4  260 0      0      error (2) 0 --- inspect .64   .64   20    .090 .0082 - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect .49  .48  18 6.3  0     0      false(unreach-call) 1 wit inspect 6.5  3.4  290 0   0      true -32 --- inspect 13     7.9   440   .62  0   false(unreach-call) 1 --- inspect 5.8  3.2  270 0      0      error (2) 0 --- inspect .88   .89   20    .39  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect .35  .35  18 4.0  0     0      false(unreach-call) 1 wit inspect 5.8  3.1  270 0   0      true -32 --- inspect 9.0   5.5   310   .62  0   false(unreach-call) 1 --- inspect 4.5  2.5  260 0      0      error (2) 0 --- inspect .65   .65   20    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect .88  .87  22 11    0     0      false(unreach-call) 1 wit inspect 8.7  4.8  370 0   0      true -32 --- inspect 17     9.8   520   .62  0   false(unreach-call) 1 --- inspect 7.0  4.0  360 0      0      error (2) 0 --- inspect 1.2    1.2    25    .72  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 false(unreach-call) 1 wit inspect 7.0   7.0   21 86    0     0      false(unreach-call) 1 wit inspect 7.8  4.1  300 0   0      true -32 --- inspect 12     6.9   380   .62  0   false(unreach-call) 1 --- inspect 5.2  2.9  270 0      0      error (2) 0 --- inspect .75   .75   20    .24  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 false(unreach-call) 1 wit inspect 1.7   1.7   19 20    0     0      false(unreach-call) 1 wit inspect 6.9  3.7  300 0   0      true -32 --- inspect 8.0   4.5   310   .62  0   false(unreach-call) 1 --- inspect 4.9  2.8  260 0      0      error (2) 0 --- inspect .63   .63   20    .11  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 false(unreach-call) 1 wit inspect 3.2   3.2   29 39    0     0      false(unreach-call) 1 wit inspect 14    7.4  540 0   0      true -32 --- inspect 20     12     540   .57  0   false(unreach-call) 1 --- inspect 9.6  5.1  450 0      0      error (2) 0 --- inspect 1.5    1.5    34    1.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 false(unreach-call) 1 wit inspect 4.1   4.1   20 53    0     0      false(unreach-call) 1 wit inspect 7.3  3.9  290 0   0      true -32 --- inspect 9.3   5.3   320   .62  0   false(unreach-call) 1 --- inspect 4.7  2.6  260 0      0      error (2) 0 --- inspect .66   .66   20    .14  .016  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 8.6   8.6   44 120    0     0      false(unreach-call) 1 wit inspect 37    24    1700 0   0      true -32 --- inspect 30     18     840   .62  0   false(unreach-call) 1 --- inspect 24    15    1700 0      0      error (2) 0 --- inspect 2.9    2.9    70    2.7   0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2700    .090 0      error (invalid witness file) 0 --- inspect .69 .43 41 0   0      error (2) 0 --- inspect .026 .027 5.8 0     0   error (invalid witness file) 0 --- inspect 1.2  .81 47 0      0      error (invalid witness file) 0 --- inspect .0042 .0053 .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 probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 240     240     15000 3400    .16  .0041 error (invalid witness file) 0 --- inspect .58 .35 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .92 .59 47 0      0      error (invalid witness file) 0 --- inspect .0044 .0079 .53 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 probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2900    .17  0      error (invalid witness file) 0 --- inspect .81 .50 42 0   0      error (2) 0 --- inspect .024 .025 5.7 0     0   error (invalid witness file) 0 --- inspect .97 .62 48 0      .0082 error (invalid witness file) 0 --- inspect .0064 .0084 .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 probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 230     240     15000 3300    .12  0      error (invalid witness file) 0 --- inspect .71 .43 42 0   0      error (2) 0 --- inspect .025 .026 5.6 0     0   error (invalid witness file) 0 --- inspect .92 .59 47 0      0      error (invalid witness file) 0 --- inspect .0038 .0050 .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 false(unreach-call) 1 wit inspect .76  .75  18 9.6  0     0      false(unreach-call) 1 wit inspect 7.8  4.1  290 0   0      true -32 --- inspect 8.5   4.8   310   .62  0   false(unreach-call) 1 --- inspect 4.5  2.5  260 0      0      error (2) 0 --- inspect .63   .63   20    .11  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 false(unreach-call) 1 wit inspect 1.6   1.6   24 20    0     0      false(unreach-call) 1 wit inspect 10    5.5  320 0   0      true -32 --- inspect 15     8.7   520   .62  0   false(unreach-call) 1 --- inspect 6.1  3.4  280 0      0      error (2) 0 --- inspect 1.0    1.0    21    .54  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 false(unreach-call) 1 wit inspect 3.8   3.8   20 52    0     0      false(unreach-call) 1 wit inspect 6.9  3.7  280 0   0      true -32 --- inspect 9.6   5.4   310   .62  0   false(unreach-call) 1 --- inspect 4.8  2.7  270 0      0      error (2) 0 --- inspect .66   .66   20    .14  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 false(unreach-call) 1 wit inspect 2.9   2.9   35 44    0     0      false(unreach-call) 1 wit inspect 14    7.9  710 0   0      true -32 --- inspect 28     16     580   .62  0   false(unreach-call) 1 --- inspect 9.9  5.7  680 0      0      error (2) 0 --- inspect 1.8    1.8    40    1.3   0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect .33  .32  17 3.7  0     0      false(unreach-call) 1 wit inspect 7.8  4.2  270 0   0      true -32 --- inspect 8.4   4.8   310   .62  0   false(unreach-call) 1 --- inspect 4.5  2.5  260 0      0      error (2) 0 --- inspect .64   .64   20    .11  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect .66  .66  22 7.9  0     0      false(unreach-call) 1 wit inspect 8.2  4.4  280 0   0      true -32 --- inspect 15     9.1   520   .62  0   false(unreach-call) 1 --- inspect 8.0  4.4  290 0      0      error (2) 0 --- inspect 1.0    1.0    21    .54  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect .36  .36  18 4.6  0     0      false(unreach-call) 1 wit inspect 6.4  3.5  290 0   0      true -32 --- inspect 9.3   5.6   310   .62  0   false(unreach-call) 1 --- inspect 4.7  2.7  260 0      0      error (2) 0 --- inspect .69   .68   20    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 1.9   1.9   31 22    0     .28   false(unreach-call) 1 wit inspect 15    7.9  690 0   0      true -32 --- inspect 24     14     590   .62  0   false(unreach-call) 1 --- inspect 11    6.1  670 0      0      error (2) 0 --- inspect 1.7    1.7    39    1.3   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 false(unreach-call) 1 wit inspect 3.4   3.4   25 49    0     .28   false(unreach-call) 1 wit inspect 9.9  5.3  340 0   0      true -32 --- inspect 9.1   5.6   320   .62  0   false(unreach-call) 1 --- inspect 5.4  3.0  260 0      0      error (2) 0 --- inspect .67   .67   20    .12  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 false(unreach-call) 1 wit inspect 12     12     59 160    0     0      false(unreach-call) 1 wit inspect 35    25    2000 0   0      true -32 --- inspect 33     19     870   .62  0   false(unreach-call) 1 --- inspect 27    19    2000 0      0      error (2) 0 --- inspect 3.2    3.2    85    4.5   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 false(unreach-call) 1 wit inspect 12     12     29 170    0     0      false(unreach-call) 1 wit inspect 9.4  5.0  340 0   .020  true -32 --- inspect 10     6.2   340   .62  0   false(unreach-call) 1 --- inspect 5.0  2.8  270 0      .020  error (2) 0 --- inspect .69   .70   20    .16  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect .36  .35  17 5.0  0     0      false(unreach-call) 1 wit inspect 9.1  4.8  320 0   0      true -32 --- inspect 9.1   5.2   310   .62  0   false(unreach-call) 1 --- inspect 5.6  3.2  260 0      0      error (2) 0 --- inspect .64   .64   20    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 290     300     15000 3800    .10  .0041 error (invalid witness file) 0 --- inspect .73 .45 42 0   0      error (2) 0 --- inspect .023 .024 5.6 0     0   error (invalid witness file) 0 --- inspect .91 .59 47 0      .029  error (invalid witness file) 0 --- inspect .0050 .0063 .53 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 false(unreach-call) 1 wit inspect .41  .41  18 4.8  0     0      false(unreach-call) 1 wit inspect 7.8  4.1  320 0   0      true -32 --- inspect 9.5   5.4   320   .62  0   false(unreach-call) 1 --- inspect 5.9  3.3  260 0      .020  error (2) 0 --- inspect .68   .68   20    .16  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 false(unreach-call) 1 wit inspect 5.9   5.9   24 71    0     0      false(unreach-call) 1 wit inspect 9.6  5.1  340 0   0      true -32 --- inspect 11     6.7   390   .62  0   false(unreach-call) 1 --- inspect 5.0  2.8  270 0      0      error (2) 0 --- inspect .77   .77   20    .23  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 false(unreach-call) 1 wit inspect 1.4   1.4   20 19    0     0      false(unreach-call) 1 wit inspect 9.5  5.1  300 0   0      true -32 --- inspect 8.8   5.4   310   .62  0   false(unreach-call) 1 --- inspect 4.6  2.6  260 0      .012  error (2) 0 --- inspect .65   .65   20    .12  .012  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 7.0   7.0   42 81    0     0      false(unreach-call) 1 wit inspect 15    7.8  730 0   0      true -32 --- inspect 22     13     680   .62  0   false(unreach-call) 1 --- inspect 9.5  5.5  680 0      .23   error (2) 0 --- inspect 1.8    1.8    43    .76  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 false(unreach-call) 1 wit inspect 13     13     30 170    0     0      false(unreach-call) 1 wit inspect 7.4  3.9  330 0   0      true -32 --- inspect 9.9   5.7   320   .62  0   false(unreach-call) 1 --- inspect 4.9  2.7  270 0      0      error (2) 0 --- inspect .67   .67   21    .15  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 false(unreach-call) 1 wit inspect 19     19     75 250    0     0      false(unreach-call) 1 wit inspect 66    54    4100 0   0      true -32 --- inspect 44     26     1000   .62  0   false(unreach-call) 1 --- inspect 52    41    4000 0      .72   error (2) 0 --- inspect 4.7    4.7    110    6.1   0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2100    .24  0      error (invalid witness file) 0 --- inspect .59 .37 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .94 .60 47 0      0      error (invalid witness file) 0 --- inspect .0036 .0041 .40 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 probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 290     300     15000 4500    .11  .0041 error (invalid witness file) 0 --- inspect .57 .36 41 0   0      error (2) 0 --- inspect .023 .025 5.6 0     0   error (invalid witness file) 0 --- inspect .95 .62 47 0      0      error (invalid witness file) 0 --- inspect .0053 .0073 .52 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 probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2400    .13  0      error (invalid witness file) 0 --- inspect .60 .36 42 0   0      error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .93 .60 47 0      0      error (invalid witness file) 0 --- inspect .0057 .0073 .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 probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 290     300     15000 3600    .082 0      error (invalid witness file) 0 --- inspect .66 .40 40 0   0      error (2) 0 --- inspect .024 .025 5.6 0     0   error (invalid witness file) 0 --- inspect .91 .60 48 0      0      error (invalid witness file) 0 --- inspect .0061 .0078 .53 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 false(unreach-call) 1 wit inspect 7.3   7.3   44 83    0     0      false(unreach-call) 1 wit inspect 8.5  4.5  400 0   0      true -32 --- inspect 9.7   5.5   310   .62  0   false(unreach-call) 1 --- inspect 4.5  2.6  250 0      0      error (2) 0 --- inspect .65   .65   20    .13  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 false(unreach-call) 1 wit inspect 43     43     62 620    0     0      false(unreach-call) 1 wit inspect 12    6.1  410 0   0      true -32 --- inspect 10     6.2   330   .62  0   false(unreach-call) 1 --- inspect 5.0  2.8  280 0      0      error (2) 0 --- inspect .71   .71   20    .18  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 3000    .16  0      error (invalid witness file) 0 --- inspect .66 .42 40 0   0      error (2) 0 --- inspect .024 .025 5.6 0     0   error (invalid witness file) 0 --- inspect .93 .62 48 0      0      error (invalid witness file) 0 --- inspect .0044 .0059 .40 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 probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2400    .14  0      error (invalid witness file) 0 --- inspect .70 .42 41 0   0      error (2) 0 --- inspect .021 .023 5.6 0     0   error (invalid witness file) 0 --- inspect .98 .64 47 0      0      error (invalid witness file) 0 --- inspect .0052 .0063 .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 false(unreach-call) 1 wit inspect 23     23     47 280    0     .28   false(unreach-call) 1 wit inspect 11    5.6  410 0   0      true -32 --- inspect 13     7.2   410   .62  0   false(unreach-call) 1 --- inspect 6.5  3.6  270 0      0      error (2) 0 --- inspect .80   .80   20    .26  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 false(unreach-call) 1 wit inspect 11     11     39 180    0     0      false(unreach-call) 1 wit inspect 8.0  4.2  370 0   0      true -32 --- inspect 9.4   5.4   320   .62  0   false(unreach-call) 1 --- inspect 4.9  2.8  260 0      0      error (2) 0 --- inspect .66   .66   20    .13  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 false(unreach-call) 1 wit inspect 32     32     53 430    0     0      false(unreach-call) 1 wit inspect 10    5.3  410 0   0      true -32 --- inspect 10     5.7   320   .62  0   false(unreach-call) 1 --- inspect 4.9  2.8  270 0      0      error (2) 0 --- inspect .72   .72   21    .17  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect .39  .39  18 5.2  0     0      false(unreach-call) 1 wit inspect 7.7  4.0  360 0   0      true -32 --- inspect 9.1   5.1   310   .62  0   false(unreach-call) 1 --- inspect 4.8  2.7  270 0      0      error (2) 0 --- inspect .68   .68   20    .13  .016  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect .44  .44  20 5.4  0     0      false(unreach-call) 1 wit inspect 10    5.5  360 0   0      true -32 --- inspect 11     5.9   320   .66  0   false(unreach-call) 1 --- inspect 5.2  2.9  260 0      0      error (2) 0 --- inspect .72   .72   20    .17  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 .64  .64  18 7.8  0     0      false(unreach-call) 1 wit inspect 5.6  3.1  270 0   0      true -32 --- inspect 8.0   4.9   310   .62  0   false(unreach-call) 1 --- inspect 4.0  2.3  250 0      0      error (2) 0 --- inspect .61   .61   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 .59  .58  18 8.5  0     0      false(unreach-call) 1 wit inspect 6.2  3.3  280 0   0      true -32 --- inspect 10     5.9   340   .62  0   false(unreach-call) 1 --- inspect 5.0  2.8  270 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) 1 wit inspect .56  .56  18 6.6  0     .28   false(unreach-call) 1 wit inspect 5.7  3.0  270 0   0      true -32 --- inspect 8.4   5.2   310   .62  0   false(unreach-call) 1 --- inspect 4.6  2.5  260 0      0      error (2) 0 --- inspect .64   .64   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 .69  .68  17 8.3  0     0      false(unreach-call) 1 wit inspect 6.7  3.6  280 0   0      true -32 --- inspect 11     6.7   350   .62  0   false(unreach-call) 1 --- inspect 5.1  2.9  270 0      0      error (2) 0 --- inspect .78   .80   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) 1 wit inspect .28  .27  18 3.5  0     0      false(unreach-call) 1 wit inspect 5.8  3.2  270 0   0      true -32 --- inspect 7.9   4.9   310   .62  0   false(unreach-call) 1 --- inspect 4.0  2.3  250 0      0      error (2) 0 --- inspect .64   .64   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 .37  .37  18 4.6  0     0      false(unreach-call) 1 wit inspect 6.1  3.3  280 0   0      true -32 --- inspect 10     6.2   320   .62  0   false(unreach-call) 1 --- inspect 4.6  2.6  260 0      0      error (2) 0 --- inspect .70   .70   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) 1 wit inspect .30  .29  18 3.5  0     0      false(unreach-call) 1 wit inspect 5.9  3.2  270 0   0      true -32 --- inspect 8.6   4.9   310   .62  0   false(unreach-call) 1 --- inspect 4.5  2.6  260 0      0      error (2) 0 --- inspect .65   .64   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) 1 wit inspect .40  .39  18 4.5  0     0      false(unreach-call) 1 wit inspect 6.3  3.4  280 0   0      true -32 --- inspect 11     6.6   330   .62  0   false(unreach-call) 1 --- inspect 4.7  2.7  260 0      0      error (2) 0 --- inspect .75   .75   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 1.8   1.8   18 22    0     0      false(unreach-call) 1 wit inspect 7.2  3.9  280 0   0      true -32 --- inspect 8.5   4.7   310   .62  0   false(unreach-call) 1 --- inspect 4.2  2.4  260 0      0      error (2) 0 --- inspect .65   .66   21    .090 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 1.3   1.3   19 18    0     0      false(unreach-call) 1 wit inspect 8.8  4.7  320 0   0      true -32 --- inspect 13     7.5   400   .62  0   false(unreach-call) 1 --- inspect 5.5  3.0  280 0      0      error (2) 0 --- inspect .82   .82   20    .29  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 1.4   1.4   18 20    0     0      false(unreach-call) 1 wit inspect 8.1  4.3  280 0   0      true -32 --- inspect 8.7   4.9   310   .62  0   false(unreach-call) 1 --- inspect 4.6  2.6  270 0      0      error (2) 0 --- inspect .64   .64   20    .12  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 1.6   1.6   18 20    0     0      false(unreach-call) 1 wit inspect 9.2  4.9  320 0   0      true -32 --- inspect 14     8.5   480   .62  0   false(unreach-call) 1 --- inspect 5.7  3.2  280 0      0      error (2) 0 --- inspect .91   .91   20    .41  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect .32  .32  18 4.0  0     0      false(unreach-call) 1 wit inspect 7.6  4.1  270 0   0      true -32 --- inspect 8.1   4.5   310   .62  0   false(unreach-call) 1 --- inspect 4.2  2.4  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 false(unreach-call) 1 wit inspect .43  .43  18 5.3  0     0      false(unreach-call) 1 wit inspect 7.9  4.2  290 0   0      true -32 --- inspect 12     7.3   400   .62  0   false(unreach-call) 1 --- inspect 5.7  3.1  270 0      .045  error (2) 0 --- inspect .83   .83   20    .30  .045  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect .33  .33  18 3.7  0     0      false(unreach-call) 1 wit inspect 6.5  3.5  280 0   0      true -32 --- inspect 8.7   4.9   310   .62  0   false(unreach-call) 1 --- inspect 4.5  2.5  250 0      0      error (2) 0 --- inspect .65   .65   20    .12  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect .55  .55  18 8.1  0     0      false(unreach-call) 1 wit inspect 8.5  4.6  290 0   0      true -32 --- inspect 15     8.6   470   .62  0   false(unreach-call) 1 --- inspect 5.7  3.2  270 0      0      error (2) 0 --- inspect .91   .91   21    .39  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c false(unreach-call) 1 wit inspect 3.8   3.8   20 53    0     0      false(unreach-call) 1 wit inspect 9.0  4.8  340 0   0      true -32 --- inspect 9.7   5.4   320   .62  0   false(unreach-call) 1 --- inspect 4.8  2.7  260 0      0      error (2) 0 --- inspect .69   .70   20    .16  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 5.4   5.4   21 83    0     0      false(unreach-call) 1 wit inspect 7.4  4.0  340 0   0      true -32 --- inspect 8.1   5.0   310   .62  0   false(unreach-call) 1 --- inspect 4.5  2.5  260 0      0      error (2) 0 --- inspect .64   .63   20    .11  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 4.2   4.1   20 60    0     0      false(unreach-call) 1 wit inspect 12    6.5  410 0   0      true -32 --- inspect 16     9.4   520   .62  0   false(unreach-call) 1 --- inspect 6.2  3.5  270 0      0      error (2) 0 --- inspect 1.0    1.0    21    .53  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 4.9   4.9   20 73    0     0      false(unreach-call) 1 wit inspect 8.4  4.5  340 0   0      true -32 --- inspect 9.5   5.5   310   .62  0   false(unreach-call) 1 --- inspect 5.9  3.3  260 0      0      error (2) 0 --- inspect .66   .66   20    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 6.2   6.2   24 75    0     0      false(unreach-call) 1 wit inspect 11    5.8  550 0   0      true -32 --- inspect 19     11     500   .62  0   false(unreach-call) 1 --- inspect 7.1  4.0  390 0      .91   error (2) 0 --- inspect 1.3    1.4    29    .82  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c false(unreach-call) 1 wit inspect .45  .44  19 5.9  0     0      false(unreach-call) 1 wit inspect 7.9  4.2  340 0   0      true -32 --- inspect 11     6.3   360   .62  0   false(unreach-call) 1 --- inspect 5.7  3.2  270 0      0      error (2) 0 --- inspect .75   .75   20    .21  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect .32  .32  18 3.8  0     0      false(unreach-call) 1 wit inspect 8.0  4.3  320 0   0      true -32 --- inspect 8.5   4.8   320   .62  0   false(unreach-call) 1 --- inspect 4.4  2.5  260 0      0      error (2) 0 --- inspect .67   .66   20    .11  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect .63  .62  20 8.8  0     0      false(unreach-call) 1 wit inspect 11    5.7  370 0   0      true -32 --- inspect 16     9.7   520   .62  0   false(unreach-call) 1 --- inspect 6.3  3.5  280 0      0      error (2) 0 --- inspect 1.0    1.0    21    .53  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect .35  .35  17 4.9  0     0      false(unreach-call) 1 wit inspect 8.2  4.3  330 0   0      true -32 --- inspect 9.4   5.3   310   .62  0   false(unreach-call) 1 --- inspect 4.7  2.7  270 0      0      error (2) 0 --- inspect .67   .67   20    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect .96  .95  23 11    0     0      false(unreach-call) 1 wit inspect 13    6.9  450 0   0      true -32 --- inspect 18     11     560   .62  0   false(unreach-call) 1 --- inspect 6.9  3.9  370 0      0      error (2) 0 --- inspect 1.3    1.3    27    .76  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.p+lhb-reducer.c false(unreach-call) 1 wit inspect 20     20     29 250    0     0      false(unreach-call) 1 wit inspect 11    5.7  440 0   0      true -32 --- inspect 12     7.0   390   .62  0   false(unreach-call) 1 --- inspect 5.7  3.1  270 0      0      error (2) 0 --- inspect .78   .78   20    .24  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 17     17     32 220    0     0      false(unreach-call) 1 wit inspect 10    5.3  390 0   0      true -32 --- inspect 8.7   4.9   310   .62  0   false(unreach-call) 1 --- inspect 4.7  2.6  270 0      0      error (2) 0 --- inspect .65   .65   20    .11  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 14     14     26 170    0     0      false(unreach-call) 1 wit inspect 13    7.0  590 0   0      true -32 --- inspect 21     12     550   .62  0   false(unreach-call) 1 --- inspect 7.8  4.4  440 0      0      error (2) 0 --- inspect 1.5    1.5    35    .97  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 16     16     27 220    0     0      false(unreach-call) 1 wit inspect 9.4  4.9  420 0   0      true -32 --- inspect 9.3   5.3   320   .62  0   false(unreach-call) 1 --- inspect 4.8  2.7  270 0      0      error (2) 0 --- inspect .70   .70   20    .15  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 14     14     35 190    0     0      false(unreach-call) 1 wit inspect 24    14    1200 0   0      true -32 --- inspect 32     18     780   .62  0   false(unreach-call) 1 --- inspect 12    7.2  910 0      0      error (2) 0 --- inspect 2.3    2.3    53    1.7   0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c false(unreach-call) 1 wit inspect .45  .44  18 4.8  0     0      false(unreach-call) 1 wit inspect 9.0  4.8  440 0   0      true -32 --- inspect 10     6.2   320   .62  0   false(unreach-call) 1 --- inspect 5.0  2.8  270 0      0      error (2) 0 --- inspect .71   .71   20    .18  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect .38  .38  18 5.9  0     0      false(unreach-call) 1 wit inspect 8.1  4.3  390 0   .13   true -32 --- inspect 9.2   5.7   310   .62  0   false(unreach-call) 1 --- inspect 4.3  2.4  260 0      0      error (2) 0 --- inspect .65   .64   20    .11  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 1.1   1.1   24 15    0     0      false(unreach-call) 1 wit inspect 13    6.8  580 0   0      true -32 --- inspect 20     12     530   .62  0   false(unreach-call) 1 --- inspect 7.7  4.4  410 0      0      error (2) 0 --- inspect 1.5    1.5    34    .97  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 230     240     15000 3200    .15  .0041 error (invalid witness file) 0 --- inspect .67 .42 41 0   0      error (2) 0 --- inspect .021 .024 5.6 0     0   error (invalid witness file) 0 --- inspect 1.1  .74 46 0      0      error (invalid witness file) 0 --- inspect .0056 .0070 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 2.3   2.3   32 27    0     0      false(unreach-call) 1 wit inspect 20    11    970 0   0      true -32 --- inspect 26     15     740   .62  0   false(unreach-call) 1 --- inspect 14    8.3  840 0      0      error (2) 0 --- inspect 2.2    2.2    50    1.8   0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 49     49     68 670    0     0      false(unreach-call) 1 wit inspect 9.9  5.3  450 0   0      true -32 --- inspect 9.1   5.1   310   .62  0   false(unreach-call) 1 --- inspect 4.9  2.8  260 0      0      error (2) 0 --- inspect .68   .68   20    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 30     30     71 380    0     0      false(unreach-call) 1 wit inspect 22    13    1200 0   0      true -32 --- inspect 27     16     780   .62  0   false(unreach-call) 1 --- inspect 14    8.5  950 0      0      error (2) 0 --- inspect 2.4    2.4    61    2.3   0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 55     55     60 780    0     0      false(unreach-call) 1 wit inspect 11    5.7  440 0   0      true -32 --- inspect 10     5.6   320   .62  0   false(unreach-call) 1 --- inspect 5.0  2.8  270 0      0      error (2) 0 --- inspect .70   .70   20    .16  .020  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 41     41     63 500    0     0      false(unreach-call) 1 wit inspect 64    47    3500 0   0      true -32 --- inspect 42     25     1000   .62  0   false(unreach-call) 1 --- inspect 43    33    3400 0      .65   error (2) 0 --- inspect 4.4    4.4    100    5.8   0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2400    .15  0      error (invalid witness file) 0 --- inspect .57 .36 41 0   0      error (2) 0 --- inspect .022 .023 5.7 0     0   error (invalid witness file) 0 --- inspect .94 .62 47 0      0      error (invalid witness file) 0 --- inspect .0017 .0021 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 2.8   2.8   82 42    0     0      false(unreach-call) 1 wit inspect 18    11    1100 0   0      true -32 --- inspect 28     16     770   .62  0   false(unreach-call) 1 --- inspect 12    7.3  890 0      0      error (2) 0 --- inspect 2.4    2.4    59    1.9   0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect .41  .41  19 5.2  0     0      false(unreach-call) 1 wit inspect 9.1  4.9  450 0   0      true -32 --- inspect 9.8   5.5   330   .62  0   false(unreach-call) 1 --- inspect 5.2  3.0  270 0      2.9    error (2) 0 --- inspect .70   .71   20    .16  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 7.4   7.4   52 98    0     0      false(unreach-call) 1 wit inspect 50    37    3200 0   0      true -32 --- inspect 39     23     1000   .62  0   false(unreach-call) 1 --- inspect 35    26    3200 0      0      error (2) 0 --- inspect 4.2    4.1    97    5.2   0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 140     140     180 1900    0     0      false(unreach-call) 1 wit inspect 10    5.5  450 0   0      true -32 --- inspect 9.0   5.5   320   .62  0   false(unreach-call) 1 --- inspect 4.9  2.8  270 0      0      error (2) 0 --- inspect .68   .68   20    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 130     130     170 1700    0     0      false(unreach-call) 1 wit inspect 62    47    3800 0   0      true -32 --- inspect 38     22     1000   .62  0   false(unreach-call) 1 --- inspect 37    27    3600 0      0      error (2) 0 --- inspect 4.4    4.4    110    5.6   0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 170     170     150 2200    0     0      false(unreach-call) 1 wit inspect 11    5.6  440 0   0      true -32 --- inspect 10     6.2   320   .62  0   false(unreach-call) 1 --- inspect 5.2  2.9  270 0      0      error (2) 0 --- inspect .72   .72   21    .17  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect .42  .41  18 5.8  0     0      false(unreach-call) 1 wit inspect 10    5.4  450 0   0      true -32 --- inspect 9.1   5.5   310   .62  0   false(unreach-call) 1 --- inspect 4.8  2.7  260 0      .016  error (2) 0 --- inspect .70   .69   21    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 7.4   7.4   160 85    0     0      false(unreach-call) 1 wit inspect 44    32    2900 0   .57   true -32 --- inspect 37     22     1000   .62  0   false(unreach-call) 1 --- inspect 28    20    2800 0      0      error (2) 0 --- inspect 4.2    4.2    110    5.7   0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect .46  .45  20 5.3  0     0      false(unreach-call) 1 wit inspect 10    5.4  440 0   0      true -32 --- inspect 10     5.8   330   .62  0   false(unreach-call) 1 --- inspect 5.2  2.9  270 0      0      error (2) 0 --- inspect .71   .71   21    .17  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 21     21     25 300    0     0      false(unreach-call) 1 wit inspect 6.1  3.3  270 0   0      true -32 --- inspect 8.9   5.1   310   .62  0   false(unreach-call) 1 --- inspect 6.2  3.5  260 0      0      error (2) 0 --- inspect .66   .66   21    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect .61  .61  26 7.2  0     0      false(unreach-call) 1 wit inspect 7.9  4.2  290 0   0      true -32 --- inspect 12     7.3   430   .62  0   false(unreach-call) 1 --- inspect 6.5  3.6  270 0      0      error (2) 0 --- inspect .82   .82   20    .26  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 27     27     27 320    0     0      false(unreach-call) 1 wit inspect 7.5  4.0  280 0   0      true -32 --- inspect 12     7.1   370   .62  0   false(unreach-call) 1 --- inspect 5.4  3.0  270 0      0      error (2) 0 --- inspect .75   .75   20    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2600    .12  0      error (invalid witness file) 0 --- inspect .58 .36 41 0   0      error (2) 0 --- inspect .021 .023 5.6 0     0   error (invalid witness file) 0 --- inspect 1.1  .68 48 0      0      error (invalid witness file) 0 --- inspect .0062 .0088 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect .78  .78  27 8.9  0     0      false(unreach-call) 1 wit inspect 8.0  4.2  280 0   0      true -32 --- inspect 12     6.7   430   .62  0   false(unreach-call) 1 --- inspect 5.9  3.3  280 0      .14   error (2) 0 --- inspect .83   .83   20    .26  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 21     21     25 300    0     0      false(unreach-call) 1 wit inspect 8.5  4.5  290 0   0      true -32 --- inspect 12     7.2   380   .62  0   false(unreach-call) 1 --- inspect 5.4  3.0  260 0      0      error (2) 0 --- inspect .76   .77   20    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 2.9   2.9   19 39    0     0      false(unreach-call) 1 wit inspect 6.1  3.3  280 0   0      true -32 --- inspect 8.9   5.1   310   .62  0   false(unreach-call) 1 --- inspect 4.8  2.7  260 0      0      error (2) 0 --- inspect .65   .65   20    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 2.3   2.3   18 35    0     0      false(unreach-call) 1 wit inspect 6.2  3.3  280 0   0      true -32 --- inspect 9.9   6.0   330   .62  0   false(unreach-call) 1 --- inspect 5.2  2.9  270 0      0      error (2) 0 --- inspect .70   .70   20    .17  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect .44  .43  18 5.5  0     0      false(unreach-call) 1 wit inspect 7.1  3.8  280 0   0      true -32 --- inspect 9.1   5.2   310   .62  0   false(unreach-call) 1 --- inspect 4.7  2.6  270 0      0      error (2) 0 --- inspect .67   .67   21    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect .57  .56  19 8.3  0     0      false(unreach-call) 1 wit inspect 6.4  3.5  280 0   0      true -32 --- inspect 11     6.1   350   .62  0   false(unreach-call) 1 --- inspect 5.6  3.1  270 0      0      error (2) 0 --- inspect .71   .71   20    .18  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 1.8   1.8   19 20    0     0      false(unreach-call) 1 wit inspect 6.1  3.3  270 0   0      true -32 --- inspect 10     6.1   320   .62  0   false(unreach-call) 1 --- inspect 5.4  3.0  270 0      0      error (2) 0 --- inspect .72   .72   20    .17  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 2.5   2.5   20 33    0     0      false(unreach-call) 1 wit inspect 6.8  3.7  280 0   0      true -32 --- inspect 8.9   5.1   320   .62  0   false(unreach-call) 1 --- inspect 4.8  2.7  260 0      0      error (2) 0 --- inspect .65   .65   20    .13  .016  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect .72  .72  26 8.6  0     0      false(unreach-call) 1 wit inspect 9.1  4.9  280 0   0      true -32 --- inspect 13     7.6   430   .62  0   false(unreach-call) 1 --- inspect 5.8  3.2  270 0      .041  error (2) 0 --- inspect .81   .81   21    .26  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 13     13     23 180    0     0      false(unreach-call) 1 wit inspect 7.1  3.7  280 0   0      true -32 --- inspect 12     6.4   390   .62  0   false(unreach-call) 1 --- inspect 5.3  2.9  260 0      0      error (2) 0 --- inspect .75   .75   21    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect .45  .44  18 5.5  0     0      false(unreach-call) 1 wit inspect 6.5  3.4  280 0   0      true -32 --- inspect 9.0   5.1   310   .62  0   false(unreach-call) 1 --- inspect 4.6  2.6  270 0      0      error (2) 0 --- inspect .70   .70   20    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect .89  .90  32 11    0     4.9    false(unreach-call) 1 wit inspect 7.4  4.0  290 0   0      true -32 --- inspect 13     7.8   430   .62  0   false(unreach-call) 1 --- inspect 5.9  3.3  270 0      0      error (2) 0 --- inspect .82   .82   21    .27  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 6.2   6.2   23 84    0     0      false(unreach-call) 1 wit inspect 7.6  4.0  290 0   0      true -32 --- inspect 12     6.7   390   .62  0   false(unreach-call) 1 --- inspect 5.6  3.1  270 0      0      error (2) 0 --- inspect .77   .77   20    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 8.0   8.0   22 110    0     0      false(unreach-call) 1 wit inspect 8.1  4.3  270 0   0      true -32 --- inspect 8.8   5.0   320   .62  0   false(unreach-call) 1 --- inspect 4.9  2.7  260 0      0      error (2) 0 --- inspect .65   .65   20    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 1.6   1.6   26 19    0     0      false(unreach-call) 1 wit inspect 8.8  4.6  290 0   .041  true -32 --- inspect 12     7.0   430   .62  0   false(unreach-call) 1 --- inspect 5.7  3.2  280 0      0      error (2) 0 --- inspect .81   .81   20    .26  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 25     25     29 370    0     0      false(unreach-call) 1 wit inspect 6.5  3.5  290 0   0      true -32 --- inspect 11     6.5   380   .62  0   false(unreach-call) 1 --- inspect 5.7  3.2  280 0      0      error (2) 0 --- inspect .74   .74   20    .21  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2300    .13  0      error (invalid witness file) 0 --- inspect .77 .45 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .97 .64 48 0      0      error (invalid witness file) 0 --- inspect .0015 .0017 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 230     240     15000 3100    .14  .0041 error (invalid witness file) 0 --- inspect .72 .43 41 0   0      error (2) 0 --- inspect .022 .023 5.6 0     0   error (invalid witness file) 0 --- inspect .98 .63 47 0      0      error (invalid witness file) 0 --- inspect .0056 .0073 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 230     240     15000 3600    .14  .0041 error (invalid witness file) 0 --- inspect .59 .37 41 0   0      error (2) 0 --- inspect .023 .024 5.6 0     0   error (invalid witness file) 0 --- inspect .93 .60 49 0      0      error (invalid witness file) 0 --- inspect .0016 .0020 .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 (verification) 0 --- inspect 900     900     480 13000    .025 0      error (invalid witness file) 0 --- inspect .75 .46 40 0   0      error (2) 0 --- inspect .021 .021 5.6 0     0   error (invalid witness file) 0 --- inspect .95 .63 48 0      0      error (invalid witness file) 0 --- inspect .0046 .0057 .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 timeout (verification) 0 --- inspect 900     900     540 12000    .025 0      error (invalid witness file) 0 --- inspect .77 .47 42 0   0      error (2) 0 --- inspect .025 .028 5.7 0     0   error (invalid witness file) 0 --- inspect .94 .62 48 0      0      error (invalid witness file) 0 --- inspect .0018 .0023 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2400    .14  0      error (invalid witness file) 0 --- inspect .73 .44 40 0   0      error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .94 .61 47 0      0      error (invalid witness file) 0 --- inspect .0020 .0025 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 4.3   4.3   68 55    0     0      false(unreach-call) 1 wit inspect 11    5.8  470 0   0      true -32 --- inspect 20     11     490   .62  0   unknown 0 --- inspect 8.3  4.5  340 0      0      error (1) 0 --- inspect 1.1    1.1    21    .098 .098  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 320     320     210 4300    0     0      false(unreach-call) 1 wit inspect 13    6.6  430 0   0      true -32 --- inspect 17     9.6   530   .62  0   unknown 0 --- inspect 7.3  4.0  310 0      .73   error (1) 0 --- inspect .93   .93   21    .070 .070  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 17     17     150 220    0     0      false(unreach-call) 1 wit inspect 9.7  5.1  370 0   0      true -32 --- inspect 12     6.8   380   .62  0   false(unreach-call) 1 --- inspect 5.6  3.1  270 0      0      error (2) 0 --- inspect .78   .78   20    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 5.1   5.0   140 68    0     0      false(unreach-call) 1 wit inspect 9.9  5.2  350 0   0      true -32 --- inspect 16     9.2   510   .62  0   unknown 0 --- inspect 6.7  3.7  280 0      0      error (1) 0 --- inspect .86   .86   21    .061 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 7.8   7.8   140 110    0     0      false(unreach-call) 1 wit inspect 10    5.3  360 0   0      true -32 --- inspect 15     9.0   520   .62  0   unknown 0 --- inspect 6.8  3.7  270 0      0      error (1) 0 --- inspect .79   .79   21    .057 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 4.2   4.2   120 52    0     0      false(unreach-call) 1 wit inspect 8.4  4.4  370 0   .29   true -32 --- inspect 12     7.0   370   .62  0   false(unreach-call) 1 --- inspect 7.2  4.0  280 0      0      error (2) 0 --- inspect .75   .75   21    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 5.3   5.3   140 60    0     0      false(unreach-call) 1 wit inspect 12    6.4  370 0   0      true -32 --- inspect 16     9.4   460   .62  0   unknown 0 --- inspect 7.1  3.9  280 0      0      error (1) 0 --- inspect .83   .83   21    .061 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 7.0   7.0   140 100    0     0      false(unreach-call) 1 wit inspect 11    5.9  360 0   0      true -32 --- inspect 15     8.6   460   .62  0   unknown 0 --- inspect 6.4  3.5  280 0      0      error (1) 0 --- inspect .81   .82   21    .057 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 28     28     150 340    0     0      false(unreach-call) 1 wit inspect 9.5  5.1  430 0   0      true -32 --- inspect 11     6.7   380   .62  0   false(unreach-call) 1 --- inspect 6.1  3.3  280 0      0      error (2) 0 --- inspect .75   .75   21    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 6.3   6.3   180 94    0     0      false(unreach-call) 1 wit inspect 15    7.7  490 0   0      true -32 --- inspect 20     11     480   .62  0   unknown 0 --- inspect 8.7  4.7  330 0      0      error (1) 0 --- inspect 1.1    1.1    21    .098 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 54     54     180 660    0     0      false(unreach-call) 1 wit inspect 13    6.9  460 0   0      true -32 --- inspect 17     9.5   500   .62  0   unknown 0 --- inspect 8.3  4.5  310 0      .14   error (1) 0 --- inspect .89   .89   21    .070 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 4.1   4.1   120 49    0     0      false(unreach-call) 1 wit inspect 8.7  4.6  440 0   0      true -32 --- inspect 12     6.4   380   .62  0   false(unreach-call) 1 --- inspect 5.9  3.3  270 0      0      error (2) 0 --- inspect .77   .78   21    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error(returned 1, before-instr) 0 --- inspect .083 .084 14 1.1  0     0      error (invalid witness file) 0 --- inspect .61 .36 41 0   0      error (2) 0 --- inspect .023 .025 5.6 0     0   error (invalid witness file) 0 --- inspect .94 .60 47 0      0      error (invalid witness file) 0 --- inspect .0014 .0016 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error(returned 1, before-instr) 0 --- inspect .088 .090 15 .99 0     0      error (invalid witness file) 0 --- inspect .60 .36 41 0   0      error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .96 .61 47 0      0      error (invalid witness file) 0 --- inspect .0017 .0022 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 59     59     150 770    0     0      false(unreach-call) 1 wit inspect 10    5.5  400 0   0      true -32 --- inspect 11     6.6   370   .62  0   false(unreach-call) 1 --- inspect 5.9  3.3  280 0      0      error (2) 0 --- inspect .75   .75   21    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 12     12     180 170    0     0      false(unreach-call) 1 wit inspect 13    6.6  470 0   0      true -32 --- inspect 20     12     480   .62  0   unknown 0 --- inspect 7.6  4.1  320 0      0      error (1) 0 --- inspect 1.1    1.1    21    .098 .098  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 250     250     260 3700    0     0      false(unreach-call) 1 wit inspect 12    6.2  400 0   0      true -32 --- inspect 15     8.9   510   .62  0   unknown 0 --- inspect 7.0  3.8  290 0      .070  error (1) 0 --- inspect .87   .87   21    .070 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2700    .086 0      error (invalid witness file) 0 --- inspect .58 .35 40 0   0      error (2) 0 --- inspect .021 .024 5.6 0     0   error (invalid witness file) 0 --- inspect 1.1  .72 47 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.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 230     240     15000 3200    .16  0      error (invalid witness file) 0 --- inspect .61 .39 41 0   0      error (2) 0 --- inspect .021 .023 5.6 0     0   error (invalid witness file) 0 --- inspect 1.1  .69 47 0      0      error (invalid witness file) 0 --- inspect .0017 .0020 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 300     300     15000 3700    .14  0      error (invalid witness file) 0 --- inspect .63 .38 40 0   0      error (2) 0 --- inspect .020 .021 5.6 0     0   error (invalid witness file) 0 --- inspect .92 .59 46 0      0      error (invalid witness file) 0 --- inspect .0057 .0079 .53 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 (verification) 0 --- inspect 900     900     2300 12000    .025 0      error (invalid witness file) 0 --- inspect .59 .36 41 0   0      error (2) 0 --- inspect .022 .023 5.6 0     0   error (invalid witness file) 0 --- inspect .94 .61 47 0      0      error (invalid witness file) 0 --- inspect .0018 .0022 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c timeout (verification) 0 --- inspect 900     900     2300 11000    .025 0      error (invalid witness file) 0 --- inspect .58 .37 41 0   0      error (2) 0 --- inspect .023 .024 5.7 0     0   error (invalid witness file) 0 --- inspect 1.1  .73 47 0      0      error (invalid witness file) 0 --- inspect .0042 .0048 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 650     650     2800 10000    0     0      false(unreach-call) 1 wit inspect 14    7.3  460 0   0      true -32 --- inspect 23     13     500   .62  0   unknown 0 --- inspect 9.3  5.1  350 0      0      error (1) 0 --- inspect 1.1    1.1    22    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 300     300     2900 4200    0     0      false(unreach-call) 1 wit inspect 14    7.4  450 0   0      true -32 --- inspect 14     8.6   510   .62  0   false(unreach-call) 1 --- inspect 6.9  3.8  270 0      .070  error (2) 0 --- inspect .96   .98   21    .39  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c error(returned 1, before-instr) 0 --- inspect .085 .085 15 .94 0     0      error (invalid witness file) 0 --- inspect .58 .35 42 0   0      error (2) 0 --- inspect .024 .026 5.6 0     0   error (invalid witness file) 0 --- inspect .93 .61 47 0      0      error (invalid witness file) 0 --- inspect .0014 .0016 .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(returned 1, before-instr) 0 --- inspect .11  .11  15 .92 0     0      error (invalid witness file) 0 --- inspect .60 .37 40 0   0      error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .94 .60 47 0      0      error (invalid witness file) 0 --- inspect .0020 .0026 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 280     280     2700 3800    0     0      false(unreach-call) 1 wit inspect 11    5.9  460 0   0      true -32 --- inspect 15     8.9   460   .62  0   false(unreach-call) 1 --- inspect 8.4  4.6  280 0      0      error (2) 0 --- inspect .94   .94   21    .39  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error(returned 1, before-instr) 0 --- inspect .083 .084 15 .81 0     0      error (invalid witness file) 0 --- inspect .81 .50 42 0   0      error (2) 0 --- inspect .023 .025 5.6 0     0   error (invalid witness file) 0 --- inspect 1.1  .74 47 0      0      error (invalid witness file) 0 --- inspect .0057 .0067 .44 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error(returned 1, before-instr) 0 --- inspect .11  .11  15 .90 0     0      error (invalid witness file) 0 --- inspect .61 .37 40 0   0      error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .93 .60 47 0      0      error (invalid witness file) 0 --- inspect .0018 .0023 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 360     360     2900 3800    0     0      false(unreach-call) 1 wit inspect 16    8.1  470 0   0      true -32 --- inspect 15     8.9   540   .62  0   false(unreach-call) 1 --- inspect 9.0  4.9  280 0      0      error (2) 0 --- inspect .94   .94   21    .40  .074  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 300     300     2600 3500    0     0      false(unreach-call) 1 wit inspect 53    39    3500 0   0      true -32 --- inspect 49     29     1200   .62  0   unknown 0 --- inspect 34    25    3000 0      .59   error (1) 0 --- inspect 3.5    3.5    35    .58  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 280     280     2700 3900    0     0      false(unreach-call) 1 wit inspect 19    9.7  480 0   0      true -32 --- inspect 22     13     630   .62  0   unknown 0 --- inspect 9.0  4.9  380 0      0      error (1) 0 --- inspect 1.2    1.2    22    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c error(returned 1, before-instr) 0 --- inspect .093 .094 15 .85 0     0      error (invalid witness file) 0 --- inspect .73 .44 42 0   0      error (2) 0 --- inspect .020 .021 5.6 0     0   error (invalid witness file) 0 --- inspect .96 .64 48 0      0      error (invalid witness file) 0 --- inspect .0063 .0081 .53 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 (verification) 0 --- inspect 900     900     2900 10000    .029 0      error (invalid witness file) 0 --- inspect .58 .36 41 0   0      error (2) 0 --- inspect .022 .025 5.7 0     0   error (invalid witness file) 0 --- inspect .94 .61 47 0      0      error (invalid witness file) 0 --- inspect .0013 .0019 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c timeout (verification) 0 --- inspect 900     900     2800 12000    .029 0      error (invalid witness file) 0 --- inspect .60 .36 40 0   0      error (2) 0 --- inspect .022 .024 5.6 0     0   error (invalid witness file) 0 --- inspect .93 .59 46 0      0      error (invalid witness file) 0 --- inspect .0061 .0079 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c timeout (verification) 0 --- inspect 900     900     2800 13000    .029 0      error (invalid witness file) 0 --- inspect .61 .36 43 0   0      error (2) 0 --- inspect .022 .024 5.7 0     0   error (invalid witness file) 0 --- inspect .91 .59 48 0      0      error (invalid witness file) 0 --- inspect .0047 .0054 .41 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c true 2 wit inspect 13     13     24 190    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 27    18    490 0   0     out of memory 0 --- inspect 130     81     7000   .70 0     
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c true 2 wit inspect 3.5   3.4   25 51    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 24    17    490 0   0     out of memory 0 --- inspect 560     450     7000   .63 0     
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c true 2 wit inspect 19     19     25 230    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 17    12    470 0   0     out of memory 0 --- inspect 710     590     7000   .72 0     
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2300    .12  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .43 41 0   0     error (2) 0 --- inspect .022 .022 5.6 0    0     
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 230     240     15000 3200    .16  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .48 42 0   0     error (2) 0 --- inspect .020 .022 5.8 0    0     
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 230     240     15000 3600    .18  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .38 40 0   0     error (2) 0 --- inspect .023 .025 5.6 0    0     
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.p+lhb-reducer.c timeout (verification) 0 --- inspect 900     900     530 12000    .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .48 41 0   0     error (2) 0 --- inspect .024 .025 5.6 0    0     
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c timeout (verification) 0 --- inspect 900     900     510 11000    .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .47 41 0   0     error (2) 0 --- inspect .025 .026 5.6 0    0     
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c timeout (verification) 0 --- inspect 900     900     370 12000    .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .40 42 0   0     error (2) 0 --- inspect .027 .028 5.7 0    0     
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 230     240     15000 3900    .16  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.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2100    .23  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 40 0   0     error (2) 0 --- inspect .026 .027 5.7 0    0     
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 230     240     15000 3300    .13  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 41 0   0     error (2) 0 --- inspect .025 .026 5.7 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 .65  .65  18 9.2  0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 16    10    470 0   0     timeout 0 --- inspect 960     860     6800   .69 .0082
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 .80  .80  19 10    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 32    23    620 0   0     out of memory 0 --- inspect 370     280     7000   .67 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 1.4   1.4   18 16    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 14    8.8  450 0   0     out of memory 0 --- inspect 250     170     7000   .72 .016 
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 1.3   1.3   24 18    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 59    49    990 0   0     out of memory 0 --- inspect 200     140     7000   1.5  0     
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2500    .16  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 41 0   0     error (2) 0 --- inspect .025 .026 5.7 0    0     
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2800    .18  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .36 41 0   0     error (2) 0 --- inspect .022 .023 5.6 0    0     
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2500    .20  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 40 0   0     error (2) 0 --- inspect .027 .028 5.7 0    0     
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 230     240     15000 3300    .086 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .47 42 0   0     error (2) 0 --- inspect .023 .024 5.6 0    0     
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c true 2 wit inspect 2.1   2.1   20 27    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 38    31    530 0   0     out of memory 0 --- inspect 150     95     7000   .65 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c true 2 wit inspect 3.7   3.7   30 46    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 160    140    1700 0   0     out of memory 0 --- inspect 210     140     7000   .66 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c true 2 wit inspect 6.1   6.1   21 71    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 34    27    530 0   0     out of memory 0 --- inspect 240     160     7000   .64 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+sep-reducer.c true 2 wit inspect 5.3   5.3   43 71    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 480    450    3200 0   1.1   out of memory 0 --- inspect 240     160     7000   .66 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2300    .12  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 42 0   0     error (2) 0 --- inspect .022 .023 5.6 0    0     
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 230     240     15000 3400    .090 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .47 41 0   0     error (2) 0 --- inspect .022 .023 5.6 0    0     
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2500    .16  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .44 41 0   0     error (2) 0 --- inspect .022 .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 probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 290     300     15000 4200    .12  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .41 41 0   0     error (2) 0 --- inspect .021 .022 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 true 2 wit inspect 34     34     40 500    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 240    240    720 0   0     out of memory 0 --- inspect 150     94     7000   1.4  0     
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c true 2 wit inspect 8.4   8.4   30 110    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 210    200    660 0   0     out of memory 0 --- inspect 160     100     7000   .64 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c true 2 wit inspect 29     29     37 370    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 170    160    630 0   0     out of memory 0 --- inspect 180     120     7000   .63 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2300    .13  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .44 41 0   0     error (2) 0 --- inspect .022 .023 5.7 0    0     
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2400    .20  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 41 0   0     error (2) 0 --- inspect .026 .027 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 true 1 wit inspect 37     37     82 490    0     0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    850 0   0     out of memory 0 --- inspect 160     100     7000   .64 .012 
seq-mthreaded-reduced/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c true 2 wit inspect 170     170     150 2200    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 810    800    780 0   0     out of memory 0 --- inspect 140     89     7000   .66 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2400    .22  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .38 42 0   0     error (2) 0 --- inspect .022 .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 .51  .50  17 6.0  0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 12    7.1  400 0   0     timeout 0 --- inspect 960     860     6700   .74 0     
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c true 2 wit inspect .50  .50  17 6.4  0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 18    9.6  480 0   0     true 2 --- inspect 850     750     4300   .62 0     
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c true 2 wit inspect .47  .47  18 6.0  0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 11    6.0  450 0   0     timeout 0 --- inspect 960     850     6500   .64 0     
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+sep-reducer.c true 2 wit inspect .54  .54  18 6.7  0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 17    10    500 0   0     timeout 0 --- inspect 960     860     5600   .64 0     
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2800    .15  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .40 41 0   0     error (2) 0 --- inspect .026 .028 5.6 0    0     
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2900    .23  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .43 42 0   0     error (2) 0 --- inspect .022 .024 5.6 0    0     
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 180     180     15000 2500    .16  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .35 40 0   0     error (2) 0 --- inspect .026 .028 5.6 0    0     
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2700    .22  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .40 41 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+cfa-reducer.c true 2 wit inspect 1.4   1.4   17 20    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 21    14    500 0   0     timeout 0 --- inspect 960     850     6300   .95 0     
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c true 2 wit inspect 1.3   1.3   18 14    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 29    20    560 0   0     out of memory 0 --- inspect 500     410     7000   .66 0     
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c true 2 wit inspect 1.4   1.4   18 19    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 23    15    490 0   0     out of memory 0 --- inspect 510     410     7000   .71 0     
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+sep-reducer.c true 2 wit inspect 1.5   1.5   19 19    0     .070  - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 27    19    590 0   0     out of memory 0 --- inspect 300     230     7000   .64 0     
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2400    .12  .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .44 40 0   0     error (2) 0 --- inspect .025 .027 5.7 0    0     
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2400    .14  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.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 230     240     15000 3300    .14  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .41 40 0   0     error (2) 0 --- inspect .024 .025 5.5 0    0     
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 3000    .16  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .36 40 0   0     error (2) 0 --- inspect .021 .022 5.6 0    0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c true 2 wit inspect 4.8   4.8   20 58    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 100    94    590 0   0     out of memory 0 --- inspect 390     300     7000   .65 0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c true 2 wit inspect 5.2   5.2   21 68    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 60    51    550 0   0     out of memory 0 --- inspect 200     150     7000   .65 0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c true 2 wit inspect 4.5   4.5   20 57    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 85    74    810 0   0     out of memory 0 --- inspect 400     290     7000   .66 0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c true 2 wit inspect 4.9   4.9   20 58    0     .28   - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 50    42    550 0   0     out of memory 0 --- inspect 280     210     7000   .65 0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+sep-reducer.c true 2 wit inspect 5.1   5.1   22 69    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 120    110    1400 0   0     out of memory 0 --- inspect 290     210     7000   .63 0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2500    .11  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .79 .48 42 0   0     error (2) 0 --- inspect .027 .028 5.6 0    0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2500    .11  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .39 41 0   0     error (2) 0 --- inspect .023 .024 5.6 0    0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 230     240     15000 3200    .16  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .46 40 0   0     error (2) 0 --- inspect .023 .024 5.6 0    0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2500    .11  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .57 .35 40 0   0     error (2) 0 --- inspect .020 .021 5.7 0    0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.p+lhb-reducer.c true 2 wit inspect 18     18     25 270    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 260    250    730 0   0     out of memory 0 --- inspect 280     200     7000   .66 0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c true 2 wit inspect 22     22     35 300    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 200    190    660 0   0     out of memory 0 --- inspect 250     180     7000   .64 0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+lhb-reducer.c true 2 wit inspect 18     18     27 230    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 300    280    1500 0   0     out of memory 0 --- inspect 430     310     7000   .66 0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c true 2 wit inspect 19     19     28 240    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 170    160    640 0   0     out of memory 0 --- inspect 340     250     7000   .65 0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+sep-reducer.c true 2 wit inspect 25     25     41 290    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 510    490    2900 0   0     out of memory 0 --- inspect 390     290     7000   1.4  0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2200    .11  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .40 41 0   0     error (2) 0 --- inspect .026 .027 5.6 0    0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2400    .10  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 41 0   0     error (2) 0 --- inspect .026 .026 5.5 0    0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2400    .11  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .48 41 0   0     error (2) 0 --- inspect .022 .023 5.6 0    0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 240     240     15000 3100    .11  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 41 0   0     error (2) 0 --- inspect .022 .024 5.7 0    0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 230     240     15000 3400    .15  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-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+cfa-reducer.c true 2 wit inspect 97     97     100 1300    0     .016  - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 610    600    860 0   .053 out of memory 0 --- inspect 250     170     7000   .71 0     
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+lhb-reducer.c true 1 wit inspect 85     85     110 1200    0     0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3200 0   0     out of memory 0 --- inspect 410     290     7000   1.6  0     
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+nlh-reducer.c true 2 wit inspect 81     81     68 980    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 610    600    820 0   0     out of memory 0 --- inspect 290     190     7000   .67 0     
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 170     180     15000 2400    .10  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .46 40 0   0     error (2) 0 --- inspect .021 .022 5.6 0    0     
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c probably out of memory (killed (signal 9, cex-confirmation)) 0 --- inspect 230     240     15000 3100    .12  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .44 42 0   0     error (2) 0 --- inspect .024 .024 5.6 0    0     
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c true 2 wit inspect 24     24     29 300    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 27    19    500 0   0     out of memory 0 --- inspect 150     97     7000   .70 0     
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c true 2 wit inspect 4.8   4.8   26 71    0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 23    16    490 0   0     out of memory 0 --- inspect 230     160     7000   1.6  0     
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c true 2 wit inspect 28     28     29 390    0     0      - --- inspect - --- inspect - ---