Family C6288 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ6000.426000.4206000.4200
GRL600.94600.940600.9400
openQbf6000.886000.8806000.8800
preQuantor17.2617.26017.2600
Qbfl599.05599.050599.0500
Quaffle597.71597.710597.7100
QUANTOR15.4415.44015.4400
QUANTOR_hc15.5715.57015.5700
qube3.06000.486000.4806000.4800
qube4.06000.176000.1706000.1700
qube5.06000.776000.7706000.7700
semprop3.893.8903.8901
sKizzo-0.9-abs451.8451.80451.801
sKizzo-0.9-grn0.640.6400.6401
sKizzo-0.9-std261.79261.790261.7901
SQBF1441.841441.8401441.8400
sSolve3.483.4803.4801
ssolve+ut6.236.2306.2301
ssolve-ut2.312.3102.3101
WalkQSAT600.98600.980600.9800
yQuaffle5999.655999.6505999.6500