Sota solver details
QBFEVAL'04

Instance: k_grz_n-2
Best Solver: QUANTOR Time: 0.01 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - semprop 0.15
- - - - - - QMRes 0.23
- - - - - - sSolve 0.44
QUANTOR(0.01)
semprop(0.15)
QMRes(0.23)
sSolve(0.44)
CLearn(1.16)
QUBE-LRN(1.88)
QUBE-BJ(2.16)
WalkQSAT(3.67)
GRL(5.05)
QSAT(18.09)
yQuaffle(22.1)
CSBJ(171.46)