Family Impl results for solvers <br> QBFEVAL'10 - Competitive Track.

qbflib.org

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

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	0	0	0	0	0	1
aqme-10	1.1	1.1	0	1.1	0	1
depqbf	0.01	0.01	0	0.01	0	1
depqbf-pre	0.02	0.02	0	0.02	0	1
nenofex-qbfeval10	0.01	0.01	0	0.01	0	1
qmaiga	0	0	0	0	0	1
quantor-3.1	0	0	0	0	0	1
QuBE7	0	0	0	0	0	1
QuBE7-c	0.01	0.01	0	0.01	0	1
QuBE7-m	0	0	0	0	0	1
struqs-10	0	0	0	0	0	1

Contact | Organization | Links | Citing QBFLIB