@@ -20,9 +20,9 @@
 	void run(bool automate = false)
 	{
 		if(automate) {
 			Timer t = new Timer;
-			t.interval = 100;
+			t.interval = 50;
 			t.tick ~= (Timer sender, EventArgs ea){
 				fn(solver.single_step());
 			};
 			t.start();