Sota solver details
QBFEVAL'04

Instance: k_dum_p-8
Best Solver: QMRes Time: 0.22 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - semprop 0.27 - - QUANTOR 4.12
- - - - - - QUBE-BJ 6.32
- - - - - - CLearn 8.77
- - - - - - yQuaffle 15.61
QMRes(0.22)
semprop(0.27)
QUANTOR(4.12)
QUBE-BJ(6.32)
CLearn(8.77)
yQuaffle(15.61)
WalkQSAT(42.85)
GRL(54.51)
QUBE-LRN(231.65)
sSolve(353.71)