Results for instance x175.5
QBFEVAL'06



Solver Time Result
preQuantor0.01FAIL
semprop0.1SAT
QUANTOR118.8FAIL
QUANTOR_hc121.42FAIL
qube3.0301.08UNSAT
yQuaffle553.22FAIL
Quaffle565.29FAIL
ssolve-ut600.29FAIL
GRL600.84FAIL
WalkQSAT600.99FAIL
qube5.04336.52UNSAT
qube4.04352.22UNSAT
SQBF4522.48FAIL
Qbfl6000.1FAIL
sSolve6000.25FAIL
ssolve+ut6000.33FAIL
2clsQ6000.42FAIL
sKizzo-0.9-grn6000.62FAIL
sKizzo-0.9-std6000.64FAIL
openQbf6000.9FAIL
sKizzo-0.9-abs6000.97FAIL