Fig. 4.
Execution times w/ and w/o PReLearn on 0-10k (top) and 10k-50k (bottom) benchmarks. The left-hand point of each segment shows the time for the SAT solver alone; the right-hand point indicates the combined time for preprocessing and solving.
Fig. 4. |