Sota solver details
QBFEVAL'04

Instance: k_ph_p-7
Best Solver: QUANTOR Time: 1.28 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 2.32 - - GRL 33.67
- - QUBE-LRN 2.33 - - sSolve 50.18
- - CLearn 4.88 - - - -
QUANTOR(1.28)
yQuaffle(2.32)
QUBE-LRN(2.33)
CLearn(4.88)
GRL(33.67)
sSolve(50.18)
QSAT(284.47)