Sota solver details
QBFEVAL'04

Instance: k_grz_p-4
Best Solver: QMRes Time: 0.24 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - semprop 0.79 - - CLearn 2.98
- - QUANTOR 0.81 - - WalkQSAT 10.97
- - - - - - QUBE-BJ 11.24
- - - - - - GRL 18.72
- - - - - - QUBE-LRN 23.49
QMRes(0.24)
semprop(0.79)
QUANTOR(0.81)
CLearn(2.98)
WalkQSAT(10.97)
QUBE-BJ(11.24)
GRL(18.72)
QUBE-LRN(23.49)
yQuaffle(104.24)
CSBJ(193.19)