Family mA-t2-6qbf-5cnf-160var-2560cl results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ36090.813609.082928.786000.425979.990.4
GRL1268.45126.85182.6754.3678.480.5
openQbf60008.816000.880.046000.890.090
preQuantor164.1416.415.817.283.40
Qbfl59988.355998.841.465999.282.210
Quaffle5400.94540.093.35539.554.090
QUANTOR180.9518.13.6516.675.260
QUANTOR_hc183.8818.393.6916.795.160
qube3.07.830.781.590.250.161
qube4.03.110.310.160.290.251
qube5.03.240.320.160.290.281
semprop20.662.072.30.52.511
sKizzo-0.9-abs240.5924.0620.112.42.041
sKizzo-0.9-grn163.9916.47.6412.492.431
sKizzo-0.9-std257.5925.7622.512.44.271
SQBF6779.82677.98106.84657.99112.190
sSolve2.040.20.030.210.041
ssolve+ut20.422.040.592.220.041
ssolve-ut2.260.230.040.220.041
WalkQSAT865.7586.58144.4113.5765.920.8
yQuaffle5967.66596.770.38596.780.740