BENCHMARK INFORMATION benchmark definition: ../../benchmark-defs/full-runs/theta.xml name: theta run sets: CHC-COMP2025_check-sat.LRA-Lin date: Tue, 2025-05-06 14:30:21 CEST tool: ThetaCHC 6.13.2 tool executable: ./chc options: resource limits: - memory: 30000.0 MB - time: 1800 s - cpu cores: 8 hardware requirements: - cpu model: Intel Xeon E3-1230 v5 @ 3.40 GHz - cpu cores: 8 - memory: 30000.0 MB ------------------------------------------------------------ CHC-COMP2025_check-sat.LRA-Lin Run set 1 of 1 with options '' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------- vmt-chc-benchmarks/cav12/transmitter.1_000.smt2 TIMEOUT 1803.17 881.34 apollon115 vmt-chc-benchmarks/cav12/simple_array_inversion-4_000.smt2 true 20.22 11.15 apollon058 vmt-chc-benchmarks/cav12/s3_srvr_15.cil_000.smt2 TIMEOUT 1800.58 1788.84 apollon103 vmt-chc-benchmarks/cav12/simple_array_inversion-6_000.smt2 true 50.41 32.26 apollon073 vmt-chc-benchmarks/cav12/cdaudio_simpl1.cil_000.smt2 false 180.73 122.44 apollon081 vmt-chc-benchmarks/cav12/s3_srvr_9.cil_000.smt2 TIMEOUT 1800.58 1789.41 apollon168 vmt-chc-benchmarks/cav12/s3_srvr_4.cil_000.smt2 TIMEOUT 1800.58 1789.51 apollon138 vmt-chc-benchmarks/cav12/transmitter.10_000.smt2 TIMEOUT 1808.40 377.11 apollon134 vmt-chc-benchmarks/cav12/transmitter.12_000.smt2 TIMEOUT 1808.83 366.15 apollon088 vmt-chc-benchmarks/cav12/bubblesort-3_000.smt2 true 57.19 38.44 apollon079 vmt-chc-benchmarks/cav12/mem_slave_tlm.3_000.smt2 TIMEOUT 1800.59 1788.67 apollon071 vmt-chc-benchmarks/cav12/pc_sfifo_1_000.smt2 TIMEOUT 1800.55 1791.94 apollon126 vmt-chc-benchmarks/cav12/s3_srvr_3.cil_000.smt2 TIMEOUT 1800.60 1789.05 apollon094 vmt-chc-benchmarks/cav12/floppy_simpl4.cil_000.smt2 true 106.48 72.53 apollon048 vmt-chc-benchmarks/cav12/kbfiltr_simpl1.cil_000.smt2 false 6.51 1.86 apollon007 vmt-chc-benchmarks/cav12/token_ring.9_000.smt2 TIMEOUT 1801.61 408.28 apollon058 vmt-chc-benchmarks/cav12/token_ring.12_000.smt2 TIMEOUT 1808.88 360.29 apollon104 vmt-chc-benchmarks/cav12/floppy_simpl4_BUG.cil_000.smt2 false 96.40 65.85 apollon157 vmt-chc-benchmarks/cav12/pc_sfifo_2_000.smt2 TIMEOUT 1800.86 1775.69 apollon045 vmt-chc-benchmarks/cav12/simple_array_inversion-7_000.smt2 true 632.71 333.25 apollon079 vmt-chc-benchmarks/cav12/token_ring.7_000.smt2 TIMEOUT 1802.61 438.81 apollon074 vmt-chc-benchmarks/cav12/toy_000.smt2 TIMEOUT 1802.80 959.02 apollon008 vmt-chc-benchmarks/cav12/array_max-1_000.smt2 true 8.06 2.45 apollon067 vmt-chc-benchmarks/cav12/pipeline-bug_000.smt2 TIMEOUT 1806.06 430.97 apollon021 vmt-chc-benchmarks/cav12/toy-bug-2_000.smt2 TIMEOUT 1801.94 987.79 apollon114 vmt-chc-benchmarks/cav12/transmitter.2_000.smt2 TIMEOUT 1808.73 374.29 apollon009 vmt-chc-benchmarks/cav12/mem_slave_tlm.1_000.smt2 TIMEOUT 1800.60 1789.65 apollon066 vmt-chc-benchmarks/cav12/simple_array_inversion-8_000.smt2 TIMEOUT 1806.12 942.28 apollon136 vmt-chc-benchmarks/cav12/pipeline_000.smt2 TIMEOUT 1806.15 430.77 apollon065 vmt-chc-benchmarks/cav12/pc_sfifo_3_000.smt2 TIMEOUT 1808.60 370.56 apollon007 vmt-chc-benchmarks/cav12/array_max-3_000.smt2 true 13.72 6.18 apollon114 vmt-chc-benchmarks/cav12/s3_srvr_1.cil_000.smt2 TIMEOUT 1800.59 1789.53 apollon145 vmt-chc-benchmarks/cav12/s3_srvr_1_BUG.cil_000.smt2 false 10.53 3.51 apollon037 vmt-chc-benchmarks/cav12/diskperf_simpl1.cil_000.smt2 TIMEOUT 1802.30 452.03 apollon045 vmt-chc-benchmarks/cav12/s3_srvr_11.cil_000.smt2 TIMEOUT 1800.58 1789.06 apollon108 vmt-chc-benchmarks/cav12/transmitter.11_000.smt2 TIMEOUT 1808.81 370.56 apollon077 vmt-chc-benchmarks/cav12/s3_clnt_4.cil_000.smt2 true 19.54 12.79 apollon061 vmt-chc-benchmarks/cav12/s3_clnt_4_BUG.cil_000.smt2 false 10.45 3.47 apollon052 vmt-chc-benchmarks/cav12/token_ring.4_000.smt2 TIMEOUT 1808.04 411.71 apollon070 vmt-chc-benchmarks/cav12/s3_srvr_8.cil_000.smt2 TIMEOUT 1800.58 1789.48 apollon003 vmt-chc-benchmarks/cav12/simple_array_inversion-9_000.smt2 TIMEOUT 1801.76 1234.34 apollon124 vmt-chc-benchmarks/cav12/token_ring.1_000.smt2 TIMEOUT 1808.93 372.00 apollon163 vmt-chc-benchmarks/cav12/s3_srvr_6.cil_000.smt2 TIMEOUT 1800.63 1787.30 apollon125 vmt-chc-benchmarks/cav12/transmitter.5_000.smt2 TIMEOUT 1808.11 403.96 apollon075 vmt-chc-benchmarks/cav12/s3_clnt_2_BUG.cil_000.smt2 false 11.25 4.03 apollon163 vmt-chc-benchmarks/cav12/mem_slave_tlm.4_000.smt2 TIMEOUT 1800.60 1789.41 apollon033 vmt-chc-benchmarks/cav12/s3_srvr_10.cil_000.smt2 TIMEOUT 1800.64 1789.27 apollon078 vmt-chc-benchmarks/cav12/bubblesort_init-2_000.smt2 true 19.93 10.36 apollon042 vmt-chc-benchmarks/cav12/token_ring.5_000.smt2 TIMEOUT 1808.96 445.96 apollon028 vmt-chc-benchmarks/cav12/s3_srvr_14.cil_000.smt2 TIMEOUT 1800.58 1789.52 apollon100 vmt-chc-benchmarks/cav12/simple_array_inversion-2_000.smt2 true 10.43 4.15 apollon005 vmt-chc-benchmarks/cav12/s3_srvr_12.cil_000.smt2 TIMEOUT 1800.61 1789.49 apollon059 vmt-chc-benchmarks/cav12/bubblesort-1_000.smt2 true 11.51 3.98 apollon062 vmt-chc-benchmarks/cav12/s3_srvr_2.cil_000.smt2 TIMEOUT 1800.58 1789.90 apollon055 vmt-chc-benchmarks/cav12/bubblesort-2_000.smt2 true 21.05 12.16 apollon100 vmt-chc-benchmarks/cav12/transmitter.9_000.smt2 TIMEOUT 1807.91 410.86 apollon079 vmt-chc-benchmarks/cav12/bubblesort_init-3_000.smt2 true 53.70 35.48 apollon044 vmt-chc-benchmarks/cav12/s3_srvr_16.cil_000.smt2 TIMEOUT 1800.59 1788.74 apollon081 vmt-chc-benchmarks/cav12/cdaudio_simpl1_BUG.cil_000.smt2 false 226.55 163.46 apollon091 vmt-chc-benchmarks/cav12/kbfiltr_simpl2.cil_000.smt2 false 8.51 2.42 apollon103 vmt-chc-benchmarks/cav12/bubblesort_000.smt2 true 63.67 45.00 apollon048 vmt-chc-benchmarks/cav12/simple_array_inversion-1_000.smt2 true 9.15 2.83 apollon136 vmt-chc-benchmarks/cav12/kundu-bug-1_000.smt2 false 180.26 166.68 apollon046 vmt-chc-benchmarks/cav12/s3_clnt_1_BUG.cil_000.smt2 false 11.12 4.00 apollon052 vmt-chc-benchmarks/cav12/array_max-2_000.smt2 true 10.41 3.81 apollon004 vmt-chc-benchmarks/cav12/array_max-4_000.smt2 true 22.93 13.59 apollon079 vmt-chc-benchmarks/cav12/transmitter.13_000.smt2 TIMEOUT 1808.93 364.96 apollon159 vmt-chc-benchmarks/cav12/kundu_000.smt2 TIMEOUT 1808.04 411.13 apollon163 vmt-chc-benchmarks/cav12/transmitter.8_000.smt2 TIMEOUT 1808.48 391.88 apollon037 vmt-chc-benchmarks/cav12/bist_cell_000.smt2 TIMEOUT 1808.92 378.26 apollon044 vmt-chc-benchmarks/cav12/token_ring.3_000.smt2 TIMEOUT 1808.66 378.48 apollon123 vmt-chc-benchmarks/cav12/s3_clnt_3.cil_000.smt2 true 18.84 11.48 apollon067 vmt-chc-benchmarks/cav12/mem_slave_tlm.5_000.smt2 TIMEOUT 1800.59 1788.72 apollon099 vmt-chc-benchmarks/cav12/transmitter.3_000.smt2 TIMEOUT 1808.29 388.77 apollon052 vmt-chc-benchmarks/cav12/kbfiltr_simpl2_BUG.cil_000.smt2 false 12.34 3.88 apollon014 vmt-chc-benchmarks/cav12/transmitter.6_000.smt2 TIMEOUT 1808.37 401.39 apollon068 vmt-chc-benchmarks/cav12/token_ring.10_000.smt2 TIMEOUT 1808.60 371.47 apollon021 vmt-chc-benchmarks/cav12/transmitter.7_000.smt2 TIMEOUT 1805.61 412.71 apollon111 vmt-chc-benchmarks/cav12/mem_slave_tlm.2_000.smt2 TIMEOUT 1800.58 1789.40 apollon158 vmt-chc-benchmarks/cav12/token_ring.11_000.smt2 TIMEOUT 1808.85 355.04 apollon090 vmt-chc-benchmarks/cav12/token_ring.6_000.smt2 TIMEOUT 1807.53 404.59 apollon124 vmt-chc-benchmarks/cav12/s3_srvr_7.cil_000.smt2 TIMEOUT 1800.58 1789.54 apollon011 vmt-chc-benchmarks/cav12/floppy_simpl3_BUG.cil_000.smt2 false 81.90 53.68 apollon028 vmt-chc-benchmarks/cav12/floppy_simpl3.cil_000.smt2 true 84.38 55.89 apollon120 vmt-chc-benchmarks/cav12/s3_clnt_2.cil_000.smt2 true 19.55 12.06 apollon146 vmt-chc-benchmarks/cav12/bubblesort_init-1_000.smt2 true 10.62 3.76 apollon079 vmt-chc-benchmarks/cav12/s3_srvr_2_BUG.cil_000.smt2 false 11.32 3.92 apollon052 vmt-chc-benchmarks/cav12/s3_clnt_3_BUG.cil_000.smt2 false 10.65 4.12 apollon109 vmt-chc-benchmarks/cav12/simple_array_inversion-3_000.smt2 true 14.61 6.76 apollon035 vmt-chc-benchmarks/cav12/s3_srvr_13.cil_000.smt2 TIMEOUT 1800.58 1789.58 apollon006 vmt-chc-benchmarks/cav12/toy-bug-1_000.smt2 TIMEOUT 1803.71 992.54 apollon122 vmt-chc-benchmarks/cav12/token_ring.8_000.smt2 TIMEOUT 1808.00 404.64 apollon014 vmt-chc-benchmarks/cav12/transmitter.4_000.smt2 TIMEOUT 1803.50 428.35 apollon114 vmt-chc-benchmarks/cav12/kundu-bug-2_000.smt2 TIMEOUT 1802.48 934.03 apollon067 vmt-chc-benchmarks/cav12/array_max-5_000.smt2 true 39.72 29.60 apollon013 vmt-chc-benchmarks/cav12/s3_clnt_1.cil_000.smt2 true 19.21 12.14 apollon005 vmt-chc-benchmarks/cav12/simple_array_inversion-5_000.smt2 true 32.36 20.03 apollon096 vmt-chc-benchmarks/cav12/token_ring.13_000.smt2 TIMEOUT 1808.93 366.33 apollon038 vmt-chc-benchmarks/cav12/token_ring.2_000.smt2 TIMEOUT 1808.81 377.43 apollon157 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_13_validity_000.smt2 TIMEOUT 1808.74 369.23 apollon113 sally-chc-benchmarks/oral_messages/om1_with_relays_validity_000.smt2 true 5.74 1.72 apollon157 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_7_agreement_000.smt2 true 24.09 13.43 apollon099 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_11_agreement_000.smt2 TIMEOUT 1808.90 367.64 apollon168 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_12_agreement_000.smt2 TIMEOUT 1802.78 328.04 apollon052 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_3_validity_000.smt2 true 6.33 1.99 apollon012 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_5_agreement_000.smt2 true 8.45 2.87 apollon135 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_20_validity_000.smt2 TIMEOUT 1808.92 351.94 apollon068 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_12_validity_000.smt2 TIMEOUT 1808.90 335.23 apollon094 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_16_agreement_000.smt2 TIMEOUT 1801.28 339.35 apollon021 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_5_validity_000.smt2 true 8.73 3.13 apollon168 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_12_validity_000.smt2 TIMEOUT 1808.87 344.36 apollon144 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_14_agreement_000.smt2 TIMEOUT 1802.25 329.19 apollon153 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_9_agreement_000.smt2 TIMEOUT 1807.70 622.54 apollon153 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_3_validity_000.smt2 true 5.29 1.58 apollon079 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_11_validity_000.smt2 TIMEOUT 1808.94 354.81 apollon020 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_12_agreement_000.smt2 TIMEOUT 1808.90 344.68 apollon167 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_8_validity_000.smt2 true 132.88 90.21 apollon068 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_7_validity_000.smt2 true 24.59 14.08 apollon049 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_15_agreement_000.smt2 TIMEOUT 1808.77 356.18 apollon134 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_16_agreement_000.smt2 TIMEOUT 1803.10 334.31 apollon135 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_16_validity_000.smt2 TIMEOUT 1808.78 337.14 apollon153 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_20_agreement_000.smt2 TIMEOUT 1808.92 340.00 apollon163 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_7_validity_000.smt2 true 18.81 10.28 apollon088 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_18_agreement_000.smt2 TIMEOUT 1808.82 345.82 apollon105 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_6_agreement_000.smt2 true 9.96 3.88 apollon143 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_10_validity_000.smt2 TIMEOUT 1808.94 545.03 apollon030 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_4_validity_000.smt2 true 7.59 2.43 apollon061 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_4_validity_000.smt2 true 6.19 1.74 apollon057 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_3_agreement_000.smt2 true 6.36 2.07 apollon089 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_19_validity_000.smt2 TIMEOUT 1808.70 369.30 apollon096 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_18_validity_000.smt2 TIMEOUT 1808.87 345.04 apollon093 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_15_agreement_000.smt2 TIMEOUT 1808.46 365.31 apollon038 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_5_validity_000.smt2 true 8.15 2.74 apollon146 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_16_agreement_000.smt2 TIMEOUT 1804.87 330.24 apollon019 sally-chc-benchmarks/oral_messages/om1_with_relays_agreement_faulty_relay_000.smt2 true 5.97 1.93 apollon052 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_9_validity_000.smt2 TIMEOUT 1807.68 573.41 apollon048 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_6_agreement_000.smt2 true 10.57 4.22 apollon028 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_11_validity_000.smt2 TIMEOUT 1808.81 367.84 apollon114 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_13_validity_000.smt2 TIMEOUT 1808.88 350.24 apollon088 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_19_agreement_000.smt2 TIMEOUT 1808.79 362.93 apollon128 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_13_agreement_000.smt2 TIMEOUT 1808.96 356.68 apollon035 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_15_validity_000.smt2 TIMEOUT 1808.91 343.91 apollon047 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_13_agreement_000.smt2 TIMEOUT 1808.88 346.95 apollon068 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_4_agreement_000.smt2 true 7.13 2.19 apollon068 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_17_agreement_000.smt2 TIMEOUT 1808.72 359.24 apollon049 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_16_validity_000.smt2 TIMEOUT 1802.17 333.66 apollon069 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_7_agreement_000.smt2 true 20.04 11.50 apollon050 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_14_validity_000.smt2 TIMEOUT 1808.75 334.39 apollon150 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_11_agreement_000.smt2 TIMEOUT 1808.87 345.50 apollon111 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_12_agreement_000.smt2 TIMEOUT 1802.57 337.71 apollon113 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_9_validity_000.smt2 true 747.89 372.57 apollon067 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_19_validity_000.smt2 TIMEOUT 1808.85 357.86 apollon042 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_4_agreement_000.smt2 true 5.62 1.68 apollon079 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_9_agreement_000.smt2 TIMEOUT 1805.22 563.36 apollon042 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_10_agreement_000.smt2 TIMEOUT 1806.08 504.08 apollon041 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_8_agreement_000.smt2 true 86.18 58.21 apollon054 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_19_agreement_000.smt2 TIMEOUT 1808.65 373.77 apollon077 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_18_agreement_000.smt2 TIMEOUT 1808.98 337.13 apollon052 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_8_validity_000.smt2 true 84.01 57.89 apollon151 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_19_agreement_000.smt2 TIMEOUT 1808.96 351.26 apollon099 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_11_agreement_000.smt2 TIMEOUT 1808.64 368.69 apollon005 sally-chc-benchmarks/oral_messages/om1_with_relays_validity_two_faults_000.smt2 true 6.03 1.78 apollon157 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_17_agreement_000.smt2 TIMEOUT 1808.89 343.38 apollon043 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_8_validity_000.smt2 true 105.49 71.45 apollon088 sally-chc-benchmarks/oral_messages/om1_with_relays_agreement_two_faults_000.smt2 false 6.10 1.82 apollon146 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_20_validity_000.smt2 TIMEOUT 1808.92 343.32 apollon161 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_7_agreement_000.smt2 true 29.75 17.57 apollon009 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_3_agreement_000.smt2 true 4.99 1.54 apollon069 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_6_validity_000.smt2 true 13.40 5.69 apollon071 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_7_validity_000.smt2 true 30.54 17.71 apollon081 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_14_validity_000.smt2 TIMEOUT 1808.77 348.04 apollon135 sally-chc-benchmarks/oral_messages/om1_with_relays_validity_faulty_process_000.smt2 true 5.74 1.67 apollon113 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_8_agreement_000.smt2 true 108.63 73.05 apollon046 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_11_validity_000.smt2 TIMEOUT 1808.86 343.53 apollon117 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_6_validity_000.smt2 true 10.91 4.34 apollon077 sally-chc-benchmarks/oral_messages/om1_with_relays_validity_two_faulty_relays_000.smt2 false 5.73 1.66 apollon049 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_4_validity_000.smt2 true 7.09 2.33 apollon057 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_20_agreement_000.smt2 TIMEOUT 1808.75 339.87 apollon163 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_6_agreement_000.smt2 true 12.45 5.29 apollon079 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_15_validity_000.smt2 TIMEOUT 1808.69 372.12 apollon111 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_17_validity_000.smt2 TIMEOUT 1808.66 357.23 apollon074 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_5_agreement_000.smt2 true 9.35 3.44 apollon007 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_3_validity_000.smt2 true 6.18 1.82 apollon037 sally-chc-benchmarks/oral_messages/om1_with_relays_agreement_faulty_process_000.smt2 true 6.27 1.79 apollon005 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_18_validity_000.smt2 TIMEOUT 1801.65 342.45 apollon150 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_18_agreement_000.smt2 TIMEOUT 1808.78 341.74 apollon100 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_10_agreement_000.smt2 TIMEOUT 1805.36 548.90 apollon063 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_14_agreement_000.smt2 TIMEOUT 1808.83 349.20 apollon091 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_6_validity_000.smt2 true 9.73 3.63 apollon033 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_13_agreement_000.smt2 TIMEOUT 1808.80 369.50 apollon151 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_15_agreement_000.smt2 TIMEOUT 1808.90 344.40 apollon081 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_14_agreement_000.smt2 TIMEOUT 1808.95 335.04 apollon037 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_10_agreement_000.smt2 TIMEOUT 1808.93 622.66 apollon063 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_10_validity_000.smt2 TIMEOUT 1800.96 600.94 apollon032 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_5_agreement_000.smt2 true 7.25 2.34 apollon153 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_15_validity_000.smt2 TIMEOUT 1808.94 349.12 apollon024 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_20_validity_000.smt2 TIMEOUT 1802.09 330.78 apollon144 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_17_agreement_000.smt2 TIMEOUT 1808.95 348.23 apollon109 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_5_validity_000.smt2 true 7.90 2.70 apollon047 sally-chc-benchmarks/oral_messages/om1_with_relays_validity_faulty_relay_000.smt2 true 5.85 1.82 apollon046 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_9_agreement_000.smt2 true 771.04 381.17 apollon004 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_3_agreement_000.smt2 true 6.86 2.14 apollon054 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_18_validity_000.smt2 TIMEOUT 1804.02 328.77 apollon128 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_8_agreement_000.smt2 true 130.35 88.73 apollon116 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_13_validity_000.smt2 TIMEOUT 1808.85 360.61 apollon022 sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_16_validity_000.smt2 TIMEOUT 1801.37 326.72 apollon069 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_14_validity_000.smt2 TIMEOUT 1801.58 334.35 apollon037 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_20_agreement_000.smt2 TIMEOUT 1808.92 349.00 apollon085 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_10_validity_000.smt2 TIMEOUT 1803.54 504.52 apollon075 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_19_validity_000.smt2 TIMEOUT 1808.91 348.19 apollon113 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_17_validity_000.smt2 TIMEOUT 1808.92 347.24 apollon116 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_17_validity_000.smt2 TIMEOUT 1808.85 351.69 apollon045 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_4_agreement_000.smt2 true 7.08 2.34 apollon046 sally-chc-benchmarks/oral_messages/om1_with_relays_general_5_9_validity_000.smt2 TIMEOUT 1808.39 619.52 apollon060 sally-chc-benchmarks/oral_messages/om1_with_relays_general_4_12_validity_000.smt2 TIMEOUT 1801.16 333.07 apollon043 sally-chc-benchmarks/oral_messages/om1_with_relays_agreement_000.smt2 true 5.72 1.62 apollon021 sally-chc-benchmarks/unified-approx/scenario1_sanity_check2_000.smt2 TIMEOUT 1800.54 1792.83 apollon012 sally-chc-benchmarks/unified-approx/fault_free_sanity_check2_000.smt2 TIMEOUT 1800.52 1793.29 apollon049 sally-chc-benchmarks/unified-approx/fault_free_convergence_000.smt2 TIMEOUT 1800.55 1792.44 apollon015 sally-chc-benchmarks/unified-approx/scenario2_sanity_check2_000.smt2 TIMEOUT 1800.54 1791.94 apollon044 sally-chc-benchmarks/unified-approx/scenario3_convergence_000.smt2 false 13.29 7.64 apollon028 sally-chc-benchmarks/unified-approx/scenario2_convergence_000.smt2 TIMEOUT 1800.51 1793.32 apollon139 sally-chc-benchmarks/unified-approx/fault_free_sanity_check_000.smt2 TIMEOUT 1800.55 1792.81 apollon074 sally-chc-benchmarks/unified-approx/scenario3_sanity_check2_000.smt2 TIMEOUT 1800.53 1792.18 apollon120 sally-chc-benchmarks/unified-approx/scenario1_convergence_000.smt2 TIMEOUT 1800.51 1793.27 apollon151 sally-chc-benchmarks/approximate_agreement/approx_hybrid.6.b_000.smt2 TIMEOUT 1800.53 1793.20 apollon036 sally-chc-benchmarks/approximate_agreement/approx.4_000.smt2 TIMEOUT 1800.51 1794.64 apollon155 sally-chc-benchmarks/approximate_agreement/approx_hybrid.6_000.smt2 TIMEOUT 1800.60 1791.28 apollon061 sally-chc-benchmarks/approximate_agreement/approx.6.b_000.smt2 TIMEOUT 1800.53 1793.25 apollon143 sally-chc-benchmarks/approximate_agreement/approx_hybrid.6.c_000.smt2 false 8.49 2.51 apollon037 sally-chc-benchmarks/approximate_agreement/approx.6_000.smt2 TIMEOUT 1800.53 1793.28 apollon146 sally-chc-benchmarks/approximate_agreement/approx.5_000.smt2 TIMEOUT 1800.58 1792.88 apollon069 sally-chc-benchmarks/approximate_agreement/approx.6.c_000.smt2 TIMEOUT 1800.53 1793.08 apollon157 sally-chc-benchmarks/approximate_agreement/approx_hybrid_validity.6_000.smt2 TIMEOUT 1800.62 1791.10 apollon137 sally-chc-benchmarks/misc/inc_cas_prop2_000.smt2 true 3.72 1.29 apollon005 sally-chc-benchmarks/misc/wbs_simple_7_7_000.smt2 TIMEOUT 1800.55 1793.25 apollon050 sally-chc-benchmarks/misc/nonatomic_inc_cas_prop2_000.smt2 false 3.69 1.27 apollon009 sally-chc-benchmarks/misc/frolloc_lifo_prop1_000.smt2 TIMEOUT 1800.56 1791.10 apollon062 sally-chc-benchmarks/misc/fourslot_000.smt2 TIMEOUT 1800.54 1793.36 apollon030 sally-chc-benchmarks/misc/mvs_with_timeouts3_000.smt2 false 1168.27 1163.52 apollon024 sally-chc-benchmarks/misc/frolloc_lifo_prop2_000.smt2 TIMEOUT 1800.55 1791.59 apollon073 sally-chc-benchmarks/misc/inc_cas_prop1_000.smt2 true 3.88 1.51 apollon033 sally-chc-benchmarks/misc/nonatomic_inc_cas_prop1_000.smt2 true 4.26 1.82 apollon030 sally-chc-benchmarks/misc/Ex3_000.smt2 TIMEOUT 1800.51 1795.47 apollon038 sally-chc-benchmarks/azadmanesh-kieckhafer/scenario2_revised_convergence_000.smt2 TIMEOUT 1800.52 1793.29 apollon166 sally-chc-benchmarks/azadmanesh-kieckhafer/scenario1_revised_sanity_check_000.smt2 TIMEOUT 1800.58 1792.87 apollon119 sally-chc-benchmarks/azadmanesh-kieckhafer/scenario2_strict_000.smt2 false 8.56 2.94 apollon071 sally-chc-benchmarks/azadmanesh-kieckhafer/scenario2_revised_min_received_000.smt2 TIMEOUT 1800.60 1792.14 apollon035 sally-chc-benchmarks/azadmanesh-kieckhafer/fault_free_convergence_000.smt2 sally-chc-benchmarks/azadmanesh-kieckhafer/scenario2_sanity_check_000.smt2 TIMEOUT 1800.60 1791.71 apollon141 sally-chc-benchmarks/azadmanesh-kieckhafer/fault_free_revised_sanity_check_000.smt2 TIMEOUT 1800.59 1792.18 apollon028 sally-chc-benchmarks/azadmanesh-kieckhafer/scenario2_min_received_000.smt2 TIMEOUT 1800.61 1791.94 apollon124 sally-chc-benchmarks/azadmanesh-kieckhafer/scenario2_revised_non_convergence_000.smt2 false 7.75 2.39 apollon114 sally-chc-benchmarks/azadmanesh-kieckhafer/scenario2_revised_strict_000.smt2 TIMEOUT 1800.53 1792.99 apollon093 sally-chc-benchmarks/azadmanesh-kieckhafer/scenario2_revised_sanity_check_000.smt2 TIMEOUT 1800.60 1792.67 apollon013 sally-chc-benchmarks/azadmanesh-kieckhafer/scenario1_revised_convergence_000.smt2 TIMEOUT 1800.53 1793.36 apollon064 sally-chc-benchmarks/azadmanesh-kieckhafer/scenario2_convergence_000.smt2 sally-chc-benchmarks/azadmanesh-kieckhafer/fault_free_sanity_check_000.smt2 sally-chc-benchmarks/azadmanesh-kieckhafer/scenario2_non_convergence_000.smt2 false 7.40 2.09 apollon007 sally-chc-benchmarks/azadmanesh-kieckhafer/scenario1_convergence_000.smt2 sally-chc-benchmarks/azadmanesh-kieckhafer/scenario1_sanity_check_000.smt2 TIMEOUT 1800.59 1792.17 apollon017 sally-chc-benchmarks/azadmanesh-kieckhafer/fault_free_revised_convergence_000.smt2 TIMEOUT 1800.58 1792.37 apollon128 sally-chc-benchmarks/azadmanesh-kieckhafer/scenario1_revised_min_received_000.smt2 TIMEOUT 1800.59 1792.24 apollon140 sally-chc-benchmarks/azadmanesh-kieckhafer/scenario1_min_received_000.smt2 TIMEOUT 1800.59 1792.60 apollon098 sally-chc-benchmarks/tte_synchro/tte_synchro.sm_clock_distance_strict_000.smt2 false 7.94 2.97 apollon061 sally-chc-benchmarks/tte_synchro/tte_synchro.cm_clock_distance_000.smt2 TIMEOUT 1800.61 1792.45 apollon127 sally-chc-benchmarks/tte_synchro/tte_synchro.cm_clock_distance_strict_000.smt2 false 8.96 3.73 apollon042 sally-chc-benchmarks/tte_synchro/tte_synchro.sm_cm_clock_distance_000.smt2 TIMEOUT 1800.60 1791.93 apollon154 sally-chc-benchmarks/tte_synchro/tte_synchro.sm_cm_clock_distance_strict_000.smt2 false 11.38 6.17 apollon037 sally-chc-benchmarks/tte_synchro/tte_synchro.sm_clock_distance_000.smt2 TIMEOUT 1800.61 1792.64 apollon162 sally-chc-benchmarks/tta_startup/simple_startup2.3_000.smt2 TIMEOUT 1800.53 1794.01 apollon096 sally-chc-benchmarks/tta_startup/simple_startup2_000.smt2 TIMEOUT 1800.55 1791.26 apollon019 sally-chc-benchmarks/tta_startup/simple_startup2.2_000.smt2 TIMEOUT 1800.54 1793.97 apollon131 sally-chc-benchmarks/hacms/eventclock4.invalid.02_000.smt2 TIMEOUT 1800.53 1794.27 apollon148 sally-chc-benchmarks/hacms/eventclock4.invalid.01_000.smt2 TIMEOUT 1800.54 1793.46 apollon048 sally-chc-benchmarks/hacms/eventclock6_000.smt2 TIMEOUT 1800.53 1793.83 apollon042 sally-chc-benchmarks/hacms/eventclock5_000.smt2 TIMEOUT 1800.53 1794.65 apollon089 sally-chc-benchmarks/hacms/eventclock3_000.smt2 TIMEOUT 1800.54 1794.70 apollon057 ------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 22625.86 - Statistics: 274 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 175