Sota solver results for family k_grz_n <br> QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

qbflib.org

Sota solver results for family k_grz_n
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

Instance	Solver	Result	Time
k_grz_n-10	hiqqerfork	SAT	0.04
k_grz_n-18	hiqqerfork	SAT	0.07
k_grz_n-2	hiqqerfork	SAT	0.02
k_grz_n-20	hiqqerfork	SAT	0.08
k_grz_n-21	hiqqerfork	SAT	0.08
k_grz_n-4	hiqqerfork	SAT	0.03
k_grz_n-5	hiqqerfork	SAT	0.03
k_grz_n-6	hiqqerfork	SAT	0.03
k_grz_n-7	hiqqerfork	SAT	0.03
k_grz_n-8	hiqqerfork	SAT	0.03

Contact | Organization | Links | Citing QBFLIB