Sota solver details
QBFEVAL'05

Instance: TOILET7.1.iv.13
Best Solver: skizzo_v0.4 Time: 0.22 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - skizzo_v0.5 0.24 - - QMRes 2.95
- - QChaffLearn 0.33 - - sSolve 3.54
- - QUANTOR 1.08 - - - -
skizzo_v0.4(0.22)
skizzo_v0.5(0.24)
QChaffLearn(0.33)
QUANTOR(1.08)
QMRes(2.95)
sSolve(3.54)
yQuaffle(26.73)
semprop(55.98)
GRL(102.6)
QbflHR(860.78)