AUFFPDTLIRA (Single Query Track)

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

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

Benchmarks: 132
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
2020-CVC4n	0	114	19.991	19.955	114	0	114	18	0	0
cvc5	0	112	2412.908	2413.132	112	0	112	20	2	0
cvc5 - fixedn	0	112	2412.96	2413.294	112	0	112	20	2	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout	Memout
2020-CVC4n	0	114	19.991	19.955	114	0	114	18	0	0
cvc5	0	112	2413.178	2413.112	112	0	112	20	2	0
cvc5 - fixedn	0	112	2413.29	2413.234	112	0	112	20	2	0

SAT Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	N/A	Timeout	Memout
2020-CVC4n	0	0	0.0	0.0	0	0	0	0	132	0	0
cvc5	0	0	0.0	0.0	0	0	0	0	132	2	0
cvc5 - fixedn	0	0	0.0	0.0	0	0	0	0	132	2	0

UNSAT Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	N/A	Timeout	Memout
2020-CVC4n	0	114	17.404	17.37	114	0	114	0	18	0	0
cvc5	0	112	2411.13	2411.072	112	0	112	2	18	2	0
cvc5 - fixedn	0	112	2411.232	2411.182	112	0	112	2	18	2	0

24 seconds Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout	Memout
2020-CVC4n	0	114	19.991	19.955	114	0	114	18	0	0
cvc5	0	112	61.178	61.112	112	0	112	20	2	0
cvc5 - fixedn	0	112	61.29	61.234	112	0	112	20	2	0

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