search

limo1996 / SAT-Solver

Parallel SAT Solver
8 stars 1 forks source link

More test cases! #8

Closed ebhardjan closed 6 years ago

ebhardjan commented 6 years ago

We need more test-cases! Small ones and also large ones. We should store them in the repository such that everyone can run the same tests.

2 things:

  1. just generate a lot of them (I would say 100 of size (number of variables) 10, 30, 50, 100, 200 at least)
  2. change the names of the test files such that we know how "large" these formulas are (useful for evaluation)
ZiweiHuang94 commented 6 years ago

now the test files show the number of variables and the number of clauses. Do you mean also need to add the total number of examples?

ebhardjan commented 6 years ago

number of variables and clauses should be fine

ZiweiHuang94 commented 6 years ago

I update Cnf generator code. For clear use, "generateCnf.py" is for normal formula generation without considering the probability of sat. "testCnfPro.py" will generate exact example sets with 0.5 sat (with large parameters it can be time-consuming to get probability to 0.5).

ebhardjan commented 6 years ago

Random generator is there with guarantees on the probability of sat/unsat. Keep in mind that it can take some time to generate the formulas...