1. constr

    Closed
    #165526284 1 41 0 0

  2. constr

    Closed
    #165526248 13 16 10 0

  3. constr

    Closed
    #165525827 89 76 41 0

  4. constr

    Closed
    #165525450 4 6 0 0

  5. constr

    Closed
    #165525439 87 58 4 0

  6. constr

    Closed
    #165487796 25 8 0 0

  7. constr

    Closed
    #165487773 48 18 18 0

  8. constr

    Closed
    #165487691 20 25 31 0

  9. general tracing

    Closed
    #165487613 2 6 0 0

  10. general tracing

    Closed
    #165487600 9 8 0 0

  11. constr

    Closed
    #165487585 17 4 3 0

  12. general tracing

    Closed
    #165487556 0 9 7 0

  13. constr

    Closed
    #165487541 192 227 12 0

  14. general tracing

    Closed
    #165487142 11 21 2 0

  15. general tracing

    Closed
    #165487109 15 22 1 0

  16. general tracing

    Closed
    #165487054 75 104 13 0

  17. general tracing

    Closed
    #165486795 222 69 19 0

  18. constr

    Closed
    #165486447 3 9 0 0

  19. constr

    Closed
    #165486409 0 28 0 0

  20. constr

    Closed
    #165486344 0 17 0 0