Sota solver results for family ltl2aig-comp
QBFEVAL'17 - Prenex 2QBF Track


InstanceSolverResultTime
load_2c_comp_comp7_REAL.satrareqsSAT10.45