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


InstanceSolverResultTime
stmt124_966_965Cued_3_2018SAT0
stmt16_818_819Cued_3_2018SAT0
stmt1_79_80Caqe-bloqqerSAT0
stmt25_52_53Caqe-bloqqerSAT0
stmt27_93_98Caqe-bloqqerSAT0
stmt2_976_999Rareqs_2018SAT1.69
stmt41_262_275Cued_3_2018SAT0
stmt44_554_604Cued_3_2018SAT0
stmt5_731_730Cued_3_2018SAT0
stmt9_445_446Cued_3_2018SAT0