Results

Test results:

Test	Iterations	Seconds	Proof steps	Proof
Factor of is transitive	1076	1	6	FactorIsTransitive.txt
If x * y = 0 then x or y is 0	5235	2	10	OneSideZero.txt
The square root of 2 is irrational	153064	6378	35	Sqrt2Irrational.txt