Skip to content

Latest commit

 

History

History
680 lines (630 loc) · 4.42 KB

File metadata and controls

680 lines (630 loc) · 4.42 KB

Deletion: first 50 failing results

1337:

(
 [
   [0]: 0,
   [1]: 16,
   [2]: 4,
   [3]: 14,
   [4]: 9,
   [5]: 16,
   [6]: 12
 ],
 16
)

1338:

(
 [
   [0]: 0,
   [1]: 15,
   [2]: 11,
   [3]: 2,
   [4]: 6,
   [5]: 15,
   [6]: 18,
   [7]: 12
 ],
 15
)

1339:

(
 [
   [0]: 2,
   [1]: 20,
   [2]: 9,
   [3]: 9,
   [4]: 11,
   [5]: 11
 ],
 11
)

1340:

(
 [
   [0]: 17,
   [1]: 13,
   [2]: 7,
   [3]: 17,
   [4]: 1
 ],
 17
)

1341:

(
 [
   [0]: 8,
   [1]: 10,
   [2]: 10,
   [3]: 6
 ],
 10
)

1342:

(
 [
   [0]: 9,
   [1]: 10,
   [2]: 10,
   [3]: 6,
   [4]: 0,
   [5]: 13
 ],
 10
)

1343:

(
 [
   [0]: 3,
   [1]: 6,
   [2]: 3
 ],
 3
)

1344:

(
 [
   [0]: 5,
   [1]: 2,
   [2]: 4,
   [3]: 0,
   [4]: 4,
   [5]: 8
 ],
 4
)

1345:

(
 [
   [0]: 14,
   [1]: 17,
   [2]: 19,
   [3]: 17,
   [4]: 3,
   [5]: 4
 ],
 17
)

1346:

(
 [
   [0]: 19,
   [1]: 5,
   [2]: 19,
   [3]: 5
 ],
 5
)

1347:

(
 [
   [0]: 12,
   [1]: 4,
   [2]: 0,
   [3]: 4
 ],
 4
)

1348:

(
 [
   [0]: 17,
   [1]: 15,
   [2]: 5,
   [3]: 3,
   [4]: 5,
   [5]: 9,
   [6]: 13,
   [7]: 5,
   [8]: 8
 ],
 5
)

1349:

(
 [
   [0]: 20,
   [1]: 7,
   [2]: 7
 ],
 7
)

1350:

(
 [
   [0]: 0,
   [1]: 0,
   [2]: 1,
   [3]: 19
 ],
 0
)

1351:

(
 [
   [0]: 19,
   [1]: 17,
   [2]: 17
 ],
 17
)

1352:

(
 [
   [0]: 6,
   [1]: 17,
   [2]: 17,
   [3]: 6
 ],
 6
)

1353:

(
 [
   [0]: 5,
   [1]: 3,
   [2]: 5
 ],
 5
)

1354:

(
 [
   [0]: 13,
   [1]: 13,
   [2]: 17,
   [3]: 9,
   [4]: 0,
   [5]: 6,
   [6]: 0,
   [7]: 2,
   [8]: 17,
   [9]: 5,
   [10]: 5,
   [11]: 15,
   [12]: 18
 ],
 0
)

1355:

(
 [
   [0]: 1,
   [1]: 16,
   [2]: 16,
   [3]: 10
 ],
 16
)

1356:

(
 [
   [0]: 1,
   [1]: 4,
   [2]: 17,
   [3]: 17
 ],
 17
)

1357:

(
 [
   [0]: 0,
   [1]: 0,
   [2]: 17
 ],
 0
)

1358:

(
 [
   [0]: 19,
   [1]: 8,
   [2]: 11,
   [3]: 11
 ],
 11
)

1359:

(
 [
   [0]: 6,
   [1]: 6
 ],
 6
)

1360:

(
 [
   [0]: 13,
   [1]: 15,
   [2]: 15
 ],
 15
)

1361:

(
 [
   [0]: 16,
   [1]: 16,
   [2]: 8,
   [3]: 10,
   [4]: 4,
   [5]: 4
 ],
 4
)

1362:

(
 [
   [0]: 18,
   [1]: 5,
   [2]: 5,
   [3]: 13,
   [4]: 15,
   [5]: 8
 ],
 5
)

1363:

(
 [
   [0]: 18,
   [1]: 18
 ],
 18
)

1364:

(
 [
   [0]: 20,
   [1]: 16,
   [2]: 20,
   [3]: 2
 ],
 20
)

1365:

(
 [
   [0]: 20,
   [1]: 20,
   [2]: 4,
   [3]: 7,
   [4]: 12
 ],
 20
)

1366:

(
 [
   [0]: 15,
   [1]: 0,
   [2]: 0
 ],
 0
)

1367:

(
 [
   [0]: 6,
   [1]: 8,
   [2]: 3,
   [3]: 13,
   [4]: 10,
   [5]: 3
 ],
 3
)

1368:

(
 [
   [0]: 1,
   [1]: 10,
   [2]: 1
 ],
 1
)

1369:

(
 [
   [0]: 2,
   [1]: 14,
   [2]: 14
 ],
 14
)

1370:

(
 [
   [0]: 6,
   [1]: 0,
   [2]: 7,
   [3]: 1,
   [4]: 12,
   [5]: 0
 ],
 0
)

1371:

(
 [
   [0]: 16,
   [1]: 16,
   [2]: 19,
   [3]: 5,
   [4]: 9,
   [5]: 0,
   [6]: 20
 ],
 16
)

1372:

(
 [
   [0]: 11,
   [1]: 11,
   [2]: 6
 ],
 11
)

1373:

(
 [
   [0]: 13,
   [1]: 13
 ],
 13
)

1374:

(
 [
   [0]: 11,
   [1]: 11,
   [2]: 16,
   [3]: 0
 ],
 11
)

1375:

(
 [
   [0]: 8,
   [1]: 8
 ],
 8
)

1376:

(
 [
   [0]: 19,
   [1]: 16,
   [2]: 5,
   [3]: 5
 ],
 5
)

1377:

(
 [
   [0]: 8,
   [1]: 17,
   [2]: 8,
   [3]: 0,
   [4]: 12
 ],
 8
)

1378:

(
 [
   [0]: 20,
   [1]: 20,
   [2]: 11,
   [3]: 10,
   [4]: 19,
   [5]: 0
 ],
 20
)

1379:

(
 [
   [0]: 18,
   [1]: 3,
   [2]: 9,
   [3]: 3,
   [4]: 19
 ],
 3
)

1380:

(
 [
   [0]: 6,
   [1]: 17,
   [2]: 12,
   [3]: 17
 ],
 17
)

1381:

(
 [
   [0]: 1,
   [1]: 1
 ],
 1
)

1382:

(
 [
   [0]: 2,
   [1]: 3,
   [2]: 0,
   [3]: 18,
   [4]: 18,
   [5]: 8
 ],
 18
)

1383:

(
 [
   [0]: 16,
   [1]: 16,
   [2]: 8
 ],
 16
)

1384:

(
 [
   [0]: 8,
   [1]: 8,
   [2]: 7,
   [3]: 6,
   [4]: 15
 ],
 8
)

1385:

(
 [
   [0]: 15,
   [1]: 7,
   [2]: 3,
   [3]: 8,
   [4]: 0,
   [5]: 15,
   [6]: 5
 ],
 15
)

1386:

(
 [
   [0]: 12,
   [1]: 12
 ],
 12
)