BENCHMARK INFORMATION benchmark definition: run_definitions/yices2_model_QF_Equality.xml name: yices2_model_QF_Equality run sets: Yices2,5,ModelValidation.task date: Mon, 2025-06-23 18:00:35 CEST tool: Yices2 tool executable: /usr/bin/./false 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 ------------------------------------------------------------ Yices2,5,ModelValidation.task Run set 1 of 1 with options 'unpack/9a71a8be5336a24d9219bd7598075f7ba06f85484bb819f3e8992e68a0a0d6cd/yices_smt2' 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.05 0.05 tc04 QF_UF_2018-Goel-hwbench_QF_UF_mcs.3.prop1_ab_reg_max.yml true 0.00 0.00 ws13 QF_UF_2018-Goel-hwbench_QF_UF_swap_two_ab_cti_max.yml true 0.00 0.00 ws07 QF_UF_20190906-CLEARSY__0001_00019.yml true 0.02 0.02 tc05 QF_UF_20190906-CLEARSY__0009_00102.yml true 0.01 0.01 tc05 QF_UF_20190906-CLEARSY__0015_00104.yml true 0.01 0.01 tc05 QF_UF_QG-classification__loops6_iso_brn071.yml true 0.01 0.01 tc05 QF_UF_QG-classification__qg5_gensys_brn1086.yml true 0.01 0.01 ws07 QF_UF_QG-classification__qg5_gensys_brn1182.yml true 0.01 0.01 tc04 QF_UF_QG-classification__qg5_gensys_brn306.yml true 0.02 0.02 ws13 QF_UF_QG-classification__qg5_gensys_brn578.yml true 0.01 0.01 ws03 QF_UF_QG-classification__qg5_gensys_brn586.yml true 0.01 0.01 tc06 QF_UF_QG-classification__qg5_gensys_brn653.yml true 0.02 0.02 ws03 QF_UF_QG-classification__qg5_gensys_brn982.yml true 0.01 0.01 ws13 QF_UF_QG-classification__qg5_iso_brn003.yml true 0.00 0.00 ws03 QF_UF_QG-classification__qg5_iso_brn220.yml true 0.01 0.01 ws07 QF_UF_QG-classification__qg5_iso_brn247.yml true 0.01 0.01 ws03 QF_UF_QG-classification__qg5_iso_brn308.yml true 0.01 0.01 ws13 QF_UF_QG-classification__qg5_iso_brn620.yml true 0.01 0.01 ws03 QF_UF_QG-classification__qg7_iso_brn009.yml true 0.02 0.02 ws13 ------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 7.43 - Statistics: 20 Files correct: 20 correct true: 20 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 0