├── .gitattributes ├── .gitignore ├── LICENSE ├── Makefile ├── README.md ├── changelog.md ├── docs ├── algorithms.rst ├── conf.py ├── contact.rst ├── index.rst ├── installation.rst ├── license.rst └── manual.rst ├── examples ├── Ablationpercentage.png ├── Ablationperformance.png ├── ForwardSelection.png ├── branin │ ├── ablationpercentage.png │ ├── ablationperformance.png │ ├── branin.py │ ├── branin_pcs.pcs │ ├── branin_scenario.txt │ ├── example_call.txt │ ├── forward-selection-barplot.png │ ├── forward-selection-chng.png │ └── smac3-out │ │ ├── branin_pcs.pcs │ │ ├── runhistory.json │ │ ├── scenario.txt │ │ ├── traj.json │ │ ├── traj_aclib2.json │ │ └── traj_old.csv ├── forward-selection-chng.png └── spear_qcp │ ├── features.txt │ ├── instances.txt │ ├── instances │ ├── qcplin2006.10218.cnf │ ├── qcplin2006.1031.cnf │ ├── qcplin2006.10556.cnf │ └── qcplin2006.10641.cnf │ ├── scenario.txt │ ├── smac3-output_2017-04-03_17:13:13 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-05-03_14:24:52_(757164) │ ├── features.txt │ ├── instances.txt │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ └── traj_old.csv │ ├── smac3-output_2017-05-03_14:27:12_(844122) │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-05-03_14:29:38_(316769) │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-05-03_14:30:52_(831073) │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-05-03_14:38:48_(960564) │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-05-03_14:40:01_(629133) │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-05-03_14:40:31_(286870) │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-05-03_14:41:43_(947004) │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-06-09_14:47:02_(768918)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-06-09_14:48:10_(767988)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-06-09_14:48:46_(083764)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-06-09_14:49:56_(866581)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-06-09_14:51:05_(570575)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-06-09_14:51:47_(890378)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-06-09_14:52:26_(238639)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-06-09_14:53:13_(675175)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-06-09_14:59:08_(532776)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-06-09_15:10:21_(215322)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-06-09_15:49:01_(686980)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-07-09_17:10:12_(728749)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-07-09_18:52:47_(921831)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-07-09_18:54:55_(295140)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-07-09_18:56:50_(814859)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-07-09_19:03:56_(521000)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-07-09_19:08:18_(846565)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-07-09_19:09:50_(730786)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-07-09_19:10:21_(825027)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-07-09_19:11:02_(000508)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-07-09_19:13:48_(875308)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-07-09_19:27:48_(405786)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-07-09_19:28:59_(360142)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-07-09_19:29:36_(919514)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-07-09_19:30:45_(144509)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-07-09_19:41:46_(142794)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-07-09_19:42:42_(015841)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-07-09_19:46:45_(902193)_run1 │ ├── features.txt │ ├── instances.txt │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ └── traj_old.csv │ ├── smac3-output_2017-07-09_19:47:52_(034462)_run1 │ ├── features.txt │ ├── instances.txt │ ├── scenario.txt │ └── spear-params-mixed.pcs │ ├── smac3-output_2017-07-09_19:48:05_(636971)_run1 │ ├── features.txt │ ├── instances.txt │ ├── scenario.txt │ └── spear-params-mixed.pcs │ ├── smac3-output_2017-07-09_19:48:40_(438577)_run1 │ ├── features.txt │ ├── instances.txt │ ├── scenario.txt │ └── spear-params-mixed.pcs │ ├── smac3-output_2017-07-09_19:50:25_(821940)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-07-09_20:00:58_(877335)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-07-09_20:12:36_(354932)_run1 │ ├── features.txt │ ├── instances.txt │ ├── scenario.txt │ └── spear-params-mixed.pcs │ ├── smac3-output_2017-07-09_20:14:19_(345166)_run1 │ ├── features.txt │ ├── instances.txt │ ├── scenario.txt │ └── spear-params-mixed.pcs │ ├── smac3-output_2017-07-09_20:14:37_(316797)_run1 │ ├── features.txt │ ├── instances.txt │ ├── scenario.txt │ └── spear-params-mixed.pcs │ ├── smac3-output_2017-07-09_20:15:27_(405896)_run1 │ ├── features.txt │ ├── instances.txt │ ├── scenario.txt │ └── spear-params-mixed.pcs │ ├── smac3-output_2017-07-09_20:15:53_(374726)_run1 │ ├── features.txt │ ├── instances.txt │ ├── scenario.txt │ └── spear-params-mixed.pcs │ ├── smac3-output_2017-08-22_14:43:51_(597719)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-08-22_14:45:14_(107939)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ ├── smac3-output_2017-08-22_14:45:45_(772402)_run1 │ ├── features.txt │ ├── instances.txt │ ├── runhistory.json │ ├── scenario.txt │ ├── spear-params-mixed.pcs │ ├── traj_aclib2.json │ └── traj_old.csv │ └── target_algorithm │ ├── runsolver │ ├── runsolver │ └── runsolver-3.3.4-patched │ │ └── src │ │ ├── Changelog │ │ ├── CircularBufferFilter.hh │ │ ├── Cores.hh │ │ ├── CreateSyscallsNames.cc │ │ ├── LICENSE-GPL-3.0.txt │ │ ├── Makefile │ │ ├── Makefile.back │ │ ├── Observer.hh │ │ ├── ProcessData.hh │ │ ├── ProcessHistory.hh │ │ ├── ProcessList.hh │ │ ├── ProcessTree.hh │ │ ├── README │ │ ├── SignalNames.cc │ │ ├── SignalNames.d │ │ ├── SignalNames.hh │ │ ├── SignalNames.o │ │ ├── SyscallNames.cc │ │ ├── SyscallNames.d │ │ ├── SyscallNames.hh │ │ ├── SyscallNames.o │ │ ├── SyscallsTracer.hh │ │ ├── TimeStamper.hh │ │ ├── aeatk.c │ │ ├── runsolver │ │ ├── runsolver.cc │ │ ├── runsolver.d │ │ ├── runsolver.o │ │ ├── runsolver.spec │ │ └── vlineSplitter.cc │ ├── scripts │ ├── SAT │ ├── SATCSSCWrapper.py │ ├── genericWrapper.py │ ├── genericWrapper.pyc │ └── generic_solver_wrapper.rb │ └── spear-python │ ├── README.md │ ├── spear-params-mixed.pcs │ ├── spear-params.pcs │ ├── spearCSSCWrapper.py │ └── spearCSSCWrapper.pyc ├── notebooks └── interface_example.ipynb ├── pimp ├── __init__.py ├── __version__.py ├── configspace │ └── __init__.py ├── epm │ ├── __init__.py │ ├── base_epm.py │ ├── epar_x_rfwi.py │ ├── unlogged_epar_x_rfwi.py │ └── unlogged_rfwi.py ├── evaluator │ ├── __init__.py │ ├── ablation.py │ ├── base_evaluator.py │ ├── fanova.py │ ├── forward_selection.py │ ├── influence_models.py │ └── local_parameter_importance.py ├── importance │ ├── __init__.py │ └── importance.py ├── matplotlibrc ├── pimp.py └── utils │ ├── __init__.py │ ├── bokeh_helpers.py │ ├── io │ ├── __init__.py │ └── cmd_reader.py │ └── tex.py ├── requirements.txt ├── scripts └── evaluate.py ├── setup.cfg └── setup.py /.gitattributes: -------------------------------------------------------------------------------- 1 | notebooks/* linguist-vendored 2 | -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | notebooks/.ipynb_checkpoints* 2 | smac3-output* 3 | tests 4 | *__pycache__* 5 | .idea 6 | *tmp* 7 | examples/examples 8 | examples/instances/ 9 | examples/scenario.txt 10 | examples/smac-output/ 11 | examples/target_algorithms/ 12 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- 1 | Copyright (c) 2016, Ml4AAD Group (http://www.ml4aad.org/) 2 | All rights reserved. 3 | 4 | Redistribution and use in source and binary forms, with or without modification, 5 | are permitted provided that the following conditions are met: 6 | 7 | 1. Redistributions of source code must retain the above copyright notice, 8 | this list of conditions and the following disclaimer. 9 | 10 | 2. Redistributions in binary form must reproduce the above copyright notice, 11 | this list of conditions and the following disclaimer in the documentation 12 | and/or other materials provided with the distribution. 13 | 14 | 3. Neither the name of the copyright holder nor the names of its contributors 15 | may be used to endorse or promote products derived from this software 16 | without specific prior written permission. 17 | 18 | THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" 19 | AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, 20 | THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A P 21 | ARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER 22 | OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, 23 | EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, 24 | PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR 25 | PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 26 | THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, 27 | OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY 28 | WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 29 | POSSIBILITY OF SUCH DAMAGE. -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # PyImp 2 | 3 | **PyImp** is now on pypi. 4 | To install it simply run 5 | ` 6 | pip install pyimp 7 | ` 8 | If you want to run fANOVA with PyImp you will have to manually install it via 9 | ` 10 | pip install git+http://github.com/automl/fanova.git@master 11 | ` 12 | 13 | **PyImp** is an easy to use tool that helps developers to identify the most important parameters of their algorithms. 14 | Given the data of a configuration run with [*SMAC3*](https://github.com/automl/SMAC3), PyImp allows one to use *Forward Selection*, *Efficient Ablation* and *Influence Models* to determine which Parameters have the most influence over the algorithms behaviour. 15 | 16 | PyImp can be used with argcomplete. To enable autocompletion of PyImp 17 | arguments, add the following line to your .bashrc or .profile: 18 | ` 19 | eval "$(register-python-argcomplete pyimp)" 20 | ` 21 | 22 | The documentation can be found [here](https://automl.github.io/ParameterImportance). 23 | 24 | Example results of the package look as follows: 25 | 26 | ## Forward Selection 27 | An example call of forward-selection: 28 | 29 | ``` 30 | cd examples/branin 31 | pimp --scenario_file smac3-out/scenario.txt --history smac3-out/runhistory.json --modus forward-selection 32 | ``` 33 | 34 | Results in an image such as: 35 | ![](examples/ForwardSelection.png) 36 | 37 | 38 | ## Surrogate-ablation 39 | An example call of surrogate-ablation: 40 | 41 | ``` 42 | cd examples/branin 43 | pimp --scenario_file smac3-out/scenario.txt --history smac3-out/runhistory.json --trajectory smac3-out/traj.json --modus ablation` 44 | ``` 45 | 46 | Results in two plots: 47 | ![](examples/Ablationpercentage.png) 48 | ![](examples/Ablationperformance.png) 49 | 50 | ## Reading in multiple runhistories 51 | To read in multiple runhistories, check out the spear-qcp example: 52 | 53 | ``` 54 | cd examples/spear_qcp 55 | pimp --scenario_file scenario.txt --history './*/runhistory.json' --modus forward-selection 56 | ``` -------------------------------------------------------------------------------- /changelog.md: -------------------------------------------------------------------------------- 1 | # 1.1.2 2 | 3 | ## Bugfixes 4 | * Bokeh plots ignored the `show_plot`-argument and always opened browser (#127) 5 | 6 | # 1.1.1 7 | 8 | ## Major changes 9 | * Add support for SMAC 0.12.1 and 0.12.2 10 | * Update args of random-forest to fit latest SMAC-requirements 11 | 12 | # 1.1.0 13 | 14 | ## Major changes 15 | * Add support for SMAC 0.12.0 16 | * Drop support for SMAC < 0.12.0 17 | 18 | # 1.0.7 19 | 20 | ## Major changes 21 | * Add interactive bokeh-plots for evaluators 22 | 23 | ## Interface changes 24 | * Add function `plot_bokeh` to evaluators, returns bokeh-plot 25 | 26 | ## Minor changes 27 | * Change method to shorten parameter-names on plots 28 | * Add pandas and bokeh to requirements 29 | 30 | ## Bugfixes 31 | * Support SMAC 0.11.x 32 | * Add traj-alljson format for unambigously readable trajectories 33 | * Fix #112 smac-facade import error 34 | -------------------------------------------------------------------------------- /docs/contact.rst: -------------------------------------------------------------------------------- 1 | Contact 2 | ======= 3 | 4 | PyImp is developed by the `ML4AAD Group of the University of Freiburg `_. 5 | 6 | If you found a bug, please report to https://github.com/automl/ParameterImportance 7 | 8 | -------------------------------------------------------------------------------- /docs/index.rst: -------------------------------------------------------------------------------- 1 | .. PyImp documentation master file, created by 2 | sphinx-quickstart on Wed Feb 1 13:59:58 2017. 3 | You can adapt this file completely to your liking, but it should at least 4 | contain the root `toctree` directive. 5 | 6 | Welcome to PyImp's documentation! 7 | ================================ 8 | 9 | **PyImp** is an easy to use tool that helps developers to identify the most important parameters of their algorithms. 10 | Given the data of a configuration run with `SMAC3 `_, PyImp allows one to use *Forward Selection*, *Efficient Ablation* and *Influence Models* to determine which Parameters have the most influence over the algorithms behaviour. 11 | 12 | **PyImp** is developed for python 3.5 13 | 14 | Contents: 15 | 16 | .. toctree:: 17 | :maxdepth: 1 18 | 19 | installation 20 | manual 21 | algorithms 22 | contact 23 | license 24 | -------------------------------------------------------------------------------- /docs/installation.rst: -------------------------------------------------------------------------------- 1 | Installation 2 | ============ 3 | 4 | .. _manual_installation: 5 | 6 | Installing through pypi 7 | ----------------------- 8 | Pyimp is now on pypi. To install you can simply run 9 | 10 | .. code-block:: bash 11 | 12 | pip install pyimp 13 | 14 | If you want to use fANOVA you will have to install it manually via 15 | 16 | .. code-block:: bash 17 | 18 | pip install git+http://github.com/automl/fanova.git@master 19 | 20 | Installing from the repository 21 | ------------------------------ 22 | | To install PyImps requirements from command line, please type the following commands on the command line in PyImps root directory. 23 | 24 | .. code-block:: bash 25 | 26 | cat requirements.txt | xargs -n 1 -L 1 pip install 27 | python setup.py install 28 | 29 | After the installation you can call PyImp from anywhere with the keyword pyimp. 30 | 31 | Using argcomplete 32 | ----------------- 33 | | PyImp can be used with argcomplete. To enable autocompletion of PyImp 34 | | arguments, add the following line to your .bashrc or .profile: 35 | 36 | .. code-block:: bash 37 | 38 | eval "$(register-python-argcomplete pyimp)" -------------------------------------------------------------------------------- /docs/license.rst: -------------------------------------------------------------------------------- 1 | License 2 | ======= 3 | 4 | This program is free software: you can redistribute it and/or modify 5 | it under the terms of the 3-clause BSD license (see below). 6 | 7 | This program is distributed in the hope that it will be useful, 8 | but WITHOUT ANY WARRANTY; without even the implied warranty of 9 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. 10 | 11 | BSD 12 | --- 13 | Copyright (c) 2017, Ml4AAD Group (http://www.ml4aad.org/) 14 | All rights reserved. 15 | 16 | Redistribution and use in source and binary forms, with or without modification, 17 | are permitted provided that the following conditions are met: 18 | 19 | 1. Redistributions of source code must retain the above copyright notice, 20 | this list of conditions and the following disclaimer. 21 | 22 | 2. Redistributions in binary form must reproduce the above copyright notice, 23 | this list of conditions and the following disclaimer in the documentation 24 | and/or other materials provided with the distribution. 25 | 26 | 3. Neither the name of the copyright holder nor the names of its contributors 27 | may be used to endorse or promote products derived from this software 28 | without specific prior written permission. 29 | 30 | THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" 31 | AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, 32 | THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A P 33 | ARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER 34 | OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, 35 | EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, 36 | PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR 37 | PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 38 | THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, 39 | OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY 40 | WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 41 | POSSIBILITY OF SUCH DAMAGE. -------------------------------------------------------------------------------- /examples/Ablationpercentage.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/automl/ParameterImportance/f4950593ee627093fc30c0847acc5d8bf63ef84b/examples/Ablationpercentage.png -------------------------------------------------------------------------------- /examples/Ablationperformance.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/automl/ParameterImportance/f4950593ee627093fc30c0847acc5d8bf63ef84b/examples/Ablationperformance.png -------------------------------------------------------------------------------- /examples/ForwardSelection.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/automl/ParameterImportance/f4950593ee627093fc30c0847acc5d8bf63ef84b/examples/ForwardSelection.png -------------------------------------------------------------------------------- /examples/branin/ablationpercentage.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/automl/ParameterImportance/f4950593ee627093fc30c0847acc5d8bf63ef84b/examples/branin/ablationpercentage.png -------------------------------------------------------------------------------- /examples/branin/ablationperformance.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/automl/ParameterImportance/f4950593ee627093fc30c0847acc5d8bf63ef84b/examples/branin/ablationperformance.png -------------------------------------------------------------------------------- /examples/branin/branin.py: -------------------------------------------------------------------------------- 1 | import sys 2 | import numpy as np 3 | 4 | def main(): 5 | seed = sys.argv[5] 6 | x = float(sys.argv[7]) 7 | y = float(sys.argv[9]) 8 | tmp = branin((x, y)) 9 | print('Result for SMAC: SUCCESS, -1, -1, %f, %s' % (tmp, seed)) 10 | 11 | import numpy as np 12 | 13 | def branin(x): 14 | x1 = x[0] 15 | x2 = x[1] 16 | a = 1. 17 | b = 5.1 / (4.*np.pi**2) 18 | c = 5. / np.pi 19 | r = 6. 20 | s = 10. 21 | t = 1. / (8.*np.pi) 22 | ret = a*(x2-b*x1**2+c*x1-r)**2+s*(1-t)*np.cos(x1)+s 23 | return ret 24 | 25 | if __name__ == '__main__': 26 | main() -------------------------------------------------------------------------------- /examples/branin/branin_pcs.pcs: -------------------------------------------------------------------------------- 1 | x1 [-5,10] [0] 2 | x2 [0,15] [0] -------------------------------------------------------------------------------- /examples/branin/branin_scenario.txt: -------------------------------------------------------------------------------- 1 | algo = python branin.py 2 | paramfile = branin_pcs.pcs 3 | run_obj = quality 4 | runcount_limit = 500 5 | deterministic = 1 6 | -------------------------------------------------------------------------------- /examples/branin/example_call.txt: -------------------------------------------------------------------------------- 1 | python ../../scripts/evaluate.py --scenario branin_scenario.txt --verbose_level DEBUG --history smac3-out/runhistory.json --modus forward-selection -------------------------------------------------------------------------------- /examples/branin/forward-selection-barplot.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/automl/ParameterImportance/f4950593ee627093fc30c0847acc5d8bf63ef84b/examples/branin/forward-selection-barplot.png -------------------------------------------------------------------------------- /examples/branin/forward-selection-chng.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/automl/ParameterImportance/f4950593ee627093fc30c0847acc5d8bf63ef84b/examples/branin/forward-selection-chng.png -------------------------------------------------------------------------------- /examples/branin/smac3-out/branin_pcs.pcs: -------------------------------------------------------------------------------- 1 | x1 [-5,10] [0] 2 | x2 [0,15] [0] -------------------------------------------------------------------------------- /examples/branin/smac3-out/scenario.txt: -------------------------------------------------------------------------------- 1 | runcount_limit = 500.0 2 | execdir = . 3 | initial_incumbent = DEFAULT 4 | paramfile = smac3-out/branin_pcs.pcs 5 | wallclock_limit = inf 6 | deterministic = True 7 | algo = python branin.py 8 | overall_obj = par10 9 | run_obj = quality 10 | tuner-timeout = inf 11 | -------------------------------------------------------------------------------- /examples/branin/smac3-out/traj.json: -------------------------------------------------------------------------------- 1 | {"wallclock_time": 6.747245788574219e-05, "cost": 2147483648, "total_cpu_time": null, "incumbent": {"x1": 0.0, "x2": 0.0}, "cpu_time": 0, "evaluations": 0} 2 | {"wallclock_time": 0.15133237838745117, "cost": 55.602113, "total_cpu_time": null, "incumbent": {"x1": 0.0, "x2": 0.0}, "cpu_time": -1.0, "evaluations": 1} 3 | {"wallclock_time": 0.3143429756164551, "cost": 1.1062, "total_cpu_time": null, "incumbent": {"x1": 2.976530200783335, "x2": 1.6471123570178596}, "cpu_time": -2.0, "evaluations": 2} 4 | {"wallclock_time": 1.3534655570983887, "cost": 0.417963, "total_cpu_time": null, "incumbent": {"x1": 9.362906036945507, "x2": 2.38204616023306}, "cpu_time": -9.0, "evaluations": 9} 5 | -------------------------------------------------------------------------------- /examples/branin/smac3-out/traj_aclib2.json: -------------------------------------------------------------------------------- 1 | {"wallclock_time": 6.747245788574219e-05, "cost": 2147483648, "total_cpu_time": null, "incumbent": ["x1='0.0'", "x2='0.0'"], "cpu_time": 0, "evaluations": 0} 2 | {"wallclock_time": 0.15133237838745117, "cost": 55.602113, "total_cpu_time": null, "incumbent": ["x1='0.0'", "x2='0.0'"], "cpu_time": -1.0, "evaluations": 1} 3 | {"wallclock_time": 0.3143429756164551, "cost": 1.1062, "total_cpu_time": null, "incumbent": ["x1='2.976530200783335'", "x2='1.6471123570178596'"], "cpu_time": -2.0, "evaluations": 2} 4 | {"wallclock_time": 1.3534655570983887, "cost": 0.417963, "total_cpu_time": null, "incumbent": ["x1='9.362906036945507'", "x2='2.38204616023306'"], "cpu_time": -9.0, "evaluations": 9} 5 | -------------------------------------------------------------------------------- /examples/branin/smac3-out/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000067, 1, 0.000067, x1='0.0', x2='0.0' 3 | -1.000000, 55.602113, 0.151332, 1, 1.151332, x1='0.0', x2='0.0' 4 | -2.000000, 1.106200, 0.314343, 2, 2.314343, x1='2.976530200783335', x2='1.6471123570178596' 5 | -9.000000, 0.417963, 1.353466, 3, 10.353466, x1='9.362906036945507', x2='2.38204616023306' 6 | -------------------------------------------------------------------------------- /examples/forward-selection-chng.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/automl/ParameterImportance/f4950593ee627093fc30c0847acc5d8bf63ef84b/examples/forward-selection-chng.png -------------------------------------------------------------------------------- /examples/spear_qcp/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/scenario.txt: -------------------------------------------------------------------------------- 1 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 2 | paramfile = ./target_algorithm/spear-python/spear-params-mixed.pcs 3 | execdir = . 4 | deterministic = 0 5 | run_obj = runtime 6 | overall_obj = PAR10 7 | cutoff_time = 5 8 | wallclock-limit = 600 9 | instance_file = instances.txt 10 | feature_file = features.txt 11 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-04-03_17:13:13/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-04-03_17:13:13/scenario.txt: -------------------------------------------------------------------------------- 1 | maxR = 2000 2 | initial_incumbent = DEFAULT 3 | paramfile = smac3-output_2017-04-03_17:13:13/spear-params-mixed.pcs 4 | wallclock_limit = 10.0 5 | minR = 1 6 | cutoff_time = 5.0 7 | run_obj = runtime 8 | feature_file = smac3-output_2017-04-03_17:13:13/features.txt 9 | instance_file = smac3-output_2017-04-03_17:13:13/instances.txt 10 | abort_on_first_run_crash = True 11 | execdir = . 12 | runcount_limit = inf 13 | shared_model = False 14 | tuner-timeout = inf 15 | deterministic = False 16 | intensification_percentage = 0.5 17 | overall_obj = mean10 18 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-04-03_17:13:13/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000369, 1, 0.000369, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 0.028000, 0.028000, 0.098092, 1, 0.070092, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | 0.072000, 0.018000, 1.867509, 2, 1.795509, sp-clause-activity-inc='0.7808981425095963', sp-clause-decay='1.4431029402374251', sp-clause-del-heur=''2'', sp-first-restart='46', sp-learned-clause-sort-heur=''14'', sp-learned-clauses-inc='1.4823099150635064', sp-learned-size-factor='0.45232469723428925', sp-orig-clause-sort-heur=''7'', sp-phase-dec-heur=''3'', sp-rand-var-dec-freq=''0.005'', sp-resolution=''2'', sp-restart-inc='1.7986121074688577', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='0.8695063969775783', sp-var-dec-heur=''4'', sp-variable-decay='1.3082962468818362', sp-max-res-lit-inc='1.1657039072402273', sp-max-res-runs='20', sp-rand-phase-dec-freq=''0.01'', sp-rand-var-dec-scaling='0.9194663575111202', sp-res-cutoff-cls='11', sp-res-cutoff-lits='350', sp-res-order-heur=''16'', sp-rand-phase-scaling='0.5486217511767996' 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:24:52_(757164)/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:24:52_(757164)/scenario.txt: -------------------------------------------------------------------------------- 1 | shared_model = False 2 | feature_file = smac3-output_2017-05-03_14:24:52_(757164)/features.txt 3 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 4 | minR = 1 5 | instance_file = smac3-output_2017-05-03_14:24:52_(757164)/instances.txt 6 | maxR = 2000 7 | tuner-timeout = inf 8 | intensification_percentage = 0.5 9 | initial_incumbent = DEFAULT 10 | abort_on_first_run_crash = True 11 | cutoff_time = 5.0 12 | overall_obj = mean10 13 | run_obj = runtime 14 | runcount_limit = inf 15 | execdir = . 16 | wallclock_limit = 10.0 17 | deterministic = False 18 | paramfile = smac3-output_2017-05-03_14:24:52_(757164)/spear-params-mixed.pcs 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:24:52_(757164)/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:27:12_(844122)/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:27:12_(844122)/runhistory.json: -------------------------------------------------------------------------------- 1 | {"data": [[[1, "instances/qcplin2006.10641.cnf", 137773602], [0.028, 0.028, {"__enum__": "StatusType.SUCCESS"}, {}]]], "configs": {"1": {"sp-variable-decay": 1.4, "sp-res-order-heur": "0", "sp-update-dec-queue": "1", "sp-orig-clause-sort-heur": "0", "sp-rand-phase-scaling": 1.0, "sp-var-activity-inc": 1.0, "sp-clause-decay": 1.4, "sp-res-cutoff-lits": 400, "sp-first-restart": 100, "sp-var-dec-heur": "0", "sp-learned-clauses-inc": 1.3, "sp-rand-var-dec-scaling": 1.0, "sp-res-cutoff-cls": 8, "sp-use-pure-literal-rule": "1", "sp-clause-activity-inc": 1.0, "sp-phase-dec-heur": "5", "sp-restart-inc": 1.5, "sp-learned-clause-sort-heur": "0", "sp-learned-size-factor": 0.4, "sp-rand-phase-dec-freq": "0.001", "sp-max-res-runs": 4, "sp-resolution": "1", "sp-clause-del-heur": "2", "sp-max-res-lit-inc": 1.0, "sp-rand-var-dec-freq": "0.001"}}} -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:27:12_(844122)/scenario.txt: -------------------------------------------------------------------------------- 1 | overall_obj = mean10 2 | runcount_limit = inf 3 | feature_file = smac3-output_2017-05-03_14:27:12_(844122)/features.txt 4 | wallclock_limit = 10.0 5 | instance_file = smac3-output_2017-05-03_14:27:12_(844122)/instances.txt 6 | cutoff_time = 5.0 7 | maxR = 2000 8 | intensification_percentage = 0.5 9 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 10 | execdir = . 11 | initial_incumbent = DEFAULT 12 | abort_on_first_run_crash = True 13 | deterministic = False 14 | minR = 1 15 | run_obj = runtime 16 | paramfile = smac3-output_2017-05-03_14:27:12_(844122)/spear-params-mixed.pcs 17 | tuner-timeout = inf 18 | shared_model = False 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:27:12_(844122)/traj_aclib2.json: -------------------------------------------------------------------------------- 1 | {"cpu_time": 0, "wallclock_time": 0.0003409385681152344, "cost": 2147483648, "total_cpu_time": null, "evaluations": 0, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"]} 2 | {"cpu_time": 0.028, "wallclock_time": 0.3278493881225586, "cost": 0.028, "total_cpu_time": null, "evaluations": 1, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"]} 3 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:27:12_(844122)/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000341, 1, 0.000341, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 0.028000, 0.028000, 0.327849, 1, 0.299849, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:29:38_(316769)/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:29:38_(316769)/runhistory.json: -------------------------------------------------------------------------------- 1 | {"configs": {"1": {"sp-rand-phase-dec-freq": "0.001", "sp-clause-decay": 1.4, "sp-res-order-heur": "0", "sp-learned-clause-sort-heur": "0", "sp-max-res-lit-inc": 1.0, "sp-var-dec-heur": "0", "sp-learned-size-factor": 0.4, "sp-rand-phase-scaling": 1.0, "sp-variable-decay": 1.4, "sp-max-res-runs": 4, "sp-res-cutoff-lits": 400, "sp-res-cutoff-cls": 8, "sp-update-dec-queue": "1", "sp-phase-dec-heur": "5", "sp-restart-inc": 1.5, "sp-use-pure-literal-rule": "1", "sp-resolution": "1", "sp-learned-clauses-inc": 1.3, "sp-clause-del-heur": "2", "sp-rand-var-dec-freq": "0.001", "sp-first-restart": 100, "sp-var-activity-inc": 1.0, "sp-orig-clause-sort-heur": "0", "sp-rand-var-dec-scaling": 1.0, "sp-clause-activity-inc": 1.0}}, "data": [[[1, "instances/qcplin2006.10641.cnf", 137773602], [0.028, 0.028, {"__enum__": "StatusType.SUCCESS"}, {}]]]} -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:29:38_(316769)/scenario.txt: -------------------------------------------------------------------------------- 1 | deterministic = False 2 | shared_model = False 3 | intensification_percentage = 0.5 4 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 5 | tuner-timeout = inf 6 | cutoff_time = 5.0 7 | initial_incumbent = DEFAULT 8 | runcount_limit = inf 9 | feature_file = smac3-output_2017-05-03_14:29:38_(316769)/features.txt 10 | wallclock_limit = 10.0 11 | abort_on_first_run_crash = True 12 | minR = 1 13 | paramfile = smac3-output_2017-05-03_14:29:38_(316769)/spear-params-mixed.pcs 14 | execdir = . 15 | instance_file = smac3-output_2017-05-03_14:29:38_(316769)/instances.txt 16 | overall_obj = mean10 17 | maxR = 2000 18 | run_obj = runtime 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:29:38_(316769)/traj_aclib2.json: -------------------------------------------------------------------------------- 1 | {"cost": 2147483648, "cpu_time": 0, "wallclock_time": 0.0003116130828857422, "total_cpu_time": null, "evaluations": 0, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"]} 2 | {"cost": 0.028, "cpu_time": 0.028, "wallclock_time": 0.15118908882141113, "total_cpu_time": null, "evaluations": 1, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"]} 3 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:29:38_(316769)/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000312, 1, 0.000312, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 0.028000, 0.028000, 0.151189, 1, 0.123189, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:30:52_(831073)/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:30:52_(831073)/runhistory.json: -------------------------------------------------------------------------------- 1 | {"configs": {"1": {"sp-restart-inc": 1.5, "sp-orig-clause-sort-heur": "0", "sp-use-pure-literal-rule": "1", "sp-rand-var-dec-freq": "0.001", "sp-clause-del-heur": "2", "sp-update-dec-queue": "1", "sp-rand-var-dec-scaling": 1.0, "sp-res-cutoff-cls": 8, "sp-max-res-runs": 4, "sp-learned-clause-sort-heur": "0", "sp-variable-decay": 1.4, "sp-rand-phase-scaling": 1.0, "sp-first-restart": 100, "sp-var-dec-heur": "0", "sp-clause-activity-inc": 1.0, "sp-var-activity-inc": 1.0, "sp-clause-decay": 1.4, "sp-learned-clauses-inc": 1.3, "sp-phase-dec-heur": "5", "sp-max-res-lit-inc": 1.0, "sp-rand-phase-dec-freq": "0.001", "sp-res-order-heur": "0", "sp-res-cutoff-lits": 400, "sp-resolution": "1", "sp-learned-size-factor": 0.4}}, "data": [[[1, "instances/qcplin2006.10641.cnf", 137773602], [0.028, 0.028, {"__enum__": "StatusType.SUCCESS"}, {}]], [[1, "instances/qcplin2006.1031.cnf", 1177003760], [50.0, 5.0, {"__enum__": "StatusType.TIMEOUT"}, {"additional_info": "Runsolver returned TIMEOUT; disregard the rest of the output - Runsolver returned TIMEOUT; disregard the rest of the output"}]]]} -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:30:52_(831073)/scenario.txt: -------------------------------------------------------------------------------- 1 | wallclock_limit = 10.0 2 | runcount_limit = inf 3 | deterministic = False 4 | run_obj = runtime 5 | paramfile = smac3-output_2017-05-03_14:30:52_(831073)/spear-params-mixed.pcs 6 | instance_file = smac3-output_2017-05-03_14:30:52_(831073)/instances.txt 7 | overall_obj = mean10 8 | minR = 1 9 | initial_incumbent = DEFAULT 10 | execdir = . 11 | tuner-timeout = inf 12 | shared_model = False 13 | maxR = 2000 14 | feature_file = smac3-output_2017-05-03_14:30:52_(831073)/features.txt 15 | abort_on_first_run_crash = True 16 | cutoff_time = 5.0 17 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 18 | intensification_percentage = 0.5 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:30:52_(831073)/traj_aclib2.json: -------------------------------------------------------------------------------- 1 | {"total_cpu_time": null, "cost": 2147483648, "wallclock_time": 0.0003063678741455078, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "evaluations": 0, "cpu_time": 0} 2 | {"total_cpu_time": null, "cost": 0.028, "wallclock_time": 0.18464350700378418, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "evaluations": 1, "cpu_time": 0.028} 3 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:30:52_(831073)/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000306, 1, 0.000306, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 0.028000, 0.028000, 0.184644, 1, 0.156644, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:38:48_(960564)/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:38:48_(960564)/runhistory.json: -------------------------------------------------------------------------------- 1 | {"configs": {"1": {"sp-clause-decay": 1.4, "sp-learned-size-factor": 0.4, "sp-orig-clause-sort-heur": "0", "sp-learned-clauses-inc": 1.3, "sp-res-order-heur": "0", "sp-rand-var-dec-scaling": 1.0, "sp-rand-phase-dec-freq": "0.001", "sp-first-restart": 100, "sp-phase-dec-heur": "5", "sp-use-pure-literal-rule": "1", "sp-clause-del-heur": "2", "sp-rand-var-dec-freq": "0.001", "sp-res-cutoff-lits": 400, "sp-res-cutoff-cls": 8, "sp-var-dec-heur": "0", "sp-max-res-lit-inc": 1.0, "sp-update-dec-queue": "1", "sp-learned-clause-sort-heur": "0", "sp-var-activity-inc": 1.0, "sp-clause-activity-inc": 1.0, "sp-max-res-runs": 4, "sp-variable-decay": 1.4, "sp-resolution": "1", "sp-restart-inc": 1.5, "sp-rand-phase-scaling": 1.0}}, "data": [[[1, "instances/qcplin2006.10641.cnf", 137773602], [0.028, 0.028, {"__enum__": "StatusType.SUCCESS"}, {}]]]} -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:38:48_(960564)/scenario.txt: -------------------------------------------------------------------------------- 1 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 2 | instance_file = smac3-output_2017-05-03_14:38:48_(960564)/instances.txt 3 | overall_obj = mean10 4 | initial_incumbent = DEFAULT 5 | tuner-timeout = inf 6 | wallclock_limit = 10.0 7 | run_obj = runtime 8 | minR = 1 9 | paramfile = smac3-output_2017-05-03_14:38:48_(960564)/spear-params-mixed.pcs 10 | deterministic = False 11 | abort_on_first_run_crash = True 12 | cutoff_time = 5.0 13 | runcount_limit = inf 14 | maxR = 2000 15 | shared_model = False 16 | feature_file = smac3-output_2017-05-03_14:38:48_(960564)/features.txt 17 | execdir = . 18 | intensification_percentage = 0.5 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:38:48_(960564)/traj_aclib2.json: -------------------------------------------------------------------------------- 1 | {"cost": 2147483648, "cpu_time": 0, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "wallclock_time": 0.00036597251892089844, "evaluations": 0, "total_cpu_time": null} 2 | {"cost": 0.028, "cpu_time": 0.028, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "wallclock_time": 0.10009980201721191, "evaluations": 1, "total_cpu_time": null} 3 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:38:48_(960564)/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000366, 1, 0.000366, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 0.028000, 0.028000, 0.100100, 1, 0.072100, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:40:01_(629133)/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:40:01_(629133)/runhistory.json: -------------------------------------------------------------------------------- 1 | {"data": [[[1, "instances/qcplin2006.10641.cnf", 137773602], [0.028, 0.028, {"__enum__": "StatusType.SUCCESS"}, {}]]], "configs": {"1": {"sp-var-activity-inc": 1.0, "sp-resolution": "1", "sp-clause-activity-inc": 1.0, "sp-max-res-lit-inc": 1.0, "sp-learned-clauses-inc": 1.3, "sp-max-res-runs": 4, "sp-restart-inc": 1.5, "sp-variable-decay": 1.4, "sp-rand-phase-scaling": 1.0, "sp-use-pure-literal-rule": "1", "sp-var-dec-heur": "0", "sp-phase-dec-heur": "5", "sp-rand-var-dec-scaling": 1.0, "sp-learned-size-factor": 0.4, "sp-clause-del-heur": "2", "sp-orig-clause-sort-heur": "0", "sp-res-cutoff-lits": 400, "sp-learned-clause-sort-heur": "0", "sp-clause-decay": 1.4, "sp-res-cutoff-cls": 8, "sp-rand-phase-dec-freq": "0.001", "sp-first-restart": 100, "sp-rand-var-dec-freq": "0.001", "sp-update-dec-queue": "1", "sp-res-order-heur": "0"}}} -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:40:01_(629133)/scenario.txt: -------------------------------------------------------------------------------- 1 | intensification_percentage = 0.5 2 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 3 | feature_file = smac3-output_2017-05-03_14:40:01_(629133)/features.txt 4 | shared_model = False 5 | abort_on_first_run_crash = True 6 | deterministic = False 7 | overall_obj = mean10 8 | minR = 1 9 | initial_incumbent = DEFAULT 10 | instance_file = smac3-output_2017-05-03_14:40:01_(629133)/instances.txt 11 | wallclock_limit = 10.0 12 | paramfile = smac3-output_2017-05-03_14:40:01_(629133)/spear-params-mixed.pcs 13 | maxR = 2000 14 | runcount_limit = inf 15 | cutoff_time = 5.0 16 | tuner-timeout = inf 17 | execdir = . 18 | run_obj = runtime 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:40:01_(629133)/traj_aclib2.json: -------------------------------------------------------------------------------- 1 | {"incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "cost": 2147483648, "cpu_time": 0, "evaluations": 0, "wallclock_time": 0.00035953521728515625, "total_cpu_time": null} 2 | {"incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "cost": 0.028, "cpu_time": 0.028, "evaluations": 1, "wallclock_time": 0.16395950317382812, "total_cpu_time": null} 3 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:40:01_(629133)/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000360, 1, 0.000360, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 0.028000, 0.028000, 0.163960, 1, 0.135960, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:40:31_(286870)/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:40:31_(286870)/runhistory.json: -------------------------------------------------------------------------------- 1 | {"configs": {"1": {"sp-rand-var-dec-scaling": 1.0, "sp-clause-decay": 1.4, "sp-clause-activity-inc": 1.0, "sp-rand-phase-dec-freq": "0.001", "sp-variable-decay": 1.4, "sp-res-order-heur": "0", "sp-learned-size-factor": 0.4, "sp-first-restart": 100, "sp-max-res-lit-inc": 1.0, "sp-var-activity-inc": 1.0, "sp-phase-dec-heur": "5", "sp-resolution": "1", "sp-max-res-runs": 4, "sp-learned-clauses-inc": 1.3, "sp-use-pure-literal-rule": "1", "sp-res-cutoff-cls": 8, "sp-var-dec-heur": "0", "sp-restart-inc": 1.5, "sp-learned-clause-sort-heur": "0", "sp-rand-phase-scaling": 1.0, "sp-update-dec-queue": "1", "sp-orig-clause-sort-heur": "0", "sp-rand-var-dec-freq": "0.001", "sp-clause-del-heur": "2", "sp-res-cutoff-lits": 400}}, "data": [[[1, "instances/qcplin2006.10641.cnf", 137773602], [0.024, 0.024, {"__enum__": "StatusType.SUCCESS"}, {}]]]} -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:40:31_(286870)/scenario.txt: -------------------------------------------------------------------------------- 1 | execdir = . 2 | run_obj = runtime 3 | intensification_percentage = 0.5 4 | instance_file = smac3-output_2017-05-03_14:40:31_(286870)/instances.txt 5 | maxR = 2000 6 | abort_on_first_run_crash = True 7 | paramfile = smac3-output_2017-05-03_14:40:31_(286870)/spear-params-mixed.pcs 8 | deterministic = False 9 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 10 | initial_incumbent = DEFAULT 11 | minR = 1 12 | shared_model = False 13 | tuner-timeout = inf 14 | feature_file = smac3-output_2017-05-03_14:40:31_(286870)/features.txt 15 | wallclock_limit = 10.0 16 | overall_obj = mean10 17 | cutoff_time = 5.0 18 | runcount_limit = inf 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:40:31_(286870)/traj_aclib2.json: -------------------------------------------------------------------------------- 1 | {"wallclock_time": 0.0003044605255126953, "cost": 2147483648, "evaluations": 0, "total_cpu_time": null, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "cpu_time": 0} 2 | {"wallclock_time": 0.1280505657196045, "cost": 0.024, "evaluations": 1, "total_cpu_time": null, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "cpu_time": 0.024} 3 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:40:31_(286870)/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000304, 1, 0.000304, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 0.024000, 0.024000, 0.128051, 1, 0.104051, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:41:43_(947004)/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-05-03_14:41:43_(947004)/scenario.txt: -------------------------------------------------------------------------------- 1 | abort_on_first_run_crash = True 2 | paramfile = smac3-output_2017-05-03_14:41:43_(947004)/spear-params-mixed.pcs 3 | execdir = . 4 | run_obj = runtime 5 | instance_file = smac3-output_2017-05-03_14:41:43_(947004)/instances.txt 6 | shared_model = False 7 | overall_obj = mean10 8 | cutoff_time = 5.0 9 | feature_file = smac3-output_2017-05-03_14:41:43_(947004)/features.txt 10 | maxR = 2000 11 | wallclock_limit = 10.0 12 | deterministic = False 13 | minR = 1 14 | initial_incumbent = DEFAULT 15 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 16 | tuner-timeout = inf 17 | runcount_limit = inf 18 | intensification_percentage = 0.5 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:47:02_(768918)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:47:02_(768918)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 2 | minR = 1 3 | feature_file = smac3-output_2017-06-09_14:47:02_(768918)_run1/features.txt 4 | wallclock_limit = 30.0 5 | abort_on_first_run_crash = True 6 | initial_incumbent = DEFAULT 7 | shared_model = False 8 | always_race_default = False 9 | execdir = . 10 | maxR = 2000 11 | overall_obj = PAR10 12 | cost_for_crash = 2147483647.0 13 | run_obj = runtime 14 | tuner-timeout = inf 15 | runcount_limit = inf 16 | instance_file = smac3-output_2017-06-09_14:47:02_(768918)_run1/instances.txt 17 | paramfile = smac3-output_2017-06-09_14:47:02_(768918)_run1/spear-params-mixed.pcs 18 | deterministic = False 19 | intensification_percentage = 0.5 20 | cutoff_time = 5.0 21 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:47:02_(768918)_run1/traj_aclib2.json: -------------------------------------------------------------------------------- 1 | {"incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "cpu_time": 0, "cost": 2147483648, "wallclock_time": 0.0003578662872314453, "evaluations": 0, "total_cpu_time": null} 2 | {"incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "cpu_time": 0.004, "cost": 0.004, "wallclock_time": 0.2336435317993164, "evaluations": 1, "total_cpu_time": null} 3 | {"incumbent": ["sp-clause-activity-inc='0.7772581516754286'", "sp-clause-decay='1.6110981345339739'", "sp-clause-del-heur=''1''", "sp-first-restart='188'", "sp-learned-clause-sort-heur=''7''", "sp-learned-clauses-inc='1.4183487986009937'", "sp-learned-size-factor='1.4011854135812134'", "sp-orig-clause-sort-heur=''4''", "sp-phase-dec-heur=''0''", "sp-rand-var-dec-freq=''0.005''", "sp-resolution=''0''", "sp-restart-inc='1.6402296725914771'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''0''", "sp-var-activity-inc='0.671630515832248'", "sp-var-dec-heur=''10''", "sp-variable-decay='1.9466217297850408'", "sp-rand-phase-dec-freq=''0.0001''", "sp-rand-var-dec-scaling='0.7702195640278282'", "sp-rand-phase-scaling='0.803140369594578'"], "cpu_time": 0.02, "cost": 0.004, "wallclock_time": 0.9744250774383545, "evaluations": 4, "total_cpu_time": null} 4 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:47:02_(768918)_run1/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000358, 1, 0.000358, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 0.004000, 0.004000, 0.233644, 1, 0.229644, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | 0.020000, 0.004000, 0.974425, 2, 0.954425, sp-clause-activity-inc='0.7772581516754286', sp-clause-decay='1.6110981345339739', sp-clause-del-heur=''1'', sp-first-restart='188', sp-learned-clause-sort-heur=''7'', sp-learned-clauses-inc='1.4183487986009937', sp-learned-size-factor='1.4011854135812134', sp-orig-clause-sort-heur=''4'', sp-phase-dec-heur=''0'', sp-rand-var-dec-freq=''0.005'', sp-resolution=''0'', sp-restart-inc='1.6402296725914771', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''0'', sp-var-activity-inc='0.671630515832248', sp-var-dec-heur=''10'', sp-variable-decay='1.9466217297850408', sp-rand-phase-dec-freq=''0.0001'', sp-rand-var-dec-scaling='0.7702195640278282', sp-rand-phase-scaling='0.803140369594578' 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:48:10_(767988)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:48:10_(767988)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | initial_incumbent = DEFAULT 2 | runcount_limit = inf 3 | execdir = . 4 | cost_for_crash = 2147483647.0 5 | cutoff_time = 5.0 6 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 7 | feature_file = smac3-output_2017-06-09_14:48:10_(767988)_run1/features.txt 8 | shared_model = False 9 | minR = 1 10 | wallclock_limit = 30.0 11 | overall_obj = PAR10 12 | maxR = 2000 13 | abort_on_first_run_crash = True 14 | always_race_default = False 15 | tuner-timeout = inf 16 | run_obj = runtime 17 | intensification_percentage = 0.5 18 | instance_file = smac3-output_2017-06-09_14:48:10_(767988)_run1/instances.txt 19 | deterministic = False 20 | paramfile = smac3-output_2017-06-09_14:48:10_(767988)_run1/spear-params-mixed.pcs 21 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:48:46_(083764)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:48:46_(083764)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | minR = 1 2 | always_race_default = False 3 | cost_for_crash = 2147483647.0 4 | wallclock_limit = 30.0 5 | paramfile = smac3-output_2017-06-09_14:48:46_(083764)_run1/spear-params-mixed.pcs 6 | maxR = 2000 7 | initial_incumbent = DEFAULT 8 | instance_file = smac3-output_2017-06-09_14:48:46_(083764)_run1/instances.txt 9 | abort_on_first_run_crash = True 10 | overall_obj = PAR10 11 | tuner-timeout = inf 12 | feature_file = smac3-output_2017-06-09_14:48:46_(083764)_run1/features.txt 13 | shared_model = False 14 | cutoff_time = 5.0 15 | execdir = . 16 | intensification_percentage = 0.5 17 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 18 | deterministic = False 19 | runcount_limit = inf 20 | run_obj = runtime 21 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:48:46_(083764)_run1/traj_aclib2.json: -------------------------------------------------------------------------------- 1 | {"total_cpu_time": null, "cpu_time": 0, "cost": 2147483648, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "evaluations": 0, "wallclock_time": 0.00040721893310546875} 2 | {"total_cpu_time": null, "cpu_time": 0.004, "cost": 0.004, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "evaluations": 1, "wallclock_time": 0.13013935089111328} 3 | {"total_cpu_time": null, "cpu_time": 0.024, "cost": 0.006, "incumbent": ["sp-clause-activity-inc='0.6767539088993618'", "sp-clause-decay='1.2160338961130068'", "sp-clause-del-heur=''0''", "sp-first-restart='104'", "sp-learned-clause-sort-heur=''11''", "sp-learned-clauses-inc='1.474151705528221'", "sp-learned-size-factor='0.32328175204503246'", "sp-orig-clause-sort-heur=''5''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.05''", "sp-resolution=''1''", "sp-restart-inc='1.5081682221267292'", "sp-update-dec-queue=''0''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.17207830443254'", "sp-var-dec-heur=''10''", "sp-variable-decay='1.2904825826179211'", "sp-max-res-lit-inc='0.656783585524833'", "sp-max-res-runs='1'", "sp-rand-phase-dec-freq=''0''", "sp-rand-var-dec-scaling='0.754100557805566'", "sp-res-cutoff-cls='3'", "sp-res-cutoff-lits='1598'", "sp-res-order-heur=''13''"], "evaluations": 4, "wallclock_time": 0.8229832649230957} 4 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:48:46_(083764)_run1/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000407, 1, 0.000407, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 0.004000, 0.004000, 0.130139, 1, 0.126139, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | 0.024000, 0.006000, 0.822983, 2, 0.798983, sp-clause-activity-inc='0.6767539088993618', sp-clause-decay='1.2160338961130068', sp-clause-del-heur=''0'', sp-first-restart='104', sp-learned-clause-sort-heur=''11'', sp-learned-clauses-inc='1.474151705528221', sp-learned-size-factor='0.32328175204503246', sp-orig-clause-sort-heur=''5'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.05'', sp-resolution=''1'', sp-restart-inc='1.5081682221267292', sp-update-dec-queue=''0'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.17207830443254', sp-var-dec-heur=''10'', sp-variable-decay='1.2904825826179211', sp-max-res-lit-inc='0.656783585524833', sp-max-res-runs='1', sp-rand-phase-dec-freq=''0'', sp-rand-var-dec-scaling='0.754100557805566', sp-res-cutoff-cls='3', sp-res-cutoff-lits='1598', sp-res-order-heur=''13'' 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:49:56_(866581)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:49:56_(866581)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | maxR = 2000 2 | minR = 1 3 | initial_incumbent = DEFAULT 4 | overall_obj = PAR10 5 | paramfile = smac3-output_2017-06-09_14:49:56_(866581)_run1/spear-params-mixed.pcs 6 | deterministic = False 7 | tuner-timeout = inf 8 | cost_for_crash = 2147483647.0 9 | wallclock_limit = 30.0 10 | run_obj = runtime 11 | intensification_percentage = 0.5 12 | instance_file = smac3-output_2017-06-09_14:49:56_(866581)_run1/instances.txt 13 | runcount_limit = inf 14 | execdir = . 15 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 16 | shared_model = False 17 | feature_file = smac3-output_2017-06-09_14:49:56_(866581)_run1/features.txt 18 | abort_on_first_run_crash = True 19 | always_race_default = False 20 | cutoff_time = 5.0 21 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:49:56_(866581)_run1/traj_aclib2.json: -------------------------------------------------------------------------------- 1 | {"cost": 2147483648, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "cpu_time": 0, "wallclock_time": 0.00034880638122558594, "evaluations": 0, "total_cpu_time": null} 2 | {"cost": 0.004, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "cpu_time": 0.004, "wallclock_time": 0.12159180641174316, "evaluations": 1, "total_cpu_time": null} 3 | {"cost": 0.44133333333333336, "incumbent": ["sp-clause-activity-inc='0.7842932814990621'", "sp-clause-decay='1.2452184685998626'", "sp-clause-del-heur=''2''", "sp-first-restart='105'", "sp-learned-clause-sort-heur=''3''", "sp-learned-clauses-inc='1.1290156451302211'", "sp-learned-size-factor='1.3640588596541041'", "sp-orig-clause-sort-heur=''16''", "sp-phase-dec-heur=''4''", "sp-rand-var-dec-freq=''0''", "sp-resolution=''0''", "sp-restart-inc='1.5538875647644228'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='0.8015903918352136'", "sp-var-dec-heur=''7''", "sp-variable-decay='1.7117910600898256'", "sp-rand-phase-dec-freq=''0.0001''", "sp-rand-phase-scaling='0.9261231821125735'"], "cpu_time": 6.043999999999999, "wallclock_time": 10.27918529510498, "evaluations": 7, "total_cpu_time": null} 4 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:49:56_(866581)_run1/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000349, 1, 0.000349, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 0.004000, 0.004000, 0.121592, 1, 0.117592, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | 6.044000, 0.441333, 10.279185, 2, 4.235185, sp-clause-activity-inc='0.7842932814990621', sp-clause-decay='1.2452184685998626', sp-clause-del-heur=''2'', sp-first-restart='105', sp-learned-clause-sort-heur=''3'', sp-learned-clauses-inc='1.1290156451302211', sp-learned-size-factor='1.3640588596541041', sp-orig-clause-sort-heur=''16'', sp-phase-dec-heur=''4'', sp-rand-var-dec-freq=''0'', sp-resolution=''0'', sp-restart-inc='1.5538875647644228', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='0.8015903918352136', sp-var-dec-heur=''7'', sp-variable-decay='1.7117910600898256', sp-rand-phase-dec-freq=''0.0001'', sp-rand-phase-scaling='0.9261231821125735' 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:51:05_(570575)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:51:05_(570575)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | cost_for_crash = 2147483647.0 2 | execdir = . 3 | feature_file = smac3-output_2017-06-09_14:51:05_(570575)_run1/features.txt 4 | maxR = 2000 5 | minR = 1 6 | intensification_percentage = 0.5 7 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 8 | cutoff_time = 5.0 9 | paramfile = smac3-output_2017-06-09_14:51:05_(570575)_run1/spear-params-mixed.pcs 10 | deterministic = False 11 | tuner-timeout = inf 12 | overall_obj = PAR10 13 | shared_model = False 14 | initial_incumbent = DEFAULT 15 | runcount_limit = inf 16 | abort_on_first_run_crash = True 17 | instance_file = smac3-output_2017-06-09_14:51:05_(570575)_run1/instances.txt 18 | run_obj = runtime 19 | always_race_default = False 20 | wallclock_limit = 30.0 21 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:51:47_(890378)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:51:47_(890378)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | always_race_default = False 2 | execdir = . 3 | intensification_percentage = 0.5 4 | deterministic = False 5 | maxR = 2000 6 | run_obj = runtime 7 | cost_for_crash = 2147483647.0 8 | runcount_limit = inf 9 | minR = 1 10 | wallclock_limit = 30.0 11 | paramfile = smac3-output_2017-06-09_14:51:47_(890378)_run1/spear-params-mixed.pcs 12 | shared_model = False 13 | abort_on_first_run_crash = True 14 | initial_incumbent = DEFAULT 15 | feature_file = smac3-output_2017-06-09_14:51:47_(890378)_run1/features.txt 16 | tuner-timeout = inf 17 | cutoff_time = 5.0 18 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 19 | overall_obj = PAR10 20 | instance_file = smac3-output_2017-06-09_14:51:47_(890378)_run1/instances.txt 21 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:51:47_(890378)_run1/traj_aclib2.json: -------------------------------------------------------------------------------- 1 | {"cpu_time": 0, "wallclock_time": 0.000408172607421875, "cost": 2147483648, "total_cpu_time": null, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "evaluations": 0} 2 | {"cpu_time": 0.004, "wallclock_time": 0.1422431468963623, "cost": 0.004, "total_cpu_time": null, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "evaluations": 1} 3 | {"cpu_time": 6.071999999999999, "wallclock_time": 10.448949098587036, "cost": 0.44933333333333336, "total_cpu_time": null, "incumbent": ["sp-clause-activity-inc='0.7842932814990621'", "sp-clause-decay='1.2452184685998626'", "sp-clause-del-heur=''2''", "sp-first-restart='105'", "sp-learned-clause-sort-heur=''3''", "sp-learned-clauses-inc='1.1290156451302211'", "sp-learned-size-factor='1.3640588596541041'", "sp-orig-clause-sort-heur=''16''", "sp-phase-dec-heur=''4''", "sp-rand-var-dec-freq=''0''", "sp-resolution=''0''", "sp-restart-inc='1.5538875647644228'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='0.8015903918352136'", "sp-var-dec-heur=''7''", "sp-variable-decay='1.7117910600898256'", "sp-rand-phase-dec-freq=''0.0001''", "sp-rand-phase-scaling='0.9261231821125735'"], "evaluations": 7} 4 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:51:47_(890378)_run1/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000408, 1, 0.000408, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 0.004000, 0.004000, 0.142243, 1, 0.138243, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | 6.072000, 0.449333, 10.448949, 2, 4.376949, sp-clause-activity-inc='0.7842932814990621', sp-clause-decay='1.2452184685998626', sp-clause-del-heur=''2'', sp-first-restart='105', sp-learned-clause-sort-heur=''3'', sp-learned-clauses-inc='1.1290156451302211', sp-learned-size-factor='1.3640588596541041', sp-orig-clause-sort-heur=''16'', sp-phase-dec-heur=''4'', sp-rand-var-dec-freq=''0'', sp-resolution=''0'', sp-restart-inc='1.5538875647644228', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='0.8015903918352136', sp-var-dec-heur=''7'', sp-variable-decay='1.7117910600898256', sp-rand-phase-dec-freq=''0.0001'', sp-rand-phase-scaling='0.9261231821125735' 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:52:26_(238639)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:52:26_(238639)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | deterministic = False 2 | overall_obj = PAR10 3 | initial_incumbent = DEFAULT 4 | feature_file = smac3-output_2017-06-09_14:52:26_(238639)_run1/features.txt 5 | instance_file = smac3-output_2017-06-09_14:52:26_(238639)_run1/instances.txt 6 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 7 | execdir = . 8 | cutoff_time = 5.0 9 | always_race_default = False 10 | cost_for_crash = 2147483647.0 11 | intensification_percentage = 0.5 12 | minR = 1 13 | shared_model = False 14 | tuner-timeout = inf 15 | run_obj = runtime 16 | maxR = 2000 17 | wallclock_limit = 30.0 18 | runcount_limit = inf 19 | abort_on_first_run_crash = True 20 | paramfile = smac3-output_2017-06-09_14:52:26_(238639)_run1/spear-params-mixed.pcs 21 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:53:13_(675175)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:53:13_(675175)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | deterministic = False 2 | feature_file = smac3-output_2017-06-09_14:53:13_(675175)_run1/features.txt 3 | cost_for_crash = 2147483647.0 4 | run_obj = runtime 5 | wallclock_limit = 30.0 6 | shared_model = False 7 | initial_incumbent = DEFAULT 8 | minR = 1 9 | overall_obj = PAR10 10 | intensification_percentage = 0.5 11 | paramfile = smac3-output_2017-06-09_14:53:13_(675175)_run1/spear-params-mixed.pcs 12 | always_race_default = False 13 | instance_file = smac3-output_2017-06-09_14:53:13_(675175)_run1/instances.txt 14 | cutoff_time = 5.0 15 | execdir = . 16 | runcount_limit = inf 17 | abort_on_first_run_crash = True 18 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 19 | tuner-timeout = inf 20 | maxR = 2000 21 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:53:13_(675175)_run1/traj_aclib2.json: -------------------------------------------------------------------------------- 1 | {"cost": 2147483648, "evaluations": 0, "wallclock_time": 0.00038504600524902344, "cpu_time": 0, "total_cpu_time": null, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"]} 2 | {"cost": 0.004, "evaluations": 1, "wallclock_time": 0.12244391441345215, "cpu_time": 0.004, "total_cpu_time": null, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"]} 3 | {"cost": 0.016, "evaluations": 4, "wallclock_time": 0.8211367130279541, "cpu_time": 0.064, "total_cpu_time": null, "incumbent": ["sp-clause-activity-inc='0.6767539088993618'", "sp-clause-decay='1.2160338961130068'", "sp-clause-del-heur=''0''", "sp-first-restart='104'", "sp-learned-clause-sort-heur=''11''", "sp-learned-clauses-inc='1.474151705528221'", "sp-learned-size-factor='0.32328175204503246'", "sp-orig-clause-sort-heur=''5''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.05''", "sp-resolution=''1''", "sp-restart-inc='1.5081682221267292'", "sp-update-dec-queue=''0''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.17207830443254'", "sp-var-dec-heur=''10''", "sp-variable-decay='1.2904825826179211'", "sp-max-res-lit-inc='0.656783585524833'", "sp-max-res-runs='1'", "sp-rand-phase-dec-freq=''0''", "sp-rand-var-dec-scaling='0.754100557805566'", "sp-res-cutoff-cls='3'", "sp-res-cutoff-lits='1598'", "sp-res-order-heur=''13''"]} 4 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:53:13_(675175)_run1/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000385, 1, 0.000385, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 0.004000, 0.004000, 0.122444, 1, 0.118444, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | 0.064000, 0.016000, 0.821137, 2, 0.757137, sp-clause-activity-inc='0.6767539088993618', sp-clause-decay='1.2160338961130068', sp-clause-del-heur=''0'', sp-first-restart='104', sp-learned-clause-sort-heur=''11'', sp-learned-clauses-inc='1.474151705528221', sp-learned-size-factor='0.32328175204503246', sp-orig-clause-sort-heur=''5'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.05'', sp-resolution=''1'', sp-restart-inc='1.5081682221267292', sp-update-dec-queue=''0'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.17207830443254', sp-var-dec-heur=''10'', sp-variable-decay='1.2904825826179211', sp-max-res-lit-inc='0.656783585524833', sp-max-res-runs='1', sp-rand-phase-dec-freq=''0'', sp-rand-var-dec-scaling='0.754100557805566', sp-res-cutoff-cls='3', sp-res-cutoff-lits='1598', sp-res-order-heur=''13'' 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:59:08_(532776)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_14:59:08_(532776)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | always_race_default = False 2 | wallclock_limit = 600.0 3 | initial_incumbent = DEFAULT 4 | deterministic = False 5 | minR = 1 6 | execdir = . 7 | shared_model = False 8 | cost_for_crash = 2147483647.0 9 | feature_file = smac3-output_2017-06-09_14:59:08_(532776)_run1/features.txt 10 | run_obj = runtime 11 | maxR = 2000 12 | cutoff_time = 5.0 13 | intensification_percentage = 0.5 14 | paramfile = smac3-output_2017-06-09_14:59:08_(532776)_run1/spear-params-mixed.pcs 15 | tuner-timeout = inf 16 | instance_file = smac3-output_2017-06-09_14:59:08_(532776)_run1/instances.txt 17 | abort_on_first_run_crash = True 18 | overall_obj = PAR10 19 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 20 | runcount_limit = inf 21 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_15:10:21_(215322)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_15:10:21_(215322)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | tuner-timeout = inf 2 | wallclock_limit = 600.0 3 | cutoff_time = 5.0 4 | abort_on_first_run_crash = True 5 | overall_obj = PAR10 6 | deterministic = False 7 | maxR = 2000 8 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 9 | paramfile = smac3-output_2017-06-09_15:10:21_(215322)_run1/spear-params-mixed.pcs 10 | intensification_percentage = 0.5 11 | run_obj = runtime 12 | shared_model = False 13 | minR = 1 14 | always_race_default = False 15 | instance_file = smac3-output_2017-06-09_15:10:21_(215322)_run1/instances.txt 16 | execdir = . 17 | runcount_limit = inf 18 | initial_incumbent = DEFAULT 19 | feature_file = smac3-output_2017-06-09_15:10:21_(215322)_run1/features.txt 20 | cost_for_crash = 2147483647.0 21 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_15:49:01_(686980)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-06-09_15:49:01_(686980)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | runcount_limit = inf 2 | instance_file = smac3-output_2017-06-09_15:49:01_(686980)_run1/instances.txt 3 | tuner-timeout = inf 4 | intensification_percentage = 0.5 5 | initial_incumbent = DEFAULT 6 | cutoff_time = 5.0 7 | run_obj = runtime 8 | abort_on_first_run_crash = True 9 | deterministic = False 10 | paramfile = smac3-output_2017-06-09_15:49:01_(686980)_run1/spear-params-mixed.pcs 11 | maxR = 2000 12 | shared_model = False 13 | execdir = . 14 | minR = 1 15 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 16 | always_race_default = False 17 | cost_for_crash = 2147483647.0 18 | overall_obj = PAR10 19 | wallclock_limit = 600.0 20 | feature_file = smac3-output_2017-06-09_15:49:01_(686980)_run1/features.txt 21 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_17:10:12_(728749)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_17:10:12_(728749)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | execdir = . 2 | paramfile = smac3-output_2017-07-09_17:10:12_(728749)_run1/spear-params-mixed.pcs 3 | runcount_limit = inf 4 | minR = 1 5 | intensification_percentage = 0.5 6 | run_obj = runtime 7 | abort_on_first_run_crash = True 8 | tuner-timeout = inf 9 | shared_model = False 10 | initial_incumbent = DEFAULT 11 | maxR = 2000 12 | instance_file = smac3-output_2017-07-09_17:10:12_(728749)_run1/instances.txt 13 | overall_obj = PAR10 14 | deterministic = False 15 | cutoff_time = 5.0 16 | feature_file = smac3-output_2017-07-09_17:10:12_(728749)_run1/features.txt 17 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 18 | wallclock_limit = 600.0 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_18:52:47_(921831)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_18:52:47_(921831)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | paramfile = smac3-output_2017-07-09_18:52:47_(921831)_run1/spear-params-mixed.pcs 2 | cutoff_time = 5.0 3 | abort_on_first_run_crash = True 4 | shared_model = False 5 | tuner-timeout = inf 6 | wallclock_limit = 600.0 7 | minR = 1 8 | deterministic = False 9 | initial_incumbent = DEFAULT 10 | run_obj = runtime 11 | instance_file = smac3-output_2017-07-09_18:52:47_(921831)_run1/instances.txt 12 | feature_file = smac3-output_2017-07-09_18:52:47_(921831)_run1/features.txt 13 | overall_obj = PAR10 14 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 15 | runcount_limit = inf 16 | intensification_percentage = 0.5 17 | maxR = 2000 18 | execdir = . 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_18:54:55_(295140)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_18:54:55_(295140)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | overall_obj = PAR10 2 | wallclock_limit = 600.0 3 | deterministic = False 4 | minR = 1 5 | abort_on_first_run_crash = True 6 | runcount_limit = inf 7 | execdir = . 8 | instance_file = smac3-output_2017-07-09_18:54:55_(295140)_run1/instances.txt 9 | shared_model = False 10 | intensification_percentage = 0.5 11 | feature_file = smac3-output_2017-07-09_18:54:55_(295140)_run1/features.txt 12 | tuner-timeout = inf 13 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 14 | maxR = 2000 15 | initial_incumbent = DEFAULT 16 | cutoff_time = 5.0 17 | run_obj = runtime 18 | paramfile = smac3-output_2017-07-09_18:54:55_(295140)_run1/spear-params-mixed.pcs 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_18:56:50_(814859)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_18:56:50_(814859)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | feature_file = smac3-output_2017-07-09_18:56:50_(814859)_run1/features.txt 2 | runcount_limit = inf 3 | run_obj = runtime 4 | minR = 1 5 | shared_model = False 6 | instance_file = smac3-output_2017-07-09_18:56:50_(814859)_run1/instances.txt 7 | maxR = 2000 8 | initial_incumbent = DEFAULT 9 | deterministic = False 10 | paramfile = smac3-output_2017-07-09_18:56:50_(814859)_run1/spear-params-mixed.pcs 11 | intensification_percentage = 0.5 12 | execdir = . 13 | wallclock_limit = 600.0 14 | overall_obj = PAR10 15 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 16 | tuner-timeout = inf 17 | abort_on_first_run_crash = True 18 | cutoff_time = 5.0 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_18:56:50_(814859)_run1/traj_aclib2.json: -------------------------------------------------------------------------------- 1 | {"wallclock_time": 0.0006334781646728516, "cpu_time": 0, "cost": 2147483648, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "evaluations": 0, "total_cpu_time": null} 2 | {"wallclock_time": 4.868666410446167, "cpu_time": 4.768, "cost": 4.768, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "evaluations": 1, "total_cpu_time": null} 3 | {"wallclock_time": 25.73633098602295, "cpu_time": 19.571999999999996, "cost": 1.178, "incumbent": ["sp-clause-activity-inc='1.2466327221657099'", "sp-clause-decay='1.1274357206101036'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''7''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.39999999999999997'", "sp-orig-clause-sort-heur=''7''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''0''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "evaluations": 13, "total_cpu_time": null} 4 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_18:56:50_(814859)_run1/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000633, 1, 0.000633, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 4.768000, 4.768000, 4.868666, 1, 0.100666, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | 19.572000, 1.178000, 25.736331, 2, 6.164331, sp-clause-activity-inc='1.2466327221657099', sp-clause-decay='1.1274357206101036', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''7'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.39999999999999997', sp-orig-clause-sort-heur=''7'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''0'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:03:56_(521000)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:03:56_(521000)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | execdir = . 2 | cutoff_time = 5.0 3 | wallclock_limit = 600.0 4 | initial_incumbent = DEFAULT 5 | instance_file = smac3-output_2017-07-09_19:03:56_(521000)_run1/instances.txt 6 | tuner-timeout = inf 7 | overall_obj = PAR10 8 | shared_model = False 9 | abort_on_first_run_crash = True 10 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 11 | run_obj = runtime 12 | runcount_limit = inf 13 | deterministic = False 14 | feature_file = smac3-output_2017-07-09_19:03:56_(521000)_run1/features.txt 15 | paramfile = smac3-output_2017-07-09_19:03:56_(521000)_run1/spear-params-mixed.pcs 16 | maxR = 2000 17 | minR = 1 18 | intensification_percentage = 0.5 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:08:18_(846565)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:08:18_(846565)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | minR = 1 2 | runcount_limit = inf 3 | paramfile = smac3-output_2017-07-09_19:08:18_(846565)_run1/spear-params-mixed.pcs 4 | intensification_percentage = 0.5 5 | abort_on_first_run_crash = True 6 | execdir = . 7 | feature_file = smac3-output_2017-07-09_19:08:18_(846565)_run1/features.txt 8 | wallclock_limit = 600.0 9 | run_obj = runtime 10 | cutoff_time = 5.0 11 | maxR = 2000 12 | instance_file = smac3-output_2017-07-09_19:08:18_(846565)_run1/instances.txt 13 | shared_model = False 14 | overall_obj = PAR10 15 | tuner-timeout = inf 16 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 17 | deterministic = False 18 | initial_incumbent = DEFAULT 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:08:18_(846565)_run1/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000625, 1, 0.000625, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 0.008000, 0.008000, 0.182729, 1, 0.174729, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | 0.024000, 0.006000, 0.840751, 2, 0.816751, sp-clause-activity-inc='1.4914135773407344', sp-clause-decay='1.4914680569113106', sp-clause-del-heur=''2'', sp-first-restart='663', sp-learned-clause-sort-heur=''15'', sp-learned-clauses-inc='1.1912024424626326', sp-learned-size-factor='0.15777280547174716', sp-orig-clause-sort-heur=''2'', sp-phase-dec-heur=''3'', sp-rand-var-dec-freq=''0.05'', sp-resolution=''1'', sp-restart-inc='1.7681130361721147', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''0'', sp-var-activity-inc='0.878502118074326', sp-var-dec-heur=''13'', sp-variable-decay='1.043394170874087', sp-max-res-lit-inc='0.34215627032167034', sp-max-res-runs='5', sp-rand-phase-dec-freq=''0.005'', sp-rand-var-dec-scaling='0.967764063255024', sp-res-cutoff-cls='12', sp-res-cutoff-lits='535', sp-res-order-heur=''3'', sp-rand-phase-scaling='0.9953793867539613' 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:09:50_(730786)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:09:50_(730786)_run1/runhistory.json: -------------------------------------------------------------------------------- 1 | {"data": [[[1, "instances/qcplin2006.1031.cnf", 29049018], [50.0, 5.0, {"__enum__": "StatusType.TIMEOUT"}, {"additional_info": "Runsolver returned TIMEOUT; disregard the rest of the output - Runsolver returned TIMEOUT; disregard the rest of the output"}]]], "configs": {"1": {"sp-phase-dec-heur": "5", "sp-rand-var-dec-scaling": 1.0, "sp-clause-del-heur": "2", "sp-orig-clause-sort-heur": "0", "sp-rand-var-dec-freq": "0.001", "sp-learned-clause-sort-heur": "0", "sp-var-dec-heur": "0", "sp-res-cutoff-cls": 8, "sp-first-restart": 100, "sp-rand-phase-scaling": 1.0, "sp-use-pure-literal-rule": "1", "sp-restart-inc": 1.5, "sp-res-cutoff-lits": 400, "sp-res-order-heur": "0", "sp-rand-phase-dec-freq": "0.001", "sp-max-res-lit-inc": 1.0, "sp-resolution": "1", "sp-max-res-runs": 4, "sp-learned-size-factor": 0.4, "sp-clause-decay": 1.4, "sp-var-activity-inc": 1.0, "sp-clause-activity-inc": 1.0, "sp-variable-decay": 1.4, "sp-learned-clauses-inc": 1.3, "sp-update-dec-queue": "1"}}} -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:09:50_(730786)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | overall_obj = PAR10 2 | abort_on_first_run_crash = True 3 | execdir = . 4 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 5 | runcount_limit = inf 6 | intensification_percentage = 0.5 7 | feature_file = smac3-output_2017-07-09_19:09:50_(730786)_run1/features.txt 8 | cutoff_time = 5.0 9 | run_obj = runtime 10 | tuner-timeout = inf 11 | initial_incumbent = DEFAULT 12 | paramfile = smac3-output_2017-07-09_19:09:50_(730786)_run1/spear-params-mixed.pcs 13 | maxR = 2000 14 | instance_file = smac3-output_2017-07-09_19:09:50_(730786)_run1/instances.txt 15 | minR = 1 16 | deterministic = False 17 | wallclock_limit = 600.0 18 | shared_model = False 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:09:50_(730786)_run1/traj_aclib2.json: -------------------------------------------------------------------------------- 1 | {"cost": 2147483648, "total_cpu_time": null, "cpu_time": 0, "evaluations": 0, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "wallclock_time": 0.0006387233734130859} 2 | {"cost": 50.0, "total_cpu_time": null, "cpu_time": 5.0, "evaluations": 1, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "wallclock_time": 8.2640540599823} 3 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:09:50_(730786)_run1/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000639, 1, 0.000639, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 5.000000, 50.000000, 8.264054, 1, 3.264054, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:10:21_(825027)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:10:21_(825027)_run1/runhistory.json: -------------------------------------------------------------------------------- 1 | {"data": [[[1, "instances/qcplin2006.1031.cnf", 674619577], [50.0, 5.0, {"__enum__": "StatusType.TIMEOUT"}, {"additional_info": "Runsolver returned TIMEOUT; disregard the rest of the output - Runsolver returned TIMEOUT; disregard the rest of the output"}]], [[1, "instances/qcplin2006.10218.cnf", 1206768618], [0.012, 0.012, {"__enum__": "StatusType.SUCCESS"}, {}]], [[2, "instances/qcplin2006.10218.cnf", 1206768618], [0.012, 0.012, {"__enum__": "StatusType.SUCCESS"}, {}]], [[2, "instances/qcplin2006.1031.cnf", 674619577], [50.0, 5.0, {"__enum__": "StatusType.TIMEOUT"}, {"additional_info": "Runsolver returned TIMEOUT; disregard the rest of the output - Runsolver returned TIMEOUT; disregard the rest of the output"}]]], "configs": {"1": {"sp-phase-dec-heur": "5", "sp-rand-var-dec-scaling": 1.0, "sp-clause-del-heur": "2", "sp-orig-clause-sort-heur": "0", "sp-rand-var-dec-freq": "0.001", "sp-learned-clause-sort-heur": "0", "sp-var-dec-heur": "0", "sp-res-cutoff-cls": 8, "sp-first-restart": 100, "sp-rand-phase-scaling": 1.0, "sp-use-pure-literal-rule": "1", "sp-restart-inc": 1.5, "sp-res-cutoff-lits": 400, "sp-res-order-heur": "0", "sp-rand-phase-dec-freq": "0.001", "sp-max-res-lit-inc": 1.0, "sp-resolution": "1", "sp-max-res-runs": 4, "sp-learned-size-factor": 0.4, "sp-clause-decay": 1.4, "sp-var-activity-inc": 1.0, "sp-clause-activity-inc": 1.0, "sp-variable-decay": 1.4, "sp-learned-clauses-inc": 1.3, "sp-update-dec-queue": "1"}, "2": {"sp-phase-dec-heur": "6", "sp-rand-var-dec-scaling": 0.40618894029593733, "sp-clause-del-heur": "1", "sp-orig-clause-sort-heur": "14", "sp-rand-var-dec-freq": "0.005", "sp-learned-clause-sort-heur": "4", "sp-var-dec-heur": "18", "sp-res-cutoff-cls": 3, "sp-first-restart": 1004, "sp-rand-phase-scaling": 0.7622608840054023, "sp-use-pure-literal-rule": "1", "sp-restart-inc": 1.3854489666990628, "sp-res-cutoff-lits": 584, "sp-res-order-heur": "5", "sp-rand-phase-dec-freq": "0.005", "sp-max-res-lit-inc": 0.4292382897515307, "sp-resolution": "1", "sp-max-res-runs": 32, "sp-learned-size-factor": 0.28031239725539836, "sp-clause-decay": 1.1384204155658801, "sp-var-activity-inc": 1.2130638950541153, "sp-clause-activity-inc": 0.5368853856300331, "sp-variable-decay": 1.0259809808448561, "sp-learned-clauses-inc": 1.3728774665071664, "sp-update-dec-queue": "1"}}} -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:10:21_(825027)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | overall_obj = PAR10 2 | abort_on_first_run_crash = True 3 | execdir = . 4 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 5 | runcount_limit = inf 6 | intensification_percentage = 0.5 7 | feature_file = smac3-output_2017-07-09_19:10:21_(825027)_run1/features.txt 8 | cutoff_time = 5.0 9 | run_obj = runtime 10 | tuner-timeout = inf 11 | initial_incumbent = DEFAULT 12 | paramfile = smac3-output_2017-07-09_19:10:21_(825027)_run1/spear-params-mixed.pcs 13 | maxR = 2000 14 | instance_file = smac3-output_2017-07-09_19:10:21_(825027)_run1/instances.txt 15 | minR = 1 16 | deterministic = False 17 | wallclock_limit = 600.0 18 | shared_model = False 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:10:21_(825027)_run1/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000803, 1, 0.000803, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 5.000000, 50.000000, 8.286522, 1, 3.286522, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | 10.024000, 25.006000, 17.123815, 2, 7.099815, sp-clause-activity-inc='0.5368853856300331', sp-clause-decay='1.1384204155658801', sp-clause-del-heur=''1'', sp-first-restart='1004', sp-learned-clause-sort-heur=''4'', sp-learned-clauses-inc='1.3728774665071664', sp-learned-size-factor='0.28031239725539836', sp-orig-clause-sort-heur=''14'', sp-phase-dec-heur=''6'', sp-rand-var-dec-freq=''0.005'', sp-resolution=''1'', sp-restart-inc='1.3854489666990628', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.2130638950541153', sp-var-dec-heur=''18'', sp-variable-decay='1.0259809808448561', sp-max-res-lit-inc='0.4292382897515307', sp-max-res-runs='32', sp-rand-phase-dec-freq=''0.005'', sp-rand-var-dec-scaling='0.40618894029593733', sp-res-cutoff-cls='3', sp-res-cutoff-lits='584', sp-res-order-heur=''5'', sp-rand-phase-scaling='0.7622608840054023' 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:11:02_(000508)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:11:02_(000508)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | overall_obj = PAR10 2 | abort_on_first_run_crash = True 3 | execdir = . 4 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 5 | runcount_limit = inf 6 | intensification_percentage = 0.5 7 | feature_file = smac3-output_2017-07-09_19:11:02_(000508)_run1/features.txt 8 | cutoff_time = 5.0 9 | run_obj = runtime 10 | tuner-timeout = inf 11 | initial_incumbent = DEFAULT 12 | paramfile = smac3-output_2017-07-09_19:11:02_(000508)_run1/spear-params-mixed.pcs 13 | maxR = 2000 14 | instance_file = smac3-output_2017-07-09_19:11:02_(000508)_run1/instances.txt 15 | minR = 1 16 | deterministic = False 17 | wallclock_limit = 600.0 18 | shared_model = False 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:11:02_(000508)_run1/traj_aclib2.json: -------------------------------------------------------------------------------- 1 | {"cost": 2147483648, "total_cpu_time": null, "cpu_time": 0, "evaluations": 0, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "wallclock_time": 0.00047516822814941406} 2 | {"cost": 1.712, "total_cpu_time": null, "cpu_time": 1.712, "evaluations": 1, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "wallclock_time": 2.3840932846069336} 3 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:11:02_(000508)_run1/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000475, 1, 0.000475, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 1.712000, 1.712000, 2.384093, 1, 0.672093, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:13:48_(875308)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:13:48_(875308)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | wallclock_limit = 600.0 2 | feature_file = smac3-output_2017-07-09_19:13:48_(875308)_run1/features.txt 3 | minR = 1 4 | initial_incumbent = DEFAULT 5 | run_obj = runtime 6 | intensification_percentage = 0.5 7 | tuner-timeout = inf 8 | instance_file = smac3-output_2017-07-09_19:13:48_(875308)_run1/instances.txt 9 | paramfile = smac3-output_2017-07-09_19:13:48_(875308)_run1/spear-params-mixed.pcs 10 | deterministic = False 11 | cutoff_time = 5.0 12 | overall_obj = PAR10 13 | maxR = 2000 14 | abort_on_first_run_crash = True 15 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 16 | shared_model = False 17 | runcount_limit = inf 18 | execdir = . 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:13:48_(875308)_run1/traj_aclib2.json: -------------------------------------------------------------------------------- 1 | {"total_cpu_time": null, "evaluations": 0, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "cpu_time": 0, "cost": 2147483648, "wallclock_time": 0.0006906986236572266} 2 | {"total_cpu_time": null, "evaluations": 1, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "cpu_time": 0.028, "cost": 0.028, "wallclock_time": 0.1437845230102539} 3 | {"total_cpu_time": null, "evaluations": 4, "incumbent": ["sp-clause-activity-inc='1.438204299571892'", "sp-clause-decay='1.0250021685939206'", "sp-clause-del-heur=''1''", "sp-first-restart='179'", "sp-learned-clause-sort-heur=''10''", "sp-learned-clauses-inc='1.2267823655301209'", "sp-learned-size-factor='0.3664954118941111'", "sp-orig-clause-sort-heur=''6''", "sp-phase-dec-heur=''2''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''0''", "sp-restart-inc='1.886725293543589'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.4914110447237645'", "sp-var-dec-heur=''3''", "sp-variable-decay='1.2845886740693842'", "sp-rand-var-dec-scaling='1.0509410541542448'"], "cpu_time": 0.05600000000000001, "cost": 0.01, "wallclock_time": 0.7878899574279785} 4 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:13:48_(875308)_run1/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000691, 1, 0.000691, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 0.028000, 0.028000, 0.143785, 1, 0.115785, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | 0.056000, 0.010000, 0.787890, 2, 0.731890, sp-clause-activity-inc='1.438204299571892', sp-clause-decay='1.0250021685939206', sp-clause-del-heur=''1'', sp-first-restart='179', sp-learned-clause-sort-heur=''10'', sp-learned-clauses-inc='1.2267823655301209', sp-learned-size-factor='0.3664954118941111', sp-orig-clause-sort-heur=''6'', sp-phase-dec-heur=''2'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''0'', sp-restart-inc='1.886725293543589', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.4914110447237645', sp-var-dec-heur=''3'', sp-variable-decay='1.2845886740693842', sp-rand-var-dec-scaling='1.0509410541542448' 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:27:48_(405786)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:27:48_(405786)_run1/runhistory.json: -------------------------------------------------------------------------------- 1 | {"data": [[[1, "instances/qcplin2006.1031.cnf", 1742159543], [50.0, 5.0, {"__enum__": "StatusType.TIMEOUT"}, {"additional_info": "Runsolver returned TIMEOUT; disregard the rest of the output - Runsolver returned TIMEOUT; disregard the rest of the output"}]]], "configs": {"1": {"sp-variable-decay": 1.4, "sp-clause-activity-inc": 1.0, "sp-rand-phase-scaling": 1.0, "sp-var-dec-heur": "0", "sp-max-res-lit-inc": 1.0, "sp-max-res-runs": 4, "sp-clause-decay": 1.4, "sp-res-order-heur": "0", "sp-rand-var-dec-scaling": 1.0, "sp-learned-size-factor": 0.4, "sp-orig-clause-sort-heur": "0", "sp-learned-clause-sort-heur": "0", "sp-first-restart": 100, "sp-resolution": "1", "sp-phase-dec-heur": "5", "sp-rand-var-dec-freq": "0.001", "sp-res-cutoff-lits": 400, "sp-use-pure-literal-rule": "1", "sp-clause-del-heur": "2", "sp-learned-clauses-inc": 1.3, "sp-res-cutoff-cls": 8, "sp-restart-inc": 1.5, "sp-var-activity-inc": 1.0, "sp-rand-phase-dec-freq": "0.001", "sp-update-dec-queue": "1"}}} -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:27:48_(405786)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 2 | run_obj = runtime 3 | abort_on_first_run_crash = True 4 | minR = 1 5 | deterministic = False 6 | cutoff_time = 5.0 7 | maxR = 2000 8 | feature_file = smac3-output_2017-07-09_19:27:48_(405786)_run1/features.txt 9 | paramfile = smac3-output_2017-07-09_19:27:48_(405786)_run1/spear-params-mixed.pcs 10 | instance_file = smac3-output_2017-07-09_19:27:48_(405786)_run1/instances.txt 11 | tuner-timeout = inf 12 | wallclock_limit = 600.0 13 | execdir = . 14 | initial_incumbent = DEFAULT 15 | intensification_percentage = 0.5 16 | runcount_limit = inf 17 | shared_model = False 18 | overall_obj = PAR10 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:27:48_(405786)_run1/traj_aclib2.json: -------------------------------------------------------------------------------- 1 | {"wallclock_time": 0.0006477832794189453, "cpu_time": 0, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "evaluations": 0, "cost": 2147483648, "total_cpu_time": null} 2 | {"wallclock_time": 8.265429973602295, "cpu_time": 5.0, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "evaluations": 1, "cost": 50.0, "total_cpu_time": null} 3 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:27:48_(405786)_run1/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000648, 1, 0.000648, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 5.000000, 50.000000, 8.265430, 1, 3.265430, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:28:59_(360142)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:28:59_(360142)_run1/runhistory.json: -------------------------------------------------------------------------------- 1 | {"configs": {"1": {"sp-orig-clause-sort-heur": "0", "sp-update-dec-queue": "1", "sp-clause-decay": 1.4, "sp-res-cutoff-cls": 8, "sp-max-res-lit-inc": 1.0, "sp-rand-var-dec-freq": "0.001", "sp-res-cutoff-lits": 400, "sp-rand-phase-dec-freq": "0.001", "sp-learned-clause-sort-heur": "0", "sp-first-restart": 100, "sp-learned-clauses-inc": 1.3, "sp-resolution": "1", "sp-phase-dec-heur": "5", "sp-max-res-runs": 4, "sp-res-order-heur": "0", "sp-restart-inc": 1.5, "sp-var-dec-heur": "0", "sp-rand-var-dec-scaling": 1.0, "sp-clause-activity-inc": 1.0, "sp-use-pure-literal-rule": "1", "sp-learned-size-factor": 0.4, "sp-variable-decay": 1.4, "sp-var-activity-inc": 1.0, "sp-clause-del-heur": "2", "sp-rand-phase-scaling": 1.0}, "2": {"sp-orig-clause-sort-heur": "3", "sp-update-dec-queue": "0", "sp-clause-decay": 1.5299573175656085, "sp-res-cutoff-cls": 4, "sp-max-res-lit-inc": 0.9685868620688103, "sp-rand-var-dec-freq": "0.05", "sp-res-cutoff-lits": 273, "sp-rand-phase-dec-freq": "0.05", "sp-learned-clause-sort-heur": "2", "sp-first-restart": 195, "sp-learned-clauses-inc": 1.278136711597621, "sp-resolution": "1", "sp-phase-dec-heur": "0", "sp-max-res-runs": 4, "sp-res-order-heur": "5", "sp-restart-inc": 1.3263139579297563, "sp-var-dec-heur": "1", "sp-rand-var-dec-scaling": 1.051871447280086, "sp-clause-activity-inc": 1.433821478894265, "sp-use-pure-literal-rule": "1", "sp-learned-size-factor": 0.5676731352117155, "sp-variable-decay": 1.5937232592803874, "sp-var-activity-inc": 1.3685186297499672, "sp-clause-del-heur": "0", "sp-rand-phase-scaling": 0.34024009635904806}}, "data": [[[1, "instances/qcplin2006.1031.cnf", 1350898956], [0.428, 0.428, {"__enum__": "StatusType.SUCCESS"}, {"additional_info": "have not found ./target_algorithms/sat/scripts/SAT; could not verify SAT - have not found ./target_algorithms/sat/scripts/SAT; could not verify SAT"}]], [[1, "instances/qcplin2006.10556.cnf", 108519362], [0.004, 0.004, {"__enum__": "StatusType.SUCCESS"}, {}]], [[2, "instances/qcplin2006.1031.cnf", 1350898956], [5.135999999999999, 0.5136, {"__enum__": "StatusType.CAPPED"}, {"additional_info": "Runsolver returned TIMEOUT; disregard the rest of the output - Runsolver returned TIMEOUT; disregard the rest of the output"}]]]} -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:28:59_(360142)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | shared_model = False 2 | run_obj = runtime 3 | wallclock_limit = 600.0 4 | intensification_percentage = 0.5 5 | tuner-timeout = inf 6 | abort_on_first_run_crash = True 7 | feature_file = smac3-output_2017-07-09_19:28:59_(360142)_run1/features.txt 8 | overall_obj = PAR10 9 | minR = 1 10 | paramfile = smac3-output_2017-07-09_19:28:59_(360142)_run1/spear-params-mixed.pcs 11 | cutoff_time = 5.0 12 | deterministic = False 13 | execdir = . 14 | runcount_limit = inf 15 | instance_file = smac3-output_2017-07-09_19:28:59_(360142)_run1/instances.txt 16 | initial_incumbent = DEFAULT 17 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 18 | maxR = 2000 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:28:59_(360142)_run1/traj_aclib2.json: -------------------------------------------------------------------------------- 1 | {"incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "cpu_time": 0, "cost": 2147483648, "wallclock_time": 0.0006475448608398438, "total_cpu_time": null, "evaluations": 0} 2 | {"incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "cpu_time": 0.428, "cost": 0.428, "wallclock_time": 0.5695188045501709, "total_cpu_time": null, "evaluations": 1} 3 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:28:59_(360142)_run1/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000648, 1, 0.000648, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 0.428000, 0.428000, 0.569519, 1, 0.141519, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:29:36_(919514)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:29:36_(919514)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 2 | instance_file = smac3-output_2017-07-09_19:29:36_(919514)_run1/instances.txt 3 | intensification_percentage = 0.5 4 | runcount_limit = inf 5 | paramfile = smac3-output_2017-07-09_19:29:36_(919514)_run1/spear-params-mixed.pcs 6 | tuner-timeout = inf 7 | deterministic = False 8 | shared_model = False 9 | cutoff_time = 5.0 10 | maxR = 2000 11 | execdir = . 12 | overall_obj = PAR10 13 | feature_file = smac3-output_2017-07-09_19:29:36_(919514)_run1/features.txt 14 | run_obj = runtime 15 | minR = 1 16 | initial_incumbent = DEFAULT 17 | abort_on_first_run_crash = True 18 | wallclock_limit = 600.0 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:29:36_(919514)_run1/traj_aclib2.json: -------------------------------------------------------------------------------- 1 | {"evaluations": 0, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "cpu_time": 0, "cost": 2147483648, "wallclock_time": 0.0008013248443603516, "total_cpu_time": null} 2 | {"evaluations": 1, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "cpu_time": 0.028, "cost": 0.028, "wallclock_time": 0.13620924949645996, "total_cpu_time": null} 3 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:29:36_(919514)_run1/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000801, 1, 0.000801, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 0.028000, 0.028000, 0.136209, 1, 0.108209, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:30:45_(144509)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:30:45_(144509)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | maxR = 2000 2 | intensification_percentage = 0.5 3 | shared_model = False 4 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 5 | feature_file = smac3-output_2017-07-09_19:30:45_(144509)_run1/features.txt 6 | minR = 1 7 | tuner-timeout = inf 8 | paramfile = smac3-output_2017-07-09_19:30:45_(144509)_run1/spear-params-mixed.pcs 9 | overall_obj = PAR10 10 | wallclock_limit = 600.0 11 | execdir = . 12 | initial_incumbent = DEFAULT 13 | runcount_limit = inf 14 | run_obj = runtime 15 | abort_on_first_run_crash = True 16 | cutoff_time = 5.0 17 | instance_file = smac3-output_2017-07-09_19:30:45_(144509)_run1/instances.txt 18 | deterministic = False 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:41:46_(142794)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:41:46_(142794)_run1/runhistory.json: -------------------------------------------------------------------------------- 1 | {"data": [[[1, "instances/qcplin2006.10218.cnf", 1037163169], [0.008, 0.008, {"__enum__": "StatusType.SUCCESS"}, {}]], [[1, "instances/qcplin2006.1031.cnf", 1761107806], [3.396, 3.396, {"__enum__": "StatusType.SUCCESS"}, {"additional_info": "have not found ./target_algorithms/sat/scripts/SAT; could not verify SAT - have not found ./target_algorithms/sat/scripts/SAT; could not verify SAT"}]], [[2, "instances/qcplin2006.1031.cnf", 1761107806], [40.751999999999995, 4.0752, {"__enum__": "StatusType.CAPPED"}, {"additional_info": "Runsolver returned TIMEOUT; disregard the rest of the output - Runsolver returned TIMEOUT; disregard the rest of the output"}]]], "configs": {"1": {"sp-var-dec-heur": "0", "sp-restart-inc": 1.5, "sp-clause-decay": 1.4, "sp-rand-phase-scaling": 1.0, "sp-learned-size-factor": 0.4, "sp-learned-clause-sort-heur": "0", "sp-res-cutoff-cls": 8, "sp-res-cutoff-lits": 400, "sp-variable-decay": 1.4, "sp-update-dec-queue": "1", "sp-max-res-runs": 4, "sp-resolution": "1", "sp-rand-var-dec-freq": "0.001", "sp-rand-var-dec-scaling": 1.0, "sp-rand-phase-dec-freq": "0.001", "sp-orig-clause-sort-heur": "0", "sp-use-pure-literal-rule": "1", "sp-max-res-lit-inc": 1.0, "sp-clause-del-heur": "2", "sp-clause-activity-inc": 1.0, "sp-first-restart": 100, "sp-phase-dec-heur": "5", "sp-res-order-heur": "0", "sp-var-activity-inc": 1.0, "sp-learned-clauses-inc": 1.3}, "2": {"sp-var-dec-heur": "16", "sp-resolution": "0", "sp-rand-var-dec-freq": "0.0001", "sp-rand-var-dec-scaling": 0.9310319241769203, "sp-rand-phase-dec-freq": "0.01", "sp-learned-clause-sort-heur": "14", "sp-variable-decay": 1.3742567807477728, "sp-learned-size-factor": 0.24342008399543474, "sp-update-dec-queue": "0", "sp-use-pure-literal-rule": "1", "sp-orig-clause-sort-heur": "16", "sp-clause-del-heur": "1", "sp-clause-activity-inc": 1.0237681586933522, "sp-first-restart": 118, "sp-rand-phase-scaling": 0.951892826199547, "sp-phase-dec-heur": "5", "sp-learned-clauses-inc": 1.1671944192989043, "sp-var-activity-inc": 1.4276827970921664, "sp-restart-inc": 1.4391473700878974, "sp-clause-decay": 1.118879510125204}}} -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:41:46_(142794)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | maxR = 2000 2 | intensification_percentage = 0.5 3 | shared_model = False 4 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 5 | feature_file = smac3-output_2017-07-09_19:41:46_(142794)_run1/features.txt 6 | minR = 1 7 | tuner-timeout = inf 8 | paramfile = smac3-output_2017-07-09_19:41:46_(142794)_run1/spear-params-mixed.pcs 9 | overall_obj = PAR10 10 | wallclock_limit = 600.0 11 | execdir = . 12 | initial_incumbent = DEFAULT 13 | runcount_limit = inf 14 | run_obj = runtime 15 | abort_on_first_run_crash = True 16 | cutoff_time = 5.0 17 | instance_file = smac3-output_2017-07-09_19:41:46_(142794)_run1/instances.txt 18 | deterministic = False 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:41:46_(142794)_run1/traj_aclib2.json: -------------------------------------------------------------------------------- 1 | {"cpu_time": 0, "wallclock_time": 0.0005636215209960938, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "evaluations": 0, "total_cpu_time": null, "cost": 2147483648} 2 | {"cpu_time": 0.008, "wallclock_time": 0.09041523933410645, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "evaluations": 1, "total_cpu_time": null, "cost": 0.008} 3 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:41:46_(142794)_run1/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000564, 1, 0.000564, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 0.008000, 0.008000, 0.090415, 1, 0.082415, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:42:42_(015841)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:42:42_(015841)_run1/runhistory.json: -------------------------------------------------------------------------------- 1 | {"data": [[[1, "instances/qcplin2006.1031.cnf", 1584648408], [5.0, 5.0, {"__enum__": "StatusType.SUCCESS"}, {"additional_info": "have not found ./target_algorithms/sat/scripts/SAT; could not verify SAT - have not found ./target_algorithms/sat/scripts/SAT; could not verify SAT"}]]], "configs": {"1": {"sp-var-dec-heur": "0", "sp-orig-clause-sort-heur": "0", "sp-update-dec-queue": "1", "sp-resolution": "1", "sp-rand-phase-scaling": 1.0, "sp-clause-decay": 1.4, "sp-learned-size-factor": 0.4, "sp-clause-activity-inc": 1.0, "sp-restart-inc": 1.5, "sp-res-cutoff-cls": 8, "sp-res-cutoff-lits": 400, "sp-rand-var-dec-freq": "0.001", "sp-first-restart": 100, "sp-phase-dec-heur": "5", "sp-clause-del-heur": "2", "sp-learned-clauses-inc": 1.3, "sp-variable-decay": 1.4, "sp-res-order-heur": "0", "sp-var-activity-inc": 1.0, "sp-max-res-lit-inc": 1.0, "sp-learned-clause-sort-heur": "0", "sp-max-res-runs": 4, "sp-rand-var-dec-scaling": 1.0, "sp-use-pure-literal-rule": "1", "sp-rand-phase-dec-freq": "0.001"}}} -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:42:42_(015841)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | wallclock_limit = 600.0 2 | minR = 1 3 | feature_file = smac3-output_2017-07-09_19:42:42_(015841)_run1/features.txt 4 | overall_obj = PAR10 5 | intensification_percentage = 0.5 6 | initial_incumbent = DEFAULT 7 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 8 | abort_on_first_run_crash = True 9 | tuner-timeout = inf 10 | cutoff_time = 5.0 11 | maxR = 2000 12 | instance_file = smac3-output_2017-07-09_19:42:42_(015841)_run1/instances.txt 13 | deterministic = False 14 | runcount_limit = inf 15 | paramfile = smac3-output_2017-07-09_19:42:42_(015841)_run1/spear-params-mixed.pcs 16 | run_obj = runtime 17 | shared_model = False 18 | execdir = . 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:42:42_(015841)_run1/traj_aclib2.json: -------------------------------------------------------------------------------- 1 | {"cost": 2147483648, "cpu_time": 0, "total_cpu_time": null, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "evaluations": 0, "wallclock_time": 0.0006558895111083984} 2 | {"cost": 5.0, "cpu_time": 5.0, "total_cpu_time": null, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"], "evaluations": 1, "wallclock_time": 5.861334800720215} 3 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:42:42_(015841)_run1/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000656, 1, 0.000656, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 5.000000, 5.000000, 5.861335, 1, 0.861335, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:46:45_(902193)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:46:45_(902193)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | wallclock_limit = 600.0 2 | minR = 1 3 | feature_file = smac3-output_2017-07-09_19:46:45_(902193)_run1/features.txt 4 | overall_obj = PAR10 5 | intensification_percentage = 0.5 6 | initial_incumbent = DEFAULT 7 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 8 | abort_on_first_run_crash = True 9 | tuner-timeout = inf 10 | cutoff_time = 5.0 11 | maxR = 2000 12 | instance_file = smac3-output_2017-07-09_19:46:45_(902193)_run1/instances.txt 13 | deterministic = False 14 | runcount_limit = inf 15 | paramfile = smac3-output_2017-07-09_19:46:45_(902193)_run1/spear-params-mixed.pcs 16 | run_obj = runtime 17 | shared_model = False 18 | execdir = . 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:46:45_(902193)_run1/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:47:52_(034462)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:47:52_(034462)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | wallclock_limit = 600.0 2 | minR = 1 3 | feature_file = smac3-output_2017-07-09_19:47:52_(034462)_run1/features.txt 4 | overall_obj = PAR10 5 | intensification_percentage = 0.5 6 | initial_incumbent = DEFAULT 7 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 8 | abort_on_first_run_crash = True 9 | tuner-timeout = inf 10 | cutoff_time = 5.0 11 | maxR = 2000 12 | instance_file = smac3-output_2017-07-09_19:47:52_(034462)_run1/instances.txt 13 | deterministic = False 14 | runcount_limit = inf 15 | paramfile = smac3-output_2017-07-09_19:47:52_(034462)_run1/spear-params-mixed.pcs 16 | run_obj = runtime 17 | shared_model = False 18 | execdir = . 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:48:05_(636971)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:48:05_(636971)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | wallclock_limit = 600.0 2 | minR = 1 3 | feature_file = smac3-output_2017-07-09_19:48:05_(636971)_run1/features.txt 4 | overall_obj = PAR10 5 | intensification_percentage = 0.5 6 | initial_incumbent = DEFAULT 7 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 8 | abort_on_first_run_crash = True 9 | tuner-timeout = inf 10 | cutoff_time = 5.0 11 | maxR = 2000 12 | instance_file = smac3-output_2017-07-09_19:48:05_(636971)_run1/instances.txt 13 | deterministic = False 14 | runcount_limit = inf 15 | paramfile = smac3-output_2017-07-09_19:48:05_(636971)_run1/spear-params-mixed.pcs 16 | run_obj = runtime 17 | shared_model = False 18 | execdir = . 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:48:40_(438577)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:48:40_(438577)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | wallclock_limit = 600.0 2 | minR = 1 3 | feature_file = smac3-output_2017-07-09_19:48:40_(438577)_run1/features.txt 4 | overall_obj = PAR10 5 | intensification_percentage = 0.5 6 | initial_incumbent = DEFAULT 7 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 8 | abort_on_first_run_crash = True 9 | tuner-timeout = inf 10 | cutoff_time = 5.0 11 | maxR = 2000 12 | instance_file = smac3-output_2017-07-09_19:48:40_(438577)_run1/instances.txt 13 | deterministic = False 14 | runcount_limit = inf 15 | paramfile = smac3-output_2017-07-09_19:48:40_(438577)_run1/spear-params-mixed.pcs 16 | run_obj = runtime 17 | shared_model = False 18 | execdir = . 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:50:25_(821940)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_19:50:25_(821940)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | maxR = 2000 2 | instance_file = smac3-output_2017-07-09_19:50:25_(821940)_run1/instances.txt 3 | initial_incumbent = DEFAULT 4 | minR = 1 5 | wallclock_limit = 600.0 6 | execdir = . 7 | shared_model = False 8 | overall_obj = PAR10 9 | abort_on_first_run_crash = True 10 | paramfile = smac3-output_2017-07-09_19:50:25_(821940)_run1/spear-params-mixed.pcs 11 | tuner-timeout = inf 12 | deterministic = False 13 | runcount_limit = inf 14 | intensification_percentage = 0.5 15 | cutoff_time = 5.0 16 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 17 | feature_file = smac3-output_2017-07-09_19:50:25_(821940)_run1/features.txt 18 | run_obj = runtime 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_20:00:58_(877335)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_20:00:58_(877335)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | feature_file = smac3-output_2017-07-09_20:00:58_(877335)_run1/features.txt 2 | runcount_limit = inf 3 | cutoff_time = 5.0 4 | minR = 1 5 | deterministic = False 6 | run_obj = runtime 7 | maxR = 2000 8 | initial_incumbent = DEFAULT 9 | wallclock_limit = 600.0 10 | instance_file = smac3-output_2017-07-09_20:00:58_(877335)_run1/instances.txt 11 | intensification_percentage = 0.5 12 | overall_obj = PAR10 13 | paramfile = smac3-output_2017-07-09_20:00:58_(877335)_run1/spear-params-mixed.pcs 14 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 15 | shared_model = False 16 | execdir = . 17 | tuner-timeout = inf 18 | abort_on_first_run_crash = True 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_20:12:36_(354932)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_20:12:36_(354932)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | feature_file = smac3-output_2017-07-09_20:12:36_(354932)_run1/features.txt 2 | runcount_limit = inf 3 | cutoff_time = 5.0 4 | minR = 1 5 | deterministic = False 6 | run_obj = runtime 7 | maxR = 2000 8 | initial_incumbent = DEFAULT 9 | wallclock_limit = 600.0 10 | instance_file = smac3-output_2017-07-09_20:12:36_(354932)_run1/instances.txt 11 | intensification_percentage = 0.5 12 | overall_obj = PAR10 13 | paramfile = smac3-output_2017-07-09_20:12:36_(354932)_run1/spear-params-mixed.pcs 14 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 15 | shared_model = False 16 | execdir = . 17 | tuner-timeout = inf 18 | abort_on_first_run_crash = True 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_20:14:19_(345166)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_20:14:19_(345166)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | feature_file = smac3-output_2017-07-09_20:14:19_(345166)_run1/features.txt 2 | runcount_limit = inf 3 | cutoff_time = 5.0 4 | minR = 1 5 | deterministic = False 6 | run_obj = runtime 7 | maxR = 2000 8 | initial_incumbent = DEFAULT 9 | wallclock_limit = 600.0 10 | instance_file = smac3-output_2017-07-09_20:14:19_(345166)_run1/instances.txt 11 | intensification_percentage = 0.5 12 | overall_obj = PAR10 13 | paramfile = smac3-output_2017-07-09_20:14:19_(345166)_run1/spear-params-mixed.pcs 14 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 15 | shared_model = False 16 | execdir = . 17 | tuner-timeout = inf 18 | abort_on_first_run_crash = True 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_20:14:37_(316797)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_20:14:37_(316797)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | feature_file = smac3-output_2017-07-09_20:14:37_(316797)_run1/features.txt 2 | runcount_limit = inf 3 | cutoff_time = 5.0 4 | minR = 1 5 | deterministic = False 6 | run_obj = runtime 7 | maxR = 2000 8 | initial_incumbent = DEFAULT 9 | wallclock_limit = 600.0 10 | instance_file = smac3-output_2017-07-09_20:14:37_(316797)_run1/instances.txt 11 | intensification_percentage = 0.5 12 | overall_obj = PAR10 13 | paramfile = smac3-output_2017-07-09_20:14:37_(316797)_run1/spear-params-mixed.pcs 14 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 15 | shared_model = False 16 | execdir = . 17 | tuner-timeout = inf 18 | abort_on_first_run_crash = True 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_20:15:27_(405896)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_20:15:27_(405896)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | feature_file = smac3-output_2017-07-09_20:15:27_(405896)_run1/features.txt 2 | runcount_limit = inf 3 | cutoff_time = 5.0 4 | minR = 1 5 | deterministic = False 6 | run_obj = runtime 7 | maxR = 2000 8 | initial_incumbent = DEFAULT 9 | wallclock_limit = 600.0 10 | instance_file = smac3-output_2017-07-09_20:15:27_(405896)_run1/instances.txt 11 | intensification_percentage = 0.5 12 | overall_obj = PAR10 13 | paramfile = smac3-output_2017-07-09_20:15:27_(405896)_run1/spear-params-mixed.pcs 14 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 15 | shared_model = False 16 | execdir = . 17 | tuner-timeout = inf 18 | abort_on_first_run_crash = True 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_20:15:53_(374726)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-07-09_20:15:53_(374726)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | feature_file = smac3-output_2017-07-09_20:15:53_(374726)_run1/features.txt 2 | runcount_limit = inf 3 | cutoff_time = 5.0 4 | minR = 1 5 | deterministic = False 6 | run_obj = runtime 7 | maxR = 2000 8 | initial_incumbent = DEFAULT 9 | wallclock_limit = 600.0 10 | instance_file = smac3-output_2017-07-09_20:15:53_(374726)_run1/instances.txt 11 | intensification_percentage = 0.5 12 | overall_obj = PAR10 13 | paramfile = smac3-output_2017-07-09_20:15:53_(374726)_run1/spear-params-mixed.pcs 14 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 15 | shared_model = False 16 | execdir = . 17 | tuner-timeout = inf 18 | abort_on_first_run_crash = True 19 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-08-22_14:43:51_(597719)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-08-22_14:43:51_(597719)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | abort_on_first_run_crash = True 2 | always_race_default = False 3 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 4 | execdir = . 5 | deterministic = False 6 | intensification_percentage = 0.5 7 | paramfile = smac3-output_2017-08-22_14:43:51_(597719)_run1/spear-params-mixed.pcs 8 | run_obj = runtime 9 | overall_obj = PAR10 10 | cost_for_crash = 2147483647.0 11 | cutoff_time = 5.0 12 | tuner-timeout = inf 13 | wallclock_limit = 30.0 14 | runcount_limit = inf 15 | minR = 1 16 | maxR = 2000 17 | instance_file = smac3-output_2017-08-22_14:43:51_(597719)_run1/instances.txt 18 | feature_file = smac3-output_2017-08-22_14:43:51_(597719)_run1/features.txt 19 | shared_model = False 20 | initial_incumbent = DEFAULT 21 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-08-22_14:43:51_(597719)_run1/traj_aclib2.json: -------------------------------------------------------------------------------- 1 | {"cpu_time": 0, "total_cpu_time": null, "wallclock_time": 0.0004532337188720703, "evaluations": 0, "cost": 2147483648, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"]} 2 | {"cpu_time": 0.016, "total_cpu_time": null, "wallclock_time": 0.5273690223693848, "evaluations": 1, "cost": 0.016, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"]} 3 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-08-22_14:43:51_(597719)_run1/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000453, 1, 0.000453, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 0.016000, 0.016000, 0.527369, 1, 0.511369, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-08-22_14:45:14_(107939)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-08-22_14:45:14_(107939)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | abort_on_first_run_crash = True 2 | always_race_default = False 3 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 4 | execdir = . 5 | deterministic = False 6 | intensification_percentage = 0.5 7 | paramfile = smac3-output_2017-08-22_14:45:14_(107939)_run1/spear-params-mixed.pcs 8 | run_obj = runtime 9 | overall_obj = PAR10 10 | cost_for_crash = 2147483647.0 11 | cutoff_time = 5.0 12 | tuner-timeout = inf 13 | wallclock_limit = 30.0 14 | runcount_limit = inf 15 | minR = 1 16 | maxR = 2000 17 | instance_file = smac3-output_2017-08-22_14:45:14_(107939)_run1/instances.txt 18 | feature_file = smac3-output_2017-08-22_14:45:14_(107939)_run1/features.txt 19 | shared_model = False 20 | initial_incumbent = DEFAULT 21 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-08-22_14:45:14_(107939)_run1/traj_aclib2.json: -------------------------------------------------------------------------------- 1 | {"cpu_time": 0, "total_cpu_time": null, "wallclock_time": 0.00054931640625, "evaluations": 0, "cost": 2147483648, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"]} 2 | {"cpu_time": 0.004, "total_cpu_time": null, "wallclock_time": 0.17297005653381348, "evaluations": 1, "cost": 0.004, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"]} 3 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-08-22_14:45:14_(107939)_run1/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000549, 1, 0.000549, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 0.004000, 0.004000, 0.172970, 1, 0.168970, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-08-22_14:45:45_(772402)_run1/instances.txt: -------------------------------------------------------------------------------- 1 | instances/qcplin2006.1031.cnf 2 | instances/qcplin2006.10641.cnf 3 | instances/qcplin2006.10218.cnf 4 | instances/qcplin2006.10556.cnf 5 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-08-22_14:45:45_(772402)_run1/scenario.txt: -------------------------------------------------------------------------------- 1 | abort_on_first_run_crash = True 2 | always_race_default = False 3 | algo = python -u ./target_algorithm/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithm/spear-python/spearCSSCWrapper.py 4 | execdir = . 5 | deterministic = False 6 | intensification_percentage = 0.5 7 | paramfile = smac3-output_2017-08-22_14:45:45_(772402)_run1/spear-params-mixed.pcs 8 | run_obj = runtime 9 | overall_obj = PAR10 10 | cost_for_crash = 2147483647.0 11 | cutoff_time = 5.0 12 | tuner-timeout = inf 13 | wallclock_limit = 30.0 14 | runcount_limit = inf 15 | minR = 1 16 | maxR = 2000 17 | instance_file = smac3-output_2017-08-22_14:45:45_(772402)_run1/instances.txt 18 | feature_file = smac3-output_2017-08-22_14:45:45_(772402)_run1/features.txt 19 | shared_model = False 20 | initial_incumbent = DEFAULT 21 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-08-22_14:45:45_(772402)_run1/traj_aclib2.json: -------------------------------------------------------------------------------- 1 | {"cpu_time": 0, "total_cpu_time": null, "wallclock_time": 0.0005507469177246094, "evaluations": 0, "cost": 2147483648, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"]} 2 | {"cpu_time": 0.004, "total_cpu_time": null, "wallclock_time": 0.24385428428649902, "evaluations": 1, "cost": 0.004, "incumbent": ["sp-clause-activity-inc='1.0'", "sp-clause-decay='1.4'", "sp-clause-del-heur=''2''", "sp-first-restart='100'", "sp-learned-clause-sort-heur=''0''", "sp-learned-clauses-inc='1.3'", "sp-learned-size-factor='0.4'", "sp-orig-clause-sort-heur=''0''", "sp-phase-dec-heur=''5''", "sp-rand-var-dec-freq=''0.001''", "sp-resolution=''1''", "sp-restart-inc='1.5'", "sp-update-dec-queue=''1''", "sp-use-pure-literal-rule=''1''", "sp-var-activity-inc='1.0'", "sp-var-dec-heur=''0''", "sp-variable-decay='1.4'", "sp-max-res-lit-inc='1.0'", "sp-max-res-runs='4'", "sp-rand-phase-dec-freq=''0.001''", "sp-rand-var-dec-scaling='1.0'", "sp-res-cutoff-cls='8'", "sp-res-cutoff-lits='400'", "sp-res-order-heur=''0''", "sp-rand-phase-scaling='1.0'"]} 3 | -------------------------------------------------------------------------------- /examples/spear_qcp/smac3-output_2017-08-22_14:45:45_(772402)_run1/traj_old.csv: -------------------------------------------------------------------------------- 1 | "CPU Time Used","Estimated Training Performance","Wallclock Time","Incumbent ID","Automatic Configurator (CPU) Time","Configuration..." 2 | 0.000000, 2147483648.000000, 0.000551, 1, 0.000551, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 3 | 0.004000, 0.004000, 0.243854, 1, 0.239854, sp-clause-activity-inc='1.0', sp-clause-decay='1.4', sp-clause-del-heur=''2'', sp-first-restart='100', sp-learned-clause-sort-heur=''0'', sp-learned-clauses-inc='1.3', sp-learned-size-factor='0.4', sp-orig-clause-sort-heur=''0'', sp-phase-dec-heur=''5'', sp-rand-var-dec-freq=''0.001'', sp-resolution=''1'', sp-restart-inc='1.5', sp-update-dec-queue=''1'', sp-use-pure-literal-rule=''1'', sp-var-activity-inc='1.0', sp-var-dec-heur=''0'', sp-variable-decay='1.4', sp-max-res-lit-inc='1.0', sp-max-res-runs='4', sp-rand-phase-dec-freq=''0.001'', sp-rand-var-dec-scaling='1.0', sp-res-cutoff-cls='8', sp-res-cutoff-lits='400', sp-res-order-heur=''0'', sp-rand-phase-scaling='1.0' 4 | -------------------------------------------------------------------------------- /examples/spear_qcp/target_algorithm/runsolver/runsolver: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/automl/ParameterImportance/f4950593ee627093fc30c0847acc5d8bf63ef84b/examples/spear_qcp/target_algorithm/runsolver/runsolver -------------------------------------------------------------------------------- /examples/spear_qcp/target_algorithm/runsolver/runsolver-3.3.4-patched/src/CreateSyscallsNames.cc: -------------------------------------------------------------------------------- 1 | /* 2 | * Copyright (C) 2010 Olivier ROUSSEL 3 | * 4 | * This file is part of runsolver. 5 | * 6 | * runsolver is free software: you can redistribute it and/or modify 7 | * it under the terms of the GNU General Public License as published by 8 | * the Free Software Foundation, either version 3 of the License, or 9 | * (at your option) any later version. 10 | * 11 | * runsolver is distributed in the hope that it will be useful, 12 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 13 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14 | * GNU General Public License for more details. 15 | * 16 | * You should have received a copy of the GNU General Public License 17 | * along with runsolver. If not, see . 18 | */ 19 | 20 | 21 | 22 | #include 23 | #include 24 | #include 25 | 26 | #include 27 | 28 | using namespace std; 29 | 30 | map list; 31 | 32 | int main() 33 | { 34 | #include "tmpSyscallList.cc" 35 | 36 | int max=0; 37 | map::iterator it; 38 | 39 | for(it=list.begin();it!=list.end();++it) 40 | if ((*it).first>max) 41 | max=(*it).first; 42 | 43 | ofstream Hfile("SyscallNames.hh"); 44 | 45 | Hfile << "#ifndef _SyscallNames_hh_" << endl 46 | << "#define _SyscallNames_hh_" << endl 47 | << endl; 48 | 49 | Hfile << "const int nbSyscallNames=" << max+1 << ";" << endl; 50 | 51 | Hfile << endl; 52 | 53 | Hfile << "const char *getSyscallName(int n);" << endl; 54 | 55 | Hfile << endl; 56 | 57 | Hfile << "#endif" << endl; 58 | 59 | Hfile.close(); 60 | 61 | ofstream CCfile("SyscallNames.cc"); 62 | 63 | CCfile << "#include \"SyscallNames.hh\"\n\n"; 64 | 65 | CCfile << "const char *syscallNames[nbSyscallNames]={\n"; 66 | 67 | for(int i=0;i<=max;++i) 68 | { 69 | string name; 70 | it=list.find(i); 71 | if (it==list.end()) 72 | name="???"; 73 | else 74 | name=(*it).second; 75 | 76 | CCfile << "\t\"" << name << "\""; 77 | if (i!=max) 78 | CCfile << ","; 79 | 80 | CCfile << "\n"; 81 | } 82 | 83 | CCfile << "};\n\n"; 84 | 85 | CCfile << "const char *getSyscallName(int n)\n" 86 | << "{\n" 87 | << " if (n>0 && n<=nbSyscallNames)\n" 88 | << " return syscallNames[n];\n" 89 | << " else\n" 90 | << " return \"???\";\n" 91 | << "}\n"; 92 | 93 | CCfile.close(); 94 | } 95 | -------------------------------------------------------------------------------- /examples/spear_qcp/target_algorithm/runsolver/runsolver-3.3.4-patched/src/Makefile: -------------------------------------------------------------------------------- 1 | VERSION=3.3.4 2 | #SVNVERSION=`svnversion .` 3 | SVNVERSION=$(word 2,$$Rev: 1649 $$) 4 | #DEBUG=-g 5 | DEBUG=-O3 6 | 7 | STATIC= 8 | #STATIC=-static 9 | 10 | WSIZE:=$(shell if [ `uname -m` = 'x86_64' ] ; then echo 64; else echo 32; fi ) 11 | SYSCALLINCFILE:=$(shell for f in /usr/include/asm/unistd_$(WSIZE).h /usr/include/`uname -m`-linux-gnu/asm/unistd_$(WSIZE).h /usr/include/i386-linux-gnu/asm/unistd_$(WSIZE).h; do if [ -e $$f ] ; then echo $$f ; break ; fi ; done ) 12 | 13 | CFLAGS=-Dtmpdebug -Wall -DVERSION=\"$(VERSION)\" -DSVNVERSION=\"$(SVNVERSION)\" -DWSIZE=$(WSIZE) 14 | 15 | SRC=runsolver.cc SignalNames.cc SyscallNames.cc 16 | OBJ=$(SRC:.cc=.o) 17 | 18 | all:runsolver 19 | 20 | install: runsolver 21 | cp runsolver $(INSTROOT)/usr/bin 22 | 23 | include $(SRC:.cc=.d) 24 | 25 | .cc.o: 26 | g++ $(CFLAGS) $(DEBUG) -c $*.cc 27 | 28 | runsolver: $(OBJ) 29 | g++ $(STATIC) $(DEBUG) -o $@ $^ -lpthread 30 | 31 | testlimit: testlimit.cc 32 | g++ -o testlimit testlimit.cc 33 | 34 | testthread: testthread.cc 35 | g++ -o testthread testthread.cc -lpthread 36 | 37 | SyscallNames.cc SyscallNames.hh: CreateSyscallsNames.cc $(SYSCALLINCFILE) 38 | grep '#define[[:space:]]*__NR' $(SYSCALLINCFILE) | grep -v '^/' | awk '{print $$2}' | sed -e 's/^__NR_//' | awk '{printf "list[__NR_%s]=\"%s\";\n",$$1,$$1}' > tmpSyscallList.cc 39 | g++ -o CreateSyscallsNames CreateSyscallsNames.cc 40 | ./CreateSyscallsNames 41 | rm tmpSyscallList.cc CreateSyscallsNames 42 | 43 | .PHONY: clean realclean archive 44 | 45 | tar: /tmp/runsolver-$(VERSION).tar.bz2 46 | archive: /tmp/runsolver-$(VERSION).tar.bz2 47 | 48 | /tmp/runsolver-$(VERSION).tar.bz2: realclean $(SRC) Makefile 49 | sed -i -e 's/^Version:.*/Version:\t'$(VERSION)'/' runsolver.spec 50 | tar cvjf /tmp/runsolver-$(VERSION).tar.bz2 -C ../.. runsolver/src --exclude .svn 51 | 52 | rpm: /tmp/runsolver-$(VERSION).tar.bz2 53 | rpmbuild -tb /tmp/runsolver-$(VERSION).tar.bz2 54 | 55 | srpm: /tmp/runsolver-$(VERSION).tar.bz2 56 | rpmbuild -ts /tmp/runsolver-$(VERSION).tar.bz2 57 | 58 | clean: 59 | rm -f runsolver $(OBJ) *.class testlimit testtimestamper vlineSplitter testProcessTree runtestlimit testthread 60 | 61 | realclean: clean 62 | rm -f *.d *~ SyscallNames.* 63 | 64 | 65 | %.d: %.cc 66 | $(SHELL) -ec '$(CC) -MM $(CFLAGS) $< \ 67 | | sed -e '\''s/$*\.o[ :]*/$@ &/g'\'' > $@' 68 | 69 | 70 | -------------------------------------------------------------------------------- /examples/spear_qcp/target_algorithm/runsolver/runsolver-3.3.4-patched/src/Makefile.back: -------------------------------------------------------------------------------- 1 | VERSION=3.3.4 2 | #SVNVERSION=`svnversion .` 3 | SVNVERSION=$(word 2,$$Rev: 1649 $$) 4 | #DEBUG=-g 5 | DEBUG=-O3 6 | 7 | STATIC= 8 | #STATIC=-static 9 | 10 | WSIZE:=$(shell if [ `uname -m` = 'x86_64' ] ; then echo 64; else echo 32; fi ) 11 | SYSCALLINCFILE:=$(shell for f in /usr/include/asm/unistd_$(WSIZE).h /usr/include/`uname -m`-linux-gnu/asm/unistd_$(WSIZE).h ; do if [ -e $$f ] ; then echo $$f ; break ; fi ; done ) 12 | 13 | CFLAGS=-Dtmpdebug -Wall -DVERSION=\"$(VERSION)\" -DSVNVERSION=\"$(SVNVERSION)\" -DWSIZE=$(WSIZE) 14 | 15 | SRC=runsolver.cc SignalNames.cc SyscallNames.cc 16 | OBJ=$(SRC:.cc=.o) 17 | 18 | all:runsolver 19 | 20 | install: runsolver 21 | cp runsolver $(INSTROOT)/usr/bin 22 | 23 | include $(SRC:.cc=.d) 24 | 25 | .cc.o: 26 | g++ $(CFLAGS) $(DEBUG) -c $*.cc 27 | 28 | runsolver: $(OBJ) 29 | g++ $(STATIC) $(DEBUG) -o $@ $^ -lpthread 30 | 31 | testlimit: testlimit.cc 32 | g++ -o testlimit testlimit.cc 33 | 34 | testthread: testthread.cc 35 | g++ -o testthread testthread.cc -lpthread 36 | 37 | SyscallNames.cc SyscallNames.hh: CreateSyscallsNames.cc $(SYSCALLINCFILE) 38 | grep '#define[[:space:]]*__NR' $(SYSCALLINCFILE) | grep -v '^/' | awk '{print $$2}' | sed -e 's/^__NR_//' | awk '{printf "list[__NR_%s]=\"%s\";\n",$$1,$$1}' > tmpSyscallList.cc 39 | g++ -o CreateSyscallsNames CreateSyscallsNames.cc 40 | ./CreateSyscallsNames 41 | rm tmpSyscallList.cc CreateSyscallsNames 42 | 43 | .PHONY: clean realclean archive 44 | 45 | tar: /tmp/runsolver-$(VERSION).tar.bz2 46 | archive: /tmp/runsolver-$(VERSION).tar.bz2 47 | 48 | /tmp/runsolver-$(VERSION).tar.bz2: realclean $(SRC) Makefile 49 | sed -i -e 's/^Version:.*/Version:\t'$(VERSION)'/' runsolver.spec 50 | tar cvjf /tmp/runsolver-$(VERSION).tar.bz2 -C ../.. runsolver/src --exclude .svn 51 | 52 | rpm: /tmp/runsolver-$(VERSION).tar.bz2 53 | rpmbuild -tb /tmp/runsolver-$(VERSION).tar.bz2 54 | 55 | srpm: /tmp/runsolver-$(VERSION).tar.bz2 56 | rpmbuild -ts /tmp/runsolver-$(VERSION).tar.bz2 57 | 58 | clean: 59 | rm -f runsolver $(OBJ) *.class testlimit testtimestamper vlineSplitter testProcessTree runtestlimit testthread 60 | 61 | realclean: clean 62 | rm -f *.d *~ SyscallNames.* 63 | 64 | 65 | %.d: %.cc 66 | $(SHELL) -ec '$(CC) -MM $(CFLAGS) $< \ 67 | | sed -e '\''s/$*\.o[ :]*/$@ &/g'\'' > $@' 68 | 69 | 70 | -------------------------------------------------------------------------------- /examples/spear_qcp/target_algorithm/runsolver/runsolver-3.3.4-patched/src/ProcessList.hh: -------------------------------------------------------------------------------- 1 | /* 2 | * Copyright (C) 2010 Olivier ROUSSEL 3 | * 4 | * This file is part of runsolver. 5 | * 6 | * runsolver is free software: you can redistribute it and/or modify 7 | * it under the terms of the GNU General Public License as published by 8 | * the Free Software Foundation, either version 3 of the License, or 9 | * (at your option) any later version. 10 | * 11 | * runsolver is distributed in the hope that it will be useful, 12 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 13 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14 | * GNU General Public License for more details. 15 | * 16 | * You should have received a copy of the GNU General Public License 17 | * along with runsolver. If not, see . 18 | */ 19 | 20 | 21 | 22 | #ifndef _ProcessList_hh_ 23 | #define _ProcessList_hh_ 24 | 25 | #include 26 | 27 | using namespace std; 28 | 29 | /** 30 | * a class to store a list of process IDs 31 | * 32 | * ??? should be optimized !!! 33 | */ 34 | class ProcessList 35 | { 36 | private: 37 | set s; 38 | public: 39 | typedef set::iterator iterator; 40 | 41 | inline void add(pid_t pid) 42 | { 43 | s.insert(pid); 44 | } 45 | 46 | inline void remove(pid_t pid) 47 | { 48 | s.erase(pid); 49 | } 50 | 51 | inline bool contains(pid_t pid) const 52 | { 53 | return s.find(pid)!=s.end(); 54 | } 55 | 56 | iterator begin() const {return s.begin();} 57 | iterator end() const {return s.end();} 58 | }; 59 | 60 | 61 | #endif 62 | 63 | // Local Variables: 64 | // mode: C++ 65 | // End: 66 | 67 | -------------------------------------------------------------------------------- /examples/spear_qcp/target_algorithm/runsolver/runsolver-3.3.4-patched/src/README: -------------------------------------------------------------------------------- 1 | runsolver Copyright (C) 2010 Olivier ROUSSEL (roussel@cril.univ-artois.fr) 2 | 3 | runsolver is a program meant to control the ressources used by a 4 | solver. Basically, it can be seen as the integration of the time and 5 | ulimit commands, but it has several other features. It is able to 6 | timestamp each line output by a program, is able to handle correctly 7 | multithreads or multiprocesses programs (don't loose the time of the 8 | child even when the parent doesn't call wait()), is able to enforce 9 | strict limits on the memory usage, logs information on each process 10 | generated by the solver and is able to limit the size of the solver 11 | output. 12 | 13 | This program is especially useful when you want to run a program and 14 | strictly control the ressources it uses. 15 | 16 | This program was first used in the competitions of Pseudo-Boolean 17 | solvers (2005) and was later used in the SAT and CSP competitions. 18 | 19 | For now, the code is Linux specific. 20 | 21 | 22 | runsolver is free software, distributed under the terms of the [GNU] General 23 | Public License as published by the Free Software Foundation, 24 | version 3 of the License (or any later version). For more information, 25 | see the file LICENSE-GPL-3.0.txt. 26 | -------------------------------------------------------------------------------- /examples/spear_qcp/target_algorithm/runsolver/runsolver-3.3.4-patched/src/SignalNames.cc: -------------------------------------------------------------------------------- 1 | /* 2 | * Copyright (C) 2010 Olivier ROUSSEL 3 | * 4 | * This file is part of runsolver. 5 | * 6 | * runsolver is free software: you can redistribute it and/or modify 7 | * it under the terms of the GNU General Public License as published by 8 | * the Free Software Foundation, either version 3 of the License, or 9 | * (at your option) any later version. 10 | * 11 | * runsolver is distributed in the hope that it will be useful, 12 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 13 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14 | * GNU General Public License for more details. 15 | * 16 | * You should have received a copy of the GNU General Public License 17 | * along with runsolver. If not, see . 18 | */ 19 | 20 | 21 | 22 | #include "SignalNames.hh" 23 | 24 | const char *signalNames[]={ 25 | "???", 26 | "SIGHUP", 27 | "SIGINT", 28 | "SIGQUIT", 29 | "SIGILL", 30 | "SIGTRAP", 31 | "SIGABRT", 32 | "SIGBUS", 33 | "SIGFPE", 34 | "SIGKILL", 35 | "SIGUSR1", 36 | "SIGSEGV", 37 | "SIGUSR2", 38 | "SIGPIPE", 39 | "SIGALRM", 40 | "SIGTERM", 41 | "SIGSTKFLT", 42 | "SIGCHLD", 43 | "SIGCONT", 44 | "SIGSTOP", 45 | "SIGTSTP", 46 | "SIGTTIN", 47 | "SIGTTOU", 48 | "SIGURG", 49 | "SIGXCPU", 50 | "SIGXFSZ", 51 | "SIGVTALRM", 52 | "SIGPROF", 53 | "SIGWINCH", 54 | "SIGIO", 55 | "SIGPWR", 56 | "SIGSYS"}; 57 | 58 | 59 | const char *getSignalName(int sig) 60 | { 61 | if (sig>0 && sig<=static_cast(sizeof(signalNames)/sizeof(char *))) 62 | return signalNames[sig]; 63 | else 64 | return "???"; 65 | } 66 | -------------------------------------------------------------------------------- /examples/spear_qcp/target_algorithm/runsolver/runsolver-3.3.4-patched/src/SignalNames.d: -------------------------------------------------------------------------------- 1 | SignalNames.d SignalNames.o: SignalNames.cc SignalNames.hh 2 | -------------------------------------------------------------------------------- /examples/spear_qcp/target_algorithm/runsolver/runsolver-3.3.4-patched/src/SignalNames.hh: -------------------------------------------------------------------------------- 1 | /* 2 | * Copyright (C) 2010 Olivier ROUSSEL 3 | * 4 | * This file is part of runsolver. 5 | * 6 | * runsolver is free software: you can redistribute it and/or modify 7 | * it under the terms of the GNU General Public License as published by 8 | * the Free Software Foundation, either version 3 of the License, or 9 | * (at your option) any later version. 10 | * 11 | * runsolver is distributed in the hope that it will be useful, 12 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 13 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14 | * GNU General Public License for more details. 15 | * 16 | * You should have received a copy of the GNU General Public License 17 | * along with runsolver. If not, see . 18 | */ 19 | 20 | 21 | 22 | #ifndef _SignalNames_hh_ 23 | #define _SignalNames_hh_ 24 | 25 | const char *getSignalName(int sig); 26 | 27 | #endif 28 | -------------------------------------------------------------------------------- /examples/spear_qcp/target_algorithm/runsolver/runsolver-3.3.4-patched/src/SignalNames.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/automl/ParameterImportance/f4950593ee627093fc30c0847acc5d8bf63ef84b/examples/spear_qcp/target_algorithm/runsolver/runsolver-3.3.4-patched/src/SignalNames.o -------------------------------------------------------------------------------- /examples/spear_qcp/target_algorithm/runsolver/runsolver-3.3.4-patched/src/SyscallNames.d: -------------------------------------------------------------------------------- 1 | SyscallNames.d SyscallNames.o: SyscallNames.cc SyscallNames.hh 2 | -------------------------------------------------------------------------------- /examples/spear_qcp/target_algorithm/runsolver/runsolver-3.3.4-patched/src/SyscallNames.hh: -------------------------------------------------------------------------------- 1 | #ifndef _SyscallNames_hh_ 2 | #define _SyscallNames_hh_ 3 | 4 | const int nbSyscallNames=314; 5 | 6 | const char *getSyscallName(int n); 7 | 8 | #endif 9 | -------------------------------------------------------------------------------- /examples/spear_qcp/target_algorithm/runsolver/runsolver-3.3.4-patched/src/SyscallNames.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/automl/ParameterImportance/f4950593ee627093fc30c0847acc5d8bf63ef84b/examples/spear_qcp/target_algorithm/runsolver/runsolver-3.3.4-patched/src/SyscallNames.o -------------------------------------------------------------------------------- /examples/spear_qcp/target_algorithm/runsolver/runsolver-3.3.4-patched/src/runsolver: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/automl/ParameterImportance/f4950593ee627093fc30c0847acc5d8bf63ef84b/examples/spear_qcp/target_algorithm/runsolver/runsolver-3.3.4-patched/src/runsolver -------------------------------------------------------------------------------- /examples/spear_qcp/target_algorithm/runsolver/runsolver-3.3.4-patched/src/runsolver.d: -------------------------------------------------------------------------------- 1 | runsolver.d runsolver.o: runsolver.cc Cores.hh SignalNames.hh ProcessList.hh \ 2 | CircularBufferFilter.hh TimeStamper.hh ProcessTree.hh ProcessData.hh \ 3 | ProcessHistory.hh aeatk.c 4 | -------------------------------------------------------------------------------- /examples/spear_qcp/target_algorithm/runsolver/runsolver-3.3.4-patched/src/runsolver.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/automl/ParameterImportance/f4950593ee627093fc30c0847acc5d8bf63ef84b/examples/spear_qcp/target_algorithm/runsolver/runsolver-3.3.4-patched/src/runsolver.o -------------------------------------------------------------------------------- /examples/spear_qcp/target_algorithm/runsolver/runsolver-3.3.4-patched/src/runsolver.spec: -------------------------------------------------------------------------------- 1 | Name: runsolver 2 | Summary: run a solver and tightly control the ressources it uses 3 | Version: 3.3.4 4 | Release: 1 5 | License: GPLv3 6 | Group: Applications/System 7 | Source0: %{name}-%{version}.tar.bz2 8 | BuildRoot: %{_tmppath}/%{name}-root 9 | URL: http://www.cril.univ-artois.fr/~roussel/runsolver 10 | 11 | %description 12 | 13 | runsolver is a program meant to control the ressources used by a 14 | solver. Basically, it can be seen as the integration of the time and 15 | ulimit commands, but it has several other features. It is able to 16 | timestamp each line output by a program, is able to handle correctly 17 | multithreads or multiprocesses programs (don't loose the time of the 18 | child even when the parent doesn't call wait()), is able to enforce 19 | strict limits on the memory usage, logs information on each process 20 | generated by the solver and is able to limit the size of the solver 21 | output. 22 | 23 | This program is especially useful when you want to run a program and 24 | strictly control the ressources it uses. 25 | 26 | This program was first used in the competitions of Pseudo-Boolean 27 | solvers (2005) and was later used in the SAT and CSP competitions. 28 | 29 | For now, the code is Linux specific. 30 | 31 | %prep 32 | %setup -q -n runsolver 33 | 34 | %build 35 | cd src 36 | make 37 | 38 | %install 39 | cd src 40 | rm -rf $RPM_BUILD_ROOT 41 | mkdir -p $RPM_BUILD_ROOT/usr/bin 42 | make INSTROOT=$RPM_BUILD_ROOT install 43 | 44 | %clean 45 | rm -rf $RPM_BUILD_ROOT 46 | 47 | %files 48 | %defattr(-,root,root) 49 | /usr/bin/runsolver 50 | 51 | %changelog 52 | * Fri Nov 8 2009 roussel 53 | - Initial build. 54 | -------------------------------------------------------------------------------- /examples/spear_qcp/target_algorithm/scripts/SAT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/automl/ParameterImportance/f4950593ee627093fc30c0847acc5d8bf63ef84b/examples/spear_qcp/target_algorithm/scripts/SAT -------------------------------------------------------------------------------- /examples/spear_qcp/target_algorithm/scripts/genericWrapper.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/automl/ParameterImportance/f4950593ee627093fc30c0847acc5d8bf63ef84b/examples/spear_qcp/target_algorithm/scripts/genericWrapper.pyc -------------------------------------------------------------------------------- /examples/spear_qcp/target_algorithm/spear-python/README.md: -------------------------------------------------------------------------------- 1 | Author: Domagoj Babic, babic.domagoj@gmail.com 2 | Please contact the author concerning licensing information. 3 | 4 | Reference: 5 | @misc{BabHut07, 6 | author = {Domagoj Babi\'c and Frank Hutter}, 7 | title = {SPEAR Theorem Prover}, 8 | note = {Solver description, {SAT} competition}, 9 | year={2007} 10 | } 11 | -------------------------------------------------------------------------------- /examples/spear_qcp/target_algorithm/spear-python/spearCSSCWrapper.py: -------------------------------------------------------------------------------- 1 | def get_command_line_cmd(runargs, config): 2 | ''' 3 | @contact: lindauer@informatik.uni-freiburg.de, fh@informatik.uni-freiburg.de 4 | Returns the command line call string to execute the target algorithm (here: Spear). 5 | Args: 6 | runargs: a map of several optional arguments for the execution of the target algorithm. 7 | { 8 | "instance": , 9 | "specifics" : , 10 | "cutoff" : , 11 | "runlength" : , 12 | "seed" : 13 | } 14 | config: a mapping from parameter name to parameter value 15 | Returns: 16 | A command call list to execute the target algorithm. 17 | ''' 18 | solver_binary = "target_algorithm/spear-python/Spear-32_1.2.1" 19 | cmd = "%s --seed %d --model-stdout --dimacs %s" %(solver_binary, runargs["seed"], runargs["instance"]) 20 | for name, value in config.items(): 21 | cmd += " -%s %s" %(name, value) 22 | 23 | return cmd 24 | -------------------------------------------------------------------------------- /examples/spear_qcp/target_algorithm/spear-python/spearCSSCWrapper.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/automl/ParameterImportance/f4950593ee627093fc30c0847acc5d8bf63ef84b/examples/spear_qcp/target_algorithm/spear-python/spearCSSCWrapper.pyc -------------------------------------------------------------------------------- /pimp/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/automl/ParameterImportance/f4950593ee627093fc30c0847acc5d8bf63ef84b/pimp/__init__.py -------------------------------------------------------------------------------- /pimp/__version__.py: -------------------------------------------------------------------------------- 1 | """Version information.""" 2 | __version__ = "1.1.5" 3 | -------------------------------------------------------------------------------- /pimp/configspace/__init__.py: -------------------------------------------------------------------------------- 1 | from ConfigSpace import ConfigurationSpace, Configuration 2 | from ConfigSpace.read_and_write import pcs 3 | from ConfigSpace.util import impute_inactive_values, get_random_neighbor,\ 4 | get_one_exchange_neighbourhood 5 | from ConfigSpace.c_util import change_hp_value, check_forbidden 6 | from ConfigSpace.hyperparameters import CategoricalHyperparameter, FloatHyperparameter, IntegerHyperparameter 7 | from ConfigSpace.conditions import AndConjunction, OrConjunction, InCondition, EqualsCondition 8 | from ConfigSpace.exceptions import ForbiddenValueError 9 | from ConfigSpace.hyperparameters import UniformFloatHyperparameter, UniformIntegerHyperparameter, Constant, \ 10 | OrdinalHyperparameter, NumericalHyperparameter 11 | -------------------------------------------------------------------------------- /pimp/epm/__init__.py: -------------------------------------------------------------------------------- 1 | import pyrfr.regression -------------------------------------------------------------------------------- /pimp/epm/unlogged_epar_x_rfwi.py: -------------------------------------------------------------------------------- 1 | from pimp.epm.epar_x_rfwi import EPARrfi 2 | from pimp.epm.unlogged_rfwi import Unloggedrfwi as Urfi 3 | 4 | __author__ = "Andre Biedenkapp" 5 | __copyright__ = "Copyright 2016, ML4AAD" 6 | __license__ = "3-clause BSD" 7 | __maintainer__ = "Andre Biedenkapp" 8 | __email__ = "biedenka@cs.uni-freiburg.de" 9 | 10 | 11 | class UnloggedEPARXrfi(EPARrfi, Urfi): 12 | 13 | def __init__(self, configspace, types, bounds, seed, 14 | cutoff=0, 15 | threshold=0, **kwargs): 16 | """ 17 | TODO 18 | """ 19 | Urfi.__init__(self, configspace=configspace, types=types, bounds=bounds, seed=seed, **kwargs) 20 | EPARrfi.__init__(self, configspace=configspace, types=types, bounds=bounds, seed=seed, cutoff=cutoff, threshold=threshold, **kwargs) 21 | 22 | def predict(self, X): 23 | """ 24 | Method to override the predict method of RandomForestWithInstances. 25 | Thus it can be used in the marginalized over instances method of the RFWI class 26 | """ 27 | return self._predict_EPAR(self._predict(X)) 28 | -------------------------------------------------------------------------------- /pimp/evaluator/__init__.py: -------------------------------------------------------------------------------- 1 | import matplotlib as mpl 2 | mpl.use('Agg') -------------------------------------------------------------------------------- /pimp/importance/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/automl/ParameterImportance/f4950593ee627093fc30c0847acc5d8bf63ef84b/pimp/importance/__init__.py -------------------------------------------------------------------------------- /pimp/utils/__init__.py: -------------------------------------------------------------------------------- 1 | from smac.scenario.scenario import Scenario 2 | from smac.runhistory.runhistory2epm import RunHistory, RunHistory2EPM4Cost, RunHistory2EPM4EIPS, RunHistory2EPM4LogCost -------------------------------------------------------------------------------- /pimp/utils/io/__init__.py: -------------------------------------------------------------------------------- 1 | from smac.utils.io.input_reader import InputReader -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- 1 | Cython 2 | smac>=0.13.0 3 | numpy 4 | scikit-learn>=0.24.0,<0.25.0 5 | matplotlib 6 | ConfigSpace>=0.4.9 7 | scipy 8 | pyrfr>=0.8.0 9 | fanova>=2.0.14 10 | tqdm 11 | argcomplete 12 | pandas 13 | bokeh>=1.1.0 14 | -------------------------------------------------------------------------------- /setup.cfg: -------------------------------------------------------------------------------- 1 | [metadata] 2 | description-file = README.md 3 | -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- 1 | from setuptools import setup 2 | 3 | with open("pimp/__version__.py") as fh: 4 | version = fh.readlines()[-1].split()[-1].strip("\"'") 5 | 6 | setup( 7 | name='PyImp', 8 | version=version, 9 | packages=['pimp', 'pimp.epm', 'pimp.utils', 'pimp.utils.io', 'pimp.evaluator', 'pimp.importance', 10 | 'pimp.configspace'], 11 | entry_points={ 12 | 'console_scripts': ['pimp=pimp.pimp:cmd_line_call'], 13 | }, 14 | classifiers=[ 15 | "Development Status :: 4 - Beta", 16 | "Topic :: Utilities", 17 | "Topic :: Scientific/Engineering", 18 | "Topic :: Scientific/Engineering :: Artificial Intelligence", 19 | "Topic :: Scientific/Engineering :: Information Analysis", 20 | "Topic :: Scientific/Engineering :: Visualization", 21 | "License :: OSI Approved :: BSD License", 22 | "Intended Audience :: Science/Research", 23 | "Intended Audience :: Developers", 24 | "Intended Audience :: Education", 25 | ], 26 | platforms=['Linux'], 27 | install_requires=[ 28 | "numpy", 29 | "sklearn", 30 | "matplotlib", 31 | "ConfigSpace>=0.4", 32 | "scipy", 33 | "pyrfr>=0.8.0", 34 | "smac>=0.8.0", 35 | "fanova", 36 | "tqdm", 37 | "argcomplete", 38 | "pandas", 39 | "bokeh>=1.1.0", 40 | ], 41 | url='', 42 | license='BSD 3-clause', 43 | author='biedenka', 44 | author_email='biedenka@cs.uni-freiburg.de', 45 | description='Package for automated Parameter Importance Analysis after Configuration.' 46 | ) 47 | --------------------------------------------------------------------------------