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

qbflib.org

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

Instance	Result	Time
sortnetsort5.v.stepl.004	UNSAT	0.41
sortnetsort7.v.stepl.007	SAT	0.5
sortnetsort8.v.stepl.009	SAT	0.9
sortnetsort8.v.stepl.007	SAT	5.4
sortnetsort8.AE.stepl.003	SAT	53.6
sortnetsort9.AE.stepl.012	FAIL	600
sortnetsort10.v.stepl.005	FAIL	600
sortnetsort9.v.stepl.005	FAIL	600
sortnetsort9.v.stepl.007	FAIL	600
sortnetsort9.AE.stepl.009	FAIL	600

Contact | Organization | Links | Citing QBFLIB