Results for instance robots_1_5_5_95.8
QBFEVAL'05



Solver Time Result
QUANTOR9.02FAIL
skizzo_v0.484.62FAIL
skizzo_v0.591.18FAIL
WalkQSAT232.58FAIL
GRL319.57FAIL
yQuaffle769.07FAIL
QChaffLearn885.23FAIL
QMRes900.19FAIL
openQbf900.89FAIL
semprop900.99FAIL
qbfbdd900.99FAIL
QbflHR901FAIL
sSolve901.01FAIL