Sota solver details
QBFEVAL'04

Instance: k_grz_n-3
Best Solver: QUANTOR Time: 0.15 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QMRes 0.24 - - CLearn 1.88
- - semprop 0.29 - - QUBE-LRN 2.71
- - sSolve 0.45 - - QUBE-BJ 2.88
- - - - - - WalkQSAT 5.41
QUANTOR(0.15)
QMRes(0.24)
semprop(0.29)
sSolve(0.45)
CLearn(1.88)
QUBE-LRN(2.71)
QUBE-BJ(2.88)
WalkQSAT(5.41)
GRL(16.78)
yQuaffle(52.61)
QSAT(54.44)
CSBJ(255.88)