UFFPDTNIRA (Single Query Track)

Competition results for the UFFPDTNIRA division in the Single Query Track.

Page generated on 2020-07-04 11:46:59 +0000

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

Winners

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

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Abstained	Timeout	Memout
CVC4	0	7	7206.982	7208.6	7	0	7	14		6	0
UltimateEliminator+MathSAT	0	0	67.447	46.426	0	0	0	21		0	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Abstained	Timeout	Memout
CVC4	0	7	7208.312	7208.31	7	0	7	14		6	0
UltimateEliminator+MathSAT	0	0	67.447	46.426	0	0	0	21		0	0

SAT Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout	Memout
CVC4	0	0	0.0	0.0	0	0	0	21	6	0
UltimateEliminator+MathSAT	0	0	0.0	0.0	0	0	0	21	0	0

UNSAT Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout	Memout
CVC4	0	7	5.224	5.224	7	0	7	14	6	0
UltimateEliminator+MathSAT	0	0	22.546	15.51	0	0	0	21	0	0

24 seconds Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Abstained	Timeout	Memout
CVC4	0	7	152.312	152.31	7	0	7	14		6	0
UltimateEliminator+MathSAT	0	0	67.447	46.426	0	0	0	21		0	0

n Non-competing.
Abstained: Total of benchmarks in logics in this division that solver chose to abstain from. For SAT/UNSAT scores, this column also includes benchmarks not known to be SAT/UNSAT.