Family mA-t2-2qbf-5cnf-80var-1280cl results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL11.451.151.80.040.311
openQbf7.310.730.750.410.231
qbfbdd6305.24630.52412.77900.72900.730.3
QbflHR0.550.060.060.030.041
QChaffLearn0.460.050.060.020.011
QMRes9004.55900.460.11900.490.180
QUANTOR95.489.550.089.560.110
semprop0.130.010.010.010.011
skizzo_v0.4539.8753.9945.2728.0143.321
skizzo_v0.5762.0476.266.9435.88100.691
sSolve0.110.0100.0101
WalkQSAT5406.07540.61441.39901900.990.4
yQuaffle126.0712.6136.560.380.511