Family ToiletA results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ92.5146.2643.5246.2601
GRL257.18128.59125.32128.5901
openQbf10506.515253.26747.675253.2600.5
preQuantor91.1345.5742.9645.5701
Qbfl11994.415997.210.245997.2100
Quaffle20.9610.481.5910.4801
QUANTOR34.6717.3414.4417.3401
QUANTOR_hc34.5917.314.4417.301
qube3.01262.19601
qube4.029.0814.548.3314.5401
qube5.016.748.370.438.3701
semprop76.2938.1531.9338.1501
sKizzo-0.9-abs59.3229.6629.1329.6601
sKizzo-0.9-grn12.116.065.596.0601
sKizzo-0.9-std62.5931.330.6931.301
SQBF91.3645.6843.0245.6801
sSolve47.2123.6114.8923.6101
ssolve+ut10.195.13.475.101
ssolve-ut6007.753003.882996.433003.8800.5
WalkQSAT29.9314.9711.8714.9701
yQuaffle28.9614.489.7414.4801