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

qbflib.org

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

Instance	Solver	Result	Time
s499_d12_s	par-pd-depqbf	SAT	1.52
s499_d15_s	par-pd-depqbf	SAT	8.54
s499_d17_s	caqe-minisat-par	SAT	123.92
s499_d18_s	caqe-minisat-par	SAT	129.97
s499_d19_s	caqe-picosat-par	SAT	204.85
s499_d22_u	caqe-minisat-par	UNSAT	268.09
s499_d24_u	caqe-picosat-par	UNSAT	584.8
s499_d7_s	par-pd-depqbf	SAT	0.51
s499_d9_s	par-pd-depqbf	SAT	0.51

Contact | Organization | Links | Citing QBFLIB