Sota solver details
QBFEVAL'04

Instance: robots_1_5_4_78.1
Best Solver: QBFL-JW Time: 0.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - semprop 0.04 QBFL-BS 0.1 QSAT 0.28
- - sSolve 0.05 orSAT 0.13 QMRes 0.95
- - yQuaffle 0.06 QUANTOR 0.13 QUBE-BJ 0.98
- - - - - - QUBE-LRN 0.99
- - - - - - openQbf 1.06
- - - - - - CSBJ 1.56
- - - - - - CLearn 1.72
- - - - - - GRL 1.86
QBFL-JW(0.02)
semprop(0.04)
sSolve(0.05)
yQuaffle(0.06)
QBFL-BS(0.1)
orSAT(0.13)
QUANTOR(0.13)
QSAT(0.28)
QMRes(0.95)
QUBE-BJ(0.98)
QUBE-LRN(0.99)
openQbf(1.06)
CSBJ(1.56)
CLearn(1.72)
GRL(1.86)