UFBVFPDTNIRA (Single Query Track)

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

Results were generated on 2026-07-25

Benchmarks: 89
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-xyz	cvc5	-	cvc5-cvc5-xyz	cvc5

Sequential Performance Performance

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved UNSAT	Unsolved	Timeout
cvc5-cvc5-xyz	74 (base +4)	7712.51	7722.26	74	74	15	15
cvc5	70	1912.09	1920.86	70	70	19	9
z3-BooledASS ^ne	0 (base -54)	0.00	0.00	0	0	89	88
cvc5-cvc5-xyz-base ⁿ	70	1678.39	1687.18	70	70	19	9
z3-BooledASS-base ⁿ	54	3792.56	3799.60	54	54	35	35

(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 UNSAT	Unsolved	Timeout
cvc5-cvc5-xyz ^ne	74 (base +4)	7712.51	7722.26	74	74	15	15
cvc5	70	1912.09	1920.86	70	70	19	9
z3-BooledASS ^ne	0 (base -54)	0.00	0.00	0	0	89	88
cvc5-cvc5-xyz-base ⁿ	70	1678.39	1687.18	70	70	19	9
z3-BooledASS-base ⁿ	54	3792.56	3799.60	54	54	35	35

UNSAT Performance Performance

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved UNSAT	Unsolved	Abstained	Timeout
cvc5-cvc5-xyz	74 (base +4)	7712.51	7722.26	74	74	1	14	1
cvc5	70	1912.09	1920.86	70	70	5	14	5
z3-BooledASS ^ne	0 (base -54)	0.00	0.00	0	0	75	14	74
cvc5-cvc5-xyz-base ⁿ	70	1678.39	1687.18	70	70	5	14	5
z3-BooledASS-base ⁿ	54	3792.56	3799.60	54	54	21	14	21

24 seconds Performance Performance

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved UNSAT	Unsolved	Abstained	Timeout
cvc5	52	111.25	117.63	52	52	9	28	0
cvc5-cvc5-xyz	50 (base -2)	124.74	130.94	50	50	1	38	1
z3-BooledASS	0 (base -46)	0.00	0.00	0	0	1	88	0
cvc5-cvc5-xyz-base ⁿ	52	113.90	120.30	52	52	9	28	0
z3-BooledASS-base ⁿ	46	70.01	75.66	46	46	0	43	0

SMT-COMP 2026