QF_FP (Unknown Benchmarks Track)

Competition results for the QF_FP division as of Thu Jul 7 07:28:02 GMT

Benchmarks in this division: 215
Time Limit: 1200s

Non-Competitive division

Result table

Sequential Performance

Solver	Solved	avg. CPU time	avg. WALL time
MathSat5n	181	33820.15	33795.69

n. Non-competitive.