BENCHMARK INFORMATION benchmark definition: run_definitions/cvc5_model_QF_Equality.xml name: cvc5_model_QF_Equality run sets: cvc5,2,ModelValidation.task date: Tue, 2025-06-24 13:16:52 CEST tool: cvc5 tool executable: ./unpack/1647fe1d9c9285ea0d2f2566270b82d066e64b381a008d32982da1d679391a6c/bin/starexec_run_sq 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 ------------------------------------------------------------ cvc5,2,ModelValidation.task Run set 1 of 1 with options 'unpack/1647fe1d9c9285ea0d2f2566270b82d066e64b381a008d32982da1d679391a6c/bin/starexec_run_mv' 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.31 0.32 tc07 QF_UF_2018-Goel-hwbench_QF_UF_mcs.3.prop1_ab_reg_max.yml true 0.01 0.01 ws15 QF_UF_2018-Goel-hwbench_QF_UF_swap_two_ab_cti_max.yml true 0.01 0.01 tc07 QF_UF_20190906-CLEARSY__0001_00019.yml true 0.10 0.10 ws15 QF_UF_20190906-CLEARSY__0009_00102.yml true 0.01 0.01 ws15 QF_UF_20190906-CLEARSY__0015_00104.yml true 0.02 0.02 ws15 QF_UF_QG-classification__loops6_iso_brn071.yml true 0.07 0.07 ws15 QF_UF_QG-classification__qg5_gensys_brn1086.yml true 0.03 0.03 ws15 QF_UF_QG-classification__qg5_gensys_brn1182.yml true 0.04 0.04 ws15 QF_UF_QG-classification__qg5_gensys_brn306.yml true 0.21 0.21 ws15 QF_UF_QG-classification__qg5_gensys_brn578.yml true 0.07 0.07 ws15 QF_UF_QG-classification__qg5_gensys_brn586.yml true 0.06 0.06 ws15 QF_UF_QG-classification__qg5_gensys_brn653.yml true 0.06 0.06 ws15 QF_UF_QG-classification__qg5_gensys_brn982.yml true 0.04 0.04 ws15 QF_UF_QG-classification__qg5_iso_brn003.yml true 0.02 0.02 ws15 QF_UF_QG-classification__qg5_iso_brn220.yml true 0.03 0.03 tc07 QF_UF_QG-classification__qg5_iso_brn247.yml true 0.03 0.03 tc07 QF_UF_QG-classification__qg5_iso_brn308.yml true 0.06 0.06 tc07 QF_UF_QG-classification__qg5_iso_brn620.yml true 0.04 0.04 ws15 QF_UF_QG-classification__qg7_iso_brn009.yml true 0.13 0.13 tc07 ------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 8.27 - Statistics: 20 Files correct: 20 correct true: 20 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 0