Sota solver results for family ToiletG <br> QBFEVAL'16 - Prenex CNF Track.

qbflib.org

Sota solver results for family ToiletG
QBFEVAL'16 - Prenex CNF Track.

Instance	Solver	Result	Time
toilet_g_02_01.2	qsts	SAT	0
toilet_g_04_01.2	rareqs	SAT	0
toilet_g_06_01.2	aqua-s3o	SAT	0
toilet_g_08_01.2	aqua-f3v	SAT	0
toilet_g_10_01.2	qsts	SAT	0
toilet_g_15_01.2	rareqs	SAT	0
toilet_g_20_01.2	qesto	SAT	0

Contact | Organization | Links | Citing QBFLIB