java.io.IOException: Stream closed
	at java.io.BufferedInputStream.getBufIfOpen(BufferedInputStream.java:145)
	at java.io.BufferedInputStream.read(BufferedInputStream.java:304)
	at sun.nio.cs.StreamDecoder$CharsetSD.readBytes(StreamDecoder.java:411)
	at sun.nio.cs.StreamDecoder$CharsetSD.implRead(StreamDecoder.java:453)
	at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:183)
	at java.io.InputStreamReader.read(InputStreamReader.java:167)
	at java.io.BufferedReader.fill(BufferedReader.java:136)
	at java.io.BufferedReader.readLine(BufferedReader.java:299)
	at java.io.BufferedReader.readLine(BufferedReader.java:362)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:62)
	at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:151)
	at aprove.DPFramework.Orders.Solvers.MATROSolver.solve(MATROSolver.java:351)
	at aprove.DPFramework.DPProblem.Solvers.QDPMatroSolver.solve(QDPMatroSolver.java:54)
	at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:154)
	at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52)
	at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:207)
	at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:218)
java.io.IOException: Stream closed
	at java.io.BufferedInputStream.getBufIfOpen(BufferedInputStream.java:145)
	at java.io.BufferedInputStream.read(BufferedInputStream.java:304)
	at sun.nio.cs.StreamDecoder$CharsetSD.readBytes(StreamDecoder.java:411)
	at sun.nio.cs.StreamDecoder$CharsetSD.implRead(StreamDecoder.java:453)
	at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:183)
	at java.io.InputStreamReader.read(InputStreamReader.java:167)
	at java.io.BufferedReader.fill(BufferedReader.java:136)
	at java.io.BufferedReader.readLine(BufferedReader.java:299)
	at java.io.BufferedReader.readLine(BufferedReader.java:362)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:62)
	at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:151)
	at aprove.DPFramework.Orders.Solvers.POLOSolver.stage3(POLOSolver.java:417)
	at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:356)
	at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:481)
	at aprove.DPFramework.DPProblem.Processors.RuleRemovalProcessor.processQDPProblem(RuleRemovalProcessor.java:73)
	at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52)
	at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:207)
	at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:218)
java.io.IOException: Stream closed
	at java.io.BufferedInputStream.getBufIfOpen(BufferedInputStream.java:145)
	at java.io.BufferedInputStream.read(BufferedInputStream.java:304)
	at sun.nio.cs.StreamDecoder$CharsetSD.readBytes(StreamDecoder.java:411)
	at sun.nio.cs.StreamDecoder$CharsetSD.implRead(StreamDecoder.java:453)
	at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:183)
	at java.io.InputStreamReader.read(InputStreamReader.java:167)
	at java.io.BufferedReader.fill(BufferedReader.java:136)
	at java.io.BufferedReader.readLine(BufferedReader.java:299)
	at java.io.BufferedReader.readLine(BufferedReader.java:362)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:62)
	at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:151)
	at aprove.DPFramework.Orders.Solvers.MATROSolver.solve(MATROSolver.java:351)
	at aprove.DPFramework.DPProblem.Solvers.QDPMatroSolver.solve(QDPMatroSolver.java:54)
	at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:154)
	at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52)
	at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:207)
	at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:218)
java.io.IOException: Stream closed
	at java.io.BufferedInputStream.getBufIfOpen(BufferedInputStream.java:145)
	at java.io.BufferedInputStream.read(BufferedInputStream.java:304)
	at sun.nio.cs.StreamDecoder$CharsetSD.readBytes(StreamDecoder.java:411)
	at sun.nio.cs.StreamDecoder$CharsetSD.implRead(StreamDecoder.java:453)
	at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:183)
	at java.io.InputStreamReader.read(InputStreamReader.java:167)
	at java.io.BufferedReader.fill(BufferedReader.java:136)
	at java.io.BufferedReader.readLine(BufferedReader.java:299)
	at java.io.BufferedReader.readLine(BufferedReader.java:362)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:62)
	at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:247)
	at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:212)
	at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:174)
	at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solve(QDPNegPoloSolver.java:75)
	at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:154)
	at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52)
	at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:207)
	at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:218)
./runme: line 4: 24851 CPU time limit exceeded (core dumped) java -ea -Xmx700m -jar aprove.jar $* -P$HASKELL_IMPORT_PATH
