Sota solver results for family k_dum_n <br> QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

qbflib.org

Sota solver results for family k_dum_n
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

Instance	Solver	Result	Time
k_dum_n-1	depqbf-cert-v2	SAT	0.11
k_dum_n-2	cheq	SAT	0.83
k_dum_n-3	cheq	SAT	1.8
k_dum_n-5	cheq	SAT	129.61

Contact | Organization | Links | Citing QBFLIB