Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Implement LBD again (4.1.2) #36

Merged
merged 56 commits into from
Sep 8, 2017
Merged

Implement LBD again (4.1.2) #36

merged 56 commits into from
Sep 8, 2017

Commits on Sep 1, 2017

  1. update IDs

    shnarazk committed Sep 1, 2017
    Configuration menu
    Copy the full SHA
    0e59b88 View commit details
    Browse the repository at this point in the history

  2. 1st implementation of LBD that works

    shnarazk committed Sep 1, 2017
    Configuration menu
    Copy the full SHA
    25eafb3 View commit details
    Browse the repository at this point in the history

  3. A better reduction approach based on LBD values

    shnarazk committed Sep 1, 2017
    Configuration menu
    Copy the full SHA
    0b6fa18 View commit details
    Browse the repository at this point in the history

  4. embed the PR number into versionID

    shnarazk committed Sep 1, 2017
    Configuration menu
    Copy the full SHA
    060f85b View commit details
    Browse the repository at this point in the history

  5. delete protected

    shnarazk committed Sep 1, 2017
    Configuration menu
    Copy the full SHA
    460e2b5 View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2017

  1. try a conventional values for reduceDB

    shnarazk committed Sep 2, 2017
    Configuration menu
    Copy the full SHA
    5dfcb60 View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2017

  1. exp. on reduction period

    shnarazk committed Sep 3, 2017
    Configuration menu
    Copy the full SHA
    8232f99 View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2017

  1. exp: restart=1.4, reduction=min nv 1000

    shnarazk committed Sep 4, 2017
    Configuration menu
    Copy the full SHA
    9017e86 View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2017

  1. Validate LBD implementation (#37) 

    * Glucose.hs: fix LBD computation
* `asList` should contain the first element of 'Vec'
* validate LBD computation; update the value in `analyze`
* check the soundness of learnt-reduction
    @shnarazk
    shnarazk committed Sep 5, 2017
    Configuration menu
    Copy the full SHA
    859d0f4 View commit details
    Browse the repository at this point in the history

  2. tiny changes

    shnarazk committed Sep 5, 2017
    Configuration menu
    Copy the full SHA
    cea31b7 View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2017

  1. sort literals in clauses (cherry-picked)

    shnarazk committed Sep 6, 2017
    Configuration menu
    Copy the full SHA
    2c195a8 View commit details
    Browse the repository at this point in the history

  2. fix crash

    shnarazk committed Sep 6, 2017
    Configuration menu
    Copy the full SHA
    030d1e5 View commit details
    Browse the repository at this point in the history

  3. delete debug code

    shnarazk committed Sep 6, 2017
    Configuration menu
    Copy the full SHA
    c2c80b2 View commit details
    Browse the repository at this point in the history

  4. change indentation

    shnarazk committed Sep 6, 2017
    Configuration menu
    Copy the full SHA
    05eddb5 View commit details
    Browse the repository at this point in the history

  5. change the reduciton limit

    shnarazk committed Sep 6, 2017
    Configuration menu
    Copy the full SHA
    cc6f5d7 View commit details
    Browse the repository at this point in the history

  6. fix an indentation

    shnarazk committed Sep 6, 2017
    Configuration menu
    Copy the full SHA
    c40264a View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2017

  1. update IDs

    shnarazk committed Sep 7, 2017
    Configuration menu
    Copy the full SHA
    2e34f23 View commit details
    Browse the repository at this point in the history

  2. 1st implementation of LBD that works

    shnarazk committed Sep 7, 2017
    Configuration menu
    Copy the full SHA
    e26918d View commit details
    Browse the repository at this point in the history

  3. A better reduction approach based on LBD values

    shnarazk committed Sep 7, 2017
    Configuration menu
    Copy the full SHA
    fbeaddb View commit details
    Browse the repository at this point in the history

  4. embed the PR number into versionID

    shnarazk committed Sep 7, 2017
    Configuration menu
    Copy the full SHA
    a9cc371 View commit details
    Browse the repository at this point in the history

  5. delete protected

    shnarazk authored and shnarazk committed Sep 7, 2017
    Configuration menu
    Copy the full SHA
    c4fe774 View commit details
    Browse the repository at this point in the history

  6. try a conventional values for reduceDB

    shnarazk committed Sep 7, 2017
    Configuration menu
    Copy the full SHA
    2f4b815 View commit details
    Browse the repository at this point in the history

  7. exp: restart=1.4, reduction=min nv 1000

    shnarazk authored and shnarazk committed Sep 7, 2017
    Configuration menu
    Copy the full SHA
    143bc4f View commit details
    Browse the repository at this point in the history

  8. Validate LBD implementation (#37) 

    * Glucose.hs: fix LBD computation
* `asList` should contain the first element of 'Vec'
* validate LBD computation; update the value in `analyze`
* check the soundness of learnt-reduction
    @shnarazk
    shnarazk authored and shnarazk committed Sep 7, 2017
    Configuration menu
    Copy the full SHA
    6755a1d View commit details
    Browse the repository at this point in the history

  9. tiny changes

    shnarazk committed Sep 7, 2017
    Configuration menu
    Copy the full SHA
    9c0b9fd View commit details
    Browse the repository at this point in the history

  10. sort literals in clauses (cherry-picked)

    shnarazk committed Sep 7, 2017
    Configuration menu
    Copy the full SHA
    cd83641 View commit details
    Browse the repository at this point in the history

  11. fix crash

    shnarazk committed Sep 7, 2017
    Configuration menu
    Copy the full SHA
    2b1a4e2 View commit details
    Browse the repository at this point in the history

  12. delete debug code

    shnarazk committed Sep 7, 2017
    Configuration menu
    Copy the full SHA
    1d1e3d1 View commit details
    Browse the repository at this point in the history

  13. change indentation

    shnarazk committed Sep 7, 2017
    Configuration menu
    Copy the full SHA
    b9440c4 View commit details
    Browse the repository at this point in the history

  14. change the reduciton limit

    shnarazk committed Sep 7, 2017
    Configuration menu
    Copy the full SHA
    83904ab View commit details
    Browse the repository at this point in the history

  15. fix an indentation

    shnarazk committed Sep 7, 2017
    Configuration menu
    Copy the full SHA
    337de89 View commit details
    Browse the repository at this point in the history

  16. Merge branch 'lbd' of github.com:shnarazk/mios into lbd

    shnarazk committed Sep 7, 2017
    Configuration menu
    Copy the full SHA
    73cebf9 View commit details
    Browse the repository at this point in the history

Commits on Sep 8, 2017

  1. update IDs

    shnarazk committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    59a8212 View commit details
    Browse the repository at this point in the history

  2. 1st implementation of LBD that works

    shnarazk committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    a32115f View commit details
    Browse the repository at this point in the history

  3. A better reduction approach based on LBD values

    shnarazk committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    b9092dc View commit details
    Browse the repository at this point in the history

  4. embed the PR number into versionID

    shnarazk committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    b5c4600 View commit details
    Browse the repository at this point in the history

  5. delete protected

    shnarazk authored and shnarazk committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    e907c9d View commit details
    Browse the repository at this point in the history

  6. Validate LBD implementation (#37) 

    * Glucose.hs: fix LBD computation
* `asList` should contain the first element of 'Vec'
* validate LBD computation; update the value in `analyze`
* check the soundness of learnt-reduction
    @shnarazk
    shnarazk authored and shnarazk committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    dca794d View commit details
    Browse the repository at this point in the history

  7. tiny changes

    shnarazk committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    27c412f View commit details
    Browse the repository at this point in the history

  8. sort literals in clauses (cherry-picked)

    shnarazk committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    edb4f28 View commit details
    Browse the repository at this point in the history

  9. fix crash

    shnarazk committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    5307780 View commit details
    Browse the repository at this point in the history

  10. delete debug code

    shnarazk committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    964bad0 View commit details
    Browse the repository at this point in the history

  11. change indentation

    shnarazk committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    7bd5e57 View commit details
    Browse the repository at this point in the history

  12. change the reduciton limit

    shnarazk committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    bbf336e View commit details
    Browse the repository at this point in the history

  13. fix an indentation

    shnarazk committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    59bf6e8 View commit details
    Browse the repository at this point in the history

  14. A better reduction approach based on LBD values

    shnarazk committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    7f7cad9 View commit details
    Browse the repository at this point in the history

  15. try a conventional values for reduceDB

    shnarazk committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    c29f7d0 View commit details
    Browse the repository at this point in the history

  16. exp: restart=1.4, reduction=min nv 1000

    shnarazk authored and shnarazk committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    bd8ed42 View commit details
    Browse the repository at this point in the history

  17. tiny changes

    shnarazk committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    9040f5c View commit details
    Browse the repository at this point in the history

  18. sort literals in clauses (cherry-picked)

    shnarazk committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    33723e0 View commit details
    Browse the repository at this point in the history

  19. fix crash

    shnarazk committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    47d2fd3 View commit details
    Browse the repository at this point in the history

  20. delete debug code

    shnarazk committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    f5522e0 View commit details
    Browse the repository at this point in the history

  21. change indentation

    shnarazk committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    7b299d7 View commit details
    Browse the repository at this point in the history

  22. Merge branch 'lbd' of github.com:shnarazk/mios into lbd

    shnarazk committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    1dad504 View commit details
    Browse the repository at this point in the history

  23. much better settings 

    - p='', t=1260 on xingu @ 2017-09-08T12:52:42+09:00
"mios-lbd", 1, 100,      0.67
"mios-lbd", 2, 125,      1.18
"mios-lbd", 3, 150,      2.07
"mios-lbd", 4, 175,      6.01
"mios-lbd", 5, 200,      16.10
"mios-lbd", 6, 225,      51.00
"mios-lbd", 7, 250,      179.73
"mios-lbd", 8, "een",    5.10
"mios-lbd", 9, "bmc",    3.25
"mios-lbd", 10, "38b",   14.54
    shnarazk committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    bff1cc1 View commit details
    Browse the repository at this point in the history

  24. Merge branch 'WIP-for-1.4.2' into lbd

    @shnarazk
    shnarazk committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    b2036ee View commit details
    Browse the repository at this point in the history