Sota solver details
QBFEVAL'04

Instance: robots_1_5_5_75.3
Best Solver: yQuaffle Time: 0.63 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUBE-LRN 1.21 QBFL-JW 3.29 openQbf 11.48
- - QUBE-BJ 1.35 - - CLearn 20.74
- - sSolve 2.86 - - GRL 22.16
- - - - - - QUANTOR 39.42
yQuaffle(0.63)
QUBE-LRN(1.21)
QUBE-BJ(1.35)
sSolve(2.86)
QBFL-JW(3.29)
openQbf(11.48)
CLearn(20.74)
GRL(22.16)
QUANTOR(39.42)
QSAT(172.76)
CSBJ(319.67)