| |
Methods defined here:
- __del__(self)
- Close database connection.
- __init__(self)
- Create runner for the main testing loop.
Also gets all version number of the solvers and modelers.
- close(self)
- Close database connection.
- conditional_insert(self, table, entry)
- Return the rowid of the request and insert if necessary.
Input:
table: string, name of table in DB
entry: list of pairs (column-name, value), requested tuple in DB
Output:
rowid: rowid of the requested tuple
- connect(self)
- Connect to the database given in aux.py.
- run(self)
- Solve all instances from the given data base, that have not been computed yet.
It opens the data base at <SAVE_PATH>/<DB_NAME> and asks for all polynomials that have not been computed.
Then it runs each solver on each instance, checks the validity of the solution and inserts the solution into the data base.
The computation can be softly interrupted by altering the file "status" to any string, which is not "run".
- run_symbolic(self)
- Solve all instances symbolically from the given data base, that have not been computed yet.
It opens the data base at <SAVE_PATH>/<DB_NAME> and asks for all polynomials that have not been computed.
Then it runs SAGE on each instance, checks the validity of the solution, does the symbolic post-processing and inserts the solution into the data base.
The computation can be softly interrupted by altering the file "status" to any string, which is not "run".
- run_unknown(self)
- Run all examples where it is yet unknown whether they are bounded.
Data descriptors defined here:
- __dict__
- dictionary for instance variables (if defined)
- __weakref__
- list of weak references to the object (if defined)
|