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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve1.820.460.540.210.771
aqme-107.491.870.751.51.031
depqbf1291.68322.92506.9645.74616.730.75
depqbf-pre564.42141.11162.2273.59240.821
nenofex-qbfeval1046.6511.6614.844.4921.421
qmaiga6.251.562.520.142.991
quantor-3.10.60.150.090.160.181
QuBE72697.66674.42533.25737.921051.270.5
QuBE7-c2624.3656.07544657.261087.990.5
QuBE7-m3651.03912.76497.61200.03574.60.25
struqs-101837.01459.25499.11318.31913.920.75