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

qbflib.org

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

Instance	Solver	Result	Time
k_t4p_n-12	hiqqerfork	SAT	0.07
k_t4p_n-13	hiqqerfork	SAT	0.07
k_t4p_n-14	hiqqerfork	SAT	0.08
k_t4p_n-15	hiqqerfork	SAT	0.09
k_t4p_n-2	hiqqerfork	SAT	0.03
k_t4p_n-4	hiqqerfork	SAT	0.03
k_t4p_n-5	hiqqerfork	SAT	0.04
k_t4p_n-6	hiqqerfork	SAT	0.04
k_t4p_n-8	hiqqerfork	SAT	0.05
k_t4p_n-9	hiqqerfork	SAT	0.05

Contact | Organization | Links | Citing QBFLIB