Sota solver details
QBFEVAL'04

Instance: robots_1_5_4_73.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.17 QUBE-LRN 1.04 QUANTOR 1.91
- - semprop 0.32 QUBE-BJ 1.06 openQbf 1.92
- - sSolve 0.32 - - CLearn 6.28
- - - - - - GRL 6.75
- - - - - - QSAT 9.5
yQuaffle(0.16)
QBFL-JW(0.17)
semprop(0.32)
sSolve(0.32)
QUBE-LRN(1.04)
QUBE-BJ(1.06)
QUANTOR(1.91)
openQbf(1.92)
CLearn(6.28)
GRL(6.75)
QSAT(9.5)
CSBJ(25.72)