{"season":1,"formulas":34,"budget":10000000000,"entries":[{"rank":1,"id":3,"name":"Hashi SPLR","author":"Hashi","house":true,"score":{"par2":4.4631815226176474,"solved":27,"total":34,"wrong":0,"budget":10000000000,"fuel":11.748171769,"families":[{"family":"Hashi","solved":8,"total":8,"par2":0.08082161475},{"family":"HashiParity","solved":6,"total":6,"par2":0.0024617536666666664},{"family":"Random3Sat","solved":7,"total":10,"par2":6.7169585442},{"family":"Pigeonhole","solved":3,"total":5,"par2":8.1497771862},{"family":"Queens","solved":3,"total":5,"par2":8.6336713912}]},"created_at":1792263286904},{"rank":2,"id":4,"name":"Starter DPLL","author":"Hashi","house":true,"score":{"par2":7.795550323176471,"solved":21,"total":34,"wrong":0,"budget":10000000000,"fuel":5.048710988,"families":[{"family":"Hashi","solved":5,"total":8,"par2":7.67801111075},{"family":"HashiParity","solved":6,"total":6,"par2":0.0008350565},{"family":"Random3Sat","solved":2,"total":10,"par2":16.1258166822},{"family":"Pigeonhole","solved":3,"total":5,"par2":8.3484887472},{"family":"Queens","solved":5,"total":5,"par2":0.123800241}]},"created_at":1792263287811},{"rank":3,"id":1,"name":"Hashi CDCL","author":"Hashi","house":true,"score":{"par2":8.077662914294118,"solved":21,"total":34,"wrong":0,"budget":10000000000,"fuel":14.640539086,"families":[{"family":"Hashi","solved":8,"total":8,"par2":0.379518118375},{"family":"HashiParity","solved":6,"total":6,"par2":0.005111737},{"family":"Random3Sat","solved":1,"total":10,"par2":18.2808571052},{"family":"Pigeonhole","solved":1,"total":5,"par2":16.2184013206},{"family":"Queens","solved":5,"total":5,"par2":1.5346292124}]},"created_at":1792263285857},{"rank":4,"id":2,"name":"Hashi DPLL","author":"Hashi","house":true,"score":{"par2":11.297019486088235,"solved":16,"total":34,"wrong":0,"budget":10000000000,"fuel":24.098662527,"families":[{"family":"Hashi","solved":3,"total":8,"par2":12.78103927725},{"family":"HashiParity","solved":6,"total":6,"par2":0.034431547166666666},{"family":"Random3Sat","solved":2,"total":10,"par2":16.9504237746},{"family":"Pigeonhole","solved":2,"total":5,"par2":13.144236167799999},{"family":"Queens","solved":3,"total":5,"par2":9.2836680882}]},"created_at":1792263286292}],"queued":0}