Tool symbiotic 6.0.3-77d4af47 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* [apollon013; apollon098] 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-07 21:42:05 CET 2018-12-08 23:40:56 CET 2018-12-09 00:46:04 CET 2018-12-09 01:29:54 CET 2018-12-12 21:10:03 CET 2018-12-08 22:46:12 CET 2018-12-08 23:47:25 CET
Run set symbiotic.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-symbiotic.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-symbiotic.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-symbiotic.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-symbiotic.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-symbiotic.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-symbiotic.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized
Options --witness witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const -witness ../../results-verified/symbiotic.2018-12-07_2142.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/symbiotic.2018-12-07_2142.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/symbiotic.2018-12-07_2142.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/symbiotic.2018-12-07_2142.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -witness ../../results-verified/symbiotic.2018-12-07_2142.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/symbiotic.2018-12-07_2142.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 1 .32  .32  17 3.9  0     0      1 15    8.3  480 0   0      -32 8.1   4.5   310   .62  0   0 4.0  2.3  250 0      0      1 .60   .60   20    .090 0      - -
systemc/kundu2_false-unreach-call_false-termination.cil.c 1 .32  .32  19 5.0  0     0      1 12    6.5  410 0   0      -32 8.0   4.6   310   .62  0   0 4.0  2.3  250 0      0      1 .61   .61   20    .098 0      - -
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c 1 .24  .24  17 2.8  0     0      1 4.2  2.3  260 0   0      -32 7.4   4.6   310   .62  0   0 4.2  2.4  250 0      0      1 .62   .62   20    .082 0      - -
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c 1 .22  .22  17 2.6  0     0      1 4.4  2.4  260 0   0      -32 7.7   4.7   310   .62  0   0 4.1  2.3  250 0      0      1 .60   .60   20    .086 0      - -
systemc/pipeline_false-unreach-call_false-termination.cil.c 1 200     210     3200 1500    0     0      1 28    16    1100 0   0      -32 8.6   5.2   310   .62  0   0 97    95    260 .92   .016  1 .64   .64   20    .11  0      - -
systemc/token_ring.01_false-unreach-call_false-termination.cil.c 1 .33  .32  18 4.1  0     0      1 5.3  2.9  270 0   0      -32 7.8   4.9   300   .62  0   0 4.0  2.3  270 0      0      1 .63   .64   20    .086 .0082 - -
systemc/token_ring.02_false-unreach-call_false-termination.cil.c 1 .46  .45  19 5.6  0     0      1 6.6  3.5  270 0   0      -32 8.1   5.1   310   .62  0   0 4.2  2.4  250 0      0      0 .61   .61   20    .090 0      - -
systemc/token_ring.03_false-unreach-call_false-termination.cil.c 1 .81  .81  28 9.9  0     0      1 7.7  4.1  300 0   0      -32 8.0   4.5   310   .62  0   0 4.5  2.6  260 0      0      0 .67   .67   20    .10  0      - -
systemc/token_ring.04_false-unreach-call_false-termination.cil.c 1 2.3   2.3   71 35    0     0      1 8.8  4.7  340 0   0      -32 8.3   4.8   310   .62  0   0 4.6  2.6  260 0      0      0 .62   .62   20    .11  0      - -
systemc/token_ring.05_false-unreach-call_false-termination.cil.c 1 8.2   8.2   260 96    0     0      1 9.1  4.9  380 0   0      -32 8.6   5.4   300   .66  0   0 5.1  2.9  250 0      0      1 .66   .66   20    .12  .016  - -
systemc/token_ring.06_false-unreach-call_false-termination.cil.c 1 42     42     1200 510    0     0      1 10    5.3  440 0   0      -32 9.5   5.4   310   .66  0   0 4.5  2.6  250 0      0      0 .64   .64   20    .13  0      - -
systemc/token_ring.07_false-unreach-call_false-termination.cil.c 1 230     230     3100 2000    0     0      1 12    6.5  440 0   .016  -32 9.2   5.3   310   .62  0   0 4.6  2.6  260 0      0      1 .65   .65   20    .14  0      - -
systemc/token_ring.08_false-unreach-call_false-termination.cil.c 1 190     190     2900 1500    0     0      1 10    5.5  450 0   0      -32 9.8   5.6   320   .62  0   0 4.7  2.7  250 0      0      0 .69   .69   20    .15  0      - -
systemc/token_ring.09_false-unreach-call_false-termination.cil.c 1 280     280     3100 2000    0     0      1 11    5.8  450 0   0      -32 11     6.4   330   .62  0   0 5.3  3.1  260 0      0      1 .70   .70   20    .16  0      - -
systemc/token_ring.10_false-unreach-call_false-termination.cil.c 1 340     340     3100 2500    0     0      1 12    6.3  470 0   0      -32 11     6.2   340   .094 0   0 4.9  2.8  260 0      0      0 .68   .68   20    .16  0      - -
systemc/token_ring.11_false-unreach-call_false-termination.cil.c 1 430     430     3300 3800    0     0      1 14    7.4  500 0   0      -32 10     5.8   320   .62  0   0 4.9  2.8  260 0      0      0 .68   .68   20    .18  0      - -
systemc/token_ring.12_false-unreach-call_false-termination.cil.c 1 470     470     3400 3700    0     0      1 13    7.0  510 0   .025  -32 12     6.9   330   .62  0   0 5.2  2.9  260 0      0      -32 .69   .70   20    .18  .025  - -
systemc/token_ring.13_false-unreach-call_false-termination.cil.c 1 690     690     3900 6000    0     5.1    1 17    9.3  520 0   0      -32 11     6.5   340   .62  0   0 5.5  3.1  260 0      0      -32 .69   .69   20    .20  0      - -
systemc/token_ring.14_false-unreach-call_false-termination.cil.c 1 460     470     3400 2500    0     0      1 12    6.9  510 0   0      -32 10     6.1   340   .62  0   0 4.9  2.8  260 0      0      -32 .68   .68   20    .18  0      - -
systemc/token_ring.15_false-unreach-call_false-termination.cil.c 1 760     760     4200 5400    0     0      1 18    9.8  520 0   0      -32 11     6.3   350   .62  0   0 5.1  2.9  260 0      0      -32 .69   .69   20    .20  0      - -
systemc/toy1_false-unreach-call_false-termination.cil.c 1 .96  .96  53 11    0     0      1 24    15    530 0   0      -32 8.7   4.9   310   .62  0   0 4.2  2.4  250 0      0      1 .63   .64   20    .098 0      - -
systemc/toy2_false-unreach-call_false-termination.cil.c 1 1.0   1.0   54 14    0     0      1 21    13    430 0   0      -32 8.2   4.6   310   .46  0   0 4.1  2.4  250 0      .012  1 .61   .61   20    .098 0      - -
systemc/transmitter.01_false-unreach-call_false-termination.cil.c 1 .29  .29  17 2.7  0     0      1 6.0  3.3  260 0   0      -32 7.7   4.3   310   .62  0   0 4.1  2.4  250 0      0      1 .62   .62   20    .082 0      - -
systemc/transmitter.02_false-unreach-call_false-termination.cil.c 1 .36  .36  18 3.3  0     0      1 6.8  3.7  260 0   0      -32 7.7   4.5   300   .62  0   0 4.5  2.6  250 0      0      1 .60   .60   20    .090 0      - -
systemc/transmitter.03_false-unreach-call_false-termination.cil.c 1 .45  .44  21 6.4  0     0      1 6.2  3.3  270 0   0      -32 8.3   5.2   310   .62  0   0 4.3  2.4  250 0      0      1 .61   .61   20    .10  0      - -
systemc/transmitter.04_false-unreach-call_false-termination.cil.c 1 .85  .85  36 12    0     .28   1 6.2  3.4  270 0   0      -32 8.6   5.3   310   .62  0   0 4.5  2.5  250 0      0      1 .65   .64   20    .11  0      - -
systemc/transmitter.05_false-unreach-call_false-termination.cil.c 1 3.3   3.3   130 40    0     0      1 9.2  4.9  310 0   0      -32 8.7   4.9   310   .62  0   0 5.6  3.1  260 0      0      1 .64   .64   20    .11  0      - -
systemc/transmitter.06_false-unreach-call_false-termination.cil.c 1 14     14     520 170    0     0      1 9.7  5.2  370 0   0      -32 8.7   5.3   310   .62  0   0 4.6  2.6  260 0      0      1 .64   .64   20    .13  0      - -
systemc/transmitter.07_false-unreach-call_false-termination.cil.c 1 74     74     2400 1000    0     0      1 11    5.7  430 0   0      -32 8.9   5.4   310   .62  0   0 4.6  2.6  250 0      0      1 .67   .66   20    .13  0      - -
systemc/transmitter.08_false-unreach-call_false-termination.cil.c 1 240     240     3100 2200    0     0      1 9.1  4.9  430 0   .020  -32 9.3   5.7   320   .66  0   0 4.6  2.6  260 0      .020  1 .66   .66   20    .14  0      - -
systemc/transmitter.09_false-unreach-call_false-termination.cil.c 1 310     310     3200 3100    0     0      1 12    6.2  440 0   0      -32 9.5   5.4   320   .62  0   0 5.4  3.0  260 0      0      1 .69   .71   20    .15  0      - -
systemc/transmitter.10_false-unreach-call_false-termination.cil.c 1 370     370     3200 2600    0     0      1 14    7.2  450 0   0      -32 11     5.9   330   .62  0   0 4.9  2.8  250 0      0      1 .67   .67   20    .16  0      - -
systemc/transmitter.11_false-unreach-call_false-termination.cil.c 1 470     470     3400 3400    0     0      1 14    7.3  450 0   0      -32 11     6.7   330   .66  0   0 4.8  2.8  260 0      0      1 .68   .70   20    .17  .025  - -
systemc/transmitter.12_false-unreach-call_false-termination.cil.c 1 470     470     3400 3200    0     0      1 11    6.0  480 0   0      -32 11     6.5   330   .62  0   0 5.0  2.8  260 0      0      0 .69   .69   20    .18  .025  - -
systemc/transmitter.13_false-unreach-call_false-termination.cil.c 1 620     620     3800 4100    0     0      1 15    8.1  490 0   0      -32 11     6.5   330   .62  0   0 5.0  2.9  270 0      .029  0 .70   .70   20    .19  0      - -
systemc/transmitter.15_false-unreach-call_false-termination.cil.c 1 .39  .38  36 4.5  0     0      1 6.5  3.5  270 0   0      -32 11     6.9   330   .62  0   0 5.2  3.0  260 0      .029  0 .69   .69   20    .19  0      - -
systemc/transmitter.16_false-unreach-call_false-termination.cil.c 1 .39  .38  39 4.8  0     0      1 6.5  3.5  270 0   0      -32 12     6.4   340   .62  0   0 5.2  2.9  260 0      0      1 .73   .73   20    .20  0      - -
systemc/bist_cell_true-unreach-call_false-termination.cil.c 0 900     900     99 9500    .025 0      - - - - 0 .68 .41 40 0   0     0 .026 .027 5.6 0    0     
systemc/kundu_true-unreach-call_false-termination.cil.c 0 900     900     4600 7000    .033 0      - - - - 0 .80 .49 42 0   0     0 .021 .021 5.6 0    0     
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c 0 900     900     3400 7400    .029 0      - - - - 0 .77 .48 41 0   0     0 .022 .023 5.6 0    0     
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c 0 900     900     5700 6300    .033 0      - - - - 0 .66 .39 40 0   0     0 .021 .021 5.6 0    0     
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c 0 900     900     5400 6200    .025 4.8    - - - - 0 .78 .47 40 0   0     0 .022 .022 5.6 0    0     
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c 0 900     900     5300 6500    .033 0      - - - - 0 .76 .46 42 0   0     0 .021 .022 5.7 0    0     
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c 0 900     900     5200 6600    .029 0      - - - - 0 .75 .45 40 0   0     0 .021 .023 5.6 0    0     
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c 0 900     900     3900 7100    .029 0      - - - - 0 .67 .41 41 0   0     0 .021 .021 5.6 0    0     
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c 0 900     900     4800 5900    .029 0      - - - - 0 .70 .44 41 0   0     0 .021 .022 5.6 0    0     
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c 0 900     900     1900 8500    .033 0      - - - - 0 .65 .39 40 0   0     0 .022 .022 5.6 0    0     
systemc/pipeline_true-unreach-call_false-termination.cil.c 0 900     900     5900 6000    .033 0      - - - - 0 .59 .36 40 0   0     0 .023 .024 5.6 0    0     
systemc/token_ring.01_true-unreach-call_false-termination.cil.c 0 900     900     880 12000    .020 0      - - - - 0 .68 .42 41 0   0     0 .026 .027 5.6 0    0     
systemc/token_ring.02_true-unreach-call_false-termination.cil.c 0 900     900     1600 9400    .025 0      - - - - 0 .74 .45 40 0   0     0 .021 .022 5.6 0    0     
systemc/token_ring.03_true-unreach-call_false-termination.cil.c 0 900     900     2900 9100    .033 0      - - - - 0 .70 .43 40 0   0     0 .023 .024 5.6 0    0     
systemc/token_ring.04_true-unreach-call_false-termination.cil.c 0 900     900     4000 7000    .033 0      - - - - 0 .61 .37 42 0   0     0 .021 .022 5.6 0    0     
systemc/token_ring.05_true-unreach-call_false-termination.cil.c 0 900     900     4600 6800    .029 0      - - - - 0 .59 .36 41 0   0     0 .021 .022 5.6 0    0     
systemc/token_ring.06_true-unreach-call_false-termination.cil.c 0 900     900     4900 5900    .033 0      - - - - 0 .84 .50 42 0   0     0 .022 .023 5.7 0    0     
systemc/token_ring.07_true-unreach-call_false-termination.cil.c 0 900     900     5100 6400    .033 0      - - - - 0 .71 .43 41 0   0     0 .022 .024 5.8 0    0     
systemc/token_ring.08_true-unreach-call_false-termination.cil.c 0 900     900     5200 6000    .029 0      - - - - 0 .74 .45 40 0   0     0 .027 .027 5.6 0    0     
systemc/token_ring.09_true-unreach-call_false-termination.cil.c 0 900     900     5200 6100    .029 0      - - - - 0 .61 .37 40 0   0     0 .021 .022 5.7 0    0     
systemc/token_ring.10_true-unreach-call_false-termination.cil.c 0 900     900     5000 6300    .029 0      - - - - 0 .74 .44 42 0   0     0 .027 .027 5.6 0    0     
systemc/token_ring.11_true-unreach-call_false-termination.cil.c 0 900     900     4900 6800    .029 0      - - - - 0 .61 .39 41 0   0     0 .051 .052 5.5 0    0     
systemc/token_ring.12_true-unreach-call_false-termination.cil.c 0 900     900     4700 5400    .025 0      - - - - 0 .81 .49 40 0   0     0 .021 .021 5.6 0    0     
systemc/token_ring.13_true-unreach-call_false-termination.cil.c 0 900     900     4600 5600    .029 0      - - - - 0 .79 .48 41 0   0     0 .021 .023 5.6 0    0     
systemc/toy_true-unreach-call_false-termination.cil.c 0 900     900     4500 6800    .033 0      - - - - 0 .59 .37 40 0   0     0 .022 .023 5.7 0    0     
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c 1 .39  .39  19 4.6  0     0      1 6.2  3.4  280 0   0      -32 9.2   5.6   310   .62  0   0 5.0  2.9  260 0      0      1 .64   .64   20    .13  0      - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 .38  .38  20 5.4  0     0      1 6.0  3.2  280 0   0      -32 9.5   5.8   310   .62  0   0 4.5  2.6  260 0      0      1 .64   .65   20    .094 0      - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c 1 .45  .44  19 5.1  0     0      1 8.0  4.3  310 0   0      -32 9.3   5.3   310   .62  0   0 4.5  2.6  260 0      0      1 .65   .65   20    .13  0      - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c 1 .42  .41  19 4.5  0     0      1 8.3  4.4  300 0   0      -32 8.9   5.5   310   .62  0   0 4.9  2.8  260 0      0      1 .64   .64   20    .13  0      - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c 1 .43  .43  19 5.9  0     0      1 8.0  4.3  300 0   0      -32 8.8   5.3   310   .62  0   0 4.6  2.6  260 0      .020  1 .65   .66   20    .13  .020  - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c 1 .42  .41  19 5.0  0     0      1 10    5.4  300 0   0      -32 8.6   4.9   310   .10  0   0 4.5  2.6  260 0      0      1 .64   .64   20    .13  0      - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c 1 6.7   6.7   260 87    0     0      0 93    86    760 0   0      -32 8.8   5.4   310   .62  0   0 4.4  2.5  260 0      .020  1 .64   .64   20    .13  0      - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c 1 5.7   5.7   220 74    0     0      1 43    32    580 0   0      -32 9.0   5.5   310   .62  0   0 4.5  2.6  260 0      0      1 .65   .65   20    .13  .020  - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 1 .45  .44  19 5.5  0     0      1 8.2  4.4  330 0   0      -32 9.2   5.3   310   .62  0   -32 4.3  2.5  260 0      0      -32 .66   .66   20    .11  0      - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 .44  .44  19 5.2  0     0      1 9.4  5.0  330 0   0      -32 8.9   5.1   310   .62  0   0 97    95    250 .92   0      -32 .64   .64   20    .11  0      - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 1 .61  .61  22 7.8  0     0      1 9.3  5.1  340 0   0      -32 8.6   5.3   320   .14  0   -32 5.5  3.1  250 0      0      -32 .64   .64   20    .11  0      - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 .58  .57  22 7.4  0     0      1 10    5.5  340 0   0      -32 9.0   5.5   310   .62  0   0 97    95    250 .0041 .27   -32 .67   .67   20    .11  0      - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 1 1.1   1.1   24 14    0     0      1 8.1  4.4  280 0   0      -32 9.3   5.5   310   .62  0   1 4.9  2.8  270 0      0      1 .63   .63   20    .11  0      - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 1.2   1.2   24 14    0     0      1 6.3  3.4  280 0   0      -32 8.9   5.1   320   .62  0   1 5.0  2.8  260 0      0      1 .65   .66   20    .11  .016  - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 1 1.4   1.4   19 20    0     0      1 6.6  3.5  270 0   0      -32 8.9   5.5   320   .62  0   1 4.8  2.7  260 0      0      1 .64   .64   20    .11  0      - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 1.4   1.4   20 18    0     0      1 7.2  3.9  270 0   0      -32 9.6   5.5   310   .62  0   1 5.3  3.0  260 0      0      1 .64   .64   20    .11  0      - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c 1 1.1   1.0   21 12    0     0      1 6.2  3.4  270 0   0      -32 8.9   5.1   310   .62  0   1 4.7  2.6  260 0      .016  1 .63   .63   20    .11  0      - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c 1 1.1   1.1   21 15    0     0      1 7.9  4.2  280 0   0      -32 8.8   5.5   320   .62  0   1 4.7  2.6  260 0      0      1 .64   .64   20    .11  .016  - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c 1 8.8   8.8   23 120    0     0      1 6.7  3.6  270 0   0      -32 8.8   5.0   310   .62  0   1 5.2  2.9  270 0      1.7    1 .63   .63   20    .11  0      - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c 1 9.2   9.2   24 140    0     0      1 6.3  3.4  280 0   0      -32 9.5   5.3   320   .62  0   1 4.6  2.6  260 0      0      1 .64   .64   20    .11  0      - -
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 1 140     140     110 1900    0     0      1 48    33    1700 0   .016  -32 8.7   5.0   300   .62  0   1 4.8  2.7  260 0      0      1 .64   .64   21    .11  0      - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 1 88     88     1800 1200    0     0      1 8.3  4.3  350 0   0      -32 11     6.3   340   .62  0   1 5.4  3.0  280 0      0      1 .69   .69   21    .17  0      - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 76     76     1700 1000    0     0      1 8.8  4.7  360 0   0      -32 11     6.3   340   .62  0   1 5.8  3.3  270 0      .029  1 .69   .69   21    .18  0      - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 1 17     17     160 200    0     0      1 7.8  4.2  340 0   0      -32 11     6.2   340   .62  0   1 5.5  3.0  280 0      0      1 .69   .69   21    .18  0      - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 15     15     160 190    0     0      1 8.7  4.6  290 0   0      -32 11     6.4   350   .62  0   1 5.6  3.1  270 0      0      1 .70   .70   21    .18  0      - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c 1 23     23     280 310    0     0      1 8.8  4.7  390 0   0      -32 12     6.8   340   .62  0   1 5.5  3.0  270 0      0      1 .76   .78   21    .18  .033  - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c 1 23     23     270 350    0     0      1 8.2  4.4  380 0   0      -32 11     6.2   330   .62  0   1 5.4  3.0  270 0      0      1 .71   .70   20    .18  0      - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c 1 53     53     650 670    0     .28   1 8.9  4.7  380 0   0      -32 12     6.9   350   .62  0   1 5.4  3.0  280 0      0      1 .73   .72   20    .18  0      - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c 1 57     57     680 660    0     0      1 11    5.9  400 0   0      -32 11     6.7   340   .62  0   1 5.3  2.9  260 0      0      1 .70   .70   20    .18  0      - -
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     1600 11000    .029 0      0 .58 .38 40 0   0      0 .022 .025 5.6 0     0   0 .92 .59 47 0      0      0 .0052 .0054 .40 0     0      - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     3100 8500    .029 0      0 .62 .37 41 0   0      0 .022 .025 5.7 0     0   0 .92 .60 47 0      0      0 .0015 .0019 .52 0     0      - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900     900     3000 8800    .033 4.8    0 .59 .37 41 0   0      0 .024 .025 5.6 0     0   0 1.0  .68 47 0      0      0 .0062 .0077 .53 0     0      - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 1 450     450     3300 5100    0     0      1 11    5.7  440 0   0      -32 14     8.6   470   .62  0   1 6.7  3.6  300 0      0      1 .85   .85   21    .32  0      - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 170     170     3000 1700    0     0      1 11    5.8  440 0   0      -32 14     8.4   490   .62  0   1 6.7  3.6  300 0      0      1 .82   .82   21    .33  0      - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c 1 580     580     3400 6900    0     0      1 11    5.9  460 0   0      -32 13     8.0   470   .62  0   1 8.8  4.8  310 0      0      1 .83   .84   21    .32  0      - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c 1 570     570     3300 6700    0     0      1 12    6.1  460 0   0      -32 16     9.5   460   .62  0   1 6.9  3.7  300 0      0      1 .82   .82   21    .33  0      - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     3700 9700    .029 0      0 .71 .44 40 0   0      0 .021 .022 5.6 0     0   0 .92 .60 47 0      0      0 .0017 .0023 .53 0     0      - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c 0 900     900     3600 9700    .025 0      0 .74 .44 41 0   0      0 .022 .023 5.6 0     0   0 .93 .61 48 0      0      0 .0047 .0057 .54 0     0      - -
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     3600 11000    .025 0      0 .72 .45 40 0   0      0 .022 .023 5.6 0     0   0 .95 .61 47 0      0      0 .0060 .0078 .53 0     0      - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 1 .57  .57  18 8.0  0     0      1 6.3  3.4  270 0   .012  -32 8.4   5.2   320   .62  0   1 4.3  2.5  260 0      0      1 .63   .63   20    .086 0      - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 .59  .58  18 7.3  0     0      1 5.8  3.1  270 0   0      -32 8.5   4.8   320   .62  0   1 4.4  2.5  260 0      0      1 .62   .62   20    .086 0      - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 1 .50  .49  18 5.9  0     0      1 7.1  3.8  260 0   .012  -32 8.6   4.8   310   .62  0   1 4.4  2.5  250 0      0      1 .63   .63   20    .086 0      - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 .50  .50  18 5.2  0     0      1 5.7  3.0  270 0   0      -32 8.1   4.5   310   .62  0   1 4.3  2.4  260 0      0      1 .63   .63   20    .086 0      - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 1 1.1   1.1   19 16    0     0      1 7.1  3.8  290 0   0      -32 8.6   5.3   310   .62  0   1 4.3  2.5  260 0      0      1 .64   .63   20    .098 0      - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 1.1   1.1   20 17    0     0      1 6.8  3.6  280 0   0      -32 8.7   4.9   310   .62  0   1 4.6  2.5  250 0      0      1 .63   .62   20    .10  0      - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 1 .75  .75  19 9.0  0     0      1 8.9  4.7  280 0   0      -32 8.3   4.6   310   .66  0   1 5.0  2.8  260 0      0      1 .62   .61   20    .098 0      - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 .77  .76  18 7.5  0     0      1 6.7  3.7  280 0   0      -32 8.7   5.2   310   .62  0   1 4.3  2.4  260 0      0      1 .62   .62   20    .10  0      - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 1 2.8   2.8   26 36    0     0      1 9.1  4.9  350 0   0      -32 8.8   5.0   310   .62  0   1 4.7  2.7  260 0      0      1 .63   .64   21    .11  0      - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 2.9   2.9   27 43    0     0      1 9.6  5.0  350 0   0      -32 8.6   4.9   310   .62  0   1 4.4  2.5  260 0      0      1 .63   .63   20    .11  0      - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 1 1.3   1.3   21 18    0     0      1 7.1  3.8  330 0   0      -32 8.7   5.0   310   .62  0   1 4.7  2.6  260 0      0      1 .63   .63   20    .11  0      - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 1.3   1.3   21 18    0     0      1 9.0  4.8  330 0   0      -32 8.7   5.3   310   .62  0   1 4.6  2.6  260 0      0      1 .63   .63   20    .11  0      - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 1 7.4   7.4   48 110    0     0      1 8.6  4.6  430 0   0      -32 9.6   5.8   320   .62  0   1 4.7  2.7  270 0      0      1 .64   .64   20    .13  0      - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 8.2   8.2   51 110    0     0      1 8.9  4.7  420 0   0      -32 9.0   5.5   310   .62  0   1 5.4  3.0  270 0      .15   1 .65   .65   20    .13  0      - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c 1 2.6   2.6   29 30    0     0      1 9.6  5.0  390 0   0      -32 8.9   5.0   310   .62  0   1 5.5  3.1  260 0      0      1 .64   .64   21    .13  0      - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 2.6   2.6   29 29    0     0      1 9.8  5.2  390 0   0      -32 9.0   5.1   310   .62  0   1 4.8  2.7  260 0      .020  1 .65   .65   21    .13  0      - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 1 .56  .56  18 7.1  0     0      1 5.8  3.2  270 0   .0082 -32 7.6   4.3   310   .62  0   1 4.2  2.4  250 0      0      1 .62   .61   20    .082 0      - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 .60  .59  18 7.4  0     0      1 6.1  3.3  270 0   0      -32 7.4   4.7   300   .62  0   1 4.2  2.4  250 0      0      1 .62   .62   20    .082 0      - -
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 1 1.2   1.2   25 16    0     0      1 61    44    1600 0   0      -32 7.9   5.0   320   .62  0   1 4.2  2.4  250 0      0      1 .64   .64   20    .082 0      - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 1 1.4   1.4   18 19    0     0      1 7.0  3.7  290 0   .012  -32 8.5   4.8   310   .62  0   1 4.4  2.5  260 0      0      1 .61   .60   20    .086 .012  - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 1.4   1.4   18 18    0     0      1 8.3  4.5  280 0   0      -32 8.6   4.9   310   .62  0   1 4.3  2.5  260 0      1.5    1 .67   .68   20    .090 0      - -
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 1 3.7   3.7   37 50    0     0      1 73    56    2000 0   0      -32 8.1   4.7   320   .62  0   1 4.4  2.5  260 0      0      1 .62   .62   20    .090 0      - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 1 4.4   4.4   22 63    0     0      1 8.2  4.4  340 0   0      -32 9.1   5.2   310   .62  0   1 4.4  2.5  260 0      0      1 .65   .68   20    .10  0      - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 4.3   4.3   22 62    0     0      1 7.7  4.1  340 0   0      -32 8.5   5.3   310   .62  0   1 4.6  2.6  260 0      0      1 .63   .63   20    .10  0      - -
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 1 13     13     66 190    0     0      1 76    57    1900 0   0      -32 8.6   5.2   310   .62  0   1 4.4  2.5  260 0      0      1 .65   .65   20    .10  0      - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 1 14     14     33 190    0     0      1 8.4  4.5  420 0   0      -32 8.7   5.0   300   .62  0   1 4.6  2.6  270 0      0      1 .65   .64   20    .11  0      - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 14     14     33 190    0     0      1 8.9  4.7  440 0   0      -32 8.9   5.0   310   .62  0   1 4.6  2.6  260 0      0      1 .63   .63   20    .11  .020  - -
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 1 44     44     140 630    0     0      0 97    86    2100 0   0      -32 8.5   4.8   310   .62  0   1 4.5  2.5  260 0      0      1 .64   .64   20    .11  0      - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c 1 41     41     72 530    0     0      1 9.4  5.0  440 0   0      -32 9.4   5.3   320   .62  0   1 4.9  2.8  270 0      .22   1 .64   .64   20    .13  0      - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 41     41     69 600    0     0      1 12    6.3  440 0   .32   -32 8.9   5.0   310   .62  0   1 4.6  2.6  250 0      0      1 .65   .64   20    .13  0      - -
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 1 150     150     320 1900    0     0      0 97    84    2600 0   0      -32 9.2   5.3   320   .62  0   1 4.7  2.6  260 0      0      1 .65   .65   21    .13  .025  - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c 1 130     130     200 1900    0     0      1 10    5.4  440 0   0      -32 9.3   5.3   310   .62  0   1 5.0  2.8  270 0      0      1 .65   .65   21    .14  .029  - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 130     130     190 1500    0     0      1 12    6.1  440 0   0      -32 9.4   5.7   320   .62  0   1 4.8  2.7  260 0      0      1 .70   .71   20    .14  0      - -
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 1 570     570     840 6500    0     0      0 97    86    2500 0   0      -32 9.3   5.6   320   .62  0   1 4.7  2.6  270 0      0      1 .65   .65   21    .14  0      - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 1 1.1   1.1   25 17    0     0      1 6.2  3.3  270 0   0      -32 9.0   5.6   320   .62  0   1 4.6  2.6  260 0      0      1 .64   .64   20    .11  0      - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 1.2   1.2   25 15    0     0      1 6.3  3.4  280 0   0      -32 8.9   5.5   320   .62  0   1 4.6  2.6  260 0      0      1 .65   .65   20    .12  .016  - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 1 .82  .82  19 11    0     0      1 6.3  3.3  280 0   0      -32 8.9   5.1   310   .62  0   1 4.9  2.7  270 0      0      1 .63   .63   20    .11  .016  - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 .86  .86  19 9.7  0     0      1 6.6  3.5  280 0   0      -32 9.1   5.5   310   .62  0   1 4.5  2.5  260 0      0      1 .65   .65   20    .12  0      - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c 1 1.1   1.1   21 14    0     0      1 6.8  3.6  290 0   0      -32 9.4   5.7   310   .62  0   1 4.9  2.8  270 0      0      1 .66   .67   20    .11  0      - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c 1 1.1   1.1   21 18    0     0      1 6.8  3.6  270 0   0      -32 9.6   5.8   310   .62  0   1 4.8  2.7  270 0      0      1 .66   .67   20    .12  0      - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c 1 9.4   9.4   24 130    0     0      1 6.8  3.6  280 0   0      -32 9.4   5.7   320   .62  0   1 4.6  2.6  270 0      .016  1 .67   .66   21    .11  .016  - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c 1 6.8   6.8   23 96    0     0      1 7.1  3.8  270 0   0      -32 8.8   5.4   310   .62  0   1 5.3  2.9  260 0      .17   1 .65   .65   20    .12  0      - -
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 1 140     140     110 1700    0     0      1 73    52    1900 0   0      -32 9.1   5.5   310   .22  0   1 4.9  2.8  270 0      0      1 .66   .66   20    .12  0      - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 1 96     96     1900 1100    0     0      1 8.6  4.6  370 0   0      -32 12     6.5   350   .62  0   1 5.4  3.0  270 0      0      1 .69   .69   21    .18  0      - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 96     97     1900 1100    0     0      1 10    5.3  370 0   0      -32 11     6.7   360   .62  0   1 5.6  3.1  280 0      0      1 .70   .70   21    .18  0      - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 1 16     16     170 210    0     0      1 8.1  4.3  360 0   0      -32 11     6.2   340   .62  0   1 5.6  3.1  270 0      0      1 .73   .73   21    .19  0      - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 16     16     170 230    0     0      1 9.3  4.9  360 0   0      -32 12     6.5   360   .62  0   1 6.7  3.6  270 0      0      1 .71   .72   21    .19  0      - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c 1 23     23     270 300    0     0      1 8.9  4.7  390 0   0      -32 12     7.3   350   .62  0   1 5.8  3.2  270 0      0      1 .70   .70   21    .19  0      - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c 1 24     24     270 290    0     0      1 10    5.5  410 0   0      -32 12     6.5   360   .62  0   1 5.6  3.1  280 0      0      1 .70   .70   21    .19  0      - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c 1 63     63     670 800    0     0      1 9.1  4.8  410 0   0      -32 11     6.3   350   .62  0   1 5.5  3.0  270 0      0      1 .70   .70   21    .19  0      - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c 1 63     63     690 750    0     0      1 8.4  4.4  390 0   0      -32 11     6.7   360   .62  0   1 5.5  3.1  280 0      0      1 .70   .70   21    .19  0      - -
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     1700 10000    .041 0      0 .59 .36 43 0   0      0 .022 .025 5.6 0     0   0 .97 .63 47 0      0      0 .0020 .0025 .53 0     0      - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     3100 8300    .033 0      0 .61 .37 41 0   0      0 .020 .022 5.7 0     0   0 .94 .62 47 0      0      0 .0019 .0036 .53 0     0      - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900     900     3100 9400    .029 0      0 .63 .40 43 0   0      0 .021 .022 5.6 0     0   0 .91 .58 46 0      0      0 .0026 .0032 .53 0     0      - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 1 200     200     3200 2300    0     0      1 14    7.5  450 0   0      -32 14     8.3   490   .62  0   1 8.3  4.5  300 0      0      1 .84   .84   21    .33  0      - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 400     400     3300 4200    0     0      1 14    7.2  450 0   0      -32 14     8.0   500   .62  0   1 8.0  4.4  320 0      0      1 .83   .83   21    .34  0      - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c 1 370     370     3400 4000    0     0      1 15    7.8  460 0   0      -32 13     8.0   470   .62  0   1 7.2  3.9  310 0      0      1 .85   .85   21    .33  0      - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c 1 470     470     3300 5000    0     0      1 14    7.3  450 0   0      -32 15     8.6   460   .62  0   1 6.9  3.7  310 0      0      1 .85   .86   21    .34  0      - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     3900 9600    .029 0      0 .60 .37 42 0   0      0 .023 .025 5.7 0     0   0 .94 .60 48 0      0      0 .0049 .0060 .53 0     0      - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c 0 900     900     3700 10000    .029 0      0 .60 .37 41 0   0      0 .021 .023 5.6 0     0   0 .94 .61 47 0      0      0 .0052 .0065 .53 0     0      - -
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     3700 8800    .033 0      0 .79 .49 41 0   0      0 .022 .023 5.7 0     0   0 .94 .60 47 0      0      0 .0015 .0025 .53 0     0      - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c 0 1.1   1.1   180 13    0     0      0 .78 .47 42 0   0      0 .022 .023 5.6 0     0   0 .93 .60 47 0      0      0 .0017 .0022 .52 0     0      - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c 0 73     73     4500 370    0     0      0 .59 .36 41 0   0      0 .021 .023 5.7 0     0   0 .97 .64 47 0      0      0 .0017 .0024 .65 0     0      - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c 0 1.1   1.1   190 13    0     0      0 .61 .38 42 0   0      0 .021 .022 5.7 0     0   0 .93 .60 47 0      0      0 .0053 .0064 .52 0     0      - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c 0 72     72     4600 410    0     0      0 .58 .36 40 0   0      0 .021 .023 5.7 0     0   0 .93 .61 47 0      0      0 .0045 .0061 .52 0     0      - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c 0 2.0   2.0   370 26    0     0      0 .77 .48 42 0   0      0 .022 .024 5.6 0     0   0 .94 .61 47 0      0      0 .0018 .0036 .52 0     0      - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c 0 900     900     8400 10000    .029 0      0 .78 .48 41 0   0      0 .022 .024 5.6 0     0   0 .94 .61 47 0      0      0 .0022 .0030 .52 0     0      - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c 0 2.0   2.0   370 20    0     0      0 .67 .41 42 0   0      0 .022 .023 5.6 0     0   0 .95 .62 47 0      0      0 .0013 .0015 .39 0     0      - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c 0 900     900     8400 10000    .020 0      0 .78 .46 40 0   0      0 .026 .028 5.6 0     0   0 .97 .63 47 0      0      0 .0017 .0022 .52 0     0      - -
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c 0 900     900     2400 12000    .025 0      0 .57 .34 41 0   0      0 .025 .026 5.6 0     0   0 .90 .59 47 0      0      0 .0014 .0018 .52 0     0      - -
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c 0 900     900     5900 11000    .025 0      0 .80 .49 41 0   0      0 .021 .023 5.6 0     0   0 .93 .60 47 0      0      0 .0018 .0025 .53 0     0      - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c 0 .75  .74  110 9.5  0     0      0 .60 .38 40 0   0      0 .021 .022 5.6 0     0   0 .94 .60 47 0      0      0 .0069 .010  .53 0     0      - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c 0 54     54     2800 510    0     0      0 .59 .37 41 0   0      0 .021 .024 5.6 0     0   0 .93 .59 47 0      0      0 .0050 .0061 .52 0     0      - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c 0 1.1   1.1   150 11    0     0      0 .67 .42 41 0   0      0 .025 .027 5.6 0     0   0 .93 .60 46 0      0      0 .0021 .0034 .52 0     0      - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c 0 70     70     3700 400    0     0      0 .78 .48 40 0   0      0 .021 .022 5.6 0     0   0 .93 .62 48 0      0      0 .0053 .0067 .39 0     0      - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c 0 3.5   3.5   330 32    0     0      0 .71 .43 41 0   0      0 .021 .023 5.6 0     0   0 .91 .58 47 0      0      0 .0050 .0078 .53 0     0      - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c 0 890     890     1100 12000    0     0      0 .59 .36 40 0   0      0 .022 .025 5.6 0     0   0 .94 .61 47 0      0      0 .0017 .0022 .53 0     0      - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c 0 7.8   7.8   350 45    0     0      0 .61 .39 41 0   0      0 .022 .024 5.6 0     0   0 .91 .59 47 0      0      0 .0042 .0054 .53 0     0      - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c 0 900     900     1200 11000    .025 0      0 .72 .44 40 0   0      0 .022 .023 5.6 0     0   0 .93 .62 47 0      0      0 .0016 .0021 .53 0     0      - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c 0 12     12     700 67    0     0      0 .58 .36 41 0   0      0 .022 .024 5.6 0     0   0 1.1  .69 47 0      0      0 .0054 .0066 .53 0     0      - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c 0 900     900     1600 10000    .025 0      0 .62 .38 41 0   0      0 .023 .025 5.6 0     0   0 .93 .59 47 0      0      0 .0037 .0049 .53 0     0      - -
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c 0 900     900     1200 13000    .025 4.8    0 .67 .42 41 0   0      0 .021 .022 5.7 0     0   0 .95 .62 47 0      0      0 .0031 .0038 .53 0     0      - -
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c 0 900     900     1200 13000    .025 0      0 .57 .35 40 0   0      0 .020 .021 5.6 0     0   0 1.0  .65 47 0      0      0 .0048 .0053 .40 0     0      - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c 0 1.2   1.2   180 14    0     0      0 .75 .46 40 0   0      0 .022 .022 5.6 0     0   0 .94 .60 47 0      0      0 .0019 .0027 .53 0     0      - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c 0 900     900     460 12000    .025 0      0 .59 .36 40 0   0      0 .023 .024 5.6 0     0   0 .92 .61 47 0      0      0 .0017 .0021 .53 0     0      - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c 0 2.4   2.4   260 30    0     0      0 .78 .48 41 0   0      0 .021 .022 5.6 0     0   0 .95 .61 48 0      0      0 .0017 .0023 .53 0     0      - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c 0 150     150     280 2200    0     0      0 .58 .36 40 0   0      0 .022 .022 5.6 0     0   0 .92 .59 47 0      0      0 .0051 .0066 .53 0     0      - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c 0 900     900     4700 6300    .029 0      - - - - 0 .59 .36 40 0   0     0 .026 .027 5.6 0    0     
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     4600 7700    .033 0      - - - - 0 .80 .48 42 0   0     0 .027 .027 5.6 0    0     
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     4500 7800    .029 0      - - - - 0 .65 .40 40 0   0     0 .025 .026 5.6 0    0     
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     4300 7600    .029 0      - - - - 0 .66 .41 42 0   0     0 .027 .027 5.6 0    0     
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 2 16     16     25 210    0     0      - - - - 2 42    32    550 0   0     0 170     110     7000   .66 .016 
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     120 12000    .025 0      - - - - 0 .59 .36 40 0   0     0 .026 .028 5.7 0    0     
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 0 900     900     1500 10000    .029 0      - - - - 0 .63 .39 40 0   0     0 .028 .029 5.7 0    0     
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     1600 12000    .025 0      - - - - 0 .75 .45 41 0   0     0 .026 .028 5.7 0    0     
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     3700 9800    .029 0      - - - - 0 .60 .36 41 0   0     0 .020 .021 5.6 0    0     
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     3800 10000    .029 0      - - - - 0 .73 .45 40 0   0     0 .027 .028 5.8 0    0     
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 2 .55  .55  18 6.3  0     0      - - - - 2 20    13    490 0   0     0 230     150     7000   .71 0     
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     500 15000    .025 0      - - - - 0 .62 .38 41 0   0     0 .024 .025 5.7 0    0     
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 2 1.2   1.2   20 15    0     0      - - - - 2 76    64    570 0   0     0 220     140     7000   .65 0     
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     1000 10000    .033 0      - - - - 0 .62 .37 41 0   0     0 .027 .027 5.6 0    0     
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 2 4.1   4.1   32 55    0     0      - - - - 2 270    260    750 0   0     0 150     98     7000   .65 0     
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     1700 11000    .029 0      - - - - 0 .60 .38 41 0   0     0 .020 .021 5.6 0    0     
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c 1 23     23     97 320    0     .28   - - - - 0 900    890    1100 0   .69  0 150     94     7000   .64 0     
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     2300 12000    .029 0      - - - - 0 .75 .47 40 0   0     0 .022 .022 5.6 0    0     
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 2 .50  .49  17 7.6  0     0      - - - - 2 18    11    440 0   0     0 960     890     3900   .63 0     
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     220 14000    .025 0      - - - - 0 .75 .45 40 0   0     0 .022 .024 5.7 0    0     
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 2 1.2   1.2   18 14    0     0      - - - - 2 32    24    520 0   0     0 250     170     7000   1.4  .049 
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     420 12000    .041 0      - - - - 0 .77 .47 40 0   0     0 .021 .022 5.6 0    0     
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 2 4.2   4.2   21 51    0     0      - - - - 2 88    78    620 0   0     0 210     150     7000   .64 0     
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     770 11000    .029 0      - - - - 0 .76 .47 41 0   0     0 .025 .026 5.6 0    0     
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c 2 18     18     36 270    0     0      - - - - 2 260    250    740 0   0     0 280     200     7000   .65 0     
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     1300 11000    .033 0      - - - - 0 .75 .47 41 0   0     0 .022 .023 5.6 0    0     
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c 1 83     83     110 850    0     0      - - - - 0 900    890    1100 0   0     0 320     220     7000   .63 .0082
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     1700 12000    .029 0      - - - - 0 .62 .37 41 0   0     0 .024 .025 5.6 0    0     
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c 1 400     400     390 5100    0     0      - - - - 0 900    890    1400 0   0     0 150     100     7000   1.6  0     
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     1400 12000    .029 0      - - - - 0 .63 .40 41 0   0     0 .023 .024 5.7 0    0     
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 2 17     17     26 250    0     0      - - - - 2 34    27    540 0   0     0 140     93     7000   .66 0     
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     120 12000    .025 0      - - - - 0 .61 .38 42 0   0     0 .021 .022 5.6 0    0     
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 0 900     900     1600 11000    .029 0      - - - - 0 .75 .45 42 0   0     0 .022 .023 5.7 0    0     
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     1700 11000    .029 0      - - - - 0 .67 .40 42 0   0     0 .021 .022 5.6 0    0     
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     3800 9100    .033 0      - - - - 0 .74 .46 40 0   0     0 .021 .022 5.6 0    0     
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     3700 9100    .033 0      - - - - 0 .74 .45 42 0   0     0 .022 .023 5.6 0    0     
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c 0 1.1   1.1   180 13    0     0      - - - - 0 .77 .47 41 0   0     0 .026 .027 5.7 0    0     
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c 0 75     75     4500 300    0     0      - - - - 0 .70 .42 42 0   0     0 .022 .022 5.6 0    0     
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c 0 1.9   1.9   370 19    0     0      - - - - 0 .60 .38 42 0   0     0 .021 .022 5.6 0    0     
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c 0 98     98     8400 590    0     0      - - - - 0 .73 .44 41 0   0     0 .026 .027 5.7 0    0     
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c 0 900     900     2400 11000    .025 0      - - - - 0 .63 .40 40 0   0     0 .026 .027 5.6 0    0     
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c 0 900     900     2400 12000    .020 0      - - - - 0 .80 .49 41 0   0     0 .022 .022 5.6 0    0     
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c 0 900     900     5900 13000    .025 0      - - - - 0 .60 .36 41 0   0     0 .026 .027 5.6 0    0     
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c 0 900     900     12000 11000    .025 0      - - - - 0 .58 .36 40 0   0     0 .021 .022 5.7 0    0     
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c 0 .77  .76  110 9.1  0     0      - - - - 0 .58 .35 40 0   0     0 .020 .022 5.6 0    0     
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c 0 64     64     2800 320    0     0      - - - - 0 .60 .36 41 0   0     0 .027 .028 5.5 0    0     
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c 0 .77  .76  110 9.6  0     0      - - - - 0 .65 .41 40 0   0     0 .026 .027 5.6 0    0     
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c 0 64     64     2900 330    0     4.7    - - - - 0 .78 .47 42 0   0     0 .022 .023 5.6 0    0     
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c 0 1.0   1.0   150 14    0     0      - - - - 0 .74 .46 41 0   0     0 .022 .022 5.6 0    0     
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c 0 73     73     3700 490    0     0      - - - - 0 .69 .43 41 0   0     0 .022 .022 5.6 0    0     
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c 0 3.4   3.4   330 34    0     0      - - - - 0 .73 .44 41 0   0     0 .027 .028 5.6 0    0     
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c 0 900     900     850 12000    .020 0      - - - - 0 .67 .41 42 0   0     0 .026 .027 5.6 0    0     
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c 0 12     12     700 70    0     0      - - - - 0 .59 .36 40 0   0     0 .021 .021 5.6 0    0     
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c 0 900     900     1700 10000    .020 0      - - - - 0 .70 .44 43 0   0     0 .026 .026 5.6 0    0     
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c 0 12     12     700 59    0     0      - - - - 0 .61 .37 40 0   0     0 .022 .022 5.6 0    0     
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c 0 900     900     1800 12000    .025 0      - - - - 0 .62 .38 40 0   0     0 .026 .027 5.6 0    0     
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c 0 900     900     1200 11000    .025 0      - - - - 0 .58 .37 41 0   0     0 .052 .056 5.5 0    0     
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c 0 900     900     1200 13000    .025 0      - - - - 0 .70 .43 42 0   0     0 .024 .026 5.6 0    0     
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c 0 900     900     1200 12000    .025 0      - - - - 0 .61 .37 41 0   0     0 .027 .029 5.6 0    0     
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c 0 900     900     1200 13000    .025 0      - - - - 0 .70 .43 40 0   0     0 .021 .022 5.6 0    0     
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c 0 1.2   1.2   180 12    0     0      - - - - 0 .78 .47 41 0   0     0 .027 .028 5.6 0    0     
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c 0 900     900     460 12000    .025 0      - - - - 0 .67 .40 41 0   0     0 .021 .022 5.6 0    0     
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c 0 1.7   1.7   200 18    0     0      - - - - 0 .60 .37 41 0   0     0 .022 .022 5.6 0    0     
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c 0 900     900     420 11000    .025 0      - - - - 0 .69 .42 41 0   0     0 .021 .023 5.6 0    0     
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c 0 2.5   2.5   260 26    0     0      - - - - 0 .65 .40 41 0   0     0 .022 .023 5.6 0    0     
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c 0 900     900     470 12000    .025 0      - - - - 0 .72 .44 41 0   0     0 .021 .021 5.6 0    0     
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c 1 3.7   3.7   19 52    0     0      1 6.2  3.3  280 0   0      -32 8.3   4.8   310   .62  0   1 4.6  2.6  270 0      0      0 .64   .64   20    .13  0      - -
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c 1 .54  .54  25 7.4  0     0      1 7.1  3.8  280 0   0      -32 12     7.0   410   .62  0   1 6.6  3.6  280 0      0      0 .79   .79   20    .25  0      - -
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c 1 4.8   4.8   21 66    0     0      1 7.5  3.9  290 0   0      -32 11     6.5   360   .62  0   1 5.4  3.0  270 0      0      0 .77   .76   20    .20  0      - -
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 2800    .12  0      0 .61 .37 42 0   0      0 .022 .024 5.6 0     0   0 .96 .62 47 0      0      0 .0050 .0060 .52 0     0      - -
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 1 .71  .71  25 9.0  0     0      1 8.5  4.5  280 0   0      -32 13     7.4   410   .62  0   1 5.7  3.2  270 0      0      0 .80   .80   21    .25  0      - -
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 1 3.9   3.9   22 52    0     0      1 8.0  4.3  270 0   0      -32 12     6.6   360   .62  0   1 6.0  3.4  270 0      0      0 .76   .76   20    .20  0      - -
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c 1 1.5   1.5   18 20    0     0      1 7.0  3.7  260 0   0      -32 8.9   5.0   310   .62  0   1 4.7  2.7  260 0      0      0 .64   .64   20    .13  0      - -
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c 1 .51  .50  18 6.1  0     0      1 7.4  4.0  270 0   0      -32 11     6.2   330   .62  0   1 5.1  2.9  270 0      0      0 .70   .70   20    .17  0      - -
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c 1 2.1   2.1   19 28    0     0      1 7.4  4.0  280 0   0      -32 11     6.3   320   .66  0   1 5.1  2.9  270 0      0      0 .69   .69   20    .16  .020  - -
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 1 .40  .40  18 5.6  0     .28   1 5.7  3.1  280 0   0      -32 8.8   5.4   320   .62  0   1 5.2  2.9  260 0      0      0 .66   .66   20    .13  0      - -
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 1 .52  .51  17 6.7  0     0      1 6.3  3.4  270 0   0      -32 10     5.8   320   .62  0   1 5.3  2.9  270 0      0      0 .74   .74   20    .18  0      - -
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 1 2.1   2.1   19 22    0     0      1 6.2  3.3  280 0   0      -32 9.7   5.5   320   .62  0   1 5.0  2.8  270 0      .020  0 .70   .71   20    .16  0      - -
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c 1 4.3   4.3   20 66    0     0      1 6.7  3.6  270 0   0      -32 9.0   5.5   310   .62  0   1 4.7  2.7  260 0      0      0 .65   .65   20    .13  0      - -
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c 1 .67  .66  25 8.5  0     0      1 7.1  3.8  290 0   0      -32 13     7.7   410   .62  0   1 7.1  3.9  270 0      0      0 .79   .79   20    .25  .037  - -
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c 1 14     14     23 180    0     0      1 8.7  4.6  280 0   0      -32 11     6.2   360   .62  0   1 5.4  3.0  270 0      0      0 .74   .74   21    .20  0      - -
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 1 .43  .42  17 4.8  0     0      1 6.2  3.3  280 0   0      -32 8.8   5.4   320   .62  0   1 5.0  2.8  260 0      .016  0 .68   .68   20    .13  0      - -
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 1 .78  .77  25 9.5  0     0      1 7.4  3.9  290 0   0      -32 12     6.9   420   .12  0   1 5.5  3.0  270 0      .037  0 .81   .80   20    .25  0      - -
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 1 7.2   7.2   22 88    0     .63   1 8.9  4.7  290 0   0      -32 11     6.9   360   .62  0   1 5.5  3.1  270 0      0      0 .74   .73   21    .20  .029  - -
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c 1 4.7   4.7   20 60    0     0      1 6.2  3.3  280 0   0      -32 8.9   5.4   310   .62  0   1 5.7  3.2  260 0      .016  0 .66   .66   20    .13  0      - -
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c 1 .74  .73  24 9.1  0     .28   1 8.2  4.3  280 0   0      -32 13     7.1   410   .62  0   1 5.8  3.2  260 0      1.6    0 .80   .80   20    .25  0      - -
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c 1 17     17     24 170    0     0      1 7.1  3.8  290 0   0      -32 11     6.2   370   .62  0   1 5.2  2.9  270 0      0      0 .73   .73   20    .20  0      - -
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 2800    .22  0      0 .61 .38 41 0   0      0 .022 .022 5.6 0     0   0 .96 .62 49 0      0      0 .0018 .0023 .53 0     0      - -
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 1 .72  .71  26 10    0     0      1 8.2  4.4  280 0   0      -32 13     7.8   400   .62  0   1 5.7  3.2  280 0      0      0 .80   .80   20    .25  0      - -
seq-mthreaded-reduced/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 0 230     240     15000 3400    .13  0      0 .60 .36 40 0   0      0 .021 .023 5.6 0     0   0 .94 .60 47 0      0      0 .0019 .0024 .53 0     0      - -
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c 1 41     41     25 580    0     0      1 9.7  5.1  390 0   0      -32 11     6.1   360   .62  0   1 5.6  3.1  260 0      0      0 .77   .76   21    .21  0      - -
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c 1 1.3   1.2   59 17    0     0      1 12    6.3  390 0   0      -32 20     11     520   .62  0   0 7.6  4.2  300 0      2.3    0 1.0    1.0    21    .090 0      - -
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c 1 61     61     38 770    0     0      1 9.5  5.0  380 0   0      -32 15     9.3   520   .62  0   0 7.2  3.9  280 0      .066  0 .84   .83   21    .066 0      - -
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 2300    .082 0      0 .65 .39 43 0   0      0 .024 .025 5.6 0     0   0 .98 .64 47 0      0      0 .0050 .0063 .52 0     0      - -
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 1 13     13     63 170    0     0      1 11    5.7  410 0   0      -32 19     11     480   .62  0   0 7.6  4.1  310 0      0      0 1.0    1.0    21    .090 0      - -
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 1 49     49     40 680    0     0      1 8.8  4.7  360 0   0      -32 16     9.2   520   .62  0   0 7.0  3.9  290 0      0      0 .87   .87   21    .066 0      - -
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c 1 15     15     140 240    0     0      1 7.5  4.0  350 0   .0041 -32 11     6.8   370   .62  0   1 5.8  3.2  280 0      0      0 .74   .74   20    .21  0      - -
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c 1 4.8   4.8   130 71    0     0      1 8.5  4.5  340 0   0      -32 15     8.6   470   .12  0   0 6.3  3.5  280 0      0      0 .83   .83   21    .057 .057  - -
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c 1 9.0   9.0   130 110    0     0      1 11    5.7  330 0   0      -32 15     8.8   470   .62  0   0 6.6  3.6  280 0      0      0 .79   .79   21    .053 0      - -
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 1 3.8   3.8   110 48    0     5.1    1 7.7  4.1  350 0   0      -32 12     7.0   360   .62  0   1 5.5  3.1  280 0      0      0 .80   .82   21    .21  .033  - -
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 1 4.8   4.8   130 71    0     0      1 9.0  4.7  350 0   0      -32 15     9.0   510   .62  0   0 6.7  3.7  270 0      0      0 .79   .79   21    .057 0      - -
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 1 9.1   9.1   130 110    0     0      1 9.3  4.9  340 0   0      -32 15     8.9   460   .62  0   0 6.4  3.5  280 0      0      0 .78   .78   21    .053 0      - -
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c 1 32     32     140 410    0     0      1 8.3  4.4  410 0   0      -32 11     6.4   360   .62  0   1 5.2  2.9  280 0      0      0 .77   .76   20    .21  .033  - -
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c 1 5.4   5.4   150 75    0     0      1 12    6.3  420 0   0      -32 18     11     500   .62  0   0 9.6  5.2  300 0      0      0 1.0    1.0    21    .090 0      - -
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c 1 55     55     170 720    0     0      1 11    5.7  390 0   0      -32 16     9.1   530   .62  0   0 6.9  3.7  280 0      0      0 .88   .88   21    .066 .066  - -
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 1 3.8   3.8   110 48    0     0      1 11    6.0  410 0   0      -32 12     6.7   370   .62  0   1 7.2  3.9  270 0      0      0 .77   .77   21    .21  0      - -
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 1 6.4   6.4   140 90    0     0      1 13    6.7  410 0   .090  -32 19     11     480   .62  0   0 8.4  4.5  310 0      0      0 1.0    1.0    21    .090 0      - -
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 1 36     36     150 510    0     0      1 9.1  4.8  390 0   0      -32 16     9.4   520   .62  0   0 6.9  3.8  280 0      0      0 .85   .85   21    .066 0      - -
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c 1 74     74     140 980    0     0      1 8.7  4.6  380 0   0      -32 11     6.5   360   .62  0   1 5.4  3.1  270 0      0      0 .78   .78   21    .21  0      - -
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c 1 17     17     150 220    0     0      1 10    5.4  420 0   0      -32 18     11     520   .62  0   0 7.4  4.0  300 0      0      0 1.0    1.0    21    .090 0      - -
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c 1 410     410     320 5200    0     0      1 12    6.1  400 0   0      -32 17     9.7   500   .62  0   0 8.2  4.5  290 0      0      0 .84   .84   21    .066 0      - -
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 2300    .11  0      0 .77 .46 40 0   0      0 .020 .021 5.6 0     0   0 .94 .59 47 0      0      0 .0054 .0064 .53 0     0      - -
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 0 230     240     15000 3400    .082 0      0 .64 .39 42 0   0      0 .023 .023 5.6 0     0   0 .95 .61 47 0      0      0 .0051 .0066 .52 0     0      - -
seq-mthreaded-reduced/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 0 300     300     15000 4300    .12  0      0 .61 .37 42 0   0      0 .022 .023 5.6 0     0   0 .95 .62 48 0      0      0 .0046 .0057 .52 0     0      - -
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c 1 790     790     2700 10000    0     0      1 13    6.6  480 0   0      -32 16     9.1   530   .62  0   1 8.7  4.8  290 0      0      0 .90   .90   21    .38  0      - -
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c 0 900     900     56 12000    .012 0      0 .67 .42 40 0   0      0 .020 .021 5.6 0     0   0 .92 .59 47 0      0      0 .0063 .0077 .53 0     0      - -
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c 1 300     300     2700 3800    0     0      1 11    5.9  460 0   0      -32 14     8.5   460   .62  0   1 6.4  3.5  280 0      .070  0 .92   .92   21    .38  .070  - -
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c 0 .088 .089 15 .98 0     0      0 .63 .38 41 0   0      0 .021 .021 5.6 0     0   0 .94 .63 48 0      0      0 .0055 .0069 .53 0     0      - -
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c 0 .080 .081 14 .88 0     0      0 .76 .47 42 0   0      0 .021 .022 5.6 0     0   0 .94 .62 47 0      0      0 .0054 .0069 .52 0     0      - -
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 1 270     270     2700 3300    0     .28   1 12    6.6  450 0   0      -32 14     8.5   510   .62  0   1 6.6  3.6  290 0      0      0 .94   .94   21    .39  0      - -
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 0 .095 .11  19 .78 0     4.7    0 .57 .35 42 0   0      0 .022 .024 5.6 0     0   0 .94 .61 46 0      0      0 .0038 .0050 .52 0     0      - -
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 0 .085 .085 15 .95 0     0      0 .71 .42 40 0   0      0 .021 .022 5.6 0     0   0 .97 .62 48 0      0      0 .0050 .0062 .52 0     0      - -
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c 1 310     310     2700 4100    0     0      1 12    6.3  470 0   0      -32 14     8.1   460   .62  0   1 7.0  3.8  290 0      .21   0 .94   .94   21    .38  0      - -
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c 1 310     310     2800 4200    0     0      1 18    9.1  490 0   .13   -32 22     13     500   .62  0   0 9.4  5.1  330 0      0      0 1.1    1.1    22    .13  0      - -
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c 0 .085 .085 15 .92 0     0      0 .61 .36 41 0   0      0 .021 .021 5.6 0     0   0 .93 .59 48 0      0      0 .0039 .0050 .53 0     0      - -
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c 1 770     780     2900 9700    0     .28   1 14    7.4  430 0   0      -32 15     8.7   500   .62  0   1 8.0  4.3  280 0      0      0 .92   .92   21    .38  0      - -
seq-mthreaded-reduced/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c 0 900     900     2900 11000    .025 0      0 .72 .45 41 0   0      0 .022 .023 5.6 0     0   0 .94 .62 47 0      0      0 .0016 .0019 .41 0     0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c 1 .74  .73  18 10    0     0      1 5.7  3.1  270 0   0      -32 8.0   5.0   310   .62  0   1 4.4  2.5  260 0      0      0 .65   .65   20    .090 0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c 1 .87  .86  19 13    0     0      1 7.9  4.3  280 0   0      -32 13     7.8   460   .62  0   1 7.0  3.9  280 0      .18   0 .89   .88   20    .41  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c 1 1.2   1.2   18 15    0     0      1 6.0  3.3  280 0   0      -32 8.8   5.4   320   .62  0   1 4.7  2.7  260 0      0      0 .66   .66   20    .13  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+sep-reducer.c 1 1.8   1.8   24 23    0     0      1 13    6.5  420 0   0      -32 20     12     530   .62  0   1 8.5  4.8  370 0      0      0 1.3    1.3    28    .82  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 2500    .16  .0041 0 .62 .37 41 0   0      0 .022 .022 5.6 0     0   0 .93 .61 47 0      0      0 .0048 .0059 .53 0     0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 0 170     180     15000 2300    .13  0      0 .62 .38 41 0   0      0 .024 .025 5.6 0     0   0 1.0  .66 47 0      0      0 .0053 .0066 .53 0     0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 0 170     180     15000 2200    .21  0      0 .76 .46 42 0   0      0 .021 .022 5.6 0     0   0 .91 .59 48 0      0      0 .0053 .0074 .52 0     0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c 0 230     240     15000 3400    .082 0      0 .58 .35 41 0   0      0 .022 .023 5.7 0     0   0 .93 .59 47 0      0      0 .0045 .0059 .52 0     0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c 1 .43  .43  18 5.0  0     0      1 5.9  3.3  260 0   .0082 -32 7.9   4.9   310   .10  0   1 4.6  2.6  250 0      0      0 .65   .65   20    .090 .0082 - -
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c 1 .68  .68  19 8.5  0     0      1 6.9  3.7  280 0   0      -32 14     8.3   460   .62  0   1 7.3  4.1  270 0      2.2    0 .89   .89   20    .40  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c 1 1.3   1.3   18 16    0     0      1 6.1  3.2  270 0   .016  -32 9.6   5.8   310   .62  0   1 4.5  2.6  260 0      .016  0 .67   .67   20    .070 .016  - -
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+sep-reducer.c 1 1.2   1.2   23 15    0     0      1 13    6.6  390 0   0      -32 18     10     540   .62  0   1 7.1  4.0  370 0      0      0 1.3    1.3    27    .79  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 1 .30  .30  17 4.1  0     0      1 6.9  3.8  260 0   0      -32 8.5   4.7   320   .62  0   1 4.3  2.4  260 0      0      0 .64   .64   20    .090 .0082 - -
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 1 .49  .48  18 6.3  0     0      1 6.5  3.4  290 0   0      -32 13     7.9   440   .62  0   1 5.8  3.2  270 0      0      0 .88   .89   20    .39  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 1 .35  .35  18 4.0  0     0      1 5.8  3.1  270 0   0      -32 9.0   5.5   310   .62  0   1 4.5  2.5  260 0      0      0 .65   .65   20    .13  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+sep-reducer.c 1 .88  .87  22 11    0     0      1 8.7  4.8  370 0   0      -32 17     9.8   520   .62  0   1 7.0  4.0  360 0      0      0 1.2    1.2    25    .72  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.p+lhb-reducer.c 1 7.0   7.0   21 86    0     0      1 7.8  4.1  300 0   0      -32 12     6.9   380   .62  0   1 5.2  2.9  270 0      0      0 .75   .75   20    .24  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c 1 1.7   1.7   19 20    0     0      1 6.9  3.7  300 0   0      -32 8.0   4.5   310   .62  0   1 4.9  2.8  260 0      0      0 .63   .63   20    .11  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c 1 3.2   3.2   29 39    0     0      1 14    7.4  540 0   0      -32 20     12     540   .57  0   1 9.6  5.1  450 0      0      0 1.5    1.5    34    1.0   0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c 1 4.1   4.1   20 53    0     0      1 7.3  3.9  290 0   0      -32 9.3   5.3   320   .62  0   1 4.7  2.6  260 0      0      0 .66   .66   20    .14  .016  - -
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+sep-reducer.c 1 8.6   8.6   44 120    0     0      1 37    24    1700 0   0      -32 30     18     840   .62  0   1 24    15    1700 0      0      0 2.9    2.9    70    2.7   0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 2700    .090 0      0 .69 .43 41 0   0      0 .026 .027 5.8 0     0   0 1.2  .81 47 0      0      0 .0042 .0053 .40 0     0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 0 240     240     15000 3400    .16  .0041 0 .58 .35 41 0   0      0 .021 .022 5.6 0     0   0 .92 .59 47 0      0      0 .0044 .0079 .53 0     0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 0 170     180     15000 2900    .17  0      0 .81 .50 42 0   0      0 .024 .025 5.7 0     0   0 .97 .62 48 0      .0082 0 .0064 .0084 .53 0     0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c 0 230     240     15000 3300    .12  0      0 .71 .43 42 0   0      0 .025 .026 5.6 0     0   0 .92 .59 47 0      0      0 .0038 .0050 .53 0     0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c 1 .76  .75  18 9.6  0     0      1 7.8  4.1  290 0   0      -32 8.5   4.8   310   .62  0   1 4.5  2.5  260 0      0      0 .63   .63   20    .11  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c 1 1.6   1.6   24 20    0     0      1 10    5.5  320 0   0      -32 15     8.7   520   .62  0   1 6.1  3.4  280 0      0      0 1.0    1.0    21    .54  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c 1 3.8   3.8   20 52    0     0      1 6.9  3.7  280 0   0      -32 9.6   5.4   310   .62  0   1 4.8  2.7  270 0      0      0 .66   .66   20    .14  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+sep-reducer.c 1 2.9   2.9   35 44    0     0      1 14    7.9  710 0   0      -32 28     16     580   .62  0   1 9.9  5.7  680 0      0      0 1.8    1.8    40    1.3   0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 1 .33  .32  17 3.7  0     0      1 7.8  4.2  270 0   0      -32 8.4   4.8   310   .62  0   1 4.5  2.5  260 0      0      0 .64   .64   20    .11  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 1 .66  .66  22 7.9  0     0      1 8.2  4.4  280 0   0      -32 15     9.1   520   .62  0   1 8.0  4.4  290 0      0      0 1.0    1.0    21    .54  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 1 .36  .36  18 4.6  0     0      1 6.4  3.5  290 0   0      -32 9.3   5.6   310   .62  0   1 4.7  2.7  260 0      0      0 .69   .68   20    .14  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+sep-reducer.c 1 1.9   1.9   31 22    0     .28   1 15    7.9  690 0   0      -32 24     14     590   .62  0   1 11    6.1  670 0      0      0 1.7    1.7    39    1.3   0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c 1 3.4   3.4   25 49    0     .28   1 9.9  5.3  340 0   0      -32 9.1   5.6   320   .62  0   1 5.4  3.0  260 0      0      0 .67   .67   20    .12  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c 1 12     12     59 160    0     0      1 35    25    2000 0   0      -32 33     19     870   .62  0   1 27    19    2000 0      0      0 3.2    3.2    85    4.5   0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c 1 12     12     29 170    0     0      1 9.4  5.0  340 0   .020  -32 10     6.2   340   .62  0   1 5.0  2.8  270 0      .020  0 .69   .70   20    .16  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 1 .36  .35  17 5.0  0     0      1 9.1  4.8  320 0   0      -32 9.1   5.2   310   .62  0   1 5.6  3.2  260 0      0      0 .64   .64   20    .13  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 0 290     300     15000 3800    .10  .0041 0 .73 .45 42 0   0      0 .023 .024 5.6 0     0   0 .91 .59 47 0      .029  0 .0050 .0063 .53 0     0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 1 .41  .41  18 4.8  0     0      1 7.8  4.1  320 0   0      -32 9.5   5.4   320   .62  0   1 5.9  3.3  260 0      .020  0 .68   .68   20    .16  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c 1 5.9   5.9   24 71    0     0      1 9.6  5.1  340 0   0      -32 11     6.7   390   .62  0   1 5.0  2.8  270 0      0      0 .77   .77   20    .23  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c 1 1.4   1.4   20 19    0     0      1 9.5  5.1  300 0   0      -32 8.8   5.4   310   .62  0   1 4.6  2.6  260 0      .012  0 .65   .65   20    .12  .012  - -
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c 1 7.0   7.0   42 81    0     0      1 15    7.8  730 0   0      -32 22     13     680   .62  0   1 9.5  5.5  680 0      .23   0 1.8    1.8    43    .76  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c 1 13     13     30 170    0     0      1 7.4  3.9  330 0   0      -32 9.9   5.7   320   .62  0   1 4.9  2.7  270 0      0      0 .67   .67   21    .15  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+sep-reducer.c 1 19     19     75 250    0     0      1 66    54    4100 0   0      -32 44     26     1000   .62  0   1 52    41    4000 0      .72   0 4.7    4.7    110    6.1   0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 2100    .24  0      0 .59 .37 41 0   0      0 .021 .022 5.6 0     0   0 .94 .60 47 0      0      0 .0036 .0041 .40 0     0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 0 290     300     15000 4500    .11  .0041 0 .57 .36 41 0   0      0 .023 .025 5.6 0     0   0 .95 .62 47 0      0      0 .0053 .0073 .52 0     0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 0 170     180     15000 2400    .13  0      0 .60 .36 42 0   0      0 .021 .022 5.6 0     0   0 .93 .60 47 0      0      0 .0057 .0073 .53 0     0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+sep-reducer.c 0 290     300     15000 3600    .082 0      0 .66 .40 40 0   0      0 .024 .025 5.6 0     0   0 .91 .60 48 0      0      0 .0061 .0078 .53 0     0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c 1 7.3   7.3   44 83    0     0      1 8.5  4.5  400 0   0      -32 9.7   5.5   310   .62  0   1 4.5  2.6  250 0      0      0 .65   .65   20    .13  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c 1 43     43     62 620    0     0      1 12    6.1  410 0   0      -32 10     6.2   330   .62  0   1 5.0  2.8  280 0      0      0 .71   .71   20    .18  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 3000    .16  0      0 .66 .42 40 0   0      0 .024 .025 5.6 0     0   0 .93 .62 48 0      0      0 .0044 .0059 .40 0     0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 0 170     180     15000 2400    .14  0      0 .70 .42 41 0   0      0 .021 .023 5.6 0     0   0 .98 .64 47 0      0      0 .0052 .0063 .53 0     0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c.p+lhb-reducer.c 1 23     23     47 280    0     .28   1 11    5.6  410 0   0      -32 13     7.2   410   .62  0   1 6.5  3.6  270 0      0      0 .80   .80   20    .26  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c 1 11     11     39 180    0     0      1 8.0  4.2  370 0   0      -32 9.4   5.4   320   .62  0   1 4.9  2.8  260 0      0      0 .66   .66   20    .13  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c 1 32     32     53 430    0     0      1 10    5.3  410 0   0      -32 10     5.7   320   .62  0   1 4.9  2.8  270 0      0      0 .72   .72   21    .17  0      - -
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 1 .39  .39  18 5.2  0     0      1 7.7  4.0  360 0   0      -32 9.1   5.1   310   .62  0   1 4.8  2.7  270 0      0      0 .68   .68   20    .13  .016  - -
seq-mthreaded-reduced/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 1 .44  .44  20 5.4  0     0      1 10    5.5  360 0   0      -32 11     5.9   320   .66  0   1 5.2  2.9  260 0      0      0 .72   .72   20    .17  0      - -
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c 1 .64  .64  18 7.8  0     0      1 5.6  3.1  270 0   0      -32 8.0   4.9   310   .62  0   1 4.0  2.3  250 0      0      0 .61   .61   20    .086 0      - -
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c 1 .59  .58  18 8.5  0     0      1 6.2  3.3  280 0   0      -32 10     5.9   340   .62  0   1 5.0  2.8  270 0      0      0 .70   .70   20    .18  0      - -
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c 1 .56  .56  18 6.6  0     .28   1 5.7  3.0  270 0   0      -32 8.4   5.2   310   .62  0   1 4.6  2.5  260 0      0      0 .64   .64   20    .11  0      - -
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+sep-reducer.c 1 .69  .68  17 8.3  0     0      1 6.7  3.6  280 0   0      -32 11     6.7   350   .62  0   1 5.1  2.9  270 0      0      0 .78   .80   20    .22  0      - -
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 1 .28  .27  18 3.5  0     0      1 5.8  3.2  270 0   0      -32 7.9   4.9   310   .62  0   1 4.0  2.3  250 0      0      0 .64   .64   20    .086 0      - -
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 1 .37  .37  18 4.6  0     0      1 6.1  3.3  280 0   0      -32 10     6.2   320   .62  0   1 4.6  2.6  260 0      0      0 .70   .70   20    .19  0      - -
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 1 .30  .29  18 3.5  0     0      1 5.9  3.2  270 0   0      -32 8.6   4.9   310   .62  0   1 4.5  2.6  260 0      0      0 .65   .64   20    .11  0      - -
seq-mthreaded-reduced/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c 1 .40  .39  18 4.5  0     0      1 6.3  3.4  280 0   0      -32 11     6.6   330   .62  0   1 4.7  2.7  260 0      0      0 .75   .75   20    .21  0      - -
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c 1 1.8   1.8   18 22    0     0      1 7.2  3.9  280 0   0      -32 8.5   4.7   310   .62  0   1 4.2  2.4  260 0      0      0 .65   .66   21    .090 0      - -
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c 1 1.3   1.3   19 18    0     0      1 8.8  4.7  320 0   0      -32 13     7.5   400   .62  0   1 5.5  3.0  280 0      0      0 .82   .82   20    .29  0      - -
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c 1 1.4   1.4   18 20    0     0      1 8.1  4.3  280 0   0      -32 8.7   4.9   310   .62  0   1 4.6  2.6  270 0      0      0 .64   .64   20    .12  0      - -
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+sep-reducer.c 1 1.6   1.6   18 20    0     0      1 9.2  4.9  320 0   0      -32 14     8.5   480   .62  0   1 5.7  3.2  280 0      0      0 .91   .91   20    .41  0      - -
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 1 .32  .32  18 4.0  0     0      1 7.6  4.1  270 0   0      -32 8.1   4.5   310   .62  0   1 4.2  2.4  250 0      0      0 .63   .63   20    .098 0      - -
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 1 .43  .43  18 5.3  0     0      1 7.9  4.2  290 0   0      -32 12     7.3   400   .62  0   1 5.7  3.1  270 0      .045  0 .83   .83   20    .30  .045  - -
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 1 .33  .33  18 3.7  0     0      1 6.5  3.5  280 0   0      -32 8.7   4.9   310   .62  0   1 4.5  2.5  250 0      0      0 .65   .65   20    .12  0      - -
seq-mthreaded-reduced/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c 1 .55  .55  18 8.1  0     0      1 8.5  4.6  290 0   0      -32 15     8.6   470   .62  0   1 5.7  3.2  270 0      0      0 .91   .91   21    .39  0      - -
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c 1 3.8   3.8   20 53    0     0      1 9.0  4.8  340 0   0      -32 9.7   5.4   320   .62  0   1 4.8  2.7  260 0      0      0 .69   .70   20    .16  0      - -
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c 1 5.4   5.4   21 83    0     0      1 7.4  4.0  340 0   0      -32 8.1   5.0   310   .62  0   1 4.5  2.5  260 0      0      0 .64   .63   20    .11  0      - -
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c 1 4.2   4.1   20 60    0     0      1 12    6.5  410 0   0      -32 16     9.4   520   .62  0   1 6.2  3.5  270 0      0      0 1.0    1.0    21    .53  0      - -
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c 1 4.9   4.9   20 73    0     0      1 8.4  4.5  340 0   0      -32 9.5   5.5   310   .62  0   1 5.9  3.3  260 0      0      0 .66   .66   20    .13  0      - -
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+sep-reducer.c 1 6.2   6.2   24 75    0     0      1 11    5.8  550 0   0      -32 19     11     500   .62  0   1 7.1  4.0  390 0      .91   0 1.3    1.4    29    .82  0      - -
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c 1 .45  .44  19 5.9  0     0      1 7.9  4.2  340 0   0      -32 11     6.3   360   .62  0   1 5.7  3.2  270 0      0      0 .75   .75   20    .21  0      - -
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 1 .32  .32  18 3.8  0     0      1 8.0  4.3  320 0   0      -32 8.5   4.8   320   .62  0   1 4.4  2.5  260 0      0      0 .67   .66   20    .11  0      - -
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 1 .63  .62  20 8.8  0     0      1 11    5.7  370 0   0      -32 16     9.7   520   .62  0   1 6.3  3.5  280 0      0      0 1.0    1.0    21    .53  0      - -
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 1 .35  .35  17 4.9  0     0      1 8.2  4.3  330 0   0      -32 9.4   5.3   310   .62  0   1 4.7  2.7  270 0      0      0 .67   .67   20    .13  0      - -
seq-mthreaded-reduced/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c 1 .96  .95  23 11    0     0      1 13    6.9  450 0   0      -32 18     11     560   .62  0   1 6.9  3.9  370 0      0      0 1.3    1.3    27    .76  0      - -
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.p+lhb-reducer.c 1 20     20     29 250    0     0      1 11    5.7  440 0   0      -32 12     7.0   390   .62  0   1 5.7  3.1  270 0      0      0 .78   .78   20    .24  0      - -
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c 1 17     17     32 220    0     0      1 10    5.3  390 0   0      -32 8.7   4.9   310   .62  0   1 4.7  2.6  270 0      0      0 .65   .65   20    .11  0      - -
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+lhb-reducer.c 1 14     14     26 170    0     0      1 13    7.0  590 0   0      -32 21     12     550   .62  0   1 7.8  4.4  440 0      0      0 1.5    1.5    35    .97  0      - -
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c 1 16     16     27 220    0     0      1 9.4  4.9  420 0   0      -32 9.3   5.3   320   .62  0   1 4.8  2.7  270 0      0      0 .70   .70   20    .15  0      - -
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c.v+sep-reducer.c 1 14     14     35 190    0     0      1 24    14    1200 0   0      -32 32     18     780   .62  0   1 12    7.2  910 0      0      0 2.3    2.3    53    1.7   0      - -
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c 1 .45  .44  18 4.8  0     0      1 9.0  4.8  440 0   0      -32 10     6.2   320   .62  0   1 5.0  2.8  270 0      0      0 .71   .71   20    .18  0      - -
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 1 .38  .38  18 5.9  0     0      1 8.1  4.3  390 0   .13   -32 9.2   5.7   310   .62  0   1 4.3  2.4  260 0      0      0 .65   .64   20    .11  0      - -
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 1 1.1   1.1   24 15    0     0      1 13    6.8  580 0   0      -32 20     12     530   .62  0   1 7.7  4.4  410 0      0      0 1.5    1.5    34    .97  0      - -
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 0 230     240     15000 3200    .15  .0041 0 .67 .42 41 0   0      0 .021 .024 5.6 0     0   0 1.1  .74 46 0      0      0 .0056 .0070 .53 0     0      - -
seq-mthreaded-reduced/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c 1 2.3   2.3   32 27    0     0      1 20    11    970 0   0      -32 26     15     740   .62  0   1 14    8.3  840 0      0      0 2.2    2.2    50    1.8   0      - -
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+cfa-reducer.c 1 49     49     68 670    0     0      1 9.9  5.3  450 0   0      -32 9.1   5.1   310   .62  0   1 4.9  2.8  260 0      0      0 .68   .68   20    .13  0      - -
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+lhb-reducer.c 1 30     30     71 380    0     0      1 22    13    1200 0   0      -32 27     16     780   .62  0   1 14    8.5  950 0      0      0 2.4    2.4    61    2.3   0      - -
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+nlh-reducer.c 1 55     55     60 780    0     0      1 11    5.7  440 0   0      -32 10     5.6   320   .62  0   1 5.0  2.8  270 0      0      0 .70   .70   20    .16  .020  - -
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c.v+sep-reducer.c 1 41     41     63 500    0     0      1 64    47    3500 0   0      -32 42     25     1000   .62  0   1 43    33    3400 0      .65   0 4.4    4.4    100    5.8   0      - -
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 2400    .15  0      0 .57 .36 41 0   0      0 .022 .023 5.7 0     0   0 .94 .62 47 0      0      0 .0017 .0021 .52 0     0      - -
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 1 2.8   2.8   82 42    0     0      1 18    11    1100 0   0      -32 28     16     770   .62  0   1 12    7.3  890 0      0      0 2.4    2.4    59    1.9   0      - -
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 1 .41  .41  19 5.2  0     0      1 9.1  4.9  450 0   0      -32 9.8   5.5   330   .62  0   1 5.2  3.0  270 0      2.9    0 .70   .71   20    .16  0      - -
seq-mthreaded-reduced/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.c 1 7.4   7.4   52 98    0     0      1 50    37    3200 0   0      -32 39     23     1000   .62  0   1 35    26    3200 0      0      0 4.2    4.1    97    5.2   0      - -
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c.v+cfa-reducer.c 1 140     140     180 1900    0     0      1 10    5.5  450 0   0      -32 9.0   5.5   320   .62  0   1 4.9  2.8  270 0      0      0 .68   .68   20    .13  0      - -
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c.v+lhb-reducer.c 1 130     130     170 1700    0     0      1 62    47    3800 0   0      -32 38     22     1000   .62  0   1 37    27    3600 0      0      0 4.4    4.4    110    5.6   0      - -
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c.v+nlh-reducer.c 1 170     170     150 2200    0     0      1 11    5.6  440 0   0      -32 10     6.2   320   .62  0   1 5.2  2.9  270 0      0      0 .72   .72   21    .17  0      - -
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 1 .42  .41  18 5.8  0     0      1 10    5.4  450 0   0      -32 9.1   5.5   310   .62  0   1 4.8  2.7  260 0      .016  0 .70   .69   21    .14  0      - -
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 1 7.4   7.4   160 85    0     0      1 44    32    2900 0   .57   -32 37     22     1000   .62  0   1 28    20    2800 0      0      0 4.2    4.2    110    5.7   0      - -
seq-mthreaded-reduced/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 1 .46  .45  20 5.3  0     0      1 10    5.4  440 0   0      -32 10     5.8   330   .62  0   1 5.2  2.9  270 0      0      0 .71   .71   21    .17  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c 1 21     21     25 300    0     0      1 6.1  3.3  270 0   0      -32 8.9   5.1   310   .62  0   1 6.2  3.5  260 0      0      0 .66   .66   21    .13  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c 1 .61  .61  26 7.2  0     0      1 7.9  4.2  290 0   0      -32 12     7.3   430   .62  0   1 6.5  3.6  270 0      0      0 .82   .82   20    .26  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c 1 27     27     27 320    0     0      1 7.5  4.0  280 0   0      -32 12     7.1   370   .62  0   1 5.4  3.0  270 0      0      0 .75   .75   20    .22  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 2600    .12  0      0 .58 .36 41 0   0      0 .021 .023 5.6 0     0   0 1.1  .68 48 0      0      0 .0062 .0088 .53 0     0      - -
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 1 .78  .78  27 8.9  0     0      1 8.0  4.2  280 0   0      -32 12     6.7   430   .62  0   1 5.9  3.3  280 0      .14   0 .83   .83   20    .26  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 1 21     21     25 300    0     0      1 8.5  4.5  290 0   0      -32 12     7.2   380   .62  0   1 5.4  3.0  260 0      0      0 .76   .77   20    .22  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c 1 2.9   2.9   19 39    0     0      1 6.1  3.3  280 0   0      -32 8.9   5.1   310   .62  0   1 4.8  2.7  260 0      0      0 .65   .65   20    .13  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c 1 2.3   2.3   18 35    0     0      1 6.2  3.3  280 0   0      -32 9.9   6.0   330   .62  0   1 5.2  2.9  270 0      0      0 .70   .70   20    .17  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 1 .44  .43  18 5.5  0     0      1 7.1  3.8  280 0   0      -32 9.1   5.2   310   .62  0   1 4.7  2.6  270 0      0      0 .67   .67   21    .13  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 1 .57  .56  19 8.3  0     0      1 6.4  3.5  280 0   0      -32 11     6.1   350   .62  0   1 5.6  3.1  270 0      0      0 .71   .71   20    .18  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 1 1.8   1.8   19 20    0     0      1 6.1  3.3  270 0   0      -32 10     6.1   320   .62  0   1 5.4  3.0  270 0      0      0 .72   .72   20    .17  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c 1 2.5   2.5   20 33    0     0      1 6.8  3.7  280 0   0      -32 8.9   5.1   320   .62  0   1 4.8  2.7  260 0      0      0 .65   .65   20    .13  .016  - -
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c 1 .72  .72  26 8.6  0     0      1 9.1  4.9  280 0   0      -32 13     7.6   430   .62  0   1 5.8  3.2  270 0      .041  0 .81   .81   21    .26  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c 1 13     13     23 180    0     0      1 7.1  3.7  280 0   0      -32 12     6.4   390   .62  0   1 5.3  2.9  260 0      0      0 .75   .75   21    .22  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 1 .45  .44  18 5.5  0     0      1 6.5  3.4  280 0   0      -32 9.0   5.1   310   .62  0   1 4.6  2.6  270 0      0      0 .70   .70   20    .13  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 1 .89  .90  32 11    0     4.9    1 7.4  4.0  290 0   0      -32 13     7.8   430   .62  0   1 5.9  3.3  270 0      0      0 .82   .82   21    .27  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 1 6.2   6.2   23 84    0     0      1 7.6  4.0  290 0   0      -32 12     6.7   390   .62  0   1 5.6  3.1  270 0      0      0 .77   .77   20    .22  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c 1 8.0   8.0   22 110    0     0      1 8.1  4.3  270 0   0      -32 8.8   5.0   320   .62  0   1 4.9  2.7  260 0      0      0 .65   .65   20    .13  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c 1 1.6   1.6   26 19    0     0      1 8.8  4.6  290 0   .041  -32 12     7.0   430   .62  0   1 5.7  3.2  280 0      0      0 .81   .81   20    .26  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c 1 25     25     29 370    0     0      1 6.5  3.5  290 0   0      -32 11     6.5   380   .62  0   1 5.7  3.2  280 0      0      0 .74   .74   20    .21  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 2300    .13  0      0 .77 .45 41 0   0      0 .021 .022 5.6 0     0   0 .97 .64 48 0      0      0 .0015 .0017 .40 0     0      - -
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 0 230     240     15000 3100    .14  .0041 0 .72 .43 41 0   0      0 .022 .023 5.6 0     0   0 .98 .63 47 0      0      0 .0056 .0073 .53 0     0      - -
seq-mthreaded-reduced/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 0 230     240     15000 3600    .14  .0041 0 .59 .37 41 0   0      0 .023 .024 5.6 0     0   0 .93 .60 49 0      0      0 .0016 .0020 .53 0     0      - -
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c 0 900     900     480 13000    .025 0      0 .75 .46 40 0   0      0 .021 .021 5.6 0     0   0 .95 .63 48 0      0      0 .0046 .0057 .53 0     0      - -
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c 0 900     900     540 12000    .025 0      0 .77 .47 42 0   0      0 .025 .028 5.7 0     0   0 .94 .62 48 0      0      0 .0018 .0023 .53 0     0      - -
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 2400    .14  0      0 .73 .44 40 0   0      0 .021 .022 5.6 0     0   0 .94 .61 47 0      0      0 .0020 .0025 .53 0     0      - -
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 1 4.3   4.3   68 55    0     0      1 11    5.8  470 0   0      -32 20     11     490   .62  0   0 8.3  4.5  340 0      0      0 1.1    1.1    21    .098 .098  - -
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 1 320     320     210 4300    0     0      1 13    6.6  430 0   0      -32 17     9.6   530   .62  0   0 7.3  4.0  310 0      .73   0 .93   .93   21    .070 .070  - -
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c 1 17     17     150 220    0     0      1 9.7  5.1  370 0   0      -32 12     6.8   380   .62  0   1 5.6  3.1  270 0      0      0 .78   .78   20    .22  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c 1 5.1   5.0   140 68    0     0      1 9.9  5.2  350 0   0      -32 16     9.2   510   .62  0   0 6.7  3.7  280 0      0      0 .86   .86   21    .061 0      - -
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c 1 7.8   7.8   140 110    0     0      1 10    5.3  360 0   0      -32 15     9.0   520   .62  0   0 6.8  3.7  270 0      0      0 .79   .79   21    .057 0      - -
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 1 4.2   4.2   120 52    0     0      1 8.4  4.4  370 0   .29   -32 12     7.0   370   .62  0   1 7.2  4.0  280 0      0      0 .75   .75   21    .22  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 1 5.3   5.3   140 60    0     0      1 12    6.4  370 0   0      -32 16     9.4   460   .62  0   0 7.1  3.9  280 0      0      0 .83   .83   21    .061 0      - -
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 1 7.0   7.0   140 100    0     0      1 11    5.9  360 0   0      -32 15     8.6   460   .62  0   0 6.4  3.5  280 0      0      0 .81   .82   21    .057 0      - -
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c 1 28     28     150 340    0     0      1 9.5  5.1  430 0   0      -32 11     6.7   380   .62  0   1 6.1  3.3  280 0      0      0 .75   .75   21    .22  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c 1 6.3   6.3   180 94    0     0      1 15    7.7  490 0   0      -32 20     11     480   .62  0   0 8.7  4.7  330 0      0      0 1.1    1.1    21    .098 0      - -
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c 1 54     54     180 660    0     0      1 13    6.9  460 0   0      -32 17     9.5   500   .62  0   0 8.3  4.5  310 0      .14   0 .89   .89   21    .070 0      - -
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 1 4.1   4.1   120 49    0     0      1 8.7  4.6  440 0   0      -32 12     6.4   380   .62  0   1 5.9  3.3  270 0      0      0 .77   .78   21    .22  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 0 .083 .084 14 1.1  0     0      0 .61 .36 41 0   0      0 .023 .025 5.6 0     0   0 .94 .60 47 0      0      0 .0014 .0016 .40 0     0      - -
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 0 .088 .090 15 .99 0     0      0 .60 .36 41 0   0      0 .021 .022 5.6 0     0   0 .96 .61 47 0      0      0 .0017 .0022 .52 0     0      - -
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c 1 59     59     150 770    0     0      1 10    5.5  400 0   0      -32 11     6.6   370   .62  0   1 5.9  3.3  280 0      0      0 .75   .75   21    .22  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c 1 12     12     180 170    0     0      1 13    6.6  470 0   0      -32 20     12     480   .62  0   0 7.6  4.1  320 0      0      0 1.1    1.1    21    .098 .098  - -
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c 1 250     250     260 3700    0     0      1 12    6.2  400 0   0      -32 15     8.9   510   .62  0   0 7.0  3.8  290 0      .070  0 .87   .87   21    .070 0      - -
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 2700    .086 0      0 .58 .35 40 0   0      0 .021 .024 5.6 0     0   0 1.1  .72 47 0      0      0 .0017 .0023 .53 0     0      - -
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 0 230     240     15000 3200    .16  0      0 .61 .39 41 0   0      0 .021 .023 5.6 0     0   0 1.1  .69 47 0      0      0 .0017 .0020 .40 0     0      - -
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 0 300     300     15000 3700    .14  0      0 .63 .38 40 0   0      0 .020 .021 5.6 0     0   0 .92 .59 46 0      0      0 .0057 .0079 .53 0     0      - -
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c 0 900     900     2300 12000    .025 0      0 .59 .36 41 0   0      0 .022 .023 5.6 0     0   0 .94 .61 47 0      0      0 .0018 .0022 .53 0     0      - -
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c 0 900     900     2300 11000    .025 0      0 .58 .37 41 0   0      0 .023 .024 5.7 0     0   0 1.1  .73 47 0      0      0 .0042 .0048 .41 0     0      - -
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c 1 650     650     2800 10000    0     0      1 14    7.3  460 0   0      -32 23     13     500   .62  0   0 9.3  5.1  350 0      0      0 1.1    1.1    22    .14  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c 1 300     300     2900 4200    0     0      1 14    7.4  450 0   0      -32 14     8.6   510   .62  0   1 6.9  3.8  270 0      .070  0 .96   .98   21    .39  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c 0 .085 .085 15 .94 0     0      0 .58 .35 42 0   0      0 .024 .026 5.6 0     0   0 .93 .61 47 0      0      0 .0014 .0016 .41 0     0      - -
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c 0 .11  .11  15 .92 0     0      0 .60 .37 40 0   0      0 .021 .022 5.6 0     0   0 .94 .60 47 0      0      0 .0020 .0026 .54 0     0      - -
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 1 280     280     2700 3800    0     0      1 11    5.9  460 0   0      -32 15     8.9   460   .62  0   1 8.4  4.6  280 0      0      0 .94   .94   21    .39  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 0 .083 .084 15 .81 0     0      0 .81 .50 42 0   0      0 .023 .025 5.6 0     0   0 1.1  .74 47 0      0      0 .0057 .0067 .44 0     0      - -
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 0 .11  .11  15 .90 0     0      0 .61 .37 40 0   0      0 .021 .022 5.6 0     0   0 .93 .60 47 0      0      0 .0018 .0023 .53 0     0      - -
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c 1 360     360     2900 3800    0     0      1 16    8.1  470 0   0      -32 15     8.9   540   .62  0   1 9.0  4.9  280 0      0      0 .94   .94   21    .40  .074  - -
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c 1 300     300     2600 3500    0     0      1 53    39    3500 0   0      -32 49     29     1200   .62  0   0 34    25    3000 0      .59   0 3.5    3.5    35    .58  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c 1 280     280     2700 3900    0     0      1 19    9.7  480 0   0      -32 22     13     630   .62  0   0 9.0  4.9  380 0      0      0 1.2    1.2    22    .14  0      - -
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c 0 .093 .094 15 .85 0     0      0 .73 .44 42 0   0      0 .020 .021 5.6 0     0   0 .96 .64 48 0      0      0 .0063 .0081 .53 0     0      - -
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c 0 900     900     2900 10000    .029 0      0 .58 .36 41 0   0      0 .022 .025 5.7 0     0   0 .94 .61 47 0      0      0 .0013 .0019 .41 0     0      - -
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c 0 900     900     2800 12000    .029 0      0 .60 .36 40 0   0      0 .022 .024 5.6 0     0   0 .93 .59 46 0      0      0 .0061 .0079 .54 0     0      - -
seq-mthreaded-reduced/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c 0 900     900     2800 13000    .029 0      0 .61 .36 43 0   0      0 .022 .024 5.7 0     0   0 .91 .59 48 0      0      0 .0047 .0054 .41 0     0      - -
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c 2 13     13     24 190    0     0      - - - - 2 27    18    490 0   0     0 130     81     7000   .70 0     
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c 2 3.5   3.4   25 51    0     0      - - - - 2 24    17    490 0   0     0 560     450     7000   .63 0     
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c 2 19     19     25 230    0     0      - - - - 2 17    12    470 0   0     0 710     590     7000   .72 0     
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 2300    .12  0      - - - - 0 .72 .43 41 0   0     0 .022 .022 5.6 0    0     
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 0 230     240     15000 3200    .16  0      - - - - 0 .77 .48 42 0   0     0 .020 .022 5.8 0    0     
seq-mthreaded-reduced/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 0 230     240     15000 3600    .18  .0041 - - - - 0 .63 .38 40 0   0     0 .023 .025 5.6 0    0     
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.p+lhb-reducer.c 0 900     900     530 12000    .025 0      - - - - 0 .80 .48 41 0   0     0 .024 .025 5.6 0    0     
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c 0 900     900     510 11000    .025 0      - - - - 0 .74 .47 41 0   0     0 .025 .026 5.6 0    0     
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c 0 900     900     370 12000    .025 0      - - - - 0 .64 .40 42 0   0     0 .027 .028 5.7 0    0     
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c 0 230     240     15000 3900    .16  0      - - - - 0 .60 .37 40 0   0     0 .021 .022 5.6 0    0     
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 2100    .23  0      - - - - 0 .73 .45 40 0   0     0 .026 .027 5.7 0    0     
seq-mthreaded-reduced/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 0 230     240     15000 3300    .13  0      - - - - 0 .76 .46 41 0   0     0 .025 .026 5.7 0    0     
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c 2 .65  .65  18 9.2  0     0      - - - - 2 16    10    470 0   0     0 960     860     6800   .69 .0082
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c 2 .80  .80  19 10    0     0      - - - - 2 32    23    620 0   0     0 370     280     7000   .67 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c 2 1.4   1.4   18 16    0     0      - - - - 2 14    8.8  450 0   0     0 250     170     7000   .72 .016 
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+sep-reducer.c 2 1.3   1.3   24 18    0     0      - - - - 2 59    49    990 0   0     0 200     140     7000   1.5  0     
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 2500    .16  0      - - - - 0 .61 .38 41 0   0     0 .025 .026 5.7 0    0     
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 0 170     180     15000 2800    .18  0      - - - - 0 .58 .36 41 0   0     0 .022 .023 5.6 0    0     
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 0 170     180     15000 2500    .20  0      - - - - 0 .73 .45 40 0   0     0 .027 .028 5.7 0    0     
seq-mthreaded-reduced/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c 0 230     240     15000 3300    .086 0      - - - - 0 .78 .47 42 0   0     0 .023 .024 5.6 0    0     
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c 2 2.1   2.1   20 27    0     0      - - - - 2 38    31    530 0   0     0 150     95     7000   .65 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c 2 3.7   3.7   30 46    0     0      - - - - 2 160    140    1700 0   0     0 210     140     7000   .66 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c 2 6.1   6.1   21 71    0     0      - - - - 2 34    27    530 0   0     0 240     160     7000   .64 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+sep-reducer.c 2 5.3   5.3   43 71    0     0      - - - - 2 480    450    3200 0   1.1   0 240     160     7000   .66 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 2300    .12  0      - - - - 0 .75 .46 42 0   0     0 .022 .023 5.6 0    0     
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 0 230     240     15000 3400    .090 0      - - - - 0 .76 .47 41 0   0     0 .022 .023 5.6 0    0     
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 0 170     180     15000 2500    .16  0      - - - - 0 .71 .44 41 0   0     0 .022 .022 5.6 0    0     
seq-mthreaded-reduced/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c 0 290     300     15000 4200    .12  .0041 - - - - 0 .64 .41 41 0   0     0 .021 .022 5.6 0    0     
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c 2 34     34     40 500    0     0      - - - - 2 240    240    720 0   0     0 150     94     7000   1.4  0     
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c 2 8.4   8.4   30 110    0     0      - - - - 2 210    200    660 0   0     0 160     100     7000   .64 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c 2 29     29     37 370    0     0      - - - - 2 170    160    630 0   0     0 180     120     7000   .63 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 2300    .13  0      - - - - 0 .71 .44 41 0   0     0 .022 .023 5.7 0    0     
seq-mthreaded-reduced/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 0 170     180     15000 2400    .20  0      - - - - 0 .61 .37 41 0   0     0 .026 .027 5.6 0    0     
seq-mthreaded-reduced/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c 1 37     37     82 490    0     0      - - - - 0 900    890    850 0   0     0 160     100     7000   .64 .012 
seq-mthreaded-reduced/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c 2 170     170     150 2200    0     0      - - - - 2 810    800    780 0   0     0 140     89     7000   .66 0     
seq-mthreaded-reduced/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 2400    .22  0      - - - - 0 .63 .38 42 0   0     0 .022 .022 5.6 0    0     
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c 2 .51  .50  17 6.0  0     0      - - - - 2 12    7.1  400 0   0     0 960     860     6700   .74 0     
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c 2 .50  .50  17 6.4  0     0      - - - - 2 18    9.6  480 0   0     2 850     750     4300   .62 0     
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c 2 .47  .47  18 6.0  0     0      - - - - 2 11    6.0  450 0   0     0 960     850     6500   .64 0     
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+sep-reducer.c 2 .54  .54  18 6.7  0     0      - - - - 2 17    10    500 0   0     0 960     860     5600   .64 0     
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 2800    .15  0      - - - - 0 .64 .40 41 0   0     0 .026 .028 5.6 0    0     
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 0 170     180     15000 2900    .23  0      - - - - 0 .70 .43 42 0   0     0 .022 .024 5.6 0    0     
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 0 180     180     15000 2500    .16  .0041 - - - - 0 .58 .35 40 0   0     0 .026 .028 5.6 0    0     
seq-mthreaded-reduced/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c 0 170     180     15000 2700    .22  0      - - - - 0 .66 .40 41 0   0     0 .025 .026 5.6 0    0     
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c 2 1.4   1.4   17 20    0     0      - - - - 2 21    14    500 0   0     0 960     850     6300   .95 0     
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c 2 1.3   1.3   18 14    0     0      - - - - 2 29    20    560 0   0     0 500     410     7000   .66 0     
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c 2 1.4   1.4   18 19    0     0      - - - - 2 23    15    490 0   0     0 510     410     7000   .71 0     
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+sep-reducer.c 2 1.5   1.5   19 19    0     .070  - - - - 2 27    19    590 0   0     0 300     230     7000   .64 0     
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 2400    .12  .0082 - - - - 0 .71 .44 40 0   0     0 .025 .027 5.7 0    0     
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 0 170     180     15000 2400    .14  0      - - - - 0 .64 .40 40 0   0     0 .021 .022 5.6 0    0     
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 0 230     240     15000 3300    .14  0      - - - - 0 .68 .41 40 0   0     0 .024 .025 5.5 0    0     
seq-mthreaded-reduced/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c 0 170     180     15000 3000    .16  0      - - - - 0 .60 .36 40 0   0     0 .021 .022 5.6 0    0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.p+lhb-reducer.c 2 4.8   4.8   20 58    0     0      - - - - 2 100    94    590 0   0     0 390     300     7000   .65 0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+cfa-reducer.c 2 5.2   5.2   21 68    0     0      - - - - 2 60    51    550 0   0     0 200     150     7000   .65 0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+lhb-reducer.c 2 4.5   4.5   20 57    0     0      - - - - 2 85    74    810 0   0     0 400     290     7000   .66 0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+nlh-reducer.c 2 4.9   4.9   20 58    0     .28   - - - - 2 50    42    550 0   0     0 280     210     7000   .65 0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c.v+sep-reducer.c 2 5.1   5.1   22 69    0     0      - - - - 2 120    110    1400 0   0     0 290     210     7000   .63 0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 2500    .11  0      - - - - 0 .79 .48 42 0   0     0 .027 .028 5.6 0    0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 0 170     180     15000 2500    .11  0      - - - - 0 .62 .39 41 0   0     0 .023 .024 5.6 0    0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 0 230     240     15000 3200    .16  .0041 - - - - 0 .77 .46 40 0   0     0 .023 .024 5.6 0    0     
seq-mthreaded-reduced/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c 0 170     180     15000 2500    .11  0      - - - - 0 .57 .35 40 0   0     0 .020 .021 5.7 0    0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.p+lhb-reducer.c 2 18     18     25 270    0     0      - - - - 2 260    250    730 0   0     0 280     200     7000   .66 0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c 2 22     22     35 300    0     0      - - - - 2 200    190    660 0   0     0 250     180     7000   .64 0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+lhb-reducer.c 2 18     18     27 230    0     0      - - - - 2 300    280    1500 0   0     0 430     310     7000   .66 0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+nlh-reducer.c 2 19     19     28 240    0     0      - - - - 2 170    160    640 0   0     0 340     250     7000   .65 0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c.v+sep-reducer.c 2 25     25     41 290    0     0      - - - - 2 510    490    2900 0   0     0 390     290     7000   1.4  0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.p+lhb-reducer.c 0 170     180     15000 2200    .11  0      - - - - 0 .63 .40 41 0   0     0 .026 .027 5.6 0    0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 2400    .10  0      - - - - 0 .74 .46 41 0   0     0 .026 .026 5.5 0    0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 0 170     180     15000 2400    .11  0      - - - - 0 .78 .48 41 0   0     0 .022 .023 5.6 0    0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 0 240     240     15000 3100    .11  .0041 - - - - 0 .76 .46 41 0   0     0 .022 .024 5.7 0    0     
seq-mthreaded-reduced/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c.v+sep-reducer.c 0 230     240     15000 3400    .15  0      - - - - 0 .61 .37 41 0   0     0 .022 .023 5.6 0    0     
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+cfa-reducer.c 2 97     97     100 1300    0     .016  - - - - 2 610    600    860 0   .053 0 250     170     7000   .71 0     
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+lhb-reducer.c 1 85     85     110 1200    0     0      - - - - 0 900    880    3200 0   0     0 410     290     7000   1.6  0     
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c.v+nlh-reducer.c 2 81     81     68 980    0     0      - - - - 2 610    600    820 0   0     0 290     190     7000   .67 0     
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 2400    .10  0      - - - - 0 .78 .46 40 0   0     0 .021 .022 5.6 0    0     
seq-mthreaded-reduced/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 0 230     240     15000 3100    .12  .0041 - - - - 0 .73 .44 42 0   0     0 .024 .024 5.6 0    0     
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+cfa-reducer.c 2 24     24     29 300    0     0      - - - - 2 27    19    500 0   0     0 150     97     7000   .70 0     
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c 2 4.8   4.8   26 71    0     0      - - - - 2 23    16    490 0   0     0 230     160     7000   1.6  0     
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c.v+nlh-reducer.c 2 28     28     29 390    0     0      - - - - 2 21    15    480 0   0     0 170     120     7000   .80 0     
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 0 230     240     15000 3200    .16  0      - - - - 0 .74 .46 41 0   0     0 .021 .022 5.6 0    0     
seq-mthreaded-reduced/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c 0 230     240     15000 3100    .15  0      - - - - 0 .71 .44 40 0   0     0 .026 .027 5.6 0    0     
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+cfa-reducer.c 0 900     900     680 11000    .025 0      - - - - 0 .59 .36 41 0   0     0 .027 .028 5.6 0    0     
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+lhb-reducer.c 0 900     900     440 13000    .025 0      - - - - 0 .64 .41 41 0   0     0 .021 .021 5.6 0    0     
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c 0 900     900     630 12000    .025 0      - - - - 0 .63 .38 40 0   0     0 .021 .021 5.6 0    0     
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+cfa-reducer.c 0 170     180     15000 2500    .016 0      - - - - 0 .78 .47 41 0   0     0 .022 .023 5.6 0    0     
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c 0 .090 .091 15 1.2  0     0      - - - - 0 .73 .44 41 0   0     0 .022 .022 5.6 0    0     
seq-pthread/cs_fib_false-unreach-call.i 0 900     900     98 10000    .016 0      0 .73 .45 42 0   0      0 .019 .021 5.6 0     0   0 1.2  .75 47 0      0      0 .0052 .0066 .52 0     0      - -
seq-pthread/cs_fib_longer_false-unreach-call.i 0 900     900     110 12000    .016 0      0 .72 .43 41 0   0      0 .021 .022 5.6 0     0   0 .93 .60 47 0      0      0 .0019 .0023 .53 0     0      - -
seq-pthread/cs_lazy_false-unreach-call_true-termination.i 0 380     380     90 6000    0     0      0 93    89    590 0   0      -32 13     7.9   360   .62  0   0 4.7  2.7  260 0      .11   -32 .68   .68   20    .13  0      - -
seq-pthread/cs_queue_false-unreach-call.i 0 900     900     130 8300    .016 0      0 .61 .36 40 0   0      0 .021 .021 5.6 0     0   0 .99 .64 47 0      .029  0 .0052 .0085 .52 0     0      - -
seq-pthread/cs_read_write_lock_false-unreach-call.i 0 900     900     150 12000    .020 0      0 .66 .41 41 0   0      0 .021 .022 5.7 0     0   0 .92 .59 47 0      0      0 .0050 .0066 .52 0     0      - -
seq-pthread/cs_stack_false-unreach-call.i 0 900     900     190 6800    .025 0      0 .68 .43 40 0   0      0 .022 .023 5.6 0     0   0 1.0  .64 47 0      0      0 .0027 .0036 .53 0     0      - -
seq-pthread/cs_stateful_false-unreach-call_true-termination.i 0 900     900     120 13000    .025 0      0 .75 .46 42 0   0      0 .031 .032 5.6 0     0   0 .95 .61 47 0      0      0 .0044 .0055 .53 0     0      - -
seq-pthread/cs_dekker_true-unreach-call.i 1 2.3   2.3   21 29    0     .28   - - - - 0 900    890    1500 0   0     0 960     910     3000   1.6  0     
seq-pthread/cs_fib_longer_true-unreach-call.i 0 900     900     110 13000    .016 0      - - - - 0 .73 .44 40 0   0     0 .027 .028 5.6 0    0     
seq-pthread/cs_fib_true-unreach-call.i 0 900     900     99 10000    .012 0      - - - - 0 .77 .46 40 0   0     0 .026 .027 5.6 0    0     
seq-pthread/cs_lamport_true-unreach-call.i 1 1.6   1.6   20 21    0     0      - - - - 0 900    890    1500 0   0     0 960     880     3200   .68 0     
seq-pthread/cs_peterson_true-unreach-call.i 1 1.6   1.6   20 23    0     0      - - - - 0 900    890    1500 0   0     0 960     910     2500   1.1  0     
seq-pthread/cs_queue_true-unreach-call.i 0 900     900     100 11000    .012 0      - - - - 0 .73 .44 40 0   0     0 .025 .026 5.6 0    0     
seq-pthread/cs_read_write_lock_true-unreach-call.i 0 900     900     170 14000    .025 4.5    - - - - 0 .60 .37 41 0   0     0 .027 .027 5.6 0    0     
seq-pthread/cs_stack_true-unreach-call.i 0 900     900     140 8400    .016 0      - - - - 0 .65 .40 41 0   0     0 .021 .021 5.6 0    0     
seq-pthread/cs_stateful_true-unreach-call.i 0 900     900     120 11000    .020 0      - - - - 0 .66 .42 41 0   0     0 .023 .026 5.6 0    0     
seq-pthread/cs_sync_true-unreach-call.i 0 900     900     77 12000    .025 0      - - - - 0 .79 .49 41 0   0     0 .025 .027 5.7 0    0     
seq-pthread/cs_szymanski_true-unreach-call.i 1 1.5   1.5   21 20    0     0      - - - - 0 900    890    1200 0   0     0 960     920     1500   .63 0     
seq-pthread/cs_time_var_mutex_true-unreach-call.i 1 5.4   5.4   24 66    0     0      - - - - 0 900    890    1200 0   0     0 960     890     3700   .75 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 406 140000 140000 1500000 1600000 13   48    400 298 4000 2500 150000 0   1.7 400 -9696 3700 2200 120000 190 0   400 161 2300   1500   110000 1.8 18   400 -181 260   260   7100 100   1.2   189 94 16000 15000 55000 0   1.8 189 2 24000 19000 370000 45    .11
    correct results 349 396 21000 21000 140000 230000 0   19    298 298 3500 2000 140000 0   1.7 0 225 225 1500   870   84000 0   14   107 107 71   71   2200 15   .29  47 94 6500 6000 35000 0   1.1 1 2 850 750 4300 .62 0   
        correct true 47 94 730 730 1400 9600 0   .36 0 0 0 0 47 94 6500 6000 35000 0   1.1 1 2 850 750 4300 .62 0   
        correct false 302 302 20000 20000 140000 220000 0   19    298 298 3500 2000 140000 0   1.7 0 225 225 1500   870   84000 0   14   107 107 71   71   2200 15   .29  0 0
    correct-unconfimed results 11 10 1000 1000 990 14000 0   .56 0 0 0 0 0 0
        correct-unconfirmed true 10 10 640 640 900 8100 0   .56 0 0 0 0 0 0
        correct-unconfirmed false 1 0 380 380 90 6000 0   0    0 0 0 0 0 0
    incorrect results 0 0 303 -9696 3700 2200 120000 190 0   2 -64 9.8 5.6 510 0   0   9 -288 6.1 6.0 180 1.3 .025 0 0
        incorrect true 0 0 303 -9696 3700 2200 120000 190 0   2 -64 9.8 5.6 510 0   0   9 -288 6.1 6.0 180 1.3 .025 0 0
        incorrect false 0 0 0 0 0 0 0
score (589 tasks, max score: 778) 406 298 -9696 161 -181 94 2
Run set symbiotic.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-violation-witnesses-symbiotic.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-violation-witnesses-symbiotic.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-witness2test-validate-violation-witnesses-symbiotic.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized fshell-witness2test-validate-violation-witnesses-symbiotic.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized cpa-seq-validate-correctness-witnesses-symbiotic.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized uautomizer-validate-correctness-witnesses-symbiotic.sv-comp19_prop-reachsafety.ReachSafety-Sequentialized