Recent activity
Record witnesses and commentary edits, newest first.
-
edited commentary on witness #143365
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,792 with witness #143365 — |A| = 119, exponent 0.4419
-
edited commentary on witness #143364
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,791 with witness #143364 — |A| = 119, exponent 0.4419
-
edited commentary on witness #143363
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,788 with witness #143363 — |A| = 119, exponent 0.4419
-
edited commentary on witness #143362
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,784 with witness #143362 — |A| = 120, exponent 0.4427
-
edited commentary on witness #143361
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,777 with witness #143361 — |A| = 118, exponent 0.4411
-
edited commentary on witness #143360
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,773 with witness #143360 — |A| = 119, exponent 0.4419
-
edited commentary on witness #143359
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,772 with witness #143359 — |A| = 119, exponent 0.4419
-
edited commentary on witness #143358
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,771 with witness #143358 — |A| = 119, exponent 0.4419
-
edited commentary on witness #143357
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,769 with witness #143357 — |A| = 119, exponent 0.4419
-
edited commentary on witness #143356
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,767 with witness #143356 — |A| = 120, exponent 0.4427
-
edited commentary on witness #143355
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,766 with witness #143355 — |A| = 120, exponent 0.4427
-
edited commentary on witness #143354
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,762 with witness #143354 — |A| = 118, exponent 0.4411
-
edited commentary on witness #143353
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,753 with witness #143353 — |A| = 119, exponent 0.4419
-
edited commentary on witness #143352
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,752 with witness #143352 — |A| = 120, exponent 0.4427
-
edited commentary on witness #143351
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,749 with witness #143351 — |A| = 118, exponent 0.4411