Sota solver details
QBFEVAL'04

Instance: k_dum_p-6
Best Solver: semprop Time: 0.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QMRes 0.16 - - QUANTOR 0.67
- - - - - - CLearn 1.68
- - - - - - GRL 3.32
- - - - - - yQuaffle 3.84
semprop(0.06)
QMRes(0.16)
QUANTOR(0.67)
CLearn(1.68)
GRL(3.32)
yQuaffle(3.84)
QUBE-BJ(6.09)
WalkQSAT(6.43)
QUBE-LRN(10.87)
sSolve(11.3)
QSAT(119.78)