Sota solver details
QBFEVAL'04

Instance: k_grz_p-3
Best Solver: QMRes Time: 0.21 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - semprop 0.33 - - CLearn 3.06
- - QUANTOR 0.84 - - QUBE-BJ 5.15
- - - - - - WalkQSAT 15.04
- - - - - - GRL 18.63
- - - - - - QUBE-LRN 19.5
QMRes(0.21)
semprop(0.33)
QUANTOR(0.84)
CLearn(3.06)
QUBE-BJ(5.15)
WalkQSAT(15.04)
GRL(18.63)
QUBE-LRN(19.5)
yQuaffle(80.65)
CSBJ(236.39)