Instances of family wmiforward solved by <a href='solver_detail.php?solver=260'>par-pd-depqbf</a> <br> QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

qbflib.org

Instances of family wmiforward solved by par-pd-depqbf
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

Instance	Result	Time
stmt24_765_766	SAT	0.51
stmt25_52_53	SAT	0.51
stmt17_18_19	SAT	0.51
stmt16_950_951	SAT	0.52
stmt44_916_917	SAT	0.52
stmt27_296_297	SAT	0.52
stmt41_738_749	SAT	0.52
stmt1_30_31	SAT	0.52
stmt44_107_108	SAT	0.52
stmt44_107_113	SAT	0.52

Contact | Organization | Links | Citing QBFLIB