Family mB-t2-4qbf-5cnf-150var-2100cl results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn0.040.0200.0201
CSBJ0.030.020.010.0201
GRL0.090.050.010.0501
openQbf1.130.570.060.5701
orSAT1802.02901.010901.0100
QBFL-BS1802.02901.010.01901.0100
QBFL-JW1802.03901.020.01901.0200
QMRes1802.06901.030901.0300
QSAT0.540.270.130.2701
QUANTOR25.1112.560.5512.5600
QUBE-BJ2.011.010.031.0101
QUBE-LRN000000
semprop0.040.0200.0201
sSolve0.050.030.010.0301
WalkQSAT0.060.0300.0301
yQuaffle0.040.0200.0201