QF_FP (Main Track)

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

Competition benchmarks = 34413
Competition industrial benchmarks = 0

Non-Competitive division

Sequential Performance

Solver	Errors	Corrects	CPU
Z3 (FP)	0	34410	8985.58
Z3 (ijcar14)	0	34410	9812.71
MathSatn	0	28739	7562.76

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	34410	8988.66	9127.96
Z3 (ijcar14)	0	34410	9815.83	9908.95
MathSatn	0	28739	7564.08	7600.58

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)	3	0
Z3 (ijcar14)	3	0
MathSatn	5674	0

n. Non-competitive.