time 12555892ms
time 14311330ms
time 15041035ms
time 15123552ms
time 20460779ms
time 27685512ms
time 28214354ms
time 28217514ms
time 91360490ms
time 112116723ms
time 119612865ms
time 121780607ms
time 156168256ms
time 156204376ms
time 156325909ms
time 156373631ms
time 183110425ms
time 212259294ms
time 245252559ms
time 245355816ms
time 245937831ms
time 245950982ms
time 251081788ms
time 251505680ms
time 252300737ms
time 252372025ms
time 252372121ms
time 253072765ms
time 259626023ms
time 259626462ms
time 264898359ms
time 279384805ms
time 279401799ms
time 291330332ms
time 291769069ms
time 291772017ms
time 293134883ms
time 353625567ms
time 355949696ms
time 396858923ms
time 396940854ms
time 397277407ms
time 397532115ms
time 401159263ms
time 405743128ms
time 415298291ms
time 485491524ms
time 507585248ms
time 509643950ms
time 576256463ms
time 631370029ms
time 631370102ms
time 631370192ms
time 631814760ms
time 631815376ms
time 631816271ms
time 632502080ms
time 705273559ms
time 705471677ms
time 713236275ms
time 713409486ms
time 713495491ms
time 818950198ms
time 818954174ms
time 818967096ms
time 819683074ms
time 819689653ms
time 819694004ms
time 820529221ms
time 873593178ms
time 873803002ms
time 880829810ms
time 881111871ms
time 881146492ms
time 928273992ms
time 929840015ms
time 930618662ms
time 930622773ms
time 930647523ms
time 1008195553ms
time 1043732590ms
time 1044704199ms
time 1045443369ms
time 1063300281ms
time 1063787772ms
time 1064011769ms
time 1064816036ms
time 1065782546ms
time 1070096116ms
time 1071696356ms
time 1197897214ms
time 1214048107ms
time 1218995143ms
time 1219890805ms
time 1220050086ms
time 1220054243ms
time 1220075540ms
time 1272523912ms
time 1293064967ms
time 1293334835ms
time 1293597548ms
time 1295773616ms
time 1296064906ms
time 1296211651ms
time 1296299855ms
time 1296450376ms
time 1297973868ms
time 1299823937ms
time 1392444881ms
time 1394976668ms
time 1401053114ms
time 1402558034ms
time 1402680894ms
time 1410415054ms
time 1439515825ms
time 1447239864ms
time 1448739112ms
time 1449152859ms
time 1449434547ms
time 1452683041ms
time 1455085314ms
time 1458804259ms
time 1490042271ms
time 1503389691ms
time 1533950198ms
time 1609086915ms
time 1612055172ms
time 1612180063ms
time 1612374863ms
time 1631865503ms
time 1777593057ms
time 1857106338ms
time 1875353881ms
time 1882263342ms
time 1882266312ms
time 1882280028ms
time 1882298812ms
time 1882304074ms
time 1963214438ms
time 1973771724ms
time 1973771858ms
time 1998964266ms
time 1998976160ms
time 1998980649ms
time 1998980788ms
time 2006776282ms
time 2006781467ms
time 2266131297ms
time 2271678843ms
time 2283902805ms
time 2284175835ms
time 2284542433ms
time 2284718948ms
time 2357093319ms
time 2357158525ms
time 2358146442ms
time 2358301928ms
time 2358304209ms
time 2358466378ms
time 2358487890ms
time 2359237209ms
time 2359253466ms
time 2359429710ms
time 2359740372ms
time 2450293803ms
time 2456022835ms
time 2456028490ms
time 2456053793ms
time 2456517206ms
time 2463473733ms
time 2463790688ms
time 2464126626ms
time 2465331861ms
time 2465495180ms
time 2474014957ms
time 2476616335ms
176 solutions
took 2707963185ms