QF_UFDTLIA (Single Query Track)

Competition results for the QF_UFDTLIA 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)
SMTInterpol	SMTInterpol	SMTInterpol	SMTInterpol	SMTInterpol

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout	Memout
SMTInterpol	0	56	11378.151	9420.579	56	46	10	20	20	0
cvc5	0	39	7176.303	7177.471	39	32	7	37	37	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout	Memout
SMTInterpol	0	56	11378.151	9420.579	56	46	10	20	20	0
cvc5	0	39	7176.303	7177.471	39	32	7	37	37	0

SAT Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	N/A	Timeout	Memout
SMTInterpol	0	46	8969.072	7372.245	46	46	0	1	29	20	0
cvc5	0	32	6014.228	6015.115	32	32	0	15	29	37	0

UNSAT Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	N/A	Timeout	Memout
SMTInterpol	0	10	2409.08	2048.334	10	0	10	1	65	20	0
cvc5	0	7	1162.074	1162.356	7	0	7	4	65	37	0

24 seconds Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout	Memout
SMTInterpol	0	21	532.791	187.887	21	17	4	55	55	0
cvc5	0	16	105.401	105.426	16	13	3	60	60	0

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