Sota solver details
QBFEVAL'04

Instance: robots_1_5_5_5.2
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
- - QBFL-JW 0.18 QUBE-BJ 1.03 QUANTOR 2.01
- - semprop 0.31 QUBE-LRN 1.04 openQbf 2.07
- - sSolve 0.31 - - CLearn 6.23
- - - - - - GRL 6.75
- - - - - - QSAT 9.26
yQuaffle(0.16)
QBFL-JW(0.18)
semprop(0.31)
sSolve(0.31)
QUBE-BJ(1.03)
QUBE-LRN(1.04)
QUANTOR(2.01)
openQbf(2.07)
CLearn(6.23)
GRL(6.75)
QSAT(9.26)
CSBJ(25.42)