Sota solver results for family irqlkeapclte
QBFEVAL'10 - 2QBF Track.


InstanceSolverResultTime
stmt7_33_34quantor-3.1SAT0.46