Sota solver results for family irqlkeapclte
QBFEVAL'17 - Prenex CNF Track


InstanceSolverResultTime
stmt17_62_98qbfrelaySAT10.51
stmt17_63_82qbfrelaySAT6.31
stmt17_70_90qbfrelaySAT9.9
stmt17_70_98dynQBF-bloqqer-hqspreSAT15.22
stmt17_82_98qbfrelaySAT14.7
stmt17_86_98dynQBF-bloqqer-hqspreSAT19.25
stmt19_64_99qbfrelaySAT8.92
stmt23_66_96qbfrelaySAT8.3
stmt23_72_76qbfrelaySAT6.74
stmt28_68_81qbfrelaySAT7.54