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

qbflib.org

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

Instance	Solver	Result	Time
s641_d10_u	par-pd-depqbf	UNSAT	1.02
s641_d11_u	par-pd-depqbf	UNSAT	4.02
s641_d2_s	par-pd-depqbf	SAT	0.51
s641_d3_s	par-pd-depqbf	SAT	0.51
s641_d4_s	par-pd-depqbf	SAT	0.52
s641_d5_s	par-pd-depqbf	SAT	0.51
s641_d6_s	par-pd-depqbf	SAT	0.51
s641_d7_u	par-pd-depqbf	UNSAT	0.51
s641_d8_u	par-pd-depqbf	UNSAT	0.51

Contact | Organization | Links | Citing QBFLIB