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

qbflib.org

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

Instance	Result	Time
sortnetsort5.v.stepl.004	UNSAT	0.15
sortnetsort8.v.stepl.009	SAT	5.65
sortnetsort7.v.stepl.007	SAT	15.76
sortnetsort8.v.stepl.007	SAT	152.41
sortnetsort10.v.stepl.005	FAIL	600
sortnetsort9.v.stepl.005	FAIL	600
sortnetsort9.v.stepl.007	FAIL	600
sortnetsort8.AE.stepl.003	FAIL	600
sortnetsort9.AE.stepl.009	FAIL	600
sortnetsort9.AE.stepl.012	FAIL	600

Contact | Organization | Links | Citing QBFLIB