Results for instance robots_1_5_5_14.8
QBFEVAL'05



Solver Time Result
QUANTOR9.03FAIL
skizzo_v0.488.72FAIL
WalkQSAT221.27FAIL
GRL317.03FAIL
skizzo_v0.5705.61UNSAT
yQuaffle769.13FAIL
QChaffLearn885.28FAIL
QMRes900.36FAIL
openQbf900.93FAIL
semprop900.98FAIL
QbflHR900.99FAIL
qbfbdd900.99FAIL
sSolve900.99FAIL