Sota solver details
QBFEVAL'04

Instance: k_path_p-6
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
- - - - - - QMRes 0.25
QSAT(0.01)
QUANTOR(0.01)
QMRes(0.25)
semprop(1.99)
CLearn(34.03)
sSolve(37.42)
QUBE-BJ(42.5)
yQuaffle(165.38)
GRL(401.63)
QUBE-LRN(412.47)
WalkQSAT(844.92)