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

TODO after 1.0 #2

Closed
2 of 11 tasks
shnarazk opened this issue Dec 6, 2015 · 1 comment
Closed
2 of 11 tasks

TODO after 1.0 #2

shnarazk opened this issue Dec 6, 2015 · 1 comment
Assignees
@shnarazk
Labels
research project

Comments

@shnarazk
Copy link
Owner

shnarazk commented Dec 6, 2015

  • better default parameters (1.0.0 has performance degression compared with 0.9)
  • LBD
  • phase-saving
  • literal flushing
  • reduce learnts based on one in 7.2.2.2 Satisfiabilty
  • community
  • suvery propagation
  • parallel computation
  • restart policy
  • clause freezing
  • validator
@shnarazk shnarazk self-assigned this Dec 6, 2015
@shnarazk
Copy link
Owner Author

1.0.1 will have the following:

  • phase-saving
  • assign validator
  • new CNF reader
  • a tentative new learnt clause manager

shnarazk pushed a commit that referenced this issue Apr 5, 2016
reset random decision rate to 0; update executable names
7396cb1 
                       -r 0                             -r 20
    problem     #1      #2      #3      median  #1      #2     #3       median
    100         0.83    0.80    0.79    0.80    0.88    0.81    0.77    0.81
    125         1.89    1.42    1.19    1.42    1.98    1.77    2.04    1.98
    150         3.88    3.69    3.57    3.69    3.86    3.74    4.12    3.86
    175         9.19    10.08   9.83    9.83    11.64   10.95   12.14   11.64
    200         22.05   22.65   21.68   22.05   22.62   23.68   22.93   22.93
    225         41.93   42.84   43.30   42.84   55.63   56.52   56.44   56.44
    250         126.61  125.20  126.67  126.61  175.93  175.87  176.74  175.93
    een         7.05    7.00    7.07    7.05    7.49    7.45    7.45    7.45
    bmc         3.09    3.03    3.05    3.05    3.94    3.93    3.97    3.94
    38b         20.46   20.61   20.12   20.46   32.41   29.80   32.33   32.33
shnarazk pushed a commit that referenced this issue May 30, 2016
test: strange value #2
c04c5ca
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@shnarazk shnarazk

Labels
research project
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@shnarazk