{
 "a_decreasing_demand": {
  "per_type": [
   {
    "rows": [
     [
      1,
      -1,
      -1
     ]
    ],
    "n_rows": 1,
    "n_checked": 500,
    "worst_value": "1/2",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "1",
      "1/2",
      "1"
     ],
     [
      "0",
      "1/2",
      "0"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      1,
      -1,
      0
     ]
    ],
    "n_rows": 2,
    "n_checked": 500,
    "worst_value": "1/2",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "3/4",
      "1/2",
      "1/2"
     ],
     [
      "1/4",
      "1/4",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      1,
      -1,
      -1
     ]
    ],
    "n_rows": 2,
    "n_checked": 500,
    "worst_value": "7/10",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "9/10",
      "1/2",
      "7/10"
     ],
     [
      "1/10",
      "1/2",
      "3/10"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ]
    ],
    "n_rows": 2,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      1
     ]
    ],
    "n_rows": 2,
    "n_checked": 500,
    "worst_value": "7/9",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "7/9",
      "1/3",
      "5/9"
     ],
     [
      "1/9",
      "5/9",
      "4/9"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "1/2",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "3/4",
      "1/2",
      "1/2"
     ],
     [
      "1/4",
      "1/4",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "5/7",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "6/7",
      "4/7",
      "2/7"
     ],
     [
      "1/7",
      "3/7",
      "5/7"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      -1
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "5/7",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "4/7",
      "2/7",
      "3/7"
     ],
     [
      "3/7",
      "5/7",
      "3/7"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      1,
      -1,
      -1
     ],
     [
      1,
      -1,
      0
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "7/10",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "9/10",
      "1/2",
      "7/10"
     ],
     [
      "1/10",
      "1/2",
      "3/10"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      0,
      -1
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "3/4",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "1/4",
      "3/4",
      "1/2"
     ],
     [
      "3/4",
      "1/4",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      0,
      -1
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "1/2",
      "2/5",
      "3/5"
     ],
     [
      "1/2",
      "3/5",
      "2/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      1
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "7/9",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "2/9",
      "2/3",
      "2/9"
     ],
     [
      "7/9",
      "1/3",
      "7/9"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      -1,
      1
     ]
    ],
    "n_rows": 3,
    "n_checked": 501,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "5/7",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "6/7",
      "4/7",
      "2/7"
     ],
     [
      "1/7",
      "3/7",
      "5/7"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      -1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "5/7",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "4/7",
      "2/7",
      "3/7"
     ],
     [
      "3/7",
      "5/7",
      "3/7"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      0
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      1
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "7/9",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "2/9",
      "2/3",
      "2/9"
     ],
     [
      "7/9",
      "1/3",
      "7/9"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "7/9",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "2/9",
      "2/3",
      "2/9"
     ],
     [
      "7/9",
      "1/3",
      "7/9"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      0,
      -1
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "3/4",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "1/4",
      "3/4",
      "1/2"
     ],
     [
      "3/4",
      "1/4",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      -1,
      1
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      1
     ],
     [
      1,
      0,
      1
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "1",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "1/2",
      "1/2",
      "1/2"
     ],
     [
      "1/2",
      "1/2",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 5,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 5,
    "n_checked": 500,
    "worst_value": "7/9",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "2/9",
      "2/3",
      "2/9"
     ],
     [
      "7/9",
      "1/3",
      "7/9"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      0,
      -1
     ]
    ],
    "n_rows": 5,
    "n_checked": 500,
    "worst_value": "3/4",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "1/4",
      "3/4",
      "1/2"
     ],
     [
      "3/4",
      "1/4",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      -1,
      1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 5,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      -1,
      1
     ]
    ],
    "n_rows": 5,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      -1,
      1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 6,
    "n_checked": 501,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      0,
      -1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 6,
    "n_checked": 501,
    "worst_value": "3/4",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "1/2",
      "3/4",
      "1/4"
     ],
     [
      "1/2",
      "1/4",
      "3/4"
     ]
    ]
   }
  ],
  "n_types_failed": 17,
  "n_types_total": 30,
  "worst_overall": "1",
  "worst_overall_type": [
   [
    0,
    0,
    1
   ],
   [
    0,
    1,
    -1
   ],
   [
    1,
    -1,
    1
   ],
   [
    1,
    0,
    1
   ]
  ],
  "certifies_3_4_everywhere": false
 },
 "b_decreasing_maxpq": {
  "per_type": [
   {
    "rows": [
     [
      1,
      -1,
      -1
     ]
    ],
    "n_rows": 1,
    "n_checked": 500,
    "worst_value": "1/2",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "3/4",
      "1/2",
      "1/2"
     ],
     [
      "1/4",
      "1/4",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      1,
      -1,
      0
     ]
    ],
    "n_rows": 2,
    "n_checked": 500,
    "worst_value": "1/2",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "3/4",
      "1/2",
      "1/2"
     ],
     [
      "1/4",
      "1/4",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      1,
      -1,
      -1
     ]
    ],
    "n_rows": 2,
    "n_checked": 500,
    "worst_value": "2/3",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "0",
      "1/3",
      "1/3"
     ],
     [
      "1",
      "2/3",
      "2/3"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ]
    ],
    "n_rows": 2,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      1
     ]
    ],
    "n_rows": 2,
    "n_checked": 500,
    "worst_value": "3/4",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "0",
      "3/4",
      "1/2"
     ],
     [
      "1/2",
      "1/4",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "1/2",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "3/4",
      "1/2",
      "1/2"
     ],
     [
      "1/4",
      "1/4",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "2/3",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "5/6",
      "2/3",
      "1/3"
     ],
     [
      "1/6",
      "1/3",
      "2/3"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      -1
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "2/3",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "2/3",
      "0",
      "1/3"
     ],
     [
      "1/3",
      "2/3",
      "2/3"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      1,
      -1,
      -1
     ],
     [
      1,
      -1,
      0
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "2/3",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "0",
      "1/3",
      "1/3"
     ],
     [
      "1",
      "2/3",
      "2/3"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      0,
      -1
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "3/4",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "1/4",
      "3/4",
      "1/2"
     ],
     [
      "3/4",
      "1/4",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      0,
      -1
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "3/4",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "3/4",
      "1/4",
      "1/2"
     ],
     [
      "1/4",
      "1/2",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      1
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "3/4",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "0",
      "3/4",
      "1/2"
     ],
     [
      "1/2",
      "1/4",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      -1,
      1
     ]
    ],
    "n_rows": 3,
    "n_checked": 501,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "2/3",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "5/6",
      "2/3",
      "1/3"
     ],
     [
      "1/6",
      "1/3",
      "2/3"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      -1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "2/3",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "2/3",
      "0",
      "1/3"
     ],
     [
      "1/3",
      "2/3",
      "2/3"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      0
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      1
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "3/4",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "0",
      "3/4",
      "1/2"
     ],
     [
      "1/2",
      "1/4",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "3/4",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "1/2",
      "3/4",
      "1/2"
     ],
     [
      "1/2",
      "1/4",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      0,
      -1
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "3/4",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "1/4",
      "3/4",
      "1/2"
     ],
     [
      "3/4",
      "1/4",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      -1,
      1
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      1
     ],
     [
      1,
      0,
      1
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "1",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "1/2",
      "1/2",
      "1/2"
     ],
     [
      "1/2",
      "1/2",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 5,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 5,
    "n_checked": 500,
    "worst_value": "3/4",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "1/2",
      "3/4",
      "1/2"
     ],
     [
      "1/2",
      "1/4",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      0,
      -1
     ]
    ],
    "n_rows": 5,
    "n_checked": 500,
    "worst_value": "3/4",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "1/4",
      "3/4",
      "1/2"
     ],
     [
      "3/4",
      "1/4",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      -1,
      1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 5,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      -1,
      1
     ]
    ],
    "n_rows": 5,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      -1,
      1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 6,
    "n_checked": 501,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      0,
      -1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 6,
    "n_checked": 501,
    "worst_value": "3/4",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "1/2",
      "3/4",
      "1/4"
     ],
     [
      "1/2",
      "1/4",
      "3/4"
     ]
    ]
   }
  ],
  "n_types_failed": 11,
  "n_types_total": 30,
  "worst_overall": "1",
  "worst_overall_type": [
   [
    0,
    0,
    1
   ],
   [
    0,
    1,
    -1
   ],
   [
    1,
    -1,
    1
   ],
   [
    1,
    0,
    1
   ]
  ],
  "certifies_3_4_everywhere": false
 },
 "c_oppose_current_load": {
  "per_type": [
   {
    "rows": [
     [
      1,
      -1,
      -1
     ]
    ],
    "n_rows": 1,
    "n_checked": 500,
    "worst_value": "1",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "1",
      "1/2"
     ],
     [
      "1",
      "0",
      "0"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      1,
      -1,
      0
     ]
    ],
    "n_rows": 2,
    "n_checked": 500,
    "worst_value": "1",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "0",
      "0"
     ],
     [
      "1/3",
      "1/3",
      "1"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      1,
      -1,
      -1
     ]
    ],
    "n_rows": 2,
    "n_checked": 500,
    "worst_value": "1",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "1",
      "1/2",
      "1"
     ],
     [
      "0",
      "1/2",
      "0"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ]
    ],
    "n_rows": 2,
    "n_checked": 500,
    "worst_value": "1",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "1",
      "1/2"
     ],
     [
      "1",
      "0",
      "0"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      1
     ]
    ],
    "n_rows": 2,
    "n_checked": 500,
    "worst_value": "4/3",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "2/3",
      "1"
     ],
     [
      "1",
      "1/3",
      "0"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "1",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "0",
      "0"
     ],
     [
      "1/3",
      "1/3",
      "1"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "1",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "0",
      "0"
     ],
     [
      "1/3",
      "1/3",
      "1"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      -1
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "1",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "1",
      "1/2",
      "1"
     ],
     [
      "0",
      "1/2",
      "0"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "1",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "0",
      "0"
     ],
     [
      "1/3",
      "1/3",
      "1"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      1,
      -1,
      -1
     ],
     [
      1,
      -1,
      0
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "7/6",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "1/6",
      "1/2",
      "1"
     ],
     [
      "2/3",
      "1/2",
      "0"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      0,
      -1
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "1",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "1",
      "1/2"
     ],
     [
      "1",
      "0",
      "0"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      0,
      -1
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "1",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "0",
      "0"
     ],
     [
      "1/3",
      "1/3",
      "1"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      1
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "4/3",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "2/3",
      "1"
     ],
     [
      "1",
      "1/3",
      "0"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      -1,
      1
     ]
    ],
    "n_rows": 3,
    "n_checked": 501,
    "worst_value": "13/9",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "2/9",
      "8/9"
     ],
     [
      "1",
      "5/9",
      "1/9"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "1",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "0",
      "0"
     ],
     [
      "1/3",
      "1/3",
      "1"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      -1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "1",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "1",
      "1/2",
      "1"
     ],
     [
      "0",
      "1/2",
      "0"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "1",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "0",
      "0"
     ],
     [
      "1/3",
      "1/3",
      "1"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      0
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "1",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "0",
      "0"
     ],
     [
      "1/3",
      "1/3",
      "1"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      1
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "4/3",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "2/3",
      "1"
     ],
     [
      "1",
      "1/3",
      "0"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "4/3",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "2/3",
      "1"
     ],
     [
      "1",
      "1/3",
      "0"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      0,
      -1
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "1",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "0",
      "0"
     ],
     [
      "1/3",
      "1/3",
      "1"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      -1,
      1
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "13/9",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "2/9",
      "8/9"
     ],
     [
      "1",
      "5/9",
      "1/9"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      1
     ],
     [
      1,
      0,
      1
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "3/2",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "1/2",
      "1"
     ],
     [
      "1",
      "1/2",
      "0"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 5,
    "n_checked": 500,
    "worst_value": "1",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "0",
      "0"
     ],
     [
      "1/3",
      "1/3",
      "1"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 5,
    "n_checked": 500,
    "worst_value": "4/3",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "2/3",
      "1"
     ],
     [
      "1",
      "1/3",
      "0"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      0,
      -1
     ]
    ],
    "n_rows": 5,
    "n_checked": 500,
    "worst_value": "1",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "0",
      "0"
     ],
     [
      "1/3",
      "1/3",
      "1"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      -1,
      1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 5,
    "n_checked": 500,
    "worst_value": "13/9",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "2/9",
      "8/9"
     ],
     [
      "1",
      "5/9",
      "1/9"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      -1,
      1
     ]
    ],
    "n_rows": 5,
    "n_checked": 500,
    "worst_value": "13/9",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "2/9",
      "8/9"
     ],
     [
      "1",
      "5/9",
      "1/9"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      -1,
      1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 6,
    "n_checked": 501,
    "worst_value": "13/9",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "2/9",
      "8/9"
     ],
     [
      "1",
      "5/9",
      "1/9"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      0,
      -1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 6,
    "n_checked": 501,
    "worst_value": "1",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "0",
      "0",
      "0"
     ],
     [
      "1/3",
      "1/3",
      "1"
     ]
    ]
   }
  ],
  "n_types_failed": 30,
  "n_types_total": 30,
  "worst_overall": "3/2",
  "worst_overall_type": [
   [
    0,
    0,
    1
   ],
   [
    0,
    1,
    -1
   ],
   [
    1,
    -1,
    1
   ],
   [
    1,
    0,
    1
   ]
  ],
  "certifies_3_4_everywhere": false
 },
 "d_small_side_first": {
  "per_type": [
   {
    "rows": [
     [
      1,
      -1,
      -1
     ]
    ],
    "n_rows": 1,
    "n_checked": 500,
    "worst_value": "1/2",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "1",
      "1/2",
      "1"
     ],
     [
      "0",
      "1/2",
      "0"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      1,
      -1,
      0
     ]
    ],
    "n_rows": 2,
    "n_checked": 500,
    "worst_value": "1/2",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "3/4",
      "1/2",
      "1/2"
     ],
     [
      "1/4",
      "1/4",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      1,
      -1,
      -1
     ]
    ],
    "n_rows": 2,
    "n_checked": 500,
    "worst_value": "7/10",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "9/10",
      "1/2",
      "7/10"
     ],
     [
      "1/10",
      "1/2",
      "3/10"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ]
    ],
    "n_rows": 2,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      1
     ]
    ],
    "n_rows": 2,
    "n_checked": 500,
    "worst_value": "7/9",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "7/9",
      "1/3",
      "5/9"
     ],
     [
      "1/9",
      "5/9",
      "4/9"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "1/2",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "3/4",
      "1/2",
      "1/2"
     ],
     [
      "1/4",
      "1/4",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "5/7",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "6/7",
      "4/7",
      "2/7"
     ],
     [
      "1/7",
      "3/7",
      "5/7"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      -1
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "7/10",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "9/10",
      "1/2",
      "7/10"
     ],
     [
      "1/10",
      "1/2",
      "3/10"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      1,
      -1,
      -1
     ],
     [
      1,
      -1,
      0
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "7/10",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "9/10",
      "1/2",
      "7/10"
     ],
     [
      "1/10",
      "1/2",
      "3/10"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      0,
      -1
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "3/4",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "1/4",
      "3/4",
      "1/2"
     ],
     [
      "3/4",
      "1/4",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      0,
      -1
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "1/2",
      "2/5",
      "3/5"
     ],
     [
      "1/2",
      "3/5",
      "2/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      1
     ]
    ],
    "n_rows": 3,
    "n_checked": 500,
    "worst_value": "7/9",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "2/9",
      "2/3",
      "2/9"
     ],
     [
      "7/9",
      "1/3",
      "7/9"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      -1,
      1
     ]
    ],
    "n_rows": 3,
    "n_checked": 501,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "5/7",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "6/7",
      "4/7",
      "2/7"
     ],
     [
      "1/7",
      "3/7",
      "5/7"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      -1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "7/10",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "9/10",
      "1/2",
      "7/10"
     ],
     [
      "1/10",
      "1/2",
      "3/10"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      0
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      1
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "7/9",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "2/9",
      "2/3",
      "2/9"
     ],
     [
      "7/9",
      "1/3",
      "7/9"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "7/9",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "2/9",
      "2/3",
      "2/9"
     ],
     [
      "7/9",
      "1/3",
      "7/9"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      0,
      -1
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "3/4",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "1/4",
      "3/4",
      "1/2"
     ],
     [
      "3/4",
      "1/4",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      -1,
      1
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      1
     ],
     [
      1,
      0,
      1
     ]
    ],
    "n_rows": 4,
    "n_checked": 500,
    "worst_value": "1",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "1/2",
      "1/2",
      "1/2"
     ],
     [
      "1/2",
      "1/2",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 5,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 5,
    "n_checked": 500,
    "worst_value": "7/9",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "2/9",
      "2/3",
      "2/9"
     ],
     [
      "7/9",
      "1/3",
      "7/9"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      0,
      -1
     ]
    ],
    "n_rows": 5,
    "n_checked": 500,
    "worst_value": "3/4",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "1/4",
      "3/4",
      "1/2"
     ],
     [
      "3/4",
      "1/4",
      "1/2"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      -1,
      1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 5,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      -1,
      1
     ]
    ],
    "n_rows": 5,
    "n_checked": 500,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      -1,
      1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 6,
    "n_checked": 501,
    "worst_value": "4/5",
    "exceeds_threshold": true,
    "worst_pq": [
     [
      "3/5",
      "2/5",
      "2/5"
     ],
     [
      "2/5",
      "2/5",
      "3/5"
     ]
    ]
   },
   {
    "rows": [
     [
      0,
      0,
      1
     ],
     [
      0,
      1,
      -1
     ],
     [
      0,
      1,
      0
     ],
     [
      1,
      -1,
      0
     ],
     [
      1,
      0,
      -1
     ],
     [
      1,
      0,
      0
     ]
    ],
    "n_rows": 6,
    "n_checked": 501,
    "worst_value": "3/4",
    "exceeds_threshold": false,
    "worst_pq": [
     [
      "1/2",
      "3/4",
      "1/4"
     ],
     [
      "1/2",
      "1/4",
      "3/4"
     ]
    ]
   }
  ],
  "n_types_failed": 17,
  "n_types_total": 30,
  "worst_overall": "1",
  "worst_overall_type": [
   [
    0,
    0,
    1
   ],
   [
    0,
    1,
    -1
   ],
   [
    1,
    -1,
    1
   ],
   [
    1,
    0,
    1
   ]
  ],
  "certifies_3_4_everywhere": false
 }
}