Testing `ax1'...10 Testing `ax2'...100.200.300.400.500.600.700.800.900.1000.1100.1200.1300.1400.1500 Testing `ax3'...10 Testing `ax4'...100.200.300.400.500.600.700.800.900.1000.1100.1200.1300.1400.1500 Testing `ax5'...1 Testing `ax6'...150 Testing `add2x'...150 Testing `rem2x'...150 Testing `addCommutes'...100.200.300.400.500.600.700.800.900.1000.1100.1200.1300.1400.1500 Testing `addRemNoCommute'...150 Summary Axiom `ax1' tested 10 times. Axiom `ax2' tested 1500 times. Axiom `ax3' tested 10 times. Axiom `ax4' tested 1500 times. Axiom `ax5' tested 1 times. Axiom `ax6' tested 150 times. Axiom `add2x' tested 150 times. Axiom `rem2x' tested 150 times. Axiom `addCommutes' tested 1500 times. Axiom `addRemNoCommute' tested 150 times.