Tool PeSCo 1.7-svn b8d6131600+ 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* [apollon004; apollon069; apollon137; apollon154] [apollon004; apollon006; apollon021; apollon061; apollon109; apollon155] apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-06 12:44:04 CET 2018-12-08 07:39:30 CET 2018-12-08 12:16:42 CET 2018-12-08 13:32:07 CET 2018-12-12 20:37:42 CET 2018-12-08 05:07:50 CET 2018-12-08 09:11:31 CET
Run set pesco.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-pesco.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-pesco.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-pesco.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-pesco.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-pesco.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-pesco.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized
Options -svcomp19-pesco -heap 10000M -stack 2048k -benchmark -timelimit 900s -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/pesco.2018-12-06_1244.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/pesco.2018-12-06_1244.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/pesco.2018-12-06_1244.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/pesco.2018-12-06_1244.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -witness ../../results-verified/pesco.2018-12-06_1244.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/pesco.2018-12-06_1244.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 21 6.1 1400 170 .11  0     false(unreach-call) 1 wit inspect 7.0  3.7  300 0   0   false(unreach-call) 1 --- inspect 18     9.9   710   .66 0     false(unreach-call) 1 --- inspect 5.4  3.0  280 0   0     false(unreach-call) 1 --- inspect .80   .79   23    .12  .0082 - --- inspect - --- inspect
systemc/kundu2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 25 8.5 1300 200 .094 1.8   false(unreach-call) 1 wit inspect 7.2  3.8  300 0   0   false(unreach-call) 1 --- inspect 14     8.1   500   .62 0     false(unreach-call) 1 --- inspect 5.4  3.0  280 0   1.3   false(unreach-call) 1 --- inspect .79   .80   22    .13  0      - --- inspect - --- inspect
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 14 4.1 1200 98 .016 0     false(unreach-call) 1 wit inspect 4.4  2.4  260 0   0   false(unreach-call) 1 --- inspect 8.3   5.1   310   .66 0     false(unreach-call) 1 --- inspect 4.4  2.5  250 0   0     false(unreach-call) 1 --- inspect .63   .63   21    .086 0      - --- inspect - --- inspect
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 16 4.7 1200 130 .025 0     false(unreach-call) 1 wit inspect 4.7  2.6  260 0   0   false(unreach-call) 1 --- inspect 14     8.1   510   .62 0     false(unreach-call) 1 --- inspect 4.6  2.6  250 0   0     false(unreach-call) 1 --- inspect .67   .68   21    .10  0      - --- inspect - --- inspect
systemc/pipeline_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 130 79   3200 1300 1.3   0     false(unreach-call) 1 wit inspect 13    6.9  470 0   0   timeout 0 --- inspect 98     59     6200   1.5  0     false(unreach-call) 1 --- inspect 8.7  4.6  360 0   0     false(unreach-call) 1 --- inspect .96   .96   36    .15  0      - --- inspect - --- inspect
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 24 5.7 1400 150 0     0     false(unreach-call) 1 wit inspect 6.4  3.4  290 0   0   false(unreach-call) 1 --- inspect 17     11     510   .62 0     false(unreach-call) 1 --- inspect 5.1  2.8  280 0   0     false(unreach-call) 1 --- inspect .67   .67   22    .10  0      - --- inspect - --- inspect
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 36 8.3 1400 250 .10  0     false(unreach-call) 1 wit inspect 6.4  3.4  280 0   0   false(unreach-call) 1 --- inspect 29     16     590   .62 0     false(unreach-call) 1 --- inspect 5.8  3.2  290 0   0     false(unreach-call) 1 --- inspect .70   .70   23    .11  0      - --- inspect - --- inspect
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 49 13   2100 390 .14  0     false(unreach-call) 1 wit inspect 7.9  4.2  310 0   0   false(unreach-call) 1 --- inspect 50     28     880   .62 0     false(unreach-call) 1 --- inspect 5.7  3.1  280 0   0     false(unreach-call) 1 --- inspect .74   .74   23    .13  0      - --- inspect - --- inspect
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 65 29   1900 610 .19  0     false(unreach-call) 1 wit inspect 9.2  4.9  340 0   0   false(unreach-call) 1 --- inspect 53     31     1400   .62 0     false(unreach-call) 1 --- inspect 5.9  3.2  280 0   0     false(unreach-call) 1 --- inspect .81   .81   24    .14  0      - --- inspect - --- inspect
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 70 29   2300 590 .24  0     false(unreach-call) 1 wit inspect 9.8  5.1  340 0   0   false(unreach-call) 1 --- inspect 72     42     2400   .62 0     false(unreach-call) 1 --- inspect 6.9  3.7  300 0   0     false(unreach-call) 1 --- inspect .84   .83   26    .15  0      - --- inspect - --- inspect
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 180 120   2600 2000 .30  0     false(unreach-call) 1 wit inspect 9.5  5.0  350 0   0   false(unreach-call) 1 --- inspect 85     51     3300   .62 0     false(unreach-call) 1 --- inspect 8.2  4.4  360 0   0     false(unreach-call) 1 --- inspect .89   .89   27    .17  0      - --- inspect - --- inspect
systemc/token_ring.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 350 290   2600 4800 .37  0     false(unreach-call) 1 wit inspect 11    5.8  390 0   0   timeout (false(unreach-call)) 0 --- inspect 96     59     4500   .62 0     false(unreach-call) 1 --- inspect 7.4  4.0  350 0   0     false(unreach-call) 1 --- inspect .94   .94   29    .18  0      - --- inspect - --- inspect
systemc/token_ring.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 500 430   2800 6700 .44  0     false(unreach-call) 1 wit inspect 15    7.7  460 0   0   timeout 0 --- inspect 97     58     4600   .71 0     false(unreach-call) 1 --- inspect 9.1  4.9  390 0   0     false(unreach-call) 1 --- inspect 1.1    1.1    30    .20  .020  - --- inspect - --- inspect
systemc/token_ring.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 200 140   2400 2400 .52  0     false(unreach-call) 1 wit inspect 16    8.1  480 0   0   timeout 0 --- inspect 97     60     4600   .77 0     false(unreach-call) 1 --- inspect 8.4  4.6  380 0   0     false(unreach-call) 1 --- inspect 1.1    1.1    32    .21  0      - --- inspect - --- inspect
systemc/token_ring.10_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 960 860   2900 13000 0     0     error (invalid witness file) 0 --- inspect .78 .48 44 0   0   error (invalid witness file) 0 --- inspect 5.6   3.0   270   .61 0     error (invalid witness file) 0 --- inspect 1.0  .66 50 0   0     error (invalid witness file) 0 --- inspect .0017 .0021 .53 0     0      - --- inspect - --- inspect
systemc/token_ring.11_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 760 680   3300 12000 .71  0     false(unreach-call) 1 wit inspect 16    8.4  620 0   0   timeout 0 --- inspect 96     60     4600   .77 0     false(unreach-call) 1 --- inspect 11    5.9  470 0   0     false(unreach-call) 1 --- inspect 1.2    1.2    36    .25  0      - --- inspect - --- inspect
systemc/token_ring.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 25 8.0 1500 210 0     0     false(unreach-call) 1 wit inspect 15    7.8  620 0   0   timeout 0 --- inspect 97     66     4600   1.5  0     false(unreach-call) 1 --- inspect 13    6.6  540 0   0     false(unreach-call) 1 --- inspect 1.3    1.3    39    .25  0      - --- inspect - --- inspect
systemc/token_ring.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 27 8.9 1400 230 0     0     false(unreach-call) 1 wit inspect 17    9.1  650 0   0   timeout 0 --- inspect 96     63     4600   1.5  0     false(unreach-call) 1 --- inspect 10    5.4  580 0   0     false(unreach-call) 1 --- inspect 1.4    1.4    41    .27  0      - --- inspect - --- inspect
systemc/token_ring.14_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 26 8.2 1600 210 0     0     false(unreach-call) 1 wit inspect 18    9.4  650 0   0   timeout 0 --- inspect 97     65     4600   1.6  0     false(unreach-call) 1 --- inspect 10    5.3  510 0   0     false(unreach-call) 1 --- inspect 1.3    1.3    39    .25  0      - --- inspect - --- inspect
systemc/token_ring.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 27 8.9 1700 210 0     0     false(unreach-call) 1 wit inspect 18    9.5  670 0   0   timeout 0 --- inspect 97     66     4600   .74 0     false(unreach-call) 1 --- inspect 13    7.0  600 0   0     false(unreach-call) 1 --- inspect 1.4    1.4    41    .27  0      - --- inspect - --- inspect
systemc/toy1_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 23 6.3 1400 170 .12  0     false(unreach-call) 1 wit inspect 7.8  4.2  270 0   0   false(unreach-call) 1 --- inspect 27     14     600   .62 0     false(unreach-call) 1 --- inspect 5.2  2.8  280 0   0     false(unreach-call) 1 --- inspect .71   .70   23    .11  .012  - --- inspect - --- inspect
systemc/toy2_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 22 6.1 1400 150 .12  0     false(unreach-call) 1 wit inspect 7.8  4.1  290 0   0   false(unreach-call) 1 --- inspect 25     14     750   .66 0     false(unreach-call) 1 --- inspect 5.8  3.2  280 0   0     false(unreach-call) 1 --- inspect .71   .73   23    .11  0      - --- inspect - --- inspect
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 17 5.0 1200 120 .045 0     false(unreach-call) 1 wit inspect 5.6  3.0  280 0   0   false(unreach-call) 1 --- inspect 18     10     520   .62 0     false(unreach-call) 1 --- inspect 4.5  2.5  260 0   0     false(unreach-call) 1 --- inspect .66   .66   21    .10  0      - --- inspect - --- inspect
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 19 5.4 1400 170 .070 0     false(unreach-call) 1 wit inspect 6.4  3.5  290 0   0   false(unreach-call) 1 --- inspect 25     15     570   .62 0     false(unreach-call) 1 --- inspect 5.4  3.0  280 0   0     false(unreach-call) 1 --- inspect .68   .68   22    .11  0      - --- inspect - --- inspect
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 23 6.7 1200 170 .10  0     false(unreach-call) 1 wit inspect 6.8  3.6  270 0   0   false(unreach-call) 1 --- inspect 31     18     840   .62 0     false(unreach-call) 1 --- inspect 5.6  3.1  290 0   0     false(unreach-call) 1 --- inspect .74   .74   23    .13  0      - --- inspect - --- inspect
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 25 7.8 1600 230 .14  0     false(unreach-call) 1 wit inspect 7.3  3.9  290 0   0   false(unreach-call) 1 --- inspect 51     29     1200   .62 0     false(unreach-call) 1 --- inspect 6.0  3.3  300 0   0     false(unreach-call) 1 --- inspect .77   .77   23    .14  0      - --- inspect - --- inspect
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 35 17   1400 300 .18  0     false(unreach-call) 1 wit inspect 8.5  4.5  320 0   0   false(unreach-call) 1 --- inspect 49     29     1700   .62 0     false(unreach-call) 1 --- inspect 6.6  3.6  300 0   0     false(unreach-call) 1 --- inspect .79   .79   24    .15  0      - --- inspect - --- inspect
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 57 35   1600 570 .23  0     false(unreach-call) 1 wit inspect 8.5  4.5  300 0   0   false(unreach-call) 1 --- inspect 86     49     2600   .62 0     false(unreach-call) 1 --- inspect 6.3  3.5  290 0   0     false(unreach-call) 1 --- inspect .87   .88   25    .17  0      - --- inspect - --- inspect
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 89 67   1600 960 .29  0     false(unreach-call) 1 wit inspect 10    5.5  340 0   0   timeout (false(unreach-call)) 0 --- inspect 95     57     3500   .62 0     false(unreach-call) 1 --- inspect 8.0  4.3  320 0   0     error (2) 0 --- inspect .88   .88   27    .18  0      - --- inspect - --- inspect
systemc/transmitter.08_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 46 10   2100 320 .39  0     false(unreach-call) 1 wit inspect 10    5.5  400 0   0   timeout 0 --- inspect 97     58     4500   1.6  0     false(unreach-call) 1 --- inspect 11    5.9  380 0   0     false(unreach-call) 1 --- inspect 1.0    .99   29    .19  0      - --- inspect - --- inspect
systemc/transmitter.09_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 380 320   2800 4700 .47  0     false(unreach-call) 1 wit inspect 12    6.3  450 0   0   timeout 0 --- inspect 97     59     4600   1.8  0     false(unreach-call) 1 --- inspect 10    5.4  370 0   0     false(unreach-call) 1 --- inspect 1.0    1.0    31    .21  0      - --- inspect - --- inspect
systemc/transmitter.10_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 55 13   2000 430 .56  .090 false(unreach-call) 1 wit inspect 16    8.4  520 0   0   timeout 0 --- inspect 98     59     4600   1.8  0     false(unreach-call) 1 --- inspect 11    5.6  410 0   0     false(unreach-call) 1 --- inspect 1.1    1.1    33    .22  0      - --- inspect - --- inspect
systemc/transmitter.11_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 960 880   3500 15000 0     0     error (invalid witness file) 0 --- inspect .65 .40 43 0   0   error (invalid witness file) 0 --- inspect 5.4   3.0   270   .65 0     error (invalid witness file) 0 --- inspect 1.0  .64 50 0   0     error (invalid witness file) 0 --- inspect .0020 .0025 .52 0     0      - --- inspect - --- inspect
systemc/transmitter.12_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 27 9.6 1600 210 0     0     false(unreach-call) 1 wit inspect 13    6.9  570 0   0   timeout 0 --- inspect 98     64     4600   1.6  0     false(unreach-call) 1 --- inspect 11    5.8  430 0   0     false(unreach-call) 1 --- inspect 1.2    1.2    36    .25  0      - --- inspect - --- inspect
systemc/transmitter.13_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 30 12   1500 290 0     0     false(unreach-call) 1 wit inspect 17    8.9  630 0   0   timeout 0 --- inspect 97     66     4600   1.7  0     false(unreach-call) 1 --- inspect 9.2  4.9  480 0   0     false(unreach-call) 1 --- inspect 1.3    1.3    38    .26  0      - --- inspect - --- inspect
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 29 9.7 1700 240 .094 0     false(unreach-call) 1 wit inspect 8.6  4.5  300 0   0   false(unreach-call) 1 --- inspect 71     42     1300   .62 0     false(unreach-call) 1 --- inspect 6.8  3.7  290 0   0     error (2) 0 --- inspect .87   .87   22    .25  0      - --- inspect - --- inspect
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(unreach-call) 1 wit inspect 29 9.1 1700 280 .10  0     false(unreach-call) 1 wit inspect 8.2  4.3  300 0   0   false(unreach-call) 1 --- inspect 83     50     1300   .62 0     false(unreach-call) 1 --- inspect 5.9  3.3  290 0   0     error (2) 0 --- inspect .89   .89   23    .27  0      - --- inspect - --- inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c true 2 wit inspect 19 5.3 1400 150 0     0     - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 570    500    7000 0   0   true 2 --- inspect 71     43     2000   .62 0     
systemc/kundu_true-unreach-call_false-termination.cil.c true 2 wit inspect 27 9.9 1600 260 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3700 0   0   true 2 --- inspect 260     170     7000   .62 0     
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c true 2 wit inspect 20 6.0 1400 170 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 920    670    7000 0   0   true 2 --- inspect 270     200     6700   .62 0     
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c true 2 wit inspect 22 6.8 1200 190 0     0     - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 650    520    7000 0   0   true 2 --- inspect 280     210     6800   .62 0     
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c true 2 wit inspect 22 7.2 1200 190 0     0     - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 690    550    7000 0   0   true 2 --- inspect 300     220     6300   .62 0     
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c true 2 wit inspect 25 9.0 1300 200 0     0     - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 580    470    7000 0   0   true 2 --- inspect 360     270     6000   .62 0     
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c true 2 wit inspect 30 11   1800 270 0     0     - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 690    560    7000 0   0   true 2 --- inspect 450     340     6700   .62 0     
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 5.4 1200 150 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    660    6900 0   0   true 2 --- inspect 35     20     530   .66 0     
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c true 2 wit inspect 21 6.3 1300 180 0     0     - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 620    540    7000 0   0   true 2 --- inspect 84     47     1200   .62 0     
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c true 2 wit inspect 15 4.4 1200 110 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    870    5200 0   0   true 2 --- inspect 22     13     580   .66 0     
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 970 760   8200 8400 1.3   0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .85 .53 42 0   0   error (invalid witness file) 0 --- inspect 5.2   2.8   270   .65 0     
systemc/token_ring.01_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 5.0 1200 140 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    870    4000 0   0   true 2 --- inspect 34     19     710   .66 0     
systemc/token_ring.02_true-unreach-call_false-termination.cil.c true 2 wit inspect 20 6.4 1200 150 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3400 0   0   true 2 --- inspect 50     28     860   .62 0     
systemc/token_ring.03_true-unreach-call_false-termination.cil.c true 2 wit inspect 24 9.0 1300 190 0     .090 - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3200 0   0   true 2 --- inspect 71     40     960   .62 0     
systemc/token_ring.04_true-unreach-call_false-termination.cil.c true 2 wit inspect 37 22   1200 380 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    2900 0   0   true 2 --- inspect 160     100     5700   .62 0     
systemc/token_ring.05_true-unreach-call_false-termination.cil.c true 1 wit inspect 87 70   1500 970 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    2900 0   0   out of memory 0 --- inspect 210     140     7000   .70 0     
systemc/token_ring.06_true-unreach-call_false-termination.cil.c true 2 wit inspect 330 320   1600 4200 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3000 0   0   true 2 --- inspect 170     100     5400   .62 0     
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 960 470   5400 9900 0     0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .39 41 0   0   error (2) 0 --- inspect .025 .026 5.6 0    0     
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 960 460   6000 7200 0     0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .47 41 0   0   error (2) 0 --- inspect .020 .022 5.7 0    0     
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 960 460   5900 8200 0     0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .60 .36 42 0   0   error (invalid witness file) 0 --- inspect 5.9   3.4   260   .65 0     
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 960 440   6300 8600 0     0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .38 43 0   0   error (invalid witness file) 0 --- inspect 6.1   3.3   260   .65 0     
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 0 --- inspect 960 430   6800 7000 0     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     
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910 890   2400 5300 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    4000 0   0   out of memory 0 --- inspect 180     120     7000   .66 0     
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 910 890   2400 7600 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    4300 0   0   out of memory 0 --- inspect 230     150     7000   .72 0     
systemc/toy_true-unreach-call_false-termination.cil.c true 2 wit inspect 65 49   1300 730 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3100 0   0   true 2 --- inspect 74     44     1500   .62 0     
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 23 7.4 1300 190 .078 0     false(unreach-call) 1 wit inspect 7.7  4.1  300 0   0   false(unreach-call) 1 --- inspect 11     6.2   390   .62 0     false(unreach-call) 1 --- inspect 5.5  3.0  290 0   0     error (2) 0 --- inspect .73   .73   22    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 19 6.6 1500 150 0     0     false(unreach-call) 1 wit inspect 6.9  3.7  300 0   0   false(unreach-call) 1 --- inspect 12     6.5   390   .66 0     false(unreach-call) 1 --- inspect 5.6  3.2  290 0   0     error (2) 0 --- inspect .74   .74   22    .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 27 6.8 1300 190 .14  0     false(unreach-call) 1 wit inspect 8.3  4.4  320 0   0   false(unreach-call) 1 --- inspect 20     11     580   .66 0     false(unreach-call) 1 --- inspect 5.8  3.2  280 0   0     error (2) 0 --- inspect .79   .78   23    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 26 6.6 1300 200 .14  0     false(unreach-call) 1 wit inspect 8.2  4.3  320 0   0   false(unreach-call) 1 --- inspect 14     8.0   520   .62 0     false(unreach-call) 1 --- inspect 5.8  3.2  280 0   0     error (2) 0 --- inspect .81   .81   23    .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 28 8.5 1300 210 .14  0     false(unreach-call) 1 wit inspect 8.9  4.7  320 0   0   false(unreach-call) 1 --- inspect 14     8.0   520   .66 0     false(unreach-call) 1 --- inspect 6.8  3.7  300 0   0     error (2) 0 --- inspect .80   .79   23    .049 .020  - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 20 7.2 1200 150 0     0     false(unreach-call) 1 wit inspect 9.0  4.8  290 0   0   false(unreach-call) 1 --- inspect 14     7.8   530   .66 0     false(unreach-call) 1 --- inspect 6.5  3.5  300 0   0     error (2) 0 --- inspect .81   .81   23    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 1 wit inspect 43 11   1400 340 .38  0     false(unreach-call) 1 wit inspect 12    6.3  440 0   0   false(unreach-call) 1 --- inspect 54     34     2400   .62 0     false(unreach-call) 1 --- inspect 8.6  4.6  360 0   0     error (2) 0 --- inspect .98   .99   29    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 50 12   1900 370 .36  0     false(unreach-call) 1 wit inspect 13    6.7  420 0   0   false(unreach-call) 1 --- inspect 21     11     810   .62 0     false(unreach-call) 1 --- inspect 9.4  5.0  360 0   0     error (2) 0 --- inspect .99   1.0    28    .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 200 100   3400 1900 .32  0     false(unreach-call) 1 wit inspect 11    5.9  380 0   0   false(unreach-call) 1 --- inspect 20     11     870   .62 0     false(unreach-call) 1 --- inspect 7.8  4.2  360 0   0     error (2) 0 --- inspect .97   .98   27    .045 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 250 110   3400 2300 .50  0     false(unreach-call) 1 wit inspect 15    7.8  560 0   0   false(unreach-call) 1 --- inspect 23     13     1200   .62 0     false(unreach-call) 1 --- inspect 9.3  5.0  350 0   0     error (2) 0 --- inspect 1.1    1.0    31    .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 180 84   3000 1600 .70  0     false(unreach-call) 1 wit inspect 16    8.1  600 0   0   false(unreach-call) 1 --- inspect 44     27     3400   .62 0     false(unreach-call) 1 --- inspect 9.5  5.1  410 0   0     error (2) 0 --- inspect 1.3    1.4    36    .070 0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 240 100   3400 1800 .46  0     false(unreach-call) 1 wit inspect 13    6.8  550 0   0   false(unreach-call) 1 --- inspect 31     18     1700   .62 0     false(unreach-call) 1 --- inspect 11    5.6  330 0   0     error (2) 0 --- inspect 1.0    1.0    31    .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 34 8.4 1400 250 .25  0     false(unreach-call) 1 wit inspect 9.2  4.9  310 0   0   true -32 --- inspect 9.4   5.2   310   .66 0     false(unreach-call) 1 --- inspect 6.1  3.3  300 0   0     false(unreach-call) 1 --- inspect .74   .74   23    .13  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 22 6.1 1200 160 .12  0     false(unreach-call) 1 wit inspect 8.8  4.6  320 0   0   false(unreach-call) 1 --- inspect 39     25     750   .62 0     unknown 0 --- inspect 5.8  3.2  290 0   0     true -32 --- inspect .79   .79   23    .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 20 5.2 1200 140 0     0     false(unreach-call) 1 wit inspect 7.4  4.0  280 0   0   false(unreach-call) 1 --- inspect 46     32     790   .62 0     false(unreach-call) 1 --- inspect 5.8  3.2  290 0   0     false(unreach-call) 1 --- inspect .81   .81   22    .17  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 22 5.6 1200 180 .094 0     false(unreach-call) 1 wit inspect 7.7  4.1  320 0   0   false(unreach-call) 1 --- inspect 20     11     530   .62 0     false(unreach-call) 1 --- inspect 6.8  3.7  290 0   0     false(unreach-call) 1 --- inspect .78   .78   22    .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 29 7.0 1300 210 .15  0     false(unreach-call) 1 wit inspect 8.0  4.3  300 0   0   timeout 0 --- inspect 96     76     1200   1.7  0     false(unreach-call) 1 --- inspect 5.8  3.2  300 0   0     false(unreach-call) 1 --- inspect .83   .83   24    .17  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 31 7.3 1300 190 .15  0     false(unreach-call) 1 wit inspect 8.0  4.2  320 0   0   timeout 0 --- inspect 97     73     1400   1.6  0     false(unreach-call) 1 --- inspect 8.1  4.4  300 0   0     false(unreach-call) 1 --- inspect .82   .81   24    .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 28 6.8 1300 210 .14  0     false(unreach-call) 1 wit inspect 9.4  5.0  320 0   0   timeout 0 --- inspect 97     73     1200   .77 0     false(unreach-call) 1 --- inspect 6.2  3.4  300 0   0     false(unreach-call) 1 --- inspect .81   .80   24    .17  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 30 7.1 1300 220 .15  0     false(unreach-call) 1 wit inspect 7.4  3.9  290 0   0   false(unreach-call) 1 --- inspect 51     33     1000   .62 0     false(unreach-call) 1 --- inspect 6.0  3.3  300 0   0     false(unreach-call) 1 --- inspect .81   .81   24    .16  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 930 440   5200 9900 0     0     timeout 0 --- inspect 97    84    2100 0   0   timeout 0 --- inspect 96     62     3800   1.5  0     unknown 0 --- inspect 1.4  .83 65 0   0     error (1) 0 --- inspect .11   .11   13    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 48 13   1500 340 .29  0     false(unreach-call) 1 wit inspect 9.8  5.2  370 0   0   true -32 --- inspect 12     7.0   370   .66 0     false(unreach-call) 1 --- inspect 7.4  4.0  320 0   0     false(unreach-call) 1 --- inspect 1.0    1.1    27    .27  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 50 12   1600 400 .31  0     false(unreach-call) 1 wit inspect 11    5.6  410 0   0   true -32 --- inspect 13     7.3   370   .62 0     false(unreach-call) 1 --- inspect 7.7  4.1  310 0   0     false(unreach-call) 1 --- inspect 1.0    1.1    27    .26  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 33 8.2 1400 250 .25  0     false(unreach-call) 1 wit inspect 10    5.5  360 0   0   true -32 --- inspect 12     6.6   390   .62 0     false(unreach-call) 1 --- inspect 7.5  4.0  320 0   0     false(unreach-call) 1 --- inspect 1.1    1.1    26    .33  .033  - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 36 9.2 1400 300 .25  0     false(unreach-call) 1 wit inspect 10    5.4  370 0   0   true -32 --- inspect 11     6.3   380   .62 0     false(unreach-call) 1 --- inspect 7.6  4.1  310 0   0     false(unreach-call) 1 --- inspect 1.1    1.1    26    .32  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 52 13   1600 390 .32  0     false(unreach-call) 1 wit inspect 11    5.6  420 0   0   true -32 --- inspect 13     7.6   380   .66 0     false(unreach-call) 1 --- inspect 7.6  4.1  300 0   0     false(unreach-call) 1 --- inspect 1.1    1.1    28    .33  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 51 13   1600 380 .33  0     false(unreach-call) 1 wit inspect 11    6.0  420 0   0   true -32 --- inspect 12     7.0   390   .62 0     false(unreach-call) 1 --- inspect 8.3  4.4  320 0   .098 false(unreach-call) 1 --- inspect 1.1    1.1    28    .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 55 13   2000 460 .31  .025 false(unreach-call) 1 wit inspect 11    5.8  400 0   0   true -32 --- inspect 12     6.6   390   .62 0     false(unreach-call) 1 --- inspect 7.5  4.0  300 0   0     false(unreach-call) 1 --- inspect 1.1    1.1    28    .33  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 56 15   1700 450 .32  0     false(unreach-call) 1 wit inspect 11    5.9  420 0   0   true -32 --- inspect 13     7.1   380   .62 0     false(unreach-call) 1 --- inspect 8.1  4.3  300 0   0     false(unreach-call) 1 --- inspect 1.2    1.2    28    .32  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 960 470   3700 11000 0     0     error (invalid witness file) 0 --- inspect .67 .43 43 0   0   error (invalid witness file) 0 --- inspect 5.6   3.0   270   .65 0     error (invalid witness file) 0 --- inspect .95 .61 49 0   0     error (invalid witness file) 0 --- inspect .0022 .0040 .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 110 39   2300 930 .62  0     false(unreach-call) 1 wit inspect 16    8.5  590 0   0   true -32 --- inspect 15     8.5   470   .62 0     false(unreach-call) 1 --- inspect 10    5.4  540 0   0     false(unreach-call) 1 --- inspect 1.6    1.6    35    .56  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 95 30   2200 850 .61  0     false(unreach-call) 1 wit inspect 14    7.2  570 0   0   true -32 --- inspect 15     8.7   540   .62 0     false(unreach-call) 1 --- inspect 9.5  5.1  520 0   0     false(unreach-call) 1 --- inspect 1.6    1.6    34    .53  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 73 23   2000 580 .51  0     false(unreach-call) 1 wit inspect 14    7.1  570 0   0   true -32 --- inspect 17     9.8   530   .62 0     false(unreach-call) 1 --- inspect 8.9  4.8  370 0   0     false(unreach-call) 1 --- inspect 1.7    1.8    32    .53  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 71 21   1900 540 .51  0     false(unreach-call) 1 wit inspect 15    7.8  550 0   0   true -32 --- inspect 16     9.3   460   .62 0     false(unreach-call) 1 --- inspect 9.0  4.9  370 0   0     false(unreach-call) 1 --- inspect 1.7    1.8    32    .63  .066  - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 91 30   2100 740 .61  0     false(unreach-call) 1 wit inspect 15    7.7  580 0   0   true -32 --- inspect 16     9.1   530   .66 0     false(unreach-call) 1 --- inspect 9.4  5.0  400 0   0     false(unreach-call) 1 --- inspect 1.8    1.8    34    .67  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 92 30   2200 740 .61  0     false(unreach-call) 1 wit inspect 14    7.2  580 0   0   true -32 --- inspect 14     8.3   530   .62 0     false(unreach-call) 1 --- inspect 9.7  5.2  530 0   0     false(unreach-call) 1 --- inspect 1.8    1.8    35    .63  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 170 69   2900 1500 .60  0     false(unreach-call) 1 wit inspect 16    8.4  570 0   0   true -32 --- inspect 18     10     460   .62 0     false(unreach-call) 1 --- inspect 9.7  5.2  540 0   0     false(unreach-call) 1 --- inspect 1.8    1.8    34    .67  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 120 44   2500 1000 .61  0     false(unreach-call) 1 wit inspect 16    8.7  570 0   0   true -32 --- inspect 15     9.0   520   .62 0     false(unreach-call) 1 --- inspect 10    5.5  410 0   0     false(unreach-call) 1 --- inspect 1.8    1.8    34    .63  0      - --- inspect - --- inspect
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 920 430   5300 7700 0     0     timeout 0 wit inspect 93    84    860 0   0   timeout 0 --- inspect 98     64     3700   1.3  0     unknown 0 --- inspect 1.3  .79 59 0   0     error (1) 0 --- inspect .13   .13   17    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 26 6.3 1300 190 .13  0     false(unreach-call) 1 wit inspect 7.8  4.1  320 0   0   false(unreach-call) 1 --- inspect 25     15     720   .62 0     false(unreach-call) 1 --- inspect 6.5  3.6  270 0   0     error (2) 0 --- inspect .69   .69   23    .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 31 7.2 1300 200 .13  0     false(unreach-call) 1 wit inspect 7.8  4.1  320 0   0   false(unreach-call) 1 --- inspect 36     21     700   .62 0     false(unreach-call) 1 --- inspect 6.3  3.4  290 0   0     error (2) 0 --- inspect .70   .70   23    .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 27 6.4 1300 210 .12  0     false(unreach-call) 1 wit inspect 7.5  4.0  310 0   0   false(unreach-call) 1 --- inspect 16     8.8   530   .62 0     false(unreach-call) 1 --- inspect 5.6  3.1  270 0   0     error (2) 0 --- inspect .69   .69   23    .041 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 29 6.8 1300 220 .12  0     false(unreach-call) 1 wit inspect 7.8  4.2  310 0   0   false(unreach-call) 1 --- inspect 15     8.3   470   .62 0     false(unreach-call) 1 --- inspect 6.5  3.6  290 0   0     error (2) 0 --- inspect .70   .70   23    .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 43 11   1500 350 .21  0     false(unreach-call) 1 wit inspect 9.3  4.9  330 0   0   false(unreach-call) 1 --- inspect 41     26     1100   .62 0     false(unreach-call) 1 --- inspect 6.0  3.3  290 0   0     error (2) 0 --- inspect .77   .76   25    .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 42 9.9 1500 300 .21  0     false(unreach-call) 1 wit inspect 8.7  4.7  310 0   0   timeout 0 --- inspect 98     74     1400   1.8  0     false(unreach-call) 1 --- inspect 7.0  3.7  310 0   0     error (2) 0 --- inspect .76   .75   25    .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 44 10   1500 300 .19  0     false(unreach-call) 1 wit inspect 8.2  4.4  300 0   0   false(unreach-call) 1 --- inspect 17     9.4   640   .66 0     false(unreach-call) 1 --- inspect 6.3  3.4  290 0   0     error (2) 0 --- inspect .78   .77   25    .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 42 10   1500 290 .19  0     false(unreach-call) 1 wit inspect 8.8  4.7  300 0   0   false(unreach-call) 1 --- inspect 30     17     750   .62 0     false(unreach-call) 1 --- inspect 7.4  4.0  310 0   0     error (2) 0 --- inspect .75   .75   25    .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 61 17   1600 470 .30  0     false(unreach-call) 1 wit inspect 9.5  5.1  360 0   0   false(unreach-call) 1 --- inspect 15     8.5   490   .66 0     false(unreach-call) 1 --- inspect 8.1  4.4  360 0   0     error (2) 0 --- inspect .83   .83   27    .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 70 22   1800 570 .31  0     false(unreach-call) 1 wit inspect 11    5.6  370 0   0   timeout 0 --- inspect 97     74     2200   .76 .016 false(unreach-call) 1 --- inspect 7.8  4.2  350 0   0     error (2) 0 --- inspect .85   .85   28    .049 .016  - --- 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 63 19   1700 480 .27  0     false(unreach-call) 1 wit inspect 9.9  5.2  350 0   0   false(unreach-call) 1 --- inspect 15     8.4   550   .66 0     false(unreach-call) 1 --- inspect 7.6  4.1  330 0   0     error (2) 0 --- inspect .80   .80   27    .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 62 18   1700 490 .28  0     false(unreach-call) 1 wit inspect 11    5.8  380 0   0   false(unreach-call) 1 --- inspect 28     15     820   .66 0     false(unreach-call) 1 --- inspect 6.8  3.7  330 0   .17  error (2) 0 --- inspect .85   .85   27    .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 120 48   2000 1200 .43  0     false(unreach-call) 1 wit inspect 13    6.8  530 0   0   timeout 0 --- inspect 97     78     2500   .63 0     false(unreach-call) 1 --- inspect 8.8  4.7  360 0   0     error (2) 0 --- inspect .92   .94   30    .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 120 48   2200 960 .43  0     false(unreach-call) 1 wit inspect 13    7.0  530 0   0   timeout 0 --- inspect 97     73     2700   1.6  0     false(unreach-call) 1 --- inspect 8.8  4.7  320 0   0     error (2) 0 --- inspect .93   .95   30    .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 140 56   2100 1300 .39  0     false(unreach-call) 1 wit inspect 12    6.4  450 0   0   false(unreach-call) 1 --- inspect 18     10     580   .66 0     false(unreach-call) 1 --- inspect 8.6  4.6  370 0   0     error (2) 0 --- inspect .90   .90   29    .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 120 47   2000 1100 .39  0     false(unreach-call) 1 wit inspect 12    6.3  440 0   0   false(unreach-call) 1 --- inspect 36     22     1500   .62 0     false(unreach-call) 1 --- inspect 8.7  4.6  360 0   0     error (2) 0 --- inspect .90   .90   29    .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 6.6 1300 180 .12  0     false(unreach-call) 1 wit inspect 7.5  4.0  310 0   0   false(unreach-call) 1 --- inspect 12     6.7   360   .62 0     false(unreach-call) 1 --- inspect 7.0  3.8  300 0   0     error (2) 0 --- inspect .69   .69   23    .041 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 24 5.9 1300 160 .12  0     false(unreach-call) 1 wit inspect 7.4  4.0  300 0   0   false(unreach-call) 1 --- inspect 19     11     620   .62 0     false(unreach-call) 1 --- inspect 5.6  3.1  270 0   0     error (2) 0 --- inspect .69   .69   23    .041 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 960 490   5300 9300 0     0     error (invalid witness file) 0 --- inspect .65 .40 44 0   0   error (invalid witness file) 0 --- inspect 5.7   3.0   270   .65 0     error (invalid witness file) 0 --- inspect .94 .60 49 0   0     error (invalid witness file) 0 --- inspect .0049 .0053 .41 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 37 8.6 1400 280 .20  0     false(unreach-call) 1 wit inspect 9.0  4.9  300 0   0   false(unreach-call) 1 --- inspect 31     17     730   .62 0     false(unreach-call) 1 --- inspect 6.3  3.5  280 0   0     error (2) 0 --- inspect .77   .76   25    .041 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 34 7.8 1700 240 .19  0     false(unreach-call) 1 wit inspect 9.0  4.8  340 0   0   false(unreach-call) 1 --- inspect 27     15     760   .62 0     false(unreach-call) 1 --- inspect 6.1  3.3  290 0   0     error (2) 0 --- inspect .77   .79   25    .041 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 960 480   4900 8400 0     0     error (invalid witness file) 0 --- inspect .64 .39 42 0   0   error (invalid witness file) 0 --- inspect 5.7   3.1   260   .65 0     error (invalid witness file) 0 --- inspect .99 .62 49 0   0     error (invalid witness file) 0 --- inspect .0020 .0027 .54 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 50 14   1600 420 .29  0     false(unreach-call) 1 wit inspect 11    5.8  370 0   0   false(unreach-call) 1 --- inspect 32     18     1000   .62 0     false(unreach-call) 1 --- inspect 8.4  4.5  330 0   0     error (2) 0 --- inspect .81   .81   27    .045 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 48 12   1500 390 .28  0     false(unreach-call) 1 wit inspect 11    5.6  360 0   0   false(unreach-call) 1 --- inspect 46     27     1400   .62 0     false(unreach-call) 1 --- inspect 7.3  3.9  330 0   0     error (2) 0 --- inspect .81   .81   27    .045 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 960 480   3400 9500 0     0     error (invalid witness file) 0 --- inspect .64 .39 44 0   0   error (invalid witness file) 0 --- inspect 5.2   3.2   270   .65 0     error (invalid witness file) 0 --- inspect .98 .62 50 0   0     error (invalid witness file) 0 --- inspect .0018 .0023 .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 64 19   1700 510 .40  0     false(unreach-call) 1 wit inspect 14    7.4  470 0   0   false(unreach-call) 1 --- inspect 37     22     1400   .62 0     false(unreach-call) 1 --- inspect 8.7  4.7  370 0   0     error (2) 0 --- inspect .91   .91   30    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 64 19   1700 520 .39  0     false(unreach-call) 1 wit inspect 14    7.3  460 0   0   false(unreach-call) 1 --- inspect 74     44     2500   .62 0     false(unreach-call) 1 --- inspect 8.3  4.5  350 0   0     error (2) 0 --- inspect .90   .90   29    .049 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 920 440   3100 10000 0     0     timeout 0 --- inspect 97    88    1900 0   0   timeout 0 --- inspect 98     62     3500   1.7  0     unknown 0 --- inspect 1.7  1.0  84 0   0     error (1) 0 --- inspect .13   .12   15    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 120 45   1900 1100 .52  0     false(unreach-call) 1 wit inspect 14    7.4  580 0   0   false(unreach-call) 1 --- inspect 87     60     4000   .62 0     false(unreach-call) 1 --- inspect 9.1  4.8  360 0   0     error (2) 0 --- inspect 1.0    1.0    32    .053 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 98 36   1900 860 .52  .090 false(unreach-call) 1 wit inspect 13    7.0  570 0   0   timeout 0 --- inspect 97     68     3600   1.8  0     false(unreach-call) 1 --- inspect 9.1  4.9  350 0   0     error (2) 0 --- inspect .99   .99   32    .053 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 900 890   1700 8400 0     0     timeout 0 wit inspect 93    84    940 0   0   timeout 0 --- inspect 97     61     3600   1.5  0     unknown 0 --- inspect 1.1  .72 51 0   0     error (1) 0 --- inspect .077  .078  12    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 170 72   2200 1600 .67  0     false(unreach-call) 1 wit inspect 17    9.0  600 0   0   timeout (false(unreach-call)) 0 --- inspect 94     61     4000   .62 0     false(unreach-call) 1 --- inspect 9.8  5.2  420 0   0     error (2) 0 --- inspect 1.1    1.1    36    .061 0      - --- inspect - --- inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 160 65   2100 1500 .66  0     false(unreach-call) 1 wit inspect 14    7.5  590 0   0   false(unreach-call) 1 --- inspect 87     55     4500   .62 0     false(unreach-call) 1 --- inspect 9.8  5.2  420 0   0     error (2) 0 --- inspect 1.1    1.1    36    .061 .029  - --- inspect - --- inspect
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 930 460   2700 9000 0     0     timeout 0 --- inspect 97    89    2000 0   0   timeout 0 --- inspect 98     63     4600   1.6  0     unknown 0 --- inspect 1.5  .93 86 0   0     error (1) 0 --- inspect .099  .10   16    0     .029  - --- 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 22 6.1 1200 190 .13  0     false(unreach-call) 1 wit inspect 8.4  4.5  310 0   0   false(unreach-call) 1 --- inspect 36     21     750   .62 0     unknown 0 --- inspect 6.0  3.3  290 0   0     true -32 --- inspect .81   .81   23    .18  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 23 6.3 1200 180 .13  0     false(unreach-call) 1 wit inspect 8.2  4.3  310 0   0   false(unreach-call) 1 --- inspect 41     28     670   .62 0     unknown 0 --- inspect 5.7  3.2  270 0   0     true -32 --- inspect .85   .84   23    .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 21 5.5 1200 140 .10  0     false(unreach-call) 1 wit inspect 8.2  4.3  280 0   0   false(unreach-call) 1 --- inspect 38     24     830   .62 0     false(unreach-call) 1 --- inspect 6.4  3.5  290 0   0     false(unreach-call) 1 --- inspect .81   .85   23    .11  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 21 5.4 1200 150 0     0     false(unreach-call) 1 wit inspect 7.3  3.9  310 0   0   false(unreach-call) 1 --- inspect 23     13     630   .62 0     false(unreach-call) 1 --- inspect 6.4  3.5  300 0   0     false(unreach-call) 1 --- inspect .89   .89   23    .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 26 6.6 1300 210 .16  0     false(unreach-call) 1 wit inspect 8.1  4.3  290 0   0   false(unreach-call) 1 --- inspect 43     27     860   .62 0     false(unreach-call) 1 --- inspect 6.9  3.8  300 0   0     false(unreach-call) 1 --- inspect .83   .83   24    .18  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 29 7.2 1300 230 .16  0     false(unreach-call) 1 wit inspect 9.2  4.9  300 0   0   timeout 0 --- inspect 96     66     1600   1.5  0     false(unreach-call) 1 --- inspect 6.3  3.5  310 0   0     false(unreach-call) 1 --- inspect .84   .84   24    .18  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1 wit inspect 28 6.7 1300 200 .16  0     false(unreach-call) 1 wit inspect 8.7  4.6  320 0   0   false(unreach-call) 1 --- inspect 71     46     1100   .62 0     false(unreach-call) 1 --- inspect 6.5  3.6  310 0   0     false(unreach-call) 1 --- inspect .83   .83   24    .18  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 38 9.0 1400 280 .16  0     false(unreach-call) 1 wit inspect 8.6  4.5  320 0   0   false(unreach-call) 1 --- inspect 83     56     1200   .62 0     false(unreach-call) 1 --- inspect 6.5  3.5  300 0   0     false(unreach-call) 1 --- inspect .86   .86   24    .18  .016  - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 950 460   5900 9700 0     0     timeout 0 --- inspect 97    86    2100 0   0   timeout 0 --- inspect 97     63     4500   1.6  0     unknown 0 --- inspect 1.4  .85 65 0   0     error (1) 0 --- inspect .084  .085  12    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 76 29   1900 630 .63  0     false(unreach-call) 1 wit inspect 11    5.6  410 0   0   true -32 --- inspect 11     6.4   380   .66 0     false(unreach-call) 1 --- inspect 7.8  4.2  310 0   0     false(unreach-call) 1 --- inspect 1.1    1.1    28    .29  .029  - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 140 88   2500 1400 .34  0     false(unreach-call) 1 wit inspect 11    5.7  490 0   0   true -32 --- inspect 12     6.9   380   .62 0     false(unreach-call) 1 --- inspect 7.9  4.2  320 0   0     false(unreach-call) 1 --- inspect 1.1    1.1    28    .29  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 38 9.8 1500 280 .27  0     false(unreach-call) 1 wit inspect 11    5.5  380 0   0   true -32 --- inspect 12     7.3   380   .66 0     false(unreach-call) 1 --- inspect 7.5  4.1  300 0   0     false(unreach-call) 1 --- inspect 1.2    1.2    27    .36  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 38 9.8 1400 300 .28  0     false(unreach-call) 1 wit inspect 10    5.2  380 0   0   true -32 --- inspect 12     7.0   390   .62 0     false(unreach-call) 1 --- inspect 9.5  5.1  290 0   0     false(unreach-call) 1 --- inspect 1.1    1.1    27    .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 51 13   1600 380 .36  0     false(unreach-call) 1 wit inspect 12    6.4  510 0   0   true -32 --- inspect 14     7.7   390   .66 0     false(unreach-call) 1 --- inspect 8.5  4.6  310 0   0     false(unreach-call) 1 --- inspect 1.2    1.2    29    .36  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 52 13   1600 390 .36  0     false(unreach-call) 1 wit inspect 12    6.2  440 0   0   true -32 --- inspect 13     7.5   390   .62 0     false(unreach-call) 1 --- inspect 7.8  4.2  300 0   0     false(unreach-call) 1 --- inspect 1.2    1.2    29    .34  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1 wit inspect 73 23   2100 680 .34  0     false(unreach-call) 1 wit inspect 11    5.9  510 0   0   true -32 --- inspect 12     6.5   390   .62 0     false(unreach-call) 1 --- inspect 7.5  4.0  310 0   0     false(unreach-call) 1 --- inspect 1.2    1.2    28    .36  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 60 14   1700 450 .34  0     false(unreach-call) 1 wit inspect 11    5.8  500 0   0   true -32 --- inspect 12     6.7   400   .62 0     false(unreach-call) 1 --- inspect 7.6  4.1  290 0   0     false(unreach-call) 1 --- inspect 1.2    1.2    28    .34  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 960 470   5600 10000 0     0     error (invalid witness file) 0 --- inspect .71 .43 43 0   0   error (invalid witness file) 0 --- inspect 5.3   3.1   260   .65 0     error (invalid witness file) 0 --- inspect 1.0  .68 49 0   0     error (invalid witness file) 0 --- inspect .0055 .0071 .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 83 27   2000 680 .62  0     false(unreach-call) 1 wit inspect 14    7.4  590 0   0   true -32 --- inspect 16     9.0   530   .62 0     false(unreach-call) 1 --- inspect 9.3  5.0  410 0   0     false(unreach-call) 1 --- inspect 1.7    1.7    35    .59  .061  - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 94 31   2200 750 .66  0     false(unreach-call) 1 wit inspect 15    8.0  600 0   0   true -32 --- inspect 15     8.4   540   .62 0     false(unreach-call) 1 --- inspect 9.6  5.1  550 0   0     false(unreach-call) 1 --- inspect 1.7    1.7    36    .57  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 66 20   2000 490 .54  .090 false(unreach-call) 1 wit inspect 16    8.4  580 0   0   true -32 --- inspect 16     9.4   450   .62 0     false(unreach-call) 1 --- inspect 9.2  4.9  390 0   0     false(unreach-call) 1 --- inspect 1.8    1.9    33    .71  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 74 22   1900 550 .55  0     false(unreach-call) 1 wit inspect 16    8.2  570 0   0   true -32 --- inspect 14     8.4   520   .62 0     false(unreach-call) 1 --- inspect 9.0  4.8  400 0   0     false(unreach-call) 1 --- inspect 1.8    1.8    33    .66  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1 wit inspect 86 28   2100 770 .65  0     false(unreach-call) 1 wit inspect 15    7.6  600 0   0   true -32 --- inspect 16     9.5   460   .62 0     false(unreach-call) 1 --- inspect 9.8  5.2  540 0   0     false(unreach-call) 1 --- inspect 1.8    1.8    35    .71  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 99 33   2200 780 .68  0     false(unreach-call) 1 wit inspect 19    9.9  610 0   0   true -32 --- inspect 15     8.6   520   .66 0     false(unreach-call) 1 --- inspect 10    5.3  550 0   0     false(unreach-call) 1 --- inspect 1.9    1.9    36    .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 120 43   2200 950 .65  0     false(unreach-call) 1 wit inspect 16    8.3  620 0   0   true -32 --- inspect 15     8.9   540   .62 0     false(unreach-call) 1 --- inspect 10    5.4  550 0   0     false(unreach-call) 1 --- inspect 1.8    1.8    36    .71  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1 wit inspect 160 60   2800 1300 .65  0     false(unreach-call) 1 wit inspect 14    7.6  600 0   0   true -32 --- inspect 15     8.4   460   .66 0     false(unreach-call) 1 --- inspect 9.8  5.2  540 0   0     false(unreach-call) 1 --- inspect 1.9    1.9    35    .66  0      - --- inspect - --- inspect
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 960 450   5300 9100 0     0     timeout 0 --- inspect 97    90    1400 0   0   timeout 0 --- inspect 98     61     3800   1.5  0     unknown 0 --- inspect 1.5  .91 76 0   0     error (1) 0 --- inspect .14   .14   20    0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c unknown 0 --- inspect 36 18   1400 380 .11  0     error (invalid witness file) 0 --- inspect .72 .44 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0     error (invalid witness file) 0 --- inspect .93 .60 47 0   0     error (invalid witness file) 0 --- inspect .0024 .0027 .40 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c timeout 0 --- inspect 910 870   2200 7100 .86  0     error (invalid witness file) 0 --- inspect .66 .42 42 0   0   error (2) 0 --- inspect .023 .025 5.7 0    0     error (invalid witness file) 0 --- inspect 1.2  .76 47 0   0     error (invalid witness file) 0 --- inspect .0021 .0027 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c unknown 0 --- inspect 33 15   1300 290 .11  0     error (invalid witness file) 0 --- inspect .60 .37 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .69 48 0   0     error (invalid witness file) 0 --- inspect .0041 .0052 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c timeout 0 --- inspect 910 880   2200 5800 .86  0     error (invalid witness file) 0 --- inspect .60 .42 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0     error (invalid witness file) 0 --- inspect 1.1  .70 47 0   0     error (invalid witness file) 0 --- inspect .0018 .0023 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c unknown 0 --- inspect 54 36   1300 580 .12  0     error (invalid witness file) 0 --- inspect .69 .43 40 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0     error (invalid witness file) 0 --- inspect .93 .59 47 0   0     error (invalid witness file) 0 --- inspect .0017 .0022 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c timeout 0 wit inspect 910 880   2500 4900 0     0     timeout 0 --- inspect 96    66    5300 0   0   timeout 0 --- inspect 96     76     2800   1.4  0     unknown 0 --- inspect 1.7  1.0  79 0   0     error (1) 0 --- inspect .38   .38   45    0     .66   - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c unknown 0 --- inspect 47 30   1300 490 .12  0     error (invalid witness file) 0 --- inspect .71 .44 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0     error (invalid witness file) 0 --- inspect 1.0  .65 48 0   0     error (invalid witness file) 0 --- inspect .0015 .0020 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c timeout 0 --- inspect 910 880   2600 8600 0     0     error (invalid witness file) 0 --- inspect .64 .40 42 0   0   error (2) 0 --- inspect .024 .025 5.6 0    0     error (invalid witness file) 0 --- inspect .98 .62 48 0   0     error (invalid witness file) 0 --- inspect .0048 .0061 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c unknown 0 --- inspect 300 270   2000 2900 .29  0     error (invalid witness file) 0 --- inspect .65 .41 40 0   0   error (2) 0 --- inspect .020 .021 5.7 0    0     error (invalid witness file) 0 --- inspect .94 .60 47 0   0     error (invalid witness file) 0 --- inspect .0056 .0075 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c timeout 0 --- inspect 910 870   3000 7600 .54  0     error (invalid witness file) 0 --- inspect .61 .36 42 0   0   error (2) 0 --- inspect .023 .025 5.7 0    0     error (invalid witness file) 0 --- inspect .95 .62 47 0   0     error (invalid witness file) 0 --- inspect .0051 .0061 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c unknown 0 --- inspect 30 14   1400 290 .10  0     error (invalid witness file) 0 --- inspect .61 .37 42 0   0   error (2) 0 --- inspect .020 .021 5.6 0    0     error (invalid witness file) 0 --- inspect .96 .62 48 0   0     error (invalid witness file) 0 --- inspect .0056 .0068 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c timeout 0 wit inspect 960 780   5800 7000 1.7   0     error (invalid witness file) 0 --- inspect .62 .38 43 0   0   error (invalid witness file) 0 --- inspect 6.5   3.7   260   .66 0     error (invalid witness file) 0 --- inspect 1.0  .66 50 0   0     error (invalid witness file) 0 --- inspect .0049 .0061 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c unknown 0 --- inspect 31 13   1400 280 .10  0     error (invalid witness file) 0 --- inspect .64 .39 41 0   0   error (2) 0 --- inspect .022 .023 5.7 0    0     error (invalid witness file) 0 --- inspect .93 .60 46 0   0     error (invalid witness file) 0 --- inspect .0019 .0024 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c timeout 0 wit inspect 930 830   4800 9700 1.7   0     out of memory 0 --- inspect 81    62    7000 0   0   timeout 0 --- inspect 97     68     4200   1.8  0     unknown 0 --- inspect 1.7  .96 77 0   0     error (1) 0 --- inspect .37   .37   44    0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c unknown 0 --- inspect 120 87   2000 1300 .057 0     error (invalid witness file) 0 --- inspect .69 .42 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect .97 .62 48 0   0     error (invalid witness file) 0 --- inspect .0031 .0040 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c out of memory 0 --- inspect 350 180   15000 3700 .061 0     error (invalid witness file) 0 --- inspect .69 .43 42 0   0   error (2) 0 --- inspect .022 .024 5.6 0    0     error (invalid witness file) 0 --- inspect .95 .61 46 0   0     error (invalid witness file) 0 --- inspect .0058 .0074 .54 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c unknown 0 --- inspect 130 97   1900 1500 .057 0     error (invalid witness file) 0 --- inspect .58 .35 40 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0     error (invalid witness file) 0 --- inspect .92 .60 48 0   0     error (invalid witness file) 0 --- inspect .0054 .0074 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c out of memory 0 --- inspect 350 180   15000 3700 .057 0     error (invalid witness file) 0 --- inspect .78 .47 40 0   0   error (2) 0 --- inspect .021 .023 5.7 0    0     error (invalid witness file) 0 --- inspect 1.0  .66 49 0   0     error (invalid witness file) 0 --- inspect .0055 .0075 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c unknown 0 --- inspect 160 130   1800 1900 .090 0     error (invalid witness file) 0 --- inspect .69 .42 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect .93 .61 46 0   0     error (invalid witness file) 0 --- inspect .0042 .0047 .40 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c out of memory 0 --- inspect 390 220   15000 3700 .090 0     error (invalid witness file) 0 --- inspect .65 .39 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 .0043 .0055 .41 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c unknown 0 --- inspect 120 89   1800 1500 .15  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 .91 .60 47 0   0     error (invalid witness file) 0 --- inspect .0022 .0028 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c unknown 0 --- inspect 120 89   2000 1400 .098 0     error (invalid witness file) 0 --- inspect .61 .38 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0     error (invalid witness file) 0 --- inspect .97 .62 48 0   0     error (invalid witness file) 0 --- inspect .0023 .0037 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c unknown 0 --- inspect 120 74   2500 1300 .45  0     error (invalid witness file) 0 --- inspect .60 .37 40 0   0   error (2) 0 --- inspect .023 .024 5.7 0    0     error (invalid witness file) 0 --- inspect .95 .62 49 0   0     error (invalid witness file) 0 --- inspect .0058 .0073 .39 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c unknown 0 --- inspect 110 79   2500 1200 0     0     error (invalid witness file) 0 --- inspect .71 .45 40 0   0   error (2) 0 --- inspect .028 .028 5.6 0    0     error (invalid witness file) 0 --- inspect .96 .61 48 0   0     error (invalid witness file) 0 --- inspect .0058 .0090 .53 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c unknown 0 --- inspect 620 570   3400 5900 .045 0     error (invalid witness file) 0 --- inspect .66 .41 40 0   0   error (2) 0 --- inspect .023 .025 5.7 0    0     error (invalid witness file) 0 --- inspect .98 .63 49 0   0     error (invalid witness file) 0 --- inspect .0058 .0075 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c out of memory 0 --- inspect 750 590   15000 7100 .049 0     error (invalid witness file) 0 --- inspect .67 .41 44 0   0   error (2) 0 --- inspect .022 .022 5.6 0    0     error (invalid witness file) 0 --- inspect .95 .61 48 0   0     error (invalid witness file) 0 --- inspect .0037 .0049 .52 0     0      - --- inspect - --- inspect
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c true 1 wit inspect 78 26   1900 680 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 17    9.9  520 0   0   false(unreach-call) -16 --- inspect 310     230     4100   .62 0     
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c true 1 wit inspect 39 23   1300 380 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    1300 0   0   out of memory 0 --- inspect 570     430     7000   .64 0     
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 230 120   3500 2300 0     0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 29    17    790 0   0   timeout 0 --- inspect 960     810     3200   1.3  0     
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 38 17   1500 350 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3600 0   0   true 2 --- inspect 330     250     3400   .62 0     
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 1 wit inspect 50 13   1600 350 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 13    7.2  470 0   0   out of memory 0 --- inspect 140     90     7000   1.5  0     
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 44 11   1500 330 0     0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 20    14    460 0   0   out of memory 0 --- inspect 130     83     7000   .65 0     
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c timeout (true) 0 wit inspect 940 460   2500 11000 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 28    17    570 0   0   out of memory 0 --- inspect 180     120     7000   .66 0     
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 1 wit inspect 850 440   3800 9100 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    790 0   0   out of memory 0 --- inspect 180     120     7000   .65 0     
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 960 470   5300 9400 0     0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .84 .50 43 0   0   error (invalid witness file) 0 --- inspect 5.5   3.4   270   .62 0     
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 960 470   5200 9400 0     0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .83 .50 43 0   0   error (invalid witness file) 0 --- inspect 5.7   3.3   260   .65 0     
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 1 wit inspect 37 8.4 1400 260 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 12    6.4  400 0   0   false(unreach-call) -16 --- inspect 360     300     4700   .62 0     
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 2 wit inspect 43 10   1500 330 0     0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 38    28    1400 0   0   out of memory 0 --- inspect 560     450     7000   .66 0     
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 1 wit inspect 65 21   1600 600 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 16    9.1  500 0   0   out of memory 0 --- inspect 230     160     7000   .66 0     
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 1 wit inspect 86 29   1800 750 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 130    110    2300 0   0   out of memory 0 --- inspect 220     150     7000   .66 0     
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 1 wit inspect 270 120   2200 2700 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 16    10    400 0   0   out of memory 0 --- inspect 150     94     7000   .64 0     
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c true 1 wit inspect 410 190   2500 4600 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    860    3200 0   0   out of memory 0 --- inspect 160     100     7000   .65 0     
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c true 2 wit inspect 590 580   1700 4900 0     0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 510    500    1100 0   0   out of memory 0 --- inspect 150     95     7000   .65 0     
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 940 460   2900 9400 0     .090 - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    870    3000 0   0   out of memory 0 --- inspect 160     97     7000   .67 0     
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 1 wit inspect 26 6.1 1300 200 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 9.5  5.2  390 0   0   false(unreach-call) -16 --- inspect 360     290     5100   .62 0     
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 1 wit inspect 38 9.6 1400 280 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 240    220    3000 0   0   timeout 0 --- inspect 960     830     4000   .67 0     
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect 46 12   1500 330 0     0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 24    17    540 0   0   timeout 0 --- inspect 960     830     6400   .65 0     
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 1 wit inspect 64 22   1700 540 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 750    720    3100 0   0   out of memory 0 --- inspect 340     260     7000   1.5  0     
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 1 wit inspect 68 21   1600 540 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 8.3  4.5  380 0   0   false(unreach-call) -16 --- inspect 41     24     690   .62 0     
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c true 1 wit inspect 110 40   1800 1100 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 30    21    1200 0   0   false(unreach-call) -16 --- inspect 50     29     1200   .62 0     
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c true 1 wit inspect 280 130   2200 2700 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 18    10    510 0   0   out of memory 0 --- inspect 270     180     7000   .64 0     
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c true 1 wit inspect 250 110   2000 2600 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    870    3000 0   0   out of memory 0 --- inspect 340     250     7000   .65 0     
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c true 2 wit inspect 410 400   1800 4000 0     0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 530    520    1100 0   0   out of memory 0 --- inspect 230     150     7000   .63 0     
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 920 440   2900 9100 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    880    2700 0   0   out of memory 0 --- inspect 360     260     7000   .66 .029 
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c timeout 0 wit inspect 910 440   2700 9000 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 13    6.9  440 0   0   out of memory 0 --- inspect 140     90     7000   .66 0     
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 940 460   4100 9900 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    880    2800 0   0   out of memory 0 --- inspect 230     160     7000   .74 0     
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 1 wit inspect 56 15   1600 420 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 24    17    540 0   0   out of memory 0 --- inspect 180     120     7000   .72 0     
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 1 wit inspect 47 12   1600 370 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 65    56    2200 0   0   out of memory 0 --- inspect 210     130     7000   .71 0     
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 1 wit inspect 820 420   4200 8900 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    940 0   0   out of memory 0 --- inspect 180     120     7000   .66 0     
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 960 470   4500 10000 0     0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .40 43 0   0   error (invalid witness file) 0 --- inspect 5.6   3.4   260   .61 0     
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 0 wit inspect 960 470   5200 8600 0     0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .45 42 0   0   error (invalid witness file) 0 --- inspect 5.4   3.2   260   .65 0     
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 0 wit inspect 960 450   5600 9000 0     0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .49 43 0   0   error (invalid witness file) 0 --- inspect 6.0   3.6   260   .66 0     
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c unknown 0 --- inspect 32 14   1400 280 .11  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .37 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0     
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c timeout 0 --- inspect 910 870   2300 7600 1.7   0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .42 41 0   0   error (2) 0 --- inspect .021 .022 5.7 0    0     
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c unknown 0 --- inspect 51 32   1400 540 .12  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 40 0   0   error (2) 0 --- inspect .020 .022 5.6 0    0     
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c timeout 0 wit inspect 910 880   2600 6000 0     0     - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 120    87    7000 0   0   timeout 0 --- inspect 960     930     5400   .66 0     
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c unknown 0 --- inspect 300 270   2100 2600 .29  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/rekcba_ctm_true-unreach-call.2_true-termination.c unknown 0 --- inspect 320 290   2400 2900 .29  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .45 40 0   0   error (2) 0 --- inspect .025 .027 5.8 0    0     
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c timeout 0 --- inspect 910 870   3000 10000 .54  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .48 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0     
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c timeout 0 --- inspect 910 860   4300 6500 .86  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .71 .43 40 0   0   error (2) 0 --- inspect .023 .024 5.7 0    0     
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c unknown 0 --- inspect 29 14   1400 300 .10  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .47 40 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0     
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c timeout 0 wit inspect 960 800   6000 6700 1.7   0     - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 99    75    7000 0   0   timeout 0 --- inspect 960     910     5000   .63 0     
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c unknown 0 --- inspect 27 12   1300 270 .098 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .38 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0     
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c timeout 0 wit inspect 960 790   6000 7200 1.7   0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .39 42 0   0   error (invalid witness file) 0 --- inspect 5.8   3.2   260   .65 0     
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c unknown 0 --- inspect 30 13   1300 270 .10  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .61 .39 41 0   0   error (2) 0 --- inspect .022 .023 5.7 0    0     
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c timeout 0 wit inspect 910 850   2700 5900 1.7   0     - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 82    61    7000 0   0   timeout 0 --- inspect 960     920     3900   .66 0     
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c unknown 0 --- inspect 120 84   2100 1500 .057 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .73 .45 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0     
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c out of memory 0 --- inspect 340 170   15000 3500 .057 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .78 .48 40 0   0   error (2) 0 --- inspect .023 .023 5.6 0    0     
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c unknown 0 --- inspect 160 130   1800 2000 .090 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .37 42 0   0   error (2) 0 --- inspect .023 .024 5.6 0    0     
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c out of memory 0 --- inspect 380 210   15000 4200 .090 .090 - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0    0     
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c unknown 0 --- inspect 160 130   1800 1900 .094 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .45 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0    0     
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c out of memory 0 --- inspect 390 210   15000 4000 .090 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .72 .45 40 0   0   error (2) 0 --- inspect .024 .026 5.6 0    0     
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c unknown 0 --- inspect 120 92   1800 1600 .15  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .41 41 0   0   error (2) 0 --- inspect .020 .022 5.7 0    0     
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c unknown 0 --- inspect 130 99   1800 1500 .15  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .74 .46 40 0   0   error (2) 0 --- inspect .022 .023 5.7 0    0     
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c unknown 0 --- inspect 120 89   1900 1400 .090 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .67 .41 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0     
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c unknown 0 --- inspect 120 92   1800 1300 .16  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .47 41 0   0   error (2) 0 --- inspect .022 .023 5.8 0    0     
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c unknown 0 --- inspect 120 73   2400 1300 .45  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .62 .37 43 0   0   error (2) 0 --- inspect .024 .024 5.6 0    0     
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c unknown 0 --- inspect 110 79   2700 1100 0     0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .59 .37 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0     
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c unknown 0 --- inspect 110 75   2500 1200 .029 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .41 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0     
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c unknown 0 --- inspect 110 76   2600 1200 .029 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .57 .35 40 0   0   error (2) 0 --- inspect .022 .023 5.6 0    0     
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c timeout 0 wit inspect 900 860   3600 8400 .045 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 910    890    5600 0   0   timeout 0 --- inspect 960     950     590   1.7  0     
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c timeout 0 wit inspect 960 810   13000 7900 .049 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .70 .43 43 0   0   error (invalid witness file) 0 --- inspect 6.6   3.7   270   .65 0     
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 21 5.9 1200 150 .11  0     false(unreach-call) 1 wit inspect 7.2  3.9  280 0   0   false(unreach-call) 1 --- inspect 12     6.9   480   .62 0     unknown 0 --- inspect 6.4  3.6  270 0   0     error (2) 0 --- inspect .73   .73   23    .13  .016  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 19 6.4 1200 170 0     0     true -32 wit inspect 9.3  4.9  280 0   0   timeout (false(unreach-call)) 0 --- inspect 92     81     600   .62 0     false(unreach-call) 1 --- inspect 6.9  3.7  300 0   0     error (2) 0 --- inspect .91   .91   23    .25  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 19 6.0 1200 160 .11  0     false(unreach-call) 1 wit inspect 9.0  4.7  290 0   0   false(unreach-call) 1 --- inspect 15     8.2   500   .62 0     unknown 0 --- inspect 7.3  4.0  300 0   0     error (2) 0 --- inspect .80   .80   23    .21  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 21 5.9 1200 160 .11  0     false(unreach-call) 1 wit inspect 7.4  3.9  310 0   0   false(unreach-call) 1 --- inspect 12     7.2   490   .62 0     unknown 0 --- inspect 5.9  3.3  290 0   0     error (2) 0 --- inspect .75   .76   23    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 19 7.4 1200 160 0     0     true -32 wit inspect 11    5.9  310 0   0   false(unreach-call) 1 --- inspect 23     14     510   .62 0     false(unreach-call) 1 --- inspect 6.8  3.6  300 0   0     error (2) 0 --- inspect .95   .96   23    .25  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 25 7.3 1300 200 .25  0     false(unreach-call) 1 wit inspect 9.3  4.9  320 0   0   false(unreach-call) 1 --- inspect 25     14     510   .62 0     false(unreach-call) 1 --- inspect 6.7  3.7  300 0   0     error (2) 0 --- inspect .88   .88   23    .21  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 30 8.2 1300 220 .18  0     false(unreach-call) 1 wit inspect 7.6  4.0  310 0   0   false(unreach-call) 1 --- inspect 45     31     860   .35 0     false(unreach-call) 1 --- inspect 5.5  3.1  290 0   0     error (2) 0 --- inspect .73   .73   23    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 25 7.0 1300 200 .17  0     false(unreach-call) 1 wit inspect 7.6  4.0  310 0   0   false(unreach-call) 1 --- inspect 20     12     540   .62 0     false(unreach-call) 1 --- inspect 5.7  3.2  270 0   0     error (2) 0 --- inspect .77   .77   22    .18  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 27 7.3 1300 200 .18  0     false(unreach-call) 1 wit inspect 7.3  3.9  310 0   0   false(unreach-call) 1 --- inspect 20     12     630   .66 0     false(unreach-call) 1 --- inspect 7.3  4.0  290 0   0     error (2) 0 --- inspect .77   .79   22    .17  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 30 8.2 1600 260 .18  0     false(unreach-call) 1 wit inspect 7.1  3.8  310 0   0   false(unreach-call) 1 --- inspect 38     28     770   .62 0     false(unreach-call) 1 --- inspect 6.1  3.3  300 0   0     error (2) 0 --- inspect .74   .75   22    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 26 7.1 1500 230 .17  0     false(unreach-call) 1 wit inspect 7.5  4.0  310 0   0   false(unreach-call) 1 --- inspect 17     10     500   .62 0     false(unreach-call) 1 --- inspect 6.0  3.3  290 0   0     error (2) 0 --- inspect .83   .83   22    .18  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 17 5.2 1200 130 0     0     false(unreach-call) 1 wit inspect 8.7  4.6  310 0   0   false(unreach-call) 1 --- inspect 26     15     540   .62 0     false(unreach-call) 1 --- inspect 7.6  4.1  290 0   0     error (2) 0 --- inspect .77   .77   22    .17  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 34 9.7 1400 280 .27  0     false(unreach-call) 1 wit inspect 7.4  4.0  290 0   0   timeout 0 --- inspect 97     85     800   .72 0     false(unreach-call) 1 --- inspect 6.4  3.5  310 0   0     error (2) 0 --- inspect .76   .78   24    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 19 6.9 1200 160 0     0     true -32 wit inspect 9.3  4.9  310 0   0   false(unreach-call) 1 --- inspect 27     16     570   .62 0     false(unreach-call) 1 --- inspect 7.1  3.8  310 0   0     error (2) 0 --- inspect .90   .90   24    .25  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 35 10   1400 300 .27  0     false(unreach-call) 1 wit inspect 8.3  4.4  330 0   0   false(unreach-call) 1 --- inspect 53     35     1000   .62 0     false(unreach-call) 1 --- inspect 7.9  4.3  310 0   0     error (2) 0 --- inspect .84   .84   24    .21  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 35 9.1 1400 260 .27  0     false(unreach-call) 1 wit inspect 8.3  4.4  320 0   0   timeout 0 --- inspect 97     74     1400   1.5  0     false(unreach-call) 1 --- inspect 6.8  3.7  300 0   0     error (2) 0 --- inspect .76   .76   24    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 19 6.4 1200 150 0     0     true -32 wit inspect 8.5  4.5  280 0   0   false(unreach-call) 1 --- inspect 22     13     670   .66 0     false(unreach-call) 1 --- inspect 8.3  4.5  310 0   0     error (2) 0 --- inspect .92   .94   23    .26  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 32 9.3 1400 290 .27  0     false(unreach-call) 1 wit inspect 8.9  4.7  330 0   0   false(unreach-call) 1 --- inspect 43     27     780   .62 0     false(unreach-call) 1 --- inspect 7.0  3.8  310 0   0     error (2) 0 --- inspect .86   .86   24    .21  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 39 11   1500 290 .26  0     false(unreach-call) 1 wit inspect 8.5  4.5  320 0   0   false(unreach-call) 1 --- inspect 19     11     680   .62 0     false(unreach-call) 1 --- inspect 5.9  3.3  280 0   0     error (2) 0 --- inspect .75   .75   23    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 18 6.4 1200 160 0     0     true -32 wit inspect 9.7  5.1  310 0   0   false(unreach-call) 1 --- inspect 58     42     800   .62 0     false(unreach-call) 1 --- inspect 6.7  3.6  310 0   0     error (2) 0 --- inspect .89   .89   24    .25  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 33 10   1400 270 .27  0     false(unreach-call) 1 wit inspect 9.1  4.8  330 0   0   false(unreach-call) 1 --- inspect 50     36     790   .62 0     false(unreach-call) 1 --- inspect 7.9  4.3  310 0   0     error (2) 0 --- inspect .87   .87   24    .20  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 36 9.3 1400 270 .25  0     false(unreach-call) 1 wit inspect 10    5.3  320 0   0   false(unreach-call) 1 --- inspect 42     27     700   .62 0     false(unreach-call) 1 --- inspect 5.7  3.2  270 0   0     error (2) 0 --- inspect .74   .74   24    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 18 6.3 1200 150 0     0     true -32 wit inspect 8.6  4.5  310 0   0   false(unreach-call) 1 --- inspect 29     16     640   .62 0     false(unreach-call) 1 --- inspect 7.0  3.8  310 0   0     error (2) 0 --- inspect .90   .92   23    .25  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 32 9.4 1400 250 .26  0     false(unreach-call) 1 wit inspect 9.2  4.9  320 0   0   false(unreach-call) 1 --- inspect 24     13     510   .62 0     false(unreach-call) 1 --- inspect 6.7  3.6  300 0   0     error (2) 0 --- inspect .84   .84   24    .21  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 26 10   1300 260 0     0     false(unreach-call) 1 wit inspect 11    6.0  390 0   0   false(unreach-call) 1 --- inspect 26     15     710   .62 0     false(unreach-call) 1 --- inspect 8.2  4.4  360 0   0     error (2) 0 --- inspect .93   .93   27    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 58 23   2100 530 .58  0     false(unreach-call) 1 wit inspect 13    6.6  440 0   0   timeout 0 --- inspect 97     69     2000   1.6  0     unknown 0 --- inspect 9.9  5.2  340 0   0     error (1) 0 --- inspect 1.1    1.1    28    .090 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 51 17   2200 470 .60  0     false(unreach-call) 1 wit inspect 15    7.9  520 0   0   timeout 0 --- inspect 96     70     2300   1.7  0     unknown 0 --- inspect 8.5  4.6  330 0   0     error (1) 0 --- inspect .92   .93   28    .066 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 32 16   1300 290 0     0     false(unreach-call) 1 wit inspect 10    5.4  390 0   0   timeout 0 --- inspect 96     79     1600   1.6  0     false(unreach-call) 1 --- inspect 8.5  4.5  350 0   0     error (2) 0 --- inspect .98   .98   28    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 58 23   2100 580 .57  0     false(unreach-call) 1 wit inspect 12    6.4  430 0   0   false(unreach-call) 1 --- inspect 72     50     1200   .62 0     unknown 0 --- inspect 8.7  4.6  350 0   0     error (1) 0 --- inspect 1.1    1.1    28    .090 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 38 13   2100 320 .29  0     false(unreach-call) 1 wit inspect 12    6.2  400 0   0   false(unreach-call) 1 --- inspect 83     58     1900   .62 0     unknown 0 --- inspect 10    5.6  330 0   0     error (1) 0 --- inspect .90   .90   27    .066 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 26 11   1200 200 0     0     false(unreach-call) 1 wit inspect 11    5.7  370 0   0   timeout 0 --- inspect 97     73     1700   .98 0     false(unreach-call) 1 --- inspect 7.5  4.1  330 0   0     error (2) 0 --- inspect .93   .93   26    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c false(unreach-call) 0 wit inspect 25 12   1300 220 0     0     true -32 wit inspect 11    5.9  470 0   0   timeout 0 --- inspect 97     67     1900   1.7  0     unknown 0 --- inspect 8.2  4.4  330 0   0     error (1) 0 --- inspect .86   .86   26    .057 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 23 8.6 1200 210 0     0     false(unreach-call) 1 wit inspect 12    6.2  410 0   0   timeout 0 --- inspect 96     68     2000   1.7  0     unknown 0 --- inspect 9.6  5.1  300 0   0     error (1) 0 --- inspect .85   .85   26    .053 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 22 8.5 1200 180 0     0     false(unreach-call) 1 wit inspect 9.7  5.1  350 0   0   timeout 0 --- inspect 97     76     1700   1.5  0     false(unreach-call) 1 --- inspect 8.0  4.3  350 0   0     error (2) 0 --- inspect .93   .93   26    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 30 14   1400 240 0     0     true -32 wit inspect 12    6.1  460 0   0   false(unreach-call) 1 --- inspect 54     35     1100   .62 0     unknown 0 --- inspect 7.6  4.1  300 0   0     error (1) 0 --- inspect .87   .88   26    .057 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 30 9.7 1300 220 .25  0     false(unreach-call) 1 wit inspect 11    5.6  370 0   0   timeout 0 --- inspect 97     67     2000   1.6  0     unknown 0 --- inspect 8.1  4.4  330 0   0     error (1) 0 --- inspect .83   .83   26    .053 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 32 16   1300 310 0     0     false(unreach-call) 1 wit inspect 12    6.4  440 0   0   timeout 0 --- inspect 97     75     2100   1.5  0     false(unreach-call) 1 --- inspect 8.4  4.5  360 0   0     error (2) 0 --- inspect .98   .98   28    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 140 100   2000 1400 .34  0     false(unreach-call) 1 wit inspect 14    7.3  400 0   0   timeout 0 --- inspect 97     68     1800   1.4  0     unknown 0 --- inspect 9.3  4.9  330 0   0     error (1) 0 --- inspect 1.1    1.1    29    .090 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 39 13   1900 380 .32  0     false(unreach-call) 1 wit inspect 12    6.4  430 0   0   false(unreach-call) 1 --- inspect 47     28     1100   .62 0     unknown 0 --- inspect 8.7  4.7  320 0   0     error (1) 0 --- inspect .90   .90   28    .066 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 27 11   1200 250 0     0     false(unreach-call) 1 wit inspect 12    6.3  440 0   0   timeout 0 --- inspect 97     74     2600   1.6  0     false(unreach-call) 1 --- inspect 8.9  4.7  370 0   0     error (2) 0 --- inspect 1.0    1.0    28    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 140 100   2000 1400 .34  0     false(unreach-call) 1 wit inspect 14    7.4  530 0   0   timeout 0 --- inspect 97     66     2100   1.6  0     unknown 0 --- inspect 10    5.3  330 0   0     error (1) 0 --- inspect 1.2    1.2    29    .090 .090  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 39 13   1800 330 .32  0     false(unreach-call) 1 wit inspect 12    6.2  430 0   0   false(unreach-call) 1 --- inspect 68     46     1400   .62 0     unknown 0 --- inspect 9.1  4.9  330 0   0     error (1) 0 --- inspect .90   .91   28    .066 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 36 20   1300 330 0     0     false(unreach-call) 1 wit inspect 14    7.2  420 0   0   timeout 0 --- inspect 97     67     2100   .75 0     false(unreach-call) 1 --- inspect 8.5  4.6  320 0   0     error (2) 0 --- inspect .96   .96   28    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 140 100   1900 1300 .32  0     false(unreach-call) 1 wit inspect 13    6.6  450 0   0   timeout 0 --- inspect 97     67     2100   .66 0     unknown 0 --- inspect 8.9  4.8  330 0   0     error (1) 0 --- inspect 1.1    1.1    28    .090 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 49 15   1600 380 .32  0     false(unreach-call) 1 wit inspect 12    6.5  440 0   0   timeout 0 --- inspect 97     66     2300   1.6  0     unknown 0 --- inspect 8.6  4.5  340 0   0     error (1) 0 --- inspect .89   .89   28    .066 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 290 280   1800 1900 0     0     false(unreach-call) 1 wit inspect 12    6.5  430 0   0   timeout 0 --- inspect 97     69     2200   .84 0     false(unreach-call) 1 --- inspect 9.4  5.0  360 0   0     error (2) 0 --- inspect .97   .97   28    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 150 100   2000 1200 .33  0     false(unreach-call) 1 wit inspect 13    6.7  540 0   0   timeout 0 --- inspect 97     73     1600   1.6  0     unknown 0 --- inspect 9.4  5.1  320 0   0     error (1) 0 --- inspect 1.1    1.1    28    .090 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 69 23   2700 610 .32  0     false(unreach-call) 1 wit inspect 12    6.4  440 0   0   false(unreach-call) 1 --- inspect 54     36     1300   .62 0     unknown 0 --- inspect 8.6  4.6  320 0   0     error (1) 0 --- inspect .92   .92   28    .066 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 99 42   2300 900 .63  0     false(unreach-call) 1 wit inspect 17    8.7  630 0   0   timeout 0 --- inspect 97     71     3100   1.5  0     false(unreach-call) 1 --- inspect 11    6.0  550 0   0     error (2) 0 --- inspect 1.3    1.3    35    .39  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 130 65   2300 1200 1.2   0     false(unreach-call) 1 wit inspect 17    8.9  610 0   0   timeout 0 --- inspect 97     62     2300   1.5  0     unknown 0 --- inspect 11    5.8  550 0   0     error (1) 0 --- inspect 1.2    1.2    35    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 58 18   2100 480 .52  0     false(unreach-call) 1 wit inspect 16    8.4  580 0   0   timeout 0 --- inspect 97     73     2800   1.6  0     false(unreach-call) 1 --- inspect 9.2  4.9  400 0   0     error (2) 0 --- inspect 1.3    1.3    32    .39  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 160 110   2100 1800 .52  0     false(unreach-call) 1 wit inspect 15    8.1  580 0   0   error (7) 0 --- inspect 17     10     310   .68 0     unknown 0 --- inspect 10    5.6  410 0   0     error (1) 0 --- inspect 1.3    1.3    33    .12  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 150 100   2200 1600 .53  0     false(unreach-call) 1 wit inspect 17    9.1  600 0   0   error (7) 0 --- inspect 16     9.0   310   .71 0     unknown 0 --- inspect 11    6.0  420 0   0     error (1) 0 --- inspect 1.2    1.2    33    .12  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 94 43   2400 940 .53  0     false(unreach-call) 1 wit inspect 15    7.9  590 0   0   timeout 0 --- inspect 96     67     3200   1.6  0     false(unreach-call) 1 --- inspect 10    5.3  380 0   0     error (2) 0 --- inspect 1.3    1.3    33    .39  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 150 110   2300 1600 .52  0     false(unreach-call) 1 wit inspect 19    10    590 0   0   error (7) 0 --- inspect 17     9.7   310   .71 0     unknown 0 --- inspect 10    5.6  410 0   0     error (1) 0 --- inspect 1.3    1.3    33    .12  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 150 100   2100 1700 .53  0     false(unreach-call) 1 wit inspect 19    10    590 0   0   error (7) 0 --- inspect 22     12     310   .75 0     unknown 0 --- inspect 11    6.0  400 0   0     error (1) 0 --- inspect 1.3    1.3    33    .12  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 86 29   2400 700 .63  0     false(unreach-call) 1 wit inspect 15    7.7  620 0   0   timeout 0 --- inspect 97     71     2800   1.6  0     false(unreach-call) 1 --- inspect 11    6.0  570 0   0     error (2) 0 --- inspect 1.4    1.4    35    .39  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 180 120   2600 2300 .65  0     false(unreach-call) 1 wit inspect 17    9.1  630 0   0   timeout 0 --- inspect 96     67     2700   1.6  0     unknown 0 --- inspect 13    6.6  580 0   0     error (1) 0 --- inspect 1.2    1.2    36    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c false(unreach-call) 1 wit inspect 230 150   3700 2500 .62  0     false(unreach-call) 1 wit inspect 23    12    1100 0   0   error (7) 0 --- inspect 17     9.8   320   .24 0     unknown 0 --- inspect 14    7.5  780 0   0     error (1) 0 --- inspect 1.7    1.7    38    .19  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 130 51   2300 1300 .61  0     false(unreach-call) 1 wit inspect 15    8.0  620 0   0   timeout 0 --- inspect 96     68     3000   1.6  0     false(unreach-call) 1 --- inspect 10    5.5  430 0   0     error (2) 0 --- inspect 1.3    1.3    34    .39  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 210 130   2900 2100 .61  0     false(unreach-call) 1 wit inspect 17    8.9  620 0   0   timeout 0 --- inspect 97     65     2800   1.6  0     unknown 0 --- inspect 11    6.0  570 0   0     error (1) 0 --- inspect 1.2    1.2    35    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 27 6.7 1300 180 .14  0     false(unreach-call) 1 wit inspect 8.9  4.8  320 0   0   false(unreach-call) 1 --- inspect 24     15     720   .62 0     false(unreach-call) 1 --- inspect 5.6  3.1  280 0   0     error (2) 0 --- inspect .73   .73   23    .10  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 48 14   1600 390 .24  0     false(unreach-call) 1 wit inspect 11    5.6  320 0   0   false(unreach-call) 1 --- inspect 19     11     490   .62 0     false(unreach-call) 1 --- inspect 7.1  3.8  300 0   0     error (2) 0 --- inspect 1.0    1.0    23    .41  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 24 6.0 1200 170 0     0     false(unreach-call) 1 wit inspect 8.1  4.3  330 0   0   false(unreach-call) 1 --- inspect 25     15     540   .62 0     false(unreach-call) 1 --- inspect 5.9  3.2  280 0   0     error (2) 0 --- inspect .76   .77   23    .14  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 92 36   2800 810 .24  0     false(unreach-call) 1 wit inspect 13    6.5  420 0   0   false(unreach-call) 1 --- inspect 24     14     670   .62 0     false(unreach-call) 1 --- inspect 9.4  5.0  420 0   0     error (2) 0 --- inspect 1.4    1.4    30    .84  .14   - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 26 6.1 1300 170 .13  0     false(unreach-call) 1 wit inspect 8.1  4.3  320 0   0   false(unreach-call) 1 --- inspect 21     13     630   .62 0     false(unreach-call) 1 --- inspect 6.0  3.3  310 0   0     error (2) 0 --- inspect .73   .73   23    .10  .0082 - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 48 13   1500 380 .23  0     false(unreach-call) 1 wit inspect 9.0  4.8  330 0   0   false(unreach-call) 1 --- inspect 17     9.7   550   .62 0     false(unreach-call) 1 --- inspect 7.5  4.0  310 0   0     error (2) 0 --- inspect .96   .96   23    .41  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 26 6.3 1300 180 .12  0     false(unreach-call) 1 wit inspect 7.2  3.8  290 0   0   false(unreach-call) 1 --- inspect 12     6.8   450   .62 0     false(unreach-call) 1 --- inspect 6.2  3.4  300 0   0     error (2) 0 --- inspect .77   .77   23    .14  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 76 29   2500 610 .10  0     false(unreach-call) 1 wit inspect 12    6.6  400 0   0   false(unreach-call) 1 --- inspect 24     13     660   .62 0     false(unreach-call) 1 --- inspect 8.1  4.5  390 0   0     error (2) 0 --- inspect 1.4    1.4    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 false(unreach-call) 1 wit inspect 26 6.3 1200 200 .12  0     false(unreach-call) 1 wit inspect 7.0  3.8  320 0   0   false(unreach-call) 1 --- inspect 13     6.9   500   .66 0     false(unreach-call) 1 --- inspect 5.9  3.2  300 0   0     error (2) 0 --- inspect .71   .71   23    .098 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 false(unreach-call) 1 wit inspect 54 18   1600 420 .22  0     false(unreach-call) 1 wit inspect 9.8  5.2  320 0   0   false(unreach-call) 1 --- inspect 17     9.8   480   .62 0     false(unreach-call) 1 --- inspect 7.6  4.1  310 0   0     error (2) 0 --- inspect .98   1.0    23    .41  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 28 7.0 1300 200 .11  0     false(unreach-call) 1 wit inspect 8.0  4.3  320 0   0   false(unreach-call) 1 --- inspect 12     7.1   440   .62 0     false(unreach-call) 1 --- inspect 5.6  3.1  280 0   0     error (2) 0 --- inspect .74   .74   23    .14  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 94 42   2300 910 .23  0     false(unreach-call) 1 wit inspect 11    6.1  410 0   0   false(unreach-call) 1 --- inspect 23     13     730   .62 0     false(unreach-call) 1 --- inspect 8.7  4.8  410 0   0     error (2) 0 --- inspect 1.4    1.4    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 false(unreach-call) 1 wit inspect 27 6.3 1300 190 .12  0     false(unreach-call) 1 wit inspect 8.7  4.6  290 0   0   false(unreach-call) 1 --- inspect 13     7.2   460   .62 0     false(unreach-call) 1 --- inspect 6.1  3.3  300 0   0     error (2) 0 --- inspect .72   .72   23    .10  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 61 17   1700 450 .20  0     false(unreach-call) 1 wit inspect 11    5.6  320 0   0   false(unreach-call) 1 --- inspect 19     11     750   .62 0     false(unreach-call) 1 --- inspect 7.0  3.8  310 0   0     error (2) 0 --- inspect .96   .96   23    .40  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 30 7.2 1300 230 .11  0     false(unreach-call) 1 wit inspect 7.7  4.0  310 0   0   false(unreach-call) 1 --- inspect 12     6.9   430   .62 0     false(unreach-call) 1 --- inspect 7.3  4.0  270 0   0     error (2) 0 --- inspect .77   .78   23    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 73 27   2400 620 .21  0     false(unreach-call) 1 wit inspect 11    6.0  390 0   0   false(unreach-call) 1 --- inspect 27     15     670   .62 0     false(unreach-call) 1 --- inspect 8.1  4.5  400 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 false(unreach-call) 1 wit inspect 47 12   1600 360 .36  0     false(unreach-call) 1 wit inspect 11    5.5  350 0   0   false(unreach-call) 1 --- inspect 31     21     770   .62 0     false(unreach-call) 1 --- inspect 8.1  4.4  350 0   0     error (2) 0 --- inspect .91   .91   25    .24  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 37 8.9 1400 300 .21  0     false(unreach-call) 1 wit inspect 9.1  4.9  310 0   0   false(unreach-call) 1 --- inspect 40     27     890   .62 0     false(unreach-call) 1 --- inspect 6.7  3.6  300 0   0     error (2) 0 --- inspect .79   .79   25    .11  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 290 210   2900 3400 .39  0     false(unreach-call) 1 wit inspect 14    7.3  560 0   0   false(unreach-call) 1 --- inspect 63     41     1400   .62 0     false(unreach-call) 1 --- inspect 14    7.4  470 0   0     error (2) 0 --- inspect 1.6    1.6    35    1.0   0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 34 7.9 1300 250 .21  0     false(unreach-call) 1 wit inspect 10    5.3  350 0   0   false(unreach-call) 1 --- inspect 24     14     700   .62 0     false(unreach-call) 1 --- inspect 8.8  4.8  330 0   0     error (2) 0 --- inspect .84   .86   25    .15  .016  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+sep-reducer.c timeout 0 wit inspect 960 810   5600 11000 .24  0     error (invalid witness file) 0 --- inspect .61 .39 44 0   0   error (invalid witness file) 0 --- inspect 5.7   3.2   260   .65 0     error (invalid witness file) 0 --- inspect 1.0  .65 50 0   0     error (invalid witness file) 0 --- inspect .0021 .0029 .52 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 false(unreach-call) 1 wit inspect 38 9.6 1400 320 .21  0     false(unreach-call) 1 wit inspect 9.1  4.9  310 0   0   false(unreach-call) 1 --- inspect 14     7.9   570   .66 0     false(unreach-call) 1 --- inspect 6.3  3.5  300 0   0     error (2) 0 --- inspect .79   .79   25    .11  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 130 56   2500 1200 .36  0     false(unreach-call) 1 wit inspect 12    6.7  510 0   0   timeout 0 --- inspect 97     71     1300   1.6  0     false(unreach-call) 1 --- inspect 11    5.8  440 0   0     error (2) 0 --- inspect 1.6    1.6    34    1.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 false(unreach-call) 1 wit inspect 39 9.7 1400 290 .20  0     false(unreach-call) 1 wit inspect 10    5.4  350 0   0   false(unreach-call) 1 --- inspect 22     12     690   .62 0     false(unreach-call) 1 --- inspect 6.3  3.4  300 0   0     error (2) 0 --- inspect .82   .84   25    .15  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 400 300   4600 3900 .36  0     false(unreach-call) 1 wit inspect 25    16    1500 0   0   false(unreach-call) 1 --- inspect 45     26     1000   .62 0     false(unreach-call) 1 --- inspect 24    15    1500 0   0     error (2) 0 --- inspect 2.9    2.9    67    3.0   0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 39 9.2 1400 290 .20  0     false(unreach-call) 1 wit inspect 9.0  4.8  310 0   0   false(unreach-call) 1 --- inspect 19     10     650   .62 0     false(unreach-call) 1 --- inspect 7.1  3.9  320 0   0     error (2) 0 --- inspect .77   .77   25    .11  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 77 25   2000 630 .36  0     false(unreach-call) 1 wit inspect 11    5.7  370 0   0   false(unreach-call) 1 --- inspect 22     13     540   .62 0     false(unreach-call) 1 --- inspect 9.1  4.9  310 0   0     error (2) 0 --- inspect 1.2    1.2    25    .55  .090  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 35 8.2 1400 250 .19  0     false(unreach-call) 1 wit inspect 11    5.6  340 0   0   false(unreach-call) 1 --- inspect 20     12     710   .62 0     false(unreach-call) 1 --- inspect 7.4  4.0  320 0   0     error (2) 0 --- inspect .83   .83   25    .14  .016  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+sep-reducer.c timeout 0 wit inspect 960 840   4800 13000 .18  0     error (invalid witness file) 0 --- inspect .63 .39 43 0   0   error (invalid witness file) 0 --- inspect 5.8   3.2   270   .65 0     error (invalid witness file) 0 --- inspect .97 .64 48 0   0     error (invalid witness file) 0 --- inspect .0021 .0028 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 35 8.5 1400 250 .19  0     false(unreach-call) 1 wit inspect 8.9  4.7  300 0   0   false(unreach-call) 1 --- inspect 16     9.0   510   .62 0     false(unreach-call) 1 --- inspect 7.3  3.9  320 0   0     error (2) 0 --- inspect .78   .78   25    .11  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 99 33   2400 830 .33  0     false(unreach-call) 1 wit inspect 11    5.7  320 0   0   false(unreach-call) 1 --- inspect 22     13     530   .66 0     false(unreach-call) 1 --- inspect 8.2  4.4  320 0   0     error (2) 0 --- inspect 1.1    1.1    24    .54  .082  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 35 8.2 1700 250 .19  0     false(unreach-call) 1 wit inspect 9.1  4.8  340 0   0   false(unreach-call) 1 --- inspect 24     13     680   .62 0     false(unreach-call) 1 --- inspect 6.9  3.8  320 0   0     error (2) 0 --- inspect .81   .81   25    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 270 170   3900 2600 .34  0     false(unreach-call) 1 wit inspect 15    8.3  700 0   0   false(unreach-call) 1 --- inspect 39     22     820   .66 0     false(unreach-call) 1 --- inspect 12    6.9  680 0   0     error (2) 0 --- inspect 1.9    1.9    40    1.3   .21   - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 52 14   1600 420 .31  0     false(unreach-call) 1 wit inspect 11    5.8  400 0   0   timeout 0 --- inspect 97     73     2000   .77 0     false(unreach-call) 1 --- inspect 8.3  4.5  370 0   0     error (2) 0 --- inspect .87   .87   28    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c timeout 0 wit inspect 960 750   5700 8300 .32  0     error (invalid witness file) 0 --- inspect .73 .44 42 0   0   error (invalid witness file) 0 --- inspect 6.4   3.6   270   .66 0     error (invalid witness file) 0 --- inspect .95 .62 49 0   0     error (invalid witness file) 0 --- inspect .0019 .0034 .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 false(unreach-call) 1 wit inspect 70 24   1700 630 .38  0     false(unreach-call) 1 wit inspect 12    6.2  410 0   0   timeout 0 --- inspect 96     78     1200   1.5  0     false(unreach-call) 1 --- inspect 8.2  4.4  360 0   0     error (2) 0 --- inspect .91   .91   27    .16  .020  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 54 15   1600 420 .30  0     false(unreach-call) 1 wit inspect 12    6.2  390 0   0   false(unreach-call) 1 --- inspect 42     26     1200   .62 0     false(unreach-call) 1 --- inspect 8.4  4.5  370 0   0     error (2) 0 --- inspect .87   .87   27    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout (false(unreach-call)) 0 wit inspect 940 700   6100 9000 .44  0     false(unreach-call) 1 wit inspect 30    19    1900 0   0   false(unreach-call) 1 --- inspect 60     38     1700   .62 0     false(unreach-call) 1 --- inspect 27    18    1700 0   0     error (2) 0 --- inspect 3.2    3.2    83    3.4   0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 84 35   2200 740 .38  0     false(unreach-call) 1 wit inspect 13    6.9  400 0   0   timeout 0 --- inspect 97     72     1900   1.5  0     false(unreach-call) 1 --- inspect 8.2  4.4  370 0   0     error (2) 0 --- inspect .90   .90   27    .16  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c false(unreach-call) 1 wit inspect 83 24   2200 720 .52  0     false(unreach-call) 1 wit inspect 11    5.8  400 0   0   false(unreach-call) 1 --- inspect 19     10     550   .62 0     false(unreach-call) 1 --- inspect 8.2  4.4  350 0   0     error (2) 0 --- inspect .95   .95   27    .24  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 50 14   1500 380 .29  .10  false(unreach-call) 1 wit inspect 12    6.0  390 0   0   false(unreach-call) 1 --- inspect 16     8.6   570   .66 0     false(unreach-call) 1 --- inspect 8.3  4.4  370 0   0     error (2) 0 --- inspect .86   .86   27    .12  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 false(unreach-call) 1 wit inspect 460 340   4600 4600 .52  0     false(unreach-call) 1 wit inspect 16    8.6  740 0   0   false(unreach-call) 1 --- inspect 39     24     960   .62 0     false(unreach-call) 1 --- inspect 12    6.8  690 0   0     error (2) 0 --- inspect 2.0    2.0    45    1.5   0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 70 23   2200 560 .36  0     false(unreach-call) 1 wit inspect 11    5.9  400 0   0   false(unreach-call) 1 --- inspect 16     8.6   560   .62 0     false(unreach-call) 1 --- inspect 8.8  4.7  350 0   0     error (2) 0 --- inspect .90   .90   27    .16  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+sep-reducer.c timeout 0 wit inspect 960 700   6300 7400 .33  0     error (invalid witness file) 0 --- inspect .64 .39 42 0   0   error (invalid witness file) 0 --- inspect 6.3   3.8   270   .66 0     error (invalid witness file) 0 --- inspect 1.0  .66 50 0   0     error (invalid witness file) 0 --- inspect .0017 .0023 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 56 15   1600 460 .28  0     false(unreach-call) 1 wit inspect 10    5.5  390 0   0   false(unreach-call) 1 --- inspect 16     8.4   570   .62 0     false(unreach-call) 1 --- inspect 8.1  4.4  370 0   0     error (2) 0 --- inspect .87   .87   27    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 230 120   4600 2300 .51  0     false(unreach-call) 1 wit inspect 16    8.6  700 0   0   false(unreach-call) 1 --- inspect 42     26     1100   .62 0     false(unreach-call) 1 --- inspect 12    6.6  650 0   0     error (2) 0 --- inspect 1.9    1.9    42    1.5   0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 66 19   2300 580 .35  0     false(unreach-call) 1 wit inspect 12    6.1  390 0   0   false(unreach-call) 1 --- inspect 17     9.8   730   .62 0     false(unreach-call) 1 --- inspect 8.1  4.3  360 0   0     error (2) 0 --- inspect .89   .89   27    .16  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 wit inspect 960 720   6200 8600 .30  0     error (invalid witness file) 0 --- inspect .63 .40 43 0   0   error (invalid witness file) 0 --- inspect 6.4   3.8   270   .62 0     error (invalid witness file) 0 --- inspect 1.0  .63 50 0   0     error (invalid witness file) 0 --- inspect .0020 .0031 .53 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 37 18   1300 320 .082 0     false(unreach-call) 1 wit inspect 13    6.9  560 0   0   timeout 0 --- inspect 98     73     2600   1.5  0     false(unreach-call) 1 --- inspect 9.0  4.8  360 0   0     error (2) 0 --- inspect .97   .97   30    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 110 47   1800 980 .49  0     false(unreach-call) 1 wit inspect 13    7.0  560 0   0   false(unreach-call) 1 --- inspect 82     58     2200   .62 0     false(unreach-call) 1 --- inspect 9.1  4.9  360 0   0     error (2) 0 --- inspect 1.0    1.0    30    .18  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 43 23   1300 460 .082 0     false(unreach-call) 1 wit inspect 13    6.6  480 0   0   timeout 0 --- inspect 97     72     1900   1.3  0     false(unreach-call) 1 --- inspect 9.0  4.8  380 0   0     error (2) 0 --- inspect .97   .97   30    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 120 57   2300 1100 .48  0     false(unreach-call) 1 wit inspect 12    6.5  480 0   0   true -32 --- inspect 34     22     1200   .62 0     false(unreach-call) 1 --- inspect 9.0  4.8  360 0   0     error (2) 0 --- inspect 1.0    1.0    30    .18  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c.p+lhb-reducer.c false(unreach-call) 1 wit inspect 140 62   2000 1300 .69  0     false(unreach-call) 1 wit inspect 13    6.8  470 0   0   false(unreach-call) 1 --- inspect 21     12     690   .62 0     false(unreach-call) 1 --- inspect 9.3  5.0  370 0   0     error (2) 0 --- inspect 1.1    1.1    29    .27  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 39 21   1300 390 .082 0     false(unreach-call) 1 wit inspect 13    6.7  480 0   0   false(unreach-call) 1 --- inspect 24     14     890   .62 0     false(unreach-call) 1 --- inspect 9.3  5.0  370 0   0     error (2) 0 --- inspect .94   .94   30    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 100 41   1800 1000 .49  0     false(unreach-call) 1 wit inspect 13    6.9  540 0   0   false(unreach-call) 1 --- inspect 38     21     1200   .62 0     false(unreach-call) 1 --- inspect 9.0  4.8  370 0   0     error (2) 0 --- inspect .98   .98   30    .18  .025  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 79 26   1700 580 .40  0     false(unreach-call) 1 wit inspect 14    7.1  460 0   0   false(unreach-call) 1 --- inspect 36     21     1500   .62 0     false(unreach-call) 1 --- inspect 9.2  4.9  400 0   0     error (2) 0 --- inspect .95   .95   29    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 130 75   1900 1400 .48  0     false(unreach-call) 1 wit inspect 15    7.9  490 0   0   false(unreach-call) 1 --- inspect 38     22     1200   .62 0     false(unreach-call) 1 --- inspect 8.9  4.8  360 0   0     error (2) 0 --- inspect .99   .99   29    .18  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 24 5.9 1200 170 .13  0     false(unreach-call) 1 wit inspect 7.3  3.9  300 0   0   false(unreach-call) 1 --- inspect 13     6.9   460   .62 0     false(unreach-call) 1 --- inspect 6.4  3.5  310 0   .16  error (2) 0 --- inspect .70   .70   23    .090 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 30 8.3 1400 250 .17  0     false(unreach-call) 1 wit inspect 8.3  4.4  320 0   0   false(unreach-call) 1 --- inspect 14     7.5   480   .66 0     false(unreach-call) 1 --- inspect 6.3  3.4  300 0   0     error (2) 0 --- inspect .79   .80   23    .19  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 30 7.3 1300 240 .12  0     false(unreach-call) 1 wit inspect 7.4  4.0  320 0   0   false(unreach-call) 1 --- inspect 11     6.3   400   .62 0     false(unreach-call) 1 --- inspect 5.8  3.2  300 0   0     error (2) 0 --- inspect .72   .74   23    .11  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 33 9.2 1400 250 .17  0     false(unreach-call) 1 wit inspect 8.8  4.6  330 0   0   false(unreach-call) 1 --- inspect 15     8.2   490   .62 0     false(unreach-call) 1 --- inspect 6.7  3.6  310 0   0     error (2) 0 --- inspect .83   .84   23    .23  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 25 5.9 1200 170 .12  0     false(unreach-call) 1 wit inspect 7.6  4.1  290 0   0   false(unreach-call) 1 --- inspect 13     7.0   540   .62 0     false(unreach-call) 1 --- inspect 6.3  3.5  270 0   0     error (2) 0 --- inspect .72   .72   23    .090 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 30 7.9 1400 230 .16  0     false(unreach-call) 1 wit inspect 8.0  4.3  320 0   0   false(unreach-call) 1 --- inspect 15     8.5   490   .62 0     false(unreach-call) 1 --- inspect 6.4  3.5  300 0   0     error (2) 0 --- inspect .79   .79   23    .19  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 24 5.9 1300 160 .12  0     false(unreach-call) 1 wit inspect 7.4  4.0  320 0   0   false(unreach-call) 1 --- inspect 15     8.5   510   .62 0     false(unreach-call) 1 --- inspect 7.2  3.9  300 0   0     error (2) 0 --- inspect .75   .75   23    .11  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 32 8.3 1400 250 .16  0     false(unreach-call) 1 wit inspect 8.1  4.3  320 0   0   false(unreach-call) 1 --- inspect 16     9.0   530   .66 0     false(unreach-call) 1 --- inspect 6.1  3.3  280 0   0     error (2) 0 --- inspect .83   .83   23    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 31 7.6 1300 220 .20  0     false(unreach-call) 1 wit inspect 10    5.3  340 0   0   false(unreach-call) 1 --- inspect 17     9.1   520   .62 0     false(unreach-call) 1 --- inspect 6.3  3.5  310 0   0     error (2) 0 --- inspect .76   .76   25    .10  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 49 13   1600 430 .25  0     false(unreach-call) 1 wit inspect 9.8  5.2  340 0   0   false(unreach-call) 1 --- inspect 20     12     660   .62 0     false(unreach-call) 1 --- inspect 8.0  4.3  310 0   0     error (2) 0 --- inspect .99   .99   25    .31  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 29 6.9 1300 220 .19  0     false(unreach-call) 1 wit inspect 9.2  4.9  320 0   0   false(unreach-call) 1 --- inspect 18     10     620   .66 0     false(unreach-call) 1 --- inspect 8.7  4.7  320 0   0     error (2) 0 --- inspect .79   .78   25    .13  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 59 19   1600 530 .25  0     false(unreach-call) 1 wit inspect 11    6.0  370 0   0   false(unreach-call) 1 --- inspect 23     14     700   .62 0     false(unreach-call) 1 --- inspect 7.7  4.1  350 0   0     error (2) 0 --- inspect 1.1    1.1    25    .41  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 30 7.2 1300 220 .19  0     false(unreach-call) 1 wit inspect 8.3  4.4  310 0   0   false(unreach-call) 1 --- inspect 18     9.8   660   .62 0     false(unreach-call) 1 --- inspect 6.2  3.4  290 0   0     error (2) 0 --- inspect .78   .77   25    .10  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 43 11   1500 340 .25  0     false(unreach-call) 1 wit inspect 9.9  5.2  320 0   0   false(unreach-call) 1 --- inspect 20     11     680   .62 0     false(unreach-call) 1 --- inspect 8.3  4.5  320 0   0     error (2) 0 --- inspect .96   .96   25    .31  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 32 7.7 1400 270 .19  0     false(unreach-call) 1 wit inspect 9.6  5.1  340 0   0   false(unreach-call) 1 --- inspect 20     11     670   .62 0     false(unreach-call) 1 --- inspect 6.2  3.4  290 0   0     error (2) 0 --- inspect .81   .81   25    .12  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 51 14   1600 400 .25  0     false(unreach-call) 1 wit inspect 10    5.3  320 0   0   false(unreach-call) 1 --- inspect 20     12     610   .62 0     false(unreach-call) 1 --- inspect 7.7  4.1  310 0   0     error (2) 0 --- inspect 1.1    1.1    25    .39  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c false(unreach-call) 1 wit inspect 48 13   1500 350 .28  0     false(unreach-call) 1 wit inspect 11    5.9  400 0   0   false(unreach-call) 1 --- inspect 25     14     800   .62 0     false(unreach-call) 1 --- inspect 8.1  4.4  350 0   0     error (2) 0 --- inspect .89   .89   27    .16  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 40 9.8 1500 280 .29  0     false(unreach-call) 1 wit inspect 10    5.3  360 0   0   false(unreach-call) 1 --- inspect 21     12     650   .62 0     false(unreach-call) 1 --- inspect 6.9  3.8  340 0   0     error (2) 0 --- inspect .84   .84   27    .11  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 82 26   2600 660 .35  0     false(unreach-call) 1 wit inspect 13    6.7  460 0   0   false(unreach-call) 1 --- inspect 28     16     810   .62 0     false(unreach-call) 1 --- inspect 8.4  4.5  330 0   0     error (2) 0 --- inspect 1.2    1.2    27    .54  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 25 7.7 1300 200 .066 .090 false(unreach-call) 1 wit inspect 11    5.7  390 0   0   false(unreach-call) 1 --- inspect 25     13     770   .62 0     false(unreach-call) 1 --- inspect 8.4  4.5  360 0   0     error (2) 0 --- inspect .88   .88   27    .14  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 130 59   3200 1200 .36  0     false(unreach-call) 1 wit inspect 14    7.4  560 0   0   false(unreach-call) 1 --- inspect 36     22     900   .62 0     false(unreach-call) 1 --- inspect 9.1  5.0  400 0   0     error (2) 0 --- inspect 1.6    1.6    31    .83  .14   - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c false(unreach-call) 1 wit inspect 49 13   1600 410 .27  0     false(unreach-call) 1 wit inspect 11    6.0  390 0   0   false(unreach-call) 1 --- inspect 27     15     790   .62 0     false(unreach-call) 1 --- inspect 11    5.9  360 0   0     error (2) 0 --- inspect .94   .93   27    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 39 9.0 1400 270 .28  0     false(unreach-call) 1 wit inspect 9.8  5.2  360 0   0   false(unreach-call) 1 --- inspect 23     12     710   .62 0     false(unreach-call) 1 --- inspect 8.1  4.4  360 0   0     error (2) 0 --- inspect .84   .84   27    .11  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 73 24   1900 640 .34  0     false(unreach-call) 1 wit inspect 12    6.1  440 0   0   false(unreach-call) 1 --- inspect 25     15     630   .62 0     false(unreach-call) 1 --- inspect 8.3  4.5  310 0   0     error (2) 0 --- inspect 1.2    1.2    27    .54  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 25 7.7 1200 180 .066 0     false(unreach-call) 1 wit inspect 11    5.6  380 0   0   false(unreach-call) 1 --- inspect 25     13     620   .62 0     false(unreach-call) 1 --- inspect 8.0  4.3  360 0   0     error (2) 0 --- inspect .87   .87   27    .14  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 110 49   2400 920 .34  .090 false(unreach-call) 1 wit inspect 13    7.1  530 0   0   false(unreach-call) 1 --- inspect 32     18     780   .62 0     false(unreach-call) 1 --- inspect 9.1  5.0  390 0   0     error (2) 0 --- inspect 1.6    1.6    29    .77  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.p+lhb-reducer.c false(unreach-call) 1 wit inspect 78 24   1900 640 .56  0     false(unreach-call) 1 wit inspect 13    6.7  550 0   0   false(unreach-call) 1 --- inspect 39     22     1100   .62 0     false(unreach-call) 1 --- inspect 9.5  5.1  320 0   0     error (2) 0 --- inspect 1.0    1.0    29    .25  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 52 14   1600 470 .39  0     false(unreach-call) 1 wit inspect 13    6.7  460 0   0   false(unreach-call) 1 --- inspect 29     16     1200   .62 0     false(unreach-call) 1 --- inspect 9.3  5.0  390 0   0     error (2) 0 --- inspect .95   .95   29    .12  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 140 63   3100 1200 .47  0     false(unreach-call) 1 wit inspect 16    8.7  620 0   0   false(unreach-call) 1 --- inspect 42     25     930   .62 0     false(unreach-call) 1 --- inspect 10    5.7  500 0   0     error (2) 0 --- inspect 1.8    1.8    36    .98  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 28 11   1300 220 .078 .090 false(unreach-call) 1 wit inspect 12    6.5  480 0   0   false(unreach-call) 1 --- inspect 33     18     980   .62 0     false(unreach-call) 1 --- inspect 8.5  4.6  360 0   0     error (2) 0 --- inspect .95   .95   29    .15  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 260 170   4700 2800 .078 0     false(unreach-call) 1 wit inspect 20    12    1200 0   0   false(unreach-call) 1 --- inspect 56     36     1400   .62 0     false(unreach-call) 1 --- inspect 18    11    1200 0   0     error (2) 0 --- inspect 2.5    2.5    55    2.1   0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c false(unreach-call) 1 wit inspect 69 20   1700 590 .38  0     false(unreach-call) 1 wit inspect 12    6.5  470 0   0   false(unreach-call) 1 --- inspect 35     20     1100   .62 0     false(unreach-call) 1 --- inspect 8.9  4.8  370 0   0     error (2) 0 --- inspect .98   .98   29    .18  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 52 14   1500 380 .39  0     false(unreach-call) 1 wit inspect 11    6.1  430 0   0   false(unreach-call) 1 --- inspect 36     19     1400   .62 0     false(unreach-call) 1 --- inspect 9.2  5.0  390 0   0     error (2) 0 --- inspect .94   .94   29    .12  .012  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 140 57   3100 1200 .46  0     false(unreach-call) 1 wit inspect 20    10    600 0   0   false(unreach-call) 1 --- inspect 47     28     1200   .62 0     false(unreach-call) 1 --- inspect 11    6.1  480 0   0     error (2) 0 --- inspect 1.7    1.7    35    .97  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 30 11   1300 270 .078 0     false(unreach-call) 1 wit inspect 15    7.8  470 0   0   false(unreach-call) 1 --- inspect 29     16     920   .62 0     false(unreach-call) 1 --- inspect 9.2  5.0  390 0   0     error (2) 0 --- inspect .95   .96   29    .15  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 250 150   4700 2500 .47  0     false(unreach-call) 1 wit inspect 18    10    1200 0   0   false(unreach-call) 1 --- inspect 54     32     1300   .62 0     false(unreach-call) 1 --- inspect 14    8.2  880 0   0     error (2) 0 --- inspect 2.5    2.5    51    1.8   .27   - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 32 14   1300 270 .090 0     false(unreach-call) 1 wit inspect 13    6.9  590 0   0   false(unreach-call) 1 --- inspect 40     22     1600   .62 0     false(unreach-call) 1 --- inspect 9.8  5.2  380 0   0     error (2) 0 --- inspect 1.0    1.0    32    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 620 500   5100 6800 .60  0     false(unreach-call) 1 wit inspect 23    13    1300 0   0   false(unreach-call) 1 --- inspect 73     47     1900   .62 0     false(unreach-call) 1 --- inspect 18    10    1300 0   0     error (2) 0 --- inspect 2.8    2.8    63    2.3   .32   - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 76 23   1800 670 .60  .090 false(unreach-call) 1 wit inspect 14    7.1  590 0   0   false(unreach-call) 1 --- inspect 47     27     1900   .62 0     false(unreach-call) 1 --- inspect 9.1  4.9  360 0   0     error (2) 0 --- inspect 1.1    1.1    32    .16  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+sep-reducer.c timeout (false(unreach-call)) 0 wit inspect 900 660   6200 9400 .70  0     false(unreach-call) 1 wit inspect 55    41    3500 0   0   timeout 0 --- inspect 97     58     3100   .70 0     false(unreach-call) 1 --- inspect 53    38    3500 0   0     error (2) 0 --- inspect 4.8    4.8    110    4.4   0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 81 26   1700 790 .59  0     false(unreach-call) 1 wit inspect 13    7.1  590 0   0   timeout (false(unreach-call)) 0 --- inspect 91     59     2900   .62 0     false(unreach-call) 1 --- inspect 10    5.4  420 0   0     error (2) 0 --- inspect 1.0    1.0    32    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 320 190   4900 2700 .59  0     false(unreach-call) 1 wit inspect 24    13    1300 0   0   false(unreach-call) 1 --- inspect 65     41     1600   .62 0     false(unreach-call) 1 --- inspect 15    8.8  1000 0   0     error (2) 0 --- inspect 2.8    2.8    61    2.3   0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 79 23   1900 630 .59  0     false(unreach-call) 1 wit inspect 14    7.2  580 0   0   false(unreach-call) 1 --- inspect 66     37     2100   .62 0     false(unreach-call) 1 --- inspect 9.3  5.0  370 0   0     error (2) 0 --- inspect 1.0    1.0    32    .16  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c false(unreach-call) 1 wit inspect 870 630   6100 7100 .69  0     false(unreach-call) 1 wit inspect 57    41    3200 0   0   false(unreach-call) 1 --- inspect 71     45     1600   .62 0     false(unreach-call) 1 --- inspect 40    28    3200 0   0     error (2) 0 --- inspect 4.5    4.5    98    5.3   0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 140 80   1900 1500 .65  0     false(unreach-call) 1 wit inspect 15    8.1  540 0   0   false(unreach-call) 1 --- inspect 66     38     2900   .62 0     false(unreach-call) 1 --- inspect 9.7  5.2  440 0   0     error (2) 0 --- inspect 1.2    1.2    35    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c.v+lhb-reducer.c timeout 0 wit inspect 960 710   6600 8500 .20  0     error (invalid witness file) 0 --- inspect .64 .41 42 0   0   error (invalid witness file) 0 --- inspect 6.7   3.9   270   .66 0     error (invalid witness file) 0 --- inspect .99 .63 49 0   0     error (invalid witness file) 0 --- inspect .0016 .0032 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 120 43   2000 1100 .75  0     false(unreach-call) 1 wit inspect 18    9.3  650 0   0   false(unreach-call) 1 --- inspect 43     25     1700   .62 0     false(unreach-call) 1 --- inspect 9.7  5.2  430 0   0     error (2) 0 --- inspect 1.2    1.2    35    .18  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 130 58   1800 1200 .64  0     false(unreach-call) 1 wit inspect 14    7.5  630 0   0   false(unreach-call) 1 --- inspect 53     30     2200   .62 0     false(unreach-call) 1 --- inspect 11    5.6  410 0   0     error (2) 0 --- inspect 1.1    1.1    35    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 wit inspect 960 810   6300 8500 .20  0     error (invalid witness file) 0 --- inspect .65 .39 44 0   0   error (invalid witness file) 0 --- inspect 6.9   3.7   270   .66 0     error (invalid witness file) 0 --- inspect 1.1  .68 48 0   0     error (invalid witness file) 0 --- inspect .0019 .0024 .52 0     0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 120 42   2000 1100 .74  0     false(unreach-call) 1 wit inspect 16    8.6  630 0   0   false(unreach-call) 1 --- inspect 73     42     2800   .62 0     false(unreach-call) 1 --- inspect 10    5.5  420 0   0     error (2) 0 --- inspect 1.2    1.2    35    .18  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 22 6.2 1200 180 .12  0     false(unreach-call) 1 wit inspect 7.7  4.1  310 0   0   false(unreach-call) 1 --- inspect 13     6.8   480   .66 0     unknown 0 --- inspect 6.3  3.5  300 0   0     error (2) 0 --- inspect .73   .73   23    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 31 9.3 1400 250 .26  0     false(unreach-call) 1 wit inspect 8.9  4.7  330 0   0   false(unreach-call) 1 --- inspect 23     13     670   .66 0     false(unreach-call) 1 --- inspect 7.3  4.0  300 0   0     error (2) 0 --- inspect .89   .89   24    .27  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 28 8.0 1300 220 .26  0     false(unreach-call) 1 wit inspect 8.7  4.6  320 0   0   false(unreach-call) 1 --- inspect 21     12     520   .62 0     false(unreach-call) 1 --- inspect 6.4  3.5  300 0   0     error (2) 0 --- inspect .87   .86   24    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 22 6.1 1200 180 .12  0     false(unreach-call) 1 wit inspect 7.0  3.8  290 0   0   false(unreach-call) 1 --- inspect 17     9.5   660   .66 0     unknown 0 --- inspect 5.9  3.2  300 0   0     error (2) 0 --- inspect .74   .74   23    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 30 9.0 1400 230 .26  0     false(unreach-call) 1 wit inspect 9.2  4.8  330 0   0   false(unreach-call) 1 --- inspect 23     13     670   .62 0     false(unreach-call) 1 --- inspect 7.2  3.9  310 0   0     error (2) 0 --- inspect .95   .95   24    .27  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 21 6.7 1200 190 .12  0     false(unreach-call) 1 wit inspect 8.3  4.4  310 0   0   false(unreach-call) 1 --- inspect 14     8.1   520   .62 0     unknown 0 --- inspect 7.5  4.1  300 0   0     error (2) 0 --- inspect .84   .84   23    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 17 5.4 1200 140 0     0     false(unreach-call) 1 wit inspect 7.7  4.1  310 0   0   false(unreach-call) 1 --- inspect 12     6.9   450   .66 0     false(unreach-call) 1 --- inspect 7.3  4.0  300 0   0     error (2) 0 --- inspect .77   .78   23    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 25 7.2 1300 200 .19  0     false(unreach-call) 1 wit inspect 7.9  4.2  310 0   0   false(unreach-call) 1 --- inspect 19     11     620   .62 0     false(unreach-call) 1 --- inspect 6.4  3.5  300 0   0     error (2) 0 --- inspect .81   .80   23    .18  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 17 5.3 1200 140 0     0     false(unreach-call) 1 wit inspect 7.9  4.2  310 0   0   false(unreach-call) 1 --- inspect 16     8.6   480   .66 0     false(unreach-call) 1 --- inspect 5.8  3.2  300 0   0     error (2) 0 --- inspect .77   .77   23    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 28 8.7 1300 220 .19  0     false(unreach-call) 1 wit inspect 7.8  4.2  310 0   0   false(unreach-call) 1 --- inspect 14     7.5   490   .66 0     false(unreach-call) 1 --- inspect 6.2  3.4  300 0   0     error (2) 0 --- inspect .80   .80   23    .19  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 26 7.1 1500 190 .19  0     false(unreach-call) 1 wit inspect 8.2  4.3  310 0   0   false(unreach-call) 1 --- inspect 20     12     620   .62 0     false(unreach-call) 1 --- inspect 5.6  3.1  270 0   0     error (2) 0 --- inspect .79   .79   23    .18  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 21 7.1 1200 170 0     0     false(unreach-call) 1 wit inspect 8.4  4.4  330 0   0   false(unreach-call) 1 --- inspect 21     12     620   .66 0     false(unreach-call) 1 --- inspect 6.6  3.6  310 0   0     error (2) 0 --- inspect .80   .80   24    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 33 9.8 1400 260 .28  0     false(unreach-call) 1 wit inspect 11    5.8  330 0   0   false(unreach-call) 1 --- inspect 32     20     650   .62 0     false(unreach-call) 1 --- inspect 7.3  3.9  310 0   0     error (2) 0 --- inspect .99   .99   24    .27  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 36 10   1800 280 .28  .090 false(unreach-call) 1 wit inspect 8.7  4.6  330 0   0   false(unreach-call) 1 --- inspect 26     15     740   .62 0     false(unreach-call) 1 --- inspect 7.0  3.7  310 0   0     error (2) 0 --- inspect .88   .88   24    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 20 7.0 1200 160 0     0     false(unreach-call) 1 wit inspect 8.7  4.6  320 0   0   false(unreach-call) 1 --- inspect 73     50     1300   .62 0     false(unreach-call) 1 --- inspect 5.9  3.2  280 0   0     error (2) 0 --- inspect .80   .80   24    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 40 14   1400 330 .28  0     false(unreach-call) 1 wit inspect 9.1  4.8  320 0   0   false(unreach-call) 1 --- inspect 26     15     560   .62 0     false(unreach-call) 1 --- inspect 9.4  5.1  310 0   0     error (2) 0 --- inspect .95   .95   24    .27  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 34 9.7 1400 260 .29  0     false(unreach-call) 1 wit inspect 10    5.3  330 0   0   false(unreach-call) 1 --- inspect 35     24     820   .62 0     false(unreach-call) 1 --- inspect 7.7  4.2  310 0   0     error (2) 0 --- inspect .87   .87   24    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 21 7.3 1400 190 0     0     false(unreach-call) 1 wit inspect 9.4  5.0  320 0   0   false(unreach-call) 1 --- inspect 16     8.6   550   .62 0     false(unreach-call) 1 --- inspect 6.5  3.5  310 0   0     error (2) 0 --- inspect .78   .79   24    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 37 11   1400 310 .27  0     false(unreach-call) 1 wit inspect 9.0  4.8  330 0   0   false(unreach-call) 1 --- inspect 21     12     500   .62 0     false(unreach-call) 1 --- inspect 7.0  3.8  310 0   0     error (2) 0 --- inspect .91   .91   24    .27  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 34 9.7 1400 300 .27  0     false(unreach-call) 1 wit inspect 9.3  4.9  300 0   0   false(unreach-call) 1 --- inspect 17     9.5   560   .62 0     false(unreach-call) 1 --- inspect 6.8  3.7  310 0   0     error (2) 0 --- inspect .86   .86   24    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 21 8.2 1200 180 0     0     false(unreach-call) 1 wit inspect 8.7  4.6  320 0   0   false(unreach-call) 1 --- inspect 27     15     610   .66 0     false(unreach-call) 1 --- inspect 5.9  3.2  280 0   0     error (2) 0 --- inspect .78   .78   24    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 38 10   1400 310 .27  0     false(unreach-call) 1 wit inspect 11    5.7  320 0   0   false(unreach-call) 1 --- inspect 23     13     510   .62 0     false(unreach-call) 1 --- inspect 7.1  3.8  310 0   0     error (2) 0 --- inspect .92   .92   24    .27  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 35 9.8 1400 300 .28  0     false(unreach-call) 1 wit inspect 9.6  5.1  330 0   0   false(unreach-call) 1 --- inspect 25     14     620   .62 0     false(unreach-call) 1 --- inspect 6.8  3.7  310 0   0     error (2) 0 --- inspect .86   .85   24    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 31 10   1300 260 .28  0     false(unreach-call) 1 wit inspect 11    5.7  390 0   0   false(unreach-call) 1 --- inspect 20     12     780   .62 0     unknown 0 --- inspect 8.4  4.5  320 0   0     error (2) 0 --- inspect .94   .94   27    .22  .033  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 43 16   1900 370 .32  0     false(unreach-call) 1 wit inspect 12    6.4  520 0   0   false(unreach-call) 1 --- inspect 60     36     1700   .62 0     unknown 0 --- inspect 8.3  4.5  330 0   0     error (1) 0 --- inspect .94   .94   28    .070 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 130 90   1900 1500 .34  0     false(unreach-call) 1 wit inspect 13    6.8  430 0   0   false(unreach-call) 1 --- inspect 54     32     1600   .62 0     false(unreach-call) 1 --- inspect 8.5  4.6  350 0   0     error (2) 0 --- inspect .98   .98   28    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 58 24   2200 460 .60  0     false(unreach-call) 1 wit inspect 13    6.5  480 0   0   false(unreach-call) 1 --- inspect 58     34     1300   .62 0     unknown 0 --- inspect 9.3  5.0  360 0   0     error (1) 0 --- inspect 1.1    1.1    28    .098 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 41 14   1900 360 .31  0     false(unreach-call) 1 wit inspect 12    6.2  510 0   0   false(unreach-call) 1 --- inspect 52     30     1200   .68 0     unknown 0 --- inspect 8.6  4.6  330 0   0     error (1) 0 --- inspect .94   .94   28    .070 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 120 92   1700 1300 .29  0     false(unreach-call) 1 wit inspect 12    6.5  400 0   0   timeout 0 --- inspect 97     72     2100   2.1  0     false(unreach-call) 1 --- inspect 8.5  4.5  350 0   0     error (2) 0 --- inspect .95   .95   27    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 130 94   1600 1300 .27  0     false(unreach-call) 1 wit inspect 15    7.8  400 0   0   false(unreach-call) 1 --- inspect 50     31     1200   .62 0     unknown 0 --- inspect 7.8  4.2  320 0   0     error (1) 0 --- inspect .88   .88   26    .061 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 23 9.1 1200 210 0     0     false(unreach-call) 1 wit inspect 11    5.9  410 0   0   false(unreach-call) 1 --- inspect 43     26     1200   .62 0     unknown 0 --- inspect 9.3  5.0  310 0   0     error (1) 0 --- inspect .85   .84   26    .057 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 120 92   1700 1300 .29  0     false(unreach-call) 1 wit inspect 11    5.8  390 0   0   timeout 0 --- inspect 97     71     1900   1.6  0     false(unreach-call) 1 --- inspect 7.5  4.1  340 0   0     error (2) 0 --- inspect .94   .94   27    .23  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 38 14   1800 290 .26  0     false(unreach-call) 1 wit inspect 12    6.4  400 0   0   false(unreach-call) 1 --- inspect 48     29     1200   .62 0     unknown 0 --- inspect 8.1  4.3  330 0   0     error (1) 0 --- inspect .88   .88   26    .061 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 33 11   1400 290 .26  0     false(unreach-call) 1 wit inspect 11    5.8  410 0   0   false(unreach-call) 1 --- inspect 48     28     1100   .62 0     unknown 0 --- inspect 8.3  4.4  350 0   0     error (1) 0 --- inspect .85   .85   26    .057 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 140 99   1800 1500 .36  0     false(unreach-call) 1 wit inspect 15    7.7  450 0   0   false(unreach-call) 1 --- inspect 39     23     1200   .62 0     false(unreach-call) 1 --- inspect 8.7  4.7  370 0   0     error (2) 0 --- inspect .98   .98   29    .22  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 140 100   2600 1400 .36  0     false(unreach-call) 1 wit inspect 15    7.8  550 0   0   false(unreach-call) 1 --- inspect 72     43     1600   .62 0     unknown 0 --- inspect 11    5.9  360 0   0     error (1) 0 --- inspect 1.1    1.1    29    .098 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 44 16   1800 410 .35  0     false(unreach-call) 1 wit inspect 12    6.4  530 0   0   timeout 0 --- inspect 97     73     1300   1.7  0     unknown 0 --- inspect 8.6  4.6  320 0   0     error (1) 0 --- inspect .95   .95   28    .070 .074  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 140 94   1700 1700 .37  0     false(unreach-call) 1 wit inspect 13    7.0  470 0   0   timeout 0 --- inspect 97     72     2600   .80 0     false(unreach-call) 1 --- inspect 8.0  4.3  350 0   0     error (2) 0 --- inspect .99   .99   29    .23  .033  - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 140 110   2000 1600 .35  0     false(unreach-call) 1 wit inspect 14    7.3  540 0   0   error (7) 0 --- inspect 21     11     300   .75 0     unknown 0 --- inspect 10    5.4  370 0   0     error (1) 0 --- inspect 1.1    1.1    29    .098 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 41 15   1600 350 .35  0     false(unreach-call) 1 wit inspect 14    7.5  530 0   0   timeout 0 --- inspect 97     69     1400   1.1  0     unknown 0 --- inspect 9.2  4.9  330 0   0     error (1) 0 --- inspect .96   .96   29    .070 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 140 95   1700 1600 .34  0     false(unreach-call) 1 wit inspect 13    6.6  440 0   0   false(unreach-call) 1 --- inspect 36     22     1100   .62 0     false(unreach-call) 1 --- inspect 8.2  4.4  350 0   0     error (2) 0 --- inspect 1.0    1.0    28    .16  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 150 100   2100 1600 .34  0     false(unreach-call) 1 wit inspect 14    7.4  540 0   0   false(unreach-call) 1 --- inspect 68     41     1400   .62 0     unknown 0 --- inspect 9.4  5.1  350 0   0     error (1) 0 --- inspect 1.1    1.1    29    .098 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 42 15   1800 360 .33  0     false(unreach-call) 1 wit inspect 12    6.3  520 0   0   false(unreach-call) 1 --- inspect 89     61     1800   .62 0     unknown 0 --- inspect 8.9  4.7  340 0   0     error (1) 0 --- inspect .95   .95   28    .070 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 160 110   1800 1500 .34  0     false(unreach-call) 1 wit inspect 13    6.9  430 0   0   false(unreach-call) 1 --- inspect 49     28     1500   .62 0     false(unreach-call) 1 --- inspect 8.6  4.6  350 0   0     error (2) 0 --- inspect .99   .98   28    .23  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 160 110   2600 1500 .34  0     false(unreach-call) 1 wit inspect 13    6.9  530 0   0   false(unreach-call) 1 --- inspect 55     31     1100   .62 0     unknown 0 --- inspect 9.4  5.1  360 0   0     error (1) 0 --- inspect 1.2    1.2    29    .098 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 45 15   1800 340 .34  0     false(unreach-call) 1 wit inspect 13    7.1  530 0   0   false(unreach-call) 1 --- inspect 50     29     1100   .62 0     unknown 0 --- inspect 9.0  4.8  320 0   0     error (1) 0 --- inspect .95   .95   28    .070 0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 110 53   2200 950 .65  0     false(unreach-call) 1 wit inspect 16    8.4  620 0   0   timeout 0 --- inspect 97     62     4200   1.6  0     false(unreach-call) 1 --- inspect 11    5.8  580 0   0     error (2) 0 --- inspect 1.4    1.4    35    .40  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 790 680   6100 6500 1.8   0     false(unreach-call) 1 wit inspect 46    33    3400 0   0   timeout 0 --- inspect 98     59     3100   1.5  0     unknown 0 --- inspect 39    28    3500 0   0     error (1) 0 --- inspect 3.6    3.6    49    .58  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 84 53   2200 800 .60  0     false(unreach-call) 1 wit inspect 18    9.5  600 0   0   false(unreach-call) 1 --- inspect 40     26     1200   .62 0     unknown 0 --- inspect 12    6.2  550 0   0     error (1) 0 --- inspect 1.3    1.3    35    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 65 20   2000 530 .54  0     false(unreach-call) 1 wit inspect 15    7.7  590 0   0   timeout 0 --- inspect 97     63     3800   1.3  0     false(unreach-call) 1 --- inspect 9.9  5.3  400 0   0     error (2) 0 --- inspect 1.3    1.3    33    .40  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 160 120   2700 1700 .52  0     false(unreach-call) 1 wit inspect 17    9.0  590 0   0   error (7) 0 --- inspect 16     9.3   300   .71 0     unknown 0 --- inspect 13    6.8  470 0   0     error (1) 0 --- inspect 1.3    1.3    33    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 150 100   2600 1800 .53  0     false(unreach-call) 1 wit inspect 17    8.8  600 0   0   error (7) 0 --- inspect 16     9.5   310   .71 0     unknown 0 --- inspect 13    6.7  430 0   0     error (1) 0 --- inspect 1.3    1.3    34    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 110 59   2500 1300 .55  0     false(unreach-call) 1 wit inspect 15    8.0  600 0   0   timeout 0 --- inspect 97     57     3900   1.8  0     false(unreach-call) 1 --- inspect 12    6.4  410 0   0     error (2) 0 --- inspect 1.3    1.4    33    .40  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 150 110   2400 2000 .56  0     false(unreach-call) 1 wit inspect 16    8.6  670 0   0   error (7) 0 --- inspect 17     9.9   310   .68 0     unknown 0 --- inspect 12    6.7  460 0   0     error (1) 0 --- inspect 1.3    1.3    34    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 170 120   2700 1700 .54  0     false(unreach-call) 1 wit inspect 16    8.6  600 0   0   error (7) 0 --- inspect 16     9.4   300   .75 0     unknown 0 --- inspect 11    6.0  420 0   0     error (1) 0 --- inspect 1.3    1.3    34    .13  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 85 34   2400 830 .67  0     false(unreach-call) 1 wit inspect 16    8.5  630 0   0   timeout 0 --- inspect 97     59     3800   .73 0     false(unreach-call) 1 --- inspect 11    5.8  580 0   0     error (2) 0 --- inspect 1.4    1.4    36    .40  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c false(unreach-call) 1 wit inspect 740 690   5500 6900 0     0     false(unreach-call) 1 wit inspect 45    33    3700 0   0   timeout 0 --- inspect 97     58     3700   1.5  0     unknown 0 --- inspect 36    26    3000 0   0     error (1) 0 --- inspect 3.6    3.6    50    .58  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 190 120   2800 2000 .64  0     false(unreach-call) 1 wit inspect 18    9.4  630 0   0   timeout (false(unreach-call)) 0 --- inspect 91     56     3400   .62 0     unknown 0 --- inspect 11    6.1  470 0   0     error (1) 0 --- inspect 1.3    1.3    36    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c false(unreach-call) 1 wit inspect 240 170   4200 2600 .65  0     false(unreach-call) 1 wit inspect 20    11    1100 0   0   error (7) 0 --- inspect 18     9.8   320   .71 0     unknown 0 --- inspect 15    8.1  740 0   0     error (1) 0 --- inspect 1.8    1.8    39    .21  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c false(unreach-call) 1 wit inspect 150 59   2400 1300 .64  0     false(unreach-call) 1 wit inspect 18    9.6  620 0   0   timeout (false(unreach-call)) 0 --- inspect 93     61     3200   .62 0     false(unreach-call) 1 --- inspect 14    7.4  580 0   0     error (2) 0 --- inspect 1.4    1.4    35    .40  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c timeout (false(unreach-call)) 0 wit inspect 920 810   5600 7900 .65  0     false(unreach-call) 1 wit inspect 44    32    3700 0   0   timeout 0 --- inspect 97     60     3100   1.6  0     unknown 0 --- inspect 39    28    3500 0   0     error (1) 0 --- inspect 3.7    3.7    49    .59  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c false(unreach-call) 1 wit inspect 200 120   2800 2200 .65  0     false(unreach-call) 1 wit inspect 21    11    630 0   0   timeout 0 --- inspect 97     58     3600   1.3  0     unknown 0 --- inspect 14    7.2  470 0   0     error (1) 0 --- inspect 1.3    1.3    36    .14  0      - --- inspect - --- inspect
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c true 1 wit inspect 48 13   1500 410 .12  0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 160    140    1900 0   0   out of memory 0 --- inspect 150     90     7000   .65 0     
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c true 2 wit inspect 37 18   1400 360 0     0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 25    18    490 0   0   out of memory 0 --- inspect 630     500     7000   .65 0     
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c true 2 wit inspect 48 12   1500 360 .12  0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 120    97    1500 0   0   out of memory 0 --- inspect 600     490     7000   .65 0     
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c true 2 wit inspect 42 10   1400 290 .11  0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 16    10    430 0   0   out of memory 0 --- inspect 110     70     7000   .65 0     
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c true 2 wit inspect 28 11   1300 270 0     0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 24    17    520 0   0   out of memory 0 --- inspect 600     490     7000   .72 0     
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c true 1 wit inspect 56 15   2000 440 .12  0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 140    120    1300 0   0   out of memory 0 --- inspect 130     85     7000   .66 .0082
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.p+lhb-reducer.c true 1 wit inspect 610 320   4200 5900 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    900    790 0   0   out of memory 0 --- inspect 150     95     7000   .66 0     
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c timeout 0 wit inspect 900 890   2200 7300 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    690 0   0   out of memory 0 --- inspect 150     92     7000   .65 0     
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c true 1 wit inspect 870 450   4300 8000 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    900    950 0   0   out of memory 0 --- inspect 190     120     7000   .64 0     
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c true 1 wit inspect 680 380   3300 5800 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    900    790 0   0   out of memory 0 --- inspect 160     110     7000   .70 0     
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 wit inspect 900 890   2100 6700 0     0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 680    670    650 0   0   out of memory 0 --- inspect 150     95     7000   1.6  0     
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 wit inspect 910 470   4000 8300 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    900    1100 0   0   out of memory 0 --- inspect 160     110     7000   .66 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c true 1 wit inspect 37 9.2 1400 330 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 83    64    2200 0   0   timeout 0 --- inspect 960     860     6800   .65 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c true 2 wit inspect 68 22   1600 540 .11  0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 770    740    3100 0   0   out of memory 0 --- inspect 340     250     7000   .66 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c true 2 wit inspect 36 8.5 1300 260 0     0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 90    73    1800 0   0   out of memory 0 --- inspect 210     140     7000   .65 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+sep-reducer.c true 2 wit inspect 95 38   2300 900 .11  0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 69    56    980 0   0   out of memory 0 --- inspect 200     130     7000   .66 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c true 1 wit inspect 42 11   1400 320 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 110    94    2200 0   0   out of memory 0 --- inspect 280     220     7000   .64 .033 
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 wit inspect 960 640   8900 11000 .098 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .97 .59 44 0   0   error (invalid witness file) 0 --- inspect 5.5   3.2   270   .65 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c true 1 wit inspect 52 14   1600 390 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    850    4000 0   0   out of memory 0 --- inspect 420     320     7000   .64 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c true 2 wit inspect 130 48   2500 980 .10  0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 63    51    1100 0   0   true 2 --- inspect 620     520     6700   .62 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c true 1 wit inspect 61 18   1500 490 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 180    160    2300 0   0   out of memory 0 --- inspect 130     85     7000   .82 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c true 1 wit inspect 340 240   3100 3800 .17  0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    890    1800 0   0   out of memory 0 --- inspect 190     130     7000   .65 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c true 2 wit inspect 50 14   1500 410 0     0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 40    32    520 0   0   out of memory 0 --- inspect 210     140     7000   .64 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+sep-reducer.c true 2 wit inspect 830 630   4300 6900 .24  0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 450    420    2700 0   0   out of memory 0 --- inspect 270     190     7000   .66 .033 
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c true 1 wit inspect 69 23   1600 570 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 240    220    2300 0   0   out of memory 0 --- inspect 130     84     7000   .66 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 wit inspect 960 800   4200 12000 .16  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .41 43 0   0   error (invalid witness file) 0 --- inspect 7.4   3.9   270   .65 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c true 2 wit inspect 70 21   2400 560 0     0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 30    23    560 0   0   out of memory 0 --- inspect 150     100     7000   .70 .033 
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 wit inspect 960 730   5400 8300 .16  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 42 0   0   error (invalid witness file) 0 --- inspect 5.9   3.2   270   .61 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c true 1 wit inspect 260 140   2200 2900 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    890    2400 0   0   out of memory 0 --- inspect 170     110     7000   .64 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c true 1 wit inspect 250 140   2100 2600 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    850    4100 0   0   out of memory 0 --- inspect 130     82     7000   .72 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c true 2 wit inspect 150 64   1800 1300 .074 0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 170    160    640 0   0   out of memory 0 --- inspect 150     97     7000   .71 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c true 1 wit inspect 260 140   2000 2500 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    840    4300 0   0   out of memory 0 --- inspect 120     80     7000   .70 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c true 1 wit inspect 250 130   1800 2700 .070 0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 490    470    1700 0   0   out of memory 0 --- inspect 140     93     7000   .66 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c true 1 wit inspect 270 250   1500 3400 .082 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    870 0   0   out of memory 0 --- inspect 110     69     7000   .67 .033 
seq-mthreaded-reduced/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c true 2 wit inspect 540 260   2600 5200 .082 0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 810    800    780 0   0   out of memory 0 --- inspect 150     98     7000   .64 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 wit inspect 900 880   1700 9900 .082 0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 630    620    870 0   0   out of memory 0 --- inspect 180     110     7000   .64 0     
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c true 1 wit inspect 28 6.7 1200 200 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 62    51    1600 0   0   timeout 0 --- inspect 960     870     5900   .84 0     
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c true 2 wit inspect 34 8.7 1400 280 .045 0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 63    49    1200 0   0   true 2 --- inspect 790     700     4600   .62 0     
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c true 1 wit inspect 27 6.8 1300 190 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 82    66    1600 0   0   timeout 0 --- inspect 960     860     6700   .65 0     
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+sep-reducer.c true 2 wit inspect 36 9.6 1400 270 .078 .090 - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 130    120    2400 0   0   timeout 0 --- inspect 960     880     6000   .65 0     
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c true 2 wit inspect 30 7.3 1300 230 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 25    18    760 0   0   true 2 --- inspect 740     660     3500   .62 0     
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c true 1 wit inspect 52 14   1600 400 .045 0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 53    40    920 0   0   timeout 0 --- inspect 960     870     5000   .64 0     
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c true 1 wit inspect 42 10   1500 290 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 140    120    2400 0   0   timeout 0 --- inspect 960     910     3100   .65 0     
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c true 2 wit inspect 51 13   1600 370 .045 0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 190    170    2000 0   0   timeout 0 --- inspect 960     870     6000   .69 0     
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c true 1 wit inspect 36 8.9 1400 260 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 96    78    2100 0   0   timeout 0 --- inspect 960     850     6100   1.4  0     
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c true 1 wit inspect 55 15   1600 410 .094 0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 600    580    2900 0   0   out of memory 0 --- inspect 310     230     7000   .75 0     
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c true 2 wit inspect 36 8.7 1400 290 0     0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 110    100    1800 0   0   out of memory 0 --- inspect 590     490     7000   .64 0     
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+sep-reducer.c true 2 wit inspect 65 22   1800 560 .057 0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 540    520    2700 0   0   out of memory 0 --- inspect 400     290     7000   .65 0     
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c true 1 wit inspect 43 12   1500 350 0     .090 - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 53    41    1400 0   0   timeout 0 --- inspect 960     870     5600   .64 0     
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c true 1 wit inspect 340 210   5000 3600 .057 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    900    2100 0   0   out of memory 0 --- inspect 590     470     7000   .66 0     
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c true 1 wit inspect 54 16   1600 480 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 540    510    2400 0   0   out of memory 0 --- inspect 310     230     7000   .71 0     
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c true 1 wit inspect 87 30   1900 840 .053 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    870    3300 0   0   out of memory 0 --- inspect 250     180     7000   .65 0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c true 2 wit inspect 96 32   1800 780 .15  0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 99    90    600 0   0   out of memory 0 --- inspect 390     300     7000   .63 0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c true 1 wit inspect 78 37   1600 770 0     0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 490    470    2600 0   0   out of memory 0 --- inspect 210     160     7000   .66 0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c true 2 wit inspect 100 37   2100 930 .066 0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 100    88    820 0   0   out of memory 0 --- inspect 350     250     7000   .66 0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c true 2 wit inspect 32 15   1300 290 .066 0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 52    43    570 0   0   out of memory 0 --- inspect 330     250     7000   .63 0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+sep-reducer.c true 2 wit inspect 150 66   2600 1500 .070 0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 110    99    1300 0   0   out of memory 0 --- inspect 280     200     7000   .65 0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c true 1 wit inspect 86 37   1700 730 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    890    2400 0   0   out of memory 0 --- inspect 190     130     7000   .72 0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 wit inspect 960 600   8600 10000 .066 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .80 .49 43 0   0   error (invalid witness file) 0 --- inspect 5.5   3.4   260   .66 0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 wit inspect 910 890   3900 9600 .066 0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 54    46    580 0   0   out of memory 0 --- inspect 540     430     7000   .64 0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c true 1 wit inspect 260 150   2900 2200 .066 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    900    820 0   0   out of memory 0 --- inspect 350     250     7000   .64 0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.p+lhb-reducer.c true 1 wit inspect 290 160   2100 3100 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    890    1900 0   0   out of memory 0 --- inspect 300     210     7000   .72 0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c true 1 wit inspect 300 200   1900 3700 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    890    2200 0   0   out of memory 0 --- inspect 260     190     7000   .66 0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+lhb-reducer.c true 1 wit inspect 280 130   3200 3000 .13  0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 34    22    1200 0   0   out of memory 0 --- inspect 460     340     7000   1.7  0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c true 2 wit inspect 97 80   1400 970 .078 0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 170    160    650 0   0   out of memory 0 --- inspect 300     220     7000   .64 0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+sep-reducer.c true 1 wit inspect 580 390   5000 5600 .078 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    900    1600 0   0   out of memory 0 --- inspect 390     280     7000   .64 0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c true 1 wit inspect 470 270   2600 5200 .12  0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    890    2300 0   0   out of memory 0 --- inspect 120     78     7000   1.5  0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c true 1 wit inspect 240 140   1900 2700 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    870    3100 0   0   out of memory 0 --- inspect 170     110     7000   .72 0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c timeout 0 wit inspect 970 640   5800 10000 .078 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .41 43 0   0   error (invalid witness file) 0 --- inspect 6.3   3.7   270   .66 0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 wit inspect 900 880   2500 13000 .078 0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 110    110    550 0   0   out of memory 0 --- inspect 300     220     7000   .66 0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c timeout 0 wit inspect 960 710   5000 11000 .078 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .66 .40 42 0   0   error (invalid witness file) 0 --- inspect 6.1   3.5   270   .62 0     
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+cfa-reducer.c true 2 wit inspect 190 170   1400 1900 .090 0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 690    680    860 0   0   out of memory 0 --- inspect 180     120     7000   .65 0     
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+lhb-reducer.c timeout 0 wit inspect 960 600   5400 9300 .090 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .41 43 0   0   error (invalid witness file) 0 --- inspect 6.8   3.8   270   .66 0     
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+nlh-reducer.c timeout 0 wit inspect 960 570   2300 11000 .090 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .76 .46 42 0   0   error (invalid witness file) 0 --- inspect 6.5   3.7   270   .65 0     
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c timeout 0 wit inspect 960 650   2300 12000 .086 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .63 .39 42 0   0   error (invalid witness file) 0 --- inspect 5.3   3.3   260   .65 0     
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c timeout 0 wit inspect 960 600   2300 12000 .090 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .64 .40 45 0   0   error (invalid witness file) 0 --- inspect 5.7   3.0   270   .65 0     
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c timeout 0 wit inspect 900 890   1600 9200 0     0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 29    21    380 0   0   out of memory 0 --- inspect 150     97     7000   .65 0     
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c true 1 wit inspect 51 13   1500 360 .12  0     - --- inspect - --- inspect - --- inspect - --- inspect unknown 0 wit inspect 240    220    1400 0   0   out of memory 0 --- inspect 180     120     7000   .71 0     
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c true 2 wit inspect 43 11   1400 340 .12  0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 130    110    1200 0   0   out of memory 0 --- inspect 210     140     7000   .65 0     
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c true 1 wit inspect 63 18   1600 500 .12  0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    890    840 0   0   out of memory 0 --- inspect 540     420     7000   .65 0     
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c true 2 wit inspect 55 13   1500 450 .13  0     - --- inspect - --- inspect - --- inspect - --- inspect true 2 wit inspect 270    240    2500 0   0   out of memory 0 --- inspect 160     100     7000   .73 0     
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c true 1 wit inspect 630 390   2500 7100 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    900    810 0   0   out of memory 0 --- inspect 140     86     7000   .65 0     
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c true 1 wit inspect 880 490   4600 11000 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    890    2000 0   0   out of memory 0 --- inspect 170     110     7000   .64 0     
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c true 1 wit inspect 560 260   3700 5300 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    620 0   0   out of memory 0 --- inspect 130     80     7000   .64 0     
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c true 1 wit inspect 830 540   3300 10000 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    900    670 0   0   out of memory 0 --- inspect 130     83     7000   .66 0     
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c true 1 wit inspect 870 490   4100 9900 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 910    900    1300 0   0   out of memory 0 --- inspect 130     81     7000   .73 0     
seq-pthread/cs_fib_false-unreach-call.i timeout 0 wit inspect 910 780   4100 6800 .070 0     timeout 0 wit inspect 92    76    1700 0   0   timeout 0 --- inspect 96     78     650   .72 0     unknown 0 --- inspect 1.2  .71 51 0   0     error (1) 0 --- inspect .082  .082  11    0     0      - --- inspect - --- inspect
seq-pthread/cs_fib_longer_false-unreach-call.i timeout 0 wit inspect 910 770   4000 6900 .066 0     timeout 0 wit inspect 92    77    1300 0   0   timeout 0 --- inspect 97     72     1400   1.6  0     unknown 0 --- inspect 1.0  .68 50 0   0     error (1) 0 --- inspect .10   .10   11    0     0      - --- inspect - --- inspect
seq-pthread/cs_lazy_false-unreach-call_true-termination.i timeout 0 wit inspect 900 880   1800 8500 0     0     timeout 0 wit inspect 92    82    850 0   0   timeout 0 --- inspect 96     78     980   1.3  0     unknown 0 --- inspect 1.1  .72 51 0   0     error (1) 0 --- inspect .082  .082  11    0     0      - --- inspect - --- inspect
seq-pthread/cs_queue_false-unreach-call.i timeout 0 wit inspect 900 880   2500 6100 .033 0     timeout 0 wit inspect 93    86    930 0   0   timeout 0 --- inspect 97     89     770   1.5  0     unknown 0 --- inspect 1.3  .80 55 0   0     error (1) 0 --- inspect .12   .12   12    0     0      - --- inspect - --- inspect
seq-pthread/cs_read_write_lock_false-unreach-call.i timeout 0 wit inspect 930 440   4900 6200 .078 0     timeout 0 wit inspect 93    88    730 0   0   error (7) 0 --- inspect 19     11     320   .71 0     unknown 0 --- inspect 1.2  .72 51 0   0     error (1) 0 --- inspect .082  .084  12    0     0      - --- inspect - --- inspect
seq-pthread/cs_stack_false-unreach-call.i timeout 0 wit inspect 900 880   1900 6700 .033 0     timeout 0 wit inspect 92    87    680 0   0   timeout 0 --- inspect 97     74     1100   1.6  0     unknown 0 --- inspect 1.2  .73 53 0   0     error (1) 0 --- inspect .091  .092  12    0     0      - --- inspect - --- inspect
seq-pthread/cs_stateful_false-unreach-call_true-termination.i timeout 0 wit inspect 920 690   3400 6900 .037 0     timeout 0 wit inspect 92    82    920 0   0   timeout 0 --- inspect 96     71     1500   1.6  0     unknown 0 --- inspect 1.1  .69 52 0   0     error (1) 0 --- inspect .077  .077  12    0     0      - --- inspect - --- inspect
seq-pthread/cs_dekker_true-unreach-call.i timeout 0 wit inspect 910 840   3000 7000 .053 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    1600 0   0   timeout 0 --- inspect 960     880     3600   .66 0     
seq-pthread/cs_fib_longer_true-unreach-call.i timeout 0 wit inspect 910 760   3900 7700 .070 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3500 0   0   timeout 0 --- inspect 960     870     4400   .64 0     
seq-pthread/cs_fib_true-unreach-call.i timeout 0 wit inspect 910 790   3700 8000 .066 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    2500 0   0   timeout 0 --- inspect 960     860     5100   .71 0     
seq-pthread/cs_lamport_true-unreach-call.i exception 0 --- inspect 240 140   2300 2100 .045 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .65 .39 42 0   0   error (2) 0 --- inspect .024 .025 5.7 0    0     
seq-pthread/cs_peterson_true-unreach-call.i true 1 wit inspect 780 760   1500 5900 0     0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    1500 0   0   timeout 0 --- inspect 960     900     4200   .70 0     
seq-pthread/cs_queue_true-unreach-call.i timeout 0 wit inspect 960 460   6300 6900 .12  0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .77 .48 44 0   0   error (invalid witness file) 0 --- inspect 6.4   3.6   270   .65 0     
seq-pthread/cs_read_write_lock_true-unreach-call.i timeout 0 wit inspect 920 430   5000 7700 .045 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    1600 0   0   error (7) 0 --- inspect 18     10     320   .71 0     
seq-pthread/cs_stack_true-unreach-call.i timeout 0 wit inspect 900 870   2500 6100 .057 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    2900 0   0   timeout 0 --- inspect 960     890     3000   .68 0     
seq-pthread/cs_stateful_true-unreach-call.i timeout 0 wit inspect 920 790   3600 7800 .037 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    1600 0   0   timeout 0 --- inspect 960     870     2900   .68 0     
seq-pthread/cs_sync_true-unreach-call.i timeout 0 wit inspect 910 420   5300 6900 .041 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    880    3600 0   0   timeout 0 --- inspect 960     880     3400   .81 0     
seq-pthread/cs_szymanski_true-unreach-call.i exception 0 --- inspect 370 320   2300 3100 .049 0     - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect .75 .46 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0    0     
seq-pthread/cs_time_var_mutex_true-unreach-call.i timeout 0 wit inspect 910 760   3400 7800 .057 0     - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 wit inspect 900    890    1200 0   0   timeout 0 --- inspect 960     900     1800   .72 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 505 140000 95000 1400000 1400000 130   3.1   400 82 5700 3600 200000 0   0   400 -863 17000 11000 490000 300 .016 400 286 3100 1700 150000 0   1.7 400 -19 380   380   10000 100    2.6  189 72 70000 67000 310000 0   0   189 -40 52000 42000 830000 110   .17
    correct results 392 442 34000 19000 720000 320000 110   2.8   338 338 4100 2200 170000 0   0   225 225 7600 4600 210000 140 0     286 286 2400 1300 110000 0   1.7 77 77 87   87   2200 23    .25 36 72 7900 7500 41000 0   0   20 40 5200 4000 77000 13   0   
        correct true 50 100 5300 3300 83000 48000 1.9 .18  0 0 0 0 36 72 7900 7500 41000 0   0   20 40 5200 4000 77000 13   0   
        correct false 342 342 29000 15000 630000 270000 100   2.6   338 338 4100 2200 170000 0   0   225 225 7600 4600 210000 140 0     286 286 2400 1300 110000 0   1.7 77 77 87   87   2200 23    .25 0 0
    correct-unconfimed results 64 63 16000 8800 140000 160000 1.4 .090 0 0 0 0 0 0
        correct-unconfirmed true 63 63 16000 8800 140000 160000 1.4 .090 0 0 0 0 0 0
        correct-unconfirmed false 1 0 25 12 1300 220 0   0     0 0 0 0 0 0
    incorrect results 0 8 -256 80 42 2700 0   0   34 -1088 490 280 16000 21 0     0 3 -96 2.5 2.4 69 .51 0    0 5 -80 1100 870 16000 3.1 0   
        incorrect true 0 8 -256 80 42 2700 0   0   34 -1088 490 280 16000 21 0     0 3 -96 2.5 2.4 69 .51 0    0 0
        incorrect false 0 0 0 0 0 0 5 -80 1100 870 16000 3.1 0   
score (589 tasks, max score: 778) 505 82 -863 286 -19 72 -40
Run set pesco.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-pesco.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-pesco.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-pesco.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-pesco.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-pesco.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-pesco.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized