Tool SMACK+Corral 1.5.2
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-23-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-07 09:05:16 CET [[ 2016-01-15 09:34:34 CET ]] [[ 2016-01-15 22:36:10 CET ]]
Run set sv-comp16.Sequentialized
Options -w error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/smack.2016-01-07_0905.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/smack.2016-01-07_0905.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 7.0 6.8 100 wit true 11   6.2 380 true 12   15   320
systemc/kundu2_false-unreach-call_false-termination.cil.c witness unconfirmed 5.4 5.2 100 wit true 16   8.4 530 true 13   7.5 330
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(reach) 3.5 3.4 85 wit timeout 90   73   2400 false(reach) 15   9.3 350
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c witness timeout 3.6 3.6 93 wit timeout 91   72   3000 true 11   6.1 330
systemc/pipeline_false-unreach-call_false-termination.cil.c witness unconfirmed 26   25   310 wit true 66   41   2700 true 13   7.4 350
systemc/token_ring.01_false-unreach-call_false-termination.cil.c witness unconfirmed 4.4 4.3 98 wit true 9.0 4.9 330 true 12   7.1 330
systemc/token_ring.02_false-unreach-call_false-termination.cil.c witness unconfirmed 5.1 4.9 110 wit true 11   5.9 380 true 13   12   340
systemc/token_ring.03_false-unreach-call_false-termination.cil.c witness unconfirmed 6.5 6.3 120 wit true 16   8.3 560 true 13   7.7 340
systemc/token_ring.04_false-unreach-call_false-termination.cil.c witness unconfirmed 9.8 9.5 140 wit true 16   8.8 640 true 15   11   330
systemc/token_ring.05_false-unreach-call_false-termination.cil.c witness unconfirmed 10   9.6 150 wit true 19   10   750 true 14   9.6 330
systemc/token_ring.06_false-unreach-call_false-termination.cil.c witness unconfirmed 14   13   150 wit true 21   11   850 true 16   8.5 330
systemc/token_ring.07_false-unreach-call_false-termination.cil.c witness unconfirmed 18   18   200 wit true 29   15   860 true 15   8.7 330
systemc/token_ring.08_false-unreach-call_false-termination.cil.c witness unconfirmed 25   25   210 wit true 31   16   900 true 17   9.6 330
systemc/token_ring.09_false-unreach-call_false-termination.cil.c witness unconfirmed 32   31   230 wit true 31   16   890 true 15   8.4 330
systemc/token_ring.10_false-unreach-call_false-termination.cil.c witness unconfirmed 41   40   240 wit true 32   17   920 true 17   11   340
systemc/token_ring.11_false-unreach-call_false-termination.cil.c witness unconfirmed 56   55   280 wit true 36   19   930 true 17   9.9 350
systemc/token_ring.12_false-unreach-call_false-termination.cil.c witness unconfirmed 57   56   310 wit true 35   18   1100 true 16   9.0 330
systemc/token_ring.13_false-unreach-call_false-termination.cil.c witness unconfirmed 54   53   320 wit true 37   19   1100 true 17   11   360
systemc/token_ring.14_false-unreach-call_false-termination.cil.c witness unconfirmed 45   44   310 wit true 36   19   1100 true 17   11   340
systemc/token_ring.15_false-unreach-call_false-termination.cil.c witness unconfirmed 63   62   320 wit true 37   19   1100 true 18   11   350
systemc/toy1_false-unreach-call_false-termination.cil.c witness unconfirmed 7.0 6.8 120 wit true 15   8.0 590 true 14   8.0 330
systemc/toy2_false-unreach-call_false-termination.cil.c witness unconfirmed 8.2 8.0 130 wit true 17   9.3 610 true 16   9.7 340
systemc/transmitter.01_false-unreach-call_false-termination.cil.c witness unconfirmed 3.9 3.8 89 wit true 8.3 4.7 310 true 13   7.0 320
systemc/transmitter.02_false-unreach-call_false-termination.cil.c witness unconfirmed 4.5 4.4 93 wit true 9.8 5.4 340 true 11   6.0 310
systemc/transmitter.03_false-unreach-call_false-termination.cil.c witness unconfirmed 4.9 4.7 110 wit true 13   7.3 520 true 12   8.3 330
systemc/transmitter.04_false-unreach-call_false-termination.cil.c witness unconfirmed 6.3 6.1 110 wit true 15   7.9 590 true 14   9.5 330
systemc/transmitter.05_false-unreach-call_false-termination.cil.c witness unconfirmed 7.6 7.3 120 wit true 18   9.6 730 true 14   10   330
systemc/transmitter.06_false-unreach-call_false-termination.cil.c witness unconfirmed 11   11   140 wit true 20   11   660 true 15   10   320
systemc/transmitter.07_false-unreach-call_false-termination.cil.c witness unconfirmed 11   11   150 wit true 24   13   760 true 16   9.0 360
systemc/transmitter.08_false-unreach-call_false-termination.cil.c witness unconfirmed 14   13   170 wit true 28   15   850 true 18   10   350
systemc/transmitter.09_false-unreach-call_false-termination.cil.c witness unconfirmed 20   19   200 wit true 31   16   960 true 16   8.7 340
systemc/transmitter.10_false-unreach-call_false-termination.cil.c witness unconfirmed 19   18   210 wit true 32   17   950 true 16   9.3 350
systemc/transmitter.11_false-unreach-call_false-termination.cil.c witness unconfirmed 35   34   240 wit true 34   18   930 true 17   9.5 350
systemc/transmitter.12_false-unreach-call_false-termination.cil.c witness unconfirmed 29   28   240 wit true 36   19   980 true 18   10   340
systemc/transmitter.13_false-unreach-call_false-termination.cil.c witness unconfirmed 54   53   280 wit true 36   19   1100 true 15   8.8 350
systemc/transmitter.15_false-unreach-call_false-termination.cil.c witness unconfirmed 5.2 5.1 140 wit true 34   19   1400 true 16   9.9 340
systemc/transmitter.16_false-unreach-call_false-termination.cil.c witness unconfirmed 5.7 5.6 160 wit true 36   20   1500 true 16   9.1 360
systemc/bist_cell_true-unreach-call_false-termination.cil.c true 890   880   310 wit - -
systemc/kundu_true-unreach-call_false-termination.cil.c timeout 880   930   290 wit - -
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c true 880   880   520 wit - -
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c true 880   880   490 wit - -
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c true 880   880   470 wit - -
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c true 880   880   490 wit - -
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c true 880   880   510 wit - -
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c true 880   880   180 wit - -
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c true 890   880   320 wit - -
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c true 890   880   360 wit - -
systemc/pipeline_true-unreach-call_false-termination.cil.c true 880   880   580 wit - -
systemc/token_ring.01_true-unreach-call_false-termination.cil.c true 880   880   280 wit - -
systemc/token_ring.02_true-unreach-call_false-termination.cil.c true 880   880   240 wit - -
systemc/token_ring.03_true-unreach-call_false-termination.cil.c true 880   880   300 wit - -
systemc/token_ring.04_true-unreach-call_false-termination.cil.c true 880   880   370 wit - -
systemc/token_ring.05_true-unreach-call_false-termination.cil.c true 880   880   380 wit - -
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 880   930   410 wit - -
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 880   930   500 wit - -
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 880   930   520 wit - -
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 890   930   480 wit - -
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 890   930   520 wit - -
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 890   930   580 wit - -
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 880   930   510 wit - -
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 890   930   590 wit - -
systemc/toy_true-unreach-call_false-termination.cil.c timeout 880   930   270 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(reach) 8.1 7.8 150 wit true 10   5.8 350 false(reach) 26   16   510
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(reach) 5.3 5.2 120 wit true 10   5.6 370 false(reach) 27   17   500
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c false(reach) 21   20   180 wit true 11   5.8 400 false(reach) 31   17   540
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(reach) 9.7 9.3 140 wit true 11   5.8 370 false(reach) 34   19   560
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c false(reach) 40   40   220 wit true 11   5.8 370 false(reach) 37   21   550
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(reach) 13   13   140 wit true 11   5.8 390 false(reach) 36   20   550
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c timeout 880   930   390 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c witness unconfirmed 230   230   220 wit true 13   7.1 470 timeout 91   54   1400
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness unconfirmed 400   390   410 wit true 22   12   600 true 20   12   550
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(reach) 63   62   210 wit true 17   9.2 560 false(reach) 35   19   600
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals.c witness unconfirmed 33   32   210 wit true 20   11   620 true 17   9.1 520
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness unconfirmed 32   32   200 wit true 18   9.7 580 true 21   13   570
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c witness unconfirmed 8.0 7.7 140 wit true 14   7.4 480 true 16   9.3 360
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed 7.5 7.3 130 wit true 12   6.3 450 true 17   11   370
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c witness unconfirmed 5.5 5.3 110 wit true 11   5.8 430 true 15   8.5 350
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness unconfirmed 4.5 4.4 120 wit true 11   5.8 430 true 15   8.5 360
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c witness unconfirmed 7.8 7.6 140 wit true 12   6.8 470 true 16   8.8 370
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness unconfirmed 8.8 8.6 140 wit true 13   6.9 490 true 16   9.0 360
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c witness unconfirmed 8.3 8.1 150 wit true 12   6.3 470 true 14   9.2 350
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness unconfirmed 8.5 8.2 150 wit true 12   6.6 470 true 15   8.3 360
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c witness unconfirmed 12   12   200 wit true 17   9.4 700 true 19   11   460
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed 14   14   190 wit true 17   8.9 670 true 17   9.8 450
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c witness unconfirmed 8.3 8.0 190 wit true 15   8.2 610 true 19   10   420
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness unconfirmed 8.4 8.1 190 wit true 15   8.3 630 true 19   12   370
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c witness unconfirmed 12   12   190 wit true 16   8.4 600 true 19   10   440
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness unconfirmed 14   13   200 wit true 16   8.3 640 true 19   11   420
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c witness unconfirmed 12   12   200 wit true 18   9.6 630 true 18   11   430
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness unconfirmed 14   14   200 wit true 19   10   700 true 19   12   380
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness unconfirmed 120   110   470 wit true 25   13   880 true 25   15   510
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed 120   120   450 wit true 19   10   760 true 24   13   510
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c witness unconfirmed 29   29   360 wit true 20   10   770 true 25   14   510
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness unconfirmed 34   33   330 wit true 18   9.7 780 true 27   15   510
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c witness unconfirmed 81   80   410 wit true 20   11   840 true 26   14   520
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness unconfirmed 85   84   390 wit true 21   11   860 true 22   12   490
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c witness unconfirmed 150   150   510 wit true 25   13   910 true 24   14   520
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness unconfirmed 180   180   540 wit true 19   10   800 true 24   14   490
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c false(reach) 17   17   130 wit true 11   6.2 440 false(reach) 55   39   720
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed 33   33   130 wit true 9.8 5.4 340 true 13   7.0 350
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c witness unconfirmed 15   15   120 wit true 11   6.0 440 true 14   8.2 350
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(reach) 27   27   130 wit true 10   5.6 430 false(reach) 29   17   520
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c witness unconfirmed 91   91   170 wit true 13   7.0 490 true 16   8.7 350
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed 260   250   170 wit true 13   7.0 480 true 16   8.9 350
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c witness unconfirmed 77   76   170 wit true 14   7.3 520 true 16   8.9 360
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness unconfirmed 250   250   170 wit true 13   6.8 470 true 15   8.5 340
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c timeout 880   930   230 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 880   930   190 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c witness unconfirmed 530   530   230 wit true 14   7.5 540 true 16   9.6 360
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 880   930   190 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c timeout 880   930   240 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 880   930   220 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c timeout 880   930   240 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 880   930   220 wit - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c false(reach) 12   12   120 wit true 10   5.4 440 false(reach) 33   19   540
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(reach) 27   27   120 wit true 10   5.6 430 false(reach) 27   15   520
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c false(reach) 58   58   230 wit true 11   6.0 490 false(reach) 43   29   530
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(reach) 140   140   160 wit true 13   6.8 490 false(reach) 44   31   590
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness unconfirmed 260   260   210 wit true 14   7.3 520 timeout 90   74   700
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed 800   800   210 wit true 15   7.9 540 timeout 90   70   760
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c timeout 880   930   220 wit - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 880   930   230 wit - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c timeout 880   930   260 wit - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 880   930   220 wit - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c witness unconfirmed 58   57   270 wit true 16   8.6 700 timeout 92   54   1500
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed 120   120   300 wit true 22   12   800 timeout 91   66   1100
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c witness unconfirmed 8.0 7.8 150 wit true 13   7.1 500 true 16   13   360
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed 8.9 8.7 140 wit true 13   7.2 520 true 15   8.6 360
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c witness unconfirmed 5.7 5.5 120 wit true 13   6.8 500 true 17   10   370
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness unconfirmed 5.3 5.2 130 wit true 13   7.3 520 true 16   8.8 360
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c witness unconfirmed 8.5 8.2 150 wit true 14   7.9 550 true 17   10   370
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness unconfirmed 9.0 8.8 140 wit true 13   7.1 520 true 15   10   340
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c witness unconfirmed 8.6 8.3 150 wit true 12   6.3 460 true 16   11   370
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness unconfirmed 12   12   150 wit true 13   7.2 520 true 17   9.2 380
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c witness unconfirmed 13   13   210 wit true 18   9.4 660 true 20   11   350
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed 15   15   200 wit true 16   8.5 660 true 19   10   470
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c witness unconfirmed 8.3 8.0 200 wit true 19   9.9 670 true 17   9.7 420
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness unconfirmed 9.0 8.8 190 wit true 16   8.5 640 true 19   11   430
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c witness unconfirmed 12   12   220 wit true 16   8.5 630 true 21   13   460
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness unconfirmed 14   14   200 wit true 16   8.6 640 true 17   9.1 440
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c witness unconfirmed 13   12   210 wit true 19   10   690 true 20   13   370
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness unconfirmed 15   15   210 wit true 16   8.5 630 true 19   11   440
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness unconfirmed 110   110   450 wit true 19   9.8 800 true 21   12   500
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed 190   190   540 wit true 19   10   800 true 24   13   500
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c witness unconfirmed 28   27   340 wit true 22   12   840 true 24   14   490
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness unconfirmed 37   36   330 wit true 19   10   750 true 25   14   500
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c witness unconfirmed 76   76   390 wit true 21   11   830 true 24   13   490
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness unconfirmed 110   110   390 wit true 20   11   790 true 25   14   500
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c witness unconfirmed 210   210   550 wit true 20   10   810 true 22   12   490
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness unconfirmed 140   140   480 wit true 66   40   4000 true 22   13   500
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c timeout 880   930   1500 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c error (1) 110   110   10000 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c timeout 880   930   940 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c error (1) 120   110   9900 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c timeout 880   930   4700 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c error (1) 120   120   9900 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c timeout 890   930   2100 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c error (1) 110   110   10000 wit - -
seq-mthreaded/rekcba_ctm_false-unreach-call.2.c timeout 890   930   3300 wit - -
seq-mthreaded/rekcba_ctm_false-unreach-call.3.c error (1) 84   84   9900 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c timeout 880   930   830 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c error (1) 100   100   9900 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c timeout 880   930   1200 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c error (1) 110   100   9900 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c timeout 880   930   920 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c timeout 890   930   820 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c timeout 890   930   2400 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c timeout 890   930   1200 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c timeout 890   930   2300 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c timeout 890   930   2100 wit - -
seq-mthreaded/rekh_ctm_false-unreach-call.2.c timeout 890   930   1400 wit - -
seq-mthreaded/rekh_ctm_false-unreach-call.3.c timeout 890   930   3700 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c timeout 880   930   1200 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c timeout 890   930   890 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c timeout 880   930   1100 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c timeout 880   930   1100 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 880   930   380 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 880   930   330 wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals.c true 610   610   380 wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 880   930   340 wit - -
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c true 89   89   160 wit - -
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 880   880   250 wit - -
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c true 29   29   220 wit - -
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 880   880   510 wit - -
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 880   930   550 wit - -
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c true 880   880   510 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c true 68   68   130 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 880   930   150 wit - -
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c true 640   640   170 wit - -
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 880   930   180 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 880   930   230 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 880   930   200 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c timeout 880   930   240 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 880   930   230 wit - -
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c true 41   41   120 wit - -
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 880   880   150 wit - -
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c true 320   320   170 wit - -
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 880   930   170 wit - -
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 880   930   210 wit - -
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 880   930   190 wit - -
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c timeout 880   930   220 wit - -
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 880   930   220 wit - -
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c timeout 880   930   260 wit - -
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 880   930   240 wit - -
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals.c true 77   76   230 wit - -
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c true 880   880   430 wit - -
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c true 80   80   170 wit - -
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 880   880   280 wit - -
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c true 31   30   240 wit - -
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 880   880   510 wit - -
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 880   930   540 wit - -
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c true 880   880   540 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c timeout 880   930   630 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c error (1) 110   110   9900 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c timeout 880   930   2400 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c error (1) 110   110   10000 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.1.c timeout 890   930   3300 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.2.c timeout 890   930   3200 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.3.c error (1) 88   88   9900 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.4.c error (1) 110   110   10000 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c timeout 880   930   1300 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c error (1) 100   100   9900 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c timeout 880   930   5400 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c error (1) 110   110   10000 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c timeout 880   930   840 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c error (1) 110   110   9900 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c timeout 890   930   1100 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c timeout 880   930   1100 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c timeout 890   930   1900 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c timeout 890   930   2100 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c timeout 890   930   2100 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c timeout 890   930   2300 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.1.c timeout 890   930   1600 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.2.c timeout 890   930   1400 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.3.c timeout 890   930   1300 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.4.c timeout 890   930   1200 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c timeout 880   930   1000 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c timeout 890   930   890 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c timeout 880   930   660 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c timeout 880   930   5600 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c timeout 890   930   5300 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c timeout 890   930   920 wit - -
seq-pthread/cs_fib_false-unreach-call.i witness timeout 14   13   140 wit timeout 91   60   2300 error 11   6.1 310
seq-pthread/cs_fib_longer_false-unreach-call.i witness timeout 17   19   160 wit timeout 91   60   2200 error 9.8 7.3 310
seq-pthread/cs_lazy_false-unreach-call.i witness unconfirmed 5.3 5.1 100 wit true 51   30   1300 error 44   32   540
seq-pthread/cs_queue_false-unreach-call.i witness timeout 10   9.9 180 wit timeout 90   64   2300 error 50   39   5600
seq-pthread/cs_read_write_lock_false-unreach-call.i witness unconfirmed 7.0 6.7 120 wit true 72   47   1800 error 10   5.9 310
seq-pthread/cs_stack_false-unreach-call.i witness timeout 5.5 5.3 120 wit timeout 91   64   2200 error 12   12   330
seq-pthread/cs_stateful_false-unreach-call.i witness unconfirmed 5.9 5.7 100 wit true 49   29   1200 timeout 90   75   650
seq-pthread/cs_dekker_true-unreach-call.i true 5.7 5.5 130 wit - -
seq-pthread/cs_fib_longer_true-unreach-call.i timeout 880   930   200 wit - -
seq-pthread/cs_fib_true-unreach-call.i timeout 880   930   240 wit - -
seq-pthread/cs_lamport_true-unreach-call.i true 6.9 6.7 120 wit - -
seq-pthread/cs_peterson_true-unreach-call.i true 6.3 6.1 120 wit - -
seq-pthread/cs_queue_true-unreach-call.i true 890   880   710 wit - -
seq-pthread/cs_read_write_lock_true-unreach-call.i true 22   21   150 wit - -
seq-pthread/cs_stack_true-unreach-call.i true 570   570   350 wit - -
seq-pthread/cs_stateful_true-unreach-call.i true 11   11   120 wit - -
seq-pthread/cs_sync_true-unreach-call.i true 14   14   150 wit - -
seq-pthread/cs_szymanski_true-unreach-call.i true 6.2 6.0 110 wit - -
seq-pthread/cs_time_var_mutex_true-unreach-call.i true 6.5 6.3 130 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 110000 110000 270000 261 2800   1600   96000   261 2800   1800   58000  
    correct results 57 24000 24000 15000 13 240   150   7900   14 470   290   7600  
        correct true 43 24000 24000 13000 13 0   0   0   0 0   0   0  
        correct false 14 440 440 2100 0 240   150   7900   14 470   290   7600  
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (261 tasks, max score: 364) 100
Run set sv-comp16.Sequentialized