Sota solver details
QBFEVAL'04

Instance: k_branch_p-3
Best Solver: QSAT Time: 0.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - QUANTOR 0.57
- - - - - - yQuaffle 1.38
- - - - - - QUBE-BJ 1.55
- - - - - - QUBE-LRN 1.6
- - - - - - CLearn 1.82
QSAT(0.02)
semprop(0.02)
sSolve(0.02)
QUANTOR(0.57)
yQuaffle(1.38)
QUBE-BJ(1.55)
QUBE-LRN(1.6)
CLearn(1.82)
QMRes(3.15)
GRL(4.13)