UFFPDTLIRA (Single Query Track)

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

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

Benchmarks: 381
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 - fixedn	0	344	12603.573	26850.133	344	41	303	37	17	0
cvc5	0	344	13949.556	26464.993	344	41	303	37	17	0
2020-CVC4n	0	325	17399.899	17367.306	325	22	303	56	13	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout	Memout
cvc5	0	344	26389.488	26464.203	344	41	303	37	17	0
cvc5 - fixedn	0	344	26676.408	26849.433	344	41	303	37	17	0
2020-CVC4n	0	325	17404.259	17366.826	325	22	303	56	13	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	41	1082.403	1083.28	41	41	0	0	340	17	0
cvc5 - fixedn	0	41	1096.942	1097.859	41	41	0	0	340	17	0
2020-CVC4n	0	22	90.079	90.15	22	22	0	19	340	13	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	303	2897.218	2859.16	303	0	303	2	76	13	0
cvc5 - fixedn	0	303	4911.764	4947.896	303	0	303	2	76	17	0
cvc5	0	303	5087.626	5133.947	303	0	303	2	76	17	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	330	1228.545	1223.984	330	32	298	51	42	0
cvc5 - fixedn	0	330	1223.664	1225.842	330	32	298	51	42	0
2020-CVC4n	0	320	825.273	825.877	320	22	298	61	23	0

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