Sota solver details
QBFEVAL'04

Instance: lognBWLARGEB1
Best Solver: QSAT Time: 0.23 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 0.63 - - semprop 3.84
- - - - - - sSolve 12.85
- - - - - - QUANTOR 17.6
QSAT(0.23)
yQuaffle(0.63)
semprop(3.84)
sSolve(12.85)
QUANTOR(17.6)
CLearn(53.79)
GRL(55.65)
QUBE-LRN(334.28)