Instances of family Sorting_networks solved by <a href='solver_detail.php?solver=262'>hiqqerfork</a> <br> QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

qbflib.org

Instances of family Sorting_networks solved by hiqqerfork
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

Instance	Result	Time
sortnetsort5.v.stepl.004	UNSAT	0.11
sortnetsort8.AE.stepl.003	SAT	6.16
sortnetsort9.AE.stepl.009	UNSAT	15.83
sortnetsort9.AE.stepl.012	UNSAT	28.87
sortnetsort8.v.stepl.007	FAIL	600
sortnetsort8.v.stepl.009	FAIL	600
sortnetsort10.v.stepl.005	FAIL	600
sortnetsort9.v.stepl.005	FAIL	600
sortnetsort9.v.stepl.007	FAIL	600
sortnetsort7.v.stepl.007	FAIL	600

Contact | Organization | Links | Citing QBFLIB