BENCHMARK INFORMATION benchmark definition: run_definitions/smtinterpol_model_QF_Equality.xml name: smtinterpol_model_QF_Equality run sets: SMTInterpol,2,ModelValidation.task date: Fri, 2025-06-27 09:23:43 CEST tool: SMTInterpol tool executable: ./unpack/b09520a1b066ea243f95b1ec64f83609eeb4c7819b7b9ff74d21aa3b718a7b92/smtinterpol options: property file: benchmarks/properties/SMT.prp resource limits: - memory: 8192.0 MB - time: 120 s - cpu cores: 2 hardware requirements: - cpu model: Intel Core i7 - cpu cores: 2 - memory: 8192.0 MB ------------------------------------------------------------ SMTInterpol,2,ModelValidation.task Run set 1 of 1 with options 'unpack/b09520a1b066ea243f95b1ec64f83609eeb4c7819b7b9ff74d21aa3b718a7b92/smtinterpol' 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 3.30 1.70 tc02 QF_UF_2018-Goel-hwbench_QF_UF_mcs.3.prop1_ab_reg_max.yml true 0.52 0.30 tc05 QF_UF_2018-Goel-hwbench_QF_UF_swap_two_ab_cti_max.yml true 0.45 0.26 tc05 QF_UF_20190906-CLEARSY__0001_00019.yml true 1.95 1.04 tc05 QF_UF_20190906-CLEARSY__0009_00102.yml true 0.45 0.27 tc02 QF_UF_20190906-CLEARSY__0015_00104.yml true 0.70 0.40 tc08 QF_UF_QG-classification__loops6_iso_brn071.yml true 1.79 0.93 tc02 QF_UF_QG-classification__qg5_gensys_brn1086.yml true 1.47 0.78 tc05 QF_UF_QG-classification__qg5_gensys_brn1182.yml true 1.72 0.91 tc02 QF_UF_QG-classification__qg5_gensys_brn306.yml true 2.35 1.22 tc08 QF_UF_QG-classification__qg5_gensys_brn578.yml true 2.52 1.31 tc08 QF_UF_QG-classification__qg5_gensys_brn586.yml true 1.69 0.89 tc08 QF_UF_QG-classification__qg5_gensys_brn653.yml true 2.82 1.46 tc08 QF_UF_QG-classification__qg5_gensys_brn982.yml true 2.53 1.32 tc08 QF_UF_QG-classification__qg5_iso_brn003.yml true 0.88 0.48 tc02 QF_UF_QG-classification__qg5_iso_brn220.yml true 1.12 0.60 tc02 QF_UF_QG-classification__qg5_iso_brn247.yml true 1.19 0.64 tc08 QF_UF_QG-classification__qg5_iso_brn308.yml true 1.67 0.88 tc08 QF_UF_QG-classification__qg5_iso_brn620.yml true 1.37 0.73 tc05 QF_UF_QG-classification__qg7_iso_brn009.yml true 2.15 1.12 tc02 ------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None None - Statistics: 20 Files correct: 20 correct true: 20 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 0