{
  "checks": [
    {
      "name": "rank-bijection-n3-k3",
      "passed": true
    },
    {
      "name": "rank-bijection-n4-k3",
      "passed": true
    },
    {
      "name": "rank-bijection-n4-k4",
      "passed": true
    },
    {
      "name": "rank-bijection-n5-k3",
      "passed": true
    },
    {
      "name": "rank-bijection-n5-k4",
      "passed": true
    },
    {
      "name": "rank-bijection-n5-k5",
      "passed": true
    },
    {
      "name": "rank-bijection-n6-k3",
      "passed": true
    },
    {
      "name": "rank-bijection-n6-k4",
      "passed": true
    },
    {
      "name": "rank-bijection-n6-k5",
      "passed": true
    },
    {
      "name": "rank-bijection-n7-k3",
      "passed": true
    },
    {
      "name": "rank-bijection-n7-k4",
      "passed": true
    },
    {
      "name": "rank-bijection-n7-k5",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-0",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-1",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-2",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-3",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-4",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-5",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-6",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-7",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-8",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-9",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-10",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-11",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-12",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-13",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-14",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-15",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-16",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-17",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-18",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-19",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-20",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-21",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-22",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-23",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-24",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-25",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-26",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-27",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-28",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-29",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-30",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-31",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-32",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-33",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-34",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-35",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-36",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-37",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-38",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-39",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-40",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-41",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-42",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-43",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-44",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-45",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-46",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-47",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-48",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-49",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-50",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-51",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-52",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-53",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-54",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-55",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-56",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-57",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-58",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-59",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-60",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-61",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-62",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-63",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-64",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-65",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-66",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-67",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-68",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-69",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-70",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-71",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-72",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-73",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-74",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-75",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-76",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-77",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-78",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-79",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-80",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-81",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-82",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-83",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-84",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-85",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-86",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-87",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-88",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-89",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-90",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-91",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-92",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-93",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-94",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-95",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-96",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-97",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-98",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-99",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-100",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-101",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-102",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-103",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-104",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-105",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-106",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-107",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-108",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-109",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-110",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-111",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-112",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-113",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-114",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-115",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-116",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-117",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-118",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-119",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-120",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-121",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-122",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-123",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-124",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-125",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-126",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-127",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-128",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-129",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-130",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-131",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-132",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-133",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-134",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-135",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-136",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-137",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-138",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-139",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-140",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-141",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-142",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-143",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-144",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-145",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-146",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-147",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-148",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-149",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-150",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-151",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-152",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-153",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-154",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-155",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-156",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-157",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-158",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-159",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-160",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-161",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-162",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-163",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-164",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-165",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-166",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-167",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-168",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-169",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-170",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-171",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-172",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-173",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-174",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-175",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-176",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-177",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-178",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-179",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-180",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-181",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-182",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-183",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-184",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-185",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-186",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-187",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-188",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-189",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-190",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-191",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-192",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-193",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-194",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-195",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-196",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-197",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-198",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-199",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-200",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-201",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-202",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-203",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-204",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-205",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-206",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-207",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-208",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-209",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-210",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-211",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-212",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-213",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-214",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-215",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-216",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-217",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-218",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-219",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-220",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-221",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-222",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-223",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-224",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-225",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-226",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-227",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-228",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-229",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-230",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-231",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-232",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-233",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-234",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-235",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-236",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-237",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-238",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-239",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-240",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-241",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-242",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-243",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-244",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-245",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-246",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-247",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-248",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-249",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-250",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-251",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-252",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-253",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-254",
      "passed": true
    },
    {
      "name": "all-three-variable-clause-subsets-255",
      "passed": true
    },
    {
      "name": "assignment-oracle-0",
      "passed": true
    },
    {
      "name": "assignment-oracle-1",
      "passed": true
    },
    {
      "name": "assignment-oracle-2",
      "passed": true
    },
    {
      "name": "assignment-oracle-3",
      "passed": true
    },
    {
      "name": "assignment-oracle-4",
      "passed": true
    },
    {
      "name": "assignment-oracle-5",
      "passed": true
    },
    {
      "name": "assignment-oracle-6",
      "passed": true
    },
    {
      "name": "assignment-oracle-7",
      "passed": true
    },
    {
      "name": "assignment-oracle-8",
      "passed": true
    },
    {
      "name": "assignment-oracle-9",
      "passed": true
    },
    {
      "name": "assignment-oracle-10",
      "passed": true
    },
    {
      "name": "assignment-oracle-11",
      "passed": true
    },
    {
      "name": "assignment-oracle-12",
      "passed": true
    },
    {
      "name": "assignment-oracle-13",
      "passed": true
    },
    {
      "name": "assignment-oracle-14",
      "passed": true
    },
    {
      "name": "assignment-oracle-15",
      "passed": true
    },
    {
      "name": "assignment-oracle-16",
      "passed": true
    },
    {
      "name": "assignment-oracle-17",
      "passed": true
    },
    {
      "name": "assignment-oracle-18",
      "passed": true
    },
    {
      "name": "assignment-oracle-19",
      "passed": true
    },
    {
      "name": "assignment-oracle-20",
      "passed": true
    },
    {
      "name": "assignment-oracle-21",
      "passed": true
    },
    {
      "name": "assignment-oracle-22",
      "passed": true
    },
    {
      "name": "assignment-oracle-23",
      "passed": true
    },
    {
      "name": "assignment-oracle-24",
      "passed": true
    },
    {
      "name": "assignment-oracle-25",
      "passed": true
    },
    {
      "name": "assignment-oracle-26",
      "passed": true
    },
    {
      "name": "assignment-oracle-27",
      "passed": true
    },
    {
      "name": "assignment-oracle-28",
      "passed": true
    },
    {
      "name": "assignment-oracle-29",
      "passed": true
    },
    {
      "name": "assignment-oracle-30",
      "passed": true
    },
    {
      "name": "assignment-oracle-31",
      "passed": true
    },
    {
      "name": "assignment-oracle-32",
      "passed": true
    },
    {
      "name": "assignment-oracle-33",
      "passed": true
    },
    {
      "name": "assignment-oracle-34",
      "passed": true
    },
    {
      "name": "assignment-oracle-35",
      "passed": true
    },
    {
      "name": "assignment-oracle-36",
      "passed": true
    },
    {
      "name": "assignment-oracle-37",
      "passed": true
    },
    {
      "name": "assignment-oracle-38",
      "passed": true
    },
    {
      "name": "assignment-oracle-39",
      "passed": true
    },
    {
      "name": "assignment-oracle-40",
      "passed": true
    },
    {
      "name": "assignment-oracle-41",
      "passed": true
    },
    {
      "name": "assignment-oracle-42",
      "passed": true
    },
    {
      "name": "assignment-oracle-43",
      "passed": true
    },
    {
      "name": "assignment-oracle-44",
      "passed": true
    },
    {
      "name": "assignment-oracle-45",
      "passed": true
    },
    {
      "name": "assignment-oracle-46",
      "passed": true
    },
    {
      "name": "assignment-oracle-47",
      "passed": true
    },
    {
      "name": "assignment-oracle-48",
      "passed": true
    },
    {
      "name": "assignment-oracle-49",
      "passed": true
    },
    {
      "name": "assignment-oracle-50",
      "passed": true
    },
    {
      "name": "assignment-oracle-51",
      "passed": true
    },
    {
      "name": "assignment-oracle-52",
      "passed": true
    },
    {
      "name": "assignment-oracle-53",
      "passed": true
    },
    {
      "name": "assignment-oracle-54",
      "passed": true
    },
    {
      "name": "assignment-oracle-55",
      "passed": true
    },
    {
      "name": "assignment-oracle-56",
      "passed": true
    },
    {
      "name": "assignment-oracle-57",
      "passed": true
    },
    {
      "name": "assignment-oracle-58",
      "passed": true
    },
    {
      "name": "assignment-oracle-59",
      "passed": true
    },
    {
      "name": "assignment-oracle-60",
      "passed": true
    },
    {
      "name": "assignment-oracle-61",
      "passed": true
    },
    {
      "name": "assignment-oracle-62",
      "passed": true
    },
    {
      "name": "assignment-oracle-63",
      "passed": true
    },
    {
      "name": "assignment-oracle-64",
      "passed": true
    },
    {
      "name": "assignment-oracle-65",
      "passed": true
    },
    {
      "name": "assignment-oracle-66",
      "passed": true
    },
    {
      "name": "assignment-oracle-67",
      "passed": true
    },
    {
      "name": "assignment-oracle-68",
      "passed": true
    },
    {
      "name": "assignment-oracle-69",
      "passed": true
    },
    {
      "name": "assignment-oracle-70",
      "passed": true
    },
    {
      "name": "assignment-oracle-71",
      "passed": true
    },
    {
      "name": "assignment-oracle-72",
      "passed": true
    },
    {
      "name": "assignment-oracle-73",
      "passed": true
    },
    {
      "name": "assignment-oracle-74",
      "passed": true
    },
    {
      "name": "assignment-oracle-75",
      "passed": true
    },
    {
      "name": "assignment-oracle-76",
      "passed": true
    },
    {
      "name": "assignment-oracle-77",
      "passed": true
    },
    {
      "name": "assignment-oracle-78",
      "passed": true
    },
    {
      "name": "assignment-oracle-79",
      "passed": true
    },
    {
      "name": "assignment-oracle-80",
      "passed": true
    },
    {
      "name": "assignment-oracle-81",
      "passed": true
    },
    {
      "name": "assignment-oracle-82",
      "passed": true
    },
    {
      "name": "assignment-oracle-83",
      "passed": true
    },
    {
      "name": "assignment-oracle-84",
      "passed": true
    },
    {
      "name": "assignment-oracle-85",
      "passed": true
    },
    {
      "name": "assignment-oracle-86",
      "passed": true
    },
    {
      "name": "assignment-oracle-87",
      "passed": true
    },
    {
      "name": "assignment-oracle-88",
      "passed": true
    },
    {
      "name": "assignment-oracle-89",
      "passed": true
    },
    {
      "name": "assignment-oracle-90",
      "passed": true
    },
    {
      "name": "assignment-oracle-91",
      "passed": true
    },
    {
      "name": "assignment-oracle-92",
      "passed": true
    },
    {
      "name": "assignment-oracle-93",
      "passed": true
    },
    {
      "name": "assignment-oracle-94",
      "passed": true
    },
    {
      "name": "assignment-oracle-95",
      "passed": true
    },
    {
      "name": "assignment-oracle-96",
      "passed": true
    },
    {
      "name": "assignment-oracle-97",
      "passed": true
    },
    {
      "name": "assignment-oracle-98",
      "passed": true
    },
    {
      "name": "assignment-oracle-99",
      "passed": true
    },
    {
      "name": "assignment-oracle-100",
      "passed": true
    },
    {
      "name": "assignment-oracle-101",
      "passed": true
    },
    {
      "name": "assignment-oracle-102",
      "passed": true
    },
    {
      "name": "assignment-oracle-103",
      "passed": true
    },
    {
      "name": "assignment-oracle-104",
      "passed": true
    },
    {
      "name": "assignment-oracle-105",
      "passed": true
    },
    {
      "name": "assignment-oracle-106",
      "passed": true
    },
    {
      "name": "assignment-oracle-107",
      "passed": true
    },
    {
      "name": "assignment-oracle-108",
      "passed": true
    },
    {
      "name": "assignment-oracle-109",
      "passed": true
    },
    {
      "name": "assignment-oracle-110",
      "passed": true
    },
    {
      "name": "assignment-oracle-111",
      "passed": true
    },
    {
      "name": "assignment-oracle-112",
      "passed": true
    },
    {
      "name": "assignment-oracle-113",
      "passed": true
    },
    {
      "name": "assignment-oracle-114",
      "passed": true
    },
    {
      "name": "assignment-oracle-115",
      "passed": true
    },
    {
      "name": "assignment-oracle-116",
      "passed": true
    },
    {
      "name": "assignment-oracle-117",
      "passed": true
    },
    {
      "name": "assignment-oracle-118",
      "passed": true
    },
    {
      "name": "assignment-oracle-119",
      "passed": true
    },
    {
      "name": "assignment-oracle-120",
      "passed": true
    },
    {
      "name": "assignment-oracle-121",
      "passed": true
    },
    {
      "name": "assignment-oracle-122",
      "passed": true
    },
    {
      "name": "assignment-oracle-123",
      "passed": true
    },
    {
      "name": "assignment-oracle-124",
      "passed": true
    },
    {
      "name": "assignment-oracle-125",
      "passed": true
    },
    {
      "name": "assignment-oracle-126",
      "passed": true
    },
    {
      "name": "assignment-oracle-127",
      "passed": true
    },
    {
      "name": "assignment-oracle-128",
      "passed": true
    },
    {
      "name": "assignment-oracle-129",
      "passed": true
    },
    {
      "name": "assignment-oracle-130",
      "passed": true
    },
    {
      "name": "assignment-oracle-131",
      "passed": true
    },
    {
      "name": "assignment-oracle-132",
      "passed": true
    },
    {
      "name": "assignment-oracle-133",
      "passed": true
    },
    {
      "name": "assignment-oracle-134",
      "passed": true
    },
    {
      "name": "assignment-oracle-135",
      "passed": true
    },
    {
      "name": "assignment-oracle-136",
      "passed": true
    },
    {
      "name": "assignment-oracle-137",
      "passed": true
    },
    {
      "name": "assignment-oracle-138",
      "passed": true
    },
    {
      "name": "assignment-oracle-139",
      "passed": true
    },
    {
      "name": "assignment-oracle-140",
      "passed": true
    },
    {
      "name": "assignment-oracle-141",
      "passed": true
    },
    {
      "name": "assignment-oracle-142",
      "passed": true
    },
    {
      "name": "assignment-oracle-143",
      "passed": true
    },
    {
      "name": "assignment-oracle-144",
      "passed": true
    },
    {
      "name": "assignment-oracle-145",
      "passed": true
    },
    {
      "name": "assignment-oracle-146",
      "passed": true
    },
    {
      "name": "assignment-oracle-147",
      "passed": true
    },
    {
      "name": "assignment-oracle-148",
      "passed": true
    },
    {
      "name": "assignment-oracle-149",
      "passed": true
    },
    {
      "name": "assignment-oracle-150",
      "passed": true
    },
    {
      "name": "assignment-oracle-151",
      "passed": true
    },
    {
      "name": "assignment-oracle-152",
      "passed": true
    },
    {
      "name": "assignment-oracle-153",
      "passed": true
    },
    {
      "name": "assignment-oracle-154",
      "passed": true
    },
    {
      "name": "assignment-oracle-155",
      "passed": true
    },
    {
      "name": "assignment-oracle-156",
      "passed": true
    },
    {
      "name": "assignment-oracle-157",
      "passed": true
    },
    {
      "name": "assignment-oracle-158",
      "passed": true
    },
    {
      "name": "assignment-oracle-159",
      "passed": true
    },
    {
      "name": "assignment-oracle-160",
      "passed": true
    },
    {
      "name": "assignment-oracle-161",
      "passed": true
    },
    {
      "name": "assignment-oracle-162",
      "passed": true
    },
    {
      "name": "assignment-oracle-163",
      "passed": true
    },
    {
      "name": "assignment-oracle-164",
      "passed": true
    },
    {
      "name": "assignment-oracle-165",
      "passed": true
    },
    {
      "name": "assignment-oracle-166",
      "passed": true
    },
    {
      "name": "assignment-oracle-167",
      "passed": true
    },
    {
      "name": "assignment-oracle-168",
      "passed": true
    },
    {
      "name": "assignment-oracle-169",
      "passed": true
    },
    {
      "name": "assignment-oracle-170",
      "passed": true
    },
    {
      "name": "assignment-oracle-171",
      "passed": true
    },
    {
      "name": "assignment-oracle-172",
      "passed": true
    },
    {
      "name": "assignment-oracle-173",
      "passed": true
    },
    {
      "name": "assignment-oracle-174",
      "passed": true
    },
    {
      "name": "assignment-oracle-175",
      "passed": true
    },
    {
      "name": "assignment-oracle-176",
      "passed": true
    },
    {
      "name": "assignment-oracle-177",
      "passed": true
    },
    {
      "name": "assignment-oracle-178",
      "passed": true
    },
    {
      "name": "assignment-oracle-179",
      "passed": true
    },
    {
      "name": "assignment-oracle-180",
      "passed": true
    },
    {
      "name": "assignment-oracle-181",
      "passed": true
    },
    {
      "name": "assignment-oracle-182",
      "passed": true
    },
    {
      "name": "assignment-oracle-183",
      "passed": true
    },
    {
      "name": "assignment-oracle-184",
      "passed": true
    },
    {
      "name": "assignment-oracle-185",
      "passed": true
    },
    {
      "name": "assignment-oracle-186",
      "passed": true
    },
    {
      "name": "assignment-oracle-187",
      "passed": true
    },
    {
      "name": "assignment-oracle-188",
      "passed": true
    },
    {
      "name": "assignment-oracle-189",
      "passed": true
    },
    {
      "name": "assignment-oracle-190",
      "passed": true
    },
    {
      "name": "assignment-oracle-191",
      "passed": true
    },
    {
      "name": "assignment-oracle-192",
      "passed": true
    },
    {
      "name": "assignment-oracle-193",
      "passed": true
    },
    {
      "name": "assignment-oracle-194",
      "passed": true
    },
    {
      "name": "assignment-oracle-195",
      "passed": true
    },
    {
      "name": "assignment-oracle-196",
      "passed": true
    },
    {
      "name": "assignment-oracle-197",
      "passed": true
    },
    {
      "name": "assignment-oracle-198",
      "passed": true
    },
    {
      "name": "assignment-oracle-199",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-0",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-1",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-2",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-3",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-4",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-5",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-6",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-7",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-8",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-9",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-10",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-11",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-12",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-13",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-14",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-15",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-16",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-17",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-18",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-19",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-20",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-21",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-22",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-23",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-24",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-25",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-26",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-27",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-28",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-29",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-30",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-31",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-32",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-33",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-34",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-35",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-36",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-37",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-38",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-39",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-40",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-41",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-42",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-43",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-44",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-45",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-46",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-47",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-48",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-49",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-50",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-51",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-52",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-53",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-54",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-55",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-56",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-57",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-58",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-59",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-60",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-61",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-62",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-63",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-64",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-65",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-66",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-67",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-68",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-69",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-70",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-71",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-72",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-73",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-74",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-75",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-76",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-77",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-78",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-79",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-80",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-81",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-82",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-83",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-84",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-85",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-86",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-87",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-88",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-89",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-90",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-91",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-92",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-93",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-94",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-95",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-96",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-97",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-98",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-99",
      "passed": true
    },
    {
      "name": "coupon-inclusion-exclusion-100",
      "passed": true
    },
    {
      "name": "coupon-uncapped-mean",
      "passed": true
    },
    {
      "name": "coupon-clipped-second-moment",
      "passed": true
    },
    {
      "name": "coupon-empty-cap",
      "passed": true
    },
    {
      "name": "duplicate-whole-clauses-preserved",
      "passed": true
    },
    {
      "name": "duplicate-H18-count10",
      "passed": true
    },
    {
      "name": "explicit-cap-0",
      "passed": true
    },
    {
      "name": "explicit-cap-7",
      "passed": true
    },
    {
      "name": "explicit-cap-8",
      "passed": true
    },
    {
      "name": "explicit-cap-10",
      "passed": true
    },
    {
      "name": "explicit-cap-17",
      "passed": true
    },
    {
      "name": "explicit-cap-18",
      "passed": true
    },
    {
      "name": "work-exhaustion-remains-unknown",
      "passed": true
    },
    {
      "name": "variable-limit-remains-unknown",
      "passed": true
    },
    {
      "name": "invalid-input-0",
      "passed": true
    },
    {
      "name": "invalid-input-1",
      "passed": true
    },
    {
      "name": "invalid-input-2",
      "passed": true
    },
    {
      "name": "invalid-input-3",
      "passed": true
    },
    {
      "name": "invalid-input-4",
      "passed": true
    },
    {
      "name": "invalid-input-5",
      "passed": true
    },
    {
      "name": "invalid-input-6",
      "passed": true
    },
    {
      "name": "invalid-input-7",
      "passed": true
    },
    {
      "name": "invalid-input-8",
      "passed": true
    },
    {
      "name": "invalid-input-9",
      "passed": true
    },
    {
      "name": "invalid-input-10",
      "passed": true
    },
    {
      "name": "invalid-input-11",
      "passed": true
    },
    {
      "name": "invalid-input-12",
      "passed": true
    },
    {
      "name": "invalid-input-13",
      "passed": true
    },
    {
      "name": "invalid-input-14",
      "passed": true
    },
    {
      "name": "invalid-input-15",
      "passed": true
    },
    {
      "name": "invalid-wire-0",
      "passed": true
    },
    {
      "name": "invalid-wire-1",
      "passed": true
    },
    {
      "name": "invalid-wire-2",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n6-seed0",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n6-seed1",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n6-seed2",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n6-seed3",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n6-seed4",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n6-seed5",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n6-seed6",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n6-seed7",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n6-seed8",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n6-seed9",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n6-seed10",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n6-seed11",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n6-seed12",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n6-seed13",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n6-seed14",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n6-seed15",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n6-seed16",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n6-seed17",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n6-seed18",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n6-seed19",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n10-seed0",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n10-seed1",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n10-seed2",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n10-seed3",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n10-seed4",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n10-seed5",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n10-seed6",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n10-seed7",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n10-seed8",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n10-seed9",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n10-seed10",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n10-seed11",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n10-seed12",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n10-seed13",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n10-seed14",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n10-seed15",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n10-seed16",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n10-seed17",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n10-seed18",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n10-seed19",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n16-seed0",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n16-seed1",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n16-seed2",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n16-seed3",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n16-seed4",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n16-seed5",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n16-seed6",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n16-seed7",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n16-seed8",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n16-seed9",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n16-seed10",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n16-seed11",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n16-seed12",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n16-seed13",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n16-seed14",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n16-seed15",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n16-seed16",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n16-seed17",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n16-seed18",
      "passed": true
    },
    {
      "name": "exact-finite-stream-n16-seed19",
      "passed": true
    },
    {
      "name": "conventional-solver-vs-exact-n6-seed0",
      "passed": true
    },
    {
      "name": "conventional-solver-vs-exact-n6-seed1",
      "passed": true
    },
    {
      "name": "conventional-solver-vs-exact-n6-seed2",
      "passed": true
    },
    {
      "name": "conventional-solver-vs-exact-n10-seed0",
      "passed": true
    },
    {
      "name": "conventional-solver-vs-exact-n10-seed1",
      "passed": true
    },
    {
      "name": "conventional-solver-vs-exact-n10-seed2",
      "passed": true
    },
    {
      "name": "conventional-solver-vs-exact-n16-seed0",
      "passed": true
    },
    {
      "name": "conventional-solver-vs-exact-n16-seed1",
      "passed": true
    },
    {
      "name": "conventional-solver-vs-exact-n16-seed2",
      "passed": true
    },
    {
      "name": "larger-solver-evidence-n40-seed0",
      "passed": true
    },
    {
      "name": "larger-solver-evidence-n40-seed1",
      "passed": true
    },
    {
      "name": "larger-solver-evidence-n40-seed2",
      "passed": true
    },
    {
      "name": "larger-solver-evidence-n80-seed0",
      "passed": true
    },
    {
      "name": "larger-solver-evidence-n80-seed1",
      "passed": true
    },
    {
      "name": "larger-solver-evidence-n80-seed2",
      "passed": true
    },
    {
      "name": "genuine-solver-timeout-is-unknown",
      "passed": true
    },
    {
      "name": "cli-success",
      "passed": true
    },
    {
      "name": "cli-existing-output-preserved",
      "passed": true
    }
  ],
  "passed": 679,
  "failed": 0,
  "checker_sha256": "88cd1912a4c6706f443e5e312de8646a86bd2c092d4e8a8c24a1860e9629e302",
  "scope": "Finite proper-clause evidence, independent assignment oracle, coupon law and conventional CP-SAT statuses; no source proof verification."
}