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

qbflib.org

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

Instance	Solver	Result	Time
stmt124_966_965	Qute_default	SAT	0
stmt16_818_819	Qute_default	SAT	0
stmt1_79_80	Hiqqer2019_1	SAT	0
stmt25_52_53	Hiqqer2019_1	SAT	0
stmt27_93_98	Hiqqer2019_1	SAT	0
stmt2_976_999	Hiqqer2019_1	SAT	0
stmt41_262_275	Qute_default	SAT	0
stmt44_554_604	Qute_default	SAT	0
stmt5_731_730	Qute_default	SAT	0
stmt9_445_446	Qute_default	SAT	0

Contact | Organization | Links | Citing QBFLIB