This Mirkarimi_ComparingHardness_README.txt file was generated on 2023-05-26 by Puya Mirkarimi.

-------------------
GENERAL INFORMATION
-------------------

Title of Dataset: Comparing the hardness of MAX 2-SAT problem instances for quantum and classical algorithms

Author/Principal Investigator Information
Name: Viv Kendon
Institution: University of Strathclyde
Address: Department of Physics, SUPA and University of Strathclyde, Glasgow G4 0NG, United Kingdom
Email: viv.kendon@strath.ac.uk

Author/Associate or Co-investigator Information
Name: Puya Mirkarimi
Institution: Durham University
Address: Department of Physics, Durham University, Durham DH1 3LE, United Kingdom
Email: puya.mirkarimi@durham.ac.uk

Author/Alternate Contact Information
Name: Nicholas Chancellor
Institution: Durham University
Address: Department of Physics, Durham University, Durham DH1 3LE, United Kingdom
Email: nicholas.chancellor@durham.ac.uk

Data generated by: Adam Callison

Date of data generation: between 2018 and 2019

Geographic location of data generation: Imperial College London

Information about funding sources and sponsorships that supported the generation of the data: EP/L022303/1, EP/S00114X/1, EP/T518001/1, EP/L016524/1, EP/T001062/1, dunnhumby

--------------------------
SHARING/ACCESS INFORMATION
-------------------------- 

License placed on the data: This work is licensed under the Creative Commons Attribution 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/ or send a letter to Creative Commons, PO Box 1866, Mountain View, CA 94042, USA.

Recommended citation for the data: Mirkarimi, P et al. (2023): Comparing the hardness of MAX 2-SAT problem instances for quantum and classical algorithms. Durham University. (dataset).

Data used in: https://arxiv.org/abs/2206.06876

--------------------
DATA & FILE OVERVIEW
--------------------

The file 'instances_typical.csv' provides information on each MAX 2-SAT instance that we generated. It contains 2 columns:
     - 'id'     : a unique 30-character identifier for each instance
     - 'nqubits': the number of qubits of the instance

The file 'instances_typical.zip' contains 160,000 files named <id>.m2s containing the data for each MAX 2-SAT instance. Each file contains a row for each clause in the Boolean formula and 4 columns:
     - Column 1 : sign of the first literal in the clause (1=unnegated, -1=negated)
     - Column 2 : index of the first variable in the clause
     - Column 3 : sign of the second literal in the clause (1=unnegated, -1=negated)
     - Column 4 : index of the second variable in the clause
