Sota solver details
QBFEVAL'04

Instance: k_lin_p-8
Best Solver: sSolve Time: 0.01 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - QSAT 0.05 QMRes 0.44
- - - - QUANTOR 0.09 CLearn 0.75
- - - - yQuaffle 0.09 QUBE-BJ 1
- - - - - - QUBE-LRN 1
sSolve(0.01)
QSAT(0.05)
QUANTOR(0.09)
yQuaffle(0.09)
QMRes(0.44)
CLearn(0.75)
QUBE-BJ(1)
QUBE-LRN(1)
GRL(1.83)