Sota solver results for family driver <br> QBFEVAL'19 - Prenex CNF Track

qbflib.org

Sota solver results for family driver
QBFEVAL'19 - Prenex CNF Track

Instance	Solver	Result	Time
driver_a10y.sat	Hiqqer2019_1	SAT	0
driver_a9n.sat	Hiqqer2019_1	SAT	0
driver_b8n.sat	Hiqqer2019_1	SAT	0
driver_c9n.sat	Qute_default	SAT	0
driver_c9y.sat	Qute_default	SAT	0
driver_d9y.sat	Qute_default	SAT	0

Contact | Organization | Links | Citing QBFLIB