BV (Main Track)

Competition results for the BV division as of Fri Jul 21 10:18:02 GMT

Benchmarks in this division : 5150
Time Limit: 1200s

Winners

Sequential Performance	Parallel Performance
Q3B	Q3B

Result table¹

Sequential Performance

Solver	Error Score	Correct Score	CPU Time	Unsolved
Boolector	0.000	3935.059	227.994	337
CVC4	0.000	3739.053	349.175	432
Q3B	0.000	4103.292	256.403	503
z3-4.5.0n	0.000	4208.878	216.492	236

Parallel Performance

Solver	Error Score	Correct Score	CPU Score	WALL Score	Unsolved
Boolector	0.000	3978.696	421.307	218.289	326
CVC4	0.000	3739.053	349.399	352.755	432
Q3B	0.000	4138.335	725.453	243.961	494
z3-4.5.0n	0.000	4208.878	216.492	216.499	236

n. Non-competing.

1. Scores are computed according to Section 7 of the rules.