QF_BVFP (Main Track)

Competition results for the QF_BVFP division as of Fri Oct 30 12:49:29 GMT

Competition benchmarks = 7
Competition industrial benchmarks = 0

Non-Competitive division

Sequential Performance

Solver	Errors	Corrects	CPU
Z3 (FP)	0	7	16.27
Z3 (ijcar14)	0	7	33.35
MathSatn	0	7	17.72

Sequential Performance (industrial)

Solver	Errors	Corrects	CPU
Z3 (FP)	0	0	0.00
Z3 (ijcar14)	0	0	0.00
MathSatn	0	0	0.00

Parallel Performance

Solver	Errors	Corrects	CPU	WALL
Z3 (FP)	0	7	16.27	16.27
Z3 (ijcar14)	0	7	33.35	33.34
MathSatn	0	7	17.72	17.72

Parallel Performance (industrial)

Solver	Errors	Corrects	CPU	WALL
Z3 (FP)	0	0	0.00	0.00
Z3 (ijcar14)	0	0	0.00	0.00
MathSatn	0	0	0.00	0.00

Other Information

Solver	Not Solved	Remaining
Z3 (FP)	0	0
Z3 (ijcar14)	0	0
MathSatn	0	0

n. Non-competitive.