Recent activity
Record witnesses and commentary edits, newest first.
-
edited commentary on witness #143395
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,884 with witness #143395 — |A| = 118, exponent 0.4410
-
edited commentary on witness #143394
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,883 with witness #143394 — |A| = 119, exponent 0.4418
-
edited commentary on witness #143393
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,882 with witness #143393 — |A| = 119, exponent 0.4418
-
edited commentary on witness #143392
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,876 with witness #143392 — |A| = 119, exponent 0.4418
-
edited commentary on witness #143391
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,874 with witness #143391 — |A| = 119, exponent 0.4418
-
edited commentary on witness #143390
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,873 with witness #143390 — |A| = 118, exponent 0.4410
-
edited commentary on witness #143389
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,868 with witness #143389 — |A| = 119, exponent 0.4418
-
edited commentary on witness #143388
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,864 with witness #143388 — |A| = 119, exponent 0.4418
-
edited commentary on witness #143387
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,862 with witness #143387 — |A| = 118, exponent 0.4410
-
edited commentary on witness #143386
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,859 with witness #143386 — |A| = 119, exponent 0.4418
-
edited commentary on witness #143385
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,858 with witness #143385 — |A| = 119, exponent 0.4418
-
edited commentary on witness #143384
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,852 with witness #143384 — |A| = 120, exponent 0.4426
-
edited commentary on witness #143383
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,842 with witness #143383 — |A| = 120, exponent 0.4426
-
edited commentary on witness #143382
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,841 with witness #143382 — |A| = 119, exponent 0.4418
-
edited commentary on witness #143381
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,839 with witness #143381 — |A| = 119, exponent 0.4418