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