connected cubic graphs on 12 vertices reached: 85 (known total: 85)
