Recent activity
Record witnesses and commentary edits, newest first.
-
edited commentary on witness #143350
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,744 with witness #143350 — |A| = 118, exponent 0.4411
-
edited commentary on witness #143349
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,737 with witness #143349 — |A| = 119, exponent 0.4419
-
edited commentary on witness #143348
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,734 with witness #143348 — |A| = 118, exponent 0.4411
-
edited commentary on witness #143347
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,731 with witness #143347 — |A| = 119, exponent 0.4419
-
edited commentary on witness #143346
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,728 with witness #143346 — |A| = 118, exponent 0.4411
-
edited commentary on witness #143345
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,726 with witness #143345 — |A| = 118, exponent 0.4411
-
edited commentary on witness #143344
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,717 with witness #143344 — |A| = 118, exponent 0.4412
-
edited commentary on witness #143343
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,716 with witness #143343 — |A| = 118, exponent 0.4412
-
edited commentary on witness #143342
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,713 with witness #143342 — |A| = 120, exponent 0.4427
-
edited commentary on witness #143341
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,712 with witness #143341 — |A| = 118, exponent 0.4412
-
edited commentary on witness #143340
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,709 with witness #143340 — |A| = 118, exponent 0.4412
-
edited commentary on witness #143339
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,707 with witness #143339 — |A| = 118, exponent 0.4412
-
edited commentary on witness #143338
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,703 with witness #143338 — |A| = 120, exponent 0.4427
-
edited commentary on witness #143337
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,699 with witness #143337 — |A| = 119, exponent 0.4419
-
edited commentary on witness #143336
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,698 with witness #143336 — |A| = 119, exponent 0.4419