Recent activity
Record witnesses and commentary edits, newest first.
-
edited commentary on witness #143410
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,936 with witness #143410 — |A| = 120, exponent 0.4425
-
edited commentary on witness #143409
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,933 with witness #143409 — |A| = 119, exponent 0.4418
-
edited commentary on witness #143408
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,926 with witness #143408 — |A| = 120, exponent 0.4425
-
edited commentary on witness #143407
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,922 with witness #143407 — |A| = 119, exponent 0.4418
-
edited commentary on witness #143406
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,918 with witness #143406 — |A| = 119, exponent 0.4418
-
edited commentary on witness #143405
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,917 with witness #143405 — |A| = 118, exponent 0.4410
-
edited commentary on witness #143404
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,914 with witness #143404 — |A| = 119, exponent 0.4418
-
edited commentary on witness #143403
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,911 with witness #143403 — |A| = 119, exponent 0.4418
-
edited commentary on witness #143402
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,908 with witness #143402 — |A| = 118, exponent 0.4410
-
edited commentary on witness #143401
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,907 with witness #143401 — |A| = 119, exponent 0.4418
-
edited commentary on witness #143400
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,904 with witness #143400 — |A| = 119, exponent 0.4418
-
edited commentary on witness #143399
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,901 with witness #143399 — |A| = 118, exponent 0.4410
-
edited commentary on witness #143398
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,898 with witness #143398 — |A| = 120, exponent 0.4426
-
edited commentary on witness #143397
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,896 with witness #143397 — |A| = 118, exponent 0.4410
-
edited commentary on witness #143396
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,887 with witness #143396 — |A| = 120, exponent 0.4426