Sota solver details
QBFEVAL'05

Instance: k_grz_p-8
Best Solver: QUANTOR Time: 0.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - QMRes 0.52
QUANTOR(0.02)
QMRes(0.52)
semprop(2.09)
skizzo_v0.4(6.16)
GRL(80.23)
QChaffLearn(91.21)
WalkQSAT(129.23)
yQuaffle(204.27)
skizzo_v0.5(500.85)