Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: gttt_1_1_00101121_4x4_torus_w
Best Solver: Caqe-bloqqer-qdo Time: 304.96 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer 314.02 - - - -
Caqe-bloqqer-qdo(304.96)
Caqe-bloqqer(314.02)