QF_UFFPDTLIRA (Single Query Track)

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

Page generated on 2021-07-18 17:29:07 +0000

Benchmarks: 154
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	cvc5

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout	Memout
cvc5 - fixedn	0	154	123.536	123.556	154	24	130	0	0	0
cvc5	0	154	124.047	124.009	154	24	130	0	0	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout	Memout
cvc5 - fixedn	0	154	123.536	123.556	154	24	130	0	0	0
cvc5	0	154	124.047	124.009	154	24	130	0	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 - fixedn	0	24	67.135	67.176	24	24	0	0	130	0	0
cvc5	0	24	67.909	67.906	24	24	0	0	130	0	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	130	56.138	56.103	130	0	130	0	24	0	0
cvc5 - fixedn	0	130	56.402	56.38	130	0	130	0	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	153	87.693	87.649	153	23	130	1	1	0
cvc5 - fixedn	0	153	87.967	87.984	153	23	130	1	1	0

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