Sota solver details
QBFEVAL'04

Instance: robots_1_5_3_17.2
Best Solver: yQuaffle Time: 0.18 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QBFL-JW 0.3 QUBE-LRN 1.09 QUANTOR 1.87
- - sSolve 0.43 QUBE-BJ 1.1 openQbf 2.76
- - semprop 0.49 - - CLearn 11.02
- - - - - - GRL 11.83
yQuaffle(0.18)
QBFL-JW(0.3)
sSolve(0.43)
semprop(0.49)
QUBE-LRN(1.09)
QUBE-BJ(1.1)
QUANTOR(1.87)
openQbf(2.76)
CLearn(11.02)
GRL(11.83)
QSAT(28.87)
CSBJ(48.36)