Results for instance mutex-64-s
QBFEVAL'07



Solver Time Result
sKizzo-0.10-std0.08SAT
sKizzo-0.10-qck0.08SAT
qSS0.25SAT
AQME-1NN0.65SAT
AQME-C4.50.71SAT
AQME-RIPPER0.75SAT
squolem4.59SAT
EBDDRES8.31SAT
QUANTOR_2.1510.36FAIL
qZilla13.82SAT
Adaptive2clsQ26.73SAT
aigqbf_s263.67SAT
preQuel_sKizzo-0.10600FAIL
ncQuBE1.0600FAIL
ncQuBE1.1600FAIL
aigqbf_sr600FAIL
yQuaffle600FAIL