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