Sota solver details
QBFEVAL'04

Instance: k_t4p_n-2
Best Solver: QUANTOR Time: 0.05 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - semprop 0.07 - - - -
- - QMRes 0.23 - - - -
QUANTOR(0.05)
semprop(0.07)
QMRes(0.23)
CLearn(41.15)
QUBE-BJ(61.43)
QSAT(132.35)
WalkQSAT(132.39)
GRL(306.88)
sSolve(333.46)