From 17cf8b245d31eb96116c955088a99ab100e361f5 Mon Sep 17 00:00:00 2001
From: Naveen Sundar Govindarajulu <naveensundarg@gmail.com>
Date: Sun, 22 Jan 2017 11:31:57 -0800
Subject: [PATCH] More warming up.

---
 src/main/java/edu/rpi/rair/utils/RunDemo.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/edu/rpi/rair/utils/RunDemo.java b/src/main/java/edu/rpi/rair/utils/RunDemo.java
index a819d08..673ad4a 100644
--- a/src/main/java/edu/rpi/rair/utils/RunDemo.java
+++ b/src/main/java/edu/rpi/rair/utils/RunDemo.java
@@ -32,7 +32,7 @@ public class RunDemo {
             List<Problem> problems = ProblemReader.readFrom(Sandbox.class.getResourceAsStream("firstorder-completness-tests.clj"));
 
             problems.forEach(problem -> {
-                for (int i = 0; i < 10; i++) {
+                for (int i = 0; i < 100; i++) {
                     prover.prove(problem.getAssumptions(), problem.getGoal());
 
                 }