Sota solver details
QBFEVAL'05

Instance: k_ph_n-12
Best Solver: QUANTOR Time: 2.78 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - skizzo_v0.4 9.39 skizzo_v0.5 14.07 yQuaffle 27.89
- - QChaffLearn 10.54 WalkQSAT 15.09 GRL 170.77
QUANTOR(2.78)
skizzo_v0.4(9.39)
QChaffLearn(10.54)
skizzo_v0.5(14.07)
WalkQSAT(15.09)
yQuaffle(27.89)
GRL(170.77)