QF_Strings (QF_S, QF_SLIA) - Single Query Track

Competition results for the QF_Strings (QF_S, QF_SLIA) division in the Single Query Track.

Page generated on 2020-01-29 22:04:58 +0000

Benchmarks: 27902
Time Limit: 2400 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	Timeout	Memout
CVC4	0	27664	416805.847	418754.165	27664	17023	10641	238	237	0
Z3str4	0	24252	4297979.273	4294716.3	24252	13748	10504	3650	3567	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout	Memout
CVC4	0	27664	416805.847	418754.165	27664	17023	10641	238	237	0
Z3str4	0	24252	4297979.273	4294716.3	24252	13748	10504	3650	3567	0

SAT Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout	Memout
CVC4	0	17023	144569.695	145992.215	17023	17023	0	10879	237	0
Z3str4	0	13748	3942749.156	3939953.208	13748	13748	0	14154	3567	0

UNSAT Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout	Memout
CVC4	0	10641	27699.598	27946.576	10641	0	10641	17261	237	0
Z3str4	0	10504	124534.698	124253.478	10504	0	10504	17398	3567	0

24 seconds Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout	Memout
CVC4	0	27116	29452.982	29355.135	27116	16566	10550	786	785	0
Z3str4	0	24209	92259.64	90592.903	24209	13705	10504	3693	3611	0

n Non-competing.