Results for instance x215.0
QBFEVAL'06



Solver Time Result
semprop0.12SAT
GRL5.41SAT
QUANTOR96.74FAIL
QUANTOR_hc97.54FAIL
preQuantor117.46FAIL
qube3.0295.03UNSAT
qube4.0535.56UNSAT
qube5.0535.67UNSAT
Quaffle573.47FAIL
yQuaffle598.25FAIL
WalkQSAT600.99FAIL
Qbfl6000.12FAIL
ssolve+ut6000.25FAIL
sSolve6000.28FAIL
ssolve-ut6000.28FAIL
2clsQ6000.42FAIL
SQBF6000.42FAIL
sKizzo-0.9-std6000.73FAIL
sKizzo-0.9-grn6000.79FAIL
openQbf6000.88FAIL
sKizzo-0.9-abs6000.96FAIL