UFFPDTNIRA (Single Query Track)

Competition results for the UFFPDTNIRA logic in the Single Query Track. Chart

Results were generated on 2026-07-25

Benchmarks: 355
Time Limit: 1200 seconds
Memory Limit: 30720 GB

Winners

Sequential Performance	Parallel Performance	SAT Performance (parallel)	UNSAT Performance (parallel)	24 seconds Performance (parallel)
cvc5	cvc5	cvc5	cvc5	cvc5

Sequential Performance Performance

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout
cvc5	327	5548.76	5589.45	327	34	293	28	10
cvc5-cvc5-xyz ^ne	326 (base -1)	5562.85	5603.32	326	34	292	29	11
z3-BooledASS ^ne	0 (base -285)	0.00	0.00	0	0	0	355	14
cvc5-cvc5-xyz-base ⁿ	327	4994.84	5035.74	327	34	293	28	10
z3-BooledASS-base ⁿ	285	6141.56	6177.35	285	26	259	70	51

(base +/- n): for derived solvers: increment over base solver
^ne: not eligible for winning as it does not substantially improve over the base solver (at least 10 % improvement in PAR2 score) ⁿ: non-competing solver

Parallel Performance Performance

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout
cvc5	327	5548.76	5589.45	327	34	293	28	10
cvc5-cvc5-xyz ^ne	326 (base -1)	5562.85	5603.32	326	34	292	29	11
z3-BooledASS ^ne	0 (base -285)	0.00	0.00	0	0	0	355	14
cvc5-cvc5-xyz-base ⁿ	327	4994.84	5035.74	327	34	293	28	10
z3-BooledASS-base ⁿ	285	6141.56	6177.35	285	26	259	70	51

SAT Performance Performance

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Unsolved	Abstained	Timeout
cvc5	34	615.49	619.66	34	34	0	321	0
cvc5-cvc5-xyz ^ne	34 (base +0)	619.14	623.32	34	34	0	321	0
z3-BooledASS ^ne	0 (base -26)	0.00	0.00	0	0	34	321	0
cvc5-cvc5-xyz-base ⁿ	34	619.13	623.32	34	34	0	321	0
z3-BooledASS-base ⁿ	26	708.79	712.04	26	26	8	321	7

UNSAT Performance Performance

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved UNSAT	Unsolved	Abstained	Timeout
cvc5	293	4933.27	4969.79	293	293	0	62	0
cvc5-cvc5-xyz ^ne	292 (base -1)	4943.71	4980.00	292	292	1	62	1
z3-BooledASS ^ne	0 (base -259)	0.00	0.00	0	0	293	62	11
cvc5-cvc5-xyz-base ⁿ	293	4375.71	4412.42	293	293	0	62	0
z3-BooledASS-base ⁿ	259	5432.77	5465.30	259	259	34	62	18

24 seconds Performance Performance

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Abstained	Timeout
cvc5	309	280.47	318.49	309	28	281	1	45	0
cvc5-cvc5-xyz ^ne	309 (base +0)	306.83	344.78	309	28	281	3	43	2
z3-BooledASS ^ne	0 (base -245)	0.00	0.00	0	0	0	339	16	0
cvc5-cvc5-xyz-base ⁿ	309	283.29	321.60	309	28	281	1	45	0
z3-BooledASS-base ⁿ	245	290.77	321.09	245	22	223	18	92	0

SMT-COMP 2026