Table 3. Number of total solved instances and exclusive solved instances running Kissat with and without PReLearn. Number of improved instances running Kissat with PReLearn. PReLearn execution times were included in total execution times.
| Â | 0-10k SAT | 0-10k UNSAT | 10k-50k SAT | 10k-50k UNSAT |
|---|---|---|---|---|
Total w/ PReLearn | 84 | 149 | 143 | 89 |
Total w/o PReLearn | 80 | 141 | 143 | 91 |
Exclusively w/ PReLearn | 4 | 10 | 4 | 1 |
Exclusively w/o PReLearn | 0 | 2 | 4 | 3 |
Improved w/ PReLearn | 20 | 44 | 25 | 13 |