FPLRA (Single Query Track)

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

Results were generated on 2026-07-25

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

Winners

Sequential Performance	Parallel Performance	SAT Performance (parallel)	UNSAT Performance (parallel)	24 seconds Performance (parallel)
Bitwuzla	Bitwuzla	Bitwuzla	-	Bitwuzla

Sequential Performance Performance

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Unsolved	Timeout
Bitwuzla	36	13.51	18.01	36	36	4	4
cvc5-cvc5-xyz ^ne	22 (base +0)	1096.84	1099.67	22	22	18	16
cvc5	22	1101.03	1103.83	22	22	18	16
colibri2	14	2.52	4.26	14	14	26	1
UltimateEliminator+MathSAT	12	68.39	41.54	12	12	28	0
bitwuzla-dandelion ⁿ	0 (base -36)	0.00	0.00	0	0	40	0
z3-BooledASS ^ne	0 (base -25)	0.00	0.00	0	0	40	0
bitwuzla-dandelion-base ⁿ	36	13.65	18.17	36	36	4	4
z3-BooledASS-base ⁿ	25	139.94	143.00	25	25	15	12
cvc5-cvc5-xyz-base ⁿ	22	1091.13	1093.97	22	22	18	16

(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	Unsolved	Timeout
Bitwuzla	36	13.51	18.01	36	36	4	4
cvc5-cvc5-xyz ^ne	22 (base +0)	1096.84	1099.67	22	22	18	16
cvc5	22	1101.03	1103.83	22	22	18	16
colibri2	14	2.52	4.26	14	14	26	1
UltimateEliminator+MathSAT	12	68.39	41.54	12	12	28	0
bitwuzla-dandelion ⁿ	0 (base -36)	0.00	0.00	0	0	40	0
z3-BooledASS ^ne	0 (base -25)	0.00	0.00	0	0	40	0
bitwuzla-dandelion-base ⁿ	36	13.65	18.17	36	36	4	4
z3-BooledASS-base ⁿ	25	139.94	143.00	25	25	15	12
cvc5-cvc5-xyz-base ⁿ	22	1091.13	1093.97	22	22	18	16

SAT Performance Performance

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Unsolved	Abstained	Timeout
Bitwuzla	36	13.51	18.01	36	36	0	4	0
cvc5-cvc5-xyz ^ne	22 (base +0)	1096.84	1099.67	22	22	14	4	12
cvc5	22	1101.03	1103.83	22	22	14	4	12
colibri2	14	2.52	4.26	14	14	22	4	1
UltimateEliminator+MathSAT	12	68.39	41.54	12	12	24	4	0
bitwuzla-dandelion ⁿ	0 (base -36)	0.00	0.00	0	0	36	4	0
z3-BooledASS ^ne	0 (base -25)	0.00	0.00	0	0	36	4	0
bitwuzla-dandelion-base ⁿ	36	13.65	18.17	36	36	0	4	0
z3-BooledASS-base ⁿ	25	139.94	143.00	25	25	11	4	11
cvc5-cvc5-xyz-base ⁿ	22	1091.13	1093.97	22	22	14	4	12

24 seconds Performance Performance

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Unsolved	Abstained
Bitwuzla	36	13.51	18.01	36	36	0	4
cvc5-cvc5-xyz ^ne	20 (base +0)	7.15	9.58	20	20	2	18
cvc5	20	7.24	9.72	20	20	2	18
colibri2	14	2.52	4.26	14	14	24	2
UltimateEliminator+MathSAT	12	68.39	41.54	12	12	28	0
bitwuzla-dandelion ⁿ	0 (base -36)	0.00	0.00	0	0	40	0
z3-BooledASS ^ne	0 (base -23)	0.00	0.00	0	0	40	0
bitwuzla-dandelion-base ⁿ	36	13.65	18.17	36	36	0	4
z3-BooledASS-base ⁿ	23	30.33	33.14	23	23	0	17
cvc5-cvc5-xyz-base ⁿ	20	7.28	9.76	20	20	2	18

SMT-COMP 2026