Sota solver details
QBFEVAL'04

Instance: toilet_a_10_01.7
Best Solver: CLearn Time: 0.08 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - WalkQSAT 0.12 sSolve 0.79 QMRes 1.02
- - yQuaffle 0.15 - - QUBE-BJ 1.02
- - semprop 0.17 - - QUBE-LRN 1.03
- - GRL 0.27 - - QUANTOR 2.53
- - QBFL-BS 0.37 - - openQbf 2.94
CLearn(0.08)
CSBJ(0.08)
WalkQSAT(0.12)
yQuaffle(0.15)
semprop(0.17)
GRL(0.27)
QBFL-BS(0.37)
sSolve(0.79)
QMRes(1.02)
QUBE-BJ(1.02)
QUBE-LRN(1.03)
QUANTOR(2.53)
openQbf(2.94)
QBFL-JW(21.05)
QSAT(39.88)