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