Results for instance eijk.S1196.S-d3
QBFEVAL'07



Solver Time Result
aigqbf_s2.52UNSAT
aigqbf_sr3.2UNSAT
QUANTOR_2.1516.14FAIL
preQuel_sKizzo-0.1020.61UNSAT
EBDDRES31.09FAIL
ncQuBE1.164.34UNSAT
sKizzo-0.10-qck100.89UNSAT
sKizzo-0.10-std116.47UNSAT
AQME-C4.5227.39UNSAT
ncQuBE1.0350.61UNSAT
qSS409.25UNSAT
AQME-RIPPER600FAIL
yQuaffle600FAIL
Adaptive2clsQ600FAIL
qZilla600FAIL
squolem600FAIL
AQME-1NN600FAIL