Instances of family s499 solved by QUBE-LRN
QBFEVAL'04

InstanceResultTime
s499_d19_sFAIL208.77
s499_d14_sFAIL211.48
s499_d18_sFAIL213.56
s499_d10_sFAIL240.52
s499_d7_sFAIL294.18
s499_d4_sFAIL615.58
s499_d3_sFAIL901.04
s499_d2_sFAIL901.04