QF_UFBVDT (Single Query Track)

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

Page generated on 2023-07-06 16:04:54 +0000

Benchmarks: 76
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	0	49	10278.325	10280.702	49	43	6	27	26	0
UltimateIntBlastingWrapper+SMTInterpol	0	0	0.0	0.0	0	0	0	76	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	49	10278.325	10280.702	49	43	6	27	26	0
UltimateIntBlastingWrapper+SMTInterpol	0	0	0.0	0.0	0	0	0	76	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	43	9933.868	9936.213	43	43	0	0	33	26	0
UltimateIntBlastingWrapper+SMTInterpol	0	0	0.0	0.0	0	0	0	43	33	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	6	344.457	344.489	6	0	6	0	70	26	0
UltimateIntBlastingWrapper+SMTInterpol	0	0	0.0	0.0	0	0	0	6	70	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	19	135.036	135.061	19	14	5	57	57	0
UltimateIntBlastingWrapper+SMTInterpol	0	0	0.0	0.0	0	0	0	76	0	0

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