Family conformant_planning results for solvers
QBFEVAL'10 - Competitive Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve8979.3598.62490.22517.531199.660.467
aqme-108075.53538.37529.95174.041139.920.6
depqbf12253.85816.92544.311200.151193.380.333
depqbf-pre12205.97813.73547.251200.161189.140.333
nenofex-qbfeval106279.1418.61445.63192.15606.130.533
qmaiga8534.38568.96537.74216.691199.770.533
quantor-3.18244.84549.66548.55178.961199.760.6
QuBE714504.65966.98466.611200.021095.710.2
QuBE7-c13712.8914.19481.931200.021098.430.267
QuBE7-m13725.47915.03481.231200.021102.170.267
struqs-1015607.711040.51406.821200.080.010.133