Results for instance robots_1_5_5_33.8
QBFEVAL'05



Solver Time Result
QUANTOR9.12FAIL
skizzo_v0.483.14FAIL
GRL113.15UNSAT
semprop133.83UNSAT
WalkQSAT187.5FAIL
QChaffLearn302.1UNSAT
sSolve463.06UNSAT
skizzo_v0.5466.75UNSAT
yQuaffle764.42FAIL
QMRes900.23FAIL
openQbf900.94FAIL
qbfbdd900.94FAIL
QbflHR901.01FAIL