AUFFPDTNIRA (Single Query Track)

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

Page generated on 2022-08-10 11:17:44 +0000

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

Winners

Sequential Performance	Parallel Performance	SAT Performance (parallel)	UNSAT Performance (parallel)	24s Performance (parallel)
cvc5	cvc5	—	cvc5	cvc5

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout	Memout
cvc5	0	132	8422.53	8423.423	132	0	132	27	7	0
z3-4.8.17n	0	131	10262.968	10265.033	131	0	131	28	8	0
UltimateEliminator+MathSAT	0	0	732.298	440.224	0	0	0	159	0	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout	Memout
cvc5	0	132	8423.26	8423.213	132	0	132	27	7	0
z3-4.8.17n	0	131	10264.648	10264.603	131	0	131	28	8	0
UltimateEliminator+MathSAT	0	0	732.298	440.224	0	0	0	159	0	0

SAT Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	N/A	Timeout	Memout
cvc5	0	0	0.0	0.0	0	0	0	0	159	7	0
UltimateEliminator+MathSAT	0	0	0.0	0.0	0	0	0	0	159	0	0
z3-4.8.17n	0	0	0.0	0.0	0	0	0	0	159	8	0

UNSAT Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	N/A	Timeout	Memout
cvc5	0	132	3616.994	3616.95	132	0	132	3	24	7	0
z3-4.8.17n	0	131	5457.295	5457.285	131	0	131	4	24	8	0
UltimateEliminator+MathSAT	0	0	620.261	373.483	0	0	0	135	24	0	0

24 seconds Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout	Memout
cvc5	0	132	191.26	191.213	132	0	132	27	7	0
z3-4.8.17n	0	129	301.098	300.841	129	0	129	30	10	0
UltimateEliminator+MathSAT	0	0	732.298	440.224	0	0	0	159	0	0

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