Sota solver details
QBFEVAL'04

Instance: robots_1_5_4_21.2
Best Solver: yQuaffle Time: 0.17 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QBFL-JW 0.24 QUBE-LRN 1.06 QUANTOR 2.56
- - semprop 0.4 QUBE-BJ 1.08 openQbf 2.57
- - sSolve 0.41 - - CLearn 10.34
- - - - - - GRL 11.09
- - - - - - QSAT 13.92
yQuaffle(0.17)
QBFL-JW(0.24)
semprop(0.4)
sSolve(0.41)
QUBE-LRN(1.06)
QUBE-BJ(1.08)
QUANTOR(2.56)
openQbf(2.57)
CLearn(10.34)
GRL(11.09)
QSAT(13.92)
CSBJ(44.44)