Tool CBMC 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:48:40 CET 2018-12-06 08:59:15 CET 2018-12-06 10:10:50 CET 2018-12-06 10:22:39 CET 2018-12-12 19:29:48 CET 2018-12-06 07:35:27 CET 2018-12-06 09:23:57 CET
Run set cbmc.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-cbmc.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-cbmc.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-cbmc.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-cbmc.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-cbmc.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-cbmc.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.2018-12-04_2248.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/cbmc.2018-12-04_2248.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.2018-12-04_2248.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/cbmc.2018-12-04_2248.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.2018-12-04_2248.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/cbmc.2018-12-04_2248.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
systemc/kundu1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.4  3.4  62   49   .20   0      false(unreach-call) 1 wit inspect 7.2  3.8  300 0   0   false(unreach-call) 1 --- inspect 19     10     710   .62 0   false(unreach-call) 1 --- inspect 6.7  3.6  290 0     0     false(unreach-call) 1 --- inspect .68   .68   22    .11  0     - --- inspect - --- inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .26 .25 13   3.4 .0082 0      false(unreach-call) 1 wit inspect 6.1  3.2  280 0   0   false(unreach-call) 1 --- inspect 13     7.0   520   .66 0   false(unreach-call) 1 --- inspect 6.1  3.4  270 0     0     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 .12 .11 10   1.4 .0082 0      false(unreach-call) 1 wit inspect 4.9  2.7  260 0   0   true -32 --- inspect 8.0   4.9   310   .62 0   unknown 0 --- inspect 5.1  2.9  280 0     0     false(unreach-call) 1 --- inspect .63   .63   21    .090 0     - --- inspect - --- inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .11 .11 9.2 1.3 .0082 0      false(unreach-call) 1 wit inspect 5.1  2.8  260 0   0   true -32 --- inspect 9.7   5.3   310   .66 0   unknown 0 --- inspect 4.7  2.7  260 0     0     false(unreach-call) 1 --- inspect .63   .64   21    .098 0     - --- inspect - --- inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 18    18    320   260   .68   0      false(unreach-call) 1 wit inspect 12    6.5  520 0   0   timeout 0 --- inspect 96     56     5300   .77 0   false(unreach-call) 1 --- inspect 18    11    1000 0     0     false(unreach-call) 1 --- inspect .87   .87   28    .14  .016 - --- inspect - --- inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.5  1.5  49   22   .11   0      false(unreach-call) 1 wit inspect 5.9  3.2  270 0   0   false(unreach-call) 1 --- inspect 18     11     670   .62 0   unknown 0 --- inspect 5.4  3.1  270 0     0     false(unreach-call) 1 --- inspect .65   .64   21    .094 0     - --- inspect - --- inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.0  2.9  76   37   .13   0      false(unreach-call) 1 wit inspect 6.6  3.6  290 0   0   false(unreach-call) 1 --- inspect 35     19     730   .66 0   unknown 0 --- inspect 5.5  3.1  280 0     0     false(unreach-call) 1 --- inspect .65   .65   21    .11  0     - --- inspect - --- inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 5.3  5.3  110   72   .18   0      false(unreach-call) 1 wit inspect 6.6  3.5  270 0   0   false(unreach-call) 1 --- inspect 43     24     1100   .62 0   unknown 0 --- inspect 6.2  3.4  290 0     0     false(unreach-call) 1 --- inspect .68   .69   22    .12  0     - --- inspect - --- inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 8.6  8.6  150   110   .21   0      false(unreach-call) 1 wit inspect 7.5  4.0  300 0   0   false(unreach-call) 1 --- inspect 67     38     1300   .62 0   unknown 0 --- inspect 7.2  3.9  290 0     0     false(unreach-call) 1 --- inspect .70   .70   22    .13  .012 - --- inspect - --- inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 14    14    190   140   .27   0      false(unreach-call) 1 wit inspect 11    5.7  310 0   0   false(unreach-call) 1 --- inspect 73     43     2500   .62 0   unknown 0 --- inspect 8.3  4.4  350 0     0     false(unreach-call) 1 --- inspect .72   .72   22    .14  0     - --- inspect - --- inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 20    20    250   250   .33   0      false(unreach-call) 1 wit inspect 8.9  4.7  320 0   0   timeout 0 --- inspect 96     55     3700   .79 0   unknown 0 --- inspect 9.0  4.8  410 0     0     false(unreach-call) 1 --- inspect .75   .75   23    .15  0     - --- inspect - --- inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 30    30    300   340   .39   0      false(unreach-call) 1 wit inspect 11    5.6  320 0   0   timeout 0 --- inspect 97     57     4500   1.7  0   unknown 0 --- inspect 11    5.7  450 0     0     false(unreach-call) 1 --- inspect .76   .76   24    .16  0     - --- inspect - --- inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 45    45    380   470   .39   0      false(unreach-call) 1 wit inspect 12    6.4  350 0   0   timeout 0 --- inspect 97     57     4500   .70 0   unknown 0 --- inspect 11    5.6  420 0     0     false(unreach-call) 1 --- inspect .79   .79   24    .18  0     - --- inspect - --- inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 64    64    440   660   .46   0      false(unreach-call) 1 wit inspect 12    6.1  410 0   0   timeout 0 --- inspect 97     57     4600   1.9  0   unknown 0 --- inspect 12    6.3  500 0     0     false(unreach-call) 1 --- inspect .82   .82   25    .19  0     - --- inspect - --- inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 88    88    530   740   .52   0      false(unreach-call) 1 wit inspect 14    7.5  420 0   0   timeout 0 --- inspect 97     59     4600   1.8  0   unknown 0 --- inspect 13    6.9  470 0     0     false(unreach-call) 1 --- inspect .84   .84   26    .20  .025 - --- inspect - --- inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 120    120    610   980   .59   0      false(unreach-call) 1 wit inspect 16    8.3  490 0   0   timeout 0 --- inspect 98     63     4600   .86 0   unknown 0 --- inspect 16    8.5  620 0     0     false(unreach-call) 1 --- inspect .87   .87   26    .21  0     - --- inspect - --- inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 150    150    700   1500   .66   0      false(unreach-call) 1 wit inspect 15    8.0  470 0   0   timeout 0 --- inspect 97     63     4600   1.7  0   unknown 0 --- inspect 15    8.0  600 0     0     false(unreach-call) 1 --- inspect .91   .93   27    .22  0     - --- inspect - --- inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 200    200    810   1400   .76   0      false(unreach-call) 1 wit inspect 12    6.4  480 0   0   timeout 0 --- inspect 96     61     4600   .68 0   unknown 0 --- inspect 18    11    840 0     0     false(unreach-call) 1 --- inspect .92   .92   28    .24  0     - --- inspect - --- inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 160    160    700   1200   .67   0      false(unreach-call) 1 wit inspect 14    7.6  500 0   0   timeout 0 --- inspect 97     65     4600   1.8  0   unknown 0 --- inspect 15    8.7  660 0     0     false(unreach-call) 1 --- inspect .90   .90   27    .22  0     - --- inspect - --- inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 200    200    810   1500   .76   0      false(unreach-call) 1 wit inspect 17    8.8  520 0   0   timeout 0 --- inspect 98     64     4600   1.4  0   unknown 0 --- inspect 18    11    960 0     0     false(unreach-call) 1 --- inspect .93   .93   28    .24  0     - --- inspect - --- inspect
systemc/toy1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.6  3.6  55   43   .19   0      false(unreach-call) 1 wit inspect 8.3  4.4  270 0   0   false(unreach-call) 1 --- inspect 35     19     1000   .62 0   false(unreach-call) 1 --- inspect 8.6  4.6  390 0     0     false(unreach-call) 1 --- inspect .68   .68   22    .10  .012 - --- inspect - --- inspect
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 3.5  3.4  54   49   .18   0      false(unreach-call) 1 wit inspect 8.1  4.3  300 0   0   false(unreach-call) 1 --- inspect 35     18     980   .62 0   false(unreach-call) 1 --- inspect 8.1  4.4  360 0     0     false(unreach-call) 1 --- inspect .70   .70   22    .10  .012 - --- inspect - --- inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .11 .11 9.7 1.0 .0082 0      false(unreach-call) 1 wit inspect 6.1  3.3  260 0   0   false(unreach-call) 1 --- inspect 14     8.3   520   .66 0   false(unreach-call) 1 --- inspect 4.4  2.5  260 0     0     false(unreach-call) 1 --- inspect .63   .63   21    .090 0     - --- inspect - --- inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .14 .14 9.5 1.5 .0082 0      false(unreach-call) 1 wit inspect 6.8  3.7  260 0   0   false(unreach-call) 1 --- inspect 22     13     680   .66 0   false(unreach-call) 1 --- inspect 5.5  3.1  270 0     0     false(unreach-call) 1 --- inspect .66   .66   21    .10  0     - --- inspect - --- inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .19 .18 11   1.9 .0082 0      false(unreach-call) 1 wit inspect 7.0  3.7  270 0   0   false(unreach-call) 1 --- inspect 35     20     710   .62 0   false(unreach-call) 1 --- inspect 5.4  3.0  270 0     .074 false(unreach-call) 1 --- inspect .66   .66   21    .11  0     - --- inspect - --- inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .23 .22 13   2.7 .0082 0      false(unreach-call) 1 wit inspect 9.2  4.9  290 0   0   false(unreach-call) 1 --- inspect 51     29     1000   .62 0   false(unreach-call) 1 --- inspect 6.2  3.4  290 0     0     false(unreach-call) 1 --- inspect .69   .69   22    .13  0     - --- inspect - --- inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .30 .29 17   4.0 .0082 0      false(unreach-call) 1 wit inspect 8.4  4.5  300 0   0   false(unreach-call) 1 --- inspect 64     36     1600   .62 0   false(unreach-call) 1 --- inspect 7.0  3.8  290 0     0     false(unreach-call) 1 --- inspect .70   .70   22    .14  0     - --- inspect - --- inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .40 .39 21   4.4 .0082 0      false(unreach-call) 1 wit inspect 10    5.2  310 0   0   false(unreach-call) 1 --- inspect 81     47     2800   .62 0   false(unreach-call) 1 --- inspect 8.2  4.4  320 0     0     false(unreach-call) 1 --- inspect .73   .73   22    .15  0     - --- inspect - --- inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .50 .49 25   7.0 .0082 0      false(unreach-call) 1 wit inspect 8.5  4.5  320 0   0   timeout 0 --- inspect 97     55     3400   1.7  0   false(unreach-call) 1 --- inspect 9.4  5.0  390 0     0     false(unreach-call) 1 --- inspect .75   .74   23    .16  0     - --- inspect - --- inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .60 .59 30   8.0 .0082 0      false(unreach-call) 1 wit inspect 11    6.0  350 0   0   timeout 0 --- inspect 98     57     4300   .64 0   false(unreach-call) 1 --- inspect 9.3  5.0  440 0     0     false(unreach-call) 1 --- inspect .77   .78   23    .17  .020 - --- inspect - --- inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .75 .74 36   11   .0082 0      false(unreach-call) 1 wit inspect 11    6.0  350 0   0   timeout 0 --- inspect 98     58     4500   .62 0   false(unreach-call) 1 --- inspect 11    6.1  420 0     0     false(unreach-call) 1 --- inspect .80   .79   24    .18  0     - --- inspect - --- inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect .91 .90 42   12   .0082 0      false(unreach-call) 1 wit inspect 13    6.7  400 0   0   timeout 0 --- inspect 98     60     4600   1.9  0   false(unreach-call) 1 --- inspect 13    6.7  500 0     0     false(unreach-call) 1 --- inspect .83   .83   25    .19  0     - --- inspect - --- inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.1  1.1  48   16   .0082 0      false(unreach-call) 1 wit inspect 12    6.1  440 0   0   timeout 0 --- inspect 96     61     4600   1.6  0   false(unreach-call) 1 --- inspect 12    6.9  500 0     0     false(unreach-call) 1 --- inspect .85   .85   25    .21  0     - --- inspect - --- inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.3  1.3  56   15   .0082 0      false(unreach-call) 1 wit inspect 14    7.3  460 0   0   timeout 0 --- inspect 97     60     4600   .87 0   false(unreach-call) 1 --- inspect 15    7.9  570 0     0     false(unreach-call) 1 --- inspect .90   .90   26    .22  0     - --- inspect - --- inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.6  1.6  62   20   .0082 0      false(unreach-call) 1 wit inspect 14    7.4  470 0   0   timeout 0 --- inspect 98     66     4500   2.3  0   false(unreach-call) 1 --- inspect 15    8.3  630 0     0     false(unreach-call) 1 --- inspect .90   .90   27    .23  0     - --- inspect - --- inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.3  1.3  51   19   .0082 0      false(unreach-call) 1 wit inspect 8.0  4.3  300 0   0   true -32 --- inspect 14     7.7   350   .62 0   false(unreach-call) 1 --- inspect 6.9  3.7  290 0     .13  false(unreach-call) 1 --- inspect .79   .79   21    .22  0     - --- inspect - --- inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 1.4  1.4  54   18   .0082 0      false(unreach-call) 1 wit inspect 8.0  4.3  280 0   0   true -32 --- inspect 11     6.8   350   .62 0   false(unreach-call) 1 --- inspect 6.5  3.5  290 0     0     false(unreach-call) 1 --- inspect .80   .80   21    .24  0     - --- inspect - --- inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    1100   5000   23      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 40 0   0   error (2) 0 --- inspect .026 .028 5.6 0    0    
systemc/kundu_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    740   5800   12      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 41 0   0   error (2) 0 --- inspect .024 .026 5.7 0    0    
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    380   10000   7.3    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .41 41 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0    
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    490   7900   9.2    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .47 41 0   0   error (2) 0 --- inspect .026 .028 5.7 0    0    
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    510   8400   9.3    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .024 .026 5.6 0    0    
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    520   10000   9.4    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .42 40 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0    
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    540   7900   9.5    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .025 .027 5.6 0    0    
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    770   5800   27      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .45 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    780   7000   20      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .38 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 870    880    570   5300   20      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
systemc/pipeline_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    360   4500   6.4    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .79 .49 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0    
systemc/token_ring.01_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    640   6200   30      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 41 0   0   error (2) 0 --- inspect .025 .027 5.8 0    0    
systemc/token_ring.02_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 870    880    800   7600   25      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .38 41 0   0   error (2) 0 --- inspect .030 .032 5.6 0    0    
systemc/token_ring.03_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    680   9000   14      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .39 40 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0    
systemc/token_ring.04_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    880   8200   19      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .36 41 0   0   error (2) 0 --- inspect .027 .029 5.6 0    0    
systemc/token_ring.05_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 870    880    1100   8700   5.8    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .028 .029 5.6 0    0    
systemc/token_ring.06_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    1200   7400   7.4    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0    
systemc/token_ring.07_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    390   4500   7.6    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .41 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0    
systemc/token_ring.08_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    480   6800   9.4    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .47 41 0   0   error (2) 0 --- inspect .023 .023 5.6 0    0    
systemc/token_ring.09_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    580   8700   11      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .40 42 0   0   error (2) 0 --- inspect .026 .027 5.7 0    0    
systemc/token_ring.10_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    580   6000   13      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .36 40 0   0   error (2) 0 --- inspect .020 .020 5.6 0    0    
systemc/token_ring.11_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    890   8200   15      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 40 0   0   error (2) 0 --- inspect .026 .027 5.5 0    0    
systemc/token_ring.12_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    860   9600   17      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .027 .029 5.7 0    0    
systemc/token_ring.13_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    970   9100   20      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .41 40 0   0   error (2) 0 --- inspect .021 .024 5.6 0    0    
systemc/toy_true-unreach-call_false-termination.cil.c error (42) 0 --- inspect 880    880    790   9700   1.7    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .47 40 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0    
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect .22 .21 12   3.4 .0082 0      true -32 wit inspect 5.8  3.1  280 0   0   false(unreach-call) 1 --- inspect 20     11     470   .62 0   false(unreach-call) 1 --- inspect 5.9  3.2  290 0     .053 error (2) 0 --- inspect .73   .73   21    .049 0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .22 .21 13   2.2 .0082 0      true -32 wit inspect 6.8  3.6  290 0   0   false(unreach-call) 1 --- inspect 17     9.5   520   .66 0   false(unreach-call) 1 --- inspect 5.9  3.3  290 0     .053 error (2) 0 --- inspect .73   .75   21    .049 0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect .25 .24 14   2.7 .0082 0      true -32 wit inspect 6.4  3.4  300 0   0   false(unreach-call) 1 --- inspect 26     14     560   .66 0   false(unreach-call) 1 --- inspect 7.4  4.0  270 0     0     error (2) 0 --- inspect .76   .75   22    .049 0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .31 .30 14   2.8 .0082 0      true -32 wit inspect 8.8  4.6  300 0   0   false(unreach-call) 1 --- inspect 24     13     580   .62 0   false(unreach-call) 1 --- inspect 7.0  3.8  300 0     .20  error (2) 0 --- inspect .75   .75   22    .049 0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect .23 .22 14   3.3 .0082 0      true -32 wit inspect 8.3  4.4  300 0   0   false(unreach-call) 1 --- inspect 23     13     720   .62 0   false(unreach-call) 1 --- inspect 7.1  3.9  300 0     .098 error (2) 0 --- inspect .75   .74   22    .049 0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .26 .25 13   2.6 .0082 0      true -32 wit inspect 8.7  4.6  300 0   0   false(unreach-call) 1 --- inspect 23     13     730   .62 0   false(unreach-call) 1 --- inspect 6.9  3.7  300 0     .053 error (2) 0 --- inspect .79   .78   22    .049 0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 1.1  1.1  32   14   .46   0      true -32 wit inspect 10    5.4  340 0   0   false(unreach-call) 1 --- inspect 85     55     3900   .62 0   false(unreach-call) 1 --- inspect 10    5.4  390 0     0     error (2) 0 --- inspect .87   .87   25    .049 0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.0  1.0  32   12   .45   0      true -32 wit inspect 9.5  5.0  330 0   0   false(unreach-call) 1 --- inspect 75     44     3100   .62 0   false(unreach-call) 1 --- inspect 9.6  5.1  380 0     0     error (2) 0 --- inspect .87   .86   24    .049 0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect .65 .64 26   8.8 .28   0      true -32 wit inspect 23    12    540 0   0   false(unreach-call) 1 --- inspect 30     17     1400   .62 0   false(unreach-call) 1 --- inspect 10    5.4  450 0     0     error (2) 0 --- inspect .79   .79   23    .045 0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .65 .64 26   8.0 .26   0      true -32 wit inspect 15    7.8  470 0   0   false(unreach-call) 1 --- inspect 32     17     1400   .62 0   false(unreach-call) 1 --- inspect 9.8  5.2  450 0     0     error (2) 0 --- inspect .78   .78   22    .045 0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect .62 .61 26   9.5 .23   0      true -32 wit inspect 16    8.3  530 0   0   false(unreach-call) 1 --- inspect 32     18     1100   .62 0   false(unreach-call) 1 --- inspect 8.9  4.7  440 0     .066 error (2) 0 --- inspect .76   .76   22    .045 0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .67 .66 26   7.9 .22   0      true -32 wit inspect 15    7.5  370 0   0   false(unreach-call) 1 --- inspect 32     18     1000   .66 0   false(unreach-call) 1 --- inspect 9.3  5.0  440 0     .15  error (2) 0 --- inspect .75   .75   22    .045 0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .42 .41 15   5.8 .16   0      true -32 wit inspect 6.7  3.5  290 0   0   timeout 0 --- inspect 96     82     900   .65 0   false(unreach-call) 1 --- inspect 6.2  3.4  290 0     .15  false(unreach-call) 1 --- inspect .77   .76   22    .16  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .40 .39 15   4.7 .16   0      true -32 wit inspect 8.6  4.5  300 0   0   false(unreach-call) 1 --- inspect 34     20     620   .62 0   unknown 0 --- inspect 6.4  3.5  290 0     0     false(unreach-call) 1 --- inspect .77   .77   22    .16  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .15 .14 9.6 1.8 .0082 0      true -32 wit inspect 5.8  3.2  260 0   0   false(unreach-call) 1 --- inspect 46     30     730   .62 0   false(unreach-call) 1 --- inspect 5.6  3.1  280 0     .15  false(unreach-call) 1 --- inspect .77   .78   22    .17  .016 - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .15 .14 10   1.5 .0082 0      true -32 wit inspect 7.5  4.0  280 0   0   false(unreach-call) 1 --- inspect 43     28     840   .62 0   false(unreach-call) 1 --- inspect 5.5  3.1  270 0     .16  false(unreach-call) 1 --- inspect .76   .75   21    .16  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .39 .38 16   6.0 .17   0      true -32 wit inspect 6.8  3.6  290 0   0   timeout (false(unreach-call)) 0 --- inspect 91     78     900   .62 0   false(unreach-call) 1 --- inspect 6.2  3.4  290 0     .15  false(unreach-call) 1 --- inspect .77   .77   22    .17  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .39 .38 16   4.5 .16   0      true -32 wit inspect 8.2  4.4  290 0   0   false(unreach-call) 1 --- inspect 70     51     1000   .62 0   false(unreach-call) 1 --- inspect 6.4  3.5  290 0     .15  false(unreach-call) 1 --- inspect .78   .77   22    .16  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .44 .43 16   5.7 .16   0      true -32 wit inspect 8.6  4.5  290 0   0   false(unreach-call) 1 --- inspect 37     24     860   .62 0   false(unreach-call) 1 --- inspect 6.9  3.7  290 0     .15  false(unreach-call) 1 --- inspect .79   .78   22    .17  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .40 .39 16   6.2 .16   0      true -32 wit inspect 8.2  4.3  290 0   0   false(unreach-call) 1 --- inspect 85     67     1100   .62 0   false(unreach-call) 1 --- inspect 7.1  3.9  300 0     .20  false(unreach-call) 1 --- inspect .80   .81   22    .14  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    1200   6100   33      0      error (invalid witness file) 0 --- inspect .77 .47 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 .0014 .0016 .41 0     0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 1.1  1.1  26   16   .37   0      true -32 wit inspect 9.1  4.8  300 0   0   timeout 0 --- inspect 98     68     2400   1.4  0   false(unreach-call) 1 --- inspect 11    5.7  420 0     0     false(unreach-call) 1 --- inspect 1.0    1.0    24    .33  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.2  1.2  27   14   .36   0      true -32 wit inspect 9.8  5.2  340 0   0   timeout 0 --- inspect 97     70     1900   1.7  0   false(unreach-call) 1 --- inspect 14    7.6  470 0     .082 false(unreach-call) 1 --- inspect 1.1    1.1    24    .31  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 1.2  1.2  27   16   .32   0      true -32 wit inspect 9.2  4.8  330 0   0   true -32 --- inspect 12     7.2   370   .62 0   false(unreach-call) 1 --- inspect 8.9  4.8  330 0     0     false(unreach-call) 1 --- inspect 1.0    1.0    24    .33  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.2  1.2  26   16   .30   0      true -32 wit inspect 11    5.6  330 0   0   true -32 --- inspect 13     7.6   360   .66 0   false(unreach-call) 1 --- inspect 8.9  4.8  320 0     0     false(unreach-call) 1 --- inspect 1.0    1.0    24    .32  .033 - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 1.2  1.2  27   18   .39   0      true -32 wit inspect 13    6.7  340 0   0   true -32 --- inspect 13     7.6   380   .62 0   false(unreach-call) 1 --- inspect 9.8  5.2  370 0     .24  false(unreach-call) 1 --- inspect 1.1    1.1    25    .33  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.2  1.2  26   19   .36   0      true -32 wit inspect 11    5.8  340 0   0   true -32 --- inspect 15     8.3   370   .62 0   false(unreach-call) 1 --- inspect 10    5.4  400 0     0     false(unreach-call) 1 --- inspect 1.1    1.1    24    .32  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 1.3  1.2  26   18   .38   0      true -32 wit inspect 9.3  4.8  310 0   0   true -32 --- inspect 13     7.2   380   .66 0   false(unreach-call) 1 --- inspect 12    6.3  400 0     .23  false(unreach-call) 1 --- inspect 1.1    1.1    24    .33  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.4  1.4  26   16   .36   0      true -32 wit inspect 12    6.0  340 0   0   true -32 --- inspect 12     6.7   380   .66 0   false(unreach-call) 1 --- inspect 11    6.1  420 0     .20  false(unreach-call) 1 --- inspect 1.1    1.1    24    .32  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    780   7700   7.2    0      error (invalid witness file) 0 --- inspect .60 .38 41 0   0   error (2) 0 --- inspect .021 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .98 .64 47 0     0     error (invalid witness file) 0 --- inspect .0043 .0054 .41 0     0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 10    10    63   140   1.8    0      true -32 wit inspect 14    7.2  500 0   0   timeout 0 --- inspect 97     63     4400   1.0  0   false(unreach-call) 1 --- inspect 19    11    700 0     .15  false(unreach-call) 1 --- inspect 1.6    1.6    28    .66  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 11    11    74   160   1.6    0      true -32 wit inspect 15    7.9  500 0   0   timeout 0 --- inspect 97     60     4500   1.6  0   false(unreach-call) 1 --- inspect 20    13    740 0     0     false(unreach-call) 1 --- inspect 1.6    1.6    28    .61  .057 - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 5.2  5.2  45   67   .66   0      true -32 wit inspect 14    7.1  490 0   0   true -32 --- inspect 15     8.5   460   .66 0   false(unreach-call) 1 --- inspect 15    8.0  560 0     .16  false(unreach-call) 1 --- inspect 1.7    1.7    27    .66  .066 - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.2  5.2  46   75   .63   0      true -32 wit inspect 11    5.8  490 0   0   true -32 --- inspect 17     9.6   460   .66 0   false(unreach-call) 1 --- inspect 16    8.6  560 0     .053 false(unreach-call) 1 --- inspect 1.6    1.7    27    .62  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 11    11    65   150   1.7    0      true -32 wit inspect 15    7.7  510 0   0   true -32 --- inspect 16     9.3   460   .66 0   false(unreach-call) 1 --- inspect 16    8.9  680 0     0     false(unreach-call) 1 --- inspect 1.6    1.6    28    .66  .066 - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 12    12    75   140   1.6    0      true -32 wit inspect 16    8.6  500 0   0   true -32 --- inspect 15     8.7   500   .62 0   false(unreach-call) 1 --- inspect 18    11    740 0     .11  false(unreach-call) 1 --- inspect 1.6    1.6    28    .62  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 11    11    64   160   1.8    0      true -32 wit inspect 16    8.6  500 0   0   true -32 --- inspect 16     9.3   510   .62 0   false(unreach-call) 1 --- inspect 23    13    730 0     0     false(unreach-call) 1 --- inspect 1.6    1.6    28    .66  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 12    12    75   170   1.7    0      true -32 wit inspect 14    7.4  500 0   0   true -32 --- inspect 15     8.5   510   .66 0   false(unreach-call) 1 --- inspect 22    13    700 0     .066 false(unreach-call) 1 --- inspect 1.6    1.6    28    .62  0     - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    240   9200   .95   0      error (invalid witness file) 0 --- inspect .62 .38 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .62 47 0     0     error (invalid witness file) 0 --- inspect .0016 .0021 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .25 .24 10   3.1 .16   0      true -32 wit inspect 6.2  3.3  290 0   0   false(unreach-call) 1 --- inspect 30     18     730   .62 0   false(unreach-call) 1 --- inspect 6.6  3.6  290 0     .098 error (2) 0 --- inspect .69   .69   22    .041 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .25 .24 11   2.8 .14   0      true -32 wit inspect 5.7  3.0  290 0   0   false(unreach-call) 1 --- inspect 20     12     530   .62 0   false(unreach-call) 1 --- inspect 6.0  3.3  290 0     0     error (2) 0 --- inspect .66   .66   22    .041 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .24 .23 10   2.7 .15   0      true -32 wit inspect 6.6  3.6  260 0   0   false(unreach-call) 1 --- inspect 12     6.4   360   .62 0   false(unreach-call) 1 --- inspect 5.5  3.1  280 0     .053 error (2) 0 --- inspect .66   .65   22    .041 .012 - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .24 .23 11   2.9 .14   0      true -32 wit inspect 7.0  3.7  270 0   0   false(unreach-call) 1 --- inspect 19     11     620   .62 0   false(unreach-call) 1 --- inspect 6.2  3.4  290 0     .053 error (2) 0 --- inspect .66   .66   22    .041 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect .70 .69 16   9.0 .46   0      true -32 wit inspect 7.3  3.9  300 0   0   timeout 0 --- inspect 97     80     1100   1.6  0   false(unreach-call) 1 --- inspect 7.2  3.9  280 0     .066 error (2) 0 --- inspect .70   .72   23    .045 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .76 .74 21   10   .44   0      true -32 wit inspect 6.9  3.7  270 0   0   timeout 0 --- inspect 97     74     1400   1.5  0   false(unreach-call) 1 --- inspect 6.2  3.4  280 0     .17  error (2) 0 --- inspect .71   .71   23    .045 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect .73 .72 15   9.8 .45   0      true -32 wit inspect 7.5  3.9  300 0   0   false(unreach-call) 1 --- inspect 14     7.3   470   .66 0   false(unreach-call) 1 --- inspect 6.2  3.4  280 0     .053 error (2) 0 --- inspect .70   .70   23    .045 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .78 .77 20   11   .43   0      true -32 wit inspect 8.8  4.6  300 0   0   false(unreach-call) 1 --- inspect 24     13     760   .62 0   false(unreach-call) 1 --- inspect 5.8  3.3  280 0     .39  error (2) 0 --- inspect .70   .70   23    .045 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect .96 .95 21   15   .62   0      true -32 wit inspect 8.1  4.2  320 0   0   timeout 0 --- inspect 97     72     2000   2.0  0   false(unreach-call) 1 --- inspect 6.5  3.6  300 0     0     error (2) 0 --- inspect .75   .75   24    .049 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.0  1.0  25   14   .59   0      true -32 wit inspect 10    5.2  320 0   0   timeout 0 --- inspect 97     65     2200   1.6  0   false(unreach-call) 1 --- inspect 8.1  4.4  320 0     .36  error (2) 0 --- inspect .75   .75   24    .049 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect .97 .96 21   14   .59   0      true -32 wit inspect 8.7  4.6  290 0   0   false(unreach-call) 1 --- inspect 17     9.5   550   .62 0   false(unreach-call) 1 --- inspect 8.5  4.6  290 0     .082 error (2) 0 --- inspect .77   .77   24    .049 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.0  1.0  23   13   .56   0      true -32 wit inspect 7.6  4.0  320 0   0   false(unreach-call) 1 --- inspect 23     12     620   .66 0   false(unreach-call) 1 --- inspect 6.7  3.7  290 0     .15  error (2) 0 --- inspect .74   .74   24    .049 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 1.3  1.3  29   17   .79   0      true -32 wit inspect 7.5  4.0  330 0   0   timeout 0 --- inspect 97     70     2100   1.7  0   false(unreach-call) 1 --- inspect 8.9  4.8  360 0     .053 error (2) 0 --- inspect .81   .80   25    .053 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.4  1.4  29   17   .75   0      true -32 wit inspect 10    5.3  330 0   0   false(unreach-call) 1 --- inspect 23     13     560   .66 0   unknown 0 --- inspect 8.4  4.5  340 0     .20  error (2) 0 --- inspect .83   .84   25    .053 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect 1.4  1.3  28   17   .77   0      true -32 wit inspect 11    5.6  340 0   0   false(unreach-call) 1 --- inspect 46     29     1900   .62 0   unknown 0 --- inspect 8.2  4.4  340 0     0     error (2) 0 --- inspect .79   .79   25    .053 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.3  1.3  27   19   .70   0      true -32 wit inspect 8.6  4.5  330 0   0   false(unreach-call) 1 --- inspect 37     22     1000   .62 0   false(unreach-call) 1 --- inspect 8.0  4.3  330 0     0     error (2) 0 --- inspect .80   .80   25    .053 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .28 .27 10   2.5 .15   0      true -32 wit inspect 7.0  3.7  280 0   0   false(unreach-call) 1 --- inspect 10     5.5   350   .66 0   false(unreach-call) 1 --- inspect 5.5  3.1  290 0     0     error (2) 0 --- inspect .66   .67   22    .041 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .23 .22 9.9 2.7 .14   0      true -32 wit inspect 7.6  4.0  290 0   0   false(unreach-call) 1 --- inspect 20     11     520   .62 0   false(unreach-call) 1 --- inspect 5.8  3.2  290 0     .053 error (2) 0 --- inspect .66   .66   22    .041 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    580   7400   24      0      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 .97 .64 48 0     0     error (invalid witness file) 0 --- inspect .0054 .0067 .40 0     0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect .61 .60 14   7.7 .40   0      true -32 wit inspect 6.7  3.5  300 0   0   false(unreach-call) 1 --- inspect 23     12     630   .66 0   false(unreach-call) 1 --- inspect 6.2  3.5  280 0     0     error (2) 0 --- inspect .70   .70   23    .041 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .70 .69 18   10   .38   0      true -32 wit inspect 7.3  3.9  300 0   0   false(unreach-call) 1 --- inspect 39     22     820   .62 0   false(unreach-call) 1 --- inspect 6.8  3.7  300 0     .34  error (2) 0 --- inspect .70   .70   23    .041 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    760   7600   11      0      error (invalid witness file) 0 --- inspect .60 .37 42 0   0   error (2) 0 --- inspect .024 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .63 47 0     0     error (invalid witness file) 0 --- inspect .0043 .0055 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect .77 .76 19   9.9 .54   0      true -32 wit inspect 7.0  3.7  290 0   0   false(unreach-call) 1 --- inspect 40     24     1200   .62 0   false(unreach-call) 1 --- inspect 6.6  3.7  290 0     0     error (2) 0 --- inspect .76   .76   24    .045 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .78 .77 20   11   .51   0      true -32 wit inspect 8.3  4.4  290 0   0   false(unreach-call) 1 --- inspect 45     27     1400   .62 0   false(unreach-call) 1 --- inspect 6.7  3.7  290 0     .15  error (2) 0 --- inspect .75   .74   24    .045 .016 - --- inspect - --- inspect
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    760   7100   3.4    0      error (invalid witness file) 0 --- inspect .72 .45 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .61 47 0     0     error (invalid witness file) 0 --- inspect .0020 .0026 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 1 wit inspect .97 .96 26   12   .69   0      true -32 wit inspect 9.8  5.1  340 0   0   false(unreach-call) 1 --- inspect 34     20     1200   .62 0   false(unreach-call) 1 --- inspect 8.0  4.3  340 0     .20  error (2) 0 --- inspect .79   .79   25    .049 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .95 .94 24   13   .65   0      true -32 wit inspect 8.1  4.3  330 0   0   false(unreach-call) 1 --- inspect 75     45     2400   .62 0   unknown 0 --- inspect 8.0  4.3  330 0     .15  error (2) 0 --- inspect .80   .80   25    .049 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    670   8400   3.7    0      error (invalid witness file) 0 --- inspect .66 .40 41 0   0   error (2) 0 --- inspect .020 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .70 48 0     0     error (invalid witness file) 0 --- inspect .0019 .0026 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c false(unreach-call) 1 wit inspect 15    15    51   180   1.4    0      true -32 wit inspect 9.8  5.2  340 0   0   false(unreach-call) 1 --- inspect 74     48     3500   .62 0   false(unreach-call) 1 --- inspect 9.1  4.8  370 0     .15  error (2) 0 --- inspect .87   .87   27    .053 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 13    13    36   160   1.3    0      true -32 wit inspect 10    5.4  330 0   0   timeout 0 --- inspect 98     58     4100   .64 0   false(unreach-call) 1 --- inspect 9.0  4.8  380 0     .11  error (2) 0 --- inspect .87   .87   26    .053 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    380   9100   5.1    0      error (invalid witness file) 0 --- inspect .59 .37 41 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .59 47 0     0     error (invalid witness file) 0 --- inspect .0015 .0017 .40 0     0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c false(unreach-call) 1 wit inspect 13    13    56   200   1.6    0      true -32 wit inspect 11    5.6  380 0   0   false(unreach-call) 1 --- inspect 63     41     3300   .62 0   false(unreach-call) 1 --- inspect 9.8  5.2  400 0     0     error (2) 0 --- inspect .91   .91   28    .061 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 15    15    57   200   1.6    0      true -32 wit inspect 10    5.5  380 0   0   timeout 0 --- inspect 97     67     4500   1.9  0   false(unreach-call) 1 --- inspect 9.6  5.1  400 0     .15  error (2) 0 --- inspect .93   .94   28    .061 0     - --- inspect - --- inspect
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    310   11000   2.7    0      error (invalid witness file) 0 --- inspect .61 .37 42 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .60 47 0     0     error (invalid witness file) 0 --- inspect .0016 .0018 .40 0     0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .44 .44 17   5.8 .18   0      true -32 wit inspect 8.7  4.6  300 0   0   false(unreach-call) 1 --- inspect 51     32     960   .62 0   false(unreach-call) 1 --- inspect 6.5  3.6  300 0     .16  false(unreach-call) 1 --- inspect .80   .80   22    .18  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .43 .42 17   6.8 .18   0      true -32 wit inspect 9.2  4.8  290 0   0   false(unreach-call) 1 --- inspect 44     28     900   .62 0   false(unreach-call) 1 --- inspect 7.3  4.0  290 0     .37  false(unreach-call) 1 --- inspect .81   .80   22    .18  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .17 .16 9.5 1.9 .0082 0      true -32 wit inspect 7.6  4.1  260 0   0   false(unreach-call) 1 --- inspect 11     6.7   400   .62 0   false(unreach-call) 1 --- inspect 5.8  3.3  260 0     .098 false(unreach-call) 1 --- inspect .77   .77   22    .18  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .18 .18 9.8 1.8 .0082 0      true -32 wit inspect 6.3  3.4  260 0   0   false(unreach-call) 1 --- inspect 37     24     820   .62 0   false(unreach-call) 1 --- inspect 6.1  3.4  260 0     .47  false(unreach-call) 1 --- inspect .78   .78   22    .18  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .44 .43 17   5.8 .20   0      true -32 wit inspect 6.9  3.6  300 0   0   false(unreach-call) 1 --- inspect 32     19     860   .62 0   false(unreach-call) 1 --- inspect 6.5  3.6  290 0     .19  false(unreach-call) 1 --- inspect .79   .79   22    .18  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .46 .44 18   5.4 .19   0      true -32 wit inspect 8.2  4.3  300 0   0   timeout 0 --- inspect 97     71     1100   2.0  0   false(unreach-call) 1 --- inspect 6.7  3.7  300 0     .32  false(unreach-call) 1 --- inspect .80   .80   22    .18  .016 - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect .54 .53 18   7.5 .19   0      true -32 wit inspect 7.0  3.7  270 0   0   false(unreach-call) 1 --- inspect 53     35     1100   .62 0   false(unreach-call) 1 --- inspect 6.5  3.5  290 0     .053 false(unreach-call) 1 --- inspect .78   .78   22    .18  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect .52 .50 17   6.8 .18   0      true -32 wit inspect 8.9  4.6  300 0   0   timeout 0 --- inspect 97     65     1200   1.6  0   false(unreach-call) 1 --- inspect 6.6  3.7  300 0     .053 false(unreach-call) 1 --- inspect .85   .85   22    .18  .016 - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    1300   7000   41      0      error (invalid witness file) 0 --- inspect .65 .39 42 0   0   error (2) 0 --- inspect .021 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .98 .65 46 0     0     error (invalid witness file) 0 --- inspect .0050 .0068 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 1.3  1.2  27   16   .43   0      true -32 wit inspect 9.5  5.0  350 0   0   timeout 0 --- inspect 97     65     2800   1.3  0   false(unreach-call) 1 --- inspect 11    5.8  440 0     .098 false(unreach-call) 1 --- inspect 1.1    1.1    25    .35  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.3  1.3  28   17   .40   0      true -32 wit inspect 11    5.8  350 0   0   timeout 0 --- inspect 97     65     2700   .73 0   false(unreach-call) 1 --- inspect 10    5.5  420 0     .053 false(unreach-call) 1 --- inspect 1.1    1.1    25    .33  .029 - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 1.3  1.3  28   19   .35   0      true -32 wit inspect 11    5.7  340 0   0   true -32 --- inspect 14     8.1   390   .66 0   false(unreach-call) 1 --- inspect 9.2  4.9  340 0     0     false(unreach-call) 1 --- inspect 1.1    1.1    24    .36  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.3  1.3  28   16   .33   0      true -32 wit inspect 12    6.3  340 0   0   true -32 --- inspect 14     7.8   380   .66 0   false(unreach-call) 1 --- inspect 9.0  4.8  340 0     .094 false(unreach-call) 1 --- inspect 1.1    1.1    24    .34  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 1.3  1.3  28   18   .43   0      true -32 wit inspect 9.7  5.1  360 0   0   true -32 --- inspect 11     6.2   370   .66 0   false(unreach-call) 1 --- inspect 9.7  5.1  410 0     .053 false(unreach-call) 1 --- inspect 1.1    1.1    25    .36  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.3  1.3  28   15   .41   0      true -32 wit inspect 12    6.2  360 0   0   true -32 --- inspect 12     6.9   390   .62 0   false(unreach-call) 1 --- inspect 12    6.5  410 0     0     false(unreach-call) 1 --- inspect 1.1    1.1    25    .34  .037 - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 1.4  1.4  28   21   .42   0      true -32 wit inspect 11    5.9  320 0   0   true -32 --- inspect 14     7.9   380   .66 0   false(unreach-call) 1 --- inspect 10    5.5  410 0     .15  false(unreach-call) 1 --- inspect 1.1    1.1    25    .36  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 1.5  1.5  29   21   .40   0      true -32 wit inspect 10    5.3  350 0   0   true -32 --- inspect 12     6.8   370   .66 0   unknown 0 --- inspect 10    5.5  410 0     0     false(unreach-call) 1 --- inspect 1.1    1.1    25    .34  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    840   7300   29      0      error (invalid witness file) 0 --- inspect .84 .51 41 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 .0060 .0076 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 11    11    68   150   2.1    0      true -32 wit inspect 14    7.5  510 0   0   timeout 0 --- inspect 97     57     4600   .75 0   false(unreach-call) 1 --- inspect 19    11    730 0     .15  false(unreach-call) 1 --- inspect 1.7    1.7    29    .69  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 12    12    79   170   2.0    0      true -32 wit inspect 12    6.3  530 0   0   timeout 0 --- inspect 96     59     4600   1.5  0   false(unreach-call) 1 --- inspect 18    11    750 0     .066 false(unreach-call) 1 --- inspect 1.7    1.7    29    .65  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 5.6  5.6  48   65   .72   0      true -32 wit inspect 13    6.9  510 0   0   true -32 --- inspect 17     9.4   470   .66 0   false(unreach-call) 1 --- inspect 15    8.2  570 0     .15  true -32 --- inspect 1.7    1.7    28    .70  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 5.7  5.7  48   79   .68   0      true -32 wit inspect 13    7.0  520 0   0   true -32 --- inspect 17     9.4   520   .66 0   false(unreach-call) 1 --- inspect 15    8.1  560 0     0     false(unreach-call) 1 --- inspect 1.6    1.6    28    .66  .070 - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 12    12    70   160   2.2    0      true -32 wit inspect 15    7.6  540 0   0   true -32 --- inspect 15     8.7   460   .62 0   unknown 0 --- inspect 16    9.2  660 0     .15  false(unreach-call) 1 --- inspect 1.7    1.7    29    .70  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 13    13    80   170   2.1    0      true -32 wit inspect 13    6.7  540 0   0   true -32 --- inspect 14     8.4   510   .62 0   false(unreach-call) 1 --- inspect 16    8.8  690 0     0     false(unreach-call) 1 --- inspect 1.7    1.7    29    .66  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 12    12    70   180   2.1    0      true -32 wit inspect 12    6.6  530 0   0   true -32 --- inspect 17     9.6   460   .62 0   false(unreach-call) 1 --- inspect 19    11    720 0     0     false(unreach-call) 1 --- inspect 1.7    1.7    29    .70  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 13    13    80   170   1.7    0      true -32 wit inspect 16    8.1  540 0   0   true -32 --- inspect 17     9.7   460   .66 0   false(unreach-call) 1 --- inspect 18    11    750 0     .053 false(unreach-call) 1 --- inspect 1.7    1.7    29    .52  0     - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    140   11000   1.4    0      error (invalid witness file) 0 --- inspect .66 .40 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 .0046 .0058 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c error (42) 0 --- inspect 880    880    1700   7200   .082  0      error (invalid witness file) 0 --- inspect .75 .47 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 .0016 .0020 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c error (42) 0 --- inspect 880    880    5300   5800   .082  0      error (invalid witness file) 0 --- inspect .73 .45 43 0   0   error (2) 0 --- inspect .026 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .63 46 0     0     error (invalid witness file) 0 --- inspect .0060 .0078 .41 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c error (42) 0 --- inspect 880    880    1700   6700   .082  0      error (invalid witness file) 0 --- inspect .79 .49 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .60 49 0     0     error (invalid witness file) 0 --- inspect .0019 .0025 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c error (42) 0 --- inspect 880    880    5300   5400   .082  0      error (invalid witness file) 0 --- inspect .64 .39 42 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .69 47 0     0     error (invalid witness file) 0 --- inspect .0016 .0017 .40 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c error (42) 0 --- inspect 880    880    1700   8400   .082  0      error (invalid witness file) 0 --- inspect .59 .37 40 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .62 47 0     0     error (invalid witness file) 0 --- inspect .0016 .0021 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c error (42) 0 --- inspect 880    880    6200   8700   .082  0      error (invalid witness file) 0 --- inspect .71 .43 41 0   0   error (2) 0 --- inspect .021 .022 5.8 0    0   error (invalid witness file) 0 --- inspect .99 .65 48 0     0     error (invalid witness file) 0 --- inspect .0056 .0068 .41 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c error (42) 0 --- inspect 880    880    1800   6800   .082  0      error (invalid witness file) 0 --- inspect .77 .47 41 0   0   error (2) 0 --- inspect .022 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .96 .64 47 0     0     error (invalid witness file) 0 --- inspect .0022 .0030 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c error (42) 0 --- inspect 880    880    6100   5600   .082  0      error (invalid witness file) 0 --- inspect .62 .39 41 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .65 48 0     0     error (invalid witness file) 0 --- inspect .0019 .0025 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c false(unreach-call) 0 wit inspect 170    170    850   1900   .0082 0      timeout 0 wit inspect 98    66    2200 0   0   timeout 0 --- inspect 97     71     5000   .71 0   unknown 0 --- inspect 89    59    2500 0     0     true -32 --- inspect 2.8    2.8    49    2.1   0     - --- inspect - --- inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c error (42) 0 --- inspect 880    880    1900   7200   .082  0      error (invalid witness file) 0 --- inspect .63 .38 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .64 49 0     0     error (invalid witness file) 0 --- inspect .0022 .0027 .52 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c error (42) 0 --- inspect 880    880    1800   8500   .057  0      error (invalid witness file) 0 --- inspect .61 .37 42 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .63 46 0     0     error (invalid witness file) 0 --- inspect .0051 .0066 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c error (42) 0 --- inspect 880    880    4800   6200   .066  0      error (invalid witness file) 0 --- inspect .58 .37 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .63 46 0     0     error (invalid witness file) 0 --- inspect .0046 .0060 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c error (42) 0 --- inspect 870    880    1700   8500   .057  0      error (invalid witness file) 0 --- inspect .71 .43 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .63 48 0     0     error (invalid witness file) 0 --- inspect .0043 .0048 .40 0     0     - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c error (42) 0 --- inspect 880    880    5100   7400   .074  0      error (invalid witness file) 0 --- inspect .58 .35 40 0   0   error (2) 0 --- inspect .022 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .94 .60 47 0     0     error (invalid witness file) 0 --- inspect .0046 .0059 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c error (42) 0 --- inspect 880    880    1900   9800   .082  0      error (invalid witness file) 0 --- inspect .59 .35 41 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .62 46 0     0     error (invalid witness file) 0 --- inspect .0018 .0023 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c error (42) 0 --- inspect 880    880    4600   6800   .082  0      error (invalid witness file) 0 --- inspect .61 .38 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .60 48 0     0     error (invalid witness file) 0 --- inspect .0056 .0070 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c error (42) 0 --- inspect 880    880    2200   10000   .082  0      error (invalid witness file) 0 --- inspect .62 .38 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .70 48 0     0     error (invalid witness file) 0 --- inspect .0017 .0020 .40 0     0     - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c error (42) 0 --- inspect 880    880    4600   6100   .082  .13   error (invalid witness file) 0 --- inspect .69 .41 41 0   0   error (2) 0 --- inspect .022 .024 5.7 0    0   error (invalid witness file) 0 --- inspect .95 .62 47 0     0     error (invalid witness file) 0 --- inspect .0048 .0061 .41 0     0     - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c error (42) 0 --- inspect 880    880    2100   6500   .078  0      error (invalid witness file) 0 --- inspect .72 .45 40 0   0   error (2) 0 --- inspect .025 .026 5.7 0    0   error (invalid witness file) 0 --- inspect .99 .64 47 0     0     error (invalid witness file) 0 --- inspect .0017 .0027 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c error (42) 0 --- inspect 880    880    4800   5700   .074  0      error (invalid witness file) 0 --- inspect .79 .48 41 0   0   error (2) 0 --- inspect .021 .021 5.7 0    0   error (invalid witness file) 0 --- inspect .95 .61 48 0     0     error (invalid witness file) 0 --- inspect .0017 .0023 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c false(unreach-call) 0 wit inspect 14    14    370   180   .0082 0      timeout 0 wit inspect 97    71    2500 0   0   timeout 0 --- inspect 97     71     4700   1.4  0   timeout 0 --- inspect 98    76    2500 .016 0     true -32 --- inspect 1.9    2.0    34    .57  .12  - --- inspect - --- inspect
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c false(unreach-call) 0 wit inspect 33    33    570   380   .0082 0      timeout 0 wit inspect 98    65    2300 0   0   timeout 0 --- inspect 97     73     4100   2.0  0   timeout 0 --- inspect 92    69    2500 0     0     true -32 --- inspect 2.5    2.5    49    1.0   .12  - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c error (42) 0 --- inspect 880    880    1700   7100   .057  0      error (invalid witness file) 0 --- inspect .70 .44 40 0   0   error (2) 0 --- inspect .028 .029 5.5 0    0   error (invalid witness file) 0 --- inspect .94 .61 47 0     0     error (invalid witness file) 0 --- inspect .0062 .0095 .41 0     0     - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c error (42) 0 --- inspect 880    880    4500   6600   .074  0      error (invalid witness file) 0 --- inspect .60 .38 42 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .61 48 0     0     error (invalid witness file) 0 --- inspect .0019 .0024 .52 0     0     - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c error (42) 0 --- inspect 880    880    1800   9800   .057  0      error (invalid witness file) 0 --- inspect .77 .47 41 0   0   error (2) 0 --- inspect .022 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .63 48 0     0     error (invalid witness file) 0 --- inspect .0054 .0083 .52 0     0     - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c error (42) 0 --- inspect 880    880    4500   6900   .074  0      error (invalid witness file) 0 --- inspect .76 .47 41 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .90 .60 47 0     0     error (invalid witness file) 0 --- inspect .0068 .0085 .53 0     0     - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c true 1 wit inspect 4.4  4.4  53   54   1.4    0      - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 350    320    7000 0   0   out of memory 0 --- inspect 600     450     7000   .64 0    
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 870    880    360   4900   9.0    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 41 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 true 2 wit inspect 2.5  2.5  43   33   1.1    0      - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 75    46    2900 0   0   true 2 --- inspect 340     250     4200   .62 0    
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    860   6400   24      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .57 .35 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 1.7  1.6  18   24   .56   0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 120    110    2200 0   0   out of memory 0 --- inspect 190     120     7000   .65 .037
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    1200   7500   33      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .38 40 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0    
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 1 wit inspect 330    330    52   4400   1.1    0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    4900 0   0   out of memory 0 --- inspect 160     110     7000   .64 0    
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    820   8500   7.3    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .42 41 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0    
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c error (42) 0 --- inspect 880    880    220   9100   1.2    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .40 41 0   0   error (2) 0 --- inspect .026 .028 5.6 0    0    
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    250   9300   1.1    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .47 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0    
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 1.1  1.1  12   14   .34   0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 49    39    1400 0   0   out of memory 0 --- inspect 240     160     7000   .64 0    
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    1100   7600   22      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/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect 9.9  9.9  18   130   .50   0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 110    100    1700 0   0   out of memory 0 --- inspect 200     130     7000   .64 0    
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    660   6300   12      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 62    62    54   830   .68   0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 370    360    2400 0   0   out of memory 0 --- inspect 150     96     7000   1.3  0    
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 870    880    200   8900   2.3    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c error (42) 0 --- inspect 880    880    77   11000   .88   0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .37 41 0   0   error (2) 0 --- inspect .024 .026 5.6 0    0    
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    100   12000   .93   0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .38 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .63 .63 10   7.9 .29   0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 28    21    960 0   0   timeout 0 --- inspect 960     870     3300   .63 0    
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    590   6600   24      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 40 0   0   error (2) 0 --- inspect .031 .032 5.6 0    0    
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect 1.7  1.7  15   21   .40   0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 55    45    1400 0   0   out of memory 0 --- inspect 220     150     7000   1.8  0    
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    770   7300   12      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .36 40 0   0   error (2) 0 --- inspect .026 .028 5.6 0    0    
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 14    14    21   170   .54   0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 120    110    1600 0   0   out of memory 0 --- inspect 220     150     7000   .66 0    
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    820   7000   3.4    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .40 41 0   0   error (2) 0 --- inspect .026 .026 5.6 0    0    
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c true 2 wit inspect 120    120    31   1500   1.1    0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 320    300    2300 0   0   out of memory 0 --- inspect 290     210     7000   .65 0    
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    710   7800   4.1    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .43 41 0   0   error (2) 0 --- inspect .021 .021 5.7 0    0    
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c true 1 wit inspect 270    270    47   4100   1.4    0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3100 0   0   out of memory 0 --- inspect 330     230     7000   .66 0    
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    470   8700   4.8    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .41 40 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0    
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c true 1 wit inspect 480    480    160   5400   1.7    0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    2300 0   0   out of memory 0 --- inspect 190     120     7000   .65 0    
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    250   9900   2.9    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .41 40 0   0   error (2) 0 --- inspect .031 .032 5.6 0    0    
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect 1.5  1.5  19   19   .65   0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 140    130    2400 0   0   out of memory 0 --- inspect 180     110     7000   .64 .016
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    1300   5900   41      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .41 41 0   0   error (2) 0 --- inspect .031 .031 5.6 0    0    
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 1 wit inspect 89    89    42   1100   1.3    0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    4700 0   0   out of memory 0 --- inspect 190     120     7000   1.3  0    
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    860   6800   29      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .44 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c error (42) 0 --- inspect 880    880    150   11000   1.1    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .47 41 0   0   error (2) 0 --- inspect .023 .025 5.7 0    0    
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c error (42) 0 --- inspect 880    880    240   8900   1.0    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0    
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c error (42) 0 --- inspect 880    880    1800   8700   .057  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 40 0   0   error (2) 0 --- inspect .028 .029 5.6 0    0    
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c error (42) 0 --- inspect 880    880    5300   4700   .082  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .41 42 0   0   error (2) 0 --- inspect .021 .023 5.6 0    0    
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c error (42) 0 --- inspect 880    880    1800   6100   .074  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .44 41 0   0   error (2) 0 --- inspect .026 .028 5.7 0    0    
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c error (42) 0 --- inspect 880    880    6100   5600   .082  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .40 42 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0    
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c error (42) 0 --- inspect 880    880    1100   7000   .082  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .45 40 0   0   error (2) 0 --- inspect .029 .030 5.6 0    0    
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c error (42) 0 --- inspect 880    880    1100   7200   .082  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 40 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0    
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c error (42) 0 --- inspect 880    880    1900   7200   .082  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .35 41 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0    
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c error (42) 0 --- inspect 880    880    3200   9300   .090  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .35 41 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0    
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c error (42) 0 --- inspect 880    880    1900   7800   .057  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 41 0   0   error (2) 0 --- inspect .027 .029 5.6 0    0    
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c error (42) 0 --- inspect 880    880    4800   6300   .066  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0    
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c error (42) 0 --- inspect 880    880    1800   8200   .057  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .44 41 0   0   error (2) 0 --- inspect .023 .024 5.7 0    0    
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c error (42) 0 --- inspect 880    880    5000   7300   .074  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .38 41 0   0   error (2) 0 --- inspect .020 .022 5.6 0    0    
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c error (42) 0 --- inspect 880    880    1700   7600   .057  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 41 0   0   error (2) 0 --- inspect .025 .027 5.6 0    0    
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c error (42) 0 --- inspect 880    880    5100   5700   .066  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .39 40 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0    
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c error (42) 0 --- inspect 880    880    1900   7000   .057  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .48 42 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c error (42) 0 --- inspect 880    880    4600   7400   .066  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .39 41 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0    
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c error (42) 0 --- inspect 880    880    2000   8300   .082  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .79 .48 40 0   0   error (2) 0 --- inspect .021 .023 5.6 0    0    
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c error (42) 0 --- inspect 880    880    4800   6500   .082  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 40 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0    
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c error (42) 0 --- inspect 880    880    2000   10000   .082  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .47 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c error (42) 0 --- inspect 880    880    4900   7300   .082  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .43 40 0   0   error (2) 0 --- inspect .021 .023 5.6 0    0    
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c true 1 wit inspect 28    28    380   400   .0082 0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 910    890    2600 0   0   timeout 0 --- inspect 960     890     870   1.1  0    
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c true 1 wit inspect 29    29    380   330   .0082 0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 910    890    2500 0   0   timeout 0 --- inspect 960     880     860   1.6  0    
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c true 1 wit inspect 65    65    600   740   .0082 0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 910    890    3300 0   0   timeout 0 --- inspect 960     840     910   1.5  0    
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c true 1 wit inspect 110    110    830   1400   .0082 0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 910    890    4600 0   0   timeout 0 --- inspect 960     820     950   .63 0    
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c error (42) 0 --- inspect 880    880    1800   7600   .057  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .39 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c error (42) 0 --- inspect 880    880    4500   7500   .066  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .42 41 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0    
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c error (42) 0 --- inspect 880    880    1800   6800   .057  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .47 42 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0    
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c error (42) 0 --- inspect 880    880    4500   6500   .066  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .45 40 0   0   error (2) 0 --- inspect .026 .028 5.8 0    0    
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c error (42) 0 --- inspect 880    880    1800   8300   .057  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .40 41 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0    
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c error (42) 0 --- inspect 880    880    4500   7200   .074  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 40 0   0   error (2) 0 --- inspect .027 .027 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 430    430    15000   5100   .025  .0041 error (invalid witness file) 0 --- inspect .80 .48 42 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .69 48 0     0     error (invalid witness file) 0 --- inspect .0035 .0040 .40 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 700    700    15000   10000   .0082 0      error (invalid witness file) 0 --- inspect .77 .46 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .65 47 0     0     error (invalid witness file) 0 --- inspect .0044 .0058 .52 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 630    630    15000   7900   .025  0      error (invalid witness file) 0 --- inspect .59 .37 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .60 47 0     0     error (invalid witness file) 0 --- inspect .0064 .0081 .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 360    360    15000   3700   .025  .0041 error (invalid witness file) 0 --- inspect .73 .46 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .63 48 0     0     error (invalid witness file) 0 --- inspect .0067 .0087 .54 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 800    800    15000   9400   .029  0      error (invalid witness file) 0 --- inspect .61 .37 41 0   0   error (2) 0 --- inspect .026 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .63 47 0     0     error (invalid witness file) 0 --- inspect .0021 .0027 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 760    750    15000   9600   .033  0      error (invalid witness file) 0 --- inspect .71 .45 40 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 47 0     0     error (invalid witness file) 0 --- inspect .0054 .0057 .40 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 430    430    15000   4900   .025  0      error (invalid witness file) 0 --- inspect .73 .44 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .60 46 0     0     error (invalid witness file) 0 --- inspect .0053 .0066 .52 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 140    140    15000   1800   .029  0      error (invalid witness file) 0 --- inspect .77 .48 42 0   0   error (2) 0 --- inspect .027 .028 5.5 0    0   error (invalid witness file) 0 --- inspect 1.1  .72 48 0     0     error (invalid witness file) 0 --- inspect .0044 .0055 .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 160    160    15000   2000   .025  0      error (invalid witness file) 0 --- inspect .72 .46 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .62 48 0     0     error (invalid witness file) 0 --- inspect .0021 .0027 .53 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 350    350    15000   4000   .025  0      error (invalid witness file) 0 --- inspect .73 .44 41 0   0   error (2) 0 --- inspect .023 .023 5.6 0    0   error (invalid witness file) 0 --- inspect 1.2  .74 48 0     0     error (invalid witness file) 0 --- inspect .0022 .0028 .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 140    140    15000   1700   .033  0      error (invalid witness file) 0 --- inspect .78 .49 41 0   0   error (2) 0 --- inspect .026 .028 5.6 0    0   error (invalid witness file) 0 --- inspect 1.2  .79 46 0     0     error (invalid witness file) 0 --- inspect .0060 .0082 .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 150    150    15000   1800   .033  0      error (invalid witness file) 0 --- inspect .72 .44 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 .0060 .0083 .53 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 450    450    15000   4600   .025  .0041 error (invalid witness file) 0 --- inspect .72 .45 40 0   0   error (2) 0 --- inspect .019 .021 5.8 0    0   error (invalid witness file) 0 --- inspect 1.0  .65 48 0     0     error (invalid witness file) 0 --- inspect .0016 .0023 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 700    700    15000   9900   .0082 22      error (invalid witness file) 0 --- inspect .61 .37 41 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 49 0     0     error (invalid witness file) 0 --- inspect .0055 .0065 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 670    670    15000   8400   .0082 13      error (invalid witness file) 0 --- inspect .78 .47 42 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 .0016 .0018 .39 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 360    350    15000   3600   .025  .0041 error (invalid witness file) 0 --- inspect .71 .44 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .63 46 0     0     error (invalid witness file) 0 --- inspect .0054 .0070 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 780    780    15000   12000   .033  0      error (invalid witness file) 0 --- inspect .73 .45 40 0   0   error (2) 0 --- inspect .025 .026 5.7 0    0   error (invalid witness file) 0 --- inspect .97 .61 47 0     0     error (invalid witness file) 0 --- inspect .0045 .0055 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 750    750    15000   8500   .033  .0082 error (invalid witness file) 0 --- inspect .65 .40 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 .0018 .0022 .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 440    440    15000   5000   .025  0      error (invalid witness file) 0 --- inspect .74 .46 42 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .63 47 0     0     error (invalid witness file) 0 --- inspect .0018 .0024 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 660    660    15000   9200   .029  0      error (invalid witness file) 0 --- inspect .74 .45 41 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .62 47 0     0     error (invalid witness file) 0 --- inspect .0049 .0061 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 630    630    15000   10000   .025  0      error (invalid witness file) 0 --- inspect .62 .39 42 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .63 49 0     0     error (invalid witness file) 0 --- inspect .0029 .0038 .52 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 360    350    15000   4400   .025  0      error (invalid witness file) 0 --- inspect .69 .42 42 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .64 49 0     0     error (invalid witness file) 0 --- inspect .0046 .0056 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 790    790    15000   9800   .033  .0082 error (invalid witness file) 0 --- inspect .74 .45 41 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .95 .61 46 0     0     error (invalid witness file) 0 --- inspect .0049 .0063 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 750    750    15000   9900   .033  0      error (invalid witness file) 0 --- inspect .77 .47 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 .0020 .0026 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 320    320    15000   3500   .025  .0041 error (invalid witness file) 0 --- inspect .71 .43 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .61 47 0     0     error (invalid witness file) 0 --- inspect .0054 .0069 .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 850    850    15000   12000   .025  0      error (invalid witness file) 0 --- inspect .62 .38 40 0   0   error (2) 0 --- inspect .029 .030 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .64 47 0     0     error (invalid witness file) 0 --- inspect .0046 .0056 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c error 0 --- inspect 880    880    14000   12000   .086  0      error (invalid witness file) 0 --- inspect .64 .39 41 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 .0047 .0057 .53 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 250    250    15000   2700   .025  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 .96 .62 48 0     0     error (invalid witness file) 0 --- inspect .0052 .0087 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error 0 --- inspect 880    880    12000   11000   .082  0      error (invalid witness file) 0 --- inspect .76 .46 41 0   0   error (2) 0 --- inspect .022 .025 5.6 0    0   error (invalid witness file) 0 --- inspect 1.2  .78 48 0     0     error (invalid witness file) 0 --- inspect .0019 .0023 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error 0 --- inspect 880    880    11000   10000   .086  0      error (invalid witness file) 0 --- inspect .58 .36 41 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .63 47 0     0     error (invalid witness file) 0 --- inspect .0052 .0064 .53 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 320    320    15000   3500   .025  0      error (invalid witness file) 0 --- inspect .75 .45 41 0   0   error (2) 0 --- inspect .020 .021 5.7 0    0   error (invalid witness file) 0 --- inspect .94 .61 46 0     0     error (invalid witness file) 0 --- inspect .0017 .0020 .39 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 160    160    15000   2000   .025  0      error (invalid witness file) 0 --- inspect .62 .39 43 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 .0048 .0058 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 170    170    15000   2600   .025  0      error (invalid witness file) 0 --- inspect .74 .45 41 0   0   error (2) 0 --- inspect .021 .021 5.8 0    0   error (invalid witness file) 0 --- inspect .91 .61 47 0     0     error (invalid witness file) 0 --- inspect .0055 .0067 .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 250    250    15000   3100   .025  0      error (invalid witness file) 0 --- inspect .63 .38 42 0   0   error (2) 0 --- inspect .031 .033 5.5 0    0   error (invalid witness file) 0 --- inspect .91 .60 46 0     0     error (invalid witness file) 0 --- inspect .0051 .0065 .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 160    160    15000   2000   .025  0      error (invalid witness file) 0 --- inspect .80 .48 41 0   0   error (2) 0 --- inspect .021 .022 5.8 0    0   error (invalid witness file) 0 --- inspect .95 .62 47 0     0     error (invalid witness file) 0 --- inspect .0021 .0029 .52 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 160    160    15000   2000   .025  0      error (invalid witness file) 0 --- inspect .70 .43 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 47 0     0     error (invalid witness file) 0 --- inspect .0053 .0064 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 300    300    15000   3200   .025  .0041 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 .99 .65 47 0     0     error (invalid witness file) 0 --- inspect .0017 .0023 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c error 0 --- inspect 880    880    13000   10000   .086  0      error (invalid witness file) 0 --- inspect .70 .42 41 0   0   error (2) 0 --- inspect .021 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .96 .63 47 0     0     error (invalid witness file) 0 --- inspect .0016 .0023 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c error 0 --- inspect 880    880    14000   10000   .086  0      error (invalid witness file) 0 --- inspect .62 .38 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .69 48 0     0     error (invalid witness file) 0 --- inspect .0016 .0023 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 250    250    15000   3700   .025  0      error (invalid witness file) 0 --- inspect .76 .47 40 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .64 47 0     0     error (invalid witness file) 0 --- inspect .0055 .0074 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error 0 --- inspect 880    880    10000   11000   .078  0      error (invalid witness file) 0 --- inspect .78 .48 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 .0045 .0055 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error 0 --- inspect 880    880    11000   13000   .086  0      error (invalid witness file) 0 --- inspect .68 .41 40 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .64 47 0     0     error (invalid witness file) 0 --- inspect .0052 .0066 .52 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 310    310    15000   3600   .025  .0041 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 1.1  .68 47 0     0     error (invalid witness file) 0 --- inspect .0054 .0071 .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 840    840    15000   10000   .025  0      error (invalid witness file) 0 --- inspect .79 .48 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .64 48 0     0     error (invalid witness file) 0 --- inspect .0026 .0034 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c error 0 --- inspect 880    880    14000   13000   .086  0      error (invalid witness file) 0 --- inspect .74 .44 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 .0047 .0054 .40 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 250    250    15000   3000   .025  0      error (invalid witness file) 0 --- inspect .76 .47 41 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.2  .78 48 0     0     error (invalid witness file) 0 --- inspect .0058 .0080 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error 0 --- inspect 880    880    12000   9800   .086  0      error (invalid witness file) 0 --- inspect .60 .38 42 0   0   error (2) 0 --- inspect .022 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .66 47 0     0     error (invalid witness file) 0 --- inspect .0019 .0025 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error 0 --- inspect 880    880    11000   12000   .078  0      error (invalid witness file) 0 --- inspect .71 .44 41 0   0   error (2) 0 --- inspect .025 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .62 47 0     0     error (invalid witness file) 0 --- inspect .0019 .0022 .39 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 260    260    15000   3100   .025  .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 .95 .62 48 0     0     error (invalid witness file) 0 --- inspect .0054 .0070 .54 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c error 0 --- inspect 880    880    14000   10000   .086  0      error (invalid witness file) 0 --- inspect .63 .40 41 0   0   error (2) 0 --- inspect .021 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .64 47 0     0     error (invalid witness file) 0 --- inspect .0020 .0025 .54 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 260    260    15000   3400   .025  0      error (invalid witness file) 0 --- inspect .62 .37 41 0   0   error (2) 0 --- inspect .021 .021 5.7 0    0   error (invalid witness file) 0 --- inspect 1.2  .78 47 0     0     error (invalid witness file) 0 --- inspect .0016 .0020 .53 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 170    170    15000   2100   .025  0      error (invalid witness file) 0 --- inspect .74 .46 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 .0053 .0070 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 180    170    15000   2200   .025  0      error (invalid witness file) 0 --- inspect .74 .45 40 0   0   error (2) 0 --- inspect .027 .027 5.5 0    0   error (invalid witness file) 0 --- inspect .93 .61 47 0     0     error (invalid witness file) 0 --- inspect .0026 .0033 .54 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 200    200    15000   2600   .025  0      error (invalid witness file) 0 --- inspect .74 .44 42 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 .0050 .0097 .48 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 160    160    15000   2200   .025  0      error (invalid witness file) 0 --- inspect .70 .42 40 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 .0044 .0057 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 170    170    15000   2100   .025  0      error (invalid witness file) 0 --- inspect .61 .38 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 47 0     0     error (invalid witness file) 0 --- inspect .0021 .0028 .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 270    270    15000   3300   .025  0      error (invalid witness file) 0 --- inspect .83 .51 41 0   0   error (2) 0 --- inspect .026 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 47 0     0     error (invalid witness file) 0 --- inspect .0054 .0072 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c error 0 --- inspect 880    880    14000   10000   .086  .0082 error (invalid witness file) 0 --- inspect .69 .42 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .62 47 0     0     error (invalid witness file) 0 --- inspect .0056 .0067 .39 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 230    230    15000   2600   .025  0      error (invalid witness file) 0 --- inspect .62 .38 41 0   0   error (2) 0 --- inspect .026 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .65 47 0     0     error (invalid witness file) 0 --- inspect .0062 .0084 .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 270    270    15000   3800   .025  0      error (invalid witness file) 0 --- inspect .69 .44 41 0   0   error (2) 0 --- inspect .020 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 47 0     0     error (invalid witness file) 0 --- inspect .0016 .0021 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c error 0 --- inspect 880    880    14000   11000   .078  0      error (invalid witness file) 0 --- inspect .61 .38 40 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 .0049 .0065 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880    880    350   8300   30      0      error (invalid witness file) 0 --- inspect .74 .45 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .67 48 0     0     error (invalid witness file) 0 --- inspect .0047 .0060 .54 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 error 0 --- inspect 880    880    12000   8100   .082  0      error (invalid witness file) 0 --- inspect .73 .45 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .64 47 0     0     error (invalid witness file) 0 --- inspect .0051 .0062 .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 error 0 --- inspect 880    880    14000   10000   .086  0      error (invalid witness file) 0 --- inspect .77 .47 42 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .63 48 0     0     error (invalid witness file) 0 --- inspect .0057 .0075 .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 false(unreach-call) 1 wit inspect 160    160    750   2000   9.0    0      false(unreach-call) 1 wit inspect 13    6.9  430 0   0   false(unreach-call) 1 --- inspect 47     30     770   .66 0   false(unreach-call) 1 --- inspect 13    6.6  460 0     0     error (2) 0 --- inspect 1.4    1.4    29    .84  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880    880    480   13000   31      0      error (invalid witness file) 0 --- inspect .69 .42 40 0   0   error (2) 0 --- inspect .024 .026 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 46 0     0     error (invalid witness file) 0 --- inspect .0046 .0058 .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 error 0 --- inspect 880    880    14000   9100   .086  0      error (invalid witness file) 0 --- inspect .78 .47 41 0   0   error (2) 0 --- inspect .027 .027 5.5 0    0   error (invalid witness file) 0 --- inspect .98 .63 49 0     0     error (invalid witness file) 0 --- inspect .0043 .0056 .41 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 860    860    15000   8400   .025  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 .64 48 0     0     error (invalid witness file) 0 --- inspect .0017 .0023 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 150    150    720   1900   7.9    0      false(unreach-call) 1 wit inspect 11    5.6  420 0   0   false(unreach-call) 1 --- inspect 22     12     660   .66 0   false(unreach-call) 1 --- inspect 11    5.7  470 0     .070 error (2) 0 --- inspect 1.3    1.3    28    .77  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 error (42) 0 --- inspect 880    880    910   9200   41      .0041 error (invalid witness file) 0 --- inspect .59 .37 41 0   0   error (2) 0 --- inspect .027 .028 5.7 0    0   error (invalid witness file) 0 --- inspect .94 .60 48 0     0     error (invalid witness file) 0 --- inspect .0016 .0021 .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 800    790    15000   9300   .033  .0041 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 .98 .64 48 0     0     error (invalid witness file) 0 --- inspect .0016 .0022 .52 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 740    740    15000   9000   .033  0      error (invalid witness file) 0 --- inspect .61 .38 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 48 0     0     error (invalid witness file) 0 --- inspect .0059 .013  .41 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 false(unreach-call) 1 wit inspect 84    84    410   1200   .20   0      false(unreach-call) 1 wit inspect 12    6.2  410 0   0   false(unreach-call) 1 --- inspect 25     15     680   .66 0   false(unreach-call) 1 --- inspect 9.9  5.4  450 0     0     error (2) 0 --- inspect 1.3    1.3    28    .79  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880    880    1400   14000   45      0      error (invalid witness file) 0 --- inspect .76 .46 41 0   0   error (2) 0 --- inspect .020 .020 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .60 47 0     0     error (invalid witness file) 0 --- inspect .0057 .0069 .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 840    840    15000   8300   .025  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 .99 .65 49 0     0     error (invalid witness file) 0 --- inspect .0063 .0084 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 730    730    15000   8800   .033  0      error (invalid witness file) 0 --- inspect .58 .36 41 0   0   error (2) 0 --- inspect .024 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .62 47 0     0     error (invalid witness file) 0 --- inspect .0032 .0042 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 74    74    390   960   .17   0      false(unreach-call) 1 wit inspect 10    5.6  400 0   0   false(unreach-call) 1 --- inspect 22     13     700   .62 0   false(unreach-call) 1 --- inspect 9.2  5.0  410 0     0     error (2) 0 --- inspect 1.3    1.3    26    .72  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 550    550    15000   5600   .025  0      error (invalid witness file) 0 --- inspect .59 .37 42 0   0   error (2) 0 --- inspect .019 .020 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .61 47 0     0     error (invalid witness file) 0 --- inspect .0043 .0067 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880    880    2600   11000   59      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 .94 .62 46 0     0     error (invalid witness file) 0 --- inspect .0057 .0074 .41 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 360    360    15000   4000   .025  0      error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 47 0     0     error (invalid witness file) 0 --- inspect .0019 .0025 .40 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c error 0 --- inspect 880    880    14000   10000   .090  0      error (invalid witness file) 0 --- inspect .72 .45 41 0   0   error (2) 0 --- inspect .020 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .61 47 0     0     error (invalid witness file) 0 --- inspect .0058 .0076 .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 error (42) 0 --- inspect 880    880    6200   11000   .090  0      error (invalid witness file) 0 --- inspect .78 .48 41 0   0   error (2) 0 --- inspect .022 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .95 .62 48 0     0     error (invalid witness file) 0 --- inspect .0042 .0058 .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 error (42) 0 --- inspect 880    880    2600   10000   30      0      error (invalid witness file) 0 --- inspect .64 .40 40 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .64 48 0     0     error (invalid witness file) 0 --- inspect .0015 .0020 .40 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 300    300    15000   3300   .025  .0041 error (invalid witness file) 0 --- inspect .74 .48 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .64 47 0     0     error (invalid witness file) 0 --- inspect .0054 .0071 .54 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 error 0 --- inspect 880    880    14000   9900   .090  0      error (invalid witness file) 0 --- inspect .70 .43 41 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 47 0     0     error (invalid witness file) 0 --- inspect .0053 .0069 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c error (42) 0 --- inspect 880    880    5900   10000   .086  0      error (invalid witness file) 0 --- inspect .79 .47 41 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .63 48 0     0     error (invalid witness file) 0 --- inspect .0015 .0017 .41 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 error (42) 0 --- inspect 880    880    1600   12000   98      0      error (invalid witness file) 0 --- inspect .62 .40 40 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .69 48 0     0     error (invalid witness file) 0 --- inspect .0016 .0026 .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 420    420    15000   4700   .025  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 1.0  .64 48 0     0     error (invalid witness file) 0 --- inspect .0018 .0020 .39 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 error 0 --- inspect 880    880    14000   8700   .090  0      error (invalid witness file) 0 --- inspect .59 .37 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .61 46 0     0     error (invalid witness file) 0 --- inspect .0057 .0070 .52 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 error (42) 0 --- inspect 880    880    1700   10000   18      0      error (invalid witness file) 0 --- inspect .79 .48 41 0   0   error (2) 0 --- inspect .021 .022 5.5 0    0   error (invalid witness file) 0 --- inspect 1.2  .77 47 0     0     error (invalid witness file) 0 --- inspect .0016 .0024 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880    880    1600   12000   81      .0041 error (invalid witness file) 0 --- inspect .71 .43 40 0   0   error (2) 0 --- inspect .025 .027 5.7 0    0   error (invalid witness file) 0 --- inspect 1.0  .64 48 0     0     error (invalid witness file) 0 --- inspect .0016 .0022 .40 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 380    380    15000   4400   .025  0      error (invalid witness file) 0 --- inspect .75 .45 42 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .62 47 0     0     error (invalid witness file) 0 --- inspect .0015 .0023 .41 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error 0 --- inspect 880    880    14000   9300   .094  0      error (invalid witness file) 0 --- inspect .60 .38 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 .0018 .0026 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+sep-reducer.c error (42) 0 --- inspect 880    880    1700   13000   6.9    0      error (invalid witness file) 0 --- inspect .77 .47 42 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 .0042 .0048 .41 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 280    280    13000   3000   .0082 0      error (invalid witness file) 0 --- inspect .61 .36 42 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .90 .60 47 0     0     error (invalid witness file) 0 --- inspect .0016 .0020 .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 240    240    15000   2800   .025  0      error (invalid witness file) 0 --- inspect .63 .39 40 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 46 0     0     error (invalid witness file) 0 --- inspect .0024 .0031 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 510    510    15000   6200   .025  .0041 error (invalid witness file) 0 --- inspect .76 .46 41 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .63 47 0     0     error (invalid witness file) 0 --- inspect .0023 .0029 .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 280    280    13000   2600   .0082 0      error (invalid witness file) 0 --- inspect .63 .39 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .62 47 0     0     error (invalid witness file) 0 --- inspect .0047 .0058 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 200    200    15000   2200   .029  0      error (invalid witness file) 0 --- inspect .72 .45 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .61 47 0     0     error (invalid witness file) 0 --- inspect .0048 .0059 .54 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 480    480    15000   5800   .025  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 .98 .64 47 0     0     error (invalid witness file) 0 --- inspect .0055 .0069 .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 450    450    15000   5300   .025  0      error (invalid witness file) 0 --- inspect .78 .48 40 0   0   error (2) 0 --- inspect .025 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .61 48 0     0     error (invalid witness file) 0 --- inspect .0049 .0065 .53 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 error (42) 0 --- inspect 880    880    11000   11000   .082  0      error (invalid witness file) 0 --- inspect .77 .47 40 0   0   error (2) 0 --- inspect .021 .022 5.8 0    0   error (invalid witness file) 0 --- inspect .95 .63 47 0     0     error (invalid witness file) 0 --- inspect .0047 .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 360    360    15000   3600   .025  0      error (invalid witness file) 0 --- inspect .71 .43 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 49 0     0     error (invalid witness file) 0 --- inspect .0024 .0041 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 490    480    15000   5500   .025  .0041 error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .62 47 0     0     error (invalid witness file) 0 --- inspect .0055 .0072 .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 error 0 --- inspect 880    880    5600   9900   .082  0      error (invalid witness file) 0 --- inspect .79 .48 42 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .62 48 0     0     error (invalid witness file) 0 --- inspect .0022 .0025 .40 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 250    250    12000   2400   .0082 0      error (invalid witness file) 0 --- inspect .61 .38 41 0   0   error (2) 0 --- inspect .020 .022 5.7 0    0   error (invalid witness file) 0 --- inspect 1.1  .69 48 0     0     error (invalid witness file) 0 --- inspect .0019 .0022 .40 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 270    270    15000   3100   .025  0      error (invalid witness file) 0 --- inspect .62 .38 42 0   0   error (2) 0 --- inspect .022 .024 5.8 0    0   error (invalid witness file) 0 --- inspect .91 .60 47 0     0     error (invalid witness file) 0 --- inspect .0049 .0060 .40 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 460    460    15000   6300   .025  .0041 error (invalid witness file) 0 --- inspect .70 .43 41 0   0   error (2) 0 --- inspect .022 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .96 .65 48 0     0     error (invalid witness file) 0 --- inspect .0053 .0069 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+sep-reducer.c error 0 --- inspect 880    880    5300   9500   .086  0      error (invalid witness file) 0 --- inspect .75 .47 41 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .97 .64 47 0     0     error (invalid witness file) 0 --- inspect .0018 .0022 .54 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 350    350    15000   4200   .025  .0041 error (invalid witness file) 0 --- inspect .72 .44 40 0   0   error (2) 0 --- inspect .026 .028 5.7 0    0   error (invalid witness file) 0 --- inspect .94 .62 47 0     0     error (invalid witness file) 0 --- inspect .0031 .0048 .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 430    430    15000   5600   .025  .0041 error (invalid witness file) 0 --- inspect .71 .45 40 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 .0061 .0080 .54 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 350    350    15000   4800   .025  0      error (invalid witness file) 0 --- inspect .78 .48 41 0   0   error (2) 0 --- inspect .026 .028 5.6 0    0   error (invalid witness file) 0 --- inspect 1.2  .76 48 0     0     error (invalid witness file) 0 --- inspect .0059 .0075 .53 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 430    430    15000   6600   .025  .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 .95 .61 47 0     0     error (invalid witness file) 0 --- inspect .0016 .0019 .40 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 470    470    15000   4700   .029  .0041 error (invalid witness file) 0 --- inspect .75 .45 41 0   0   error (2) 0 --- inspect .026 .026 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .68 49 0     0     error (invalid witness file) 0 --- inspect .0051 .0064 .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 610    610    15000   8000   .012  0      error (invalid witness file) 0 --- inspect .77 .47 43 0   0   error (2) 0 --- inspect .023 .024 5.7 0    0   error (invalid witness file) 0 --- inspect .96 .62 47 0     0     error (invalid witness file) 0 --- inspect .0017 .0023 .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 420    420    15000   6000   .025  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 .92 .60 47 0     0     error (invalid witness file) 0 --- inspect .0032 .0041 .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 610    610    15000   7500   .012  0      error (invalid witness file) 0 --- inspect .68 .43 41 0   0   error (2) 0 --- inspect .030 .031 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 49 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.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 440    440    15000   5100   .025  0      error (invalid witness file) 0 --- inspect .81 .48 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .63 48 0     0     error (invalid witness file) 0 --- inspect .0053 .0068 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880    880    430   13000   15      0      error (invalid witness file) 0 --- inspect .69 .42 41 0   0   error (2) 0 --- inspect .023 .024 5.7 0    0   error (invalid witness file) 0 --- inspect .96 .63 47 0     0     error (invalid witness file) 0 --- inspect .0051 .0062 .53 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 410    410    14000   4200   .0082 0      error (invalid witness file) 0 --- inspect .74 .46 41 0   0   error (2) 0 --- inspect .022 .023 5.8 0    0   error (invalid witness file) 0 --- inspect .92 .61 46 0     0     error (invalid witness file) 0 --- inspect .0052 .0063 .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 500    500    15000   6900   .0082 0      error (invalid witness file) 0 --- inspect .70 .43 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .91 .59 47 0     0     error (invalid witness file) 0 --- inspect .0051 .0062 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 3.4  3.3  44   45   .20   0      false(unreach-call) 1 wit inspect 8.2  4.3  330 0   0   false(unreach-call) 1 --- inspect 18     11     540   .66 0   unknown 0 --- inspect 8.5  4.6  290 0     0     error (2) 0 --- inspect .82   .82   22    .23  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880    880    470   10000   19      0      error (invalid witness file) 0 --- inspect .77 .46 41 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .65 48 0     0     error (invalid witness file) 0 --- inspect .0055 .0069 .53 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 490    490    15000   6600   .0082 0      error (invalid witness file) 0 --- inspect .86 .53 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .62 47 0     0     error (invalid witness file) 0 --- inspect .0060 .0081 .53 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 610    610    15000   7600   .0082 0      error (invalid witness file) 0 --- inspect .81 .48 40 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0   error (invalid witness file) 0 --- inspect 1.2  .78 47 0     0     error (invalid witness file) 0 --- inspect .0045 .0053 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 3.3  3.3  43   46   .17   0      false(unreach-call) 1 wit inspect 8.6  4.5  320 0   0   false(unreach-call) 1 --- inspect 17     9.4   540   .66 0   false(unreach-call) 1 --- inspect 8.4  4.6  300 0     .42  error (2) 0 --- inspect .80   .80   22    .22  0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880    880    840   11000   38      0      error (invalid witness file) 0 --- inspect .77 .47 40 0   0   error (2) 0 --- inspect .021 .022 5.5 0    0   error (invalid witness file) 0 --- inspect .95 .62 47 0     0     error (invalid witness file) 0 --- inspect .0071 .0096 .40 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 430    430    15000   4700   .025  .0041 error (invalid witness file) 0 --- inspect .61 .38 43 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 .0049 .0060 .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 320    320    15000   3800   .025  .0041 error (invalid witness file) 0 --- inspect .70 .42 41 0   0   error (2) 0 --- inspect .026 .028 5.7 0    0   error (invalid witness file) 0 --- inspect .94 .61 47 0     0     error (invalid witness file) 0 --- inspect .0022 .0035 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 26    26    140   330   .97   0      false(unreach-call) 1 wit inspect 11    5.6  360 0   0   false(unreach-call) 1 --- inspect 27     16     810   .66 0   false(unreach-call) 1 --- inspect 9.9  5.3  400 0     0     error (2) 0 --- inspect 1.0    1.0    23    .41  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    490   12000   49      0      error (invalid witness file) 0 --- inspect .75 .47 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .64 47 0     0     error (invalid witness file) 0 --- inspect .0016 .0022 .53 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 410    410    15000   4800   .025  0      error (invalid witness file) 0 --- inspect .73 .44 42 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 .0059 .0072 .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 320    320    15000   4700   .025  .0041 error (invalid witness file) 0 --- inspect .59 .35 40 0   0   error (2) 0 --- inspect .025 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .63 47 0     0     error (invalid witness file) 0 --- inspect .0047 .0062 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 26    26    140   340   .86   0      false(unreach-call) 1 wit inspect 11    5.9  350 0   0   false(unreach-call) 1 --- inspect 24     13     680   .66 0   false(unreach-call) 1 --- inspect 11    5.9  430 0     0     error (2) 0 --- inspect 1.0    1.0    23    .39  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 590    590    15000   6400   .025  0      error (invalid witness file) 0 --- inspect .68 .42 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .65 48 0     0     error (invalid witness file) 0 --- inspect .0048 .0060 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880    880    1900   11000   78      0      error (invalid witness file) 0 --- inspect .71 .44 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .62 47 0     0     error (invalid witness file) 0 --- inspect .0020 .0027 .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 440    440    15000   4400   .025  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  .65 48 0     0     error (invalid witness file) 0 --- inspect .0022 .0029 .52 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 360    360    15000   4400   .025  0      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 .98 .63 49 0     0     error (invalid witness file) 0 --- inspect .0018 .0023 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 160    160    520   2100   1.8    0      false(unreach-call) 1 wit inspect 15    8.2  540 0   0   false(unreach-call) 1 --- inspect 39     23     1200   .62 0   false(unreach-call) 1 --- inspect 15    8.1  540 0     0     error (2) 0 --- inspect 1.5    1.5    30    .83  .14  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 420    420    15000   4200   .025  .0041 error (invalid witness file) 0 --- inspect .70 .44 41 0   0   error (2) 0 --- inspect .022 .025 5.8 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 48 0     0     error (invalid witness file) 0 --- inspect .0055 .0069 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 870    880    1700   11000   68      0      error (invalid witness file) 0 --- inspect .76 .46 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .65 47 0     0     error (invalid witness file) 0 --- inspect .0054 .0074 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 360    360    15000   4500   .025  0      error (invalid witness file) 0 --- inspect .76 .46 41 0   0   error (2) 0 --- inspect .024 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .62 47 0     0     error (invalid witness file) 0 --- inspect .0054 .0070 .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 370    370    15000   4600   .025  .0041 error (invalid witness file) 0 --- inspect .70 .43 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 .0051 .0066 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 150    150    460   2100   2.0    0      false(unreach-call) 1 wit inspect 13    6.9  500 0   0   false(unreach-call) 1 --- inspect 41     24     1000   .62 0   false(unreach-call) 1 --- inspect 16    8.5  540 0     0     error (2) 0 --- inspect 1.4    1.4    29    .77  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 370    370    15000   3800   .025  .0041 error (invalid witness file) 0 --- inspect .58 .36 41 0   0   error (2) 0 --- inspect .024 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .61 47 0     0     error (invalid witness file) 0 --- inspect .0054 .0073 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880    880    3500   12000   59      .0041 error (invalid witness file) 0 --- inspect .87 .54 41 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .96 .61 48 0     0     error (invalid witness file) 0 --- inspect .0048 .0060 .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 310    310    15000   3100   .025  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 .94 .65 47 0     0     error (invalid witness file) 0 --- inspect .0053 .0064 .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 380    380    15000   5200   .025  0      error (invalid witness file) 0 --- inspect .63 .39 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .74 46 0     0     error (invalid witness file) 0 --- inspect .0049 .010  .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+sep-reducer.c error (42) 0 --- inspect 880    880    2000   11000   5.0    0      error (invalid witness file) 0 --- inspect .78 .48 42 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 .0049 .0068 .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 500    500    15000   4900   .025  .0041 error (invalid witness file) 0 --- inspect .63 .39 40 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .62 48 0     0     error (invalid witness file) 0 --- inspect .0049 .0062 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880    880    3400   11000   .074  0      error (invalid witness file) 0 --- inspect .68 .42 43 0   0   error (2) 0 --- inspect .021 .021 5.7 0    0   error (invalid witness file) 0 --- inspect 1.0  .64 48 0     0     error (invalid witness file) 0 --- inspect .0053 .0065 .53 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 300    300    15000   3900   .025  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 .94 .61 47 0     0     error (invalid witness file) 0 --- inspect .0044 .0053 .53 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 390    390    15000   5200   .025  0      error (invalid witness file) 0 --- inspect .62 .38 40 0   0   error (2) 0 --- inspect .021 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .98 .64 48 0     0     error (invalid witness file) 0 --- inspect .0058 .0073 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c error (42) 0 --- inspect 880    880    1700   11000   3.3    0      error (invalid witness file) 0 --- inspect .76 .47 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .64 47 0     0     error (invalid witness file) 0 --- inspect .0044 .0053 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880    880    8700   11000   .082  0      error (invalid witness file) 0 --- inspect .79 .48 42 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .62 47 0     0     error (invalid witness file) 0 --- inspect .0044 .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 280    280    15000   2800   .025  .0041 error (invalid witness file) 0 --- inspect .58 .35 41 0   0   error (2) 0 --- inspect .019 .020 5.7 0    0   error (invalid witness file) 0 --- inspect .99 .64 47 0     0     error (invalid witness file) 0 --- inspect .0016 .0021 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 380    370    15000   4300   .025  .0041 error (invalid witness file) 0 --- inspect .58 .35 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .64 48 0     0     error (invalid witness file) 0 --- inspect .0026 .0034 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+sep-reducer.c error 0 --- inspect 880    880    5500   10000   .094  0      error (invalid witness file) 0 --- inspect .74 .46 40 0   0   error (2) 0 --- inspect .023 .023 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .68 49 0     0     error (invalid witness file) 0 --- inspect .0049 .0060 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 400    400    12000   4900   .0082 0      error (invalid witness file) 0 --- inspect .77 .46 40 0   0   error (2) 0 --- inspect .020 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .62 49 0     0     error (invalid witness file) 0 --- inspect .0056 .0076 .39 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 220    210    15000   2700   .025  0      error (invalid witness file) 0 --- inspect .65 .40 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .63 47 0     0     error (invalid witness file) 0 --- inspect .0015 .0019 .53 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 390    390    15000   4300   .025  0      error (invalid witness file) 0 --- inspect .63 .39 41 0   0   error (2) 0 --- inspect .024 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .63 48 0     0     error (invalid witness file) 0 --- inspect .0054 .0068 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c error 0 --- inspect 880    880    5100   10000   .094  0      error (invalid witness file) 0 --- inspect .70 .43 42 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .68 48 0     0     error (invalid witness file) 0 --- inspect .0060 .0079 .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 680    680    14000   6900   .0082 0      error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .74 47 0     0     error (invalid witness file) 0 --- inspect .0053 .0067 .52 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 210    210    15000   2700   .025  0      error (invalid witness file) 0 --- inspect .65 .40 41 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect .99 .66 48 0     0     error (invalid witness file) 0 --- inspect .0018 .0022 .52 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 380    380    15000   5200   .025  .0041 error (invalid witness file) 0 --- inspect .74 .43 41 0   0   error (2) 0 --- inspect .027 .028 5.7 0    0   error (invalid witness file) 0 --- inspect 1.2  .75 47 0     0     error (invalid witness file) 0 --- inspect .0022 .0042 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880    880    11000   12000   .082  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.2  .78 46 0     0     error (invalid witness file) 0 --- inspect .0055 .0073 .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 190    190    15000   2100   .025  .0041 error (invalid witness file) 0 --- inspect .78 .47 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .62 46 0     0     error (invalid witness file) 0 --- inspect .0017 .0021 .53 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 390    390    15000   4700   .025  .0041 error (invalid witness file) 0 --- inspect .71 .43 40 0   0   error (2) 0 --- inspect .020 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .64 47 0     0     error (invalid witness file) 0 --- inspect .0016 .0021 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 450    450    15000   4500   .025  .0041 error (invalid witness file) 0 --- inspect .75 .46 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .59 46 0     0     error (invalid witness file) 0 --- inspect .0053 .0064 .40 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 580    580    15000   7600   .025  .0041 error (invalid witness file) 0 --- inspect .70 .43 41 0   0   error (2) 0 --- inspect .023 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .62 47 0     0     error (invalid witness file) 0 --- inspect .0063 .0082 .54 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 550    540    15000   7700   .025  0      error (invalid witness file) 0 --- inspect .72 .44 41 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .70 48 0     0     error (invalid witness file) 0 --- inspect .0020 .0026 .54 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 340    340    15000   3500   .025  0      error (invalid witness file) 0 --- inspect .77 .47 40 0   0   error (2) 0 --- inspect .023 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .94 .61 46 0     0     error (invalid witness file) 0 --- inspect .0019 .0023 .40 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 660    660    15000   8300   .025  0      error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .65 49 0     0     error (invalid witness file) 0 --- inspect .0052 .0064 .54 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 620    620    15000   9200   .025  0      error (invalid witness file) 0 --- inspect .72 .46 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .65 48 0     0     error (invalid witness file) 0 --- inspect .0019 .0025 .41 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 450    450    15000   4700   .025  .0041 error (invalid witness file) 0 --- inspect .62 .38 40 0   0   error (2) 0 --- inspect .023 .024 5.7 0    0   error (invalid witness file) 0 --- inspect .99 .65 48 0     0     error (invalid witness file) 0 --- inspect .0046 .0057 .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 160    160    15000   2000   .025  0      error (invalid witness file) 0 --- inspect .73 .45 40 0   0   error (2) 0 --- inspect .027 .028 5.7 0    0   error (invalid witness file) 0 --- inspect .93 .62 46 0     0     error (invalid witness file) 0 --- inspect .0049 .0061 .54 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 330    330    15000   3700   .025  .0041 error (invalid witness file) 0 --- inspect .65 .42 41 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 .0047 .0058 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 150    150    15000   2100   .033  0      error (invalid witness file) 0 --- inspect .68 .40 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 .0052 .0067 .52 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 160    160    15000   1900   .033  0      error (invalid witness file) 0 --- inspect .59 .36 41 0   0   error (2) 0 --- inspect .025 .026 5.7 0    0   error (invalid witness file) 0 --- inspect .97 .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.3.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 450    450    15000   4500   .025  0      error (invalid witness file) 0 --- inspect .73 .45 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .63 49 0     0     error (invalid witness file) 0 --- inspect .0056 .0069 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 570    570    15000   8900   .025  0      error (invalid witness file) 0 --- inspect .61 .38 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 .0048 .0059 .54 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 560    560    15000   7200   .025  0      error (invalid witness file) 0 --- inspect .74 .45 40 0   0   error (2) 0 --- inspect .026 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .62 47 0     0     error (invalid witness file) 0 --- inspect .0025 .0033 .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 330    330    15000   3800   .025  0      error (invalid witness file) 0 --- inspect .73 .45 41 0   0   error (2) 0 --- inspect .025 .026 5.5 0    0   error (invalid witness file) 0 --- inspect .99 .63 48 0     0     error (invalid witness file) 0 --- inspect .0047 .0060 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 650    650    15000   9300   .025  .0041 error (invalid witness file) 0 --- inspect .60 .37 42 0   0   error (2) 0 --- inspect .023 .025 5.7 0    0   error (invalid witness file) 0 --- inspect .93 .60 47 0     0     error (invalid witness file) 0 --- inspect .0040 .0047 .39 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 630    630    15000   7600   .025  .0041 error (invalid witness file) 0 --- inspect .62 .38 41 0   0   error (2) 0 --- inspect .023 .023 5.6 0    0   error (invalid witness file) 0 --- inspect 1.2  .80 48 0     0     error (invalid witness file) 0 --- inspect .0024 .012  .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 460    460    15000   4400   .025  0      error (invalid witness file) 0 --- inspect .60 .38 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 47 0     0     error (invalid witness file) 0 --- inspect .0056 .0071 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 570    570    15000   8500   .025  0      error (invalid witness file) 0 --- inspect .85 .53 42 0   0   error (2) 0 --- inspect .024 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .59 47 0     0     error (invalid witness file) 0 --- inspect .0024 .0031 .54 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 550    550    15000   7100   .025  .0041 error (invalid witness file) 0 --- inspect .59 .38 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .66 48 0     0     error (invalid witness file) 0 --- inspect .0016 .0021 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 340    340    15000   3400   .025  0      error (invalid witness file) 0 --- inspect .72 .46 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .65 48 0     0     error (invalid witness file) 0 --- inspect .0054 .0070 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 650    650    15000   8400   .025  0      error (invalid witness file) 0 --- inspect .70 .43 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .60 47 0     0     error (invalid witness file) 0 --- inspect .0055 .0089 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 620    620    15000   8000   .025  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 .95 .61 46 0     0     error (invalid witness file) 0 --- inspect .0050 .0084 .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 300    300    15000   3700   .025  0      error (invalid witness file) 0 --- inspect .61 .38 42 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .60 46 0     0     error (invalid witness file) 0 --- inspect .0047 .0059 .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 720    720    15000   8900   .033  .0041 error (invalid witness file) 0 --- inspect .70 .43 42 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 .0054 .0067 .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 230    230    15000   2700   .025  .0041 error (invalid witness file) 0 --- inspect .84 .51 43 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .63 47 0     0     error (invalid witness file) 0 --- inspect .0020 .0026 .53 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 790    790    15000   9700   .033  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 .97 .63 47 0     0     error (invalid witness file) 0 --- inspect .0018 .0023 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error 0 --- inspect 880    880    15000   12000   .098  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 .95 .62 46 0     0     error (invalid witness file) 0 --- inspect .0057 .0074 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 290    290    15000   4400   .025  .0041 error (invalid witness file) 0 --- inspect .77 .46 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .62 47 0     0     error (invalid witness file) 0 --- inspect .0057 .0073 .54 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 160    160    15000   1900   .025  0      error (invalid witness file) 0 --- inspect .70 .43 42 0   0   error (2) 0 --- inspect .027 .028 5.7 0    0   error (invalid witness file) 0 --- inspect .98 .62 49 0     0     error (invalid witness file) 0 --- inspect .0021 .0025 .40 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 170    170    15000   2100   .025  0      error (invalid witness file) 0 --- inspect .76 .46 41 0   0   error (2) 0 --- inspect .024 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .60 47 0     0     error (invalid witness file) 0 --- inspect .0046 .0058 .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 230    220    15000   2700   .025  .0041 error (invalid witness file) 0 --- inspect .58 .36 42 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .64 48 0     0     error (invalid witness file) 0 --- inspect .0018 .0023 .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 160    160    15000   2300   .033  0      error (invalid witness file) 0 --- inspect .69 .43 40 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .64 48 0     0     error (invalid witness file) 0 --- inspect .0060 .0074 .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 160    160    15000   1800   .025  0      error (invalid witness file) 0 --- inspect .67 .41 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 .0017 .0023 .54 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 310    300    15000   3700   .025  0      error (invalid witness file) 0 --- inspect .61 .36 41 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0   error (invalid witness file) 0 --- inspect 1.0  .65 48 0     0     error (invalid witness file) 0 --- inspect .0051 .0067 .52 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 770    770    15000   9900   .033  .0041 error (invalid witness file) 0 --- inspect .61 .38 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .64 48 0     0     error (invalid witness file) 0 --- inspect .0020 .0027 .54 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 740    740    15000   11000   .025  .0041 error (invalid witness file) 0 --- inspect .71 .43 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .61 46 0     0     error (invalid witness file) 0 --- inspect .0044 .0062 .53 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 230    220    15000   2700   .025  .0041 error (invalid witness file) 0 --- inspect .71 .45 40 0   0   error (2) 0 --- inspect .021 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .62 46 0     0     error (invalid witness file) 0 --- inspect .0043 .0052 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error 0 --- inspect 880    880    14000   13000   .086  0      error (invalid witness file) 0 --- inspect .75 .47 40 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0   error (invalid witness file) 0 --- inspect .96 .63 47 0     0     error (invalid witness file) 0 --- inspect .0047 .0057 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error 0 --- inspect 880    880    14000   11000   .082  0      error (invalid witness file) 0 --- inspect .67 .43 40 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 .0047 .0061 .54 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 300    300    15000   3900   .025  0      error (invalid witness file) 0 --- inspect .63 .38 41 0   0   error (2) 0 --- inspect .026 .026 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .64 48 0     0     error (invalid witness file) 0 --- inspect .0042 .0049 .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 650    650    15000   7800   .025  0      error (invalid witness file) 0 --- inspect .77 .47 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .67 49 0     0     error (invalid witness file) 0 --- inspect .0016 .0018 .40 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 710    710    15000   9600   .033  .0041 error (invalid witness file) 0 --- inspect .64 .39 41 0   0   error (2) 0 --- inspect .021 .023 5.6 0    0   error (invalid witness file) 0 --- inspect 1.2  .78 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.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 230    230    15000   2700   .025  0      error (invalid witness file) 0 --- inspect .68 .42 41 0   0   error (2) 0 --- inspect .024 .026 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .65 48 0     0     error (invalid witness file) 0 --- inspect .0038 .0048 .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 780    780    15000   11000   .033  .0041 error (invalid witness file) 0 --- inspect .62 .37 40 0   0   error (2) 0 --- inspect .028 .028 5.6 0    0   error (invalid witness file) 0 --- inspect .97 .63 47 0     0     error (invalid witness file) 0 --- inspect .0018 .0024 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error 0 --- inspect 880    880    15000   11000   .086  0      error (invalid witness file) 0 --- inspect .76 .46 42 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .95 .62 47 0     0     error (invalid witness file) 0 --- inspect .0017 .0022 .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 270    270    15000   4000   .025  .0041 error (invalid witness file) 0 --- inspect .74 .45 40 0   0   error (2) 0 --- inspect .022 .025 5.7 0    0   error (invalid witness file) 0 --- inspect .92 .62 46 0     0     error (invalid witness file) 0 --- inspect .0047 .0058 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c error 0 --- inspect 880    880    12000   12000   .082  0      error (invalid witness file) 0 --- inspect .78 .48 42 0   0   error (2) 0 --- inspect .026 .026 5.5 0    0   error (invalid witness file) 0 --- inspect .96 .63 48 0     0     error (invalid witness file) 0 --- inspect .0017 .0022 .53 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 640    640    15000   7700   .025  0      error (invalid witness file) 0 --- inspect .62 .37 42 0   0   error (2) 0 --- inspect .020 .020 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .59 47 0     0     error (invalid witness file) 0 --- inspect .0017 .0021 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 270    270    15000   2900   .025  0      error (invalid witness file) 0 --- inspect .74 .45 42 0   0   error (2) 0 --- inspect .021 .022 5.8 0    0   error (invalid witness file) 0 --- inspect .96 .63 47 0     0     error (invalid witness file) 0 --- inspect .0056 .0085 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 160    160    15000   2200   .025  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 .98 .65 47 0     0     error (invalid witness file) 0 --- inspect .0048 .0081 .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 180    180    15000   2200   .025  0      error (invalid witness file) 0 --- inspect .59 .35 40 0   0   error (2) 0 --- inspect .023 .023 5.6 0    0   error (invalid witness file) 0 --- inspect 1.2  .78 48 0     0     error (invalid witness file) 0 --- inspect .0056 .0071 .53 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 210    210    15000   2900   .025  0      error (invalid witness file) 0 --- inspect .64 .39 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .59 46 0     0     error (invalid witness file) 0 --- inspect .0047 .0062 .54 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 170    170    15000   1900   .033  0      error (invalid witness file) 0 --- inspect .65 .39 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .61 46 0     0     error (invalid witness file) 0 --- inspect .0051 .0063 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 170    170    15000   2200   .025  0      error (invalid witness file) 0 --- inspect .76 .46 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .69 49 0     0     error (invalid witness file) 0 --- inspect .0046 .0056 .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 280    280    15000   3000   .025  0      error (invalid witness file) 0 --- inspect .66 .41 41 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 .0026 .0034 .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 error 0 --- inspect 880    880    13000   10000   .078  0      error (invalid witness file) 0 --- inspect .74 .46 41 0   0   error (2) 0 --- inspect .021 .021 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
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 630    630    15000   9000   .025  0      error (invalid witness file) 0 --- inspect .58 .36 42 0   0   error (2) 0 --- inspect .030 .031 5.7 0    0   error (invalid witness file) 0 --- inspect 1.0  .63 47 0     0     error (invalid witness file) 0 --- inspect .0066 .0085 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 220    220    15000   2600   .025  0      error (invalid witness file) 0 --- inspect .78 .48 41 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .65 49 0     0     error (invalid witness file) 0 --- inspect .0054 .0069 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 270    270    15000   3100   .025  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 .94 .62 46 0     0     error (invalid witness file) 0 --- inspect .0013 .0015 .40 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c error 0 --- inspect 880    880    12000   9700   .082  0      error (invalid witness file) 0 --- inspect .87 .53 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0   error (invalid witness file) 0 --- inspect .98 .63 49 0     0     error (invalid witness file) 0 --- inspect .0024 .0031 .53 0     0     - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 630    630    15000   7200   .025  .0041 error (invalid witness file) 0 --- inspect .60 .37 42 0   0   error (2) 0 --- inspect .021 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .94 .62 47 0     0     error (invalid witness file) 0 --- inspect .0018 .0022 .53 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 430    430    15000   4400   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .47 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 700    700    15000   8200   .0082 25      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .40 41 0   0   error (2) 0 --- inspect .022 .023 5.7 0    0    
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 660    660    15000   8500   .0082 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .47 41 0   0   error (2) 0 --- inspect .022 .024 5.8 0    0    
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 350    350    15000   3900   .025  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .39 41 0   0   error (2) 0 --- inspect .022 .023 5.7 0    0    
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 800    800    15000   11000   .033  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .42 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 750    750    15000   9700   .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .42 40 0   0   error (2) 0 --- inspect .031 .031 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 230    230    15000   2800   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .38 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 310    310    15000   4100   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .47 41 0   0   error (2) 0 --- inspect .026 .027 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 840    840    15000   11000   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .45 40 0   0   error (2) 0 --- inspect .025 .025 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 190    190    15000   2500   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 42 0   0   error (2) 0 --- inspect .026 .027 5.5 0    0    
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c out of memory 0 --- inspect 250    250    15000   3100   .025  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .38 40 0   0   error (2) 0 --- inspect .026 .028 5.7 0    0    
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error 0 --- inspect 880    880    12000   11000   .098  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .44 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 error (42) 0 --- inspect 880    880    350   11000   33      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .44 42 0   0   error (2) 0 --- inspect .021 .023 5.7 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c error 0 --- inspect 880    880    12000   9400   .086  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .86 .52 41 0   0   error (2) 0 --- inspect .021 .023 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c error 0 --- inspect 880    880    13000   9100   .086  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+sep-reducer.c error (42) 0 --- inspect 880    880    1200   11000   47      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .40 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+cfa-reducer.c error (42) 0 --- inspect 880    880    480   11000   31      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .41 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error 0 --- inspect 880    880    14000   8800   .086  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 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.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 860    850    15000   8500   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 42 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c error (42) 0 --- inspect 880    880    1300   13000   42      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880    880    2600   10000   59      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .45 41 0   0   error (2) 0 --- inspect .036 .037 5.5 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 360    360    15000   3800   .025  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .35 41 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.BOUNDED-8.pals.c.v+nlh-reducer.c error 0 --- inspect 880    880    14000   8600   .082  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .39 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 error (42) 0 --- inspect 880    880    6100   11000   .098  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .43 40 0   0   error (2) 0 --- inspect .028 .028 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880    880    2600   11000   30      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .79 .49 41 0   0   error (2) 0 --- inspect .028 .029 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 290    290    15000   3200   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .40 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.UNBOUNDED.pals.c.v+nlh-reducer.c error 0 --- inspect 880    880    14000   10000   .090  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .37 40 0   0   error (2) 0 --- inspect .024 .025 5.7 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c error (42) 0 --- inspect 880    880    5900   10000   .082  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .36 40 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.p+lhb-reducer.c out of memory 0 --- inspect 870    870    15000   7200   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .38 40 0   0   error (2) 0 --- inspect .027 .029 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 280    280    13000   2500   .0082 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 41 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 500    500    15000   6000   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .44 40 0   0   error (2) 0 --- inspect .022 .022 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 290    290    13000   3200   .0082 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .37 40 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0    
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 480    470    15000   6500   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 40 0   0   error (2) 0 --- inspect .027 .027 5.5 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 350    350    15000   5200   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 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+nlh-reducer.c out of memory 0 --- inspect 430    430    15000   4900   .025  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 40 0   0   error (2) 0 --- inspect .025 .026 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 340    340    15000   4000   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .37 41 0   0   error (2) 0 --- inspect .026 .026 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880    880    430   11000   16      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 420    420    14000   4200   .0082 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .44 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+nlh-reducer.c out of memory 0 --- inspect 510    510    15000   5300   .0082 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .36 40 0   0   error (2) 0 --- inspect .027 .027 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+sep-reducer.c true 1 wit inspect 4.6  4.6  44   70   .31   0      - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 30    22    780 0   0   timeout 0 --- inspect 960     860     5700   1.5  0    
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880    880    470   12000   17      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 500    500    15000   6100   .0082 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .42 41 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+nlh-reducer.c out of memory 0 --- inspect 610    610    15000   6300   .0082 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .68 .43 41 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+sep-reducer.c error (42) 0 --- inspect 880    880    770   10000   7.2    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .69 .41 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880    880    840   12000   35      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .42 40 0   0   error (2) 0 --- inspect .028 .028 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 430    430    15000   4700   .025  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .47 41 0   0   error (2) 0 --- inspect .027 .029 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 320    320    15000   3900   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .47 40 0   0   error (2) 0 --- inspect .024 .024 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+sep-reducer.c true 1 wit inspect 33    33    140   420   1.3    0      - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 69    60    1300 0   0   out of memory 0 --- inspect 350     260     7000   .63 0    
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 870    880    490   11000   49      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 41 0   0   error (2) 0 --- inspect .026 .026 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 410    410    15000   4700   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .40 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 320    320    15000   3800   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .44 42 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c error (42) 0 --- inspect 880    880    620   8300   10      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .40 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 510    510    15000   5900   .025  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .38 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880    880    1900   9800   77      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 430    430    15000   4100   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .41 41 0   0   error (2) 0 --- inspect .028 .029 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 360    360    15000   5200   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .47 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+sep-reducer.c true 1 wit inspect 210    210    530   2600   2.8    0      - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 33    18    1300 0   0   out of memory 0 --- inspect 380     260     7000   .68 0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880    880    1700   12000   68      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .40 42 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 360    360    15000   3000   .025  .0041 - --- 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    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 370    370    15000   4600   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .46 41 0   0   error (2) 0 --- inspect .026 .028 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c error (42) 0 --- inspect 880    880    550   11000   8.9    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 390    390    15000   4000   .025  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .49 42 0   0   error (2) 0 --- inspect .023 .024 5.5 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880    880    3600   10000   59      0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 41 0   0   error (2) 0 --- inspect .020 .022 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 320    320    15000   3400   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 40 0   0   error (2) 0 --- inspect .024 .025 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 380    380    15000   4600   .025  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .40 42 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+sep-reducer.c error (42) 0 --- inspect 880    880    2000   13000   3.8    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .41 40 0   0   error (2) 0 --- inspect .023 .024 5.7 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c out of memory 0 --- inspect 330    320    15000   3900   .025  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .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+cfa-reducer.c error (42) 0 --- inspect 880    880    3400   12000   .082  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .38 42 0   0   error (2) 0 --- inspect .025 .027 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 300    290    15000   3500   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 390    390    15000   5800   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .57 .34 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 error (42) 0 --- inspect 880    880    1700   11000   3.3    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .36 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+cfa-reducer.c error (42) 0 --- inspect 880    880    8700   11000   .074  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .57 .35 41 0   0   error (2) 0 --- inspect .020 .022 5.7 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 280    280    15000   2900   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .38 42 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 370    370    15000   5300   .025  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .36 41 0   0   error (2) 0 --- inspect .025 .026 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 400    400    12000   4700   .0082 0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .39 40 0   0   error (2) 0 --- inspect .021 .022 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 390    390    15000   5400   .025  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .41 41 0   0   error (2) 0 --- inspect .027 .028 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 460    460    15000   4500   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .36 40 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0    
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 570    570    15000   6700   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .47 41 0   0   error (2) 0 --- inspect .022 .023 5.7 0    0    
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 550    550    15000   6500   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .40 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0    
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c out of memory 0 --- inspect 660    660    15000   8700   .025  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .39 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0    
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c out of memory 0 --- inspect 620    620    15000   7800   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .37 40 0   0   error (2) 0 --- inspect .028 .029 5.6 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 290    290    15000   3900   .025  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 41 0   0   error (2) 0 --- inspect .023 .024 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 650    650    15000   9600   .025  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .36 41 0   0   error (2) 0 --- inspect .027 .028 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 720    720    15000   7700   .033  0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .38 41 0   0   error (2) 0 --- inspect .027 .027 5.6 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 230    230    15000   2600   .025  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .43 40 0   0   error (2) 0 --- inspect .024 .025 5.7 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 790    790    15000   9800   .029  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 40 0   0   error (2) 0 --- inspect .029 .034 5.6 0    0    
seq-pthread/cs_fib_false-unreach-call.i false(unreach-call) 0 wit inspect 2.7  2.7  57   32   .39   0      timeout 0 wit inspect 98    82    1000 0   0   out of memory 0 --- inspect 78     49     7000   .73 0   unknown 0 --- inspect 7.4  4.0  300 0     .20  true -32 --- inspect .74   .74   22    .15  0     - --- inspect - --- inspect
seq-pthread/cs_fib_longer_false-unreach-call.i false(unreach-call) 0 wit inspect 8.5  8.5  89   110   .43   0      timeout 0 wit inspect 97    67    2500 0   0   out of memory 0 --- inspect 73     49     7000   1.7  0   unknown 0 --- inspect 9.4  5.0  440 0     0     true -32 --- inspect .74   .74   22    .15  0     - --- inspect - --- inspect
seq-pthread/cs_lazy_false-unreach-call_true-termination.i false(unreach-call) 1 wit inspect .60 .59 26   8.1 .11   0      timeout 0 wit inspect 95    82    780 0   0   false(unreach-call) 1 --- inspect 70     45     2900   .62 0   unknown 0 --- inspect 7.1  3.9  290 0     0     true -32 --- inspect .73   .75   21    .13  0     - --- inspect - --- inspect
seq-pthread/cs_queue_false-unreach-call.i false(unreach-call) 0 wit inspect 46    46    500   680   .0082 0      timeout 0 wit inspect 97    68    2600 0   0   timeout 0 --- inspect 97     82     1700   1.6  0   unknown 0 --- inspect 7.7  4.2  300 0     0     error (2) 0 --- inspect .81   .80   23    .078 0     - --- inspect - --- inspect
seq-pthread/cs_read_write_lock_false-unreach-call.i false(unreach-call) 0 wit inspect .71 .70 45   8.5 .0082 0      timeout 0 wit inspect 97    74    2300 0   0   error (7) 0 --- inspect 20     12     320   .75 0   unknown 0 --- inspect 8.3  4.5  370 0     .30  error (2) 0 --- inspect .68   .68   21    .057 0     - --- inspect - --- inspect
seq-pthread/cs_stack_false-unreach-call.i false(unreach-call) 0 wit inspect 1.2  1.2  53   14   .0082 0      timeout 0 wit inspect 98    72    2100 0   0   timeout 0 --- inspect 97     71     1400   .67 0   unknown 0 --- inspect 8.9  4.8  390 0     .13  error (2) 0 --- inspect .75   .75   22    .070 0     - --- inspect - --- inspect
seq-pthread/cs_stateful_false-unreach-call_true-termination.i false(unreach-call) 0 wit inspect .55 .54 22   6.8 .14   0      timeout 0 wit inspect 96    74    2100 0   0   timeout 0 --- inspect 98     74     2900   1.1  0   unknown 0 --- inspect 8.8  4.7  270 0     0     true -32 --- inspect .73   .73   21    .14  0     - --- inspect - --- inspect
seq-pthread/cs_dekker_true-unreach-call.i error (42) 0 --- inspect 880    880    350   12000   3.1    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .41 41 0   0   error (2) 0 --- inspect .027 .028 5.6 0    0    
seq-pthread/cs_fib_longer_true-unreach-call.i true 1 wit inspect 33    33    100   430   .48   0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3800 0   0   timeout 0 --- inspect 960     920     2800   1.1  0    
seq-pthread/cs_fib_true-unreach-call.i true 1 wit inspect 6.9  6.9  56   97   .43   0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3000 0   0   timeout 0 --- inspect 960     920     2400   1.2  0    
seq-pthread/cs_lamport_true-unreach-call.i error (42) 0 --- inspect 880    880    370   11000   2.6    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0    
seq-pthread/cs_peterson_true-unreach-call.i error (42) 0 --- inspect 880    880    460   12000   3.8    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .58 .35 40 0   0   error (2) 0 --- inspect .028 .028 5.6 0    0    
seq-pthread/cs_queue_true-unreach-call.i error (42) 0 --- inspect 880    880    2500   10000   8.2    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 41 0   0   error (2) 0 --- inspect .029 .029 5.6 0    0    
seq-pthread/cs_read_write_lock_true-unreach-call.i true 1 wit inspect 1.6  1.6  46   18   .37   0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    2400 0   0   error (7) 0 --- inspect 28     15     450   .75 0    
seq-pthread/cs_stack_true-unreach-call.i true 1 wit inspect 7.1  7.1  120   84   .71   0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3400 0   0   timeout 0 --- inspect 960     880     3600   .63 0    
seq-pthread/cs_stateful_true-unreach-call.i true 1 wit inspect .72 .71 22   9.1 .20   0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    2100 0   0   timeout 0 --- inspect 960     900     3900   .69 0    
seq-pthread/cs_sync_true-unreach-call.i true 1 wit inspect 2.4  2.4  77   35   .33   0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3700 0   0   timeout 0 --- inspect 960     870     4300   1.0  0    
seq-pthread/cs_szymanski_true-unreach-call.i error (42) 0 --- inspect 880    880    300   11000   4.3    0      - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .37 40 0   0   error (2) 0 --- inspect .032 .033 5.5 0    0    
seq-pthread/cs_time_var_mutex_true-unreach-call.i true 1 wit inspect .89 .88 27   11   .25   0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    1600 0   0   timeout 0 --- inspect 960     880     3700   .68 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 175 270000 270000 4100000 3000000 2300    61   400 -2769 2500 1500 79000 0   0   400 -825 7300 4700 250000 120 0   400 111 1900 1100 77000 .016 10   400 -172 140 140 3700 37   .92 189 18 16000 15000 84000 0   0   189 2 16000 13000 140000 26    .053
    correct results 146 156 2500 2500 14000 28000 90    0   47 47 480 250 17000 0   0   71 71 2600 1600 76000 45 0   111 111 1100 600 45000 0     9.1 84 84 83 83 2000 24   .50 9 18 1300 1200 16000 0   0   1 2 340 250 4200 .62 0    
        correct true 10 20 210 210 240 2800 6.2  0   0 0 0 0 9 18 1300 1200 16000 0   0   1 2 340 250 4200 .62 0    
        correct false 136 136 2300 2300 13000 25000 83    0   47 47 480 250 17000 0   0   71 71 2600 1600 76000 45 0   111 111 1100 600 45000 0     9.1 84 84 83 83 2000 24   .50 0 0
    correct-unconfimed results 28 19 2000 2000 6300 25000 15    0   0 0 0 0 0 0
        correct-unconfirmed true 19 19 1700 1700 3700 22000 14    0   0 0 0 0 0 0
        correct-unconfirmed false 9 0 280 280 2600 3300 1.0  0   0 0 0 0 0 0
    incorrect results 0 88 -2816 880 460 31000 0   0   28 -896 390 220 12000 18 0   0 8 -256 12 12 250 5.0 .25 0 0
        incorrect true 0 88 -2816 880 460 31000 0   0   28 -896 390 220 12000 18 0   0 8 -256 12 12 250 5.0 .25 0 0
        incorrect false 0 0 0 0 0 0 0
score (589 tasks, max score: 778) 175 -2769 -825 111 -172 18 2
Run set cbmc.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-cbmc.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-cbmc.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-cbmc.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-cbmc.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-cbmc.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-cbmc.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized