Sota solver details
QBFEVAL'04

Instance: k_poly_p-2
Best Solver: sSolve Time: 0 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QSAT 0.01 QMRes 0.05 semprop 0.11
- - QUANTOR 0.01 - - openQbf 0.22
- - yQuaffle 0.01 - - QUBE-BJ 0.97
sSolve(0)
QSAT(0.01)
QUANTOR(0.01)
yQuaffle(0.01)
QMRes(0.05)
semprop(0.11)
openQbf(0.22)
QUBE-BJ(0.97)
GRL(1.47)
QUBE-LRN(2.1)
CLearn(4.68)
QBFL-BS(402.26)
CSBJ(620.94)