Family s510 results for solvers
QBFEVAL'16 - Prenex CNF Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve4488.72448.87237.88599.78563.210.3
aqua-f3v5484.99548.5154.560000.1
aqua-s2v5486.34548.63154.160000.1
aqua-s3o5488.98548.9153.3160000.1
caqe-minisat4299.55429.96260.01599.68582.850.3
caqe-picosat4306.07430.61259.09599.67581.140.3
depqbf-v13132.53313.25279.19315.06560.770
depqbf-v24650.25465.03229.84592.73575.830.3
depqbf-v34437.23443.72243.99599.71578.820.3
ghostq-cegar739.4673.9553.0979.4298.61
ghostq-plain710.7271.0750.9775.4592.961
hiqqer14718.13471.81225.64599.76554.040.3
hiqqer1ldsq4719.54471.95225.65599.81554.120.3
hiqqer34891.1489.11221.93599.77517.420.2
iprover-QBF1259.34125.93194.8522.393.190
iprover-QBF-bloqqer4731.45473.15113.23599.18196.980
qesto4234.92423.49262.5599.61589.290.4
qestos5381.45538.1574.91579.22169.090
qsts11.071.110.721.251.451
rareqs3721.92372.19265.59549.26595.790.5
squeezebf+struqs5468.97546.9158.85599.8100.1
struqs-105471.74547.17157.96599.830.020.1
xb-bid-qsts4299.5429.95259.83599.66575.960.3
xb-qsts4298.84429.88259.91599.66576.240.3