...
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. *To handle the {{bigData}x} files, you must
set JVM argument -Xss64M for the Interactions JVM to get the bigData files to runusing 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)))))))))"