# High scores for the "hard" variant

| Place | Strategy | Author | Questions | Complexity | Source |
|:-----:|:--------:|:------:|:---------:|:----------:|:------:|
| :1st_place_medal: | `habub` | **ShalevWen** | 4.74383 | 1,079 | `20251227_170058_habub.py` |
| :2nd_place_medal: | `ganitsu_optim` | **oliverweissl + ganitsu** | 4.74614 | 4,053 | `20250828_023728_ganitsu_optim.py` |
| :3rd_place_medal: | `ganitsu_simple_sat` | **ganitsu** | 4.74614 | 6,075 | `20241013_113416_ganitsu_simple_sat.py` |
| 4 | `viliml_simpler_sat` | viliml | 4.74614 | 9,644 | `20241015_010940_viliml_simpler_sat.py` |
| 5 | `ganitsu_joke_simplified` | ITR13 | 4.74614 | 23,157 | `20241020_144430_ganitsu_joke_simplified.py` |
| 6 | `ganitsu_simplest_sat` | ganitsu | 4.74614 | 27,971 | `20241017_005733_ganitsu_simplest_sat.py` |
| 7 | `viliml_sat_synthesized` | viliml | 4.74614 | 176,171 | `20240921_214752_viliml_sat_synthesized.py` |
| 8 | `jix_sat_pruned` | viliml | 4.94522 | 45,178 | `20240921_154610_jix_sat_pruned.py` |
| 9 | `jix_sat_synthesized` | jix | 5.00000 | 46,810 | `20240919_040726_jix_sat_synthesized.py` |
| 10 | `optim_hard` | oliverweissl + Rrst1 + bryker | 5.50000 | 365 | `20240920_210459_optim_hard.py` |
| 11 | `hard_strat_bryker_optimised` | Rrst1 + bryker | 5.50000 | 475 | `20240918_223240_hard_strat_bryker_optimised.py` |
| 12 | `bryker_strategy` | bryker | 6.00000 | 441 | `20240918_142447_bryker_strategy.py` |
| 13 | `tmorgan7192_strategy` | tmorgan7192 | 7.00000 | 461 | `20240917_230605_tmorgan7192_strategy.py` |