Results for instance x160.6
QBFEVAL'06



Solver Time Result
semprop0.07SAT
preQuantor61.12FAIL
QUANTOR_hc86.83FAIL
QUANTOR87.31FAIL
qube3.0159.67UNSAT
qube5.0318.95UNSAT
qube4.0319.77UNSAT
yQuaffle549.42FAIL
Quaffle550.92FAIL
ssolve-ut600.25FAIL
GRL600.83FAIL
WalkQSAT600.99FAIL
SQBF3745.21FAIL
sKizzo-0.9-abs4829.14FAIL
Qbfl5999.81FAIL
sSolve6000.3FAIL
ssolve+ut6000.3FAIL
2clsQ6000.42FAIL
sKizzo-0.9-std6000.68FAIL
sKizzo-0.9-grn6000.68FAIL
openQbf6000.92FAIL