Tool ULTIMATE Automizer cfb9fd9e
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-14 23:51:13 CET [[ 2016-01-15 09:43:48 CET ]] [[ 2016-01-15 22:41:15 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/uautomizer.2016-01-14_2351.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/uautomizer.2016-01-14_2351.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) 65   17   1400 wit false(reach) 16   8.6 550 false(reach) 32 17   540
systemc/kundu2_false-unreach-call_false-termination.cil.c false(reach) 290   130   5600 wit false(reach) 15   7.9 540 false(reach) 36 21   550
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(reach) 11   3.0 340 wit false(reach) 8.2 4.6 370 false(reach) 15 8.0 330
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(reach) 26   6.7 500 wit false(reach) 8.7 4.7 400 false(reach) 25 14   510
systemc/pipeline_false-unreach-call_false-termination.cil.c timeout 910   270   11000 wit - -
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(reach) 46   10   820 wit true 29   15   870 false(reach) 30 17   530
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(reach) 58   14   970 wit true 28   15   850 false(reach) 39 22   720
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(reach) 76   25   2500 wit true 29   15   990 false(reach) 47 27   730
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(reach) 150   66   5000 wit true 41   21   1100 false(reach) 66 37   1000
systemc/token_ring.05_false-unreach-call_false-termination.cil.c timeout 910   360   8200 wit - -
systemc/token_ring.06_false-unreach-call_false-termination.cil.c timeout 900   280   10000 wit - -
systemc/token_ring.07_false-unreach-call_false-termination.cil.c timeout 910   270   9000 wit - -
systemc/token_ring.08_false-unreach-call_false-termination.cil.c timeout 900   440   9400 wit - -
systemc/token_ring.09_false-unreach-call_false-termination.cil.c timeout 900   260   9100 wit - -
systemc/token_ring.10_false-unreach-call_false-termination.cil.c timeout 910   240   11000 wit - -
systemc/token_ring.11_false-unreach-call_false-termination.cil.c timeout 900   350   9200 wit - -
systemc/token_ring.12_false-unreach-call_false-termination.cil.c timeout 900   250   9500 wit - -
systemc/token_ring.13_false-unreach-call_false-termination.cil.c timeout 910   200   11000 wit - -
systemc/token_ring.14_false-unreach-call_false-termination.cil.c timeout 910   290   9600 wit - -
systemc/token_ring.15_false-unreach-call_false-termination.cil.c timeout 900   280   10000 wit - -
systemc/toy1_false-unreach-call_false-termination.cil.c false(reach) 68   23   2100 wit true 16   8.6 620 false(reach) 50 26   860
systemc/toy2_false-unreach-call_false-termination.cil.c false(reach) 64   19   2000 wit true 12   6.5 510 false(reach) 46 24   820
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(reach) 25   6.4 440 wit true 13   7.1 530 false(reach) 23 13   510
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(reach) 49   12   990 wit true 16   8.5 560 false(reach) 32 18   550
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(reach) 67   23   2300 wit true 20   10   640 false(reach) 44 25   750
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(reach) 130   55   5000 wit true 31   16   810 false(reach) 48 27   800
systemc/transmitter.05_false-unreach-call_false-termination.cil.c timeout 900   360   8400 wit - -
systemc/transmitter.06_false-unreach-call_false-termination.cil.c timeout 910   270   9900 wit - -
systemc/transmitter.07_false-unreach-call_false-termination.cil.c timeout 910   270   10000 wit - -
systemc/transmitter.08_false-unreach-call_false-termination.cil.c timeout 900   290   9700 wit - -
systemc/transmitter.09_false-unreach-call_false-termination.cil.c timeout 900   210   10000 wit - -
systemc/transmitter.10_false-unreach-call_false-termination.cil.c timeout 900   270   9200 wit - -
systemc/transmitter.11_false-unreach-call_false-termination.cil.c timeout 910   280   10000 wit - -
systemc/transmitter.12_false-unreach-call_false-termination.cil.c timeout 900   240   10000 wit - -
systemc/transmitter.13_false-unreach-call_false-termination.cil.c timeout 910   210   11000 wit - -
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(reach) 450   200   6500 wit false(reach) 17   9.0 650 false(reach) 75 45   1300
systemc/transmitter.16_false-unreach-call_false-termination.cil.c timeout 900   300   9300 wit - -
systemc/bist_cell_true-unreach-call_false-termination.cil.c true 78   25   1900 wit - -
systemc/kundu_true-unreach-call_false-termination.cil.c true 330   170   5800 wit - -
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c true 76   31   3100 wit - -
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c true 110   50   4100 wit - -
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c true 130   71   4900 wit - -
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c true 130   72   3900 wit - -
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c true 160   99   4600 wit - -
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c timeout 900   740   2300 wit - -
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c timeout 900   730   3400 wit - -
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c true 35   7.4 540 wit - -
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 900   220   11000 wit - -
systemc/token_ring.01_true-unreach-call_false-termination.cil.c true 41   9.9 780 wit - -
systemc/token_ring.02_true-unreach-call_false-termination.cil.c true 53   13   1100 wit - -
systemc/token_ring.03_true-unreach-call_false-termination.cil.c true 62   19   1400 wit - -
systemc/token_ring.04_true-unreach-call_false-termination.cil.c true 160   71   5200 wit - -
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout 900   360   8000 wit - -
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 910   310   10000 wit - -
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 910   270   10000 wit - -
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 900   430   9000 wit - -
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 900   290   10000 wit - -
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 910   250   9600 wit - -
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 910   360   9500 wit - -
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 900   320   10000 wit - -
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 910   200   11000 wit - -
systemc/toy_true-unreach-call_false-termination.cil.c true 66   21   1600 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(reach) 63   22   960 wit false(reach) 15   8.1 500 false(reach) 27 14   520
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(reach) 54   20   1100 wit false(reach) 16   8.4 570 false(reach) 23 13   500
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c false(reach) 110   48   1600 wit false(reach) 17   9.2 620 false(reach) 36 20   560
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(reach) 110   48   1600 wit false(reach) 17   9.2 560 false(reach) 32 17   530
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c false(reach) 130   68   2100 wit false(reach) 19   10   610 false(reach) 37 20   580
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(reach) 130   63   1900 wit false(reach) 17   9.1 610 false(reach) 31 17   540
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c timeout 900   600   6200 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c timeout 900   590   6300 wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(reach) 180   100   2800 wit false(reach) 19   10   660 false(reach) 35 18   700
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(reach) 190   110   2900 wit false(reach) 19   9.8 630 false(reach) 38 21   700
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals.c false(reach) 220   140   3600 wit false(reach) 22   12   660 false(reach) 46 25   880
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(reach) 220   140   3800 wit false(reach) 23   12   630 false(reach) 53 29   840
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c timeout 910   240   11000 wit - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900   260   10000 wit - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c timeout 910   250   9800 wit - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 900   240   11000 wit - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c timeout 910   250   9200 wit - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 900   260   11000 wit - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c timeout 900   260   11000 wit - -
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 910   260   11000 wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c timeout 910   230   11000 wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900   260   11000 wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c timeout 910   230   9300 wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 910   250   10000 wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c timeout 900   240   9600 wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 910   230   10000 wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c timeout 910   260   10000 wit - -
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 910   250   11000 wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c timeout 910   260   11000 wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 910   260   11000 wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c timeout 900   260   10000 wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 900   260   10000 wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c timeout 900   270   11000 wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 900   240   11000 wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c timeout 900   260   11000 wit - -
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 900   270   10000 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c error 810   600   6300 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900   550   7700 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c timeout 900   710   6300 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c error 590   480   5800 wit - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c timeout 910   270   8900 wit - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 910   290   9800 wit - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c timeout 910   220   10000 wit - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 910   240   11000 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c timeout 910   260   9400 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900   280   9500 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c timeout 910   260   10000 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 900   250   9500 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c error 50   23   1100 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c error 53   28   1000 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c error 48   22   860 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c error 45   21   880 wit - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c error 90   55   1600 wit - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c error 140   75   2500 wit - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c error 130   86   3300 wit - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c error 420   360   3700 wit - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c timeout 900   250   11000 wit - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900   360   8300 wit - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c timeout 900   290   9200 wit - -
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900   310   9100 wit - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c error 250   120   6600 wit - -
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c error 210   94   5300 wit - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c timeout 900   290   9700 wit - -
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900   290   11000 wit - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c timeout 900   260   11000 wit - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 910   260   13000 wit - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c timeout 900   250   10000 wit - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 910   250   11000 wit - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c timeout 910   280   10000 wit - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 900   280   9500 wit - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c timeout 900   240   11000 wit - -
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 900   250   10000 wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c timeout 910   210   10000 wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900   220   11000 wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c timeout 900   240   10000 wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 910   220   9900 wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c timeout 910   230   9900 wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 910   260   10000 wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c timeout 910   230   11000 wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 910   230   9800 wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c timeout 900   250   10000 wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900   230   11000 wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c timeout 900   240   10000 wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 910   240   9500 wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c timeout 910   240   11000 wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 910   250   9900 wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c timeout 910   250   10000 wit - -
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 910   260   11000 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c error 120   88   1300 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c timeout 900   820   2000 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c error 170   120   1600 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c timeout 900   830   2400 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c error 170   120   1600 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c timeout 900   820   4800 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c error 180   120   2200 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c timeout 900   810   5000 wit - -
seq-mthreaded/rekcba_ctm_false-unreach-call.2.c error 430   330   5000 wit - -
seq-mthreaded/rekcba_ctm_false-unreach-call.3.c error 260   180   4900 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c error 32   19   590 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c timeout 900   860   1900 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c error 170   130   1500 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c timeout 900   830   2900 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c error 70   53   800 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c error 70   53   760 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c error 83   66   710 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c error 80   63   710 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c error 78   54   930 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c error 87   67   830 wit - -
seq-mthreaded/rekh_ctm_false-unreach-call.2.c error 57   28   860 wit - -
seq-mthreaded/rekh_ctm_false-unreach-call.3.c error 43   14   690 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c error 68   49   740 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c error 84   58   1300 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c error 83   67   660 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c error 69   53   660 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 900   550   7200 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 910   550   6800 wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals.c true 240   160   4000 wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c true 250   160   4400 wit - -
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c timeout 910   250   10000 wit - -
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 910   250   11000 wit - -
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c timeout 900   250   9600 wit - -
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 910   250   10000 wit - -
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 910   270   11000 wit - -
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 910   260   11000 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c error 570   380   5900 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900   640   7200 wit - -
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c timeout 900   290   9600 wit - -
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 910   230   9500 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 900   260   9400 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 910   290   11000 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c error 49   22   930 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c error 54   27   930 wit - -
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c error 66   36   1100 wit - -
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c error 180   140   2100 wit - -
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c error 210   130   4600 wit - -
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c error 360   260   5500 wit - -
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 910   240   10000 wit - -
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900   250   10000 wit - -
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c error 350   160   7300 wit - -
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900   280   12000 wit - -
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c error 250   110   5900 wit - -
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c error 230   110   6000 wit - -
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals.c timeout 900   280   10000 wit - -
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 910   300   9700 wit - -
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c timeout 900   250   11000 wit - -
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900   240   11000 wit - -
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c timeout 910   230   9900 wit - -
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900   220   9800 wit - -
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 900   250   10000 wit - -
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900   250   11000 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c error 120   89   1300 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c timeout 900   820   4300 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c error 180   120   1700 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c timeout 900   810   3800 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.1.c error 260   160   5000 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.2.c error 350   250   5000 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.3.c error 250   170   4900 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.4.c error 350   260   5100 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c error 110   94   1100 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c error 55   21   1400 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c error 97   75   1000 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c timeout 900   830   1500 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c error 180   130   1500 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c timeout 900   840   2600 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c error 74   58   810 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c error 90   73   810 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c error 80   57   1100 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c error 71   49   950 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c error 78   55   1100 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c error 75   52   1100 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.1.c error 57   27   940 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.2.c error 60   30   950 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.3.c error 42   14   770 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.4.c error 53   24   950 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c error 68   48   740 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c error 85   60   1100 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c error 65   50   690 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c error 62   47   750 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c error 86   69   800 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c error 68   52   760 wit - -
seq-pthread/cs_fib_false-unreach-call.i error 8.7 2.7 320 wit - -
seq-pthread/cs_fib_longer_false-unreach-call.i error 7.4 2.2 300 wit - -
seq-pthread/cs_lazy_false-unreach-call.i error 86   46   800 wit - -
seq-pthread/cs_queue_false-unreach-call.i error 43   29   5800 wit - -
seq-pthread/cs_read_write_lock_false-unreach-call.i error 7.5 2.7 310 wit - -
seq-pthread/cs_stack_false-unreach-call.i error 8.7 2.6 330 wit - -
seq-pthread/cs_stateful_false-unreach-call.i error 150   110   960 wit - -
seq-pthread/cs_dekker_true-unreach-call.i error 120   89   1100 wit - -
seq-pthread/cs_fib_longer_true-unreach-call.i error 8.5 2.4 310 wit - -
seq-pthread/cs_fib_true-unreach-call.i error 7.7 2.4 320 wit - -
seq-pthread/cs_lamport_true-unreach-call.i error 55   29   990 wit - -
seq-pthread/cs_peterson_true-unreach-call.i error 54   28   930 wit - -
seq-pthread/cs_queue_true-unreach-call.i error 52   31   5600 wit - -
seq-pthread/cs_read_write_lock_true-unreach-call.i error 8.5 2.8 320 wit - -
seq-pthread/cs_stack_true-unreach-call.i error 8.4 2.4 310 wit - -
seq-pthread/cs_stateful_true-unreach-call.i error 190   140   1200 wit - -
seq-pthread/cs_sync_true-unreach-call.i error 150   120   890 wit - -
seq-pthread/cs_szymanski_true-unreach-call.i error 110   81   1300 wit - -
seq-pthread/cs_time_var_mutex_true-unreach-call.i error 350   320   1600 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 140000 55000 1500000 261 480   260   16000   261 970   530   17000  
    correct results 40 4900 2400 110000 25 480   260   16000   25 970   530   17000  
        correct true 15 1900 980 47000 10 0   0   0   0 0   0   0  
        correct false 25 3000 1400 59000 15 480   260   16000   25 970   530   17000  
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (261 tasks, max score: 364) 55
Run set sv-comp16.Sequentialized