Sota solver details
QBFEVAL'18 - Prenex non-CNF Track

Instance: amba2f9n.sat
Best Solver: quabs___caqe-bloqqer Time: 61.03 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - quabs___caqe-hqspre 68.09 Qute_opt617 426.35 Qute_opt993 627.46
quabs___caqe-bloqqer(61.03)
quabs___caqe-hqspre(68.09)
Qute_opt617(426.35)
Qute_opt993(627.46)