Tool impara 0.45
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-13 07:41:14 CET [[ 2016-01-15 09:11:00 CET ]] [[ 2016-01-15 22:23:23 CET ]]
Run set sv-comp16.Sequentialized
Options --eager --graphml-cex error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/impara.2016-01-13_0741.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/impara.2016-01-13_0741.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 1.2  1.2  25 wit true 10   5.5 380 true 21 12   450
systemc/kundu2_false-unreach-call_false-termination.cil.c witness unconfirmed .56 .57 25 wit true 14   7.7 550 true 22 12   460
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(reach) .15 .15 24 wit timeout 90   72   2800 false(reach) 15 8.8 370
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c witness timeout .13 .13 25 wit timeout 90   72   3000 true 12 7.9 340
systemc/pipeline_false-unreach-call_false-termination.cil.c timeout 900    900    120 wit - -
systemc/token_ring.01_false-unreach-call_false-termination.cil.c witness unconfirmed .36 .36 25 wit true 9.4 5.2 330 true 12 7.6 350
systemc/token_ring.02_false-unreach-call_false-termination.cil.c witness unconfirmed .72 .73 25 wit true 9.0 4.9 380 true 12 7.5 330
systemc/token_ring.03_false-unreach-call_false-termination.cil.c witness unconfirmed 1.5  1.5  26 wit true 14   7.6 560 true 14 8.8 340
systemc/token_ring.04_false-unreach-call_false-termination.cil.c witness unconfirmed 45    45    45 wit true 16   8.5 640 true 14 9.0 330
systemc/token_ring.05_false-unreach-call_false-termination.cil.c witness unconfirmed 160    160    94 wit true 16   8.6 770 true 15 8.5 360
systemc/token_ring.06_false-unreach-call_false-termination.cil.c witness unconfirmed 450    450    190 wit true 20   10   790 true 13 8.1 330
systemc/token_ring.07_false-unreach-call_false-termination.cil.c witness unconfirmed 340    340    160 wit true 28   15   880 true 15 8.9 330
systemc/token_ring.08_false-unreach-call_false-termination.cil.c timeout 900    900    260 wit - -
systemc/token_ring.09_false-unreach-call_false-termination.cil.c timeout 900    900    250 wit - -
systemc/token_ring.10_false-unreach-call_false-termination.cil.c timeout 900    900    250 wit - -
systemc/token_ring.11_false-unreach-call_false-termination.cil.c timeout 900    900    240 wit - -
systemc/token_ring.12_false-unreach-call_false-termination.cil.c timeout 900    900    250 wit - -
systemc/token_ring.13_false-unreach-call_false-termination.cil.c timeout 900    900    240 wit - -
systemc/token_ring.14_false-unreach-call_false-termination.cil.c timeout 900    900    250 wit - -
systemc/token_ring.15_false-unreach-call_false-termination.cil.c timeout 900    900    250 wit - -
systemc/toy1_false-unreach-call_false-termination.cil.c witness unconfirmed 3.1  3.1  27 wit true 15   8.0 610 true 14 7.8 340
systemc/toy2_false-unreach-call_false-termination.cil.c witness unconfirmed 3.0  3.0  28 wit true 15   8.0 600 true 13 9.7 330
systemc/transmitter.01_false-unreach-call_false-termination.cil.c witness unconfirmed .25 .25 24 wit true 8.7 4.9 310 true 12 8.2 320
systemc/transmitter.02_false-unreach-call_false-termination.cil.c witness unconfirmed .56 .57 25 wit true 10   5.5 360 true 12 7.7 330
systemc/transmitter.03_false-unreach-call_false-termination.cil.c witness unconfirmed 1.5  1.5  28 wit true 13   7.0 520 true 15 8.7 370
systemc/transmitter.04_false-unreach-call_false-termination.cil.c witness unconfirmed 6.7  6.7  27 wit true 13   6.9 600 true 14 8.9 330
systemc/transmitter.05_false-unreach-call_false-termination.cil.c witness unconfirmed 21    21    33 wit true 15   8.0 710 true 13 7.6 330
systemc/transmitter.06_false-unreach-call_false-termination.cil.c witness unconfirmed 220    220    120 wit true 17   9.3 680 true 13 7.6 330
systemc/transmitter.07_false-unreach-call_false-termination.cil.c witness unconfirmed 320    320    150 wit true 22   12   850 true 15 10   340
systemc/transmitter.08_false-unreach-call_false-termination.cil.c timeout 900    900    250 wit - -
systemc/transmitter.09_false-unreach-call_false-termination.cil.c timeout 900    900    250 wit - -
systemc/transmitter.10_false-unreach-call_false-termination.cil.c timeout 900    900    250 wit - -
systemc/transmitter.11_false-unreach-call_false-termination.cil.c timeout 900    900    250 wit - -
systemc/transmitter.12_false-unreach-call_false-termination.cil.c timeout 900    900    250 wit - -
systemc/transmitter.13_false-unreach-call_false-termination.cil.c timeout 900    900    250 wit - -
systemc/transmitter.15_false-unreach-call_false-termination.cil.c witness unconfirmed 1.0  1.0  29 wit true 38   20   1600 true 16 9.2 340
systemc/transmitter.16_false-unreach-call_false-termination.cil.c witness unconfirmed 1.3  1.3  30 wit true 39   21   1500 true 17 9.7 370
systemc/bist_cell_true-unreach-call_false-termination.cil.c true .27 .28 24 wit - -
systemc/kundu_true-unreach-call_false-termination.cil.c timeout 900    900    220 wit - -
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c true .91 .92 28 wit - -
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c true 1.7  1.7  28 wit - -
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c true 3.0  3.0  28 wit - -
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c true 4.8  4.8  30 wit - -
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c true 6.7  6.7  30 wit - -
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c true .22 .23 24 wit - -
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c true .29 .30 24 wit - -
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c true .67 .67 25 wit - -
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 900    900    120 wit - -
systemc/token_ring.01_true-unreach-call_false-termination.cil.c true .32 .33 24 wit - -
systemc/token_ring.02_true-unreach-call_false-termination.cil.c true 1.0  1.0  25 wit - -
systemc/token_ring.03_true-unreach-call_false-termination.cil.c true 5.4  5.4  26 wit - -
systemc/token_ring.04_true-unreach-call_false-termination.cil.c timeout 900    900    180 wit - -
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout 900    900    210 wit - -
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 900    900    270 wit - -
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 900    900    230 wit - -
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 900    900    250 wit - -
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 900    900    250 wit - -
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 900    900    250 wit - -
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 900    900    250 wit - -
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 900    900    250 wit - -
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 900    900    240 wit - -
systemc/toy_true-unreach-call_false-termination.cil.c true 3.0  3.0  28 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness unconfirmed .24 .25 26 wit true 22   11   710 true 23 13   500
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed .25 .25 28 wit true 17   9.1 570 true 21 12   400
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c witness unconfirmed 4.5  4.5  29 wit true 20   11   680 true 30 17   480
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c witness unconfirmed 4.3  4.3  27 wit true 18   9.8 600 true 28 16   520
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c witness unconfirmed 4.9  4.9  27 wit true 23   12   690 true 28 18   520
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c witness unconfirmed 4.6  4.6  29 wit true 18   9.4 570 true 25 14   530
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c timeout 900    900    620 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c timeout 900    900    790 wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(reach) 22    22    78 wit true 18   9.4 570 false(reach) 49 26   750
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(reach) 20    20    79 wit true 15   8.0 550 false(reach) 41 22   640
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals.c timeout 900    900    5600 wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 900    900    11000 wit - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c witness unconfirmed 100    100    44 wit true 14   7.6 520 true 17 9.7 350
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900    900    90 wit - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c witness unconfirmed 12    12    28 wit true 14   7.6 500 true 15 8.0 360
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness unconfirmed 12    12    28 wit true 12   6.3 450 true 16 10   370
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c witness unconfirmed 38    38    31 wit true 14   7.5 510 true 18 9.8 380
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness unconfirmed 270    270    48 wit true 13   6.9 530 true 17 9.5 370
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c witness unconfirmed 380    380    59 wit true 16   8.6 530 true 16 9.5 350
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness unconfirmed 280    280    52 wit true 13   7.0 500 true 16 9.8 360
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c timeout 900    900    610 wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900    900    610 wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c timeout 900    900    550 wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 900    900    540 wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c timeout 900    900    520 wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 900    900    540 wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c timeout 900    900    530 wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 900    900    550 wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c timeout 900    900    890 wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900    900    880 wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c timeout 900    900    900 wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 900    900    910 wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c timeout 900    900    890 wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 900    900    890 wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c timeout 900    900    790 wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 900    900    870 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c witness unconfirmed 33    33    29 wit true 12   6.5 460 true 13 8.6 320
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed 58    58    30 wit true 10   5.7 420 true 12 8.2 330
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c witness unconfirmed 12    12    28 wit true 12   6.3 450 true 13 8.0 350
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness unconfirmed 9.5  9.6  28 wit true 9.6 5.2 320 true 13 8.2 340
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c witness unconfirmed 270    270    53 wit true 15   8.0 510 true 13 7.6 330
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed 320    320    55 wit true 13   7.0 510 true 13 7.8 350
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c witness unconfirmed 120    120    34 wit true 14   7.5 490 true 14 8.6 340
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness unconfirmed 130    130    35 wit true 11   5.9 450 true 13 7.6 340
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c timeout 900    900    100 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900    900    94 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c timeout 900    900    96 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness unconfirmed 810    810    94 wit true 14   7.3 510 true 14 8.0 330
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c timeout 900    900    110 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900    900    94 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c timeout 900    900    110 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 900    900    100 wit - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c witness unconfirmed 12    12    27 wit true 11   5.9 440 true 12 7.6 340
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed 19    19    29 wit true 8.9 5.0 320 true 12 6.8 330
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c witness unconfirmed 83    83    34 wit unknown 6.2 3.5 250 true 12 6.9 330
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed 200    200    59 wit unknown 6.2 3.4 250 true 14 9.2 340
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness unconfirmed 680    680    72 wit true 14   7.7 540 true 14 8.2 340
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed 770    770    150 wit true 14   7.4 510 true 15 8.5 340
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c witness unconfirmed 550    550    94 wit true 19   10   600 true 14 8.4 330
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900    900    230 wit - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c timeout 900    900    200 wit - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900    900    400 wit - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c timeout 900    900    270 wit - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900    900    190 wit - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c witness unconfirmed 140    140    47 wit true 15   8.4 530 true 16 8.8 360
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness unconfirmed 320    320    59 wit true 13   7.1 500 true 14 7.9 360
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c witness unconfirmed 14    14    31 wit true 16   8.7 510 true 17 9.2 360
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness unconfirmed 14    14    28 wit true 13   6.8 520 true 14 8.0 360
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c witness unconfirmed 60    60    31 wit true 15   7.9 560 true 15 8.4 360
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness unconfirmed 100    100    40 wit true 13   7.2 530 true 16 10   360
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c witness unconfirmed 120    120    40 wit true 15   8.0 540 true 17 9.4 380
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness unconfirmed 330    330    56 wit true 12   6.6 540 true 16 9.4 350
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c timeout 900    900    580 wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900    900    600 wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c timeout 900    900    540 wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 900    900    540 wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c timeout 900    900    540 wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 900    900    520 wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c timeout 900    900    520 wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 900    900    530 wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c timeout 900    900    890 wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900    900    870 wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c timeout 900    900    860 wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 900    900    900 wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c timeout 900    900    890 wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 900    900    900 wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c timeout 900    900    900 wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 900    900    890 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c timeout 900    900    350 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c timeout 900    900    270 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c timeout 900    900    330 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c timeout 900    900    270 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c timeout 900    900    2000 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c timeout 900    900    370 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c timeout 900    900    1200 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c timeout 900    900    380 wit - -
seq-mthreaded/rekcba_ctm_false-unreach-call.2.c timeout 900    900    360 wit - -
seq-mthreaded/rekcba_ctm_false-unreach-call.3.c timeout 900    900    360 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c timeout 900    900    86 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c timeout 900    900    260 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c timeout 900    900    94 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c timeout 900    900    260 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c timeout 900    900    150 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c timeout 900    900    150 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c timeout 900    900    150 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c timeout 900    900    150 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c timeout 900    900    170 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c timeout 900    900    170 wit - -
seq-mthreaded/rekh_ctm_false-unreach-call.2.c timeout 900    900    230 wit - -
seq-mthreaded/rekh_ctm_false-unreach-call.3.c timeout 900    900    230 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c timeout 900    900    890 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c timeout 900    900    900 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c timeout 900    900    750 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c timeout 900    900    900 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 900    900    2700 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900    900    7100 wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 900    900    1800 wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c out of memory 400    400    15000 wit - -
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c timeout 900    900    89 wit - -
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900    900    83 wit - -
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c timeout 900    900    540 wit - -
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900    900    530 wit - -
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 900    900    890 wit - -
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900    900    880 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c true 48    48    31 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900    900    84 wit - -
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c timeout 900    900    97 wit - -
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900    900    96 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 900    900    110 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900    900    95 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c timeout 900    900    100 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900    900    100 wit - -
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c true 17    17    29 wit - -
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900    900    100 wit - -
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c true 190    190    37 wit - -
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900    900    200 wit - -
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 900    900    91 wit - -
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900    900    160 wit - -
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c timeout 900    900    150 wit - -
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900    900    260 wit - -
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c timeout 900    900    130 wit - -
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900    900    340 wit - -
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals.c timeout 900    900    270 wit - -
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900    900    330 wit - -
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c timeout 900    900    100 wit - -
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900    900    94 wit - -
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c timeout 900    900    520 wit - -
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900    900    540 wit - -
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 900    900    890 wit - -
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900    900    890 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c timeout 900    900    390 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c timeout 900    900    270 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c timeout 900    900    1400 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c timeout 900    900    380 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.1.c timeout 900    900    360 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.2.c timeout 900    900    360 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.3.c timeout 900    900    370 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.4.c timeout 900    900    470 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c timeout 900    900    88 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c timeout 900    900    260 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c timeout 900    900    88 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c timeout 900    900    260 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c timeout 900    900    94 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c timeout 900    900    270 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c timeout 900    900    150 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c timeout 900    900    150 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c timeout 900    900    170 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c timeout 900    900    170 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c timeout 900    900    170 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c timeout 900    900    170 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.1.c timeout 900    900    230 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.2.c timeout 900    900    230 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.3.c timeout 900    900    230 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.4.c timeout 900    900    240 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c timeout 900    900    900 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c timeout 900    900    750 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c timeout 900    900    900 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c timeout 900    900    750 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c timeout 900    900    750 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c timeout 900    900    750 wit - -
seq-pthread/cs_fib_false-unreach-call.i timeout 900    900    2300 wit - -
seq-pthread/cs_fib_longer_false-unreach-call.i timeout 900    900    1900 wit - -
seq-pthread/cs_lazy_false-unreach-call.i timeout 900    900    6800 wit - -
seq-pthread/cs_queue_false-unreach-call.i timeout 900    900    3700 wit - -
seq-pthread/cs_read_write_lock_false-unreach-call.i out of memory 850    850    15000 wit - -
seq-pthread/cs_stack_false-unreach-call.i segmentation fault 18    18    130 wit - -
seq-pthread/cs_stateful_false-unreach-call.i segmentation fault 81    81    380 wit - -
seq-pthread/cs_dekker_true-unreach-call.i segmentation fault 1.6  1.6  37 wit - -
seq-pthread/cs_fib_longer_true-unreach-call.i timeout 900    900    3800 wit - -
seq-pthread/cs_fib_true-unreach-call.i timeout 900    900    2300 wit - -
seq-pthread/cs_lamport_true-unreach-call.i out of memory 840    840    15000 wit - -
seq-pthread/cs_peterson_true-unreach-call.i timeout 900    900    6800 wit - -
seq-pthread/cs_queue_true-unreach-call.i segmentation fault 840    840    350 wit - -
seq-pthread/cs_read_write_lock_true-unreach-call.i segmentation fault 1.9  1.9  37 wit - -
seq-pthread/cs_stack_true-unreach-call.i segmentation fault 2.1  2.1  42 wit - -
seq-pthread/cs_stateful_true-unreach-call.i segmentation fault 7.1  7.1  39 wit - -
seq-pthread/cs_sync_true-unreach-call.i segmentation fault 8.6  8.6  41 wit - -
seq-pthread/cs_szymanski_true-unreach-call.i timeout 900    900    8100 wit - -
seq-pthread/cs_time_var_mutex_true-unreach-call.i segmentation fault 5.9  5.9  42 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 170000 170000 180000 261 1100   620   39000   261 1000   600   23000  
    correct results 19 330 330 620 2 120   89   4000   3 100   57   1800  
        correct true 16 280 280 440 2 0   0   0   0 0   0   0  
        correct false 3 43 43 180 0 120   89   4000   3 100   57   1800  
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (261 tasks, max score: 364) 35
Run set sv-comp16.Sequentialized