Sota solver results for family irqlkeapclte
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.


InstanceSolverResultTime
stmt23_72_76hiqqerforkSAT132.97
stmt28_68_81hiqqerforkSAT1.3