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

qbflib.org

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

Instance	Solver	Result	Time
s713_d10_u	par-pd-depqbf	UNSAT	4.02
s713_d11_u	par-pd-depqbf	UNSAT	4.53
s713_d2_s	par-pd-depqbf	SAT	0.51
s713_d3_s	par-pd-depqbf	SAT	0.51
s713_d4_s	par-pd-depqbf	SAT	0.51
s713_d5_s	par-pd-depqbf	SAT	0.51
s713_d6_s	par-pd-depqbf	SAT	1.01
s713_d7_u	par-pd-depqbf	UNSAT	0.51
s713_d8_u	par-pd-depqbf	UNSAT	0.51
s713_d9_u	par-pd-depqbf	UNSAT	1.02

Contact | Organization | Links | Citing QBFLIB