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

qbflib.org

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

Instance	Solver	Result	Time
k_branch_n-10	par-pd-depqbf	SAT	1.02
k_branch_n-11	par-pd-depqbf	SAT	1.01
k_branch_n-12	par-pd-depqbf	SAT	1.52
k_branch_n-16	hiqqerfork	SAT	0.77
k_branch_n-2	hiqqerfork	SAT	0.03
k_branch_n-3	hiqqerfork	SAT	0.03
k_branch_n-4	hiqqerfork	SAT	0.04
k_branch_n-8	hiqqerfork	SAT	0.19
k_branch_n-9	caqe-picosat-par	SAT	0.97

Contact | Organization | Links | Citing QBFLIB