Recent activity
Record witnesses and commentary edits, newest first.
-
edited commentary on witness #143425
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,998 with witness #143425 — |A| = 120, exponent 0.4425
-
edited commentary on witness #143424
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,997 with witness #143424 — |A| = 119, exponent 0.4417
-
edited commentary on witness #143423
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,994 with witness #143423 — |A| = 120, exponent 0.4425
-
edited commentary on witness #143422
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,992 with witness #143422 — |A| = 119, exponent 0.4417
-
edited commentary on witness #143421
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,986 with witness #143421 — |A| = 120, exponent 0.4425
-
edited commentary on witness #143420
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,984 with witness #143420 — |A| = 119, exponent 0.4417
-
edited commentary on witness #143419
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,981 with witness #143419 — |A| = 119, exponent 0.4417
-
edited commentary on witness #143418
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,977 with witness #143418 — |A| = 118, exponent 0.4409
-
edited commentary on witness #143417
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,969 with witness #143417 — |A| = 119, exponent 0.4417
-
edited commentary on witness #143416
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,968 with witness #143416 — |A| = 118, exponent 0.4409
-
edited commentary on witness #143415
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,962 with witness #143415 — |A| = 120, exponent 0.4425
-
edited commentary on witness #143414
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,956 with witness #143414 — |A| = 118, exponent 0.4410
-
edited commentary on witness #143413
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,952 with witness #143413 — |A| = 119, exponent 0.4417
-
edited commentary on witness #143412
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,949 with witness #143412 — |A| = 119, exponent 0.4417
-
edited commentary on witness #143411
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,944 with witness #143411 — |A| = 120, exponent 0.4425