Tool SymDIVINE
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-59-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-01-13 11:13:29 CET [[ 2017-01-15 02:06:46 CET ]] [[ 2017-01-15 03:46:01 CET ]] [[ 2017-01-15 02:24:39 CET ]] [[ 2017-01-15 04:02:29 CET ]]
Run set sv-comp17.ReachSafety-Sequentialized
Options --fix_volatile --fix_inline --silent -Os [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symdivine.2017-01-13_1113.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symdivine.2017-01-13_1113.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symdivine.2017-01-13_1113.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symdivine.2017-01-13_1113.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
systemc/kundu1_false-unreach-call_false-termination.cil.c 1 .39  .39  5.3  30   .025 0     23    12    190   610 8.2 4.4 170 320
systemc/kundu2_false-unreach-call_false-termination.cil.c 1 1.3   1.3   14    81   .029 11     16    8.5  160   440 8.1 4.4 150 320
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c 1 .070 .070 .64 10   .016 0     4.4  2.4  74   280 7.9 4.2 160 310
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c 1 .081 .082 .66 9.7 .025 0     6.2  3.4  72   280 8.1 4.4 140 320
systemc/pipeline_false-unreach-call_false-termination.cil.c 1 80     80     1100    3800   .053 0     32    18    300   1400 10   5.4 130 330
systemc/token_ring.01_false-unreach-call_false-termination.cil.c -32 .28  .28  3.1  15   .025 0     17    8.5  160   530 29   16   500 660
systemc/token_ring.02_false-unreach-call_false-termination.cil.c -32 .95  .97  15    71   .029 5.6   22    11    170   530 57   30   740 1000
systemc/token_ring.03_false-unreach-call_false-termination.cil.c -32 3.6   3.6   51    150   .033 0     27    14    210   630 74   41   870 1800
systemc/token_ring.04_false-unreach-call_false-termination.cil.c -32 14     14     170    670   .041 11     31    16    240   710 96   53   1400 2400
systemc/token_ring.05_false-unreach-call_false-termination.cil.c -32 55     55     630    3400   .045 .47  24    13    180   910 97   60   890 4900
systemc/token_ring.06_false-unreach-call_false-termination.cil.c -32 200     200     2700    9100   .049 0     30    17    320   970 96   53   780 1100
systemc/token_ring.07_false-unreach-call_false-termination.cil.c 0 200     200     2300    15000   .053 0     .61 .39 6.9 40 6.0 3.2 120 300
systemc/token_ring.08_false-unreach-call_false-termination.cil.c 0 290     290     3700    15000   .061 0     .59 .38 9.5 41 5.4 2.9 110 300
systemc/token_ring.09_false-unreach-call_false-termination.cil.c 0 350     350     4500    15000   .066 0     .61 .39 8.4 40 5.7 3.0 100 300
systemc/token_ring.10_false-unreach-call_false-termination.cil.c 0 380     380     4800    15000   .074 0     .62 .39 8.3 40 6.9 3.6 88 300
systemc/token_ring.11_false-unreach-call_false-termination.cil.c 0 410     410     4600    15000   .078 0     .58 .37 7.9 39 5.4 2.9 110 300
systemc/token_ring.12_false-unreach-call_false-termination.cil.c 0 480     480     5600    15000   .082 .40  .55 .35 11   39 5.9 3.1 120 300
systemc/token_ring.13_false-unreach-call_false-termination.cil.c 0 490     490     7300    15000   .086 5.8   .53 .33 9.8 40 6.4 3.4 140 310
systemc/token_ring.14_false-unreach-call_false-termination.cil.c 0 470     470     5200    15000   .082 .40  .54 .35 8.3 42 8.2 4.3 69 300
systemc/token_ring.15_false-unreach-call_false-termination.cil.c 0 490     490     6200    15000   .086 0     .51 .35 9.4 40 5.5 3.0 91 290
systemc/toy1_false-unreach-call_false-termination.cil.c 1 3.9   3.9   57    230   .041 0     19    9.8  220   600 9.4 5.0 110 320
systemc/toy2_false-unreach-call_false-termination.cil.c 1 3.9   3.9   56    230   .041 0     14    7.4  170   470 7.6 4.2 140 310
systemc/transmitter.01_false-unreach-call_false-termination.cil.c 1 .15  .15  1.6  10   .020 0     6.0  3.2  98   290 9.5 5.1 95 310
systemc/transmitter.02_false-unreach-call_false-termination.cil.c 1 .61  .65  5.7  39   .029 12     7.7  4.1  120   310 8.4 4.5 170 320
systemc/transmitter.03_false-unreach-call_false-termination.cil.c 1 2.3   2.3   27    130   .033 5.7   8.2  4.3  130   330 11   6.0 130 330
systemc/transmitter.04_false-unreach-call_false-termination.cil.c 1 9.4   9.4   120    610   .037 0     8.6  4.5  93   410 9.9 5.3 130 320
systemc/transmitter.05_false-unreach-call_false-termination.cil.c 1 38     38     480    2900   .041 0     9.6  5.1  110   450 7.9 4.3 150 310
systemc/transmitter.06_false-unreach-call_false-termination.cil.c 1 140     140     1900    7200   .045 0     11    6.0  140   470 9.7 5.2 130 310
systemc/transmitter.07_false-unreach-call_false-termination.cil.c 0 330     330     3700    15000   .053 0     .52 .33 8.2 41 7.6 4.0 74 300
systemc/transmitter.08_false-unreach-call_false-termination.cil.c 0 280     280     4000    15000   .061 0     .52 .34 12   40 7.9 4.1 99 310
systemc/transmitter.09_false-unreach-call_false-termination.cil.c 0 330     330     4800    15000   .066 0     .49 .31 11   39 5.6 3.0 94 280
systemc/transmitter.10_false-unreach-call_false-termination.cil.c 0 370     370     4400    15000   .070 0     .63 .41 7.3 39 5.9 3.1 110 300
systemc/transmitter.11_false-unreach-call_false-termination.cil.c 0 400     400     5900    15000   .074 0     .49 .32 9.8 39 6.0 3.2 110 310
systemc/transmitter.12_false-unreach-call_false-termination.cil.c 0 460     460     6800    15000   .078 5.7   .50 .32 8.6 41 6.2 3.3 130 300
systemc/transmitter.13_false-unreach-call_false-termination.cil.c 0 480     480     6600    15000   .082 0     .53 .34 12   41 7.0 3.7 95 300
systemc/transmitter.15_false-unreach-call_false-termination.cil.c 1 .20  .20  2.5  24   .082 0     9.7  5.1  120   440 10   5.5 200 350
systemc/transmitter.16_false-unreach-call_false-termination.cil.c 1 .21  .21  2.4  25   .094 0     10    5.5  170   440 11   6.2 170 360
systemc/bist_cell_true-unreach-call_false-termination.cil.c 2 .13  .13  1.2  11   .029 0     380    330    7600   7000 67   38   790 1300
systemc/kundu_true-unreach-call_false-termination.cil.c 1 36     36     420    3200   .029 0     900    880    14000   4500 130   84   1500 7000
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c 1 1.3   1.3   17    150   .082 .37  910    880    18000   5100 160   110   1600 7000
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c 1 2.6   2.6   33    340   .082 0     910    870    23000   5100 180   130   2600 7000
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c -16 2.6   2.6   33    350   .082 0     100    80    2200   4900 9.6 5.2 180 320
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c -16 3.3   3.3   46    350   .082 0     130    110    2400   5500 9.6 5.2 190 330
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c -16 4.0   4.0   55    400   .082 0     190    160    4000   5800 10   5.3 170 330
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c 0 190     190     2300    15000   .016 .13  .48 .32 11   40 5.6 3.0 110 290
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c 0 140     140     1600    15000   .025 .34  .46 .31 9.4 39 6.3 3.3 120 300
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c 2 .38  .38  4.8  22   .029 .37  900    880    17000   5700 25   13   290 590
systemc/pipeline_true-unreach-call_false-termination.cil.c 1 190     190     2700    10000   .053 0     410    350    11000   7000 120   70   980 7000
systemc/token_ring.01_true-unreach-call_false-termination.cil.c 2 .30  .32  3.5  21   .020 5.8   740    710    13000   7000 35   19   660 750
systemc/token_ring.02_true-unreach-call_false-termination.cil.c 2 .98  .97  14    65   .029 0     900    880    11000   4300 62   33   940 1000
systemc/token_ring.03_true-unreach-call_false-termination.cil.c 2 3.7   3.7   43    150   .033 0     900    890    16000   2700 75   41   890 1700
systemc/token_ring.04_true-unreach-call_false-termination.cil.c 2 14     14     160    660   .041 .053 900    890    14000   2400 81   45   720 2500
systemc/token_ring.05_true-unreach-call_false-termination.cil.c 1 55     55     770    3400   .045 0     900    890    17000   3300 200   130   3700 7000
systemc/token_ring.06_true-unreach-call_false-termination.cil.c 2 200     200     3000    9100   .049 0     900    890    22000   3200 160   98   1200 6700
systemc/token_ring.07_true-unreach-call_false-termination.cil.c 0 200     200     2700    15000   .053 0     .60 .38 12   42 5.7 3.0 100 290
systemc/token_ring.08_true-unreach-call_false-termination.cil.c 0 280     280     3400    15000   .061 0     .52 .33 11   40 5.9 3.2 96 300
systemc/token_ring.09_true-unreach-call_false-termination.cil.c 0 340     340     5400    15000   .066 0     .54 .35 12   44 6.1 3.2 120 300
systemc/token_ring.10_true-unreach-call_false-termination.cil.c 0 380     380     4500    15000   .074 5.8   .52 .34 11   43 5.8 3.1 130 300
systemc/token_ring.11_true-unreach-call_false-termination.cil.c 0 410     410     5300    15000   .078 0     .50 .32 6.5 40 6.0 3.2 120 300
systemc/token_ring.12_true-unreach-call_false-termination.cil.c 0 470     470     5800    15000   .082 0     .51 .32 11   39 6.1 3.2 110 300
systemc/token_ring.13_true-unreach-call_false-termination.cil.c 0 490     490     6000    15000   .086 11     .66 .43 8.2 41 6.4 3.4 120 300
systemc/toy_true-unreach-call_false-termination.cil.c 0 150     150     1900    15000   .041 0     .48 .32 10   40 5.6 3.0 120 300
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c 1 2.0   2.0   25    81   .053 4.1   11    5.7  110   350 9.5 5.1 160 340
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 2.0   2.0   24    77   .053 0     11    5.7  110   360 11   5.8 110 320
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c 1 9.8   9.9   130    620   .053 4.1   11    5.8  140   470 8.8 4.7 160 330
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c 1 9.9   9.9   120    620   .053 11     15    7.8  140   450 10   5.5 140 320
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c 1 10     10     130    610   .053 0     12    6.2  200   490 9.0 4.9 150 330
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c 1 10     10     130    610   .053 4.0   12    6.1  120   490 12   6.5 120 330
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c 0 20     20     280    820   .053 16     91    83    1400   800 8.4 4.5 170 320
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c 1 20     20     260    800   .053 0     23    13    390   640 8.9 4.7 160 330
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     14000    530   .041 0     .63 .39 8.9 42 5.5 2.9 110 290
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900     900     13000    520   .041 0     .49 .31 7.6 39 6.4 3.4 100 300
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     11000    530   .041 0     .48 .32 8.1 41 5.9 3.1 110 300
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 900     900     10000    520   .041 0     .65 .41 7.6 41 5.2 2.8 110 290
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 0 550     550     7000    1900   .045 0     .48 .33 10   39 5.9 3.1 110 300
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 530     530     7400    1900   .045 0     .49 .32 12   40 6.5 3.4 94 300
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 1 350     350     4700    1900   .045 0     11    6.0  130   410 9.4 5.0 170 330
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 360     360     4200    1900   .045 4.0   11    5.8  120   420 11   5.7 120 320
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c 0 900     900     11000    4400   .045 4.3   .67 .43 8.6 42 6.1 3.2 100 300
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c 0 900     900     12000    4700   .045 0     .52 .32 11   40 7.5 3.9 78 300
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c 0 900     900     11000    2700   .045 9.9   .49 .32 10   41 6.2 3.3 100 300
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c 0 900     900     11000    2600   .045 0     .49 .32 9.7 41 5.7 3.1 91 300
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     11000    4300   .045 9.9   .53 .34 4.9 39 8.1 4.2 66 300
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 0 900     900     12000    3500   .086 9.8   .54 .34 9.1 42 5.9 3.1 110 290
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900     900     13000    3400   .086 0     .54 .36 9.7 44 7.1 3.7 83 310
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 0 900     900     13000    3500   .094 15     .51 .32 13   39 7.5 4.0 66 300
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 900     900     10000    3500   .094 4.4   .60 .39 8.9 40 7.3 3.8 85 300
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c 0 900     900     13000    3500   .094 0     .57 .36 9.8 41 5.9 3.2 100 300
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c 0 900     900     11000    3500   .094 .012 .50 .33 11   41 6.0 3.2 120 300
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c 0 900     900     13000    3500   .094 0     .62 .40 7.1 41 6.1 3.2 120 310
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c 0 900     900     14000    3500   .094 4.4   .47 .31 8.9 39 6.8 3.6 81 290
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     10000    3500   .094 0     .59 .37 7.6 39 6.0 3.2 110 300
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     12000    5000   .18  .098 .48 .32 9.3 42 6.8 3.6 130 320
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900     900     15000    5000   .18  0     .51 .32 11   39 6.2 3.3 120 300
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     12000    5100   .20  .098 .50 .33 12   39 6.8 3.6 80 300
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 900     900     11000    5100   .20  0     .52 .33 12   40 7.4 3.9 75 300
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     13000    5100   .20  5.7   .57 .38 9.5 39 6.4 3.4 110 310
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c 0 900     900     11000    5100   .20  0     .51 .32 10   39 6.0 3.2 110 300
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     13000    5100   .20  .098 .51 .33 6.3 39 6.6 3.5 90 290
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c 0 900     900     11000    5100   .20  .070 .49 .31 10   39 6.7 3.6 90 290
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     14000    5100   .20  0     .52 .32 12   40 8.0 4.2 71 300
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 0 900     900     13000    96   .033 0     .63 .40 6.0 40 6.5 3.4 130 310
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900     900     11000    94   .033 0     .57 .36 11   40 6.0 3.1 100 310
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 0 900     900     10000    95   .033 0     .73 .45 8.6 43 7.4 4.0 81 310
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 900     900     15000    95   .033 .057 .59 .37 8.9 39 5.7 3.0 88 300
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 0 900     900     12000    430   .041 0     .65 .41 9.0 43 5.9 3.2 120 290
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900     900     13000    430   .041 0     .53 .33 10   40 6.7 3.5 100 300
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 0 900     900     12000    430   .037 3.9   .65 .41 7.9 40 6.5 3.4 130 320
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 900     900     13000    420   .037 0     .53 .34 11   41 8.4 4.4 99 310
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     12000    2000   .045 0     .49 .32 10   41 7.7 4.0 77 290
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900     900     11000    2100   .045 0     .48 .31 11   39 7.3 3.8 69 310
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     11000    2000   .045 0     .65 .40 11   44 5.9 3.1 86 300
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 900     900     12000    2000   .045 4.4   .58 .37 8.4 39 5.7 3.0 110 300
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 0 900     900     11000    3600   .053 0     .51 .33 9.7 40 7.3 3.8 100 300
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900     900     12000    3600   .053 0     .54 .34 10   41 7.2 3.8 140 310
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c 0 900     900     11000    3600   .053 0     .47 .31 8.7 40 7.1 3.7 84 290
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 900     900     13000    3600   .053 .029 .52 .34 11   40 5.8 3.1 120 290
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 0 900     900     14000    41   .025 0     .55 .37 9.2 40 6.7 3.6 91 300
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900     900     12000    55   .029 14     .68 .42 7.6 40 6.1 3.2 120 300
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     13000    40   .025 0     .49 .31 9.4 39 7.7 4.1 74 300
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 0 900     900     11000    120   .033 0     .52 .34 11   44 6.9 3.6 90 300
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900     900     11000    120   .033 0     .49 .32 8.7 40 6.2 3.3 120 310
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     13000    120   .033 .098 .48 .32 5.4 39 5.9 3.1 99 300
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     11000    410   .037 0     .62 .40 10   41 5.9 3.1 130 300
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900     900     13000    410   .037 0     .48 .32 8.3 41 6.2 3.2 120 310
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     12000    410   .037 0     .51 .31 11   40 6.1 3.2 110 290
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 0 900     900     13000    1700   .045 0     .52 .33 11   40 8.1 4.2 84 300
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900     900     13000    1700   .045 0     .56 .36 11   41 6.4 3.4 120 300
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     12000    1700   .045 0     .50 .33 12   39 6.1 3.2 100 310
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c 0 900     900     13000    1500   .049 0     .51 .34 13   40 7.6 4.0 82 300
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900     900     14000    1500   .049 0     .53 .34 12   40 7.6 4.0 76 300
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     12000    1500   .049 3.9   .54 .36 9.7 39 5.8 3.1 110 290
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c 0 900     900     11000    1600   .053 0     .52 .34 5.9 40 6.1 3.2 110 300
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900     900     12000    1600   .053 0     .55 .36 8.0 40 5.8 3.0 100 300
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     15000    1600   .053 0     .48 .31 9.2 40 5.5 2.9 81 290
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 0 760     750     11000    2100   .045 0     .58 .37 9.2 41 5.9 3.2 75 290
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 730     730     10000    2100   .049 0     .51 .33 8.7 42 5.7 3.0 93 290
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 1 340     340     4000    1800   .049 3.9   11    5.9  150   450 10   5.3 120 320
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1 340     340     4300    1800   .049 4.1   12    6.1  93   440 8.3 4.5 140 320
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c 1 660     660     8700    6300   .049 0     12    6.6  210   460 9.3 5.0 150 330
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c 1 690     680     8800    6400   .049 0     14    7.4  170   470 8.9 4.8 170 320
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c 1 670     670     8800    3700   .049 9.8   19    11    200   470 11   5.7 130 320
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c 1 680     670     10000    3600   .049 0     13    7.3  150   450 10   5.6 120 320
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     11000    6300   .049 0     .50 .33 9.8 40 6.1 3.2 110 300
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 0 900     900     12000    3600   .094 0     .48 .31 10   39 6.1 3.3 120 290
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900     900     12000    3600   .094 0     .65 .41 7.4 41 8.3 4.4 74 310
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 0 900     900     12000    3700   .10  0     .52 .34 12   41 7.2 3.8 76 300
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 900     900     11000    3700   .10  0     .50 .32 11   40 6.4 3.4 100 300
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c 0 900     900     13000    3700   .10  0     .70 .45 8.1 43 6.0 3.2 120 300
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c 0 900     900     12000    3700   .10  0     .53 .34 11   40 6.6 3.4 89 290
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c 0 900     900     12000    3700   .10  0     .61 .39 10   44 6.6 3.5 140 300
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c 0 900     900     11000    3700   .10  0     .65 .40 9.6 42 6.3 3.4 120 310
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     13000    3700   .10  4.0   .59 .38 6.9 39 6.7 3.5 69 300
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     12000    5200   .20  0     .53 .33 11   40 6.6 3.5 76 300
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900     900     11000    5200   .20  .090 .55 .34 9.9 40 6.8 3.6 100 300
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     12000    5300   .21  0     .51 .33 12   40 7.3 3.9 85 300
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 900     900     12000    5300   .21  0     .49 .32 11   40 7.5 4.0 67 300
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     12000    5300   .21  0     .63 .41 9.2 41 6.4 3.4 66 300
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c 0 900     900     11000    5300   .21  0     .69 .44 10   45 7.6 4.0 87 300
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     11000    5300   .21  0     .50 .32 7.4 39 6.5 3.5 110 300
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c 0 900     900     12000    5300   .21  11     .49 .32 10   40 6.2 3.3 74 290
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     13000    5300   .21  0     .65 .40 6.9 41 6.1 3.2 87 300
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c 0 900     900     13000    4400   .29  3.9   .60 .38 9.0 40 6.2 3.2 110 300
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c 0 870     870     12000    15000   2.6   0     .51 .33 8.3 41 7.7 4.0 110 300
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c 0 900     900     11000    4500   .30  4.1   .52 .34 10   39 7.7 4.1 89 300
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c 0 900     900     14000    11000   2.6   0     .51 .31 8.3 40 8.0 4.2 110 310
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c 0 900     900     14000    5800   .37  0     .73 .45 7.0 40 6.4 3.4 140 300
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c 0 900     900     13000    11000   2.9   4.0   .56 .36 12   42 8.4 4.3 130 320
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c 0 900     900     12000    5800   .37  0     .54 .34 12   41 8.4 4.4 98 320
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c 0 900     900     13000    11000   2.9   0     .57 .37 9.6 40 8.3 4.3 110 300
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c 0 900     900     12000    7200   1.1   0     .57 .37 9.8 41 7.4 3.9 120 300
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c 0 900     900     12000    9700   2.0   0     .58 .37 9.4 40 8.9 4.7 77 300
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c 0 900     900     13000    3900   .25  0     .52 .34 13   42 7.6 4.0 79 300
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c 0 900     900     13000    14000   2.5   4.0   .66 .43 7.9 40 6.8 3.5 110 300
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c 0 900     900     11000    4200   .28  9.6   .53 .34 11   41 6.2 3.3 130 300
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c 0 770     770     9900    15000   2.6   15     .51 .34 10   40 9.5 5.0 110 330
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c 0 900     900     13000    3500   .44  .23  .51 .32 11   40 6.5 3.4 120 310
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c 0 900     900     14000    3500   .44  0     .50 .32 12   41 6.1 3.3 120 300
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c 0 900     900     13000    3600   .45  0     .64 .41 7.5 41 6.4 3.4 98 300
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c 0 900     900     14000    3600   .45  0     .63 .41 7.8 40 7.3 3.9 92 300
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c 0 900     900     14000    4500   .70  9.8   .57 .37 8.9 44 7.7 4.1 97 290
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c 0 900     900     12000    4400   .70  0     .50 .32 6.9 40 6.4 3.4 130 300
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c 0 550     550     7100    3100   .43  9.9   .53 .34 12   39 6.6 3.5 110 300
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c 0 590     590     9200    3100   .44  .41  .49 .32 9.2 41 7.3 3.8 92 300
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c 0 350     350     5000    1300   .31  0     .62 .39 8.1 39 7.2 3.8 80 300
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c 0 340     340     4800    1300   .31  0     .49 .32 9.0 40 6.0 3.2 120 300
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c 0 470     470     5600    1500   .38  4.3   .48 .31 12   40 8.6 4.6 55 290
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c 0 470     470     6200    1500   .38  0     .66 .42 8.9 39 6.2 3.3 110 300
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c 0 340     340     5000    15000   .053 .26  .71 .46 7.4 43 6.1 3.3 110 300
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c 0 340     340     3700    15000   .053 0     .56 .36 9.9 39 6.5 3.4 110 310
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     13000    580   .041 14     .46 .30 8.0 39 6.3 3.3 110 290
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     12000    560   .041 4.1   .50 .33 12   40 5.8 3.0 110 290
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 0 900     900     13000    4400   .045 3.9   .71 .44 9.2 44 5.9 3.1 120 300
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     13000    4700   .045 9.7   .60 .38 11   40 6.9 3.7 120 300
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 0 900     900     12000    3500   .094 0     .57 .38 6.9 39 6.2 3.3 120 300
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     11000    3500   .094 4.0   .54 .33 9.0 41 6.0 3.2 130 290
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     12000    5100   .20  .098 .51 .34 11   39 6.4 3.4 130 290
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     12000    5100   .20  0     .50 .32 13   39 6.3 3.3 110 320
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 0 900     900     10000    100   .033 4.1   .52 .32 8.4 40 5.9 3.2 120 290
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     12000    95   .033 0     .57 .36 13   44 6.0 3.2 110 310
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 0 900     900     11000    430   .037 0     .62 .39 6.9 39 6.3 3.3 120 310
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     13000    430   .041 3.9   .62 .40 12   45 5.5 2.9 90 290
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     13000    2000   .045 4.4   .67 .42 8.7 40 5.6 3.0 110 290
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     12000    2000   .045 9.7   .66 .42 7.5 40 5.8 3.1 120 290
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c 0 900     900     14000    3600   .053 0     .50 .33 10   42 6.1 3.2 110 300
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     10000    3600   .053 0     .50 .34 6.5 40 5.9 3.1 100 300
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 0 900     900     11000    41   .025 0     .51 .33 12   40 6.5 3.4 86 300
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     13000    41   .029 0     .55 .35 9.0 43 6.2 3.3 120 300
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 0 900     900     12000    120   .033 0     .62 .41 8.4 39 6.3 3.3 120 300
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     12000    120   .033 4.0   .52 .33 13   42 5.7 3.1 100 300
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     11000    420   .037 9.9   .64 .42 7.5 41 6.3 3.3 110 290
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     12000    410   .037 0     .53 .33 13   39 6.1 3.2 120 300
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c 0 900     900     13000    1700   .041 0     .46 .31 6.5 40 5.6 3.0 120 290
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     12000    1700   .045 9.9   .63 .41 7.4 39 6.0 3.2 110 300
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c 0 900     900     13000    1500   .049 0     .58 .37 11   40 6.1 3.2 140 310
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     12000    1500   .049 0     .68 .43 9.9 43 5.6 3.0 92 290
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c 0 900     900     12000    1600   .053 0     .60 .38 7.7 39 5.7 3.0 96 300
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     11000    1600   .053 0     .47 .31 7.7 40 5.9 3.2 110 290
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 0 900     900     14000    6300   .049 0     .48 .31 8.4 39 5.6 3.0 120 280
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     11000    6400   .049 .016 .66 .42 7.3 40 6.9 3.6 89 330
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 0 900     900     13000    3700   .10  0     .57 .37 9.9 40 6.1 3.2 120 300
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     13000    3700   .10  15     .56 .35 8.8 44 6.4 3.4 120 300
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 0 900     900     12000    5300   .21  0     .59 .37 9.7 41 6.4 3.4 130 300
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900     900     12000    5300   .21  0     .71 .44 7.8 41 6.2 3.3 110 300
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c 0 900     900     14000    4400   .29  15     .64 .42 7.7 40 6.6 3.5 140 300
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c 0 870     870     11000    15000   2.6   15     .50 .33 11   40 7.1 3.7 110 310
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c 0 900     900     12000    5800   .37  0     .63 .39 7.4 40 6.3 3.3 110 300
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c 0 900     900     12000    11000   2.9   0     .61 .38 7.9 39 7.4 3.9 130 300
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c 0 900     900     11000    7300   1.1   0     .64 .42 8.1 41 6.6 3.5 110 300
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c 0 900     900     15000    7300   1.1   0     .57 .37 11   41 6.3 3.3 130 300
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c 0 900     900     13000    9700   2.0   0     .57 .36 10   39 7.0 3.7 140 310
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c 0 900     900     13000    6800   3.1   0     .62 .40 7.0 39 6.7 3.6 100 290
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c 0 900     900     10000    3900   .25  0     .64 .41 8.5 40 6.3 3.3 120 300
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c 0 900     900     12000    14000   2.5   0     .51 .32 8.7 40 6.4 3.4 120 290
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c 0 900     900     13000    4000   .26  0     .55 .36 11   40 6.1 3.2 91 300
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c 0 900     900     14000    14000   2.5   9.8   .64 .40 7.9 41 7.0 3.7 120 300
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c 0 900     900     11000    4200   .28  15     .54 .34 12   39 6.2 3.3 110 300
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c 0 770     770     9800    15000   2.6   9.8   .61 .39 8.2 39 6.2 3.3 90 300
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c 0 900     900     14000    3500   .44  4.3   .56 .36 10   40 6.4 3.4 130 300
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c 0 900     900     12000    3500   .44  0     .52 .33 11   39 5.8 3.1 110 300
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c 0 900     900     13000    4500   .70  9.8   .53 .33 9.5 39 6.7 3.6 140 300
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c 0 900     900     13000    4500   .71  0     .64 .40 7.8 39 7.3 3.8 98 300
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c 0 900     900     12000    4400   .70  4.0   .66 .42 8.5 40 7.7 4.0 100 310
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c 0 900     900     14000    4400   .70  0     .47 .31 9.6 40 6.6 3.5 120 300
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c 0 550     550     7300    3000   .43  .41  .59 .38 9.9 40 6.4 3.4 120 300
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c 0 550     550     7200    3100   .43  .41  .63 .40 8.3 40 5.9 3.1 98 290
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c 0 580     580     8500    3100   .44  .41  .63 .40 7.0 39 6.2 3.3 120 290
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c 0 560     560     8800    3100   .45  0     .66 .41 8.0 40 6.3 3.4 80 300
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c 0 340     340     5000    1300   .31  0     .66 .42 8.8 40 6.1 3.2 97 300
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c 0 350     350     4800    1300   .31  0     .59 .37 13   45 5.9 3.1 110 290
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c 0 360     360     5300    1300   .32  .098 .66 .40 7.6 40 6.5 3.4 100 310
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c 0 360     360     4700    1300   .32  0     .65 .41 9.2 41 5.6 3.0 110 290
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c 0 470     470     6100    1500   .38  9.6   .51 .33 13   43 6.3 3.3 110 300
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c 0 470     460     7300    1500   .38  0     .53 .33 10   40 6.4 3.4 130 300
seq-pthread/cs_fib_false-unreach-call.i 0 .094 .095 .72 10   .045 0     .55 .36 9.1 40 7.3 3.8 76 300
seq-pthread/cs_fib_longer_false-unreach-call.i 0 .097 .097 .73 11   .045 0     .54 .35 7.3 39 6.9 3.7 100 300
seq-pthread/cs_lazy_false-unreach-call.i 0 .093 .093 .69 10   .037 0     .58 .37 13   42 6.6 3.5 100 300
seq-pthread/cs_queue_false-unreach-call.i 0 .12  .12  .77 11   .061 0     .54 .35 13   40 6.2 3.3 78 290
seq-pthread/cs_read_write_lock_false-unreach-call.i 0 .075 .075 .73 10   .045 .033 .51 .34 9.6 39 7.7 4.1 83 320
seq-pthread/cs_stack_false-unreach-call.i 0 .070 .071 .81 10   .049 0     .60 .39 7.6 44 6.3 3.4 110 300
seq-pthread/cs_stateful_false-unreach-call.i 0 .097 .099 .53 10   .037 0     .52 .35 13   39 6.1 3.3 130 300
seq-pthread/cs_dekker_true-unreach-call.i 0 .086 .086 .79 10   .057 0     .62 .41 8.6 39 6.7 3.5 120 300
seq-pthread/cs_fib_longer_true-unreach-call.i 0 .10  .10  .72 10   .061 0     .60 .38 8.1 39 6.2 3.3 120 300
seq-pthread/cs_fib_true-unreach-call.i 0 .095 .095 .76 10   .057 0     .52 .34 12   43 5.7 3.1 95 290
seq-pthread/cs_lamport_true-unreach-call.i 0 .11  .11  .54 11   .066 0     .52 .35 10   39 6.2 3.3 110 300
seq-pthread/cs_peterson_true-unreach-call.i 0 .068 .069 .84 10   .049 0     .50 .33 12   39 6.3 3.3 100 300
seq-pthread/cs_queue_true-unreach-call.i 0 .085 .085 1.1  11   .086 .16  .50 .32 11   40 5.8 3.1 120 300
seq-pthread/cs_read_write_lock_true-unreach-call.i 0 .094 .094 .66 11   .053 0     .49 .32 11   39 6.4 3.4 110 310
seq-pthread/cs_stack_true-unreach-call.i 0 .077 .088 .74 11   .057 4.2   .63 .40 7.1 40 6.2 3.3 120 310
seq-pthread/cs_stateful_true-unreach-call.i 0 .10  .10  .91 10   .045 0     .56 .35 5.1 40 6.7 3.5 120 310
seq-pthread/cs_sync_true-unreach-call.i 0 .097 .097 .84 11   .045 0     .60 .38 10   39 5.9 3.2 120 300
seq-pthread/cs_szymanski_true-unreach-call.i 0 .097 .097 .87 10   .057 0     .56 .36 6.1 40 6.4 3.4 110 300
seq-pthread/cs_time_var_mutex_true-unreach-call.i 0 .085 .085 .81 10   .057 0     .49 .32 7.2 41 7.0 3.7 87 290
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
total 273 -191 160000   160000   2200000 1100000 70     510    273 700 420 8600 25000   273 1600   880   23000 62000   273 10000 9700 190000 77000   273 1900 1100 26000 77000  
    correct results 37 44 4700   4600   61000 56000 1.6   80    30 380 210 4600 14000   30 290   150   4300 9700   0 5600 5500 100000 32000   7 510 290 5500 15000  
        correct true 7 14 220   220   3300 10000 .23  6.2  0 0 0 0 0   30 0   0   0 0   0 5600 5500 100000 32000   7 510 290 5500 15000  
        correct false 30 30 4400   4400   58000 46000 1.4   73    30 380 210 4600 14000   0 290   150   4300 9700   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 6 5 310   310   4200 18000 .34  16    0 91 83 1400 800   1 8.4 4.5 170 320   0 4000 3900 82000 25000   0 790 520 10000 35000  
        correct-unconfirmed true 5 5 290   290   3900 17000 .29  .37 0 0 0 0 0   1 0   0   0 0   0 4000 3900 82000 25000   0 790 520 10000 35000  
        correct-unconfirmed false 1 0 20   20   280 820 .053 16    0 91 83 1400 800   0 8.4 4.5 170 320   0 0 0 0 0   0 0 0 0 0  
    incorrect results 9 -240 290   290   3700 15000 .47  17    0 150 80 1300 4300   3 450   250   5100 12000   3 430 340 8600 16000   3 29 16 540 970  
        incorrect true 6 -192 280   280   3500 13000 .22  17    0 150 80 1300 4300   0 450   250   5100 12000   3 0 0 0 0   3 0 0 0 0  
        incorrect false 3 -48 10   10   130 1100 .25  0    0 0 0 0 0   3 0   0   0 0   0 430 340 8600 16000   0 29 16 540 970  
score (273 tasks, max score: 376) -191
Run set sv-comp17.ReachSafety-Sequentialized