AUFBVDTLIA (Single Query Track)

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

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

Benchmarks: 680
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	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	374	386452.623	397584.938	374	152	222	306		285	0
UltimateEliminator+MathSAT	0	0	2232.262	1637.061	0	0	0	680		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	374	394698.463	397568.438	374	152	222	306		285	0
UltimateEliminator+MathSAT	0	0	2232.262	1637.061	0	0	0	680		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	152	39242.353	41807.637	152	152	0	528	285	0
UltimateEliminator+MathSAT	0	0	494.457	362.922	0	0	0	680	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	222	12406.903	12682.159	222	0	222	458	285	0
UltimateEliminator+MathSAT	0	0	724.175	526.341	0	0	0	680	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	193	11707.04	11706.986	193	9	184	487		487	0
UltimateEliminator+MathSAT	0	0	2232.262	1637.061	0	0	0	680		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.