Tester
Go to Summary
Testing `ax1'..
Testing `ax2'..
Testing `ax2a'..
Testing `ax3'..
Testing `ax4'..
Testing `ax5'..
Testing `ax6'..
Testing `addCommutes'..
Testing `addRemCommute'..
Testing `sizeUp'..
Axiom `ax1' tested 10 times.
Axiom `ax2' tested 19000 times.
Axiom `ax2a' tested 760 times.
Axiom `ax3' tested 10 times.
Axiom `ax4' tested 1900 times.
Axiom `ax5' tested 1 times.
Axiom `ax6' tested 190 times.
Axiom `addCommutes' tested 1900 times.
Axiom `addRemCommute' tested 190 times.
Axiom `sizeUp' tested 190 times, failed 190 times.
Back to User Interface