...
| Code Block |
|---|
(define-struct ! (arg))bigData0
(define-struct & (left right))
(define-struct \| (left right))
(define-struct > (left right))
(define-struct ? (test conseq alt))
|
...
The following files contain large formulas that can be reduced by your simplifier. Only the files named bigData x may require a larger thread stack size than the JVM default on most platforms. NOTE: to handle the bigData x files bigData0 and bigData1, you may need to pass the JVM argument -Xss64M for the Interactions JVM 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)))))))))"