BENCHMARK INFORMATION benchmark definition: run_definitions/opensmt_model_QF_Equality.xml name: opensmt_model_QF_Equality run sets: OpenSMT,1,ModelValidation.task date: Mon, 2025-06-23 17:39:32 CEST tool: OpenSMT tool executable: ./unpack/ef2e8e3315254aac78ddc31cdf6813a5640ea2cb5bc2c7901a270d8285b95c79/opensmt options: property file: benchmarks/properties/SMT.prp resource limits: - memory: 8192.0 MB - time: 240 s - cpu cores: 2 hardware requirements: - cpu model: Intel Core i7 - cpu cores: 2 - memory: 8192.0 MB ------------------------------------------------------------ OpenSMT,1,ModelValidation.task Run set 1 of 1 with options 'unpack/ef2e8e3315254aac78ddc31cdf6813a5640ea2cb5bc2c7901a270d8285b95c79/opensmt' and propertyfile 'benchmarks/properties/SMT.prp' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------- QF_UF_2018-Goel-hwbench_QF_UF_cambridge.7.prop1_ab_cti_max.yml true 0.21 0.21 ws12 QF_UF_2018-Goel-hwbench_QF_UF_mcs.3.prop1_ab_reg_max.yml true 0.01 0.01 ws20 QF_UF_2018-Goel-hwbench_QF_UF_swap_two_ab_cti_max.yml true 0.00 0.00 ws15 QF_UF_20190906-CLEARSY__0001_00019.yml true 0.02 0.02 ws12 QF_UF_20190906-CLEARSY__0009_00102.yml true 0.00 0.00 ws03 QF_UF_20190906-CLEARSY__0015_00104.yml true 0.01 0.01 ws12 QF_UF_QG-classification__loops6_iso_brn071.yml true 0.02 0.02 ws03 QF_UF_QG-classification__qg5_gensys_brn1086.yml true 0.02 0.02 ws15 QF_UF_QG-classification__qg5_gensys_brn1182.yml true 0.02 0.02 ws08 QF_UF_QG-classification__qg5_gensys_brn306.yml true 0.10 0.10 ws03 QF_UF_QG-classification__qg5_gensys_brn578.yml true 0.03 0.03 ws15 QF_UF_QG-classification__qg5_gensys_brn586.yml true 0.04 0.05 ws20 QF_UF_QG-classification__qg5_gensys_brn653.yml true 0.03 0.03 ws12 QF_UF_QG-classification__qg5_gensys_brn982.yml true 0.03 0.03 ws08 QF_UF_QG-classification__qg5_iso_brn003.yml true 0.01 0.01 ws15 QF_UF_QG-classification__qg5_iso_brn220.yml true 0.01 0.02 ws20 QF_UF_QG-classification__qg5_iso_brn247.yml true 0.01 0.01 ws03 QF_UF_QG-classification__qg5_iso_brn308.yml true 0.02 0.02 ws05 QF_UF_QG-classification__qg5_iso_brn620.yml true 0.02 0.02 ws12 QF_UF_QG-classification__qg7_iso_brn009.yml true 0.06 0.06 ws03 ------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 7.44 - Statistics: 20 Files correct: 20 correct true: 20 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 0