RRLS: relations, rewrites & phase / Dataset

benchmark v28 all unknown full market minimized.cnf

Reference06 Sept 2026 · saved

The archived source is available to read.

01 / THE QUESTION

Editorial guide

Judging only by the file name and the RRLS v0.28 headline summary, this is the minimised 'full market' counterexample from that benchmark. The file itself states no question.

02 / WHAT THE RECORD SAYS

Editorial guide

A 30-clause three-literal CNF over variables up to 40. The v0.28 headline summary records a minimised counterexample reduced from 170 to 30 clauses.

03 / LIMITS & OPEN POINTS

Editorial guide

Data only: no statement of the claim it counters, the solver or the budget. The companion summary marks the minimisation 'current_budget_only'.

04 / THE NEXT QUESTION

Editorial guide

Which RRLS v0.28 claim does this formula counter, and does it stay minimal beyond the current search budget?

05 / CHECKS IN THE RECORD

Editorial guide

This record does not separate a verification section. Read its methods, assumptions and original source before treating a claim as checked.

Source & provenance

Access: Public
Dates declared in the record: Not recorded
Project basis: Editorial topic association
Origin: d0re research collection (snapshot 1 October 2026)
Original path: /The Theory of Reality/benchmark_v28_all_unknown_full_market_minimized.cnf.txt
Authorship basis: Collection attribution; original record retains its own credits
Title basis: From the source
Date: 06 Sept 2026 · saved
Status basis: r-034529e4bc8c is a raw clause list with no prose (first clause '-1 8 16 0'). No record replaces or withdraws it.
Size: 364 bytes
Word count: 120 words
SHA-256 of indexed source: 034529e4bc8cdb4164ccdfc4af59389fbbe83d1a312b3f67d50b572d36f328fd

Open the source file ↗

View citation

benchmark v28 all unknown full market minimized.cnf
2026-09-06
d0re research record r-034529e4bc8c
https://www.d0re.com/library/records/r-034529e4bc8c.html
Authorship basis: Collection attribution; original record retains its own credits
Date basis: saved
Source SHA-256: 034529e4bc8cdb4164ccdfc4af59389fbbe83d1a312b3f67d50b572d36f328fd