Recent activity
Record witnesses and commentary edits, newest first.
-
edited commentary on witness #143380
Built from witness#104092 by base slide, reduction, doubling or A+T shift construction, transferred to N; conflicts pruned or regrown by local search. -
set a record for N = 49,836 with witness #143380 — |A| = 119, exponent 0.4418
-
edited commentary on witness #143379
Built from witness#104092 by base slide, reduction, doubling or A+T shift construction, transferred to N; conflicts pruned or regrown by local search. -
set a record for N = 49,833 with witness #143379 — |A| = 119, exponent 0.4418
-
edited commentary on witness #143378
Built from witness#104092 by base slide, reduction, doubling or A+T shift construction, transferred to N; conflicts pruned or regrown by local search. -
set a record for N = 49,829 with witness #143378 — |A| = 119, exponent 0.4418
-
edited commentary on witness #143377
Built from witness#104092 by base slide, reduction, doubling or A+T shift construction, transferred to N; conflicts pruned or regrown by local search. -
set a record for N = 49,826 with witness #143377 — |A| = 117, exponent 0.4403
-
edited commentary on witness #143376
Built from witness#104092 by base slide, reduction, doubling or A+T shift construction, transferred to N; conflicts pruned or regrown by local search. -
set a record for N = 49,824 with witness #143376 — |A| = 119, exponent 0.4418
-
edited commentary on witness #143375
Built from witness#104092 by base slide, reduction, doubling or A+T shift construction, transferred to N; conflicts pruned or regrown by local search. -
set a record for N = 49,819 with witness #143375 — |A| = 119, exponent 0.4419
-
edited commentary on witness #143374
Built from witness#104092 by base slide, reduction, doubling or A+T shift construction, transferred to N; conflicts pruned or regrown by local search. -
set a record for N = 49,818 with witness #143374 — |A| = 119, exponent 0.4419
-
edited commentary on witness #143373
Built from witness#104092 by base slide, reduction, doubling or A+T shift construction, transferred to N; conflicts pruned or regrown by local search. -
set a record for N = 49,816 with witness #143373 — |A| = 118, exponent 0.4411
-
edited commentary on witness #143372
Built from witness#104092 by base slide, reduction, doubling or A+T shift construction, transferred to N; conflicts pruned or regrown by local search. -
set a record for N = 49,813 with witness #143372 — |A| = 119, exponent 0.4419
-
edited commentary on witness #143371
Built from witness#104092 by base slide, reduction, doubling or A+T shift construction, transferred to N; conflicts pruned or regrown by local search. -
set a record for N = 49,812 with witness #143371 — |A| = 119, exponent 0.4419
-
edited commentary on witness #143370
Built from witness#104092 by base slide, reduction, doubling or A+T shift construction, transferred to N; conflicts pruned or regrown by local search. -
set a record for N = 49,808 with witness #143370 — |A| = 119, exponent 0.4419
-
edited commentary on witness #143369
Built from witness#104092 by base slide, reduction, doubling or A+T shift construction, transferred to N; conflicts pruned or regrown by local search. -
set a record for N = 49,806 with witness #143369 — |A| = 119, exponent 0.4419
-
edited commentary on witness #143368
Built from witness#104092 by base slide, reduction, doubling or A+T shift construction, transferred to N; conflicts pruned or regrown by local search. -
set a record for N = 49,802 with witness #143368 — |A| = 119, exponent 0.4419
-
edited commentary on witness #143367
Built from witness#104092 by base slide, reduction, doubling or A+T shift construction, transferred to N; conflicts pruned or regrown by local search. -
set a record for N = 49,798 with witness #143367 — |A| = 118, exponent 0.4411
-
edited commentary on witness #143366
Built from witness#104092 by base slide, reduction, doubling or A+T shift construction, transferred to N; conflicts pruned or regrown by local search. -
set a record for N = 49,796 with witness #143366 — |A| = 120, exponent 0.4426