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

qbflib.org

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

Instance	Solver	Result	Time
s298_d10_s	par-pd-depqbf	SAT	0.51
s298_d12_s	par-pd-depqbf	SAT	1.02
s298_d14_s	par-pd-depqbf	SAT	1.52
s298_d17_s	par-pd-depqbf	SAT	1.52
s298_d18_s	par-pd-depqbf	SAT	1.02
s298_d22_u	caqe-picosat-par	UNSAT	213.16
s298_d25_u	caqe-picosat-par	UNSAT	386.19
s298_d2_s	hiqqerfork	SAT	0.02
s298_d4_s	par-pd-depqbf	SAT	0.51

Contact | Organization | Links | Citing QBFLIB