Tool CBMC Path 5.10 () CPAchecker 1.7-svn 29852 ULTIMATE Automizer 0.1.23-635dfa2a CPA-witness2test 1.7-svn 29852 CProver witness2test 0.1 CPAchecker 1.7-svn 29852 ULTIMATE Automizer 0.1.23-635dfa2a
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-04 22:45:10 CET 2018-12-06 08:53:36 CET 2018-12-06 10:12:52 CET 2018-12-06 10:22:39 CET 2018-12-12 19:23:37 CET 2018-12-06 07:24:45 CET 2018-12-06 09:28:06 CET
Run set cbmc-path.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-cbmc-path.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-cbmc-path.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-cbmc-path.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-cbmc-path.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-cbmc-path.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-cbmc-path.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized
Options --graphml-witness witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const -witness ../../results-verified/cbmc-path.2018-12-04_2245.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/cbmc-path.2018-12-04_2245.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/cbmc-path.2018-12-04_2245.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/cbmc-path.2018-12-04_2245.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -witness ../../results-verified/cbmc-path.2018-12-04_2245.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/cbmc-path.2018-12-04_2245.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 out of memory 0 --- inspect 130     130     15000   1500    360      0      error (invalid witness file) 0 --- inspect .60 .36 41 0   0   error (2) 0 --- inspect .024 .025 5.7 0    0   error (invalid witness file) 0 --- inspect .94 .60 47 0   0     error (invalid witness file) 0 --- inspect .0054 .0067 .54 0     0      - --- inspect - --- inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .19  .18  14   1.8  .0082 0      true -32 wit inspect 12    6.4  450 0   0   false(unreach-call) 1 --- inspect 13     7.4   460   .62 0   false(unreach-call) 1 --- inspect 5.8  3.2  280 0   .16  false(unreach-call) 1 --- inspect .69   .69   21    .12  0      - --- inspect - --- inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .075 .067 9.8 .77 .0082 0      false(unreach-call) 1 wit inspect 4.9  2.7  250 0   0   true -32 --- inspect 8.2   5.0   300   .62 0   unknown 0 --- inspect 5.2  3.0  250 0   0     false(unreach-call) 1 --- inspect .61   .61   20    .086 .0082 - --- inspect - --- inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .088 .077 9.3 .62 .0082 0      false(unreach-call) 1 wit inspect 5.6  3.0  260 0   0   true -32 --- inspect 7.8   4.4   310   .62 0   unknown 0 --- inspect 4.4  2.5  250 0   0     false(unreach-call) 1 --- inspect .63   .63   21    .098 0      - --- inspect - --- inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 86     86     15000   1000    .033  0      error (invalid witness file) 0 --- inspect .65 .40 42 0   0   error (2) 0 --- inspect .022 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .94 .61 48 0   0     error (invalid witness file) 0 --- inspect .0045 .0057 .54 0     0      - --- inspect - --- inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 100     100     15000   1200    220      .0041 error (invalid witness file) 0 --- inspect .75 .46 40 0   0   error (2) 0 --- inspect .026 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .64 48 0   0     error (invalid witness file) 0 --- inspect .0029 .0040 .53 0     0      - --- inspect - --- inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 110     110     15000   1600    170      0      error (invalid witness file) 0 --- inspect .91 .54 41 0   0   error (2) 0 --- inspect .024 .024 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 49 0   0     error (invalid witness file) 0 --- inspect .0056 .0068 .53 0     0      - --- inspect - --- inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 120     120     15000   1500    130      .0041 error (invalid witness file) 0 --- inspect .58 .36 41 0   0   error (2) 0 --- inspect .028 .028 5.7 0    0   error (invalid witness file) 0 --- inspect .95 .61 47 0   0     error (invalid witness file) 0 --- inspect .0055 .0076 .53 0     0      - --- inspect - --- inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 190     190     15000   2300    58      .0041 error (invalid witness file) 0 --- inspect .64 .40 40 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .61 47 0   0     error (invalid witness file) 0 --- inspect .0048 .0062 .53 0     0      - --- inspect - --- inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 480     480     15000   6100    32      0      error (invalid witness file) 0 --- inspect .73 .44 42 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 .0045 .0057 .53 0     0      - --- inspect - --- inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 230     230     15000   2900    1.3    0      error (invalid witness file) 0 --- inspect .62 .38 40 0   0   error (2) 0 --- inspect .026 .026 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .71 47 0   0     error (invalid witness file) 0 --- inspect .0069 .0086 .52 0     0      - --- inspect - --- inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 160     160     15000   2400    .025  0      error (invalid witness file) 0 --- inspect .65 .41 41 0   0   error (2) 0 --- inspect .022 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .62 47 0   0     error (invalid witness file) 0 --- inspect .0048 .0058 .53 0     0      - --- inspect - --- inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 120     120     15000   2000    .033  0      error (invalid witness file) 0 --- inspect .74 .45 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .61 47 0   0     error (invalid witness file) 0 --- inspect .0017 .0021 .53 0     0      - --- inspect - --- inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 98     98     15000   1200    .033  0      error (invalid witness file) 0 --- inspect .71 .44 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .60 47 0   0     error (invalid witness file) 0 --- inspect .0024 .0030 .52 0     0      - --- inspect - --- inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 86     86     15000   1000    .033  0      error (invalid witness file) 0 --- inspect .61 .39 42 0   0   error (2) 0 --- inspect .026 .027 5.7 0    0   error (invalid witness file) 0 --- inspect 1.0  .68 48 0   0     error (invalid witness file) 0 --- inspect .0053 .0068 .53 0     0      - --- inspect - --- inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 88     87     15000   1100    .033  0      error (invalid witness file) 0 --- inspect .67 .42 42 0   0   error (2) 0 --- inspect .024 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .61 48 0   0     error (invalid witness file) 0 --- inspect .0056 .0072 .52 0     0      - --- inspect - --- inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 94     94     15000   1400    .033  0      error (invalid witness file) 0 --- inspect .82 .50 42 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 47 0   0     error (invalid witness file) 0 --- inspect .0017 .0036 .48 0     0      - --- inspect - --- inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 90     90     15000   1100    .033  0      error (invalid witness file) 0 --- inspect .69 .42 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .61 47 0   0     error (invalid witness file) 0 --- inspect .0020 .0026 .53 0     0      - --- inspect - --- inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 94     94     15000   1100    .033  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 .93 .59 47 0   0     error (invalid witness file) 0 --- inspect .0018 .0023 .53 0     0      - --- inspect - --- inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 91     90     15000   1000    .033  0      error (invalid witness file) 0 --- inspect .77 .47 42 0   0   error (2) 0 --- inspect .020 .021 5.7 0    0   error (invalid witness file) 0 --- inspect .95 .62 47 0   0     error (invalid witness file) 0 --- inspect .0017 .0025 .53 0     0      - --- inspect - --- inspect
systemc/toy1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 9.2   9.2   290   100    .38   0      true -32 wit inspect 5.5  3.0  260 0   0   false(unreach-call) 1 --- inspect 50     29     830   .62 0   false(unreach-call) 1 --- inspect 6.8  3.7  290 0   .082 false(unreach-call) 1 --- inspect .66   .66   21    .10  0      - --- inspect - --- inspect
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 9.3   9.3   290   140    .38   0      true -32 wit inspect 6.0  3.2  260 0   0   false(unreach-call) 1 --- inspect 40     22     800   .66 0   false(unreach-call) 1 --- inspect 6.7  3.6  290 0   .27  false(unreach-call) 1 --- inspect .67   .68   21    .098 .012  - --- inspect - --- inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 160     160     15000   2300    12      0      error (invalid witness file) 0 --- inspect .62 .38 42 0   0   error (2) 0 --- inspect .026 .027 5.5 0    0   error (invalid witness file) 0 --- inspect .97 .62 47 0   0     error (invalid witness file) 0 --- inspect .0021 .0027 .53 0     0      - --- inspect - --- inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 130     130     15000   1900    47      .0041 error (invalid witness file) 0 --- inspect .57 .35 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 .0020 .0022 .41 0     0      - --- inspect - --- inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 130     130     15000   1800    80      .0041 error (invalid witness file) 0 --- inspect .77 .46 43 0   0   error (2) 0 --- inspect .026 .028 5.7 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 48 0   0     error (invalid witness file) 0 --- inspect .0033 .0041 .54 0     0      - --- inspect - --- inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 150     150     15000   1900    68      0      error (invalid witness file) 0 --- inspect .70 .43 40 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .93 .60 47 0   0     error (invalid witness file) 0 --- inspect .0054 .0081 .53 0     0      - --- inspect - --- inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 390     390     15000   5300    150      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 .60 47 0   0     error (invalid witness file) 0 --- inspect .0022 .0036 .53 0     0      - --- inspect - --- inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 240     240     15000   3400    28      0      error (invalid witness file) 0 --- inspect .74 .44 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .64 47 0   0     error (invalid witness file) 0 --- inspect .0046 .0058 .54 0     0      - --- inspect - --- inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 170     170     15000   2400    .025  0      error (invalid witness file) 0 --- inspect .59 .37 40 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .90 .60 47 0   0     error (invalid witness file) 0 --- inspect .0066 .013  .43 0     0      - --- inspect - --- inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 130     130     15000   1900    .033  0      error (invalid witness file) 0 --- inspect .69 .42 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .60 47 0   0     error (invalid witness file) 0 --- inspect .0043 .0049 .41 0     0      - --- inspect - --- inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 99     98     15000   1300    .033  0      error (invalid witness file) 0 --- inspect .59 .37 41 0   0   error (2) 0 --- inspect .020 .021 5.7 0    0   error (invalid witness file) 0 --- inspect .95 .61 47 0   0     error (invalid witness file) 0 --- inspect .0050 .0061 .54 0     0      - --- inspect - --- inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 85     85     15000   1100    .033  0      error (invalid witness file) 0 --- inspect .60 .36 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .61 47 0   0     error (invalid witness file) 0 --- inspect .0046 .0058 .53 0     0      - --- inspect - --- inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 86     86     15000   980    .033  0      error (invalid witness file) 0 --- inspect .77 .47 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .64 47 0   0     error (invalid witness file) 0 --- inspect .0067 .0084 .53 0     0      - --- inspect - --- inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 92     91     15000   1300    .033  0      error (invalid witness file) 0 --- inspect .73 .44 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 48 0   0     error (invalid witness file) 0 --- inspect .0055 .0070 .54 0     0      - --- inspect - --- inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c out of memory 0 --- inspect 90     89     15000   1000    .033  0      error (invalid witness file) 0 --- inspect .73 .45 42 0   0   error (2) 0 --- inspect .024 .026 5.7 0    0   error (invalid witness file) 0 --- inspect .93 .61 47 0   0     error (invalid witness file) 0 --- inspect .0053 .0075 .40 0     0      - --- inspect - --- inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .13  .13  12   1.3  .057  0      false(unreach-call) 1 wit inspect 7.1  3.8  280 0   0   true -32 --- inspect 11     6.6   340   .66 0   false(unreach-call) 1 --- inspect 6.4  3.5  280 0   .25  false(unreach-call) 1 --- inspect .80   .80   21    .22  0      - --- inspect - --- inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .14  .14  12   1.5  .061  0      false(unreach-call) 1 wit inspect 7.6  4.1  270 0   0   true -32 --- inspect 11     6.1   350   .66 0   false(unreach-call) 1 --- inspect 6.4  3.6  280 0   .25  false(unreach-call) 1 --- inspect .81   .81   21    .24  0      - --- inspect - --- inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880     880     360   8700    .77   0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .35 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0   0  
systemc/kundu_true-unreach-call_false-termination.cil.c out of memory 0 --- inspect 93     93     15000   1300    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .42 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0   0  
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c out of memory 0 --- inspect 300     300     15000   4100    .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .85 .51 42 0   0   error (2) 0 --- inspect .025 .026 5.5 0   0  
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c out of memory 0 --- inspect 94     94     15000   1400    .033  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .45 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c out of memory 0 --- inspect 84     84     15000   1100    .029  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c out of memory 0 --- inspect 85     84     15000   930    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .44 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0   0  
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c out of memory 0 --- inspect 84     84     15000   1200    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 40 0   0   error (2) 0 --- inspect .027 .027 5.6 0   0  
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c out of memory 0 --- inspect 110     110     15000   1400    270      .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .41 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0   0  
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c out of memory 0 --- inspect 140     140     15000   1800    430      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .40 41 0   0   error (2) 0 --- inspect .024 .025 5.6 0   0  
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c out of memory 0 --- inspect 400     400     15000   5000    .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 41 0   0   error (2) 0 --- inspect .022 .022 5.6 0   0  
systemc/pipeline_true-unreach-call_false-termination.cil.c out of memory 0 --- inspect 87     86     15000   1100    .033  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .36 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0   0  
systemc/token_ring.01_true-unreach-call_false-termination.cil.c out of memory 0 --- inspect 110     110     15000   1400    240      .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 40 0   0   error (2) 0 --- inspect .021 .022 5.7 0   0  
systemc/token_ring.02_true-unreach-call_false-termination.cil.c out of memory 0 --- inspect 110     110     15000   1500    170      .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .47 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0   0  
systemc/token_ring.03_true-unreach-call_false-termination.cil.c out of memory 0 --- inspect 120     120     15000   1700    130      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0   0  
systemc/token_ring.04_true-unreach-call_false-termination.cil.c out of memory 0 --- inspect 160     160     15000   2100    47      .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .41 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0   0  
systemc/token_ring.05_true-unreach-call_false-termination.cil.c out of memory 0 --- inspect 410     410     15000   4400    9.5    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 41 0   0   error (2) 0 --- inspect .022 .022 5.6 0   0  
systemc/token_ring.06_true-unreach-call_false-termination.cil.c out of memory 0 --- inspect 230     230     15000   2600    1.3    .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0   0  
systemc/token_ring.07_true-unreach-call_false-termination.cil.c out of memory 0 --- inspect 160     160     15000   2100    .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .35 41 0   0   error (2) 0 --- inspect .021 .023 5.6 0   0  
systemc/token_ring.08_true-unreach-call_false-termination.cil.c out of memory 0 --- inspect 120     120     15000   1800    .033  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .48 41 0   0   error (2) 0 --- inspect .027 .027 5.6 0   0  
systemc/token_ring.09_true-unreach-call_false-termination.cil.c out of memory 0 --- inspect 98     98     15000   1500    .033  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 42 0   0   error (2) 0 --- inspect .026 .027 5.7 0   0  
systemc/token_ring.10_true-unreach-call_false-termination.cil.c out of memory 0 --- inspect 86     85     15000   1300    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .47 40 0   0   error (2) 0 --- inspect .027 .027 5.6 0   0  
systemc/token_ring.11_true-unreach-call_false-termination.cil.c out of memory 0 --- inspect 87     87     15000   1100    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .41 40 0   0   error (2) 0 --- inspect .025 .026 5.5 0   0  
systemc/token_ring.12_true-unreach-call_false-termination.cil.c out of memory 0 --- inspect 94     93     15000   1100    .033  .0041 - --- 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  
systemc/token_ring.13_true-unreach-call_false-termination.cil.c out of memory 0 --- inspect 90     89     15000   1300    .033  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .47 41 0   0   error (2) 0 --- inspect .025 .026 5.6 0   0  
systemc/toy_true-unreach-call_false-termination.cil.c out of memory 0 --- inspect 91     91     15000   1200    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .41 41 0   0   error (2) 0 --- inspect .027 .029 5.6 0   0  
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c out of memory 0 --- inspect 100     100     15000   1400    86      0      error (invalid witness file) 0 --- inspect .68 .41 42 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .96 .62 47 0   0     error (invalid witness file) 0 --- inspect .0042 .0048 .39 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 100     100     15000   1400    86      0      error (invalid witness file) 0 --- inspect .75 .47 42 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .64 47 0   0     error (invalid witness file) 0 --- inspect .0058 .0069 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c out of memory 0 --- inspect 100     100     15000   1500    89      0      error (invalid witness file) 0 --- inspect .65 .40 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .61 47 0   0     error (invalid witness file) 0 --- inspect .0052 .0066 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 100     100     15000   1300    89      .0041 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 .99 .64 47 0   0     error (invalid witness file) 0 --- inspect .0016 .0020 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c out of memory 0 --- inspect 100     100     15000   1400    86      .0041 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 .97 .66 47 0   0     error (invalid witness file) 0 --- inspect .0045 .0058 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 100     100     15000   1300    85      0      error (invalid witness file) 0 --- inspect .60 .37 40 0   0   error (2) 0 --- inspect .028 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .61 47 0   0     error (invalid witness file) 0 --- inspect .0016 .0021 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c out of memory 0 --- inspect 100     100     15000   1300    86      0      error (invalid witness file) 0 --- inspect .73 .45 42 0   0   error (2) 0 --- inspect .023 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .64 48 0   0     error (invalid witness file) 0 --- inspect .0018 .0024 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 100     100     15000   1300    85      .0041 error (invalid witness file) 0 --- inspect .81 .50 42 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .62 47 0   0     error (invalid witness file) 0 --- inspect .0064 .0082 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c out of memory 0 --- inspect 110     110     15000   1400    140      .0041 error (invalid witness file) 0 --- inspect .80 .48 41 0   0   error (2) 0 --- inspect .027 .027 5.5 0    0   error (invalid witness file) 0 --- inspect 1.0  .67 48 0   0     error (invalid witness file) 0 --- inspect .0057 .0097 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 110     110     15000   1400    130      .0041 error (invalid witness file) 0 --- inspect .66 .43 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .60 46 0   0     error (invalid witness file) 0 --- inspect .0050 .0062 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c out of memory 0 --- inspect 110     110     15000   1600    140      .0041 error (invalid witness file) 0 --- inspect .75 .46 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .63 47 0   0     error (invalid witness file) 0 --- inspect .0047 .0058 .40 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 110     110     15000   1500    130      0      error (invalid witness file) 0 --- inspect .76 .47 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 47 0   0     error (invalid witness file) 0 --- inspect .0061 .0089 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c out of memory 0 --- inspect 97     97     15000   1400    .36   0      error (invalid witness file) 0 --- inspect .63 .39 40 0   0   error (2) 0 --- inspect .021 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .60 47 0   0     error (invalid witness file) 0 --- inspect .0018 .0022 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 97     97     15000   1200    .33   0      error (invalid witness file) 0 --- inspect .60 .36 41 0   0   error (2) 0 --- inspect .025 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .61 47 0   0     error (invalid witness file) 0 --- inspect .0018 .0024 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c out of memory 0 --- inspect 96     96     15000   1100    .36   0      error (invalid witness file) 0 --- inspect .85 .52 41 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 .0064 .0083 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 95     95     15000   1200    .33   0      error (invalid witness file) 0 --- inspect .60 .38 40 0   0   error (2) 0 --- inspect .026 .027 5.8 0    0   error (invalid witness file) 0 --- inspect .98 .63 47 0   0     error (invalid witness file) 0 --- inspect .0029 .0047 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c out of memory 0 --- inspect 96     96     15000   1100    .37   .0041 error (invalid witness file) 0 --- inspect .79 .48 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .61 47 0   0     error (invalid witness file) 0 --- inspect .0016 .0021 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 96     96     15000   1100    .34   0      error (invalid witness file) 0 --- inspect .57 .36 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 47 0   0     error (invalid witness file) 0 --- inspect .0049 .0064 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c out of memory 0 --- inspect 97     96     15000   1100    .37   0      error (invalid witness file) 0 --- inspect .59 .38 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .67 47 0   0     error (invalid witness file) 0 --- inspect .0045 .0055 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 96     96     15000   1200    .33   0      error (invalid witness file) 0 --- inspect .70 .43 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .59 47 0   0     error (invalid witness file) 0 --- inspect .0052 .0063 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 95     95     15000   1300    .36   .0041 error (invalid witness file) 0 --- inspect .61 .39 41 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .64 48 0   0     error (invalid witness file) 0 --- inspect .0047 .0059 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c out of memory 0 --- inspect 87     86     15000   1300    .033  0      error (invalid witness file) 0 --- inspect .62 .37 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .68 48 0   0     error (invalid witness file) 0 --- inspect .0018 .0024 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 86     86     15000   1000    .033  0      error (invalid witness file) 0 --- inspect .64 .39 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 .0061 .0088 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c out of memory 0 --- inspect 86     85     15000   1300    .033  0      error (invalid witness file) 0 --- inspect .77 .48 41 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 48 0   0     error (invalid witness file) 0 --- inspect .0058 .0075 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 86     86     15000   1100    .033  0      error (invalid witness file) 0 --- inspect .73 .45 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .63 47 0   0     error (invalid witness file) 0 --- inspect .0032 .0041 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c out of memory 0 --- inspect 86     86     15000   1000    .033  0      error (invalid witness file) 0 --- inspect .79 .47 42 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 .0052 .0067 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 86     85     15000   1300    .033  0      error (invalid witness file) 0 --- inspect .74 .45 41 0   0   error (2) 0 --- inspect .028 .029 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .69 47 0   0     error (invalid witness file) 0 --- inspect .0020 .0025 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c out of memory 0 --- inspect 87     86     15000   1000    .033  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 .95 .61 47 0   0     error (invalid witness file) 0 --- inspect .0043 .0055 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 89     89     15000   1100    .033  0      error (invalid witness file) 0 --- inspect .61 .37 40 0   0   error (2) 0 --- inspect .021 .021 5.7 0    0   error (invalid witness file) 0 --- inspect .93 .60 46 0   0     error (invalid witness file) 0 --- inspect .0061 .0083 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 86     86     15000   1000    .033  0      error (invalid witness file) 0 --- inspect .74 .44 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .62 47 0   0     error (invalid witness file) 0 --- inspect .0037 .0054 .50 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c out of memory 0 --- inspect 110     110     15000   940    .033  0      error (invalid witness file) 0 --- inspect .67 .42 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .61 46 0   0     error (invalid witness file) 0 --- inspect .0028 .0036 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 110     110     15000   920    .029  0      error (invalid witness file) 0 --- inspect .61 .38 42 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .62 46 0   0     error (invalid witness file) 0 --- inspect .0034 .0063 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c out of memory 0 --- inspect 110     110     15000   920    .033  0      error (invalid witness file) 0 --- inspect .76 .47 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .63 47 0   0     error (invalid witness file) 0 --- inspect .0055 .0067 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 110     110     15000   1200    .033  .0041 error (invalid witness file) 0 --- inspect .74 .45 40 0   0   error (2) 0 --- inspect .021 .022 5.8 0    0   error (invalid witness file) 0 --- inspect .93 .61 47 0   0     error (invalid witness file) 0 --- inspect .0060 .0078 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c out of memory 0 --- inspect 110     110     15000   800    .033  0      error (invalid witness file) 0 --- inspect .63 .39 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .61 47 0   0     error (invalid witness file) 0 --- inspect .0022 .0029 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 110     110     15000   820    .033  0      error (invalid witness file) 0 --- inspect .68 .42 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .61 46 0   0     error (invalid witness file) 0 --- inspect .0018 .0023 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c out of memory 0 --- inspect 110     110     15000   700    .033  0      error (invalid witness file) 0 --- inspect .74 .45 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .61 46 0   0     error (invalid witness file) 0 --- inspect .0032 .0042 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 110     110     15000   880    .033  0      error (invalid witness file) 0 --- inspect .58 .36 40 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 48 0   0     error (invalid witness file) 0 --- inspect .0022 .0029 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 110     110     15000   860    .029  .0041 error (invalid witness file) 0 --- inspect .61 .37 40 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .96 .62 47 0   0     error (invalid witness file) 0 --- inspect .0030 .0039 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c error (42) 0 --- inspect 870     880     13000   10000    4100      .0041 error (invalid witness file) 0 --- inspect .73 .45 40 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect 1.1  .67 49 0   0     error (invalid witness file) 0 --- inspect .0063 .0082 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 490     490     15000   7300    2300      0      error (invalid witness file) 0 --- inspect .64 .40 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 .0026 .0033 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c error (42) 0 --- inspect 870     880     7900   10000    4000      .0082 error (invalid witness file) 0 --- inspect .64 .39 41 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .64 49 0   0     error (invalid witness file) 0 --- inspect .0056 .0073 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 870     880     13000   11000    4300      .0082 error (invalid witness file) 0 --- inspect .78 .48 41 0   0   error (2) 0 --- inspect .025 .025 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .70 47 0   0     error (invalid witness file) 0 --- inspect .0057 .0068 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c out of memory 0 --- inspect 180     180     15000   2500    620      0      error (invalid witness file) 0 --- inspect .65 .41 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .61 46 0   0     error (invalid witness file) 0 --- inspect .0054 .0070 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 160     160     15000   2400    470      0      error (invalid witness file) 0 --- inspect .77 .48 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 .0056 .0070 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c out of memory 0 --- inspect 220     220     15000   2700    870      .0041 error (invalid witness file) 0 --- inspect .60 .37 40 0   0   error (2) 0 --- inspect .026 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 47 0   0     error (invalid witness file) 0 --- inspect .0017 .0022 .41 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 180     180     15000   2500    630      0      error (invalid witness file) 0 --- inspect .74 .45 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .64 48 0   0     error (invalid witness file) 0 --- inspect .0046 .0059 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c out of memory 0 --- inspect 120     120     15000   1800    240      0      error (invalid witness file) 0 --- inspect .71 .44 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .60 47 0   0     error (invalid witness file) 0 --- inspect .0055 .0070 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 110     110     15000   1400    210      0      error (invalid witness file) 0 --- inspect .75 .47 41 0   0   error (2) 0 --- inspect .023 .023 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .64 48 0   0     error (invalid witness file) 0 --- inspect .0049 .0062 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c out of memory 0 --- inspect 120     120     15000   1700    270      0      error (invalid witness file) 0 --- inspect .64 .39 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .60 47 0   0     error (invalid witness file) 0 --- inspect .0055 .0076 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 120     120     15000   1400    220      .0041 error (invalid witness file) 0 --- inspect .67 .42 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .60 47 0   0     error (invalid witness file) 0 --- inspect .0014 .0016 .40 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c out of memory 0 --- inspect 120     120     15000   1600    240      0      error (invalid witness file) 0 --- inspect .73 .44 43 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .61 46 0   0     error (invalid witness file) 0 --- inspect .0050 .0063 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 120     110     15000   1800    250      0      error (invalid witness file) 0 --- inspect .59 .39 41 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 .0054 .0064 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c out of memory 0 --- inspect 120     120     15000   1700    240      .0041 error (invalid witness file) 0 --- inspect .68 .43 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .59 47 0   0     error (invalid witness file) 0 --- inspect .0015 .0020 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 120     120     15000   1300    250      .0041 error (invalid witness file) 0 --- inspect .79 .48 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .61 47 0   0     error (invalid witness file) 0 --- inspect .0051 .0063 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c out of memory 0 --- inspect 570     570     15000   7300    2300      .0041 error (invalid witness file) 0 --- inspect .78 .49 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .62 47 0   0     error (invalid witness file) 0 --- inspect .0031 .0040 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 720     720     15000   8500    3000      .0041 error (invalid witness file) 0 --- inspect .65 .41 40 0   0   error (2) 0 --- inspect .021 .022 5.8 0    0   error (invalid witness file) 0 --- inspect .97 .64 47 0   0     error (invalid witness file) 0 --- inspect .0051 .0071 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 540     540     15000   7400    2200      .0041 error (invalid witness file) 0 --- inspect .72 .44 40 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .64 49 0   0     error (invalid witness file) 0 --- inspect .0016 .0027 .48 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c error (42) 0 --- inspect 880     880     13000   10000    3700      .0041 error (invalid witness file) 0 --- inspect .76 .47 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 .0056 .0069 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 670     670     15000   11000    3000      .0041 error (invalid witness file) 0 --- inspect .71 .44 42 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .64 47 0   0     error (invalid witness file) 0 --- inspect .0054 .0068 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880     880     13000   11000    3600      0      error (invalid witness file) 0 --- inspect .69 .42 40 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 .0017 .0021 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c out of memory 0 --- inspect 310     310     15000   4400    1300      0      error (invalid witness file) 0 --- inspect .59 .36 43 0   0   error (2) 0 --- inspect .025 .027 5.7 0    0   error (invalid witness file) 0 --- inspect .97 .62 47 0   0     error (invalid witness file) 0 --- inspect .0019 .0021 .39 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 290     290     15000   3700    1200      .016  error (invalid witness file) 0 --- inspect .60 .37 41 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 .0046 .0060 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 300     300     15000   3700    1200      .0082 error (invalid witness file) 0 --- inspect .61 .37 41 0   0   error (2) 0 --- inspect .025 .026 5.8 0    0   error (invalid witness file) 0 --- inspect .93 .59 47 0   0     error (invalid witness file) 0 --- inspect .0058 .0072 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c out of memory 0 --- inspect 210     210     15000   2500    810      0      error (invalid witness file) 0 --- inspect .61 .38 40 0   0   error (2) 0 --- inspect .022 .024 5.7 0    0   error (invalid witness file) 0 --- inspect .92 .59 47 0   0     error (invalid witness file) 0 --- inspect .0029 .0038 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 210     210     15000   2500    770      .0041 error (invalid witness file) 0 --- inspect .64 .40 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .70 47 0   0     error (invalid witness file) 0 --- inspect .0066 .0095 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 210     210     15000   2600    780      .029  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 .96 .64 49 0   0     error (invalid witness file) 0 --- inspect .0051 .0069 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c out of memory 0 --- inspect 170     170     15000   2200    580      .0041 error (invalid witness file) 0 --- inspect .69 .44 40 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .60 48 0   0     error (invalid witness file) 0 --- inspect .0044 .0056 .40 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 170     170     15000   2000    560      .0041 error (invalid witness file) 0 --- inspect .68 .43 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .64 47 0   0     error (invalid witness file) 0 --- inspect .0058 .0074 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 170     170     15000   2600    570      0      error (invalid witness file) 0 --- inspect .72 .46 41 0   0   error (2) 0 --- inspect .020 .020 5.6 0    0   error (invalid witness file) 0 --- inspect 1.2  .77 47 0   0     error (invalid witness file) 0 --- inspect .0047 .0058 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c out of memory 0 --- inspect 150     150     15000   1800    490      0      error (invalid witness file) 0 --- inspect .71 .43 40 0   0   error (2) 0 --- inspect .026 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .62 48 0   0     error (invalid witness file) 0 --- inspect .0022 .0052 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 150     150     15000   1800    480      0      error (invalid witness file) 0 --- inspect .68 .40 40 0   0   error (2) 0 --- inspect .022 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .63 47 0   0     error (invalid witness file) 0 --- inspect .0033 .0042 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 150     150     15000   1900    470      0      error (invalid witness file) 0 --- inspect .74 .46 42 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .62 47 0   0     error (invalid witness file) 0 --- inspect .0035 .0049 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c out of memory 0 --- inspect 96     96     15000   1300    .35   .0041 error (invalid witness file) 0 --- inspect .68 .41 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 .0045 .0059 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 95     94     15000   1100    .32   0      error (invalid witness file) 0 --- inspect .66 .40 40 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .62 47 0   0     error (invalid witness file) 0 --- inspect .0062 .0081 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c out of memory 0 --- inspect 95     94     15000   1200    .35   0      error (invalid witness file) 0 --- inspect .69 .42 42 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .68 49 0   0     error (invalid witness file) 0 --- inspect .0062 .0078 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 94     94     15000   1200    .32   0      error (invalid witness file) 0 --- inspect .74 .45 41 0   0   error (2) 0 --- inspect .020 .021 5.7 0    0   error (invalid witness file) 0 --- inspect .93 .59 47 0   0     error (invalid witness file) 0 --- inspect .0061 .0082 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c out of memory 0 --- inspect 95     94     15000   1100    .35   .0041 error (invalid witness file) 0 --- inspect .70 .43 43 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 47 0   0     error (invalid witness file) 0 --- inspect .0017 .0022 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 94     94     15000   1300    .32   .0041 error (invalid witness file) 0 --- inspect .72 .44 41 0   0   error (2) 0 --- inspect .026 .027 5.7 0    0   error (invalid witness file) 0 --- inspect .93 .60 46 0   0     error (invalid witness file) 0 --- inspect .0057 .0079 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c out of memory 0 --- inspect 95     94     15000   1200    .35   0      error (invalid witness file) 0 --- inspect .73 .44 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .62 46 0   0     error (invalid witness file) 0 --- inspect .0021 .0026 .41 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 94     94     15000   1200    .32   .0041 error (invalid witness file) 0 --- inspect .75 .45 40 0   0   error (2) 0 --- inspect .022 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .60 47 0   0     error (invalid witness file) 0 --- inspect .0020 .0026 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 96     95     15000   1100    .32   0      error (invalid witness file) 0 --- inspect .75 .47 42 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .63 49 0   0     error (invalid witness file) 0 --- inspect .0020 .0026 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c out of memory 0 --- inspect 87     86     15000   1200    .033  0      error (invalid witness file) 0 --- inspect .81 .48 40 0   0   error (2) 0 --- inspect .021 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .63 47 0   0     error (invalid witness file) 0 --- inspect .0018 .0023 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 87     86     15000   980    .033  .0041 error (invalid witness file) 0 --- inspect .75 .46 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .63 47 0   0     error (invalid witness file) 0 --- inspect .0052 .0067 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c out of memory 0 --- inspect 86     86     15000   950    .025  .0041 error (invalid witness file) 0 --- inspect .64 .39 40 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .59 46 0   0     error (invalid witness file) 0 --- inspect .0055 .0068 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 88     87     15000   1100    .033  0      error (invalid witness file) 0 --- inspect .65 .40 43 0   0   error (2) 0 --- inspect .025 .026 5.7 0    0   error (invalid witness file) 0 --- inspect .96 .60 47 0   0     error (invalid witness file) 0 --- inspect .0022 .0028 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c out of memory 0 --- inspect 87     86     15000   1100    .033  0      error (invalid witness file) 0 --- inspect .74 .45 41 0   0   error (2) 0 --- inspect .022 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .92 .61 48 0   0     error (invalid witness file) 0 --- inspect .0046 .0063 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 86     86     15000   1100    .033  0      error (invalid witness file) 0 --- inspect .61 .38 41 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .94 .62 47 0   0     error (invalid witness file) 0 --- inspect .0038 .0049 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c out of memory 0 --- inspect 87     87     15000   1200    .033  0      error (invalid witness file) 0 --- inspect .77 .46 41 0   0   error (2) 0 --- inspect .020 .020 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .62 46 0   0     error (invalid witness file) 0 --- inspect .0052 .0082 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 87     86     15000   970    .029  0      error (invalid witness file) 0 --- inspect .63 .39 41 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .61 46 0   0     error (invalid witness file) 0 --- inspect .0019 .0024 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 89     89     15000   1100    .033  .0041 error (invalid witness file) 0 --- inspect .82 .49 41 0   0   error (2) 0 --- inspect .023 .023 5.5 0    0   error (invalid witness file) 0 --- inspect .98 .63 49 0   0     error (invalid witness file) 0 --- inspect .0046 .0058 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c out of memory 0 --- inspect 110     110     15000   900    .033  0      error (invalid witness file) 0 --- inspect .65 .43 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .63 47 0   0     error (invalid witness file) 0 --- inspect .0063 .0083 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 100     100     15000   940    .029  0      error (invalid witness file) 0 --- inspect .80 .48 41 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .61 48 0   0     error (invalid witness file) 0 --- inspect .0020 .0026 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c out of memory 0 --- inspect 110     110     15000   1100    .033  0      error (invalid witness file) 0 --- inspect .80 .47 41 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect 1.1  .73 48 0   0     error (invalid witness file) 0 --- inspect .0015 .0021 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 110     110     15000   1300    .033  0      error (invalid witness file) 0 --- inspect .64 .39 41 0   0   error (2) 0 --- inspect .024 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .59 47 0   0     error (invalid witness file) 0 --- inspect .0045 .0054 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c out of memory 0 --- inspect 110     110     15000   750    .033  0      error (invalid witness file) 0 --- inspect .64 .40 41 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .64 48 0   0     error (invalid witness file) 0 --- inspect .0015 .0017 .39 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 100     100     15000   1300    .033  0      error (invalid witness file) 0 --- inspect .70 .44 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .67 47 0   0     error (invalid witness file) 0 --- inspect .0053 .0068 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c out of memory 0 --- inspect 110     110     15000   820    .033  0      error (invalid witness file) 0 --- inspect .70 .42 42 0   0   error (2) 0 --- inspect .021 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .62 47 0   0     error (invalid witness file) 0 --- inspect .0021 .0027 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 110     110     15000   810    .033  0      error (invalid witness file) 0 --- inspect .58 .37 40 0   0   error (2) 0 --- inspect .026 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 47 0   0     error (invalid witness file) 0 --- inspect .0070 .010  .53 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 110     110     15000   920    .033  0      error (invalid witness file) 0 --- inspect .84 .53 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 47 0   0     error (invalid witness file) 0 --- inspect .0053 .0063 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c out of memory 0 --- inspect 89     88     15000   1300    .033  0      error (invalid witness file) 0 --- inspect .79 .47 42 0   0   error (2) 0 --- inspect .022 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .61 46 0   0     error (invalid witness file) 0 --- inspect .0061 .0083 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c out of memory 0 --- inspect 97     97     15000   820    .033  0      error (invalid witness file) 0 --- inspect .76 .46 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .64 47 0   0     error (invalid witness file) 0 --- inspect .0016 .0022 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c out of memory 0 --- inspect 89     89     15000   1100    .033  .0041 error (invalid witness file) 0 --- inspect .59 .35 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 .0049 .0060 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c out of memory 0 --- inspect 100     100     15000   880    .033  .0041 error (invalid witness file) 0 --- inspect .78 .49 41 0   0   error (2) 0 --- inspect .022 .022 5.5 0    0   error (invalid witness file) 0 --- inspect .95 .61 47 0   0     error (invalid witness file) 0 --- inspect .0057 .0073 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c out of memory 0 --- inspect 90     90     15000   1100    .033  0      error (invalid witness file) 0 --- inspect .61 .39 41 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .60 48 0   0     error (invalid witness file) 0 --- inspect .0042 .0047 .40 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c out of memory 0 --- inspect 97     97     15000   1100    .025  0      error (invalid witness file) 0 --- inspect .82 .50 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.2  .78 47 0   0     error (invalid witness file) 0 --- inspect .0047 .0054 .39 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c out of memory 0 --- inspect 91     90     15000   1200    .033  .0041 error (invalid witness file) 0 --- inspect .75 .47 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .67 48 0   0     error (invalid witness file) 0 --- inspect .0044 .0055 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c out of memory 0 --- inspect 110     110     15000   800    .033  0      error (invalid witness file) 0 --- inspect .73 .44 42 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .65 48 0   0     error (invalid witness file) 0 --- inspect .0060 .0077 .39 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c out of memory 0 --- inspect 94     94     15000   1300    .033  0      error (invalid witness file) 0 --- inspect .59 .36 41 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .68 48 0   0     error (invalid witness file) 0 --- inspect .0013 .0018 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c out of memory 0 --- inspect 100     100     15000   930    .033  0      error (invalid witness file) 0 --- inspect .64 .39 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0    0   error (invalid witness file) 0 --- inspect 1.2  .76 47 0   0     error (invalid witness file) 0 --- inspect .0034 .0049 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c out of memory 0 --- inspect 87     87     15000   1100    .033  0      error (invalid witness file) 0 --- inspect .79 .47 42 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .63 47 0   0     error (invalid witness file) 0 --- inspect .0044 .0057 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c out of memory 0 --- inspect 98     98     15000   700    .029  0      error (invalid witness file) 0 --- inspect .62 .39 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .61 47 0   0     error (invalid witness file) 0 --- inspect .0020 .0026 .65 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c out of memory 0 --- inspect 89     89     15000   1000    .033  .0041 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 .98 .64 48 0   0     error (invalid witness file) 0 --- inspect .0017 .0022 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c out of memory 0 --- inspect 100     99     15000   810    .033  0      error (invalid witness file) 0 --- inspect .67 .41 43 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect 1.2  .77 48 0   0     error (invalid witness file) 0 --- inspect .0058 .0092 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c out of memory 0 --- inspect 100     100     15000   1200    .033  .0041 error (invalid witness file) 0 --- inspect .59 .36 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 .0046 .0057 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c out of memory 0 --- inspect 100     100     15000   1400    .029  .0041 error (invalid witness file) 0 --- inspect .62 .38 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .61 48 0   0     error (invalid witness file) 0 --- inspect .0060 .0085 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c out of memory 0 --- inspect 100     99     15000   1100    .033  0      error (invalid witness file) 0 --- inspect .59 .36 42 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 .0052 .0069 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c out of memory 0 --- inspect 100     100     15000   1300    .033  0      error (invalid witness file) 0 --- inspect .71 .43 40 0   0   error (2) 0 --- inspect .028 .028 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .68 47 0   0     error (invalid witness file) 0 --- inspect .0021 .0034 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c out of memory 0 --- inspect 100     100     15000   1200    .033  0      error (invalid witness file) 0 --- inspect .65 .41 42 0   0   error (2) 0 --- inspect .026 .027 5.5 0    0   error (invalid witness file) 0 --- inspect .94 .62 47 0   0     error (invalid witness file) 0 --- inspect .0016 .0021 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c out of memory 0 --- inspect 100     100     15000   1200    .029  0      error (invalid witness file) 0 --- inspect .59 .37 40 0   0   error (2) 0 --- inspect .021 .022 5.8 0    0   error (invalid witness file) 0 --- inspect 1.0  .67 47 0   0     error (invalid witness file) 0 --- inspect .0065 .0083 .40 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c out of memory 0 --- inspect 94     94     15000   1200    .033  0      error (invalid witness file) 0 --- inspect .66 .40 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .58 47 0   0     error (invalid witness file) 0 --- inspect .0052 .0065 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c out of memory 0 --- inspect 93     93     15000   1200    .033  0      error (invalid witness file) 0 --- inspect .60 .38 41 0   0   error (2) 0 --- inspect .023 .025 5.6 0    0   error (invalid witness file) 0 --- inspect 1.2  .74 48 0   0     error (invalid witness file) 0 --- inspect .0048 .0058 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c out of memory 0 --- inspect 110     110     15000   1600    .029  0      error (invalid witness file) 0 --- inspect .76 .47 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .63 47 0   0     error (invalid witness file) 0 --- inspect .0054 .0072 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c out of memory 0 --- inspect 110     110     15000   1500    .033  0      error (invalid witness file) 0 --- inspect .76 .48 42 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .59 47 0   0     error (invalid witness file) 0 --- inspect .0063 .0086 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c out of memory 0 --- inspect 110     110     15000   1600    .033  0      error (invalid witness file) 0 --- inspect .73 .46 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .60 47 0   0     error (invalid witness file) 0 --- inspect .0049 .0065 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c out of memory 0 --- inspect 110     110     15000   1500    .033  0      error (invalid witness file) 0 --- inspect .81 .49 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .63 47 0   0     error (invalid witness file) 0 --- inspect .0059 .0077 .42 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c out of memory 0 --- inspect 100     100     15000   1400    85      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .45 41 0   0   error (2) 0 --- inspect .021 .022 5.7 0   0  
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 100     100     15000   1200    84      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 42 0   0   error (2) 0 --- inspect .024 .025 5.6 0   0  
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c out of memory 0 --- inspect 110     110     15000   1300    140      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .42 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0   0  
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 110     110     15000   1400    130      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .40 40 0   0   error (2) 0 --- inspect .020 .022 5.7 0   0  
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c out of memory 0 --- inspect 95     95     15000   1200    .36   0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .45 41 0   0   error (2) 0 --- inspect .026 .026 5.6 0   0  
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 96     96     15000   1300    .33   0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .41 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0   0  
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c out of memory 0 --- inspect 88     87     15000   1100    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 86     85     15000   1100    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .49 41 0   0   error (2) 0 --- inspect .023 .025 5.7 0   0  
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c out of memory 0 --- inspect 110     110     15000   850    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .45 41 0   0   error (2) 0 --- inspect .022 .025 5.6 0   0  
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 100     100     15000   1200    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .48 41 0   0   error (2) 0 --- inspect .022 .024 5.7 0   0  
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c error (42) 0 --- inspect 880     880     13000   12000    4000      .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .40 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0   0  
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 480     480     15000   7000    2300      .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .48 41 0   0   error (2) 0 --- inspect .027 .027 5.6 0   0  
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c out of memory 0 --- inspect 180     180     15000   2300    620      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .47 41 0   0   error (2) 0 --- inspect .021 .024 5.6 0   0  
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 160     160     15000   2100    470      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .39 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0   0  
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c out of memory 0 --- inspect 120     120     15000   1700    240      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .38 40 0   0   error (2) 0 --- inspect .025 .026 5.5 0   0  
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 110     110     15000   1400    210      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0   0  
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c out of memory 0 --- inspect 120     110     15000   1400    240      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .43 42 0   0   error (2) 0 --- inspect .026 .027 5.6 0   0  
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 120     120     15000   1400    250      .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .41 41 0   0   error (2) 0 --- inspect .025 .026 5.5 0   0  
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c out of memory 0 --- inspect 560     560     15000   7200    2300      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .47 41 0   0   error (2) 0 --- inspect .030 .032 5.7 0   0  
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 730     730     15000   10000    3000      .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .43 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0   0  
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c error (42) 0 --- inspect 880     880     13000   11000    3700      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 690     690     15000   9700    3000      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .41 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0   0  
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c out of memory 0 --- inspect 310     300     15000   4800    1300      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .40 41 0   0   error (2) 0 --- inspect .022 .023 5.7 0   0  
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 290     290     15000   4600    1200      .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .43 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0   0  
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c out of memory 0 --- inspect 210     210     15000   3100    800      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .39 41 0   0   error (2) 0 --- inspect .027 .029 5.7 0   0  
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 210     210     15000   3100    770      .012  - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .44 41 0   0   error (2) 0 --- inspect .027 .029 5.7 0   0  
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c out of memory 0 --- inspect 170     170     15000   2700    580      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 41 0   0   error (2) 0 --- inspect .020 .022 5.6 0   0  
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 170     170     15000   2100    560      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .81 .49 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0   0  
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c out of memory 0 --- inspect 150     150     15000   1500    480      .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 40 0   0   error (2) 0 --- inspect .024 .025 5.6 0   0  
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 150     150     15000   2000    470      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .41 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0   0  
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c out of memory 0 --- inspect 95     94     15000   1100    .35   0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .47 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0   0  
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 95     94     15000   1200    .32   0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .43 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0   0  
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c out of memory 0 --- inspect 87     87     15000   1000    .029  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 42 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 87     87     15000   1100    .029  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .47 40 0   0   error (2) 0 --- inspect .021 .023 5.6 0   0  
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c out of memory 0 --- inspect 110     110     15000   880    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 40 0   0   error (2) 0 --- inspect .025 .025 5.6 0   0  
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c out of memory 0 --- inspect 110     110     15000   960    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 41 0   0   error (2) 0 --- inspect .026 .026 5.6 0   0  
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c out of memory 0 --- inspect 89     89     15000   1000    .029  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .41 41 0   0   error (2) 0 --- inspect .026 .026 5.5 0   0  
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c out of memory 0 --- inspect 95     95     15000   830    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 41 0   0   error (2) 0 --- inspect .027 .028 5.6 0   0  
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c out of memory 0 --- inspect 90     90     15000   1100    .029  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .39 40 0   0   error (2) 0 --- inspect .027 .028 5.7 0   0  
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c out of memory 0 --- inspect 100     100     15000   670    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .38 41 0   0   error (2) 0 --- inspect .027 .028 5.6 0   0  
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c out of memory 0 --- inspect 94     94     15000   1000    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .45 41 0   0   error (2) 0 --- inspect .019 .020 5.6 0   0  
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c out of memory 0 --- inspect 94     94     15000   990    .033  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .35 41 0   0   error (2) 0 --- inspect .021 .030 5.5 0   0  
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c out of memory 0 --- inspect 100     100     15000   860    .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .39 40 0   0   error (2) 0 --- inspect .022 .022 5.6 0   0  
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c out of memory 0 --- inspect 110     110     15000   840    .029  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .41 40 0   0   error (2) 0 --- inspect .027 .029 5.6 0   0  
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c out of memory 0 --- inspect 87     87     15000   960    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .37 40 0   0   error (2) 0 --- inspect .022 .024 5.7 0   0  
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c out of memory 0 --- inspect 99     99     15000   620    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .47 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0   0  
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c out of memory 0 --- inspect 89     88     15000   1100    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .46 41 0   0   error (2) 0 --- inspect .026 .026 5.6 0   0  
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c out of memory 0 --- inspect 97     96     15000   770    .029  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .47 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0   0  
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c out of memory 0 --- inspect 88     88     15000   1100    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .39 40 0   0   error (2) 0 --- inspect .020 .021 5.7 0   0  
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c out of memory 0 --- inspect 100     100     15000   830    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .57 .36 40 0   0   error (2) 0 --- inspect .027 .028 5.6 0   0  
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c out of memory 0 --- inspect 100     99     15000   1300    .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .48 41 0   0   error (2) 0 --- inspect .025 .026 5.8 0   0  
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c out of memory 0 --- inspect 100     99     15000   1200    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .39 42 0   0   error (2) 0 --- inspect .024 .025 5.6 0   0  
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c out of memory 0 --- inspect 100     100     15000   1200    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .44 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0   0  
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c out of memory 0 --- inspect 100     100     15000   1500    .033  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 40 0   0   error (2) 0 --- inspect .025 .026 5.5 0   0  
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c out of memory 0 --- inspect 100     100     15000   1200    .033  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c out of memory 0 --- inspect 100     100     15000   1300    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .45 40 0   0   error (2) 0 --- inspect .028 .030 5.6 0   0  
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c out of memory 0 --- inspect 94     94     15000   1200    .033  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .38 41 0   0   error (2) 0 --- inspect .038 .039 5.6 0   0  
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c out of memory 0 --- inspect 94     94     15000   1400    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .43 41 0   0   error (2) 0 --- inspect .025 .027 5.6 0   0  
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c out of memory 0 --- inspect 94     94     15000   1300    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .50 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0   0  
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c out of memory 0 --- inspect 94     94     15000   1200    .033  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .40 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0   0  
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c out of memory 0 --- inspect 110     110     15000   1600    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .49 41 0   0   error (2) 0 --- inspect .027 .028 5.7 0   0  
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c out of memory 0 --- inspect 110     110     15000   1500    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .79 .48 42 0   0   error (2) 0 --- inspect .027 .029 5.7 0   0  
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c out of memory 0 --- inspect 110     110     15000   1500    2.8    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .48 41 0   0   error (2) 0 --- inspect .028 .029 5.6 0   0  
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c out of memory 0 --- inspect 110     110     15000   1600    2.8    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .42 41 0   0   error (2) 0 --- inspect .024 .025 5.6 0   0  
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c out of memory 0 --- inspect 110     110     15000   1500    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .46 41 0   0   error (2) 0 --- inspect .025 .026 5.5 0   0  
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c out of memory 0 --- inspect 110     110     15000   1500    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .44 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   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 770     770     15000   7900    .029  0      error (invalid witness file) 0 --- inspect .57 .34 39 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .64 46 0   0     error (invalid witness file) 0 --- inspect .0055 .0066 .52 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 570     570     15000   6200    .025  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 .96 .63 48 0   0     error (invalid witness file) 0 --- inspect .0047 .0056 .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 840     840     15000   7400    .025  .0041 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 1.0  .67 47 0   0     error (invalid witness file) 0 --- inspect .0055 .0069 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 790     790     15000   9700    .033  0      error (invalid witness file) 0 --- inspect .62 .37 41 0   0   error (2) 0 --- inspect .019 .020 5.7 0    0   error (invalid witness file) 0 --- inspect .99 .65 48 0   0     error (invalid witness file) 0 --- inspect .0048 .0054 .39 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 620     620     15000   6300    .025  0      error (invalid witness file) 0 --- inspect .79 .49 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .59 46 0   0     error (invalid witness file) 0 --- inspect .0017 .0022 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error (42) 0 --- inspect 880     880     15000   9000    .082  0      error (invalid witness file) 0 --- inspect .79 .48 41 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .61 47 0   0     error (invalid witness file) 0 --- inspect .0053 .0084 .52 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 560     560     15000   4800    7.9    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 .95 .61 47 0   0     error (invalid witness file) 0 --- inspect .0055 .0090 .48 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 840     840     15000   7500    .025  0      error (invalid witness file) 0 --- inspect .65 .39 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 .0036 .0046 .52 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 830     830     15000   6700    .025  0      error (invalid witness file) 0 --- inspect .76 .47 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .61 47 0   0     error (invalid witness file) 0 --- inspect .0058 .0075 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 550     550     15000   5000    7.2    .0041 error (invalid witness file) 0 --- inspect .75 .47 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .65 47 0   0     error (invalid witness file) 0 --- inspect .0023 .0029 .52 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 860     860     15000   6800    .025  0      error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 48 0   0     error (invalid witness file) 0 --- inspect .0047 .0060 .52 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 790     790     15000   8500    .033  .0041 error (invalid witness file) 0 --- inspect .76 .47 41 0   0   error (2) 0 --- inspect .026 .028 5.7 0    0   error (invalid witness file) 0 --- inspect .94 .61 48 0   0     error (invalid witness file) 0 --- inspect .0019 .0025 .52 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 520     520     15000   5900    7.9    0      error (invalid witness file) 0 --- inspect .62 .37 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .62 47 0   0     error (invalid witness file) 0 --- inspect .0020 .0026 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c error (42) 0 --- inspect 880     880     13000   9800    .074  0      error (invalid witness file) 0 --- inspect .77 .47 41 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .60 47 0   0     error (invalid witness file) 0 --- inspect .0058 .0074 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c error (42) 0 --- inspect 880     880     11000   6700    .082  0      error (invalid witness file) 0 --- inspect .72 .44 41 0   0   error (2) 0 --- inspect .027 .028 5.7 0    0   error (invalid witness file) 0 --- inspect .95 .60 47 0   0     error (invalid witness file) 0 --- inspect .0053 .0066 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 560     560     15000   5200    7.2    .0041 error (invalid witness file) 0 --- inspect .77 .48 41 0   0   error (2) 0 --- inspect .024 .025 5.8 0    0   error (invalid witness file) 0 --- inspect 1.0  .67 47 0   0     error (invalid witness file) 0 --- inspect .0023 .0029 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (42) 0 --- inspect 880     880     13000   8300    .082  0      error (invalid witness file) 0 --- inspect .68 .42 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .59 46 0   0     error (invalid witness file) 0 --- inspect .0051 .0064 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error (42) 0 --- inspect 880     880     10000   6400    .082  0      error (invalid witness file) 0 --- inspect .75 .45 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .64 47 0   0     error (invalid witness file) 0 --- inspect .0048 .0059 .53 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 540     540     15000   5000    7.9    0      error (invalid witness file) 0 --- inspect .68 .42 41 0   0   error (2) 0 --- inspect .021 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .98 .65 47 0   0     error (invalid witness file) 0 --- inspect .0065 .010  .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c error (42) 0 --- inspect 880     880     12000   5900    .082  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 .97 .62 47 0   0     error (invalid witness file) 0 --- inspect .0014 .0016 .39 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c error (42) 0 --- inspect 880     880     10000   6500    .074  0      error (invalid witness file) 0 --- inspect .79 .47 41 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .59 47 0   0     error (invalid witness file) 0 --- inspect .0035 .0046 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 540     540     15000   5200    7.2    0      error (invalid witness file) 0 --- inspect .83 .51 43 0   0   error (2) 0 --- inspect .025 .026 5.8 0    0   error (invalid witness file) 0 --- inspect .99 .63 48 0   0     error (invalid witness file) 0 --- inspect .0055 .0069 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (42) 0 --- inspect 880     880     12000   5600    .082  0      error (invalid witness file) 0 --- inspect .64 .39 41 0   0   error (2) 0 --- inspect .021 .022 5.7 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 error (42) 0 --- inspect 880     880     10000   6900    .082  0      error (invalid witness file) 0 --- inspect .61 .37 41 0   0   error (2) 0 --- inspect .024 .025 5.7 0    0   error (invalid witness file) 0 --- inspect 1.1  .72 48 0   0     error (invalid witness file) 0 --- inspect .0053 .0066 .40 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 89     89     15000   1000    .029  0      error (invalid witness file) 0 --- inspect .77 .47 42 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 .0045 .0055 .53 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 110     110     15000   860    .033  0      error (invalid witness file) 0 --- inspect .58 .36 42 0   0   error (2) 0 --- inspect .025 .027 5.8 0    0   error (invalid witness file) 0 --- inspect .96 .63 48 0   0     error (invalid witness file) 0 --- inspect .0023 .0030 .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 100     100     15000   810    .029  0      error (invalid witness file) 0 --- inspect .83 .50 41 0   0   error (2) 0 --- inspect .025 .026 5.8 0    0   error (invalid witness file) 0 --- inspect 1.0  .67 49 0   0     error (invalid witness file) 0 --- inspect .0027 .0036 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 92     92     15000   1000    .033  .0041 error (invalid witness file) 0 --- inspect .62 .38 41 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .96 .62 47 0   0     error (invalid witness file) 0 --- inspect .0043 .0054 .52 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 100     100     15000   710    .033  0      error (invalid witness file) 0 --- inspect .78 .47 41 0   0   error (2) 0 --- inspect .024 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 46 0   0     error (invalid witness file) 0 --- inspect .0061 .0077 .53 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 100     100     15000   770    .033  0      error (invalid witness file) 0 --- inspect .78 .49 40 0   0   error (2) 0 --- inspect .026 .027 5.7 0    0   error (invalid witness file) 0 --- inspect 1.1  .72 46 0   0     error (invalid witness file) 0 --- inspect .0068 .0087 .52 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 88     87     15000   1000    .033  .0041 error (invalid witness file) 0 --- inspect .68 .43 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .64 49 0   0     error (invalid witness file) 0 --- inspect .0050 .0061 .52 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 96     96     15000   910    .033  0      error (invalid witness file) 0 --- inspect .67 .42 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .63 48 0   0     error (invalid witness file) 0 --- inspect .0023 .0029 .52 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 97     96     15000   880    .033  .0041 error (invalid witness file) 0 --- inspect .60 .37 40 0   0   error (2) 0 --- inspect .022 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .97 .64 47 0   0     error (invalid witness file) 0 --- inspect .0049 .0060 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 88     88     15000   1200    .033  0      error (invalid witness file) 0 --- inspect .73 .45 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .61 47 0   0     error (invalid witness file) 0 --- inspect .0021 .0027 .53 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 100     100     15000   880    .033  0      error (invalid witness file) 0 --- inspect .75 .47 42 0   0   error (2) 0 --- inspect .028 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .60 47 0   0     error (invalid witness file) 0 --- inspect .0017 .0021 .53 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 97     96     15000   970    .033  0      error (invalid witness file) 0 --- inspect .59 .36 42 0   0   error (2) 0 --- inspect .027 .029 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .64 48 0   0     error (invalid witness file) 0 --- inspect .0054 .0090 .52 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 87     86     15000   990    .033  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.1  .71 48 0   0     error (invalid witness file) 0 --- inspect .0057 .0075 .53 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 100     100     15000   860    .033  0      error (invalid witness file) 0 --- inspect .70 .43 40 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 .0065 .53 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 100     100     15000   890    .033  0      error (invalid witness file) 0 --- inspect .73 .45 42 0   0   error (2) 0 --- inspect .022 .022 5.5 0    0   error (invalid witness file) 0 --- inspect .94 .62 47 0   0     error (invalid witness file) 0 --- inspect .0016 .0022 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 90     89     15000   820    .033  0      error (invalid witness file) 0 --- inspect .68 .42 42 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .61 47 0   0     error (invalid witness file) 0 --- inspect .0050 .0062 .52 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 110     110     15000   820    .033  0      error (invalid witness file) 0 --- inspect .62 .38 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .64 46 0   0     error (invalid witness file) 0 --- inspect .0051 .0066 .52 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 100     100     15000   1100    .033  0      error (invalid witness file) 0 --- inspect .68 .42 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .63 48 0   0     error (invalid witness file) 0 --- inspect .0028 .0047 .45 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 95     94     15000   900    .033  0      error (invalid witness file) 0 --- inspect .62 .37 42 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .61 47 0   0     error (invalid witness file) 0 --- inspect .0046 .0058 .52 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 110     100     15000   800    .033  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 1.0  .67 46 0   0     error (invalid witness file) 0 --- inspect .0021 .0027 .52 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 100     100     15000   670    .033  0      error (invalid witness file) 0 --- inspect .74 .46 41 0   0   error (2) 0 --- inspect .021 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .63 46 0   0     error (invalid witness file) 0 --- inspect .0045 .0056 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 88     87     15000   970    .033  .0041 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 .97 .63 47 0   0     error (invalid witness file) 0 --- inspect .0056 .0069 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 100     100     15000   830    .033  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 47 0   0     error (invalid witness file) 0 --- inspect .0021 .0026 .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 94     93     15000   1100    .033  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 .95 .61 47 0   0     error (invalid witness file) 0 --- inspect .0059 .0076 .52 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 110     110     15000   640    .033  0      error (invalid witness file) 0 --- inspect .67 .41 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 .0049 .0095 .52 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 110     110     15000   900    .025  0      error (invalid witness file) 0 --- inspect .65 .39 41 0   0   error (2) 0 --- inspect .020 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .99 .65 46 0   0     error (invalid witness file) 0 --- inspect .0016 .019  .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 110     110     15000   950    .033  0      error (invalid witness file) 0 --- inspect .77 .48 42 0   0   error (2) 0 --- inspect .026 .027 5.8 0    0   error (invalid witness file) 0 --- inspect .97 .63 48 0   0     error (invalid witness file) 0 --- inspect .0061 .014  .54 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 110     110     15000   1000    .033  .0041 error (invalid witness file) 0 --- inspect .77 .47 41 0   0   error (2) 0 --- inspect .022 .023 5.8 0    0   error (invalid witness file) 0 --- inspect .96 .63 49 0   0     error (invalid witness file) 0 --- inspect .0048 .0057 .54 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 110     110     15000   790    .033  0      error (invalid witness file) 0 --- inspect .75 .47 40 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .61 48 0   0     error (invalid witness file) 0 --- inspect .0017 .0023 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 110     110     15000   960    .029  0      error (invalid witness file) 0 --- inspect .59 .38 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 47 0   0     error (invalid witness file) 0 --- inspect .0018 .0021 .39 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 110     110     15000   850    .033  0      error (invalid witness file) 0 --- inspect .67 .42 40 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .63 48 0   0     error (invalid witness file) 0 --- inspect .0018 .0028 .53 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 110     110     15000   1000    .033  0      error (invalid witness file) 0 --- inspect .61 .38 40 0   0   error (2) 0 --- inspect .021 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .65 47 0   0     error (invalid witness file) 0 --- inspect .0046 .0057 .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 110     110     15000   830    .033  0      error (invalid witness file) 0 --- inspect .67 .42 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .62 47 0   0     error (invalid witness file) 0 --- inspect .0047 .0058 .54 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 110     110     15000   850    .033  0      error (invalid witness file) 0 --- inspect .66 .40 40 0   0   error (2) 0 --- inspect .025 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .65 46 0   0     error (invalid witness file) 0 --- inspect .0016 .0021 .54 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 100     100     15000   620    .033  0      error (invalid witness file) 0 --- inspect .73 .45 40 0   0   error (2) 0 --- inspect .021 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .62 47 0   0     error (invalid witness file) 0 --- inspect .0044 .0057 .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 120     120     15000   800    .033  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 .96 .64 47 0   0     error (invalid witness file) 0 --- inspect .0061 .0080 .53 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 110     110     15000   780    .033  0      error (invalid witness file) 0 --- inspect .63 .38 40 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .62 47 0   0     error (invalid witness file) 0 --- inspect .0013 .0015 .40 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 out of memory 0 --- inspect 490     490     15000   6200    890      .0082 error (invalid witness file) 0 --- inspect .77 .47 41 0   0   error (2) 0 --- inspect .022 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .66 48 0   0     error (invalid witness file) 0 --- inspect .0014 .0016 .41 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 out of memory 0 --- inspect 170     170     15000   1100    .025  0      error (invalid witness file) 0 --- inspect .70 .42 40 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .92 .59 46 0   0     error (invalid witness file) 0 --- inspect .0044 .0058 .53 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 out of memory 0 --- inspect 130     130     15000   1200    51      0      error (invalid witness file) 0 --- inspect .64 .38 42 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .94 .62 47 0   0     error (invalid witness file) 0 --- inspect .0022 .0028 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+sep-reducer.c out of memory 0 --- inspect 180     180     15000   1600    .025  0      error (invalid witness file) 0 --- inspect .69 .44 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .62 49 0   0     error (invalid witness file) 0 --- inspect .0018 .0023 .53 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 out of memory 0 --- inspect 810     810     15000   8500    1600      0      error (invalid witness file) 0 --- inspect .79 .47 42 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .60 47 0   0     error (invalid witness file) 0 --- inspect .0054 .0068 .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 180     180     15000   1100    .033  0      error (invalid witness file) 0 --- inspect .76 .48 43 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 .0047 .0059 .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 120     120     15000   1400    50      .0041 error (invalid witness file) 0 --- inspect .62 .37 41 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 .0054 .0071 .40 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 out of memory 0 --- inspect 180     180     15000   1600    .025  0      error (invalid witness file) 0 --- inspect .80 .49 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .62 46 0   0     error (invalid witness file) 0 --- inspect .0043 .0068 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 310     310     15000   4200    570      .0082 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 .62 47 0   0     error (invalid witness file) 0 --- inspect .0021 .0027 .53 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 out of memory 0 --- inspect 160     160     15000   1000    1.0    .0041 error (invalid witness file) 0 --- inspect .85 .52 40 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .60 47 0   0     error (invalid witness file) 0 --- inspect .0061 .0079 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 120     120     15000   1200    60      0      error (invalid witness file) 0 --- inspect .73 .46 40 0   0   error (2) 0 --- inspect .026 .028 5.5 0    0   error (invalid witness file) 0 --- inspect .92 .61 47 0   0     error (invalid witness file) 0 --- inspect .0016 .0018 .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 out of memory 0 --- inspect 170     170     15000   1400    .033  0      error (invalid witness file) 0 --- inspect .71 .43 43 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .64 47 0   0     error (invalid witness file) 0 --- inspect .0022 .0029 .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 out of memory 0 --- inspect 470     470     15000   5100    960      .0041 error (invalid witness file) 0 --- inspect .61 .36 41 0   0   error (2) 0 --- inspect .021 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .61 47 0   0     error (invalid witness file) 0 --- inspect .0016 .0020 .53 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 160     160     15000   1600    .93   0      error (invalid witness file) 0 --- inspect .73 .44 41 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .96 .62 47 0   0     error (invalid witness file) 0 --- inspect .0038 .0064 .52 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 110     110     15000   1600    58      .0041 error (invalid witness file) 0 --- inspect .76 .46 42 0   0   error (2) 0 --- inspect .022 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .95 .60 47 0   0     error (invalid witness file) 0 --- inspect .0051 .0069 .52 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 out of memory 0 --- inspect 180     180     15000   940    .025  0      error (invalid witness file) 0 --- inspect .65 .41 42 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .63 48 0   0     error (invalid witness file) 0 --- inspect .0067 .0094 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 130     130     15000   840    .033  0      error (invalid witness file) 0 --- inspect .59 .36 41 0   0   error (2) 0 --- inspect .021 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .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.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 110     110     15000   1200    59      .0041 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 .63 48 0   0     error (invalid witness file) 0 --- inspect .0033 .0041 .52 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 out of memory 0 --- inspect 200     200     15000   1200    .025  0      error (invalid witness file) 0 --- inspect .82 .50 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .69 48 0   0     error (invalid witness file) 0 --- inspect .0044 .0061 .52 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 140     140     15000   1300    61      0      error (invalid witness file) 0 --- inspect .61 .36 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .63 47 0   0     error (invalid witness file) 0 --- inspect .0058 .0075 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+sep-reducer.c out of memory 0 --- inspect 90     90     15000   860    .029  0      error (invalid witness file) 0 --- inspect .69 .41 40 0   0   error (2) 0 --- inspect .026 .027 5.7 0    0   error (invalid witness file) 0 --- inspect .98 .62 48 0   0     error (invalid witness file) 0 --- inspect .0016 .0023 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 110     110     15000   1300    73      .0041 error (invalid witness file) 0 --- inspect .60 .37 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .64 47 0   0     error (invalid witness file) 0 --- inspect .0054 .0072 .52 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 out of memory 0 --- inspect 270     270     15000   1600    .025  0      error (invalid witness file) 0 --- inspect .63 .38 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .59 47 0   0     error (invalid witness file) 0 --- inspect .0031 .0079 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 140     140     15000   1800    60      0      error (invalid witness file) 0 --- inspect .75 .46 42 0   0   error (2) 0 --- inspect .020 .020 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .60 48 0   0     error (invalid witness file) 0 --- inspect .0048 .0054 .40 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 out of memory 0 --- inspect 91     90     15000   1100    .033  0      error (invalid witness file) 0 --- inspect .63 .38 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .62 47 0   0     error (invalid witness file) 0 --- inspect .0053 .0067 .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 110     110     15000   1400    87      0      error (invalid witness file) 0 --- inspect .58 .35 41 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .64 47 0   0     error (invalid witness file) 0 --- inspect .0055 .0072 .52 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 out of memory 0 --- inspect 190     190     15000   1300    .033  0      error (invalid witness file) 0 --- inspect .65 .39 40 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .67 49 0   0     error (invalid witness file) 0 --- inspect .0055 .0068 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 130     130     15000   1600    75      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 .98 .63 48 0   0     error (invalid witness file) 0 --- inspect .0024 .0033 .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 out of memory 0 --- inspect 180     180     15000   1400    .025  0      error (invalid witness file) 0 --- inspect .61 .39 41 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .69 47 0   0     error (invalid witness file) 0 --- inspect .0019 .0024 .52 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 110     110     15000   1200    73      0      error (invalid witness file) 0 --- inspect .60 .37 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 .0025 .0032 .53 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 out of memory 0 --- inspect 220     210     15000   1200    .033  0      error (invalid witness file) 0 --- inspect .64 .40 41 0   0   error (2) 0 --- inspect .025 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .60 47 0   0     error (invalid witness file) 0 --- inspect .0051 .0065 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 150     150     15000   1200    73      .0041 error (invalid witness file) 0 --- inspect .61 .37 42 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 47 0   0     error (invalid witness file) 0 --- inspect .0021 .0027 .54 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 out of memory 0 --- inspect 220     220     15000   1600    .025  0      error (invalid witness file) 0 --- inspect .69 .43 41 0   0   error (2) 0 --- inspect .021 .023 5.8 0    0   error (invalid witness file) 0 --- inspect .99 .64 47 0   0     error (invalid witness file) 0 --- inspect .0037 .0063 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 120     120     15000   1300    65      0      error (invalid witness file) 0 --- inspect .64 .40 41 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .63 48 0   0     error (invalid witness file) 0 --- inspect .0046 .0057 .41 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 out of memory 0 --- inspect 93     93     15000   790    .025  0      error (invalid witness file) 0 --- inspect .62 .38 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .67 48 0   0     error (invalid witness file) 0 --- inspect .0047 .0061 .53 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 200     200     15000   1700    2.1    0      error (invalid witness file) 0 --- inspect .61 .37 42 0   0   error (2) 0 --- inspect .024 .025 5.7 0    0   error (invalid witness file) 0 --- inspect .93 .61 47 0   0     error (invalid witness file) 0 --- inspect .0045 .0056 .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 130     130     15000   1000    74      0      error (invalid witness file) 0 --- inspect .64 .38 43 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .65 47 0   0     error (invalid witness file) 0 --- inspect .0045 .0057 .40 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 out of memory 0 --- inspect 94     94     15000   690    .033  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 .95 .64 48 0   0     error (invalid witness file) 0 --- inspect .0036 .0046 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 270     270     15000   1700    1.0    0      error (invalid witness file) 0 --- inspect .73 .44 40 0   0   error (2) 0 --- inspect .023 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .60 47 0   0     error (invalid witness file) 0 --- inspect .0051 .0063 .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 out of memory 0 --- inspect 130     130     15000   1000    .033  0      error (invalid witness file) 0 --- inspect .73 .44 41 0   0   error (2) 0 --- inspect .023 .025 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 48 0   0     error (invalid witness file) 0 --- inspect .0019 .0026 .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 120     120     15000   1300    66      0      error (invalid witness file) 0 --- inspect .58 .37 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .65 48 0   0     error (invalid witness file) 0 --- inspect .0046 .0057 .53 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 out of memory 0 --- inspect 110     110     15000   880    .029  0      error (invalid witness file) 0 --- inspect .77 .47 40 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .63 48 0   0     error (invalid witness file) 0 --- inspect .0049 .0062 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 210     210     15000   1500    14      .0041 error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .023 .025 5.8 0    0   error (invalid witness file) 0 --- inspect 1.1  .68 47 0   0     error (invalid witness file) 0 --- inspect .0056 .0069 .52 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 out of memory 0 --- inspect 91     90     15000   820    .033  0      error (invalid witness file) 0 --- inspect .66 .39 40 0   0   error (2) 0 --- inspect .033 .034 5.5 0    0   error (invalid witness file) 0 --- inspect .92 .62 46 0   0     error (invalid witness file) 0 --- inspect .0021 .0030 .41 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 120     120     15000   1300    86      0      error (invalid witness file) 0 --- inspect .76 .46 41 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 .0049 .0066 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 110     110     15000   950    .033  0      error (invalid witness file) 0 --- inspect .70 .42 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .60 47 0   0     error (invalid witness file) 0 --- inspect .0026 .0036 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 250     250     15000   1900    14      0      error (invalid witness file) 0 --- inspect .73 .45 42 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .62 47 0   0     error (invalid witness file) 0 --- inspect .0022 .0028 .52 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 out of memory 0 --- inspect 86     86     15000   1100    .033  0      error (invalid witness file) 0 --- inspect .62 .37 40 0   0   error (2) 0 --- inspect .027 .028 5.7 0    0   error (invalid witness file) 0 --- inspect .92 .60 47 0   0     error (invalid witness file) 0 --- inspect .0030 .0044 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 130     130     15000   910    27      0      error (invalid witness file) 0 --- inspect .76 .46 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 49 0   0     error (invalid witness file) 0 --- inspect .0019 .0025 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 170     170     15000   1100    .025  0      error (invalid witness file) 0 --- inspect .75 .46 42 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .60 48 0   0     error (invalid witness file) 0 --- inspect .0017 .0022 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 120     120     15000   880    28      0      error (invalid witness file) 0 --- inspect .65 .40 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .61 47 0   0     error (invalid witness file) 0 --- inspect .0050 .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 out of memory 0 --- inspect 170     170     15000   1400    .033  0      error (invalid witness file) 0 --- inspect .62 .39 42 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .62 47 0   0     error (invalid witness file) 0 --- inspect .0049 .0061 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 120     120     15000   820    .033  0      error (invalid witness file) 0 --- inspect .84 .52 41 0   0   error (2) 0 --- inspect .026 .028 5.7 0    0   error (invalid witness file) 0 --- inspect .98 .63 47 0   0     error (invalid witness file) 0 --- inspect .0028 .0036 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 130     130     15000   1100    34      .0041 error (invalid witness file) 0 --- inspect .77 .46 42 0   0   error (2) 0 --- inspect .025 .026 5.7 0    0   error (invalid witness file) 0 --- inspect .94 .61 48 0   0     error (invalid witness file) 0 --- inspect .0019 .0024 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 170     170     15000   1200    .033  0      error (invalid witness file) 0 --- inspect .76 .47 42 0   0   error (2) 0 --- inspect .020 .020 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .62 47 0   0     error (invalid witness file) 0 --- inspect .0066 .0086 .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 130     130     15000   930    35      0      error (invalid witness file) 0 --- inspect .73 .46 41 0   0   error (2) 0 --- inspect .023 .024 5.7 0    0   error (invalid witness file) 0 --- inspect .97 .64 49 0   0     error (invalid witness file) 0 --- inspect .0061 .0078 .52 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 out of memory 0 --- inspect 170     170     15000   1000    .033  0      error (invalid witness file) 0 --- inspect .63 .39 40 0   0   error (2) 0 --- inspect .021 .023 5.7 0    0   error (invalid witness file) 0 --- inspect 1.0  .65 47 0   0     error (invalid witness file) 0 --- inspect .0064 .010  .49 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 190     190     15000   2900    410      .0041 error (invalid witness file) 0 --- inspect .79 .47 41 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .64 48 0   0     error (invalid witness file) 0 --- inspect .0024 .0031 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 140     140     15000   1300    120      0      error (invalid witness file) 0 --- inspect .75 .46 40 0   0   error (2) 0 --- inspect .020 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .96 .62 48 0   0     error (invalid witness file) 0 --- inspect .0051 .0064 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 130     130     15000   1500    190      0      error (invalid witness file) 0 --- inspect .84 .51 40 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .99 .64 48 0   0     error (invalid witness file) 0 --- inspect .0018 .0023 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+sep-reducer.c out of memory 0 --- inspect 150     150     15000   1100    74      0      error (invalid witness file) 0 --- inspect .58 .37 41 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 .0042 .0048 .39 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 220     220     15000   2600    500      0      error (invalid witness file) 0 --- inspect .78 .48 41 0   0   error (2) 0 --- inspect .021 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .62 48 0   0     error (invalid witness file) 0 --- inspect .0021 .0029 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 130     130     15000   1200    99      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 .96 .62 48 0   0     error (invalid witness file) 0 --- inspect .0022 .0029 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 130     130     15000   1400    160      0      error (invalid witness file) 0 --- inspect .59 .38 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .61 47 0   0     error (invalid witness file) 0 --- inspect .0018 .0023 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c out of memory 0 --- inspect 140     140     15000   1300    69      0      error (invalid witness file) 0 --- inspect .59 .37 40 0   0   error (2) 0 --- inspect .025 .026 5.7 0    0   error (invalid witness file) 0 --- inspect .97 .61 48 0   0     error (invalid witness file) 0 --- inspect .0058 .0074 .53 0     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 760     760     15000   7800    1200      .0041 error (invalid witness file) 0 --- inspect .78 .48 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .62 47 0   0     error (invalid witness file) 0 --- inspect .0020 .0027 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 230     230     15000   1800    60      0      error (invalid witness file) 0 --- inspect .60 .37 40 0   0   error (2) 0 --- inspect .021 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .63 47 0   0     error (invalid witness file) 0 --- inspect .0050 .0061 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 130     120     15000   1300    110      0      error (invalid witness file) 0 --- inspect .72 .43 41 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 .0020 .0025 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+sep-reducer.c out of memory 0 --- inspect 240     240     15000   1700    32      0      error (invalid witness file) 0 --- inspect .72 .43 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .60 47 0   0     error (invalid witness file) 0 --- inspect .0060 .0077 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880     880     12000   8700    1400      0      error (invalid witness file) 0 --- inspect .77 .46 41 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0   error (invalid witness file) 0 --- inspect 1.2  .77 48 0   0     error (invalid witness file) 0 --- inspect .0065 .0082 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 230     230     15000   1800    58      .0041 error (invalid witness file) 0 --- inspect .72 .44 43 0   0   error (2) 0 --- inspect .020 .021 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-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 130     130     15000   1400    100      0      error (invalid witness file) 0 --- inspect .73 .45 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .62 47 0   0     error (invalid witness file) 0 --- inspect .0050 .0065 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c out of memory 0 --- inspect 240     240     15000   2300    34      0      error (invalid witness file) 0 --- inspect .73 .44 40 0   0   error (2) 0 --- inspect .026 .027 5.7 0    0   error (invalid witness file) 0 --- inspect .99 .63 47 0   0     error (invalid witness file) 0 --- inspect .0064 .0086 .53 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 140     140     15000   980    .033  0      error (invalid witness file) 0 --- inspect .58 .36 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .65 47 0   0     error (invalid witness file) 0 --- inspect .0055 .0068 .53 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 130     130     15000   1500    140      0      error (invalid witness file) 0 --- inspect .78 .48 41 0   0   error (2) 0 --- inspect .020 .021 5.8 0    0   error (invalid witness file) 0 --- inspect .95 .61 48 0   0     error (invalid witness file) 0 --- inspect .0056 .0071 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 170     170     15000   1200    .48   0      error (invalid witness file) 0 --- inspect .62 .39 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .65 46 0   0     error (invalid witness file) 0 --- inspect .0048 .0065 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 150     150     15000   1200    94      .0041 error (invalid witness file) 0 --- inspect .61 .38 41 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 49 0   0     error (invalid witness file) 0 --- inspect .0056 .0084 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+sep-reducer.c out of memory 0 --- inspect 130     130     15000   900    .029  0      error (invalid witness file) 0 --- inspect .63 .39 40 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 49 0   0     error (invalid witness file) 0 --- inspect .0016 .0019 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 150     150     15000   1200    .033  0      error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .63 47 0   0     error (invalid witness file) 0 --- inspect .0022 .0028 .52 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 140     140     15000   1400    130      .0041 error (invalid witness file) 0 --- inspect .66 .41 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .59 47 0   0     error (invalid witness file) 0 --- inspect .0057 .0079 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 170     170     15000   1100    .47   0      error (invalid witness file) 0 --- inspect .66 .40 41 0   0   error (2) 0 --- inspect .023 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .60 47 0   0     error (invalid witness file) 0 --- inspect .0059 .0078 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 150     150     15000   1100    90      0      error (invalid witness file) 0 --- inspect .67 .42 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .62 48 0   0     error (invalid witness file) 0 --- inspect .0044 .0057 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c out of memory 0 --- inspect 130     130     15000   1100    .029  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 .59 47 0   0     error (invalid witness file) 0 --- inspect .0061 .011  .54 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 170     170     15000   1100    .025  0      error (invalid witness file) 0 --- inspect .57 .36 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .58 46 0   0     error (invalid witness file) 0 --- inspect .0059 .0075 .41 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 150     150     15000   1600    93      .0041 error (invalid witness file) 0 --- inspect .70 .43 41 0   0   error (2) 0 --- inspect .021 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .93 .62 46 0   0     error (invalid witness file) 0 --- inspect .0057 .0069 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 120     120     15000   850    .033  0      error (invalid witness file) 0 --- inspect .74 .45 41 0   0   error (2) 0 --- inspect .022 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .62 47 0   0     error (invalid witness file) 0 --- inspect .0059 .0077 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 160     160     15000   1100    49      0      error (invalid witness file) 0 --- inspect .79 .49 41 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 .0015 .0024 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+sep-reducer.c out of memory 0 --- inspect 120     120     15000   1200    .033  0      error (invalid witness file) 0 --- inspect .62 .37 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .62 47 0   0     error (invalid witness file) 0 --- inspect .0019 .0025 .53 0     0      - --- 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 170     170     15000   1200    .025  0      error (invalid witness file) 0 --- inspect .77 .47 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .61 47 0   0     error (invalid witness file) 0 --- inspect .0047 .0073 .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 150     140     15000   1500    110      .0041 error (invalid witness file) 0 --- inspect .74 .46 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 .0020 .0027 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 130     130     15000   950    .033  0      error (invalid witness file) 0 --- inspect .80 .50 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 .0029 .0038 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 160     160     15000   1100    49      0      error (invalid witness file) 0 --- inspect .80 .49 41 0   0   error (2) 0 --- inspect .026 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .61 47 0   0     error (invalid witness file) 0 --- inspect .0019 .0034 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c out of memory 0 --- inspect 130     130     15000   1200    .033  0      error (invalid witness file) 0 --- inspect .63 .39 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .63 46 0   0     error (invalid witness file) 0 --- inspect .0052 .0065 .52 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 160     160     15000   1500    98      0      error (invalid witness file) 0 --- inspect .75 .44 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 48 0   0     error (invalid witness file) 0 --- inspect .0047 .0058 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 170     170     15000   1700    .025  0      error (invalid witness file) 0 --- inspect .70 .43 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 .0046 .0059 .53 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 160     160     15000   1100    12      0      error (invalid witness file) 0 --- inspect .63 .40 42 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .62 47 0   0     error (invalid witness file) 0 --- inspect .0060 .0083 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+sep-reducer.c out of memory 0 --- inspect 110     110     15000   1100    .033  0      error (invalid witness file) 0 --- inspect .67 .41 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 .0020 .0028 .53 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 170     170     15000   1200    110      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 .99 .65 47 0   0     error (invalid witness file) 0 --- inspect .0016 .0022 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 200     200     15000   1600    .025  0      error (invalid witness file) 0 --- inspect .62 .38 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 48 0   0     error (invalid witness file) 0 --- inspect .0053 .0067 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 160     160     15000   1000    12      0      error (invalid witness file) 0 --- inspect .73 .44 40 0   0   error (2) 0 --- inspect .020 .021 5.7 0    0   error (invalid witness file) 0 --- inspect 1.1  .70 47 0   0     error (invalid witness file) 0 --- inspect .0018 .0024 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c out of memory 0 --- inspect 140     140     15000   1300    .033  0      error (invalid witness file) 0 --- inspect .62 .39 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .63 47 0   0     error (invalid witness file) 0 --- inspect .0069 .0090 .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 140     140     15000   1300    29      0      error (invalid witness file) 0 --- inspect .72 .44 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .63 47 0   0     error (invalid witness file) 0 --- inspect .0057 .0069 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 140     140     15000   1700    .029  0      error (invalid witness file) 0 --- inspect .75 .46 41 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect 1.0  .65 49 0   0     error (invalid witness file) 0 --- inspect .0061 .0086 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 190     190     15000   1300    1.6    0      error (invalid witness file) 0 --- inspect .75 .46 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .63 49 0   0     error (invalid witness file) 0 --- inspect .0056 .0072 .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 130     130     15000   1000    14      0      error (invalid witness file) 0 --- inspect .77 .47 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .64 47 0   0     error (invalid witness file) 0 --- inspect .0050 .0064 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 140     140     15000   1200    .033  0      error (invalid witness file) 0 --- inspect .60 .36 42 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .61 47 0   0     error (invalid witness file) 0 --- inspect .0053 .0066 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 200     200     15000   1800    1.6    0      error (invalid witness file) 0 --- inspect .65 .40 40 0   0   error (2) 0 --- inspect .024 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 47 0   0     error (invalid witness file) 0 --- inspect .0058 .0076 .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 error (42) 0 --- inspect 880     880     12000   8200    .074  0      error (invalid witness file) 0 --- inspect .64 .37 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .61 46 0   0     error (invalid witness file) 0 --- inspect .0050 .0060 .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 560     560     15000   4400    .025  .0041 error (invalid witness file) 0 --- inspect .58 .36 40 0   0   error (2) 0 --- inspect .024 .025 5.7 0    0   error (invalid witness file) 0 --- inspect .95 .64 47 0   0     error (invalid witness file) 0 --- inspect .0054 .0067 .53 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 740     740     15000   8100    .029  0      error (invalid witness file) 0 --- inspect .70 .44 41 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 47 0   0     error (invalid witness file) 0 --- inspect .0017 .0022 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880     880     12000   8600    .082  0      error (invalid witness file) 0 --- inspect .58 .35 41 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .69 47 0   0     error (invalid witness file) 0 --- inspect .0059 .0093 .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 530     530     15000   4500    .012  .0041 error (invalid witness file) 0 --- inspect .75 .46 41 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 .0028 .0037 .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 800     800     15000   6400    .025  0      error (invalid witness file) 0 --- inspect .82 .50 42 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .63 47 0   0     error (invalid witness file) 0 --- inspect .0046 .018  .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 600     600     15000   5100    3.9    0      error (invalid witness file) 0 --- inspect .61 .37 42 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .61 47 0   0     error (invalid witness file) 0 --- inspect .0044 .0053 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 870     870     15000   7600    .025  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 1.0  .67 48 0   0     error (invalid witness file) 0 --- inspect .0047 .0053 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 590     590     15000   6200    3.6    0      error (invalid witness file) 0 --- inspect .61 .38 41 0   0   error (2) 0 --- inspect .026 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .60 46 0   0     error (invalid witness file) 0 --- inspect .0021 .0026 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (42) 0 --- inspect 880     880     11000   6300    .082  0      error (invalid witness file) 0 --- inspect .76 .47 42 0   0   error (2) 0 --- inspect .022 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .96 .64 47 0   0     error (invalid witness file) 0 --- inspect .0065 .0084 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error (42) 0 --- inspect 880     880     14000   6800    .082  0      error (invalid witness file) 0 --- inspect .74 .46 40 0   0   error (2) 0 --- inspect .025 .026 5.8 0    0   error (invalid witness file) 0 --- inspect .95 .61 47 0   0     error (invalid witness file) 0 --- inspect .0049 .0057 .40 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 590     590     15000   5900    3.9    0      error (invalid witness file) 0 --- inspect .74 .44 40 0   0   error (2) 0 --- inspect .026 .027 5.5 0    0   error (invalid witness file) 0 --- inspect .96 .63 47 0   0     error (invalid witness file) 0 --- inspect .0051 .0063 .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 error (42) 0 --- inspect 880     880     13000   5800    .094  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 .93 .60 47 0   0     error (invalid witness file) 0 --- inspect .0055 .0071 .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 error (42) 0 --- inspect 880     880     11000   6300    .082  0      error (invalid witness file) 0 --- inspect .66 .39 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .62 48 0   0     error (invalid witness file) 0 --- inspect .0060 .0076 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 590     590     15000   4700    3.6    0      error (invalid witness file) 0 --- inspect .68 .43 41 0   0   error (2) 0 --- inspect .025 .026 5.7 0    0   error (invalid witness file) 0 --- inspect 1.0  .67 49 0   0     error (invalid witness file) 0 --- inspect .0016 .0019 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (42) 0 --- inspect 880     880     13000   6200    .082  0      error (invalid witness file) 0 --- inspect .68 .42 41 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .60 47 0   0     error (invalid witness file) 0 --- inspect .0060 .0077 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error (42) 0 --- inspect 880     880     11000   8000    .082  0      error (invalid witness file) 0 --- inspect .80 .49 42 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 47 0   0     error (invalid witness file) 0 --- inspect .0046 .0059 .52 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 590     590     15000   5100    3.9    0      error (invalid witness file) 0 --- inspect .74 .45 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .63 47 0   0     error (invalid witness file) 0 --- inspect .0046 .0059 .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 error (42) 0 --- inspect 880     880     13000   6400    .082  0      error (invalid witness file) 0 --- inspect .77 .47 43 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .64 46 0   0     error (invalid witness file) 0 --- inspect .0049 .0061 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c error (42) 0 --- inspect 880     880     11000   6800    .082  0      error (invalid witness file) 0 --- inspect .65 .41 41 0   0   error (2) 0 --- inspect .028 .029 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .64 47 0   0     error (invalid witness file) 0 --- inspect .0022 .0028 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 600     600     15000   5200    3.6    0      error (invalid witness file) 0 --- inspect .63 .39 41 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .68 47 0   0     error (invalid witness file) 0 --- inspect .0062 .0079 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (42) 0 --- inspect 880     880     13000   5700    .082  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 .95 .62 47 0   0     error (invalid witness file) 0 --- inspect .0049 .0061 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error (42) 0 --- inspect 880     880     11000   6500    .082  0      error (invalid witness file) 0 --- inspect .75 .46 40 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect 1.1  .68 48 0   0     error (invalid witness file) 0 --- inspect .0032 .0040 .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 91     90     15000   1000    .033  0      error (invalid witness file) 0 --- inspect .69 .43 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .64 47 0   0     error (invalid witness file) 0 --- inspect .0054 .0087 .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 100     100     15000   810    .033  0      error (invalid witness file) 0 --- inspect .60 .37 40 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect 1.2  .76 47 0   0     error (invalid witness file) 0 --- inspect .0052 .0066 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 92     92     15000   950    .033  0      error (invalid witness file) 0 --- inspect .77 .47 41 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .61 46 0   0     error (invalid witness file) 0 --- inspect .0058 .0072 .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 110     110     15000   750    .033  0      error (invalid witness file) 0 --- inspect .66 .42 41 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .65 47 0   0     error (invalid witness file) 0 --- inspect .0056 .0071 .53 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 100     100     15000   780    .029  0      error (invalid witness file) 0 --- inspect .60 .36 40 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .60 46 0   0     error (invalid witness file) 0 --- inspect .0018 .0023 .40 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 88     88     15000   1000    .033  0      error (invalid witness file) 0 --- inspect .69 .42 40 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .69 46 0   0     error (invalid witness file) 0 --- inspect .0014 .0016 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 97     97     15000   860    .033  0      error (invalid witness file) 0 --- inspect .83 .50 40 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .59 47 0   0     error (invalid witness file) 0 --- inspect .0035 .0055 .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 100     100     15000   710    .033  0      error (invalid witness file) 0 --- inspect .70 .43 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .64 47 0   0     error (invalid witness file) 0 --- inspect .0042 .0057 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 93     93     15000   1100    .033  0      error (invalid witness file) 0 --- inspect .59 .37 41 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .64 48 0   0     error (invalid witness file) 0 --- inspect .0056 .0073 .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 100     100     15000   850    .029  0      error (invalid witness file) 0 --- inspect .73 .45 40 0   0   error (2) 0 --- inspect .023 .024 5.7 0    0   error (invalid witness file) 0 --- inspect .94 .62 47 0   0     error (invalid witness file) 0 --- inspect .0062 .0079 .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 100     100     15000   840    .033  0      error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .020 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .63 47 0   0     error (invalid witness file) 0 --- inspect .0050 .0065 .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 88     88     15000   1000    .033  0      error (invalid witness file) 0 --- inspect .76 .47 40 0   0   error (2) 0 --- inspect .026 .027 5.5 0    0   error (invalid witness file) 0 --- inspect .94 .62 47 0   0     error (invalid witness file) 0 --- inspect .0062 .0079 .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 110     110     15000   760    .029  0      error (invalid witness file) 0 --- inspect .60 .36 41 0   0   error (2) 0 --- inspect .026 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .61 47 0   0     error (invalid witness file) 0 --- inspect .0062 .0082 .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 110     110     15000   910    .029  .0041 error (invalid witness file) 0 --- inspect .77 .47 42 0   0   error (2) 0 --- inspect .024 .024 5.5 0    0   error (invalid witness file) 0 --- inspect .97 .62 47 0   0     error (invalid witness file) 0 --- inspect .0054 .0076 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 93     92     15000   1100    .033  0      error (invalid witness file) 0 --- inspect .61 .38 42 0   0   error (2) 0 --- inspect .026 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .60 47 0   0     error (invalid witness file) 0 --- inspect .0042 .0051 .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 110     110     15000   990    .029  0      error (invalid witness file) 0 --- inspect .76 .46 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .90 .58 46 0   0     error (invalid witness file) 0 --- inspect .0019 .0039 .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 100     100     15000   1100    .033  0      error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .022 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .97 .64 48 0   0     error (invalid witness file) 0 --- inspect .0026 .0040 .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 92     92     15000   1100    .033  0      error (invalid witness file) 0 --- inspect .72 .45 41 0   0   error (2) 0 --- inspect .026 .027 5.7 0    0   error (invalid witness file) 0 --- inspect .98 .65 47 0   0     error (invalid witness file) 0 --- inspect .0014 .0016 .40 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 110     110     15000   860    .033  0      error (invalid witness file) 0 --- inspect .63 .39 40 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 .0025 .0043 .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 100     100     15000   810    .033  0      error (invalid witness file) 0 --- inspect .77 .46 42 0   0   error (2) 0 --- inspect .025 .026 5.7 0    0   error (invalid witness file) 0 --- inspect .95 .63 48 0   0     error (invalid witness file) 0 --- inspect .0031 .0040 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 88     87     15000   1100    .033  0      error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .60 47 0   0     error (invalid witness file) 0 --- inspect .0041 .0054 .53 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 110     110     15000   810    .033  0      error (invalid witness file) 0 --- inspect .75 .46 40 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 48 0   0     error (invalid witness file) 0 --- inspect .0050 .0065 .53 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 110     110     15000   760    .029  0      error (invalid witness file) 0 --- inspect .73 .44 40 0   0   error (2) 0 --- inspect .025 .030 5.7 0    0   error (invalid witness file) 0 --- inspect .91 .57 47 0   0     error (invalid witness file) 0 --- inspect .0057 .0069 .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 110     110     15000   1200    .033  0      error (invalid witness file) 0 --- inspect .78 .47 40 0   0   error (2) 0 --- inspect .026 .028 5.7 0    0   error (invalid witness file) 0 --- inspect .95 .61 48 0   0     error (invalid witness file) 0 --- inspect .0061 .0079 .54 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 86     85     15000   570    .033  0      error (invalid witness file) 0 --- inspect .70 .43 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .67 49 0   0     error (invalid witness file) 0 --- inspect .0024 .0030 .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 110     110     15000   650    .033  0      error (invalid witness file) 0 --- inspect .65 .38 41 0   0   error (2) 0 --- inspect .026 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .64 47 0   0     error (invalid witness file) 0 --- inspect .0055 .0089 .41 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 110     110     15000   870    .033  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 1.0  .64 48 0   0     error (invalid witness file) 0 --- inspect .0032 .0044 .54 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 110     110     15000   780    .029  0      error (invalid witness file) 0 --- inspect .76 .46 41 0   0   error (2) 0 --- inspect .025 .026 5.7 0    0   error (invalid witness file) 0 --- inspect 1.0  .64 48 0   0     error (invalid witness file) 0 --- inspect .0020 .0027 .53 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 110     110     15000   660    .033  0      error (invalid witness file) 0 --- inspect .60 .35 42 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .60 47 0   0     error (invalid witness file) 0 --- inspect .0046 .0060 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 120     120     15000   860    .033  0      error (invalid witness file) 0 --- inspect .63 .39 42 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .59 47 0   0     error (invalid witness file) 0 --- inspect .0046 .0055 .39 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 110     110     15000   720    .033  0      error (invalid witness file) 0 --- inspect .70 .42 41 0   0   error (2) 0 --- inspect .022 .024 5.7 0    0   error (invalid witness file) 0 --- inspect .97 .62 47 0   0     error (invalid witness file) 0 --- inspect .0052 .0087 .52 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 110     110     15000   800    .029  0      error (invalid witness file) 0 --- inspect .63 .39 43 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .62 47 0   0     error (invalid witness file) 0 --- inspect .0022 .0029 .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 110     110     15000   920    .029  0      error (invalid witness file) 0 --- inspect .77 .46 42 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .60 47 0   0     error (invalid witness file) 0 --- inspect .0018 .0024 .53 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 84     83     15000   720    .033  0      error (invalid witness file) 0 --- inspect .66 .41 40 0   0   error (2) 0 --- inspect .028 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .63 47 0   0     error (invalid witness file) 0 --- inspect .0058 .0074 .53 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 110     110     15000   720    .033  0      error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .023 .024 5.7 0    0   error (invalid witness file) 0 --- inspect .96 .61 47 0   0     error (invalid witness file) 0 --- inspect .0046 .0057 .54 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 98     98     15000   710    .033  0      error (invalid witness file) 0 --- inspect .64 .39 42 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .61 46 0   0     error (invalid witness file) 0 --- inspect .0051 .0061 .39 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 110     110     15000   1100    .033  0      error (invalid witness file) 0 --- inspect .57 .36 40 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .66 47 0   0     error (invalid witness file) 0 --- inspect .0052 .0069 .54 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 84     84     15000   620    .033  0      error (invalid witness file) 0 --- inspect .70 .44 42 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .93 .62 47 0   0     error (invalid witness file) 0 --- inspect .0046 .0056 .52 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 110     110     15000   860    .033  0      error (invalid witness file) 0 --- inspect .80 .49 41 0   0   error (2) 0 --- inspect .022 .023 5.7 0    0   error (invalid witness file) 0 --- inspect 1.1  .72 47 0   0     error (invalid witness file) 0 --- inspect .0051 .0064 .54 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 540     540     15000   5300    7.9    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .44 41 0   0   error (2) 0 --- inspect .025 .027 5.6 0   0  
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c error (42) 0 --- inspect 880     880     13000   6800    .082  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .44 41 0   0   error (2) 0 --- inspect .024 .025 5.6 0   0  
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c error (42) 0 --- inspect 880     880     11000   5600    .082  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .47 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0   0  
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 540     540     15000   6000    7.1    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 41 0   0   error (2) 0 --- inspect .019 .020 5.7 0   0  
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (42) 0 --- inspect 880     880     13000   6000    .082  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 41 0   0   error (2) 0 --- inspect .027 .028 5.6 0   0  
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error (42) 0 --- inspect 880     880     10000   6600    .074  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 41 0   0   error (2) 0 --- inspect .027 .028 5.6 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 98     98     15000   1100    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .47 42 0   0   error (2) 0 --- inspect .020 .021 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 89     89     15000   1000    .029  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .46 41 0   0   error (2) 0 --- inspect .032 .033 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 110     110     15000   890    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 42 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 out of memory 0 --- inspect 100     100     15000   700    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .38 42 0   0   error (2) 0 --- inspect .021 .021 5.6 0   0  
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 98     98     15000   960    .033  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .41 40 0   0   error (2) 0 --- inspect .029 .030 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 100     100     15000   820    .029  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 40 0   0   error (2) 0 --- inspect .023 .024 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 out of memory 0 --- inspect 490     490     15000   5200    890      .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 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 out of memory 0 --- inspect 170     170     15000   1000    .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .41 40 0   0   error (2) 0 --- inspect .024 .025 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 out of memory 0 --- inspect 120     120     15000   1200    51      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 41 0   0   error (2) 0 --- inspect .027 .027 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 out of memory 0 --- inspect 180     180     15000   1200    .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .46 40 0   0   error (2) 0 --- inspect .023 .024 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 820     820     15000   7600    1600      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .36 41 0   0   error (2) 0 --- inspect .028 .029 5.6 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 180     180     15000   1200    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .44 41 0   0   error (2) 0 --- inspect .025 .037 5.5 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 120     120     15000   1300    50      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 40 0   0   error (2) 0 --- inspect .027 .028 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c out of memory 0 --- inspect 180     180     15000   1300    .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .43 40 0   0   error (2) 0 --- inspect .029 .030 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 100     100     15000   1200    59      .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .47 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 190     190     15000   1800    .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .57 .35 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 140     140     15000   1500    61      .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .41 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+sep-reducer.c out of memory 0 --- inspect 96     95     15000   800    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .020 .020 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 110     110     15000   1200    73      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .36 40 0   0   error (2) 0 --- inspect .027 .028 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 260     260     15000   1900    .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 41 0   0   error (2) 0 --- inspect .029 .030 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 150     150     15000   1500    59      .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .44 40 0   0   error (2) 0 --- inspect .027 .027 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c out of memory 0 --- inspect 96     96     15000   780    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .57 .36 41 0   0   error (2) 0 --- inspect .020 .022 5.8 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 130     130     15000   910    .029  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0   0  
seq-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 120     120     15000   1100    65      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .44 40 0   0   error (2) 0 --- inspect .022 .023 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 190     190     15000   2100    2.1    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 41 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.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 130     130     15000   1300    74      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .56 .34 40 0   0   error (2) 0 --- inspect .026 .026 5.6 0   0  
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 270     270     15000   2100    1.0    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .47 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 120     120     15000   950    27      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .39 40 0   0   error (2) 0 --- inspect .021 .022 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 170     170     15000   1100    .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .50 41 0   0   error (2) 0 --- inspect .022 .023 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 120     120     15000   920    28      .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .35 40 0   0   error (2) 0 --- inspect .027 .028 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 190     190     15000   2500    410      .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .39 41 0   0   error (2) 0 --- inspect .023 .023 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 150     140     15000   1300    120      .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 130     130     15000   1600    190      .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .57 .35 40 0   0   error (2) 0 --- inspect .023 .024 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+sep-reducer.c out of memory 0 --- inspect 150     150     15000   1100    73      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .42 40 0   0   error (2) 0 --- inspect .025 .026 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 220     220     15000   2600    500      .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 40 0   0   error (2) 0 --- inspect .020 .022 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 140     140     15000   1200    98      .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .41 40 0   0   error (2) 0 --- inspect .035 .036 5.5 0   0  
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 120     120     15000   1400    160      .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .43 40 0   0   error (2) 0 --- inspect .027 .028 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c out of memory 0 --- inspect 140     140     15000   1100    68      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .46 41 0   0   error (2) 0 --- inspect .024 .025 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 740     740     15000   8000    1200      .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .48 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 230     230     15000   1500    59      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 40 0   0   error (2) 0 --- inspect .022 .023 5.7 0   0  
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 130     130     15000   1300    110      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 41 0   0   error (2) 0 --- inspect .022 .025 5.7 0   0  
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+sep-reducer.c out of memory 0 --- inspect 240     240     15000   1600    32      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .027 .029 5.8 0   0  
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880     880     12000   9800    1400      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 230     230     15000   1800    58      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .41 41 0   0   error (2) 0 --- inspect .021 .023 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 130     130     15000   1600    100      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .48 42 0   0   error (2) 0 --- inspect .021 .022 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c out of memory 0 --- inspect 240     240     15000   1700    34      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .41 40 0   0   error (2) 0 --- inspect .026 .027 5.5 0   0  
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 140     140     15000   1100    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 40 0   0   error (2) 0 --- inspect .023 .025 5.7 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 130     130     15000   1700    140      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .43 41 0   0   error (2) 0 --- inspect .025 .027 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 170     170     15000   1100    .47   0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 41 0   0   error (2) 0 --- inspect .027 .028 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 150     150     15000   1500    92      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .84 .51 42 0   0   error (2) 0 --- inspect .024 .026 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+sep-reducer.c out of memory 0 --- inspect 130     130     15000   960    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 130     130     15000   1800    130      .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .45 40 0   0   error (2) 0 --- inspect .026 .026 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 170     170     15000   1300    .47   0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .36 40 0   0   error (2) 0 --- inspect .027 .028 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 150     150     15000   1200    90      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c out of memory 0 --- inspect 130     130     15000   880    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .46 41 0   0   error (2) 0 --- inspect .027 .028 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 160     160     15000   1000    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .43 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 150     150     15000   1100    93      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .43 42 0   0   error (2) 0 --- inspect .024 .027 5.7 0   0  
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 120     120     15000   890    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .39 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 160     160     15000   1100    49      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .39 40 0   0   error (2) 0 --- inspect .038 .044 5.8 0   0  
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+sep-reducer.c out of memory 0 --- inspect 120     120     15000   1100    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .39 41 0   0   error (2) 0 --- inspect .021 .023 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 180     180     15000   1100    .025  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 40 0   0   error (2) 0 --- inspect .021 .023 5.7 0   0  
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 160     160     15000   1300    110      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 41 0   0   error (2) 0 --- inspect .024 .027 5.7 0   0  
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 120     120     15000   920    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .38 42 0   0   error (2) 0 --- inspect .027 .029 5.7 0   0  
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 160     160     15000   1100    48      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .37 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c out of memory 0 --- inspect 120     120     15000   990    .029  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .41 42 0   0   error (2) 0 --- inspect .023 .024 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 160     160     15000   1300    98      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 41 0   0   error (2) 0 --- inspect .028 .029 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 170     170     15000   1500    .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .40 40 0   0   error (2) 0 --- inspect .024 .025 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 150     150     15000   1400    12      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .45 41 0   0   error (2) 0 --- inspect .027 .029 5.6 0   0  
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 180     180     15000   1400    110      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .44 40 0   0   error (2) 0 --- inspect .023 .025 5.7 0   0  
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 160     160     15000   1200    12      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .79 .48 41 0   0   error (2) 0 --- inspect .019 .020 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 600     600     15000   4700    3.8    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .41 40 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 error (42) 0 --- inspect 880     880     13000   6800    .082  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .48 41 0   0   error (2) 0 --- inspect .026 .028 5.6 0   0  
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c error (42) 0 --- inspect 880     880     11000   9700    .082  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0   0  
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error (42) 0 --- inspect 880     880     13000   8500    .074  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 40 0   0   error (2) 0 --- inspect .025 .026 5.7 0   0  
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error (42) 0 --- inspect 880     880     11000   6600    .082  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .36 40 0   0   error (2) 0 --- inspect .028 .029 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 88     88     15000   990    .033  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .41 40 0   0   error (2) 0 --- inspect .022 .023 5.7 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 110     110     15000   780    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .44 40 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+nlh-reducer.c out of memory 0 --- inspect 110     110     15000   760    .029  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 40 0   0   error (2) 0 --- inspect .021 .023 5.8 0   0  
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 96     95     15000   890    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 42 0   0   error (2) 0 --- inspect .020 .020 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 100     100     15000   810    .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .38 42 0   0   error (2) 0 --- inspect .022 .023 5.8 0   0  
seq-pthread/cs_fib_false-unreach-call.i error (134) 0 --- inspect .53  .53  64   6.1  .0082 0      error (invalid witness file) 0 --- inspect .73 .45 42 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .65 46 0   0     error (invalid witness file) 0 --- inspect .0050 .0066 .52 0     0      - --- inspect - --- inspect
seq-pthread/cs_fib_longer_false-unreach-call.i error (134) 0 --- inspect .57  .57  62   5.9  .0082 0      error (invalid witness file) 0 --- inspect .61 .36 40 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .68 48 0   0     error (invalid witness file) 0 --- inspect .0051 .0064 .53 0     0      - --- inspect - --- inspect
seq-pthread/cs_lazy_false-unreach-call_true-termination.i error (134) 0 --- inspect .45  .45  60   5.3  .0082 0      error (invalid witness file) 0 --- inspect .75 .45 40 0   0   error (2) 0 --- inspect .020 .021 5.7 0    0   error (invalid witness file) 0 --- inspect .99 .63 48 0   0     error (invalid witness file) 0 --- inspect .0064 .0081 .54 0     0      - --- inspect - --- inspect
seq-pthread/cs_queue_false-unreach-call.i error (134) 0 --- inspect 8.4   8.4   670   110    .0082 0      error (invalid witness file) 0 --- inspect .73 .45 41 0   0   error (2) 0 --- inspect .027 .028 5.7 0    0   error (invalid witness file) 0 --- inspect .93 .62 47 0   0     error (invalid witness file) 0 --- inspect .0038 .0062 .40 0     0      - --- inspect - --- inspect
seq-pthread/cs_read_write_lock_false-unreach-call.i error (134) 0 --- inspect 7.4   7.4   740   120    .0082 0      error (invalid witness file) 0 --- inspect .69 .42 40 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0   error (invalid witness file) 0 --- inspect 1.2  .76 48 0   0     error (invalid witness file) 0 --- inspect .0023 .0030 .52 0     0      - --- inspect - --- inspect
seq-pthread/cs_stack_false-unreach-call.i error (134) 0 --- inspect .82  .82  84   12    .0082 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  .65 49 0   0     error (invalid witness file) 0 --- inspect .0049 .0064 .40 0     0      - --- inspect - --- inspect
seq-pthread/cs_stateful_false-unreach-call_true-termination.i error (134) 0 --- inspect .46  .46  56   5.3  .0082 0      error (invalid witness file) 0 --- inspect .77 .47 40 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .74 46 0   0     error (invalid witness file) 0 --- inspect .0053 .0063 .53 0     0      - --- inspect - --- inspect
seq-pthread/cs_dekker_true-unreach-call.i error (134) 0 --- inspect 1.3   1.3   140   17    .45   0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .41 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0   0  
seq-pthread/cs_fib_longer_true-unreach-call.i out of memory 0 --- inspect 490     490     15000   5200    440      .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .40 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0   0  
seq-pthread/cs_fib_true-unreach-call.i out of memory 0 --- inspect 550     550     15000   6500    650      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .43 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0   0  
seq-pthread/cs_lamport_true-unreach-call.i error (134) 0 --- inspect 1.2   1.2   100   14    .35   0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .47 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0   0  
seq-pthread/cs_peterson_true-unreach-call.i error (134) 0 --- inspect 1.1   1.1   120   13    .35   0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .37 42 0   0   error (2) 0 --- inspect .023 .024 5.6 0   0  
seq-pthread/cs_queue_true-unreach-call.i error (134) 0 --- inspect 9.2   9.2   750   120    .0082 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .48 40 0   0   error (2) 0 --- inspect .023 .024 5.6 0   0  
seq-pthread/cs_read_write_lock_true-unreach-call.i error (134) 0 --- inspect 8.5   8.5   850   110    .41   0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .39 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0   0  
seq-pthread/cs_stack_true-unreach-call.i error (134) 0 --- inspect 2.1   2.1   170   29    2.5    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 40 0   0   error (2) 0 --- inspect .026 .026 5.6 0   0  
seq-pthread/cs_stateful_true-unreach-call.i error (134) 0 --- inspect .48  .48  56   5.7  .0082 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .38 40 0   0   error (2) 0 --- inspect .020 .022 5.6 0   0  
seq-pthread/cs_sync_true-unreach-call.i error (134) 0 --- inspect 1.1   1.1   130   15    .26   0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0   0  
seq-pthread/cs_szymanski_true-unreach-call.i error (134) 0 --- inspect 1.2   1.2   130   16    .34   0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .42 41 0   0   error (2) 0 --- inspect .020 .021 5.7 0   0  
seq-pthread/cs_time_var_mutex_true-unreach-call.i error (134) 0 --- inspect 1.1   1.1   120   14    .41   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  
sv-benchmarks/c/ status score witness inspect witness cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
total 589 7 130000 130000 8400000 1300000 98000    .57 400 -92 320 190 18000 0   0   400 -125 150 90 5600 4.5 0   400 5 420 270 20000 0   1.0  400 7 6.5 7.1 350 .97 .020 189 0 130 80 7700 0   0   189 0 4.5 4.7 1100 0   0  
    correct results 7 7 19 19 640 250 .91 0    4 4 25 14 1100 0   0   3 3 100 58 2100 1.9 0   5 5 32 18 1400 0   1.0  7 7 4.9 4.9 150 .97 .020 0 0
        correct true 0 0 0 0 0 0 0
        correct false 7 7 19 19 640 250 .91 0    4 4 25 14 1100 0   0   3 3 100 58 2100 1.9 0   5 5 32 18 1400 0   1.0  7 7 4.9 4.9 150 .97 .020 0 0
    incorrect results 0 3 -96 24 13 970 0   0   4 -128 38 22 1300 2.6 0   0 0 0 0
        incorrect true 0 3 -96 24 13 970 0   0   4 -128 38 22 1300 2.6 0   0 0 0 0
        incorrect false 0 0 0 0 0 0 0
score (589 tasks, max score: 778) 7 -92 -125 5 7 0 0
Run set cbmc-path.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-cbmc-path.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-cbmc-path.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-cbmc-path.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-cbmc-path.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-cbmc-path.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-cbmc-path.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized