Tool CBMC
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24]
OS Linux 4.2.0-22-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz, cores: 32, frequency: 3.4 GHz; RAM: 135149 MB
Date of execution 2016-01-03 00:42:25 CET [[ 2016-01-15 08:22:02 CET ]] [[ 2016-01-15 21:54:19 CET ]]
Run set sv-comp16.Sequentialized
Options --graphml-cex error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/cbmc.2016-01-03_0042.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/cbmc.2016-01-03_0042.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]]
../../sv-benchmarks/c/ status cputime (s) walltime (s) memUsage (MB) witness wit1_status wit1_cputime (s) wit1_walltime (s) wit1_memUsage (MB) wit2_status wit2_cputime (s) wit2_walltime (s) wit2_memUsage (MB)
systemc/kundu1_false-unreach-call_false-termination.cil.c 4.6  4.6  61 24   13   810 87 48   1400
systemc/kundu2_false-unreach-call_false-termination.cil.c .40 .41 29 14   7.3 590 92 54   1700
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c .18 .19 28 6.8 3.8 270 14 9.4 340
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c .17 .18 26 9.0 4.9 370 21 12   480
systemc/pipeline_false-unreach-call_false-termination.cil.c 21    21    340 91   60   2400 30 17   650
systemc/token_ring.01_false-unreach-call_false-termination.cil.c 2.5  2.5  53 16   8.8 550 29 18   550
systemc/token_ring.02_false-unreach-call_false-termination.cil.c 4.5  4.5  83 20   11   610 40 22   790
systemc/token_ring.03_false-unreach-call_false-termination.cil.c 7.6  7.6  120 23   12   720 51 28   840
systemc/token_ring.04_false-unreach-call_false-termination.cil.c 12    12    170 31   16   800 60 35   990
systemc/token_ring.05_false-unreach-call_false-termination.cil.c 18    18    220 31   16   730 70 40   1300
systemc/token_ring.06_false-unreach-call_false-termination.cil.c 27    27    280 36   19   960 92 53   1500
systemc/token_ring.07_false-unreach-call_false-termination.cil.c 36    36    350 91   72   1000 92 56   1700
systemc/token_ring.08_false-unreach-call_false-termination.cil.c 49    49    430 41   23   1100 91 52   1500
systemc/token_ring.09_false-unreach-call_false-termination.cil.c 65    65    510 41   23   1000 91 53   1500
systemc/token_ring.10_false-unreach-call_false-termination.cil.c 74    74    610 90   69   1800 91 51   1700
systemc/token_ring.11_false-unreach-call_false-termination.cil.c 110    110    700 90   70   1300 92 50   1500
systemc/token_ring.12_false-unreach-call_false-termination.cil.c 140    140    800 90   72   1500 92 50   1500
systemc/token_ring.13_false-unreach-call_false-termination.cil.c 170    170    940 54   34   1500 90 51   1300
systemc/token_ring.14_false-unreach-call_false-termination.cil.c 140    140    800 90   73   1500 92 49   1700
systemc/token_ring.15_false-unreach-call_false-termination.cil.c 170    170    930 56   36   1400 92 50   1500
systemc/toy1_false-unreach-call_false-termination.cil.c 5.4  5.4  58 14   7.5 550 75 38   940
systemc/toy2_false-unreach-call_false-termination.cil.c 5.2  5.2  56 13   7.3 530 65 35   920
systemc/transmitter.01_false-unreach-call_false-termination.cil.c .17 .18 26 8.7 4.8 330 24 13   410
systemc/transmitter.02_false-unreach-call_false-termination.cil.c .17 .18 27 16   8.8 540 32 18   530
systemc/transmitter.03_false-unreach-call_false-termination.cil.c .24 .26 29 20   10   550 41 23   670
systemc/transmitter.04_false-unreach-call_false-termination.cil.c .26 .27 31 16   8.5 570 47 27   770
systemc/transmitter.05_false-unreach-call_false-termination.cil.c .32 .33 34 26   14   830 64 36   1000
systemc/transmitter.06_false-unreach-call_false-termination.cil.c .54 .55 36 34   18   840 72 42   1200
systemc/transmitter.07_false-unreach-call_false-termination.cil.c .68 .69 39 31   17   1000 92 52   1400
systemc/transmitter.08_false-unreach-call_false-termination.cil.c .87 .87 43 36   20   1000 92 53   1500
systemc/transmitter.09_false-unreach-call_false-termination.cil.c 1.0  1.0  48 33   19   1200 91 53   1500
systemc/transmitter.10_false-unreach-call_false-termination.cil.c 1.1  1.1  51 41   24   1400 91 53   1400
systemc/transmitter.11_false-unreach-call_false-termination.cil.c 1.5  1.5  58 47   28   1500 91 53   1500
systemc/transmitter.12_false-unreach-call_false-termination.cil.c 1.6  1.6  70 55   34   1600 91 54   1700
systemc/transmitter.13_false-unreach-call_false-termination.cil.c 2.1  2.1  77 54   34   1600 91 53   1300
systemc/transmitter.15_false-unreach-call_false-termination.cil.c 2.0  2.0  62 12   6.5 550 82 50   1400
systemc/transmitter.16_false-unreach-call_false-termination.cil.c 2.2  2.2  67 15   7.9 570 88 56   1400
systemc/bist_cell_true-unreach-call_false-termination.cil.c 850    850    1700
systemc/kundu_true-unreach-call_false-termination.cil.c 850    850    750
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c 850    850    1600
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c 850    850    530
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c 850    850    530
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c 850    850    550
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c 850    850    560
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c 850    850    750
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c 850    850    610
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c 850    850    490
systemc/pipeline_true-unreach-call_false-termination.cil.c 850    850    430
systemc/token_ring.01_true-unreach-call_false-termination.cil.c 850    850    650
systemc/token_ring.02_true-unreach-call_false-termination.cil.c 850    850    750
systemc/token_ring.03_true-unreach-call_false-termination.cil.c 850    850    1200
systemc/token_ring.04_true-unreach-call_false-termination.cil.c 850    850    950
systemc/token_ring.05_true-unreach-call_false-termination.cil.c 850    850    1300
systemc/token_ring.06_true-unreach-call_false-termination.cil.c 850    850    1400
systemc/token_ring.07_true-unreach-call_false-termination.cil.c 850    850    1700
systemc/token_ring.08_true-unreach-call_false-termination.cil.c 850    850    520
systemc/token_ring.09_true-unreach-call_false-termination.cil.c 850    850    670
systemc/token_ring.10_true-unreach-call_false-termination.cil.c 850    850    700
systemc/token_ring.11_true-unreach-call_false-termination.cil.c 850    850    880
systemc/token_ring.12_true-unreach-call_false-termination.cil.c 850    850    980
systemc/token_ring.13_true-unreach-call_false-termination.cil.c 850    850    1100
systemc/toy_true-unreach-call_false-termination.cil.c 850    850    770
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c .28 .29 29 16   8.7 550 28 15   520
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c .28 .29 29 16   8.4 550 29 15   530
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c .28 .29 29 18   9.8 590 46 25   760
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c .32 .33 29 16   8.5 600 43 24   590
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c .28 .30 31 19   10   610 38 21   640
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c .31 .32 30 18   9.7 610 35 19   560
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c 1.3  1.3  36 28   15   900 91 50   1200
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c 1.3  1.3  37 27   15   870 92 52   1300
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals.c .84 .86 34 24   13   770 90 55   1600
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c .85 .86 35 24   13   740 91 55   1200
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals.c .82 .84 35 23   12   670 90 54   1300
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c .80 .82 35 19   10   580 91 57   1500
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c .51 .52 34 18   9.5 550 91 70   980
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c .50 .52 34 17   9.3 580 91 66   1100
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c .15 .16 28 12   6.8 500 57 39   720
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c .22 .23 30 15   8.0 510 48 32   690
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c .50 .52 32 17   9.1 520 90 65   1000
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c .52 .53 32 16   8.8 520 91 68   1000
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c .38 .39 32 16   8.7 560 82 56   990
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c .53 .55 31 17   8.9 530 75 52   1200
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c 1.1  1.1  38 12   6.3 410 91 62   1400
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1.2  1.3  38 12   6.7 410 91 57   1400
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c 1.3  1.3  39 26   13   840 19 11   430
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1.2  1.3  39 28   15   860 18 9.7 430
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c 1.2  1.2  40 23   12   870 19 10   410
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c 1.3  1.3  40 27   14   870 18 10   420
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c 1.3  1.4  39 27   14   860 19 11   420
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c 1.4  1.4  40 27   14   840 17 9.5 450
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c 8.1  8.2  73 36   19   1400 90 52   1800
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 9.1  9.1  81 45   24   1100 91 51   1600
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c 4.6  4.6  53 43   23   1100 25 14   500
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 4.7  4.7  53 40   21   1000 26 15   520
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c 8.9  8.9  74 41   22   1400 24 13   490
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c 9.5  9.6  84 48   25   1500 25 15   440
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c 8.9  8.9  73 14   7.6 440 26 17   520
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c 10    10    82 43   23   1000 26 17   420
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c .39 .41 28 14   7.8 500 26 14   490
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c .35 .37 30 14   7.6 510 28 17   460
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c .36 .38 28 5.1 2.8 220 31 17   470
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c .28 .30 30 6.2 3.4 220 27 15   520
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c .92 .94 33 17   9.2 520 30 19   520
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1.0  1.0  35 7.6 4.3 240 64 48   690
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c .96 .99 31 5.9 3.3 240 28 16   510
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1.1  1.2  34 6.4 3.5 220 34 19   520
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c 1.2  1.3  35 22   12   680 91 69   840
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1.3  1.4  35 21   11   640 90 72   970
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c 1.2  1.2  34 21   11   610 69 46   770
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1.3  1.3  34 21   11   600 31 18   540
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c 1.4  1.4  37 26   14   860 90 70   780
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1.4  1.4  38 28   15   850 91 67   820
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c 1.4  1.4  37 26   14   830 91 79   570
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1.3  1.3  37 28   15   860 65 47   730
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c .34 .35 27 5.8 3.2 220 34 19   560
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c .37 .39 27 5.4 3.0 220 27 16   510
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c .69 .70 32 15   8.0 560 44 28   560
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c .67 .69 32 15   8.1 540 35 21   530
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c .85 .87 33 21   11   630 91 67   970
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c .93 .95 35 21   11   610 90 72   770
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c .79 .81 36 23   12   840 90 71   800
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1.0  1.1  37 24   13   790 91 77   580
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c 20    20    40 34   18   870 90 74   780
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c 20    20    41 29   15   840 90 72   810
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c 13    13    43 37   19   900 91 63   1000
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c 13    13    44 36   19   950 91 56   1600
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c .56 .58 33 17   9.0 600 68 42   1000
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c .53 .55 34 15   8.1 550 70 44   1000
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c .21 .23 28 16   8.5 520 80 55   930
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c .24 .25 28 16   8.6 510 30 18   560
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c .52 .54 32 19   10   630 87 62   980
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c .53 .55 31 18   9.6 640 45 27   700
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c .59 .60 34 18   9.5 590 79 52   1000
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c .60 .62 34 19   10   590 69 42   990
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c 1.1  1.1  39 25   13   900 90 58   1700
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1.4  1.4  39 27   14   900 91 57   1500
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c 1.4  1.4  39 11   5.9 400 19 11   440
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1.4  1.4  41 11   5.9 370 19 10   430
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c 1.4  1.4  41 26   14   860 18 9.7 430
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c 1.3  1.3  41 29   15   900 18 11   440
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c 1.6  1.6  41 25   13   880 17 9.3 420
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c 1.5  1.6  40 24   13   880 19 10   430
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c 9.3  9.3  78 39   20   1400 91 51   1600
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 10    10    88 43   22   1500 91 54   1500
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c 5.1  5.1  58 42   22   1400 22 13   480
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 5.2  5.2  58 40   21   1400 25 15   500
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c 9.9  9.9  79 39   21   1400 24 13   500
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c 11    11    90 15   8.1 460 27 16   510
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c 11    11    82 40   21   1400 23 13   490
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c 11    11    89 48   25   1500 24 14   500
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c 850    850    1800
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c 850    850    5400
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c 850    850    1900
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c 850    850    5400
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c 850    850    2000
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c 850    850    6400
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c 850    850    2000
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c 850    850    6200
seq-mthreaded/rekcba_ctm_false-unreach-call.2.c 110    110    1000 91   60   2600 91 56   1900
seq-mthreaded/rekcba_ctm_false-unreach-call.3.c 850    850    2200
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c 850    850    2000
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c 850    850    4900
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c 850    850    1900
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c 850    850    5100
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c 850    850    2100
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c 850    850    4600
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c 850    850    2100
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c 850    850    4600
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c 850    850    2300
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c 850    850    4900
seq-mthreaded/rekh_ctm_false-unreach-call.2.c 17    17    470 91   66   3600 80 53   890
seq-mthreaded/rekh_ctm_false-unreach-call.3.c 36    36    690 29   15   980 65 38   830
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c 850    850    1900
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c 850    850    4500
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c 850    850    2000
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c 850    850    4500
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c 12    12    55
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c 850    850    880
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals.c 6.2  6.2  45
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c 850    850    880
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c 3.6  3.6  33
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c 290    290    1200
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c 690    690    54
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c 850    850    820
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c 850    850    160
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c 850    850    160
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c 3.4  3.4  30
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c 520    520    800
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c 30    30    33
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c 850    850    790
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c 410    410    47
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c 850    850    470
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c 850    850    75
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c 850    850    88
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c 1.9  2.0  28
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c 130    130    580
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c 6.7  6.7  32
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c 210    210    710
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c 43    43    34
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c 700    700    980
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c 210    210    42
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c 850    850    810
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c 650    650    56
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c 850    850    330
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals.c 850    850    82
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c 850    850    160
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c 3.7  3.8  33
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c 300    300    1300
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c 360    360    52
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c 850    850    900
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c 850    850    150
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c 850    850    170
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c 110    110    1200
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c 850    850    5400
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c 850    850    1800
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c 850    850    6200
seq-mthreaded/rekcba_ctm_true-unreach-call.1.c 850    850    1400
seq-mthreaded/rekcba_ctm_true-unreach-call.2.c 850    850    1500
seq-mthreaded/rekcba_ctm_true-unreach-call.3.c 850    850    2200
seq-mthreaded/rekcba_ctm_true-unreach-call.4.c 850    850    3600
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c 92    92    1100
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c 850    850    4900
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c 95    95    1100
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c 850    850    5100
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c 98    98    1200
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c 850    850    5100
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c 110    110    1200
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c 630    630    4600
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c 850    850    2200
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c 850    850    4900
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c 850    850    2200
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c 850    850    5000
seq-mthreaded/rekh_ctm_true-unreach-call.1.c 140    140    480
seq-mthreaded/rekh_ctm_true-unreach-call.2.c 140    140    480
seq-mthreaded/rekh_ctm_true-unreach-call.3.c 300    300    710
seq-mthreaded/rekh_ctm_true-unreach-call.4.c 560    560    950
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c 91    91    1100
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c 460    460    4500
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c 120    120    1100
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c 680    680    4500
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c 100    100    1100
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c 580    580    4500
seq-pthread/cs_fib_false-unreach-call.i 3.5  3.5  73 12   6.2 440 11 6.2 320
seq-pthread/cs_fib_longer_false-unreach-call.i 15    15    110 11   5.9 440 11 6.1 320
seq-pthread/cs_lazy_false-unreach-call.i .61 .62 40 9.4 5.1 320 91 60   1300
seq-pthread/cs_queue_false-unreach-call.i 68    68    650 15   7.8 590 53 42   5700
seq-pthread/cs_read_write_lock_false-unreach-call.i 1.0  1.1  53 12   6.4 430 11 6.0 310
seq-pthread/cs_stack_false-unreach-call.i 1.6  1.6  77 12   6.4 460 11 6.3 320
seq-pthread/cs_stateful_false-unreach-call.i .57 .58 39 9.5 5.2 330 91 63   1000
seq-pthread/cs_dekker_true-unreach-call.i 850    850    150
seq-pthread/cs_fib_longer_true-unreach-call.i 100    100    130
seq-pthread/cs_fib_true-unreach-call.i 30    30    74
seq-pthread/cs_lamport_true-unreach-call.i 850    850    420
seq-pthread/cs_peterson_true-unreach-call.i 850    850    510
seq-pthread/cs_queue_true-unreach-call.i 850    850    1900
seq-pthread/cs_read_write_lock_true-unreach-call.i 7.2  7.2  53
seq-pthread/cs_stack_true-unreach-call.i 39    39    170
seq-pthread/cs_stateful_true-unreach-call.i 4.1  4.1  40
seq-pthread/cs_sync_true-unreach-call.i 850    850    380
seq-pthread/cs_szymanski_true-unreach-call.i 850    850    350
seq-pthread/cs_time_var_mutex_true-unreach-call.i 5.1  5.1  43
../../sv-benchmarks/c/ status cputime (s) walltime (s) memUsage (MB) witness wit1_status wit1_cputime (s) wit1_walltime (s) wit1_memUsage (MB) wit2_status wit2_cputime (s) wit2_walltime (s) wit2_memUsage (MB)
total tasks 261 82000 82000 220000 261 3700   2200   110000   261 8100   5100   130000  
    correct results 188 51000 51000 86000 93 2300   1200   73000   68 5600   3600   81000  
        correct true 88 51000 51000 81000 14 0   0   0   20 0   0   0  
        correct false 100 300 300 4600 79 2300   1200   73000   48 5600   3600   81000  
    incorrect results 13 8400 8400 32000 0 0   0   0   0 0   0   0  
        incorrect true 8 6800 6800 27000 0 0   0   0   0 0   0   0  
        incorrect false 5 1600 1600 4800 0 0   0   0   0 0   0   0  
score (261 tasks, max score: 364) -60
Run set sv-comp16.Sequentialized