Tool symbiotic KLEE:7f3c74aa-dg:96e851cf-symbiotic:69a1d8e6-minisat:3db58943-stp:39fa956f-LLVMInstrumentation:f750b24a
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:10:58 CET [[ 2017-01-15 02:01:54 CET ]] [[ 2017-01-15 02:34:25 CET ]] [[ 2017-01-15 02:04:28 CET ]] [[ 2017-01-15 03:02:21 CET ]]
Run set sv-comp17.ReachSafety-Sequentialized
Options --witness witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symbiotic4.2017-01-13_1110.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symbiotic4.2017-01-13_1110.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symbiotic4.2017-01-13_1110.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symbiotic4.2017-01-13_1110.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 0 .19 .19 2.0 9.7 .025 0      15    7.6  270   520 9.9 5.3 110 320
systemc/kundu2_false-unreach-call_false-termination.cil.c 0 .22 .22 2.5 9.9 .025 0      44    29    890   1300 11   5.6 140 330
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c 1 .18 .18 2.3 9.4 .025 0      4.7  2.6  94   280 8.6 4.6 130 320
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c 1 .17 .17 2.4 9.7 .025 .32   4.8  2.6  85   280 9.1 4.8 140 330
systemc/pipeline_false-unreach-call_false-termination.cil.c 0 280    280    2700   3300   .049 0      92    81    2100   820 9.5 5.1 170 330
systemc/token_ring.01_false-unreach-call_false-termination.cil.c 1 .19 .19 2.3 9.9 .025 0      5.9  3.2  120   290 8.3 4.5 150 320
systemc/token_ring.02_false-unreach-call_false-termination.cil.c 0 .26 .26 3.1 12   .025 0      17    8.9  170   490 9.9 5.3 110 320
systemc/token_ring.03_false-unreach-call_false-termination.cil.c 0 .59 .59 6.0 22   .037 0      7.1  3.8  140   330 8.8 4.7 160 320
systemc/token_ring.04_false-unreach-call_false-termination.cil.c 0 2.0  2.0  25   66   .037 0      8.0  4.3  170   410 10   5.5 140 320
systemc/token_ring.05_false-unreach-call_false-termination.cil.c 0 13    13    150   330   .049 0      9.1  4.8  160   420 8.4 4.6 160 320
systemc/token_ring.06_false-unreach-call_false-termination.cil.c 0 61    61    880   1200   .049 0      9.4  5.0  140   430 10   5.4 140 320
systemc/token_ring.07_false-unreach-call_false-termination.cil.c 0 300    300    3400   3500   .049 0      12    6.5  180   470 11   6.1 120 350
systemc/token_ring.08_false-unreach-call_false-termination.cil.c 0 350    350    2700   3800   .061 0      14    7.3  200   470 9.4 5.1 160 330
systemc/token_ring.09_false-unreach-call_false-termination.cil.c 0 310    310    2500   3700   .061 .020  13    6.9  220   530 10   5.6 190 330
systemc/token_ring.10_false-unreach-call_false-termination.cil.c 0 400    400    4000   4000   .074 0      18    9.3  230   600 12   6.2 150 340
systemc/token_ring.11_false-unreach-call_false-termination.cil.c 0 480    490    3400   3900   .074 0      16    8.4  300   630 11   5.9 200 350
systemc/token_ring.12_false-unreach-call_false-termination.cil.c 0 650    650    5100   4600   .078 0      16    8.5  310   650 11   5.9 180 350
systemc/token_ring.13_false-unreach-call_false-termination.cil.c 0 770    770    6000   5600   .086 0      23    12    230   670 11   6.1 170 370
systemc/token_ring.14_false-unreach-call_false-termination.cil.c 0 590    590    5500   4500   .078 0      17    9.0  260   660 9.6 5.2 190 340
systemc/token_ring.15_false-unreach-call_false-termination.cil.c 0 810    810    7300   5700   .086 0      21    11    280   670 11   5.8 170 350
systemc/toy1_false-unreach-call_false-termination.cil.c 0 1.3  1.3  19   62   .037 0      48    34    600   1500 15   8.1 170 520
systemc/toy2_false-unreach-call_false-termination.cil.c 0 1.3  1.3  18   60   .037 0      45    31    1200   1600 12   6.3 240 490
systemc/transmitter.01_false-unreach-call_false-termination.cil.c 1 .20 .20 2.4 9.6 .025 0      5.8  3.2  88   290 9.2 4.9 140 320
systemc/transmitter.02_false-unreach-call_false-termination.cil.c 0 .20 .20 2.7 10   .025 0      22    12    420   870 9.4 5.1 110 310
systemc/transmitter.03_false-unreach-call_false-termination.cil.c 0 .30 .30 4.0 14   .037 0      6.8  3.7  140   320 9.1 5.0 150 310
systemc/transmitter.04_false-unreach-call_false-termination.cil.c 0 .84 .84 9.7 34   .037 0      8.1  4.3  120   370 8.7 4.7 140 320
systemc/transmitter.05_false-unreach-call_false-termination.cil.c 0 3.5  3.5  45   130   .037 0      8.8  4.6  180   430 9.0 4.7 140 330
systemc/transmitter.06_false-unreach-call_false-termination.cil.c 0 18    18    250   550   .049 0      10    5.3  130   430 10   5.3 100 310
systemc/transmitter.07_false-unreach-call_false-termination.cil.c 0 92    92    970   2100   .049 .32   12    6.2  160   440 11   6.0 130 320
systemc/transmitter.08_false-unreach-call_false-termination.cil.c 0 290    290    2200   3500   .061 0      11    5.8  210   460 12   6.5 150 340
systemc/transmitter.09_false-unreach-call_false-termination.cil.c 0 410    410    3500   4000   .061 0      14    7.4  230   490 13   6.8 120 320
systemc/transmitter.10_false-unreach-call_false-termination.cil.c 0 520    520    4600   4300   .066 0      17    8.7  210   650 9.8 5.3 150 330
systemc/transmitter.11_false-unreach-call_false-termination.cil.c 0 590    590    4800   4500   .074 0      16    8.1  280   620 10   5.4 120 330
systemc/transmitter.12_false-unreach-call_false-termination.cil.c 0 670    670    6100   5000   .074 0      18    9.2  280   650 13   7.2 150 350
systemc/transmitter.13_false-unreach-call_false-termination.cil.c 0 720    720    5400   4600   .086 0      21    11    290   670 10   5.7 150 340
systemc/transmitter.15_false-unreach-call_false-termination.cil.c 0 .34 .34 3.8 35   .086 0      20    11    340   850 11   5.8 86 340
systemc/transmitter.16_false-unreach-call_false-termination.cil.c 0 .34 .34 4.6 38   .086 0      22    12    350   890 11   5.9 150 340
systemc/bist_cell_true-unreach-call_false-termination.cil.c 0 900    900    11000   120   .025 0      .59 .39 8.5 39 5.9 3.1 110 300
systemc/kundu_true-unreach-call_false-termination.cil.c 0 900    900    7700   6700   .025 0      .53 .35 11   41 6.9 3.6 95 300
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c 0 900    900    7800   3100   .090 0      .67 .42 11   44 9.0 4.7 98 320
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c 0 900    900    7200   3500   .090 0      .53 .34 9.2 39 7.4 3.9 78 300
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c 0 900    900    9400   3300   .090 0      .64 .42 8.0 39 7.9 4.2 78 300
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c 0 900    900    10000   3400   .090 0      .54 .34 13   40 8.0 4.2 76 310
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c 0 900    900    9700   3400   .090 0      .77 .49 8.9 42 6.8 3.6 110 320
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c 0 900    900    6600   5700   .025 0      .58 .37 11   42 7.0 3.7 95 300
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c 0 900    900    6700   5700   .025 0      .55 .34 4.9 39 6.6 3.4 98 300
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c 0 900    900    10000   3300   .025 0      .48 .32 10   40 6.2 3.3 110 300
systemc/pipeline_true-unreach-call_false-termination.cil.c 0 900    900    7300   5600   .049 0      .56 .36 11   41 6.1 3.3 86 290
systemc/token_ring.01_true-unreach-call_false-termination.cil.c 0 900    900    11000   740   .025 0      .53 .34 11   40 6.1 3.3 110 300
systemc/token_ring.02_true-unreach-call_false-termination.cil.c 0 900    900    9900   1700   .025 0      .51 .34 12   40 6.4 3.4 92 300
systemc/token_ring.03_true-unreach-call_false-termination.cil.c 0 900    900    9000   2500   .037 0      .52 .34 11   42 7.1 3.8 64 290
systemc/token_ring.04_true-unreach-call_false-termination.cil.c 0 900    900    7800   4600   .037 0      .54 .36 7.1 39 7.7 4.1 65 300
systemc/token_ring.05_true-unreach-call_false-termination.cil.c 0 900    900    7400   5800   .041 0      .56 .36 11   42 6.3 3.3 130 300
systemc/token_ring.06_true-unreach-call_false-termination.cil.c 0 900    900    9000   6300   .049 0      .61 .39 13   44 7.7 4.1 70 300
systemc/token_ring.07_true-unreach-call_false-termination.cil.c 0 900    900    7900   6600   .049 0      .52 .34 12   40 7.8 4.1 72 300
systemc/token_ring.08_true-unreach-call_false-termination.cil.c 0 900    900    6000   6800   .061 0      .51 .32 12   39 6.0 3.2 120 300
systemc/token_ring.09_true-unreach-call_false-termination.cil.c 0 900    900    5900   6900   .061 0      .47 .32 12   39 6.5 3.5 100 300
systemc/token_ring.10_true-unreach-call_false-termination.cil.c 0 900    900    8100   6500   .074 0      .66 .43 8.2 41 7.6 4.0 71 310
systemc/token_ring.11_true-unreach-call_false-termination.cil.c 0 900    900    7100   6900   .074 0      .48 .31 7.0 40 5.7 3.1 110 300
systemc/token_ring.12_true-unreach-call_false-termination.cil.c 0 900    900    7700   6400   .078 0      .53 .34 11   40 6.4 3.4 120 300
systemc/token_ring.13_true-unreach-call_false-termination.cil.c 0 900    900    6500   6300   .086 0      .53 .36 7.8 42 6.2 3.3 110 300
systemc/toy_true-unreach-call_false-termination.cil.c 0 900    900    8400   7000   .037 0      .63 .39 7.7 39 8.2 4.3 80 310
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c 0 .25 .25 2.5 12   .061 0      97    75    2800   4400 9.3 5.1 120 310
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 .26 .26 2.8 12   .061 0      74    55    1600   3700 12   6.3 130 340
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c 0 .26 .25 3.0 12   .061 0      97    75    2200   4200 11   5.8 110 320
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c 0 .26 .26 2.4 12   .061 0      61    44    1200   3400 8.9 4.8 140 320
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c 0 .27 .27 2.6 12   .061 0      97    76    2100   4300 11   6.1 120 310
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c 0 .26 .26 2.9 12   .061 0      88    66    2200   4600 10   5.4 140 320
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c 0 3.2  3.2  41   100   .061 .0082 97    73    2600   4500 9.1 4.9 180 320
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c 0 3.0  3.0  38   95   .061 0      97    74    2800   4100 11   6.0 110 320
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 .26 .26 3.3 12   .049 0      13    6.7  120   450 9.6 5.1 120 320
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 .29 .29 3.5 12   .049 0      8.6  4.6  130   370 9.6 5.2 120 320
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 0 .30 .30 3.3 12   .049 0      13    6.7  130   450 10   5.5 85 320
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 .30 .30 3.4 12   .049 0      9.7  5.2  110   350 8.7 4.7 150 320
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 0 .79 .78 10   14   .049 0      8.2  4.4  170   380 9.9 5.3 130 320
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 .83 .82 9.4 14   .049 0      97    69    1900   3600 9.0 4.9 140 310
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 0 .36 .36 3.8 13   .049 0      55    37    890   2300 10   5.5 110 320
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 .37 .37 4.5 13   .049 0      97    74    2300   3500 10   5.5 150 320
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c 0 .60 .59 7.3 12   .049 0      54    36    870   2300 9.6 5.1 150 330
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c 0 .62 .61 7.3 13   .049 0      97    73    1600   3800 8.9 4.8 190 320
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c 0 1.1  1.1  12   13   .049 0      20    10    220   650 11   5.7 110 320
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c 0 1.2  1.2  16   14   .049 0      97    70    2400   3800 8.3 4.5 160 330
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 23    23    280   96   .049 0      96    71    2200   3400 10   5.5 150 350
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 0 100    100    1200   1100   .086 0      12    6.2  230   470 10   5.4 210 340
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 97    97    1200   1100   .086 0      97    73    1800   4200 12   6.4 130 340
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 0 22    22    270   150   .098 0      25    13    470   920 11   6.1 150 350
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 22    22    260   160   .098 .32   20    10    340   910 11   5.9 100 350
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c 0 40    40    500   260   .098 0      29    15    350   980 11   5.7 170 350
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c 0 41    41    570   280   .098 0      20    10    270   650 10   5.4 200 340
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c 0 85    85    1000   520   .098 .32   29    16    490   1300 11   5.8 190 390
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c 0 82    82    900   480   .098 0      22    11    400   950 12   6.5 160 370
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900    900    8400   2100   .098 0      .51 .33 9.6 41 6.6 3.5 67 290
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 900    900    8000   3500   .17  0      .53 .33 12   39 6.8 3.6 120 310
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900    900    8400   3500   .17  0      .63 .41 8.5 40 5.8 3.1 71 300
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 0 750    750    7400   3000   .20  0      21    11    310   740 13   7.4 180 470
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 630    630    4700   2800   .20  0      16    8.4  250   560 12   6.6 170 470
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c 0 410    410    4300   2500   .20  0      23    12    360   700 13   7.3 150 470
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c 0 900    900    7000   3200   .20  0      .49 .32 11   42 7.3 3.8 94 300
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c 0 900    900    7600   3200   .20  0      .51 .33 13   39 7.3 3.9 80 290
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c 0 900    900    7600   3200   .20  0      .52 .34 12   40 6.8 3.6 90 300
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900    900    6500   3200   .20  0      .53 .35 12   43 6.9 3.6 110 300
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 0 .31 .31 3.8 11   .037 0      6.0  3.2  100   290 7.4 4.0 120 320
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 .31 .31 3.6 11   .037 0      29    17    420   1400 9.1 4.9 110 330
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 0 .27 .27 2.7 11   .037 0      7.5  4.0  91   300 11   6.0 97 320
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 .25 .25 3.4 11   .037 .32   27    15    640   1300 9.8 5.2 150 350
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 0 .63 .63 7.2 13   .037 0      7.5  4.0  140   330 10   5.4 130 320
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 .75 .86 7.3 20   .037 8.6    33    19    630   1400 8.2 4.4 160 320
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 0 .37 .36 3.9 11   .037 0      7.7  4.1  110   300 9.9 5.2 170 330
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 .37 .37 3.9 11   .037 0      36    20    540   1600 8.2 4.4 150 310
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 1.7  1.7  21   18   .049 0      8.7  4.6  150   350 11   6.0 120 340
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 1.9  1.8  26   19   .049 .32   35    21    670   1700 8.6 4.6 160 330
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 0 .68 .68 7.6 14   .049 0      9.8  5.2  120   370 9.5 5.1 160 330
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 .69 .68 9.6 14   .049 0      33    19    690   1800 8.8 4.7 170 320
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 0 5.3  5.2  54   36   .061 0      11    5.7  130   430 11   6.1 110 330
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 6.2  6.2  70   40   .061 0      47    29    480   2100 9.5 5.1 170 330
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c 0 1.5  1.5  18   20   .061 0      9.1  4.8  130   450 8.2 4.5 150 320
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 1.4  1.4  18   20   .061 0      40    24    890   1800 9.1 4.9 180 330
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 1 .32 .32 3.0 11   .025 0      5.6  3.0  110   280 53   34   730 1100
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1 .32 .32 3.3 11   .025 0      30    16    420   1100 40   22   840 820
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 .92 .92 14   29   .025 0      29    16    560   1000 8.7 4.7 190 340
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 0 .75 .74 8.9 12   .037 0      6.7  3.6  130   310 12   6.1 200 490
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 1.2  1.2  6.3 12   .037 0      30    17    270   1300 12   6.2 230 480
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 3.2  3.2  35   42   .037 0      32    18    650   1100 11   5.8 110 350
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 3.3  3.3  36   15   .049 0      8.3  4.4  120   340 13   6.8 190 550
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 3.4  3.4  33   15   .049 0      32    18    660   1400 14   7.5 170 550
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 13    13    160   72   .049 0      36    20    660   1200 10   5.6 140 370
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 0 16    16    130   28   .061 0      8.0  4.2  170   390 17   8.9 220 610
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 15    15    110   27   .061 0      38    22    490   1700 17   8.7 230 600
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 44    44    560   140   .061 .32   43    24    540   1600 11   5.9 200 420
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c 0 52    52    490   73   .074 0      11    5.5  170   460 15   8.0 330 650
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 44    44    420   71   .074 8.2    37    22    790   2000 17   9.1 230 690
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 170    170    2100   330   .074 0      45    26    680   1900 12   6.3 220 430
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c 0 160    160    1600   200   .086 0      11    5.7  210   460 20   11   190 820
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 140    140    1900   170   .086 0      37    22    540   2200 16   8.5 290 860
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 860    860    9300   890   .086 0      44    26    400   2300 12   6.4 210 480
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 0 .79 .79 9.9 15   .049 0      9.5  5.0  120   330 9.3 5.0 180 330
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 .82 .82 9.5 15   .049 .0041 37    21    460   1500 11   5.9 110 320
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c 0 .41 .41 3.9 13   .049 0      79    60    1800   4300 10   5.6 120 320
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 .41 .41 5.5 14   .049 0      97    73    2800   4200 8.4 4.5 140 320
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c 0 .61 .61 7.4 14   .049 0      76    59    2000   4200 9.2 5.0 160 330
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c 0 .62 .62 7.3 14   .049 0      97    70    1700   3900 10   5.3 130 320
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c 0 1.0  1.0  12   14   .049 0      20    10    290   630 9.5 5.0 160 320
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c 0 1.2  1.2  16   14   .049 0      97    71    2300   4900 9.3 5.0 130 320
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 24    24    290   97   .049 0      97    71    1600   3300 9.2 4.9 160 350
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 0 110    110    1200   1100   .086 0      11    6.0  160   450 11   6.0 150 350
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 120    120    1400   1200   .086 0      38    24    910   2200 11   5.9 190 360
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 0 24    24    290   160   .11  0      27    14    470   1100 13   6.8 120 380
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 24    24    320   170   .11  0      23    12    270   710 11   6.1 160 360
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c 0 45    45    500   310   .11  0      29    15    390   1300 10   5.5 110 350
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c 0 41    41    530   250   .11  0      25    13    250   830 11   6.2 110 360
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c 0 92    93    1100   520   .11  0      30    17    590   1400 12   6.3 140 370
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c 0 95    95    1200   500   .11  0      28    14    360   960 9.8 5.3 140 350
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900    900    8700   2100   .11  0      .57 .35 10   40 6.1 3.3 120 310
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 0 900    900    9600   3400   .18  0      .58 .37 8.6 39 8.0 4.2 92 300
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 0 900    900    8300   3600   .18  0      .68 .43 6.5 42 8.1 4.2 82 320
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 0 900    900    7800   3300   .21  8.4    .52 .33 9.9 40 6.2 3.3 94 310
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 0 900    900    8400   3200   .21  0      .49 .33 11   40 8.1 4.2 100 310
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c 0 650    650    6100   3000   .21  0      23    12    340   860 12   6.6 240 470
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c 0 870    870    5900   3100   .21  .32   15    7.7  320   580 13   7.0 230 480
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c 0 900    900    9700   3300   .21  0      .49 .32 10   39 5.4 2.9 79 290
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c 0 900    900    7900   3100   .21  0      .58 .37 13   44 6.4 3.4 120 310
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 0 900    900    11000   3300   .21  7.5    .54 .34 14   40 6.2 3.3 120 300
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c 0 900    900    9500   610   .25  0      .55 .36 12   43 6.0 3.2 130 300
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c 0 900    900    7900   1500   1.7   0      .54 .36 8.9 42 7.9 4.2 79 290
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c 0 900    900    7500   570   .25  0      .68 .43 10   40 7.9 4.1 86 300
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c 0 900    900    7100   1500   1.7   0      .52 .33 11   40 8.4 4.4 91 310
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c 0 900    900    8200   620   .33  0      .66 .43 7.6 41 6.7 3.5 93 300
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c 0 900    900    11000   2500   2.0   0      .55 .35 12   44 7.0 3.7 91 300
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c 0 900    900    8100   610   .33  0      .50 .32 11   41 6.6 3.5 110 300
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c 0 900    900    7500   2500   2.0   0      .52 .34 13   40 6.9 3.6 120 310
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c 0 900    900    7200   950   .82  0      .51 .33 12   40 8.4 4.4 88 310
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c 0 900    900    7500   1900   1.4   0      .63 .40 9.2 39 8.2 4.3 89 300
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c 0 900    900    8900   620   .21  0      .54 .34 10   39 7.7 4.1 69 300
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c 0 900    900    7400   1200   1.6   0      .52 .33 10   40 7.4 3.9 150 320
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c 0 900    900    8500   610   .23  0      .51 .33 13   40 6.0 3.3 120 290
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c 0 900    900    7300   1200   1.7   0      .51 .32 10   40 6.9 3.6 110 310
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c 0 900    900    9400   850   .31  0      .63 .41 7.4 40 7.0 3.7 73 290
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c 0 900    900    8600   870   .32  0      .57 .36 14   42 6.6 3.5 120 300
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c 0 900    900    12000   940   .32  0      .53 .35 9.9 40 7.1 3.7 95 310
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c 0 900    900    9000   910   .32  0      .53 .33 11   39 6.4 3.4 110 310
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c 0 900    900    11000   780   .53  0      .60 .38 13   43 6.2 3.3 120 290
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c 0 900    900    7300   720   .53  0      .48 .31 13   40 8.0 4.2 100 300
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c 0 900    900    8800   860   .37  0      .56 .37 8.6 40 6.4 3.4 87 290
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c 0 900    900    10000   860   .37  0      .61 .39 9.2 40 7.9 4.2 90 300
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c 0 45    45    600   99   .23  8.9    97    70    2500   4100 36   23   490 810
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c 0 900    900    11000   910   .23  0      .57 .36 13   43 6.7 3.5 130 310
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c 0 46    46    580   130   .28  0      96    88    1800   4000 31   21   400 830
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c 0 90    90    1000   160   .28  0      96    88    2200   4000 35   23   480 820
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c 0 900    900    6700   4300   .061 0      .64 .40 7.6 39 5.6 3.0 99 290
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    900    5800   4700   .061 0      .55 .36 10   44 7.1 3.7 130 310
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 0 900    900    8700   4200   .049 0      .62 .39 8.5 40 6.7 3.5 98 300
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    900    10000   4100   .049 0      .64 .40 8.4 39 6.5 3.4 120 310
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 2 1.6  1.5  18   15   .049 0      42    32    510   560 160   98   3200 7000
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    900    11000   370   .049 0      .52 .35 8.6 42 5.9 3.2 100 300
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 0 900    900    7300   1700   .098 0      .63 .41 7.7 41 7.5 4.0 75 300
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    900    9700   2100   .098 0      .48 .31 10   39 6.5 3.4 100 300
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 0 900    900    7100   3200   .20  0      .52 .34 12   41 6.9 3.6 130 310
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    900    7300   3100   .20  0      .50 .32 10   40 7.3 3.8 120 320
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 2 .29 .29 3.5 11   .037 0      22    15    190   490 190   120   3600 7000
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c 0 590    590    9000   380   .037 0      .57 .38 10   41 8.3 4.4 81 300
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 2 .64 .64 8.1 13   .037 0      66    57    1500   600 160   98   1300 7000
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    900    12000   1000   .037 0      .50 .33 11   41 6.6 3.4 100 300
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 2 3.0  3.0  41   26   .049 0      310    290    3300   740 150   93   3100 7000
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    900    9900   1800   .049 0      .48 .31 4.0 41 5.6 3.0 100 300
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c 1 20    20    270   87   .061 0      900    890    15000   920 240   150   3900 7000
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    900    11000   2600   .061 0      .68 .43 9.1 43 6.9 3.7 79 290
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 2 .30 .30 2.9 10   .025 0      15    9.3  150   430 960   850   20000 5600
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    900    12000   210   .025 0      .61 .38 10   40 6.8 3.5 100 300
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 2 .75 .74 6.0 12   .037 0      27    19    310   560 190   130   3400 7000
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    900    11000   400   .037 0      .62 .39 9.6 42 6.9 3.6 130 310
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 2 4.0  3.9  43   18   .049 0      80    72    1200   640 180   120   3500 7000
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    900    12000   760   .049 0      .66 .42 7.7 40 7.2 3.8 72 310
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c 2 22    22    250   40   .061 0      250    240    4200   720 240   160   3100 7000
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    900    13000   1300   .061 0      .48 .32 11   39 6.0 3.2 120 300
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c 2 130    130    1400   120   .074 0      770    760    17000   930 250   170   5100 7000
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    900    12000   1800   .074 0      .51 .35 6.3 40 7.5 3.9 80 290
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c 0 900    900    8000   520   .086 0      .60 .39 7.1 40 6.5 3.4 120 310
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    900    9600   900   .086 0      .46 .30 10   40 5.7 3.1 120 300
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c 2 1.6  1.6  17   16   .049 0      36    29    840   570 210   130   3400 7000
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    900    10000   370   .049 0      .51 .34 10   40 6.4 3.4 100 300
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c 0 900    900    11000   2000   .11  0      .60 .38 9.9 41 6.2 3.3 94 300
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    900    11000   2200   .11  0      .48 .32 7.1 40 7.5 3.9 88 310
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c 0 900    900    7400   3300   .21  0      .53 .32 12   39 7.6 4.0 95 320
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c 0 900    900    10000   3100   .21  0      .49 .32 12   40 7.8 4.2 76 300
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c 0 900    900    10000   600   .25  0      .51 .33 12   41 6.5 3.4 120 290
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c 0 900    900    7800   1500   1.7   0      .55 .36 10   41 7.0 3.6 100 300
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c 0 900    900    10000   630   .33  0      .62 .39 7.5 40 7.4 3.9 84 300
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c 0 900    900    7500   2500   2.0   0      .60 .39 4.3 40 8.2 4.3 93 300
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c 0 900    900    8500   960   .82  0      .60 .38 9.4 40 6.1 3.2 130 300
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c 0 900    900    7000   950   .82  0      .57 .36 14   42 6.6 3.4 89 310
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c 0 900    900    7000   1900   1.4   0      .51 .33 13   39 6.8 3.6 120 290
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c 0 900    900    8500   3300   2.1   0      .54 .34 11   40 9.2 4.8 97 310
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c 0 900    900    9300   620   .21  0      .51 .34 5.9 40 7.2 3.8 85 290
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c 0 900    900    7100   1200   1.6   0      .50 .32 11   39 8.4 4.5 90 300
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c 0 900    900    9500   580   .21  0      .55 .35 14   43 7.7 4.0 110 310
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c 0 900    900    8000   1200   1.6   8.5    .58 .36 10   40 6.8 3.6 120 290
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c 0 900    900    7700   590   .23  .012  .56 .36 9.7 39 6.2 3.3 130 310
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c 0 900    900    7400   1200   1.7   0      .52 .33 12   40 6.9 3.6 120 310
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c 0 900    900    11000   920   .31  0      .49 .32 9.5 39 6.0 3.3 120 290
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c 0 900    900    11000   880   .32  0      .48 .32 10   40 7.5 4.0 83 300
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c 0 900    900    12000   840   .53  0      .57 .37 10   41 7.1 3.8 86 300
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c 0 900    900    12000   780   .53  0      .51 .32 12   42 7.7 4.1 100 310
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c 0 900    900    10000   790   .53  0      .59 .38 13   43 6.9 3.6 120 300
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c 0 900    900    11000   820   .53  0      .47 .32 6.8 41 8.0 4.2 81 310
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c 0 900    900    9700   770   .37  0      .48 .30 8.9 40 7.1 3.7 150 310
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c 0 900    900    8400   850   .37  0      .53 .32 13   39 6.7 3.5 130 300
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c 0 900    900    9700   820   .37  0      .61 .39 8.0 41 5.9 3.1 110 280
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c 0 900    900    9100   850   .38  0      .51 .33 12   41 8.4 4.4 95 300
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c 1 180    180    2300   270   .23  0      110    97    2200   7000 820   760   16000 7000
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c 0 900    900    10000   800   .23  0      .59 .37 10   41 6.7 3.5 120 310
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c 1 180    180    2300   270   .23  .32   85    73    2100   7000 960   940   18000 1200
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c 0 900    900    12000   880   .23  0      .52 .34 12   41 5.6 3.0 95 290
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c 1 280    280    3400   360   .28  0      88    74    1400   7000 960   930   14000 1300
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c 0 900    900    12000   800   .28  0      .56 .36 9.5 39 7.5 4.0 88 300
seq-pthread/cs_fib_false-unreach-call.i 0 900    900    12000   130   .11  0      .55 .34 10   40 7.2 3.8 82 300
seq-pthread/cs_fib_longer_false-unreach-call.i 0 900    900    11000   160   .11  .0041 .70 .45 8.5 41 6.3 3.3 130 300
seq-pthread/cs_lazy_false-unreach-call.i 0 .37 .49 4.2 20   .098 8.7    96    76    1500   3300 9.4 5.1 130 330
seq-pthread/cs_queue_false-unreach-call.i 0 8.2  8.2  110   22   .16  0      .50 .33 9.2 42 6.1 3.2 130 300
seq-pthread/cs_read_write_lock_false-unreach-call.i 0 900    900    11000   370   .098 .0041 .51 .34 7.1 40 5.6 3.0 92 290
seq-pthread/cs_stack_false-unreach-call.i 0 870    870    10000   450   .14  0      97    66    1800   4400 13   7.1 190 310
seq-pthread/cs_stateful_false-unreach-call.i 0 180    180    2300   100   .098 0      97    80    2300   3700 9.4 5.0 160 320
seq-pthread/cs_dekker_true-unreach-call.i 2 .86 .85 11   13   .098 0      460    450    3800   1700 960   930   17000 2300
seq-pthread/cs_fib_longer_true-unreach-call.i 0 900    900    11000   190   .11  8.4    .47 .30 8.7 40 6.8 3.6 92 300
seq-pthread/cs_fib_true-unreach-call.i 0 900    900    11000   150   .11  0      .48 .32 8.4 40 6.9 3.6 110 300
seq-pthread/cs_lamport_true-unreach-call.i 2 .70 .69 9.7 12   .11  0      570    560    9200   1700 960   920   14000 2100
seq-pthread/cs_peterson_true-unreach-call.i 2 .69 .68 7.4 12   .098 0      390    370    6000   1600 960   920   21000 1100
seq-pthread/cs_queue_true-unreach-call.i 0 20    20    290   29   .16  0      .54 .35 8.8 40 7.0 3.7 110 310
seq-pthread/cs_read_write_lock_true-unreach-call.i 0 900    900    9700   400   .098 0      .54 .34 11   40 6.2 3.2 100 300
seq-pthread/cs_stack_true-unreach-call.i 0 1.8  1.8  20   14   .14  0      .49 .32 9.3 39 8.1 4.3 89 300
seq-pthread/cs_stateful_true-unreach-call.i 2 190    190    2500   110   .098 0      550    530    13000   1800 960   920   13000 3000
seq-pthread/cs_sync_true-unreach-call.i 0 900    900    10000   190   .14  0      .53 .35 12   42 6.7 3.6 95 300
seq-pthread/cs_szymanski_true-unreach-call.i 2 .70 .69 8.5 12   .098 0      350    330    3100   1500 960   930   15000 2300
seq-pthread/cs_time_var_mutex_true-unreach-call.i 1 1.8  1.8  18   14   .098 0      900    890    6400   1900 960   930   16000 2900
../../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 41 130000   130000   1300000 370000 56    70    273 4700 3100 91000 190000   273 1800 980 26000 62000   273 6100 5800 92000 42000   273 12000 11000 200000 120000  
    correct results 21 36 350   350   4300 500 1.1  .32 6 56 31 920 2500   6 130 74 2100 3200   15 3900 3800 64000 15000   0 7500 6600 130000 79000  
        correct true 15 30 350   350   4300 440 .97 0    2 0 0 0 0   4 0 0 0 0   15 3900 3800 64000 15000   0 7500 6600 130000 79000  
        correct false 6 6 1.4 1.4 16 60 .15 .32 4 56 31 920 2500   2 130 74 2100 3200   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 127 5 16000   16000   150000 100000 9.7  37    100 4600 3100 89000 190000   121 1400 750 20000 46000   0 2100 2000 27000 24000   0 3900 3700 67000 19000  
        correct-unconfirmed true 5 5 660   660   8200 990 .91 .32 100 0 0 0 0   121 0 0 0 0   0 2100 2000 27000 24000   0 3900 3700 67000 19000  
        correct-unconfirmed false 122 0 16000   16000   150000 100000 8.8  37    0 4600 3100 89000 190000   0 1400 750 20000 46000   0 0 0 0 0   0 0 0 0 0  
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (273 tasks, max score: 376) 41
Run set sv-comp17.ReachSafety-Sequentialized