Sota solver results for family wmiforward
QBFEVAL'18 - Prenex 2QBF Track


InstanceSolverResultTime
stmt124_966_965Caqe-hqspreSAT0
stmt16_818_819Caqe-hqspreSAT0
stmt1_79_80CADET_2017SAT0
stmt25_52_53CADET_2017SAT0
stmt25_597_598Caqe-hqspreSAT0
stmt27_93_98CADET_2017SAT0
stmt2_976_999CADET_2017SAT0.51
stmt41_262_275Qute_defaultSAT0
stmt44_554_604Caqe-hqspreSAT0
stmt5_731_730Caqe-hqspreSAT0
stmt9_445_446Caqe-hqspreSAT0