Family mB-t2-5qbf-5cnf-100var-1400cl results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn0.030.020.010.0201
CSBJ000001
GRL0.060.0300.0301
openQbf0.580.290.010.2901
orSAT0.040.0200.0201
QBFL-BS1802.02901.010.01901.0100
QBFL-JW1802.02901.010901.0100
QMRes135.1467.5734.2967.5701
QSAT95.847.947.6347.901
QUANTOR45.1522.5822.1222.5800.5
QUBE-BJ1.9910.02101
QUBE-LRN000000
semprop0.040.0200.0201
sSolve0.020.0100.0101
WalkQSAT0.040.0200.0201
yQuaffle0.030.020.010.0201