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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn0.020.0100.0101
CSBJ0.010.010.010.0101
GRL0.060.0300.0301
openQbf0.580.290.020.2901
orSAT0.040.0200.0201
QBFL-BS1802.02901.010901.0100
QBFL-JW0.10.050.030.0501
QMRes901.85450.93450.1450.9300.5
QSAT0.750.380.010.3801
QUANTOR12.896.456.436.4501
QUBE-BJ2.021.010.031.0101
QUBE-LRN000000
semprop0.010.010.010.0101
sSolve0.030.020.010.0201
WalkQSAT0.010.010.010.0101
yQuaffle0.040.0200.0201