Tool symbiotic 3.0.1
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:04:54 CET [[ 2016-01-15 09:39:10 CET ]] [[ 2016-01-15 22:39:28 CET ]]
Run set sv-comp16.Sequentialized
Options [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/symbiotic3.2016-01-07_0904.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/symbiotic3.2016-01-07_0904.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 false(reach) 18 18 7.6 wit false(reach) 33   18   800 unknown 9.3 5.2 310
systemc/kundu2_false-unreach-call_false-termination.cil.c false(reach) 18 18 7.5 wit false(reach) 23   13   680 unknown 8.8 5.3 310
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(reach) 18 18 6.5 wit false(reach) 6.7 3.8 270 unknown 9.0 5.1 300
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(reach) 18 18 6.7 wit false(reach) 8.0 4.7 360 unknown 8.5 5.7 300
systemc/pipeline_false-unreach-call_false-termination.cil.c timeout 900 900 2500   wit - -
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(reach) 87 87 7.0 wit false(reach) 12   6.4 440 unknown 8.8 4.9 310
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(reach) 350 350 9.8 wit false(reach) 12   6.6 510 unknown 9.3 6.0 300
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(reach) 790 790 18   wit false(reach) 16   8.3 530 unknown 8.9 5.0 320
systemc/token_ring.04_false-unreach-call_false-termination.cil.c timeout 900 900 44   wit - -
systemc/token_ring.05_false-unreach-call_false-termination.cil.c timeout 900 900 62   wit - -
systemc/token_ring.06_false-unreach-call_false-termination.cil.c timeout 900 900 130   wit - -
systemc/token_ring.07_false-unreach-call_false-termination.cil.c timeout 900 900 290   wit - -
systemc/token_ring.08_false-unreach-call_false-termination.cil.c timeout 900 900 500   wit - -
systemc/token_ring.09_false-unreach-call_false-termination.cil.c timeout 900 900 1200   wit - -
systemc/token_ring.10_false-unreach-call_false-termination.cil.c timeout 900 900 2500   wit - -
systemc/token_ring.11_false-unreach-call_false-termination.cil.c timeout 900 900 2500   wit - -
systemc/token_ring.12_false-unreach-call_false-termination.cil.c timeout 900 900 2500   wit - -
systemc/token_ring.13_false-unreach-call_false-termination.cil.c timeout 900 900 2500   wit - -
systemc/token_ring.14_false-unreach-call_false-termination.cil.c timeout 900 900 2500   wit - -
systemc/token_ring.15_false-unreach-call_false-termination.cil.c timeout 900 900 2500   wit - -
systemc/toy1_false-unreach-call_false-termination.cil.c false(reach) 19 19 40   wit false(reach) 27   15   770 unknown 9.6 5.7 310
systemc/toy2_false-unreach-call_false-termination.cil.c false(reach) 19 19 35   wit false(reach) 23   13   750 unknown 9.1 5.1 320
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(reach) 18 18 6.7 wit false(reach) 9.3 5.1 390 unknown 9.6 5.5 310
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(reach) 18 18 7.5 wit false(reach) 11   6.0 440 unknown 9.4 5.7 310
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(reach) 18 18 12   wit false(reach) 14   7.3 500 unknown 8.8 5.3 310
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(reach) 18 18 30   wit false(reach) 15   8.0 540 unknown 9.6 7.4 300
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(reach) 21 21 130   wit false(reach) 17   9.1 610 unknown 9.8 5.8 320
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(reach) 30 30 390   wit false(reach) 19   10   600 unknown 9.6 6.2 310
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(reach) 88 89 2000   wit false(reach) 21   11   650 unknown 8.9 5.1 300
systemc/transmitter.08_false-unreach-call_false-termination.cil.c timeout 900 900 2800   wit - -
systemc/transmitter.09_false-unreach-call_false-termination.cil.c timeout 900 900 2700   wit - -
systemc/transmitter.10_false-unreach-call_false-termination.cil.c timeout 900 900 2600   wit - -
systemc/transmitter.11_false-unreach-call_false-termination.cil.c timeout 900 900 2500   wit - -
systemc/transmitter.12_false-unreach-call_false-termination.cil.c timeout 900 900 2500   wit - -
systemc/transmitter.13_false-unreach-call_false-termination.cil.c timeout 900 900 2500   wit - -
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(reach) 18 18 19   wit false(reach) 14   7.2 600 unknown 9.0 5.3 310
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(reach) 19 19 21   wit false(reach) 16   8.7 590 unknown 9.4 5.2 320
systemc/bist_cell_true-unreach-call_false-termination.cil.c timeout 900 900 7.8 wit - -
systemc/kundu_true-unreach-call_false-termination.cil.c timeout 900 900 4800   wit - -
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c timeout 900 900 41   wit - -
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c timeout 900 900 330   wit - -
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c timeout 900 900 2800   wit - -
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c timeout 900 900 2900   wit - -
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c timeout 900 900 2900   wit - -
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c timeout 900 900 2500   wit - -
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c timeout 900 900 7.9 wit - -
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c timeout 900 900 17   wit - -
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 900 900 2500   wit - -
systemc/token_ring.01_true-unreach-call_false-termination.cil.c timeout 900 900 10   wit - -
systemc/token_ring.02_true-unreach-call_false-termination.cil.c timeout 900 900 14   wit - -
systemc/token_ring.03_true-unreach-call_false-termination.cil.c timeout 900 900 28   wit - -
systemc/token_ring.04_true-unreach-call_false-termination.cil.c timeout 900 900 46   wit - -
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout 900 900 69   wit - -
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 900 900 130   wit - -
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 900 900 290   wit - -
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 900 900 550   wit - -
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 900 900 1100   wit - -
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 900 900 2500   wit - -
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 900 900 2500   wit - -
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 900 900 2500   wit - -
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 900 900 2500   wit - -
systemc/toy_true-unreach-call_false-termination.cil.c timeout 900 900 2600   wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(reach) 35 35 10   wit false(reach) 14   7.5 530 unknown 11   6.4 330
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(reach) 35 35 9.7 wit false(reach) 14   7.5 490 unknown 9.3 5.6 310
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c false(reach) 35 36 10   wit false(reach) 16   8.6 550 unknown 8.7 5.4 300
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(reach) 36 36 10   wit false(reach) 21   11   630 unknown 9.7 5.7 330
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c false(reach) 36 36 9.9 wit false(reach) 18   9.8 560 unknown 10   5.9 310
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(reach) 36 36 10   wit false(reach) 21   11   600 unknown 9.7 5.4 310
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c timeout 900 900 900   wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c witness timeout 37 37 9.9 wit timeout 92   76   970 unknown 12   6.5 330
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(reach) 89 89 17   wit false(reach) 21   11   590 unknown 11   7.6 330
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(reach) 89 89 16   wit false(reach) 19   10   600 unknown 9.1 5.6 310
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals.c false(reach) 90 90 90   wit false(reach) 20   11   600 unknown 9.3 5.6 310
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(reach) 90 90 17   wit false(reach) 20   10   560 unknown 10   6.2 340
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c false(reach) 20 20 12   wit false(reach) 16   8.4 490 unknown 9.4 6.9 300
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900 900 220   wit - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c false(reach) 19 19 11   wit false(reach) 12   6.6 480 unknown 9.1 5.4 310
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 900 900 770   wit - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c false(reach) 20 20 11   wit false(reach) 15   8.2 500 unknown 8.6 6.5 300
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 900 900 770   wit - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c false(reach) 110 110 13   wit false(reach) 18   9.5 550 unknown 10   5.9 310
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 900 900 770   wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c witness unconfirmed 200 210 1500   wit true 59   35   2100 unknown 10   6.3 330
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900 900 4100   wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c witness timeout 110 110 340   wit timeout 91   67   3800 unknown 9.7 7.6 340
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 900 900 3800   wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c witness timeout 130 140 480   wit timeout 91   68   3800 unknown 10   5.8 320
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 900 900 3800   wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c witness timeout 770 780 1500   wit timeout 91   68   3900 unknown 9.2 5.8 300
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 900 900 3800   wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c timeout 900 900 2300   wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900 900 2300   wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c timeout 900 900 2300   wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 900 900 2300   wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c timeout 900 900 2300   wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 900 900 2300   wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c timeout 900 900 2300   wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 900 900 2300   wit - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c false(reach) 110 110 8.5 wit false(reach) 46   35   790 unknown 8.7 5.3 310
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900 900 46   wit - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c false(reach) 18 19 8.0 wit false(reach) 32   22   800 unknown 9.4 5.3 320
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 900 900 45   wit - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c witness timeout 180 180 11   wit timeout 91   83   790 unknown 9.0 5.2 300
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900 900 45   wit - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c witness timeout 18 19 8.9 wit timeout 91   84   830 unknown 9.5 5.5 310
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 900 900 45   wit - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness timeout 250 250 20   wit timeout 91   83   980 unknown 9.8 5.9 310
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900 900 50   wit - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c witness timeout 20 21 12   wit timeout 91   83   1700 unknown 10   6.9 320
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 900 900 49   wit - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c witness timeout 340 340 49   wit timeout 90   81   760 unknown 9.1 5.4 310
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900 900 49   wit - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c witness timeout 24 24 20   wit timeout 91   82   820 unknown 8.8 5.1 310
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 900 900 48   wit - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c false(reach) 88 88 8.0 wit false(reach) 18   9.5 520 unknown 9.3 7.1 310
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900 900 57   wit - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c witness timeout 91 91 9.7 wit timeout 91   83   820 unknown 8.8 5.1 310
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900 900 55   wit - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness timeout 100 100 15   wit timeout 91   83   810 unknown 9.9 6.0 310
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900 900 52   wit - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c witness timeout 150 150 34   wit timeout 91   82   740 unknown 11   7.3 320
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900 900 51   wit - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c witness timeout 220 230 67   wit timeout 91   81   770 unknown 9.5 6.9 310
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900 900 50   wit - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c witness timeout 500 530 190   wit timeout 90   81   800 unknown 11   7.7 330
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900 900 49   wit - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c false(reach) 19 20 13   wit false(reach) 19   10   550 unknown 11   6.1 320
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900 900 230   wit - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c false(reach) 19 19 12   wit false(reach) 16   8.5 510 unknown 11   6.0 320
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 900 900 780   wit - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c false(reach) 19 19 12   wit false(reach) 15   7.8 540 unknown 10   7.9 310
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 900 900 780   wit - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c false(reach) 110 110 13   wit false(reach) 16   8.5 550 unknown 8.7 5.2 300
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 900 900 790   wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c witness unconfirmed 230 230 1600   wit true 62   37   2900 unknown 11   6.2 330
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900 900 4100   wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c witness timeout 120 120 350   wit timeout 91   67   3900 unknown 8.6 5.0 320
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 900 900 3700   wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c witness timeout 140 140 530   wit timeout 91   66   3800 unknown 9.3 5.4 310
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 900 900 3800   wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c witness timeout 590 600 1600   wit timeout 91   67   3900 unknown 8.8 4.9 310
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 900 900 3900   wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c timeout 900 900 2300   wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900 900 2300   wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c timeout 900 900 2300   wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 900 900 2300   wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c timeout 900 900 2200   wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 900 900 2300   wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c timeout 900 900 2300   wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 900 900 2300   wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c timeout 890 930 200   wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c timeout 900 930 1700   wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c timeout 890 930 210   wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c timeout 900 930 1700   wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c timeout 890 930 230   wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c timeout 900 930 2300   wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c timeout 890 930 230   wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c timeout 900 930 2400   wit - -
seq-mthreaded/rekcba_ctm_false-unreach-call.2.c timeout 880 930 430   wit - -
seq-mthreaded/rekcba_ctm_false-unreach-call.3.c timeout 900 930 1000   wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c timeout 890 930 190   wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c timeout 900 930 1500   wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c timeout 890 930 230   wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c timeout 900 930 1600   wit - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c timeout 900 920 540   wit - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c timeout 900 920 460   wit - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c timeout 900 920 570   wit - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c timeout 900 920 560   wit - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c timeout 900 930 680   wit - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c timeout 900 930 690   wit - -
seq-mthreaded/rekh_ctm_false-unreach-call.2.c timeout 900 920 300   wit - -
seq-mthreaded/rekh_ctm_false-unreach-call.3.c timeout 900 920 310   wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c witness timeout 210 210 130   wit timeout 90   64   2700 unknown 10   7.0 310
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c timeout 900 910 360   wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c witness timeout 220 230 200   wit timeout 91   65   3100 unknown 11   7.4 320
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c witness timeout 270 280 210   wit timeout 90   61   2800 unknown 9.5 5.3 310
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 900 900 830   wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c false(reach) 36 36 9.8 wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 900 900 1000   wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c false(reach) 89 89 15   wit - -
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c timeout 900 900 14   wit - -
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900 900 770   wit - -
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c timeout 900 900 1600   wit - -
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900 900 3700   wit - -
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 900 900 2300   wit - -
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900 900 2300   wit - -
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c unknown 260 260 8.5 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900 900 46   wit - -
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c timeout 900 900 12   wit - -
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900 900 45   wit - -
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 900 900 26   wit - -
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900 900 50   wit - -
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c timeout 900 900 70   wit - -
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900 900 50   wit - -
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c unknown 110 110 7.7 wit - -
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900 900 58   wit - -
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c unknown 350 350 9.5 wit - -
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900 900 56   wit - -
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 900 900 17   wit - -
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900 900 53   wit - -
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c timeout 900 900 44   wit - -
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900 900 50   wit - -
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c timeout 900 910 130   wit - -
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900 900 51   wit - -
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals.c timeout 900 930 280   wit - -
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900 900 49   wit - -
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c unknown 730 730 16   wit - -
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900 900 780   wit - -
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c timeout 900 900 1800   wit - -
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900 900 3600   wit - -
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 900 900 2200   wit - -
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900 900 2300   wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c timeout 880 930 250   wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c timeout 900 930 1700   wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c timeout 890 930 230   wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c timeout 900 930 2400   wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.1.c timeout 880 930 430   wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.2.c timeout 880 930 440   wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.3.c timeout 900 930 1000   wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.4.c timeout 900 920 1900   wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c timeout 900 930 200   wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c timeout 900 930 1500   wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c timeout 890 930 210   wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c timeout 900 930 1500   wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c timeout 890 930 210   wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c timeout 900 920 1600   wit - -
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c timeout 900 920 430   wit - -
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c timeout 900 920 430   wit - -
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c timeout 900 930 680   wit - -
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c timeout 900 930 690   wit - -
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c timeout 900 930 660   wit - -
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c timeout 900 930 670   wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.1.c timeout 900 920 390   wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.2.c timeout 900 920 280   wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.3.c timeout 900 920 340   wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.4.c timeout 900 920 320   wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c timeout 900 910 160   wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c timeout 900 910 270   wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c timeout 900 910 270   wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c timeout 900 910 380   wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c timeout 900 910 250   wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c timeout 900 910 230   wit - -
seq-pthread/cs_fib_false-unreach-call.i timeout 900 910 61   wit - -
seq-pthread/cs_fib_longer_false-unreach-call.i timeout 900 910 76   wit - -
seq-pthread/cs_lazy_false-unreach-call.i witness timeout 120 120 10   wit timeout 91   83   930 unknown 9.7 5.7 310
seq-pthread/cs_queue_false-unreach-call.i witness timeout 580 580 51   wit timeout 91   66   2200 unknown 9.7 5.5 300
seq-pthread/cs_read_write_lock_false-unreach-call.i witness timeout 770 770 17   wit timeout 91   83   1200 unknown 10   6.4 300
seq-pthread/cs_stack_false-unreach-call.i witness timeout 420 420 13   wit timeout 91   67   1800 unknown 9.4 5.4 310
seq-pthread/cs_stateful_false-unreach-call.i witness timeout 160 160 11   wit timeout 90   68   1900 unknown 9.8 5.8 320
seq-pthread/cs_dekker_true-unreach-call.i unknown 220 220 11   wit - -
seq-pthread/cs_fib_longer_true-unreach-call.i timeout 900 900 46   wit - -
seq-pthread/cs_fib_true-unreach-call.i timeout 900 900 46   wit - -
seq-pthread/cs_lamport_true-unreach-call.i unknown 180 180 11   wit - -
seq-pthread/cs_peterson_true-unreach-call.i unknown 180 180 9.6 wit - -
seq-pthread/cs_queue_true-unreach-call.i false(reach) 780 790 71   wit - -
seq-pthread/cs_read_write_lock_true-unreach-call.i false(reach) 720 720 19   wit - -
seq-pthread/cs_stack_true-unreach-call.i false(reach) 450 450 15   wit - -
seq-pthread/cs_stateful_true-unreach-call.i false(reach) 180 180 11   wit - -
seq-pthread/cs_sync_true-unreach-call.i false(reach) 220 220 18   wit - -
seq-pthread/cs_szymanski_true-unreach-call.i unknown 180 180 10   wit - -
seq-pthread/cs_time_var_mutex_true-unreach-call.i unknown 330 330 15   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 180000 220000 261 3200   2400   77000   261 640   400   21000  
    correct results 39 2700 2700 3000 39 700   390   22000   0 370   230   12000  
        correct true 0
        correct false 39 2700 2700 3000 39 700   390   22000   0 370   230   12000  
    incorrect results 7 2500 2500 160 0 0   0   0   0 0   0   0  
        incorrect true 0
        incorrect false 7 2500 2500 160 0 0   0   0   0 0   0   0  
score (261 tasks, max score: 364) -73
Run set sv-comp16.Sequentialized