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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve3879.36352.67471.4311.82731.110.636
aqme-102568.11233.46456.547.8611.660.818
depqbf3644.08331.28532.210.8840.270.727
depqbf-pre3676.74334.25530.3312.5225.870.727
nenofex-qbfeval103163.53287.59385.912.03355.990.545
qmaiga3896.01354.18524.510.55293.340.636
quantor-3.1325.729.6140.310.5662.570.636
QuBE71465.14133.19224.929.315.560.727
QuBE7-c1223.8111.25160.6511.78114.990.727
QuBE7-m1613.43146.68207.1913.04161.760.727
struqs-103650.15331.83497.470.32254.10.818