Results for instance test5_quant_squaring4
QBFEVAL'05



Solver Time Result
QMRes1.18SAT
QUANTOR74.48FAIL
skizzo_v0.4389.72FAIL
skizzo_v0.5424.08FAIL
QChaffLearn897.47FAIL
yQuaffle900.36FAIL
qbfbdd900.37FAIL
sSolve900.77FAIL
GRL900.83FAIL
openQbf900.94FAIL
WalkQSAT901FAIL
QbflHR901.01FAIL
semprop901.02FAIL