Tool BLAST 2.7.3
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 17:36:26 CET [[ 2016-01-15 08:15:11 CET ]] [[ 2016-01-15 21:49:51 CET ]]
Run set sv-comp16.Sequentialized
Options -alias empty -enable-recursion -noprofile -cref -sv-comp -lattice -include-lattice symb -nosserr -svcomp-witness error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/blast.2016-01-03_1736.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/blast.2016-01-03_1736.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 witness unconfirmed 220     320     96 wit true 59   33   2000 true 19 11   490
systemc/kundu2_false-unreach-call_false-termination.cil.c exception (gremlins) 2.9   3.7   36 wit - -
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(reach) .089 .099 22 wit false(reach) 7.2 4.0 350 false(reach) 15 8.4 340
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(reach) .13  .14  23 wit false(reach) 7.4 4.2 370 false(reach) 23 13   510
systemc/pipeline_false-unreach-call_false-termination.cil.c timeout 720     930     450 wit - -
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(reach) 2.0   2.5   34 wit false(reach) 9.6 5.5 380 false(reach) 28 16   540
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(reach) 46     61     48 wit false(reach) 12   6.3 470 false(reach) 39 22   740
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(reach) 260     370     110 wit false(reach) 12   6.7 460 false(reach) 43 24   760
systemc/token_ring.04_false-unreach-call_false-termination.cil.c timeout 670     930     290 wit - -
systemc/token_ring.05_false-unreach-call_false-termination.cil.c timeout 660     930     270 wit - -
systemc/token_ring.06_false-unreach-call_false-termination.cil.c timeout 720     930     860 wit - -
systemc/token_ring.07_false-unreach-call_false-termination.cil.c timeout 680     930     250 wit - -
systemc/token_ring.08_false-unreach-call_false-termination.cil.c timeout 690     930     500 wit - -
systemc/token_ring.09_false-unreach-call_false-termination.cil.c timeout 690     930     400 wit - -
systemc/token_ring.10_false-unreach-call_false-termination.cil.c timeout 690     930     470 wit - -
systemc/token_ring.11_false-unreach-call_false-termination.cil.c timeout 690     930     630 wit - -
systemc/token_ring.12_false-unreach-call_false-termination.cil.c timeout 700     930     790 wit - -
systemc/token_ring.13_false-unreach-call_false-termination.cil.c timeout 710     930     1200 wit - -
systemc/token_ring.14_false-unreach-call_false-termination.cil.c timeout 700     930     790 wit - -
systemc/token_ring.15_false-unreach-call_false-termination.cil.c timeout 710     930     1200 wit - -
systemc/toy1_false-unreach-call_false-termination.cil.c false(reach) 170     240     66 wit false(reach) 12   6.7 480 false(reach) 46 24   800
systemc/toy2_false-unreach-call_false-termination.cil.c false(reach) 160     220     65 wit false(reach) 13   6.8 480 false(reach) 44 23   760
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(reach) .87  1.0   27 wit false(reach) 9.4 5.2 380 false(reach) 21 12   510
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(reach) 8.4   11     39 wit false(reach) 11   5.9 430 false(reach) 30 17   520
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(reach) 110     150     72 wit false(reach) 13   7.2 510 false(reach) 40 23   710
systemc/transmitter.04_false-unreach-call_false-termination.cil.c timeout 670     930     350 wit - -
systemc/transmitter.05_false-unreach-call_false-termination.cil.c timeout 660     930     480 wit - -
systemc/transmitter.06_false-unreach-call_false-termination.cil.c timeout 690     930     470 wit - -
systemc/transmitter.07_false-unreach-call_false-termination.cil.c timeout 700     930     830 wit - -
systemc/transmitter.08_false-unreach-call_false-termination.cil.c timeout 780     930     1600 wit - -
systemc/transmitter.09_false-unreach-call_false-termination.cil.c timeout 730     930     980 wit - -
systemc/transmitter.10_false-unreach-call_false-termination.cil.c timeout 750     930     1400 wit - -
systemc/transmitter.11_false-unreach-call_false-termination.cil.c timeout 740     930     1300 wit - -
systemc/transmitter.12_false-unreach-call_false-termination.cil.c timeout 710     930     730 wit - -
systemc/transmitter.13_false-unreach-call_false-termination.cil.c timeout 740     930     1300 wit - -
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(reach) .21  .22  30 wit false(reach) 14   7.7 550 false(reach) 81 49   1300
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(reach) .32  .33  30 wit false(reach) 15   8.2 560 false(reach) 83 52   1400
systemc/bist_cell_true-unreach-call_false-termination.cil.c true 1.8   2.2   27 wit - -
systemc/kundu_true-unreach-call_false-termination.cil.c exception (gremlins) 2.7   3.5   37 wit - -
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c true 61     87     49 wit - -
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c true 290     420     94 wit - -
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c timeout 670     930     300 wit - -
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c exception (gremlins) 110     160     64 wit - -
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c exception (gremlins) 120     160     69 wit - -
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c true 13     17     46 wit - -
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c true 11     15     46 wit - -
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c true 1.2   1.4   37 wit - -
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 680     930     320 wit - -
systemc/token_ring.01_true-unreach-call_false-termination.cil.c true 2.3   2.9   27 wit - -
systemc/token_ring.02_true-unreach-call_false-termination.cil.c true 54     73     50 wit - -
systemc/token_ring.03_true-unreach-call_false-termination.cil.c true 320     450     130 wit - -
systemc/token_ring.04_true-unreach-call_false-termination.cil.c timeout 660     930     270 wit - -
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout 670     930     320 wit - -
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 720     930     660 wit - -
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 690     930     250 wit - -
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 700     930     500 wit - -
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 690     930     390 wit - -
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 690     930     470 wit - -
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 690     930     630 wit - -
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 700     930     790 wit - -
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 700     930     1100 wit - -
systemc/toy_true-unreach-call_false-termination.cil.c true 500     660     100 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness unconfirmed 1.8   2.0   45 wit true 20   11   620 true 21 12   500
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed 1.9   2.1   46 wit true 16   8.7 530 true 22 12   440
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c witness unconfirmed 1.7   1.9   42 wit true 23   12   650 true 22 12   510
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c witness unconfirmed 2.0   2.2   42 wit true 16   8.7 530 true 20 11   420
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c witness unconfirmed 2.0   2.1   44 wit true 16   8.7 590 true 24 14   500
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c witness unconfirmed 2.2   2.3   44 wit true 15   8.2 540 true 20 11   440
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c witness unconfirmed 1.9   2.1   44 wit true 18   9.7 590 true 23 13   520
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c witness unconfirmed 2.1   2.3   42 wit true 14   7.5 510 true 23 13   520
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness unconfirmed 15     20     47 wit true 19   10   570 true 23 12   480
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed 14     18     47 wit true 13   7.2 540 true 22 13   490
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals.c witness unconfirmed 16     21     47 wit true 18   9.9 570 true 21 11   460
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness unconfirmed 16     20     49 wit true 15   8.3 500 true 22 12   470
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c witness unconfirmed .32  .32  30 wit true 20   11   780 true 20 11   390
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed .30  .31  31 wit true 16   8.6 630 true 19 10   380
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c witness unconfirmed .23  .24  33 wit true 20   11   780 true 17 9.6 380
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness unconfirmed .25  .25  34 wit true 15   8.2 530 true 19 10   360
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c witness unconfirmed .31  .31  31 wit true 23   12   780 true 20 11   380
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness unconfirmed .18  .18  32 wit true 18   9.5 580 true 18 9.7 390
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c witness unconfirmed .23  .23  30 wit true 23   12   760 true 19 11   370
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness unconfirmed .27  .28  31 wit true 17   9.0 660 true 18 10   390
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c witness unconfirmed .93  .93  56 wit true 37   21   1500 true 21 12   500
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed .94  .94  56 wit true 26   15   1300 true 20 11   500
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c witness unconfirmed .92  .92  54 wit true 45   25   1500 true 23 13   500
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness unconfirmed .88  .88  54 wit true 32   18   1300 true 22 12   510
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c witness unconfirmed .91  .91  54 wit true 44   25   1500 true 23 12   500
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness unconfirmed .92  .92  54 wit true 31   18   1300 true 22 15   510
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c witness unconfirmed .66  .67  54 wit true 46   26   1500 true 22 13   520
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness unconfirmed .88  .88  54 wit true 31   18   1300 true 23 13   530
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness timeout 3.4   3.4   170 wit timeout 91   65   4200 true 23 16   500
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed 3.2   3.2   170 wit true 76   53   3900 true 23 13   510
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c witness unconfirmed 3.2   3.2   170 wit true 88   64   4200 true 26 15   520
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness unconfirmed 3.3   3.3   160 wit true 74   53   3900 true 24 13   490
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c witness timeout 3.1   3.1   160 wit timeout 90   64   4100 true 24 13   490
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness unconfirmed 3.3   3.3   160 wit true 77   55   4000 true 23 13   490
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c witness timeout 3.0   3.0   160 wit timeout 91   64   4100 true 26 14   530
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness unconfirmed 3.3   3.3   160 wit true 75   53   4000 true 23 13   490
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c witness unconfirmed .21  .22  31 wit true 10   5.7 420 true 14 8.0 350
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed .15  .15  28 wit true 7.3 4.1 290 true 15 8.2 350
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c witness unconfirmed .21  .22  31 wit true 10   5.5 340 true 16 8.7 350
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness unconfirmed .13  .13  27 wit true 7.7 4.4 280 true 16 8.8 350
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c witness unconfirmed .17  .17  30 wit true 12   6.4 450 true 18 9.4 360
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed .19  .20  31 wit true 9.6 5.2 380 true 16 8.7 380
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c witness unconfirmed .18  .18  28 wit true 12   6.6 450 true 17 11   390
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness unconfirmed .17  .18  31 wit true 9.3 5.3 390 true 16 9.6 350
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness unconfirmed .23  .23  30 wit true 15   7.9 520 true 18 10   370
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed .16  .16  30 wit true 9.7 5.3 400 true 18 12   380
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c witness unconfirmed .22  .22  28 wit true 14   7.7 500 true 17 10   370
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness unconfirmed .21  .21  28 wit true 9.9 5.4 400 true 18 9.9 370
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c witness unconfirmed .29  .29  28 wit true 15   8.2 540 true 16 10   350
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed .21  .22  33 wit true 11   5.8 410 true 16 9.0 370
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c witness unconfirmed .17  .17  30 wit true 16   8.8 500 true 17 9.5 370
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness unconfirmed .31  .31  31 wit true 9.0 4.9 420 true 17 12   380
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c witness unconfirmed .19  .19  25 wit true 7.0 3.9 300 true 15 9.0 340
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed .19  .20  28 wit true 7.4 4.1 270 true 14 7.7 360
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c witness unconfirmed .18  .18  27 wit true 11   5.8 420 true 17 9.1 360
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed .15  .15  31 wit true 8.5 4.7 360 true 15 8.7 360
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness unconfirmed .17  .17  31 wit true 14   7.3 470 true 14 8.0 350
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed .21  .21  30 wit true 9.0 5.0 300 true 17 9.5 350
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c witness unconfirmed .30  .30  32 wit true 12   6.3 470 true 17 9.7 360
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed .22  .23  31 wit true 9.6 5.3 390 true 18 9.5 380
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c witness unconfirmed .29  .29  32 wit true 16   8.4 520 true 16 8.8 360
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed .34  .34  30 wit true 10   5.5 420 true 15 8.5 350
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c witness unconfirmed .29  .29  36 wit true 15   8.3 540 true 19 11   390
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed .37  .37  31 wit true 11   5.8 430 true 19 10   380
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c witness unconfirmed .22  .22  33 wit true 25   13   820 true 17 9.7 370
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed .25  .26  32 wit true 17   9.3 580 true 19 10   380
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c witness unconfirmed .23  .23  29 wit true 25   13   810 true 19 10   380
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness unconfirmed .22  .23  30 wit true 19   10   620 true 20 11   390
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c witness unconfirmed .34  .35  34 wit true 26   13   810 true 19 11   400
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness unconfirmed .24  .24  30 wit true 19   9.8 710 true 17 10   390
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c witness unconfirmed .19  .19  34 wit true 22   11   800 true 17 9.3 380
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness unconfirmed .23  .23  30 wit true 17   8.9 720 true 16 9.1 370
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c witness unconfirmed .74  .74  56 wit true 52   29   1600 true 21 12   500
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed 1.0   1.0   56 wit true 36   20   1300 true 22 15   540
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c witness unconfirmed .98  .98  57 wit true 47   27   1600 true 23 13   510
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness unconfirmed .95  .96  57 wit true 30   17   1300 true 21 12   500
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c witness unconfirmed 1.0   1.0   56 wit true 41   24   1600 true 22 12   390
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness unconfirmed .92  .92  57 wit true 34   19   1300 true 23 13   520
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c witness unconfirmed 1.0   1.0   56 wit true 48   27   1500 true 24 13   520
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness unconfirmed 1.0   1.0   56 wit true 33   19   1400 true 20 12   510
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness timeout 3.6   3.6   180 wit timeout 90   65   4100 true 26 15   530
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed 3.5   3.5   180 wit true 74   53   3900 true 27 15   540
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c witness timeout 3.1   3.1   170 wit timeout 91   67   4300 true 25 14   540
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness unconfirmed 3.4   3.4   170 wit true 73   53   4000 true 24 15   450
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c witness timeout 3.2   3.1   170 wit timeout 91   64   3900 true 25 14   540
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness unconfirmed 3.4   3.4   170 wit true 77   57   4000 true 23 14   530
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c witness timeout 3.3   3.3   170 wit timeout 92   65   3900 true 24 13   530
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness unconfirmed 3.2   3.2   170 wit true 76   55   4000 true 28 15   550
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c timeout 790     930     2400 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c timeout 390     390     15000 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c timeout 790     930     2500 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c timeout 390     390     15000 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c timeout 790     930     2600 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c timeout 380     380     15000 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c timeout 790     930     2500 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c timeout 390     390     15000 wit - -
seq-mthreaded/rekcba_ctm_false-unreach-call.2.c timeout 350     350     15000 wit - -
seq-mthreaded/rekcba_ctm_false-unreach-call.3.c timeout 360     360     15000 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c timeout 880     930     420 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c timeout 390     390     15000 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c timeout 790     930     2400 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c timeout 390     390     15000 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c exception (gremlins) 35     35     1500 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c exception (gremlins) 34     34     1500 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c exception (gremlins) 34     34     1500 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c exception (gremlins) 34     34     1500 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c exception (gremlins) 54     54     2300 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c exception (gremlins) 52     52     2300 wit - -
seq-mthreaded/rekh_ctm_false-unreach-call.2.c exception (gremlins) 32     32     830 wit - -
seq-mthreaded/rekh_ctm_false-unreach-call.3.c exception (gremlins) 27     26     520 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c exception (gremlins) 66     66     1600 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c exception (gremlins) 190     190     6200 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c exception (gremlins) 25     25     1100 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c exception (gremlins) 25     25     1100 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c false(reach) 2.1   2.3   45 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c false(reach) 1.6   1.8   44 wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals.c false(reach) 17     22     47 wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c false(reach) 16     21     47 wit - -
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c false(reach) .26  .26  30 wit - -
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c false(reach) .22  .22  31 wit - -
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c false(reach) .74  .74  54 wit - -
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c false(reach) .87  .87  54 wit - -
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c false(reach) 3.3   3.3   160 wit - -
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c false(reach) 3.2   3.2   160 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c false(reach) .20  .20  27 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c false(reach) .18  .19  31 wit - -
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c false(reach) .15  .15  28 wit - -
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c false(reach) .17  .18  31 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c false(reach) .21  .22  32 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c false(reach) .19  .20  27 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c false(reach) .23  .23  30 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c false(reach) .29  .29  33 wit - -
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c false(reach) .14  .15  26 wit - -
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c false(reach) .15  .16  26 wit - -
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c false(reach) .18  .18  26 wit - -
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c false(reach) .19  .20  27 wit - -
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c false(reach) .18  .18  32 wit - -
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c false(reach) .24  .25  30 wit - -
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c false(reach) .24  .24  31 wit - -
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c false(reach) .30  .30  33 wit - -
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c false(reach) .32  .32  33 wit - -
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c false(reach) .26  .26  30 wit - -
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals.c false(reach) .30  .30  31 wit - -
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c false(reach) .27  .27  31 wit - -
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c false(reach) .20  .21  29 wit - -
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c false(reach) .23  .23  30 wit - -
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c false(reach) .93  .93  56 wit - -
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c false(reach) 1.0   1.0   55 wit - -
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c false(reach) 3.1   3.1   170 wit - -
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c false(reach) 3.1   3.1   170 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c timeout 790     930     2500 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c timeout 400     400     15000 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c timeout 790     930     2500 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c timeout 390     390     15000 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.1.c timeout 340     340     15000 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.2.c timeout 350     350     15000 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.3.c timeout 360     360     15000 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.4.c timeout 390     390     15000 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c timeout 790     930     2900 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c timeout 380     380     15000 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c timeout 790     930     2300 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c timeout 380     380     15000 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c timeout 790     930     2300 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c timeout 390     390     15000 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c exception (gremlins) 34     34     1500 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c exception (gremlins) 33     33     1500 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c exception (gremlins) 52     52     2300 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c exception (gremlins) 52     52     2300 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c exception (gremlins) 53     53     2300 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c exception (gremlins) 52     52     2300 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.1.c exception (gremlins) 32     31     830 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.2.c exception (gremlins) 34     33     850 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.3.c exception (gremlins) 28     27     520 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.4.c exception (gremlins) 25     25     770 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c exception (gremlins) 68     67     1600 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c exception (gremlins) 190     190     6200 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c exception (gremlins) 33     33     1100 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c exception (gremlins) 34     34     1100 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c exception (gremlins) 25     25     1100 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c exception (gremlins) 25     25     1100 wit - -
seq-pthread/cs_fib_false-unreach-call.i true .67  .67  52 wit - -
seq-pthread/cs_fib_longer_false-unreach-call.i true .66  .66  50 wit - -
seq-pthread/cs_lazy_false-unreach-call.i true .062 .066 24 wit - -
seq-pthread/cs_queue_false-unreach-call.i true .84  .84  59 wit - -
seq-pthread/cs_read_write_lock_false-unreach-call.i true .12  .12  24 wit - -
seq-pthread/cs_stack_false-unreach-call.i true .093 .097 26 wit - -
seq-pthread/cs_stateful_false-unreach-call.i true .064 .066 23 wit - -
seq-pthread/cs_dekker_true-unreach-call.i true .22  .23  27 wit - -
seq-pthread/cs_fib_longer_true-unreach-call.i true .83  .84  50 wit - -
seq-pthread/cs_fib_true-unreach-call.i true .58  .58  43 wit - -
seq-pthread/cs_lamport_true-unreach-call.i true .21  .22  29 wit - -
seq-pthread/cs_peterson_true-unreach-call.i true .15  .15  26 wit - -
seq-pthread/cs_queue_true-unreach-call.i true 1.5   1.5   84 wit - -
seq-pthread/cs_read_write_lock_true-unreach-call.i true .16  .17  25 wit - -
seq-pthread/cs_stack_true-unreach-call.i true .098 .10  26 wit - -
seq-pthread/cs_stateful_true-unreach-call.i true .11  .11  23 wit - -
seq-pthread/cs_sync_true-unreach-call.i true .094 .098 24 wit - -
seq-pthread/cs_szymanski_true-unreach-call.i true .15  .16  25 wit - -
seq-pthread/cs_time_var_mutex_true-unreach-call.i true .29  .29  41 wit - -
../../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 44000   54000   360000 261 3000   1900   120000   261 2300   1300   48000  
    correct results 34 2000   2800   1600 12 140   75   5400   12 490   280   9000  
        correct true 22 1300   1700   1000 0 0   0   0   0 0   0   0  
        correct false 12 750   1000   570 12 140   75   5400   12 490   280   9000  
    incorrect results 43 61   71   2000 0 0   0   0   0 0   0   0  
        incorrect true 7 2.5 2.5 260 0 0   0   0   0 0   0   0  
        incorrect false 36 58   68   1800 0 0   0   0   0 0   0   0  
score (261 tasks, max score: 364) -744
Run set sv-comp16.Sequentialized