Sota solver details
QBFEVAL'05

Instance: k_ph_n-8
Best Solver: QUANTOR Time: 0.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - QChaffLearn 0.4
- - - - - - yQuaffle 0.47
- - - - - - sSolve 0.48
- - - - - - skizzo_v0.4 0.51
- - - - - - WalkQSAT 0.54
- - - - - - GRL 2.94
QUANTOR(0.04)
QChaffLearn(0.4)
yQuaffle(0.47)
sSolve(0.48)
skizzo_v0.4(0.51)
WalkQSAT(0.54)
GRL(2.94)
semprop(9.97)
skizzo_v0.5(192.49)