Super duper satsolver
- @720c781 528/1000 solved, 2965s total
- @da72d5d 958/1000 solved, 1126s total
- @c4cc01f 1000/1000 solved, 368s total
- @c4cc01f 77/100 solved, 335s total
- @f7f446f 100/100 solved, 74s total
- @f7f446f 69/100 solved, 302s total
- @9f92acb 96/100 solved, 161s total
- @af3c9df 100/100 solved, 24s total
- @af3c9df 100/100 solved, 83s total
- @af3c9df 82/100 solved, 256s total
- @646c8ee 90/100 solved, 204s total