Tool ESBMC ESBMC version 2.0.0 64-bit x86_64 linux
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-16 17:45:19 CET [[ 2016-01-17 00:36:28 CET ]] [[ 2016-01-17 00:39:38 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/esbmc.2016-01-16_1745.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/esbmc.2016-01-16_1745.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 out of memory 82    81    15000 wit - -
systemc/kundu2_false-unreach-call_false-termination.cil.c out of memory 95    95    15000 wit - -
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c out of memory 110    110    15000 wit - -
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c out of memory 110    110    15000 wit - -
systemc/pipeline_false-unreach-call_false-termination.cil.c out of memory 130    130    15000 wit - -
systemc/token_ring.01_false-unreach-call_false-termination.cil.c out of memory 170    170    15000 wit - -
systemc/token_ring.02_false-unreach-call_false-termination.cil.c out of memory 190    190    15000 wit - -
systemc/token_ring.03_false-unreach-call_false-termination.cil.c out of memory 210    210    15000 wit - -
systemc/token_ring.04_false-unreach-call_false-termination.cil.c out of memory 230    230    15000 wit - -
systemc/token_ring.05_false-unreach-call_false-termination.cil.c out of memory 240    240    15000 wit - -
systemc/token_ring.06_false-unreach-call_false-termination.cil.c out of memory 270    270    15000 wit - -
systemc/token_ring.07_false-unreach-call_false-termination.cil.c out of memory 270    270    15000 wit - -
systemc/token_ring.08_false-unreach-call_false-termination.cil.c out of memory 290    290    15000 wit - -
systemc/token_ring.09_false-unreach-call_false-termination.cil.c out of memory 300    300    15000 wit - -
systemc/token_ring.10_false-unreach-call_false-termination.cil.c out of memory 310    310    15000 wit - -
systemc/token_ring.11_false-unreach-call_false-termination.cil.c out of memory 320    320    15000 wit - -
systemc/token_ring.12_false-unreach-call_false-termination.cil.c out of memory 330    330    15000 wit - -
systemc/token_ring.13_false-unreach-call_false-termination.cil.c out of memory 330    330    15000 wit - -
systemc/token_ring.14_false-unreach-call_false-termination.cil.c out of memory 330    330    15000 wit - -
systemc/token_ring.15_false-unreach-call_false-termination.cil.c out of memory 330    330    15000 wit - -
systemc/toy1_false-unreach-call_false-termination.cil.c out of memory 140    140    15000 wit - -
systemc/toy2_false-unreach-call_false-termination.cil.c out of memory 150    140    15000 wit - -
systemc/transmitter.01_false-unreach-call_false-termination.cil.c out of memory 390    390    15000 wit - -
systemc/transmitter.02_false-unreach-call_false-termination.cil.c out of memory 320    320    15000 wit - -
systemc/transmitter.03_false-unreach-call_false-termination.cil.c out of memory 290    290    15000 wit - -
systemc/transmitter.04_false-unreach-call_false-termination.cil.c out of memory 290    290    15000 wit - -
systemc/transmitter.05_false-unreach-call_false-termination.cil.c unknown .11 .12 18 wit - -
systemc/transmitter.06_false-unreach-call_false-termination.cil.c out of memory 300    300    15000 wit - -
systemc/transmitter.07_false-unreach-call_false-termination.cil.c out of memory 310    310    15000 wit - -
systemc/transmitter.08_false-unreach-call_false-termination.cil.c out of memory 320    320    15000 wit - -
systemc/transmitter.09_false-unreach-call_false-termination.cil.c out of memory 330    330    15000 wit - -
systemc/transmitter.10_false-unreach-call_false-termination.cil.c unknown .10 .11 22 wit - -
systemc/transmitter.11_false-unreach-call_false-termination.cil.c out of memory 340    340    15000 wit - -
systemc/transmitter.12_false-unreach-call_false-termination.cil.c unknown .11 .12 24 wit - -
systemc/transmitter.13_false-unreach-call_false-termination.cil.c out of memory 350    350    15000 wit - -
systemc/transmitter.15_false-unreach-call_false-termination.cil.c unknown .15 .16 25 wit - -
systemc/transmitter.16_false-unreach-call_false-termination.cil.c unknown .13 .14 26 wit - -
systemc/bist_cell_true-unreach-call_false-termination.cil.c true 180    180    13000 wit - -
systemc/kundu_true-unreach-call_false-termination.cil.c out of memory 97    96    15000 wit - -
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c out of memory 870    870    15000 wit - -
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c out of memory 820    820    15000 wit - -
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c unknown 900    900    9700 wit - -
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c unknown 900    900    7700 wit - -
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c unknown 900    900    6200 wit - -
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c out of memory 120    120    15000 wit - -
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c out of memory 120    120    15000 wit - -
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c out of memory 120    120    15000 wit - -
systemc/pipeline_true-unreach-call_false-termination.cil.c out of memory 130    130    15000 wit - -
systemc/token_ring.01_true-unreach-call_false-termination.cil.c out of memory 170    170    15000 wit - -
systemc/token_ring.02_true-unreach-call_false-termination.cil.c out of memory 190    190    15000 wit - -
systemc/token_ring.03_true-unreach-call_false-termination.cil.c out of memory 210    210    15000 wit - -
systemc/token_ring.04_true-unreach-call_false-termination.cil.c out of memory 230    230    15000 wit - -
systemc/token_ring.05_true-unreach-call_false-termination.cil.c out of memory 250    250    15000 wit - -
systemc/token_ring.06_true-unreach-call_false-termination.cil.c out of memory 270    270    15000 wit - -
systemc/token_ring.07_true-unreach-call_false-termination.cil.c out of memory 280    280    15000 wit - -
systemc/token_ring.08_true-unreach-call_false-termination.cil.c out of memory 290    290    15000 wit - -
systemc/token_ring.09_true-unreach-call_false-termination.cil.c out of memory 300    300    15000 wit - -
systemc/token_ring.10_true-unreach-call_false-termination.cil.c out of memory 300    300    15000 wit - -
systemc/token_ring.11_true-unreach-call_false-termination.cil.c out of memory 320    320    15000 wit - -
systemc/token_ring.12_true-unreach-call_false-termination.cil.c out of memory 340    340    15000 wit - -
systemc/token_ring.13_true-unreach-call_false-termination.cil.c out of memory 330    330    15000 wit - -
systemc/toy_true-unreach-call_false-termination.cil.c out of memory 150    150    15000 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness timeout 820    340    9100 wit timeout 90 72 1600 true 15 8.3 340
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 820    460    8200 wit timeout 90 71 1300 true 15 8.9 350
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c witness timeout 820    440    8800 wit timeout 91 67 2100 true 15 9.6 340
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c witness timeout 810    460    8500 wit timeout 91 65 2500 true 15 9.7 320
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c timeout 910    480    9100 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c witness timeout 820    460    8800 wit timeout 91 68 2500 true 13 7.2 340
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c witness timeout 810    460    9100 wit timeout 91 68 1300 true 15 9.1 340
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c witness timeout 820    470    8600 wit timeout 91 69 2700 true 15 8.6 340
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness timeout 810    460    8500 wit timeout 91 67 2000 true 16 8.8 360
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 910    470    8000 wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals.c timeout 910    460    8000 wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness timeout 810    490    8200 wit timeout 91 65 1500 true 15 9.0 330
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c witness timeout 810    550    6300 wit timeout 91 68 3000 true 14 9.1 330
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 810    490    6900 wit timeout 91 62 3400 true 16 9.9 390
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c witness timeout 810    450    6800 wit timeout 91 69 2600 true 13 7.1 340
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness timeout 810    490    6900 wit timeout 91 65 3800 true 17 10   410
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c witness timeout 810    440    6700 wit timeout 91 67 3300 true 13 7.9 340
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness timeout 810    520    7200 wit timeout 90 62 3700 true 16 9.8 420
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c witness timeout 810    550    6900 wit timeout 91 67 3300 true 16 9.8 340
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness timeout 810    460    7400 wit timeout 91 64 3700 true 18 11   420
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c witness timeout 820    440    7600 wit timeout 91 67 3600 true 15 8.4 360
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 810    410    8300 wit timeout 91 65 3600 error 19 11   370
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c witness timeout 820    440    7900 wit timeout 91 66 3500 true 17 11   360
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness timeout 810    420    8400 wit timeout 91 63 3700 error 20 11   410
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c witness timeout 820    420    7300 wit timeout 91 66 3500 true 18 10   380
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness timeout 810    420    8400 wit timeout 90 61 3600 error 18 11   370
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c witness timeout 810    450    8600 wit timeout 91 68 3500 true 18 11   360
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness timeout 810    420    7400 wit timeout 90 60 3600 error 17 9.9 370
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness timeout 820    410    7600 wit timeout 91 66 3800 true 18 11   470
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 810    450    8400 wit timeout 90 59 3500 error 21 12   490
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c witness timeout 840    440    7700 wit timeout 91 66 3700 true 19 11   500
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness timeout 800    410    8200 wit timeout 90 58 3500 error 21 12   480
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c witness timeout 820    440    7800 wit timeout 91 64 3300 true 20 12   490
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness timeout 860    470    9400 wit timeout 91 56 3400 error 23 13   510
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c witness timeout 810    410    7300 wit timeout 91 65 3700 true 21 13   490
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness timeout 810    550    7500 wit timeout 91 58 3500 error 25 15   490
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c timeout 910    330    9200 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c unknown 900    900    2400 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c witness timeout 820    360    8900 wit timeout 91 68 2800 true 13 8.6 320
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness timeout 890    420    8100 wit timeout 91 64 3400 true 15 8.7 330
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c witness timeout 810    450    9100 wit timeout 91 67 3200 true 15 8.6 340
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 820    430    8000 wit timeout 91 65 3800 true 15 9.3 340
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c witness timeout 820    440    8800 wit timeout 91 67 2500 true 13 9.2 350
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 910    450    9000 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness timeout 810    410    7500 wit timeout 91 67 2800 true 13 7.1 340
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 810    430    8100 wit timeout 90 61 3600 error 17 10   340
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c witness timeout 810    430    7400 wit timeout 91 67 2700 true 12 7.1 350
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 910    440    8600 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c witness timeout 810    420    7700 wit timeout 91 65 2500 true 15 8.2 340
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 890    460    8600 wit timeout 90 60 3700 error 17 9.3 350
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c witness timeout 860    480    7400 wit timeout 91 65 2600 true 14 7.8 330
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness timeout 830    440    8400 wit timeout 91 64 3700 error 15 9.1 330
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c witness timeout 850    390    8400 wit timeout 91 67 2800 true 12 7.2 340
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c unknown 890    900    550 wit - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c timeout 910    350    9300 wit - -
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 910    440    8400 wit - -
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness timeout 890    420    7800 wit timeout 91 66 2600 true 13 7.9 330
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 810    420    8300 wit timeout 91 64 3700 error 14 8.5 340
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c witness timeout 830    440    7200 wit timeout 91 68 3400 true 15 9.4 330
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 840    420    8700 wit timeout 90 62 3700 error 16 11   330
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c witness timeout 810    550    6900 wit timeout 91 64 2800 true 15 9.5 350
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 810    520    7800 wit timeout 91 62 3700 error 16 9.1 350
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c witness timeout 810    530    7000 wit timeout 91 64 3000 true 16 9.1 340
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 810    410    8700 wit timeout 90 61 3600 error 17 9.6 340
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c witness timeout 810    430    6700 wit timeout 91 69 2900 true 12 6.8 330
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 810    510    7100 wit timeout 91 66 3700 true 17 9.4 440
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c witness timeout 810    430    7300 wit timeout 91 67 3400 true 15 8.2 340
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness timeout 820    400    7300 wit timeout 91 66 3600 true 17 10   440
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c witness timeout 810    470    7300 wit timeout 91 66 3200 true 15 8.8 340
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness timeout 810    420    7300 wit timeout 91 66 3600 error 17 9.8 350
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c witness timeout 810    450    7300 wit timeout 91 68 3500 true 14 8.5 330
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness timeout 810    460    7600 wit timeout 91 67 3700 error 19 11   360
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c witness timeout 820    440    7700 wit timeout 91 67 3900 true 16 9.8 370
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 810    420    8700 wit timeout 90 62 3600 error 16 8.7 370
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c witness timeout 810    450    8600 wit timeout 91 67 2600 true 17 11   360
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness timeout 810    420    8800 wit timeout 90 62 3600 error 17 9.6 390
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c witness timeout 810    450    8600 wit timeout 91 66 3500 true 15 8.0 370
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 910    460    8200 wit - -
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c witness timeout 820    440    7900 wit timeout 91 65 3800 true 17 9.8 360
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness timeout 810    460    7900 wit timeout 91 63 3600 error 19 11   390
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c witness timeout 810    430    7700 wit timeout 91 64 3300 true 20 12   480
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c witness timeout 800    390    8400 wit timeout 91 53 3200 error 24 15   490
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c witness timeout 810    430    7400 wit timeout 91 64 3300 true 20 12   480
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c witness timeout 800    460    8600 wit timeout 91 58 3400 error 24 13   490
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c witness timeout 810    430    7500 wit timeout 90 61 3700 true 18 11   480
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c witness timeout 800    450    8700 wit timeout 90 60 3500 error 23 14   510
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c witness timeout 830    440    7800 wit timeout 91 64 3700 true 20 12   470
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c witness timeout 800    470    10000 wit timeout 90 59 3400 error 24 14   480
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c unknown 890    900    480 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c unknown 890    900    6200 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c witness invalid (segmentation fault) 800    790    880 wit segmentation fault 52 31 1800 true 25 14   490
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c unknown 900    900    6300 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c unknown 890    900    530 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c unknown 900    900    7400 wit - -
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c witness invalid (segmentation fault) 870    870    520 wit segmentation fault 65 43 3500 true 32 17   570
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c unknown 900    900    7300 wit - -
seq-mthreaded/rekcba_ctm_false-unreach-call.2.c unknown 900    900    1600 wit - -
seq-mthreaded/rekcba_ctm_false-unreach-call.3.c unknown 900    900    4500 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c unknown 890    900    440 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c unknown 900    900    5800 wit - -
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c witness invalid (segmentation fault) 810    630    5400 wit segmentation fault 48 28 1200 true 22 12   480
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c unknown 900    900    6100 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c witness timeout 810    640    5300 wit timeout 91 59 1700 true 24 14   500
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c unknown 900    900    4800 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c witness timeout 800    640    5500 wit timeout 91 61 2100 true 28 16   490
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c unknown 900    900    4700 wit - -
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c witness invalid (segmentation fault) 800    650    5500 wit segmentation fault 66 42 3900 true 30 16   660
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c unknown 900    900    6000 wit - -
seq-mthreaded/rekh_ctm_false-unreach-call.2.c witness timeout 800    730    5100 wit timeout 91 64 6400 true 33 18   490
seq-mthreaded/rekh_ctm_false-unreach-call.3.c unknown 890    900    1600 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c witness timeout 800    630    5400 wit timeout 91 59 2300 true 24 14   490
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c unknown 890    900    4000 wit - -
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c witness timeout 800    650    5300 wit timeout 90 63 2100 true 25 14   500
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c unknown 890    900    4300 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c true .54 .55 42 wit - -
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c true 14    14    1100 wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals.c true .53 .54 39 wit - -
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c true 35    35    1100 wit - -
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c true .53 .54 22 wit - -
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 8.7  8.7  440 wit - -
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c true 63    63    69 wit - -
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 73    73    870 wit - -
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c unknown 890    900    180 wit - -
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 900    900    1600 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c true .30 .31 17 wit - -
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 900    900    2200 wit - -
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c true 1.6  1.6  23 wit - -
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 61    61    410 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c true 4.5  4.6  33 wit - -
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c true 290    290    570 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c true 21    21    52 wit - -
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 890    900    770 wit - -
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c true .16 .17 16 wit - -
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 890    900    740 wit - -
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c true .34 .35 19 wit - -
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 11    11    350 wit - -
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c true 1.5  1.5  25 wit - -
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c true 28    28    500 wit - -
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c true 3.1  3.1  34 wit - -
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c true 39    39    650 wit - -
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c true 7.4  7.4  46 wit - -
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c true 92    92    840 wit - -
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals.c true 17    17    65 wit - -
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c true 190    190    1100 wit - -
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c true .46 .47 24 wit - -
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 11    11    520 wit - -
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c true 41    41    70 wit - -
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 56    56    1000 wit - -
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c unknown 890    900    210 wit - -
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 900    900    1900 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c unknown 900    900    480 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c unknown 900    900    6200 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c unknown 890    900    520 wit - -
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c unknown 900    900    8100 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.1.c unknown 890    900    1600 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.2.c unknown 890    900    1500 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.3.c unknown 900    900    4500 wit - -
seq-mthreaded/rekcba_ctm_true-unreach-call.4.c unknown 900    900    11000 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c unknown 900    900    440 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c unknown 890    900    5800 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c unknown 890    900    430 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c unknown 890    900    5800 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c unknown 890    900    470 wit - -
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c unknown 900    900    6100 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c true 52    52    460 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c unknown 900    900    4600 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c false(reach) 800    640    5400 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c unknown 900    900    6100 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c false(reach) 800    670    5500 wit - -
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c unknown 900    900    6200 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.1.c true 540    540    950 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.2.c true 470    470    920 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.3.c unknown 900    900    1600 wit - -
seq-mthreaded/rekh_ctm_true-unreach-call.4.c unknown 900    900    2600 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c true 30    30    380 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c unknown 900    900    4100 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c true 30    30    390 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c unknown 900    900    4100 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c true 39    39    420 wit - -
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c unknown 900    900    4300 wit - -
seq-pthread/cs_fib_false-unreach-call.i witness timeout 810    600    5500 wit timeout 91 69 1900 error 12 7.0 330
seq-pthread/cs_fib_longer_false-unreach-call.i witness timeout 830    640    5300 wit timeout 90 64 2100 error 11 6.4 320
seq-pthread/cs_lazy_false-unreach-call.i unknown .16 .17 23 wit - -
seq-pthread/cs_queue_false-unreach-call.i unknown 8.3  8.3  480 wit - -
seq-pthread/cs_read_write_lock_false-unreach-call.i witness timeout 830    510    6900 wit timeout 90 71 2500 error 11 8.2 320
seq-pthread/cs_stack_false-unreach-call.i unknown .52 .54 52 wit - -
seq-pthread/cs_stateful_false-unreach-call.i unknown .19 .20 23 wit - -
seq-pthread/cs_dekker_true-unreach-call.i unknown 900    900    11000 wit - -
seq-pthread/cs_fib_longer_true-unreach-call.i true 290    290    190 wit - -
seq-pthread/cs_fib_true-unreach-call.i true 120    120    150 wit - -
seq-pthread/cs_lamport_true-unreach-call.i out of memory 57    57    15000 wit - -
seq-pthread/cs_peterson_true-unreach-call.i unknown 890    900    780 wit - -
seq-pthread/cs_queue_true-unreach-call.i unknown 5.3  5.3  390 wit - -
seq-pthread/cs_read_write_lock_true-unreach-call.i true 22    22    120 wit - -
seq-pthread/cs_stack_true-unreach-call.i unknown 1.0  1.0  110 wit - -
seq-pthread/cs_stateful_true-unreach-call.i unknown .45 .46 53 wit - -
seq-pthread/cs_sync_true-unreach-call.i unknown 890    900    1200 wit - -
seq-pthread/cs_szymanski_true-unreach-call.i unknown 900    900    1400 wit - -
seq-pthread/cs_time_var_mutex_true-unreach-call.i true 7.8  7.8  86 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 150000 110000 1800000 261 7900   5600   280000   261 1600   920   35000  
    correct results 40 2800 2900 27000 0 0   0   0   0 0   0   0  
        correct true 40 2800 2900 27000 0 0   0   0   0 0   0   0  
        correct false 0
    incorrect results 2 1600 1300 11000 0 0   0   0   0 0   0   0  
        incorrect true 0
        incorrect false 2 1600 1300 11000 0 0   0   0   0 0   0   0  
score (261 tasks, max score: 364) 48
Run set sv-comp16.Sequentialized