Preview

symmetry-breaking-sat-experiment
- LICENSE.txt
  509 Bytes
- README.md
  470 Bytes
- code
  - README.md
    466 Bytes
  - plot_results_v1.py
    0 Bytes
  - process_results_v1.py
    0 Bytes
  - run_solver.sh
    46 Bytes
- data
  - README.md
    366 Bytes
  - processed
    - 20251124_summary.csv
      60 Bytes
    - metadata_summary.json
      420 Bytes
  - raw
    - detailed_main.csv
      5.3 kB
    - metadata_raw.json
      1.2 kB
    - small1.cnf
      29 Bytes
    - small2.cnf
      71 Bytes
- metadata
  - README.md
    205 Bytes
  - project_metadata.json
    741 Bytes
- results
  - 20251124_runtime_comparison.jpg
    38.3 kB
  - README.md
    112 Bytes
  - metadata_plot.json
    355 Bytes