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