Sota solver details
QBFEVAL'04

Instance: toilet_a_10_01.15
Best Solver: CLearn Time: 1.16 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GRL 1.35 - - CSBJ 21.72
- - yQuaffle 2.69 - - WalkQSAT 22.94
- - QUBE-LRN 3.79 - - semprop 23.49
- - - - - - QUANTOR 26.75
- - - - - - QMRes 33.76
- - - - - - QUBE-BJ 73.08
CLearn(1.16)
GRL(1.35)
yQuaffle(2.69)
QUBE-LRN(3.79)
CSBJ(21.72)
WalkQSAT(22.94)
semprop(23.49)
QUANTOR(26.75)
QMRes(33.76)
QUBE-BJ(73.08)
openQbf(890.2)