Sota solver details
QBFEVAL'04

Instance: k_lin_p-18
Best Solver: QSAT Time: 0.34 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUANTOR 0.86 QUBE-BJ 2.21 CLearn 17.27
- - yQuaffle 1.31 - - - -
- - QUBE-LRN 1.37 - - - -
QSAT(0.34)
QUANTOR(0.86)
yQuaffle(1.31)
QUBE-LRN(1.37)
QUBE-BJ(2.21)
CLearn(17.27)
GRL(79.71)