Sota solver details
QBFEVAL'05

Instance: mutex-8-s
Best Solver: sSolve Time: 0 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - skizzo_v0.4 0.03 - - QMRes 0.15
- - skizzo_v0.5 0.03 - - QUANTOR 0.81
sSolve(0)
skizzo_v0.4(0.03)
skizzo_v0.5(0.03)
QMRes(0.15)
QUANTOR(0.81)
WalkQSAT(2.23)
QChaffLearn(3.98)
semprop(6.1)
qbfbdd(7.97)
QbflHR(15.54)
GRL(21.34)
openQbf(138.57)