Results for instance robots_1_5_2_93.1 <br> QBFEVAL'04

qbflib.org

Results for instance robots_1_5_2_93.1
QBFEVAL'04

Solver	Time	Result
WalkQSAT	0.02	FAIL
semprop	0.04	SAT
yQuaffle	0.05	SAT
QBFL-JW	0.05	SAT
sSolve	0.05	SAT
QBFL-BS	0.08	SAT
QUANTOR	0.15	SAT
QSAT	0.61	SAT
openQbf	0.72	SAT
QUBE-LRN	1	SAT
QUBE-BJ	1.06	SAT
CSBJ	1.07	SAT
CLearn	1.15	SAT
QMRes	1.21	SAT
GRL	1.28	SAT
orSAT	901	FAIL