Sota solver details
QBFEVAL'04

Instance: robots_1_5_5_29.1
Best Solver: semprop Time: 0.03 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QBFL-JW 0.04 QSAT 0.28 openQbf 0.48
- - sSolve 0.04 - - QMRes 0.95
- - QBFL-BS 0.06 - - QUBE-BJ 0.99
- - yQuaffle 0.06 - - QUBE-LRN 1
- - orSAT 0.12 - - CSBJ 1.58
- - QUANTOR 0.13 - - CLearn 1.7
- - - - - - GRL 1.88
semprop(0.03)
QBFL-JW(0.04)
sSolve(0.04)
QBFL-BS(0.06)
yQuaffle(0.06)
orSAT(0.12)
QUANTOR(0.13)
QSAT(0.28)
openQbf(0.48)
QMRes(0.95)
QUBE-BJ(0.99)
QUBE-LRN(1)
CSBJ(1.58)
CLearn(1.7)
GRL(1.88)