| solver | #series | #benchs | Remark |
| amvo | 1 | 2 | |
| berkmin561 | 32 | 136 | |
| berkmin62 | 32 | 133 | |
| bmsat | 31 | 132 | Hors concours |
| compsat | 34 | 136 | Incorrect |
| farseer | 8 | 28 | |
| forklift | 34 | 143 | |
| funex | 29 | 127 | |
| jerusat1a | 28 | 119 | |
| jerusat1b | 28 | 120 | |
| jerusat1c | 27 | 119 | |
| jquest2 | 29 | 116 | |
| kcnfs | 6 | 17 | |
| limmat | 28 | 114 | SAT2002 winner |
| lsat | 8 | 46 | |
| marchsp | 17 | 63 | |
| marchtt | 18 | 67 | |
| marchxq | 18 | 73 | Incorrect |
| oepir | 30 | 126 | |
| opensat | 24 | 94 | |
| qingting | 4 | 17 | |
| satnik | 29 | 116 | |
| sato | 25 | 101 | |
| saturn | 3 | 22 | |
| satzilla2 | 18 | 82 | Hors concours |
| satzilla | 18 | 83 | |
| satzoo0 | 31 | 123 | |
| satzoo1 | 31 | 124 | |
| siege | 32 | 135 | Hors concours |
| tts | 7 | 20 | Hors concours |
| unitwalk | 4 | 15 | |
| xqingting | 9 | 44 | |
| zchaff | 29 | 115 | SAT2002 winner |
Detailled results on industrial SAT2002 challenging benchmarks (i.e. not solved during the first stage of the SAT2002 competition):
| benchmark | solved by |
| industrial/simon/sat02/6pipe_6_ooo.cnf(413) | berkmin561(2) berkmin62(1) bmsat(19) forklift(3) siege(30) |
| industrial/simon/sat02/6pipe.cnf(414) | berkmin561(2) berkmin62(1) bmsat(19) forklift(3) siege(30) |
| industrial/simon/sat02/7pipe.cnf(415) | berkmin561(2) forklift(3) |
| industrial/simon/sat02/cnf-r4-b1-k1.1-comp.cnf(416) | compsat(7) |
| industrial/simon/sat02/cnf-r4-b1-k1.2-comp.cnf(417) | |
| industrial/simon/sat02/cnt10.cnf(418) | |
| industrial/simon/sat02/comb1.cnf(419) | |
| industrial/simon/sat02/comb2.cnf(420) | berkmin561(2) forklift(3) siege(30) |
| industrial/simon/sat02/comb3.cnf(421) | berkmin561(2) berkmin62(1) compsat(7) forklift(3) |
| industrial/simon/sat02/dp11u10.cnf(422) | |
| industrial/simon/sat02/dp12u11.cnf(423) | |
| industrial/simon/sat02/f2clk_40.cnf(424) | |
| industrial/simon/sat02/f2clk_50.cnf(425) | |
| industrial/simon/sat02/fifo8_300.cnf(426) | |
| industrial/simon/sat02/fifo8_400.cnf(427) | |
| industrial/simon/sat02/homer17.cnf(428) | bmsat(19) compsat(7) jquest2(22) satzoo0(5) satzoo1(31) tts(33) |
| industrial/simon/sat02/homer18.cnf(429) | bmsat(19) satzoo0(5) satzoo1(31) tts(33) |
| industrial/simon/sat02/homer19.cnf(430) | bmsat(19) satzoo0(5) satzoo1(31) tts(33) |
| industrial/simon/sat02/homer20.cnf(431) | bmsat(19) satzoo0(5) satzoo1(31) tts(33) |
| industrial/simon/sat02/ip36.cnf(432) | berkmin561(2) berkmin62(1) bmsat(19) compsat(7) forklift(3) oepir(12) satzoo1(31) siege(30) |
| industrial/simon/sat02/ip38.cnf(433) | berkmin561(2) berkmin62(1) bmsat(19) compsat(7) forklift(3) oepir(12) satzoo0(5) satzoo1(31) siege(30) |
| industrial/simon/sat02/ip50.cnf(434) | berkmin62(1) forklift(3) siege(30) |
| industrial/simon/sat02/k2fix_gr_2pinvar_w8.cnf(435) | |
| industrial/simon/sat02/k2fix_gr_2pinvar_w9.cnf(436) | |
| industrial/simon/sat02/k2fix_gr_2pin_w8.cnf(437) | |
| industrial/simon/sat02/k2fix_gr_2pin_w9.cnf(438) | |
| industrial/simon/sat02/k2fix_gr_rcs_w8.cnf(439) | |
| industrial/simon/sat02/sha1.cnf(441) | |
| industrial/simon/sat02/sha2.cnf(442) | |
| industrial/simon/sat02/w08_14.cnf(443) | |
| industrial/simon/sat02/w08_15.cnf(444) |
