BENCHMARK INFORMATION benchmark definition: run_definitions/opensmt_inc_QF_Equality.xml name: opensmt_inc_QF_Equality run sets: OpenSMT,0,Incremental.task date: Mon, 2025-06-23 15:03:57 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,0,Incremental.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_h_CRC_ab_reg_max.yml DONE (2 correct) 0.06 0.07 tc02 QF_UF_2018-Goel-hwbench_QF_UF_h_TreeArb_ab_min_max.yml DONE (2 correct) 0.12 0.12 tc04 QF_UF_2018-Goel-hwbench_QF_UF_h_b03_ab_reg_max.yml DONE (2 correct) 0.03 0.03 tc04 QF_UF_2018-Goel-hwbench_QF_UF_leader_election.6.prop1_ab_core_max.yml DONE (2 correct) 1.50 1.48 tc03 QF_UF_2018-Goel-hwbench_QF_UF_peg_solitaire.1.prop1_ab_min_max.yml DONE (2 correct) 0.58 0.58 tc03 QF_UF_2018-Goel-hwbench_QF_UF_pgm_protocol.8.prop6_ab_min_max.yml DONE (2 correct) 0.91 0.90 tc03 QF_UF_2018-Goel-hwbench_QF_UF_szymanski.4.prop1_ab_min_max.yml DONE (2 correct) 0.62 0.60 tc05 QF_UF_20190906-CLEARSY__0002_00017.yml DONE (10 correct) 0.13 0.12 tc03 QF_UF_20190906-CLEARSY__0002_00057.yml DONE (5 correct) 0.10 0.10 tc04 QF_UF_20190906-CLEARSY__0002_00251.yml DONE (8 correct) 0.09 0.09 tc04 QF_UF_20190906-CLEARSY__0008_00082.yml DONE (6 correct) 0.02 0.02 tc05 QF_UF_20190906-CLEARSY__0008_00092.yml DONE (5 correct) 0.02 0.02 tc01 QF_UF_20190906-CLEARSY__0008_00127.yml DONE (23 correct) 0.04 0.04 tc05 QF_UF_20190906-CLEARSY__0009_00229.yml DONE (26 correct) 0.03 0.03 tc03 QF_UF_20190906-CLEARSY__0015_00160.yml DONE (6 correct) 0.02 0.02 tc04 QF_UF_20190906-CLEARSY__0015_00180.yml DONE (5 correct) 0.01 0.01 tc04 QF_UF_20190906-CLEARSY__0015_00201.yml DONE (96 correct) 0.27 0.27 tc04 QF_UF_20190906-CLEARSY__0016_00358.yml DONE (17 correct) 0.02 0.02 tc01 QF_UF_20190906-CLEARSY__0016_00576.yml DONE (75 correct) 0.24 0.24 tc03 QF_UF_20190906-CLEARSY__0023_00269.yml DONE (22 correct) 0.03 0.03 tc03 -------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 8.31 - Statistics: 20 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 20