Sota solver details
QBFEVAL'04

Instance: toilet_a_10_05.3
Best Solver: yQuaffle Time: 0.16 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - semprop 0.18 QUBE-LRN 1.08 QUANTOR 3.73
- - CLearn 0.23 - - QUBE-BJ 4.25
- - GRL 0.43 - - - -
yQuaffle(0.16)
semprop(0.18)
CLearn(0.23)
GRL(0.43)
QUBE-LRN(1.08)
QUANTOR(3.73)
QUBE-BJ(4.25)
CSBJ(20.57)
WalkQSAT(20.99)
openQbf(249.63)
sSolve(455.22)
QBFL-JW(776.61)