Progress
The Prover9 Fixed Point
CASC
Problems
Solved
Percentage
J6
450
186
41%
24
300
119
40%
J7
400
95
24%
25
400
111
28%
J8
500
101
20%
26
500
140
28%
J9
500
122
24%
