Results for instance toilet_g_08_01.2 <br> QBFEVAL'04

qbflib.org

Results for instance toilet_g_08_01.2
QBFEVAL'04

Solver	Time	Result
GRL	0	SAT
QBFL-JW	0	SAT
QUANTOR	0	SAT
semprop	0	SAT
QBFL-BS	0	SAT
WalkQSAT	0	SAT
QSAT	0.01	SAT
CLearn	0.01	SAT
sSolve	0.01	SAT
QMRes	0.01	SAT
CSBJ	0.01	SAT
yQuaffle	0.02	SAT
orSAT	0.03	SAT
openQbf	0.23	SAT
QUBE-BJ	0.96	SAT
QUBE-LRN	0.98	SAT