Family mA-t2-4qbf-5cnf-100var-1600cl results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn0.050.030.010.0301
CSBJ0.260.130.060.1301
GRL0.170.090.010.0901
openQbf1802.01901.010.01901.0100
orSAT1802.02901.010901.0100
QBFL-BS1802.02901.010.01901.0100
QBFL-JW1802901090100
QMRes1802.04901.020901.0200
QSAT0.950.480.350.4801
QUANTOR22.6211.310.0411.3100
QUBE-BJ2.151.080.081.0801
QUBE-LRN210101
semprop0.040.0200.0201
sSolve0.020.0100.0101
WalkQSAT0.270.140.060.1401
yQuaffle1802.01901.010.01901.0100