Qf_ania Single Query

QF_ANIA (Single Query Track)

Competition results for the QF_ANIA logic in the Single Query Track.

Page generated on 2023-07-06 16:04:54 +0000

Benchmarks: 123
Time Limit: 1200 seconds
Memory Limit: 60 GB

Sequential Performance	Parallel Performance	SAT Performance (parallel)	UNSAT Performance (parallel)	24s Performance (parallel)
SMTInterpol	SMTInterpol	SMTInterpol	SMTInterpol	SMTInterpol

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout
SMTInterpol	104	1507.673	1063.776	104	89	15	19	10
Yices2	97	5512.268	5512.774	97	86	11	26	26
2020-CVC4ⁿ	91	3076.132	3076.467	91	78	13	32	32
cvc5	87	2944.518	2925.235	87	74	13	36	36

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout
SMTInterpol	104	1507.673	1063.776	104	89	15	19	10
Yices2	97	5512.268	5512.774	97	86	11	26	26
2020-CVC4ⁿ	91	3076.132	3076.467	91	78	13	32	32
cvc5	87	2944.518	2925.235	87	74	13	36	36

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Unsolved	N/A	Timeout
SMTInterpol	89	551.486	335.534	89	89	3	31	10
Yices2	86	5432.511	5433.013	86	86	6	31	26
2020-CVC4ⁿ	78	1665.829	1665.935	78	78	14	31	32
cvc5	74	1426.702	1415.926	74	74	18	31	36

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved UNSAT	Unsolved	N/A	Timeout
SMTInterpol	15	956.187	728.242	15	15	13	95	10
2020-CVC4ⁿ	13	1410.303	1410.532	13	13	15	95	32
cvc5	13	1517.816	1509.309	13	13	15	95	36
Yices2	11	79.756	79.761	11	11	17	95	26

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout
SMTInterpol	97	417.232	188.345	97	87	10	26	17
2020-CVC4ⁿ	76	164.218	164.229	76	70	6	47	47
cvc5	73	426.501	406.78	73	65	8	50	50
Yices2	61	213.389	213.418	61	52	9	62	62

n Non-competing.
N/A: Benchmarks not known to be SAT/UNSAT, respectively.