Family Impl results for solvers <br> QBFEVAL'08

qbflib.org

Family Impl results for solvers
QBFEVAL'08

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AQME-1NN	7.78	0.78	0.03	0.78	0.04	1
Nenofex	0.06	0.01	0.01	0	0.01	1
quantor3.0	0.04	0	0	0	0	1
QuBE6.1	0.34	0.03	0	0.03	0	1
ssolve-A	0.07	0.01	0	0.01	0	1
ssolveB	0.08	0.01	0	0.01	0	1
ssolveC	0.09	0.01	0	0.01	0	1

Contact | Organization | Links | Citing QBFLIB