...
The following files contain large formulas that can be reduced by your simplifier. Only the file files named bigData x require a larger thread stack size than the JVM default on my laptop. I used the most platforms. NOTE: to handle the bigData x files, you must set JVM argument -Xss64M for the Interactions JVM to get the bigData files to runJVM using the DrJava Preferences command on the Edit menu. The JVM argument setting can be found on the last panel (called JVMs) in the Preferences categories tree.
- littleData1\ -> "T"
- littleData2\ -> "T"
- littleData3\ -> "(> h (> g (> f (> e (> d (> c (! b)))))))"
- littleData4\ -> "(> h (> g (> f (> e (| d (| c (| b a)))))))"
- bigData0\ -> "T"
- bigData1\ -> "(> j (> i (> h (> g (> f (> e (| d (| c (| b a)))))))))"