PV4 ⊧ MXCproduces a satisfiability result for a formula

Links

• https://www.cs.sfu.ca/research/groups/mxp/ (empty "re-constructed" page)
• http://fmv.jku.at/sat-race-2006/descriptions/28-mxc.pdf (documentation for version 1.0)

ProVerB specific

• Markdown description: view/edit
• Reason for this entry: used by SATzilla
• Contained in the ProVerB22 dataset (paper + artefact)