18.17/5.67	2019-03-28 12:33:03
18.17/5.67	Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode):
18.17/5.67	
18.17/5.67	"Thread-118" #148 daemon prio=6 os_prio=0 tid=0x00002aaf38005000 nid=0x6bf9 waiting on condition [0x00002aaf40bb4000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
18.17/5.67		- locked <0x00000006ea8ac278> (a java.io.FileDescriptor)
18.17/5.67		at java.io.FileInputStream.close(FileInputStream.java:326)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547)
18.17/5.67		- locked <0x00000006ea8ae2e0> (a java.lang.Object)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378)
18.17/5.67		at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193)
18.17/5.67		- locked <0x0000000706ab9608> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.close(InputStreamReader.java:199)
18.17/5.67		at java.util.Scanner.close(Scanner.java:1093)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102)
18.17/5.67	
18.17/5.67	"Thread-117" #147 daemon prio=6 os_prio=0 tid=0x00002aaf38003000 nid=0x6bf8 waiting on condition [0x00002aaf40ab3000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.BufferedInputStream.read(BufferedInputStream.java:336)
18.17/5.67		- locked <0x00000006ea8aa170> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.67		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
18.17/5.67		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
18.17/5.67		- locked <0x00000007074f7260> (a java.io.BufferedInputStream)
18.17/5.67		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
18.17/5.67		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
18.17/5.67		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
18.17/5.67		- locked <0x00000007074f9320> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.read(InputStreamReader.java:184)
18.17/5.67		at java.io.Reader.read(Reader.java:100)
18.17/5.67		at java.util.Scanner.readInput(Scanner.java:804)
18.17/5.67		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
18.17/5.67		at java.util.Scanner.hasNextLine(Scanner.java:1500)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
18.17/5.67	
18.17/5.67	"process reaper" #122 daemon prio=10 os_prio=0 tid=0x00002aaf38001800 nid=0x6bf7 waiting on condition [0x00002aaf409b2000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
18.17/5.67		- locked <0x00000006ea8aa1b8> (a java.io.FileDescriptor)
18.17/5.67		at java.io.FileInputStream.close(FileInputStream.java:326)
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533)
18.17/5.67		- locked <0x00000006ea8ac220> (a java.lang.Object)
18.17/5.67		- locked <0x00000006ea8aa170> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.67		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298)
18.17/5.67		at java.lang.UNIXProcess$$Lambda$12/1467699158.run(Unknown Source)
18.17/5.67		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
18.17/5.67		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
18.17/5.67		at java.lang.Thread.run(Thread.java:748)
18.17/5.67	
18.17/5.67	"Thread-116" #146 daemon prio=6 os_prio=0 tid=0x00002aaef0008000 nid=0x6bf5 waiting on condition [0x00002aaf40979000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
18.17/5.67		- locked <0x00000006e0554f68> (a java.io.FileDescriptor)
18.17/5.67		at java.io.FileInputStream.close(FileInputStream.java:326)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547)
18.17/5.67		- locked <0x00000006e0556fd0> (a java.lang.Object)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378)
18.17/5.67		at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193)
18.17/5.67		- locked <0x000000070563bb60> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.close(InputStreamReader.java:199)
18.17/5.67		at java.util.Scanner.close(Scanner.java:1093)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102)
18.17/5.67	
18.17/5.67	"Thread-115" #145 daemon prio=6 os_prio=0 tid=0x00002aaef0006800 nid=0x6bf4 waiting on condition [0x00002aaf40878000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.BufferedInputStream.read(BufferedInputStream.java:336)
18.17/5.67		- locked <0x00000006e0552e60> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.67		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
18.17/5.67		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
18.17/5.67		- locked <0x0000000704bf9d88> (a java.io.BufferedInputStream)
18.17/5.67		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
18.17/5.67		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
18.17/5.67		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
18.17/5.67		- locked <0x0000000704bfbe48> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.read(InputStreamReader.java:184)
18.17/5.67		at java.io.Reader.read(Reader.java:100)
18.17/5.67		at java.util.Scanner.readInput(Scanner.java:804)
18.17/5.67		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
18.17/5.67		at java.util.Scanner.hasNextLine(Scanner.java:1500)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
18.17/5.67	
18.17/5.67	"process reaper" #131 daemon prio=10 os_prio=0 tid=0x00002aaef0002800 nid=0x6bf3 waiting on condition [0x00002aaf40777000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
18.17/5.67		- locked <0x00000006e0552ea8> (a java.io.FileDescriptor)
18.17/5.67		at java.io.FileInputStream.close(FileInputStream.java:326)
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533)
18.17/5.67		- locked <0x00000006e0554f10> (a java.lang.Object)
18.17/5.67		- locked <0x00000006e0552e60> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.67		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298)
18.17/5.67		at java.lang.UNIXProcess$$Lambda$12/1467699158.run(Unknown Source)
18.17/5.67		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
18.17/5.67		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
18.17/5.67		at java.lang.Thread.run(Thread.java:748)
18.17/5.67	
18.17/5.67	"Thread-114" #144 daemon prio=6 os_prio=0 tid=0x00002aaf1c005000 nid=0x6bf2 waiting on condition [0x00002aaf4073e000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
18.17/5.67		- locked <0x00000006ebdbae30> (a java.io.FileDescriptor)
18.17/5.67		at java.io.FileInputStream.close(FileInputStream.java:326)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547)
18.17/5.67		- locked <0x00000006ebdbce98> (a java.lang.Object)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378)
18.17/5.67		at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193)
18.17/5.67		- locked <0x000000070377e2e0> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.close(InputStreamReader.java:199)
18.17/5.67		at java.util.Scanner.close(Scanner.java:1093)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102)
18.17/5.67	
18.17/5.67	"Thread-105" #133 daemon prio=6 os_prio=0 tid=0x00002aaf1c003000 nid=0x6bf1 waiting on condition [0x00002aaf4063d000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.BufferedInputStream.read(BufferedInputStream.java:336)
18.17/5.67		- locked <0x00000006ebdb8d28> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.67		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
18.17/5.67		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
18.17/5.67		- locked <0x0000000702d3c508> (a java.io.BufferedInputStream)
18.17/5.67		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
18.17/5.67		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
18.17/5.67		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
18.17/5.67		- locked <0x0000000702d3e5c8> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.read(InputStreamReader.java:184)
18.17/5.67		at java.io.Reader.read(Reader.java:100)
18.17/5.67		at java.util.Scanner.readInput(Scanner.java:804)
18.17/5.67		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
18.17/5.67		at java.util.Scanner.hasNextLine(Scanner.java:1500)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
18.17/5.67	
18.17/5.67	"Thread-113" #143 daemon prio=6 os_prio=0 tid=0x00000000016e8800 nid=0x6bf0 waiting on condition [0x00002aaf4053c000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
18.17/5.67		- locked <0x00000006e61bcbe8> (a java.io.FileDescriptor)
18.17/5.67		at java.io.FileInputStream.close(FileInputStream.java:326)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547)
18.17/5.67		- locked <0x00000006e61bec50> (a java.lang.Object)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378)
18.17/5.67		at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193)
18.17/5.67		- locked <0x00000007022fe8b0> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.close(InputStreamReader.java:199)
18.17/5.67		at java.util.Scanner.close(Scanner.java:1093)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102)
18.17/5.67	
18.17/5.67	"Thread-112" #142 daemon prio=6 os_prio=0 tid=0x00000000016e6800 nid=0x6bef waiting on condition [0x00002aaf4043b000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.BufferedInputStream.read(BufferedInputStream.java:336)
18.17/5.67		- locked <0x00000006e61baae0> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.67		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
18.17/5.67		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
18.17/5.67		- locked <0x00000007018bcad8> (a java.io.BufferedInputStream)
18.17/5.67		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
18.17/5.67		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
18.17/5.67		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
18.17/5.67		- locked <0x00000007018beb98> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.read(InputStreamReader.java:184)
18.17/5.67		at java.io.Reader.read(Reader.java:100)
18.17/5.67		at java.util.Scanner.readInput(Scanner.java:804)
18.17/5.67		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
18.17/5.67		at java.util.Scanner.hasNextLine(Scanner.java:1500)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
18.17/5.67	
18.17/5.67	"process reaper" #141 daemon prio=10 os_prio=0 tid=0x00000000016e4800 nid=0x6bee waiting on condition [0x00002aaf4033a000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
18.17/5.67		- locked <0x00000006e61bab28> (a java.io.FileDescriptor)
18.17/5.67		at java.io.FileInputStream.close(FileInputStream.java:326)
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533)
18.17/5.67		- locked <0x00000006e61bcb90> (a java.lang.Object)
18.17/5.67		- locked <0x00000006e61baae0> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.67		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298)
18.17/5.67		at java.lang.UNIXProcess$$Lambda$12/1467699158.run(Unknown Source)
18.17/5.67		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
18.17/5.67		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
18.17/5.67		at java.lang.Thread.run(Thread.java:748)
18.17/5.67	
18.17/5.67	"Thread-111" #140 daemon prio=6 os_prio=0 tid=0x00002aaeec005800 nid=0x6bed waiting on condition [0x00002aaf40301000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
18.17/5.67		- locked <0x00000006e3805638> (a java.io.FileDescriptor)
18.17/5.67		at java.io.FileInputStream.close(FileInputStream.java:326)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547)
18.17/5.67		- locked <0x00000006e38076a0> (a java.lang.Object)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378)
18.17/5.67		at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193)
18.17/5.67		- locked <0x0000000700441130> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.close(InputStreamReader.java:199)
18.17/5.67		at java.util.Scanner.close(Scanner.java:1093)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102)
18.17/5.67	
18.17/5.67	"Thread-110" #139 daemon prio=6 os_prio=0 tid=0x00002aaeec003800 nid=0x6bec waiting on condition [0x00002aaf40200000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.BufferedInputStream.read(BufferedInputStream.java:336)
18.17/5.67		- locked <0x00000006e3803530> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.67		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
18.17/5.67		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
18.17/5.67		- locked <0x00000006ff9ff358> (a java.io.BufferedInputStream)
18.17/5.67		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
18.17/5.67		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
18.17/5.67		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
18.17/5.67		- locked <0x00000006ffa01418> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.read(InputStreamReader.java:184)
18.17/5.67		at java.io.Reader.read(Reader.java:100)
18.17/5.67		at java.util.Scanner.readInput(Scanner.java:804)
18.17/5.67		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
18.17/5.67		at java.util.Scanner.hasNextLine(Scanner.java:1500)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
18.17/5.67	
18.17/5.67	"process reaper" #114 daemon prio=10 os_prio=0 tid=0x00002aaeec001800 nid=0x6beb waiting on condition [0x00002aae63fcd000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
18.17/5.67		- locked <0x00000006e3803578> (a java.io.FileDescriptor)
18.17/5.67		at java.io.FileInputStream.close(FileInputStream.java:326)
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533)
18.17/5.67		- locked <0x00000006e38055e0> (a java.lang.Object)
18.17/5.67		- locked <0x00000006e3803530> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.67		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298)
18.17/5.67		at java.lang.UNIXProcess$$Lambda$12/1467699158.run(Unknown Source)
18.17/5.67		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
18.17/5.67		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
18.17/5.67		at java.lang.Thread.run(Thread.java:748)
18.17/5.67	
18.17/5.67	"Thread-109" #138 daemon prio=6 os_prio=0 tid=0x00002aaec8016800 nid=0x6bea waiting on condition [0x00002aaf400ff000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
18.17/5.67		- locked <0x00000006ee6b03b8> (a java.io.FileDescriptor)
18.17/5.67		at java.io.FileInputStream.close(FileInputStream.java:326)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547)
18.17/5.67		- locked <0x00000006ee6b2420> (a java.lang.Object)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378)
18.17/5.67		at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193)
18.17/5.67		- locked <0x00000006fe5839a0> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.close(InputStreamReader.java:199)
18.17/5.67		at java.util.Scanner.close(Scanner.java:1093)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102)
18.17/5.67	
18.17/5.67	"Thread-108" #137 daemon prio=6 os_prio=0 tid=0x00002aaec8015000 nid=0x6be9 waiting on condition [0x00002aae63f94000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.BufferedInputStream.read(BufferedInputStream.java:336)
18.17/5.67		- locked <0x00000006ee6ae2b0> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.67		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
18.17/5.67		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
18.17/5.67		- locked <0x00000006fdb41bc8> (a java.io.BufferedInputStream)
18.17/5.67		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
18.17/5.67		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
18.17/5.67		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
18.17/5.67		- locked <0x00000006fdb43c88> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.read(InputStreamReader.java:184)
18.17/5.67		at java.io.Reader.read(Reader.java:100)
18.17/5.67		at java.util.Scanner.readInput(Scanner.java:804)
18.17/5.67		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
18.17/5.67		at java.util.Scanner.hasNextLine(Scanner.java:1500)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
18.17/5.67	
18.17/5.67	"process reaper" #136 daemon prio=10 os_prio=0 tid=0x00002aaec8013000 nid=0x6be8 waiting on condition [0x00002aae63e93000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
18.17/5.67		- locked <0x00000006ee6ae2f8> (a java.io.FileDescriptor)
18.17/5.67		at java.io.FileInputStream.close(FileInputStream.java:326)
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533)
18.17/5.67		- locked <0x00000006ee6b0360> (a java.lang.Object)
18.17/5.67		- locked <0x00000006ee6ae2b0> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.67		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298)
18.17/5.67		at java.lang.UNIXProcess$$Lambda$12/1467699158.run(Unknown Source)
18.17/5.67		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
18.17/5.67		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
18.17/5.67		at java.lang.Thread.run(Thread.java:748)
18.17/5.67	
18.17/5.67	"Thread-107" #135 daemon prio=6 os_prio=0 tid=0x00002aaf30004800 nid=0x6be7 waiting on condition [0x00002aae63e5a000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
18.17/5.67		- locked <0x00000006e9430860> (a java.io.FileDescriptor)
18.17/5.67		at java.io.FileInputStream.close(FileInputStream.java:326)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547)
18.17/5.67		- locked <0x00000006e94328c8> (a java.lang.Object)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378)
18.17/5.67		at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193)
18.17/5.67		- locked <0x00000006fc6c6220> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.close(InputStreamReader.java:199)
18.17/5.67		at java.util.Scanner.close(Scanner.java:1093)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102)
18.17/5.67	
18.17/5.67	"Thread-106" #134 daemon prio=6 os_prio=0 tid=0x00002aaf30003000 nid=0x6be5 waiting on condition [0x00002aae63d59000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.BufferedInputStream.read(BufferedInputStream.java:336)
18.17/5.67		- locked <0x00000006e942e758> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.67		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
18.17/5.67		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
18.17/5.67		- locked <0x00000006fbc84448> (a java.io.BufferedInputStream)
18.17/5.67		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
18.17/5.67		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
18.17/5.67		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
18.17/5.67		- locked <0x00000006fbc86508> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.read(InputStreamReader.java:184)
18.17/5.67		at java.io.Reader.read(Reader.java:100)
18.17/5.67		at java.util.Scanner.readInput(Scanner.java:804)
18.17/5.67		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
18.17/5.67		at java.util.Scanner.hasNextLine(Scanner.java:1500)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
18.17/5.67	
18.17/5.67	"process reaper" #132 daemon prio=10 os_prio=0 tid=0x00002aaf30001000 nid=0x6be4 waiting on condition [0x00002aae63c58000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
18.17/5.67		- locked <0x00000006e942e7a0> (a java.io.FileDescriptor)
18.17/5.67		at java.io.FileInputStream.close(FileInputStream.java:326)
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533)
18.17/5.67		- locked <0x00000006e9430808> (a java.lang.Object)
18.17/5.67		- locked <0x00000006e942e758> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.67		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298)
18.17/5.67		at java.lang.UNIXProcess$$Lambda$12/1467699158.run(Unknown Source)
18.17/5.67		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
18.17/5.67		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
18.17/5.67		at java.lang.Thread.run(Thread.java:748)
18.17/5.67	
18.17/5.67	"process reaper" #130 daemon prio=10 os_prio=0 tid=0x00002aaf1c001000 nid=0x6be3 waiting on condition [0x00002aae63c1f000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
18.17/5.67		- locked <0x00000006ebdb8d70> (a java.io.FileDescriptor)
18.17/5.67		at java.io.FileInputStream.close(FileInputStream.java:326)
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533)
18.17/5.67		- locked <0x00000006ebdbadd8> (a java.lang.Object)
18.17/5.67		- locked <0x00000006ebdb8d28> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.67		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298)
18.17/5.67		at java.lang.UNIXProcess$$Lambda$12/1467699158.run(Unknown Source)
18.17/5.67		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
18.17/5.67		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
18.17/5.67		at java.lang.Thread.run(Thread.java:748)
18.17/5.67	
18.17/5.67	"Thread-104" #129 daemon prio=6 os_prio=0 tid=0x00002aaf24005000 nid=0x6be2 waiting on condition [0x00002aae63be6000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
18.17/5.67		- locked <0x00000006e9e106e0> (a java.io.FileDescriptor)
18.17/5.67		at java.io.FileInputStream.close(FileInputStream.java:326)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547)
18.17/5.67		- locked <0x00000006e9e12748> (a java.lang.Object)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378)
18.17/5.67		at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193)
18.17/5.67		- locked <0x00000006f9dcad40> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.close(InputStreamReader.java:199)
18.17/5.67		at java.util.Scanner.close(Scanner.java:1093)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102)
18.17/5.67	
18.17/5.67	"Thread-103" #128 daemon prio=6 os_prio=0 tid=0x00002aaf24003000 nid=0x6be1 waiting on condition [0x00002aae63ae5000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.BufferedInputStream.read(BufferedInputStream.java:336)
18.17/5.67		- locked <0x00000006e9e0e5d8> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.67		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
18.17/5.67		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
18.17/5.67		- locked <0x00000006f9388f68> (a java.io.BufferedInputStream)
18.17/5.67		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
18.17/5.67		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
18.17/5.67		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
18.17/5.67		- locked <0x00000006f938b028> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.read(InputStreamReader.java:184)
18.17/5.67		at java.io.Reader.read(Reader.java:100)
18.17/5.67		at java.util.Scanner.readInput(Scanner.java:804)
18.17/5.67		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
18.17/5.67		at java.util.Scanner.hasNextLine(Scanner.java:1500)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
18.17/5.67	
18.17/5.67	"process reaper" #127 daemon prio=10 os_prio=0 tid=0x00002aaf24001000 nid=0x6be0 waiting on condition [0x00002aae639e4000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
18.17/5.67		- locked <0x00000006e9e0e620> (a java.io.FileDescriptor)
18.17/5.67		at java.io.FileInputStream.close(FileInputStream.java:326)
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533)
18.17/5.67		- locked <0x00000006e9e10688> (a java.lang.Object)
18.17/5.67		- locked <0x00000006e9e0e5d8> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.67		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298)
18.17/5.67		at java.lang.UNIXProcess$$Lambda$12/1467699158.run(Unknown Source)
18.17/5.67		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
18.17/5.67		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
18.17/5.67		at java.lang.Thread.run(Thread.java:748)
18.17/5.67	
18.17/5.67	"Thread-102" #126 daemon prio=6 os_prio=0 tid=0x00002aaf14005000 nid=0x6bdf waiting on condition [0x00002aae639ab000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
18.17/5.67		- locked <0x00000006ed145718> (a java.io.FileDescriptor)
18.17/5.67		at java.io.FileInputStream.close(FileInputStream.java:326)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547)
18.17/5.67		- locked <0x00000006ed147780> (a java.lang.Object)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378)
18.17/5.67		at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193)
18.17/5.67		- locked <0x00000006f7f0d5f8> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.close(InputStreamReader.java:199)
18.17/5.67		at java.util.Scanner.close(Scanner.java:1093)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102)
18.17/5.67	
18.17/5.67	"Thread-101" #125 daemon prio=6 os_prio=0 tid=0x00002aaf14003000 nid=0x6bde waiting on condition [0x00002aae638aa000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.BufferedInputStream.read(BufferedInputStream.java:336)
18.17/5.67		- locked <0x00000006ed143610> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.67		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
18.17/5.67		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
18.17/5.67		- locked <0x00000006f74cb820> (a java.io.BufferedInputStream)
18.17/5.67		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
18.17/5.67		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
18.17/5.67		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
18.17/5.67		- locked <0x00000006f74cd8e0> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.read(InputStreamReader.java:184)
18.17/5.67		at java.io.Reader.read(Reader.java:100)
18.17/5.67		at java.util.Scanner.readInput(Scanner.java:804)
18.17/5.67		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
18.17/5.67		at java.util.Scanner.hasNextLine(Scanner.java:1500)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
18.17/5.67	
18.17/5.67	"process reaper" #124 daemon prio=10 os_prio=0 tid=0x00002aaf14001000 nid=0x6bdd waiting on condition [0x00002aae637a9000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
18.17/5.67		- locked <0x00000006ed143658> (a java.io.FileDescriptor)
18.17/5.67		at java.io.FileInputStream.close(FileInputStream.java:326)
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533)
18.17/5.67		- locked <0x00000006ed1456c0> (a java.lang.Object)
18.17/5.67		- locked <0x00000006ed143610> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.67		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298)
18.17/5.67		at java.lang.UNIXProcess$$Lambda$12/1467699158.run(Unknown Source)
18.17/5.67		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
18.17/5.67		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
18.17/5.67		at java.lang.Thread.run(Thread.java:748)
18.17/5.67	
18.17/5.67	"Thread-100" #123 daemon prio=6 os_prio=0 tid=0x00002aaf2c00f800 nid=0x6bdc waiting on condition [0x00002aae2787b000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
18.17/5.67		- locked <0x00000006e43035e0> (a java.io.FileDescriptor)
18.17/5.67		at java.io.FileInputStream.close(FileInputStream.java:326)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547)
18.17/5.67		- locked <0x00000006e4305648> (a java.lang.Object)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378)
18.17/5.67		at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193)
18.17/5.67		- locked <0x00000006f604feb0> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.close(InputStreamReader.java:199)
18.17/5.67		at java.util.Scanner.close(Scanner.java:1093)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102)
18.17/5.67	
18.17/5.67	"Thread-99" #121 daemon prio=6 os_prio=0 tid=0x00002aaf2c00f000 nid=0x6bdb waiting on condition [0x00002aae255b3000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.BufferedInputStream.read(BufferedInputStream.java:336)
18.17/5.67		- locked <0x00000006e43014d8> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.67		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
18.17/5.67		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
18.17/5.67		- locked <0x00000006f560e0d8> (a java.io.BufferedInputStream)
18.17/5.67		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
18.17/5.67		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
18.17/5.67		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
18.17/5.67		- locked <0x00000006f5610198> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.read(InputStreamReader.java:184)
18.17/5.67		at java.io.Reader.read(Reader.java:100)
18.17/5.67		at java.util.Scanner.readInput(Scanner.java:804)
18.17/5.67		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
18.17/5.67		at java.util.Scanner.hasNextLine(Scanner.java:1500)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
18.17/5.67	
18.17/5.67	"process reaper" #120 daemon prio=10 os_prio=0 tid=0x00002aaf2c00e000 nid=0x6bda waiting on condition [0x00002aae63770000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
18.17/5.67		- locked <0x00000006e4301520> (a java.io.FileDescriptor)
18.17/5.67		at java.io.FileInputStream.close(FileInputStream.java:326)
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533)
18.17/5.67		- locked <0x00000006e4303588> (a java.lang.Object)
18.17/5.67		- locked <0x00000006e43014d8> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.67		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298)
18.17/5.67		at java.lang.UNIXProcess$$Lambda$12/1467699158.run(Unknown Source)
18.17/5.67		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
18.17/5.67		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
18.17/5.67		at java.lang.Thread.run(Thread.java:748)
18.17/5.67	
18.17/5.67	"Thread-98" #119 daemon prio=6 os_prio=0 tid=0x00002aaf18002000 nid=0x6bd9 waiting on condition [0x00002aae26ec7000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
18.17/5.67		- locked <0x00000006ec786cf0> (a java.io.FileDescriptor)
18.17/5.67		at java.io.FileInputStream.close(FileInputStream.java:326)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547)
18.17/5.67		- locked <0x00000006ec788d58> (a java.lang.Object)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378)
18.17/5.67		at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193)
18.17/5.67		- locked <0x00000006f4192630> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.close(InputStreamReader.java:199)
18.17/5.67		at java.util.Scanner.close(Scanner.java:1093)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102)
18.17/5.67	
18.17/5.67	"Thread-97" #118 daemon prio=6 os_prio=0 tid=0x00002aaf18001000 nid=0x6bd7 waiting on condition [0x00002aae2797c000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.BufferedInputStream.read(BufferedInputStream.java:336)
18.17/5.67		- locked <0x00000006ec784be8> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.67		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
18.17/5.67		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
18.17/5.67		- locked <0x00000006f3750828> (a java.io.BufferedInputStream)
18.17/5.67		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
18.17/5.67		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
18.17/5.67		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
18.17/5.67		- locked <0x00000006f37528e8> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.read(InputStreamReader.java:184)
18.17/5.67		at java.io.Reader.read(Reader.java:100)
18.17/5.67		at java.util.Scanner.readInput(Scanner.java:804)
18.17/5.67		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
18.17/5.67		at java.util.Scanner.hasNextLine(Scanner.java:1500)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
18.17/5.67	
18.17/5.67	"Thread-96" #117 daemon prio=6 os_prio=0 tid=0x00002aaf28005000 nid=0x6bcd waiting on condition [0x00002aae259b7000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
18.17/5.67		- locked <0x00000006e4c3c340> (a java.io.FileDescriptor)
18.17/5.67		at java.io.FileInputStream.close(FileInputStream.java:326)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547)
18.17/5.67		- locked <0x00000006e4c3e3a8> (a java.lang.Object)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378)
18.17/5.67		at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193)
18.17/5.67		- locked <0x00000006f2d12bd0> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.close(InputStreamReader.java:199)
18.17/5.67		at java.util.Scanner.close(Scanner.java:1093)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102)
18.17/5.67	
18.17/5.67	"Thread-95" #116 daemon prio=6 os_prio=0 tid=0x00002aaf28004000 nid=0x6bcb waiting on condition [0x00002aae26dc6000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547)
18.17/5.67		- locked <0x00000006e4c3c2e8> (a java.lang.Object)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378)
18.17/5.67		at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193)
18.17/5.67		- locked <0x00000006f1895188> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.close(InputStreamReader.java:199)
18.17/5.67		at java.util.Scanner.close(Scanner.java:1093)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102)
18.17/5.67	
18.17/5.67	"process reaper" #115 daemon prio=10 os_prio=0 tid=0x00002aaf28003000 nid=0x6bc9 waiting on condition [0x00002aae27fd7000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527)
18.17/5.67		- locked <0x00000006e4c3c2f8> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.67		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:301)
18.17/5.67		at java.lang.UNIXProcess$$Lambda$12/1467699158.run(Unknown Source)
18.17/5.67		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
18.17/5.67		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
18.17/5.67		at java.lang.Thread.run(Thread.java:748)
18.17/5.67	
18.17/5.67	"Thread-94" #113 daemon prio=6 os_prio=0 tid=0x00002aaf34003800 nid=0x6bc8 waiting on condition [0x00002aae62c2e000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:104)
18.17/5.67		- locked <0x00000006e89563c0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.67	
18.17/5.67	"Thread-93" #112 daemon prio=6 os_prio=0 tid=0x00002aaf34002800 nid=0x6bc7 waiting on condition [0x00002aae63537000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547)
18.17/5.67		- locked <0x00000006e8953e88> (a java.lang.Object)
18.17/5.67		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
18.17/5.67		at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378)
18.17/5.67		at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193)
18.17/5.67		- locked <0x00000006ef9d7a40> (a java.io.InputStreamReader)
18.17/5.67		at java.io.InputStreamReader.close(InputStreamReader.java:199)
18.17/5.67		at java.util.Scanner.close(Scanner.java:1093)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102)
18.17/5.67	
18.17/5.67	"process reaper" #111 daemon prio=10 os_prio=0 tid=0x00002aaf34001000 nid=0x6bc6 waiting on condition [0x00002aae27f9e000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527)
18.17/5.67		- locked <0x00000006e8953e98> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.67		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:301)
18.17/5.67		at java.lang.UNIXProcess$$Lambda$12/1467699158.run(Unknown Source)
18.17/5.67		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
18.17/5.67		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
18.17/5.67		at java.lang.Thread.run(Thread.java:748)
18.17/5.67	
18.17/5.67	"ThreadPoolThread52" #108 daemon prio=6 os_prio=0 tid=0x00002aae8c03e800 nid=0x6bbd in Object.wait() [0x00002aae62d2e000]
18.17/5.67	   java.lang.Thread.State: WAITING (on object monitor)
18.17/5.67		at java.lang.Object.wait(Native Method)
18.17/5.67		- waiting on <0x00000006e4c3e5c8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.67		at java.lang.Object.wait(Object.java:502)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81)
18.17/5.67		- locked <0x00000006e4c3e5c8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64)
18.17/5.67		at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682)
18.17/5.67		at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172)
18.17/5.67		at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107)
18.17/5.67		at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83)
18.17/5.67		at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216)
18.17/5.67		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
18.17/5.67		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
18.17/5.67		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
18.17/5.67		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
18.17/5.67		at java.lang.Thread.run(Thread.java:748)
18.17/5.67	
18.17/5.67	"ThreadPoolThread51" #107 daemon prio=6 os_prio=0 tid=0x00002aae8c03d000 nid=0x6bbc in Object.wait() [0x00002aae63436000]
18.17/5.67	   java.lang.Thread.State: WAITING (on object monitor)
18.17/5.67		at java.lang.Object.wait(Native Method)
18.17/5.67		- waiting on <0x00000006e4305868> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.67		at java.lang.Object.wait(Object.java:502)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81)
18.17/5.67		- locked <0x00000006e4305868> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64)
18.17/5.67		at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685)
18.17/5.67		at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200)
18.17/5.67		at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127)
18.17/5.67		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
18.17/5.67		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
18.17/5.67		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
18.17/5.67		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
18.17/5.67		at java.lang.Thread.run(Thread.java:748)
18.17/5.67	
18.17/5.67	"ThreadPoolThread50" #106 daemon prio=6 os_prio=0 tid=0x00002aae8c03b000 nid=0x6bbb runnable [0x00002aae63334000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:53)
18.17/5.67		at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69)
18.17/5.67		at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301)
18.17/5.67		at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253)
18.17/5.67		at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195)
18.17/5.67		at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127)
18.17/5.67		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
18.17/5.67		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
18.17/5.67		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
18.17/5.67		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
18.17/5.67		at java.lang.Thread.run(Thread.java:748)
18.17/5.67	
18.17/5.67	"ThreadPoolThread49" #105 daemon prio=6 os_prio=0 tid=0x00002aae8c03a000 nid=0x6bba in Object.wait() [0x00002aae26ac2000]
18.17/5.67	   java.lang.Thread.State: WAITING (on object monitor)
18.17/5.67		at java.lang.Object.wait(Native Method)
18.17/5.67		- waiting on <0x00000006e61bee70> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.67		at java.lang.Object.wait(Object.java:502)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81)
18.17/5.67		- locked <0x00000006e61bee70> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64)
18.17/5.67		at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682)
18.17/5.67		at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172)
18.17/5.67		at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107)
18.17/5.67		at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83)
18.17/5.67		at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216)
18.17/5.67		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
18.17/5.67		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
18.17/5.67		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
18.17/5.67		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
18.17/5.67		at java.lang.Thread.run(Thread.java:748)
18.17/5.67	
18.17/5.67	"ThreadPoolThread48" #104 daemon prio=6 os_prio=0 tid=0x00002aae8c039000 nid=0x6bb9 waiting on condition [0x00002aae271ca000]
18.17/5.67	   java.lang.Thread.State: RUNNABLE
18.17/5.67		at java.io.FileOutputStream.close(FileOutputStream.java:344)
18.17/5.67		- locked <0x00000006e6a92690> (a java.lang.Object)
18.17/5.67		at java.io.FilterOutputStream.close(FilterOutputStream.java:159)
18.17/5.67		at java.lang.UNIXProcess.destroy(UNIXProcess.java:445)
18.17/5.67		at java.lang.UNIXProcess.destroy(UNIXProcess.java:478)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:57)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166)
18.17/5.67		at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80)
18.17/5.67		at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
18.17/5.68		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
18.17/5.68		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"Thread-86" #103 daemon prio=6 os_prio=0 tid=0x00002aae8000b800 nid=0x6bb8 runnable [0x00002aae63234000]
18.17/5.68	   java.lang.Thread.State: RUNNABLE
18.17/5.68		at java.io.FileInputStream.readBytes(Native Method)
18.17/5.68		at java.io.FileInputStream.read(FileInputStream.java:255)
18.17/5.68		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
18.17/5.68		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
18.17/5.68		- locked <0x00000006d0e45da0> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.68		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
18.17/5.68		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
18.17/5.68		- locked <0x00000006e2cfb440> (a java.io.BufferedInputStream)
18.17/5.68		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
18.17/5.68		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
18.17/5.68		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
18.17/5.68		- locked <0x00000006e2cfd500> (a java.io.InputStreamReader)
18.17/5.68		at java.io.InputStreamReader.read(InputStreamReader.java:184)
18.17/5.68		at java.io.Reader.read(Reader.java:100)
18.17/5.68		at java.util.Scanner.readInput(Scanner.java:804)
18.17/5.68		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
18.17/5.68		at java.util.Scanner.hasNextLine(Scanner.java:1500)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
18.17/5.68	
18.17/5.68	"Thread-76" #102 daemon prio=6 os_prio=0 tid=0x00002aae8000a000 nid=0x6bb7 runnable [0x00002aae63133000]
18.17/5.68	   java.lang.Thread.State: RUNNABLE
18.17/5.68		at java.io.FileInputStream.readBytes(Native Method)
18.17/5.68		at java.io.FileInputStream.read(FileInputStream.java:255)
18.17/5.68		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
18.17/5.68		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
18.17/5.68		- locked <0x00000006d0e43ce0> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.68		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
18.17/5.68		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
18.17/5.68		- locked <0x00000006e22bb728> (a java.io.BufferedInputStream)
18.17/5.68		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
18.17/5.68		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
18.17/5.68		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
18.17/5.68		- locked <0x00000006e22bd7e8> (a java.io.InputStreamReader)
18.17/5.68		at java.io.InputStreamReader.read(InputStreamReader.java:184)
18.17/5.68		at java.io.Reader.read(Reader.java:100)
18.17/5.68		at java.util.Scanner.readInput(Scanner.java:804)
18.17/5.68		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
18.17/5.68		at java.util.Scanner.hasNextLine(Scanner.java:1500)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
18.17/5.68	
18.17/5.68	"ThreadPoolThread47" #101 daemon prio=6 os_prio=0 tid=0x00002aae8c037000 nid=0x6bb6 in Object.wait() [0x00002aae63032000]
18.17/5.68	   java.lang.Thread.State: WAITING (on object monitor)
18.17/5.68		at java.lang.Object.wait(Native Method)
18.17/5.68		- waiting on <0x00000006ea8ae500> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.68		at java.lang.Object.wait(Object.java:502)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81)
18.17/5.68		- locked <0x00000006ea8ae500> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80)
18.17/5.68		at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
18.17/5.68		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
18.17/5.68		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"ThreadPoolThread46" #100 daemon prio=6 os_prio=0 tid=0x00002aae8c035800 nid=0x6bb5 in Object.wait() [0x00002aae62f31000]
18.17/5.68	   java.lang.Thread.State: WAITING (on object monitor)
18.17/5.68		at java.lang.Object.wait(Native Method)
18.17/5.68		- waiting on <0x00000006e8956168> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.68		at java.lang.Object.wait(Object.java:502)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81)
18.17/5.68		- locked <0x00000006e8956168> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80)
18.17/5.68		at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
18.17/5.68		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
18.17/5.68		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"ThreadPoolThread45" #99 daemon prio=6 os_prio=0 tid=0x00002aae8c033800 nid=0x6bb4 in Object.wait() [0x00002aae62e30000]
18.17/5.68	   java.lang.Thread.State: WAITING (on object monitor)
18.17/5.68		at java.lang.Object.wait(Native Method)
18.17/5.68		- waiting on <0x00000006e9432ae8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.68		at java.lang.Object.wait(Object.java:502)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81)
18.17/5.68		- locked <0x00000006e9432ae8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80)
18.17/5.68		at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
18.17/5.68		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
18.17/5.68		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"ThreadPoolThread44" #96 daemon prio=6 os_prio=0 tid=0x00002aae8c032000 nid=0x6bb1 in Object.wait() [0x00002aae62b2d000]
18.17/5.68	   java.lang.Thread.State: WAITING (on object monitor)
18.17/5.68		at java.lang.Object.wait(Native Method)
18.17/5.68		- waiting on <0x00000006e9e129f8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.68		at java.lang.Object.wait(Object.java:502)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81)
18.17/5.68		- locked <0x00000006e9e129f8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64)
18.17/5.68		at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682)
18.17/5.68		at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172)
18.17/5.68		at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107)
18.17/5.68		at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83)
18.17/5.68		at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
18.17/5.68		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
18.17/5.68		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"ThreadPoolThread43" #95 daemon prio=6 os_prio=0 tid=0x00002aae8c030000 nid=0x6bb0 runnable [0x00002aae62a2c000]
18.17/5.68	   java.lang.Thread.State: RUNNABLE
18.17/5.68		at aprove.Framework.Algebra.Polynomials.IndefinitePart.getDegree(IndefinitePart.java:164)
18.17/5.68		at aprove.Framework.Algebra.Polynomials.VarPolynomial.getDegree(VarPolynomial.java:472)
18.17/5.68		at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:71)
18.17/5.68		at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301)
18.17/5.68		at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253)
18.17/5.68		at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195)
18.17/5.68		at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
18.17/5.68		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
18.17/5.68		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"ThreadPoolThread42" #94 daemon prio=6 os_prio=0 tid=0x00002aae8c02e800 nid=0x6baf in Object.wait() [0x00002aae6292b000]
18.17/5.68	   java.lang.Thread.State: WAITING (on object monitor)
18.17/5.68		at java.lang.Object.wait(Native Method)
18.17/5.68		- waiting on <0x00000006ebdbd0b8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.68		at java.lang.Object.wait(Object.java:502)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81)
18.17/5.68		- locked <0x00000006ebdbd0b8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64)
18.17/5.68		at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682)
18.17/5.68		at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172)
18.17/5.68		at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107)
18.17/5.68		at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83)
18.17/5.68		at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
18.17/5.68		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
18.17/5.68		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"ThreadPoolThread41" #93 daemon prio=6 os_prio=0 tid=0x00002aae8c02c800 nid=0x6bad in Object.wait() [0x00002aae6282a000]
18.17/5.68	   java.lang.Thread.State: WAITING (on object monitor)
18.17/5.68		at java.lang.Object.wait(Native Method)
18.17/5.68		- waiting on <0x00000006ec788d98> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.68		at java.lang.Object.wait(Object.java:502)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81)
18.17/5.68		- locked <0x00000006ec788d98> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64)
18.17/5.68		at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685)
18.17/5.68		at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200)
18.17/5.68		at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
18.17/5.68		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
18.17/5.68		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"ThreadPoolThread40" #92 daemon prio=6 os_prio=0 tid=0x00002aae8c00d800 nid=0x6bab in Object.wait() [0x00002aae62728000]
18.17/5.68	   java.lang.Thread.State: WAITING (on object monitor)
18.17/5.68		at java.lang.Object.wait(Native Method)
18.17/5.68		- waiting on <0x00000006ed147a30> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.68		at java.lang.Object.wait(Object.java:502)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81)
18.17/5.68		- locked <0x00000006ed147a30> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64)
18.17/5.68		at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682)
18.17/5.68		at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172)
18.17/5.68		at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107)
18.17/5.68		at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83)
18.17/5.68		at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
18.17/5.68		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
18.17/5.68		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"ThreadPoolThread39" #91 daemon prio=6 os_prio=0 tid=0x00002aae8c02a000 nid=0x6ba9 runnable [0x00002aae27db9000]
18.17/5.68	   java.lang.Thread.State: RUNNABLE
18.17/5.68		at aprove.Framework.Algebra.Polynomials.IndefinitePart.getDegree(IndefinitePart.java:164)
18.17/5.68		at aprove.Framework.Algebra.Polynomials.VarPolynomial.getDegree(VarPolynomial.java:472)
18.17/5.68		at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:71)
18.17/5.68		at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301)
18.17/5.68		at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253)
18.17/5.68		at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195)
18.17/5.68		at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
18.17/5.68		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
18.17/5.68		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"ThreadPoolThread38" #90 daemon prio=6 os_prio=0 tid=0x00002aae8c018800 nid=0x6ba8 in Object.wait() [0x00002aae26cc4000]
18.17/5.68	   java.lang.Thread.State: WAITING (on object monitor)
18.17/5.68		at java.lang.Object.wait(Native Method)
18.17/5.68		- waiting on <0x00000006ee6b2640> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.68		at java.lang.Object.wait(Object.java:502)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81)
18.17/5.68		- locked <0x00000006ee6b2640> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64)
18.17/5.68		at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682)
18.17/5.68		at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172)
18.17/5.68		at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107)
18.17/5.68		at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83)
18.17/5.68		at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
18.17/5.68		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
18.17/5.68		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"ThreadPoolThread33" #84 daemon prio=6 os_prio=0 tid=0x00002aae8c01c800 nid=0x6ba0 in Object.wait() [0x00002aae26bc4000]
18.17/5.68	   java.lang.Thread.State: WAITING (on object monitor)
18.17/5.68		at java.lang.Object.wait(Native Method)
18.17/5.68		- waiting on <0x00000006e05571f0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.68		at java.lang.Object.wait(Object.java:502)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81)
18.17/5.68		- locked <0x00000006e05571f0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64)
18.17/5.68		at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685)
18.17/5.68		at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200)
18.17/5.68		at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
18.17/5.68		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
18.17/5.68		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"ThreadPoolThread32" #83 daemon prio=6 os_prio=0 tid=0x00002aae8c00c800 nid=0x6b9f in Object.wait() [0x00002aae27b7d000]
18.17/5.68	   java.lang.Thread.State: WAITING (on object monitor)
18.17/5.68		at java.lang.Object.wait(Native Method)
18.17/5.68		- waiting on <0x00000006e38078c0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.68		at java.lang.Object.wait(Object.java:502)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81)
18.17/5.68		- locked <0x00000006e38078c0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80)
18.17/5.68		at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
18.17/5.68		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
18.17/5.68		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"Thread-65" #82 daemon prio=6 os_prio=0 tid=0x00002aaea4007000 nid=0x6b9e runnable [0x00002aae2743d000]
18.17/5.68	   java.lang.Thread.State: RUNNABLE
18.17/5.68		at java.io.FileInputStream.readBytes(Native Method)
18.17/5.68		at java.io.FileInputStream.read(FileInputStream.java:255)
18.17/5.68		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
18.17/5.68		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
18.17/5.68		- locked <0x00000006c88e5820> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.68		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
18.17/5.68		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
18.17/5.68		- locked <0x00000006de53e8b8> (a java.io.BufferedInputStream)
18.17/5.68		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
18.17/5.68		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
18.17/5.68		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
18.17/5.68		- locked <0x00000006de540978> (a java.io.InputStreamReader)
18.17/5.68		at java.io.InputStreamReader.read(InputStreamReader.java:184)
18.17/5.68		at java.io.Reader.read(Reader.java:100)
18.17/5.68		at java.util.Scanner.readInput(Scanner.java:804)
18.17/5.68		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
18.17/5.68		at java.util.Scanner.hasNextLine(Scanner.java:1500)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
18.17/5.68	
18.17/5.68	"Thread-63" #80 daemon prio=6 os_prio=0 tid=0x00002aaea4003800 nid=0x6b9d runnable [0x00002aae27679000]
18.17/5.68	   java.lang.Thread.State: RUNNABLE
18.17/5.68		at java.io.FileInputStream.readBytes(Native Method)
18.17/5.68		at java.io.FileInputStream.read(FileInputStream.java:255)
18.17/5.68		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
18.17/5.68		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
18.17/5.68		- locked <0x00000006c88e3760> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.68		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
18.17/5.68		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
18.17/5.68		- locked <0x00000006ddafeba0> (a java.io.BufferedInputStream)
18.17/5.68		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
18.17/5.68		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
18.17/5.68		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
18.17/5.68		- locked <0x00000006ddb00c60> (a java.io.InputStreamReader)
18.17/5.68		at java.io.InputStreamReader.read(InputStreamReader.java:184)
18.17/5.68		at java.io.Reader.read(Reader.java:100)
18.17/5.68		at java.util.Scanner.readInput(Scanner.java:804)
18.17/5.68		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
18.17/5.68		at java.util.Scanner.hasNextLine(Scanner.java:1500)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
18.17/5.68	
18.17/5.68	"Thread-62" #79 daemon prio=6 os_prio=0 tid=0x00002aae88094800 nid=0x6b9b runnable [0x00002aae2777a000]
18.17/5.68	   java.lang.Thread.State: RUNNABLE
18.17/5.68		at java.io.FileInputStream.readBytes(Native Method)
18.17/5.68		at java.io.FileInputStream.read(FileInputStream.java:255)
18.17/5.68		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
18.17/5.68		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
18.17/5.68		- locked <0x00000006c55c4628> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.68		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
18.17/5.68		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
18.17/5.68		- locked <0x00000006dd0bee88> (a java.io.BufferedInputStream)
18.17/5.68		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
18.17/5.68		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
18.17/5.68		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
18.17/5.68		- locked <0x00000006dd0c0f48> (a java.io.InputStreamReader)
18.17/5.68		at java.io.InputStreamReader.read(InputStreamReader.java:184)
18.17/5.68		at java.io.Reader.read(Reader.java:100)
18.17/5.68		at java.util.Scanner.readInput(Scanner.java:804)
18.17/5.68		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
18.17/5.68		at java.util.Scanner.hasNextLine(Scanner.java:1500)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
18.17/5.68	
18.17/5.68	"Thread-60" #78 daemon prio=6 os_prio=0 tid=0x00002aae88097000 nid=0x6b95 runnable [0x00002aae2753f000]
18.17/5.68	   java.lang.Thread.State: RUNNABLE
18.17/5.68		at java.io.FileInputStream.readBytes(Native Method)
18.17/5.68		at java.io.FileInputStream.read(FileInputStream.java:255)
18.17/5.68		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
18.17/5.68		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
18.17/5.68		- locked <0x00000006c55c2568> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.68		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
18.17/5.68		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
18.17/5.68		- locked <0x00000006dc67f170> (a java.io.BufferedInputStream)
18.17/5.68		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
18.17/5.68		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
18.17/5.68		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
18.17/5.68		- locked <0x00000006dc681230> (a java.io.InputStreamReader)
18.17/5.68		at java.io.InputStreamReader.read(InputStreamReader.java:184)
18.17/5.68		at java.io.Reader.read(Reader.java:100)
18.17/5.68		at java.util.Scanner.readInput(Scanner.java:804)
18.17/5.68		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
18.17/5.68		at java.util.Scanner.hasNextLine(Scanner.java:1500)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
18.17/5.68	
18.17/5.68	"process reaper" #62 daemon prio=10 os_prio=0 tid=0x00002aae7c02c000 nid=0x6b79 waiting on condition [0x00002aae27e64000]
18.17/5.68	   java.lang.Thread.State: TIMED_WAITING (parking)
18.17/5.68		at sun.misc.Unsafe.park(Native Method)
18.17/5.68		- parking to wait for  <0x00000004400758b0> (a java.util.concurrent.SynchronousQueue$TransferStack)
18.17/5.68		at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215)
18.17/5.68		at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460)
18.17/5.68		at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362)
18.17/5.68		at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941)
18.17/5.68		at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073)
18.17/5.68		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134)
18.17/5.68		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"process reaper" #59 daemon prio=10 os_prio=0 tid=0x00002aaea4002800 nid=0x6b76 runnable [0x00002aae27e2b000]
18.17/5.68	   java.lang.Thread.State: RUNNABLE
18.17/5.68		at java.lang.UNIXProcess.waitForProcessExit(Native Method)
18.17/5.68		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289)
18.17/5.68		at java.lang.UNIXProcess$$Lambda$12/1467699158.run(Unknown Source)
18.17/5.68		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
18.17/5.68		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"process reaper" #56 daemon prio=10 os_prio=0 tid=0x00002aae98019000 nid=0x6b70 runnable [0x00002aae27df2000]
18.17/5.68	   java.lang.Thread.State: RUNNABLE
18.17/5.68		at java.lang.UNIXProcess.waitForProcessExit(Native Method)
18.17/5.68		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289)
18.17/5.68		at java.lang.UNIXProcess$$Lambda$12/1467699158.run(Unknown Source)
18.17/5.68		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
18.17/5.68		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"ThreadPoolThread28" #55 daemon prio=6 os_prio=0 tid=0x00002aae8c02b800 nid=0x6b6f in Object.wait() [0x00002aae2733d000]
18.17/5.68	   java.lang.Thread.State: WAITING (on object monitor)
18.17/5.68		at java.lang.Object.wait(Native Method)
18.17/5.68		- waiting on <0x00000006d0e41bb0> (a java.lang.UNIXProcess)
18.17/5.68		at java.lang.Object.wait(Object.java:502)
18.17/5.68		at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395)
18.17/5.68		- locked <0x00000006d0e41bb0> (a java.lang.UNIXProcess)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50)
18.17/5.68		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
18.17/5.68		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
18.17/5.68		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"process reaper" #52 daemon prio=10 os_prio=0 tid=0x00002aaeb0004800 nid=0x6b6c runnable [0x00002aae27bb7000]
18.17/5.68	   java.lang.Thread.State: RUNNABLE
18.17/5.68		at java.lang.UNIXProcess.waitForProcessExit(Native Method)
18.17/5.68		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289)
18.17/5.68		at java.lang.UNIXProcess$$Lambda$12/1467699158.run(Unknown Source)
18.17/5.68		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
18.17/5.68		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"process reaper" #45 daemon prio=10 os_prio=0 tid=0x00002aae88094000 nid=0x6b5b waiting on condition [0x00002aae27578000]
18.17/5.68	   java.lang.Thread.State: TIMED_WAITING (parking)
18.17/5.68		at sun.misc.Unsafe.park(Native Method)
18.17/5.68		- parking to wait for  <0x00000004400758b0> (a java.util.concurrent.SynchronousQueue$TransferStack)
18.17/5.68		at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215)
18.17/5.68		at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460)
18.17/5.68		at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362)
18.17/5.68		at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941)
18.17/5.68		at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073)
18.17/5.68		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134)
18.17/5.68		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"process reaper" #41 daemon prio=10 os_prio=0 tid=0x00002aae7c02b000 nid=0x6b54 waiting on condition [0x00002aae2723c000]
18.17/5.68	   java.lang.Thread.State: RUNNABLE
18.17/5.68		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
18.17/5.68		- locked <0x00000006ec784c30> (a java.io.FileDescriptor)
18.17/5.68		at java.io.FileInputStream.close(FileInputStream.java:326)
18.17/5.68		at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533)
18.17/5.68		- locked <0x00000006ec786c98> (a java.lang.Object)
18.17/5.68		- locked <0x00000006ec784be8> (a java.lang.UNIXProcess$ProcessPipeInputStream)
18.17/5.68		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298)
18.17/5.68		at java.lang.UNIXProcess$$Lambda$12/1467699158.run(Unknown Source)
18.17/5.68		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
18.17/5.68		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"process reaper" #40 daemon prio=10 os_prio=0 tid=0x00002aae9c003000 nid=0x6b51 waiting on condition [0x00002aae27203000]
18.17/5.68	   java.lang.Thread.State: TIMED_WAITING (parking)
18.17/5.68		at sun.misc.Unsafe.park(Native Method)
18.17/5.68		- parking to wait for  <0x00000004400758b0> (a java.util.concurrent.SynchronousQueue$TransferStack)
18.17/5.68		at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215)
18.17/5.68		at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460)
18.17/5.68		at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362)
18.17/5.68		at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941)
18.17/5.68		at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073)
18.17/5.68		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134)
18.17/5.68		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"ThreadPoolThread24" #37 daemon prio=6 os_prio=0 tid=0x00002aae8c014000 nid=0x6b47 in Object.wait() [0x00002aae25ab8000]
18.17/5.68	   java.lang.Thread.State: WAITING (on object monitor)
18.17/5.68		at java.lang.Object.wait(Native Method)
18.17/5.68		- waiting on <0x00000006c88e1630> (a java.lang.UNIXProcess)
18.17/5.68		at java.lang.Object.wait(Object.java:502)
18.17/5.68		at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395)
18.17/5.68		- locked <0x00000006c88e1630> (a java.lang.UNIXProcess)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50)
18.17/5.68		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
18.17/5.68		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
18.17/5.68		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"ThreadPoolThread14" #27 daemon prio=6 os_prio=0 tid=0x00002aae8c015800 nid=0x6b3d in Object.wait() [0x00002aae256b4000]
18.17/5.68	   java.lang.Thread.State: WAITING (on object monitor)
18.17/5.68		at java.lang.Object.wait(Native Method)
18.17/5.68		- waiting on <0x00000006c55c0438> (a java.lang.UNIXProcess)
18.17/5.68		at java.lang.Object.wait(Object.java:502)
18.17/5.68		at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395)
18.17/5.68		- locked <0x00000006c55c0438> (a java.lang.UNIXProcess)
18.17/5.68		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50)
18.17/5.68		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
18.17/5.68		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
18.17/5.68		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"process reaper" #20 daemon prio=10 os_prio=0 tid=0x00002aae84013800 nid=0x6b35 waiting on condition [0x00002aae1ffe8000]
18.17/5.68	   java.lang.Thread.State: TIMED_WAITING (parking)
18.17/5.68		at sun.misc.Unsafe.park(Native Method)
18.17/5.68		- parking to wait for  <0x00000004400758b0> (a java.util.concurrent.SynchronousQueue$TransferStack)
18.17/5.68		at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215)
18.17/5.68		at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460)
18.17/5.68		at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362)
18.17/5.68		at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941)
18.17/5.68		at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073)
18.17/5.68		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134)
18.17/5.68		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002aae8c00b800 nid=0x6b33 waiting on condition [0x00002aae257b5000]
18.17/5.68	   java.lang.Thread.State: RUNNABLE
18.17/5.68		at aprove.Strategies.Abortions.Clock.increaseTime(Clock.java:77)
18.17/5.68		- locked <0x00000006bdae1000> (a aprove.Strategies.Abortions.Clock)
18.17/5.68		at aprove.Strategies.Abortions.Abortion.increaseTime(Abortion.java:211)
18.17/5.68		at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:115)
18.17/5.68		at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65)
18.17/5.68		at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54)
18.17/5.68	
18.17/5.68	"DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002aae087e1000 nid=0x6b32 waiting on condition [0x00002aae258b5000]
18.17/5.68	   java.lang.Thread.State: RUNNABLE
18.17/5.68		at aprove.ProofTree.Obligations.ObligationNode.addTruthValueListener(ObligationNode.java:60)
18.17/5.68		- locked <0x00000006ad924ae0> (a aprove.ProofTree.Obligations.JunctorObligationNode)
18.17/5.68		at aprove.ProofTree.Obligations.BasicObligationNode.addTechnique(BasicObligationNode.java:120)
18.17/5.68		- locked <0x00000006c2cb3bb8> (a aprove.ProofTree.Obligations.BasicObligationNode)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.ExecResult.exec(ExecResult.java:37)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.ExecProcessorStrategy.finish(ExecProcessorStrategy.java:83)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.ExecProcessorStrategy.exec(ExecProcessorStrategy.java:64)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.ExecSequence.exec(ExecSequence.java:24)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.StrategyRoot.evaluateOnce(StrategyRoot.java:35)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine$CmdExec.run(DefaultMachine.java:247)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:174)
18.17/5.68		at java.lang.Thread.run(Thread.java:748)
18.17/5.68	
18.17/5.68	"Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002aae08187800 nid=0x6b28 runnable [0x0000000000000000]
18.17/5.68	   java.lang.Thread.State: RUNNABLE
18.17/5.68	
18.17/5.68	"C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002aae08184000 nid=0x6b27 waiting on condition [0x0000000000000000]
18.17/5.68	   java.lang.Thread.State: RUNNABLE
18.17/5.68	
18.17/5.68	"C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002aae08182800 nid=0x6b26 waiting on condition [0x0000000000000000]
18.17/5.68	   java.lang.Thread.State: RUNNABLE
18.17/5.68	
18.17/5.68	"C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002aae0817f800 nid=0x6b25 waiting on condition [0x0000000000000000]
18.17/5.68	   java.lang.Thread.State: RUNNABLE
18.17/5.68	
18.17/5.68	"Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002aae0817e000 nid=0x6b24 waiting on condition [0x0000000000000000]
18.17/5.68	   java.lang.Thread.State: RUNNABLE
18.17/5.68	
18.17/5.68	"Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002aae0814a000 nid=0x6b23 in Object.wait() [0x00002aae24b09000]
18.17/5.68	   java.lang.Thread.State: WAITING (on object monitor)
18.17/5.68		at java.lang.Object.wait(Native Method)
18.17/5.68		- waiting on <0x0000000440107578> (a java.lang.ref.ReferenceQueue$Lock)
18.17/5.68		at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143)
18.17/5.68		- locked <0x0000000440107578> (a java.lang.ref.ReferenceQueue$Lock)
18.17/5.68		at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164)
18.17/5.68		at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209)
18.17/5.68	
18.17/5.68	"Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002aae08145800 nid=0x6b22 in Object.wait() [0x00002aae24a08000]
18.17/5.68	   java.lang.Thread.State: WAITING (on object monitor)
18.17/5.68		at java.lang.Object.wait(Native Method)
18.17/5.68		- waiting on <0x0000000440097808> (a java.lang.ref.Reference$Lock)
18.17/5.68		at java.lang.Object.wait(Object.java:502)
18.17/5.68		at java.lang.ref.Reference.tryHandlePending(Reference.java:191)
18.17/5.68		- locked <0x0000000440097808> (a java.lang.ref.Reference$Lock)
18.17/5.68		at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153)
18.17/5.68	
18.17/5.68	"main" #1 prio=5 os_prio=0 tid=0x00002aae08008800 nid=0x6b1b in Object.wait() [0x00002aae0428b000]
18.17/5.68	   java.lang.Thread.State: WAITING (on object monitor)
18.17/5.68		at java.lang.Object.wait(Native Method)
18.17/5.68		- waiting on <0x000000044001f320> (a aprove.Strategies.ExecutableStrategies.impl.Handle)
18.17/5.68		at java.lang.Object.wait(Object.java:502)
18.17/5.68		at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42)
18.17/5.68		- locked <0x000000044001f320> (a aprove.Strategies.ExecutableStrategies.impl.Handle)
18.17/5.68		at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32)
18.17/5.68		at aprove.Runtime.AProVE.run(AProVE.java:101)
18.17/5.68		at aprove.CommandLineInterface.Main.run(Main.java:94)
18.17/5.68		at aprove.CommandLineInterface.Main.doMain(Main.java:42)
18.17/5.68		at aprove.Main.doMain(Main.java:54)
18.17/5.68		at aprove.Main.main(Main.java:20)
18.17/5.68	
18.17/5.68	"VM Thread" os_prio=0 tid=0x00002aae0813e000 nid=0x6b21 runnable 
18.17/5.68	
18.17/5.68	"GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002aae0801e000 nid=0x6b1d runnable 
18.17/5.68	
18.17/5.68	"GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002aae0801f800 nid=0x6b1e runnable 
18.17/5.68	
18.17/5.68	"GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002aae08021800 nid=0x6b1f runnable 
18.17/5.68	
18.17/5.68	"GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002aae08023800 nid=0x6b20 runnable 
18.17/5.68	
18.17/5.68	"VM Periodic Task Thread" os_prio=0 tid=0x00002aae0818a800 nid=0x6b29 waiting on condition 
18.17/5.68	
18.50/5.71	JNI global references: 376
18.50/5.71	
18.50/5.77	Heap
18.50/5.77	 PSYoungGen      total 4281856K, used 1888211K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000)
18.50/5.77	  eden space 3670528K, 51% used [0x0000000695580000,0x0000000708974ca8,0x0000000775600000)
18.50/5.77	  from space 611328K, 0% used [0x0000000775600000,0x0000000775600000,0x000000079ab00000)
18.50/5.77	  to   space 611328K, 0% used [0x000000079ab00000,0x000000079ab00000,0x00000007c0000000)
18.50/5.77	 ParOldGen       total 9786880K, used 24926K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000)
18.50/5.77	  object space 9786880K, 0% used [0x0000000440000000,0x0000000441857870,0x0000000695580000)
18.50/5.77	 Metaspace       used 22668K, capacity 22968K, committed 23424K, reserved 1071104K
18.50/5.77	  class space    used 2541K, capacity 2618K, committed 2688K, reserved 1048576K
18.50/5.77	
18.78/5.79	YES
18.78/5.80	proof of /export/starexec/sandbox/benchmark/theBenchmark.c
18.78/5.80	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
18.78/5.80	
18.78/5.80	
18.78/5.80	Termination of the given C Problem could be proven:
18.78/5.80	
18.78/5.80	(0) C Problem
18.78/5.80	(1) CToLLVMProof [EQUIVALENT, 172 ms]
18.78/5.80	(2) LLVM problem
18.78/5.80	(3) LLVMToTerminationGraphProof [EQUIVALENT, 988 ms]
18.78/5.80	(4) LLVM Symbolic Execution Graph
18.78/5.80	(5) SymbolicExecutionGraphToSCCProof [SOUND, 0 ms]
18.78/5.80	(6) AND
18.78/5.80	    (7) LLVM Symbolic Execution SCC
18.78/5.80	        (8) SCC2IRS [SOUND, 26 ms]
18.78/5.80	        (9) IntTRS
18.78/5.80	        (10) IntTRSCompressionProof [EQUIVALENT, 1 ms]
18.78/5.80	        (11) IntTRS
18.78/5.80	        (12) PolynomialOrderProcessor [EQUIVALENT, 10 ms]
18.78/5.80	        (13) YES
18.78/5.80	    (14) LLVM Symbolic Execution SCC
18.78/5.80	        (15) SCC2IRS [SOUND, 59 ms]
18.78/5.80	        (16) IntTRS
18.78/5.80	        (17) IntTRSCompressionProof [EQUIVALENT, 1 ms]
18.78/5.80	        (18) IntTRS
18.78/5.80	        (19) PolynomialOrderProcessor [EQUIVALENT, 5 ms]
18.78/5.80	        (20) YES
18.78/5.80	    (21) LLVM Symbolic Execution SCC
18.78/5.80	        (22) SCC2IRS [SOUND, 16 ms]
18.78/5.80	        (23) IntTRS
18.78/5.80	        (24) IntTRSCompressionProof [EQUIVALENT, 1 ms]
18.78/5.80	        (25) IntTRS
18.78/5.80	        (26) PolynomialOrderProcessor [EQUIVALENT, 11 ms]
18.78/5.80	        (27) YES
18.78/5.80	
18.78/5.80	
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(0)
18.78/5.80	Obligation:
18.78/5.80	c file /export/starexec/sandbox/benchmark/theBenchmark.c
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(1) CToLLVMProof (EQUIVALENT)
18.78/5.80	Compiled c-file /export/starexec/sandbox/benchmark/theBenchmark.c to LLVM.
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(2)
18.78/5.80	Obligation:
18.78/5.80	LLVM Problem
18.78/5.80	
18.78/5.80	Aliases:
18.78/5.80	
18.78/5.80	Data layout:
18.78/5.80	
18.78/5.80	"e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
18.78/5.80	
18.78/5.80	Machine:
18.78/5.80	
18.78/5.80	"x86_64-pc-linux-gnu"
18.78/5.80	
18.78/5.80	Type definitions:
18.78/5.80	
18.78/5.80	Global variables:
18.78/5.80	
18.78/5.80	Function declarations and definitions:
18.78/5.80	
18.78/5.80	*BasicFunctionTypename: "__VERIFIER_nondet_int" returnParam: i32 parameters: () variableLength: false visibilityType: DEFAULT callingConvention: ccc
18.78/5.80	*BasicFunctionTypename: "main" linkageType: EXTERNALLY_VISIBLE returnParam: i32 parameters: () variableLength: false visibilityType: DEFAULT callingConvention: ccc
18.78/5.80		0:
18.78/5.80			%1 = alloca i32, align 4
18.78/5.80			%x = alloca i32, align 4
18.78/5.80			%y = alloca i32, align 4
18.78/5.80			store 0, %1
18.78/5.80			%2 = call i32 @__VERIFIER_nondet_int()
18.78/5.80			store %2, %x
18.78/5.80			%3 = call i32 @__VERIFIER_nondet_int()
18.78/5.80			store %3, %y
18.78/5.80			br %4
18.78/5.80		4:
18.78/5.80			%5 = load %x
18.78/5.80			%6 = icmp sge %5 0
18.78/5.80			br %6, %7, %10
18.78/5.80		7:
18.78/5.80			%8 = load %x
18.78/5.80			%9 = sub %8 1
18.78/5.80			store %9, %x
18.78/5.80			br %17
18.78/5.80		10:
18.78/5.80			%11 = load %y
18.78/5.80			%12 = icmp slt %11 0
18.78/5.80			br %12, %13, %14
18.78/5.80		13:
18.78/5.80			br %18
18.78/5.80		14:
18.78/5.80			%15 = load %y
18.78/5.80			%16 = sub %15 1
18.78/5.80			store %16, %y
18.78/5.80			br %17
18.78/5.80		17:
18.78/5.80			br %4
18.78/5.80		18:
18.78/5.80			ret 0
18.78/5.80	
18.78/5.80	
18.78/5.80	Analyze Termination of all function calls matching the pattern:
18.78/5.80	main()
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(3) LLVMToTerminationGraphProof (EQUIVALENT)
18.78/5.80	Constructed symbolic execution graph for LLVM program and proved memory safety.
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(4)
18.78/5.80	Obligation:
18.78/5.80	SE Graph
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(5) SymbolicExecutionGraphToSCCProof (SOUND)
18.78/5.80	Splitted symbolic execution graph to 3 SCCs.
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(6)
18.78/5.80	Complex Obligation (AND)
18.78/5.80	
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(7)
18.78/5.80	Obligation:
18.78/5.80	SCC
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(8) SCC2IRS (SOUND)
18.78/5.80	Transformed LLVM symbolic execution graph SCC into a rewrite problem. Log: 
18.78/5.80	Generated rules. Obtained 13 rulesP rules:
18.78/5.80	f_263(v345, v346, v347, v348, v349, -1, 0, v352, v353, v354, v355, v356, 3, 1, 4) -> f_264(v345, v346, v347, v348, v349, -1, 0, v352, v353, v354, v355, v356, 3, 1, 4) :|: 0 = 0
18.78/5.80	f_264(v345, v346, v347, v348, v349, -1, 0, v352, v353, v354, v355, v356, 3, 1, 4) -> f_265(v345, v346, v347, v348, v349, -1, 0, v352, v353, v354, v355, v356, 3, 1, 4) :|: 0 = 0
18.78/5.80	f_265(v345, v346, v347, v348, v349, -1, 0, v352, v353, v354, v355, v356, 3, 1, 4) -> f_266(v345, v346, v347, v348, v349, -1, 0, v352, v353, v354, v355, v356, 3, 1, 4) :|: TRUE
18.78/5.80	f_266(v345, v346, v347, v348, v349, -1, 0, v352, v353, v354, v355, v356, 3, 1, 4) -> f_267(v345, v346, v347, v348, v349, -1, 0, v353, v352, v354, v355, v356, 3, 1, 4) :|: 0 = 0
18.78/5.80	f_267(v345, v346, v347, v348, v349, -1, 0, v353, v352, v354, v355, v356, 3, 1, 4) -> f_269(v345, v346, v347, v348, v349, -1, 0, v353, v352, v354, v355, v356, 3, 1, 4) :|: 0 <= v353 && 1 <= v352 && 1 <= v349
18.78/5.80	f_269(v345, v346, v347, v348, v349, -1, 0, v353, v352, v354, v355, v356, 3, 1, 4) -> f_271(v345, v346, v347, v348, v349, -1, 0, v353, v352, v354, v355, v356, 3, 1, 4) :|: 0 = 0
18.78/5.80	f_271(v345, v346, v347, v348, v349, -1, 0, v353, v352, v354, v355, v356, 3, 1, 4) -> f_273(v345, v346, v347, v348, v349, -1, 0, v353, v352, v354, v355, v356, 3, 1, 4) :|: TRUE
18.78/5.80	f_273(v345, v346, v347, v348, v349, -1, 0, v353, v352, v354, v355, v356, 3, 1, 4) -> f_275(v345, v346, v347, v348, v349, -1, 0, v353, v354, v355, v356, 3, 1, 4) :|: 0 = 0
18.78/5.80	f_275(v345, v346, v347, v348, v349, -1, 0, v353, v354, v355, v356, 3, 1, 4) -> f_276(v345, v346, v347, v348, v349, -1, 0, v353, v400, v354, v355, v356, 3, 1, 4) :|: 1 + v400 = v353 && 0 <= 1 + v400
18.78/5.80	f_276(v345, v346, v347, v348, v349, -1, 0, v353, v400, v354, v355, v356, 3, 1, 4) -> f_277(v345, v346, v347, v348, v349, -1, 0, v353, v400, v354, v355, v356, 3, 1, 4) :|: TRUE
18.78/5.80	f_277(v345, v346, v347, v348, v349, -1, 0, v353, v400, v354, v355, v356, 3, 1, 4) -> f_278(v345, v346, v347, v348, v349, -1, 0, v353, v400, v354, v355, v356, 3, 1, 4) :|: TRUE
18.78/5.80	f_278(v345, v346, v347, v348, v349, -1, 0, v353, v400, v354, v355, v356, 3, 1, 4) -> f_262(v345, v346, v347, v348, v349, -1, 0, v353, v400, v354, v355, v356, 3, 1, 4) :|: TRUE
18.78/5.80	f_262(v345, v346, v347, v348, v349, -1, 0, v352, v353, v354, v355, v356, 3, 1, 4) -> f_263(v345, v346, v347, v348, v349, -1, 0, v352, v353, v354, v355, v356, 3, 1, 4) :|: TRUE
18.78/5.80	Combined rules. Obtained 1 rulesP rules:
18.78/5.80	f_263(v345:0, v346:0, v347:0, v348:0, v349:0, -1, 0, v352:0, 1 + v400:0, v354:0, v355:0, v356:0, 3, 1, 4) -> f_263(v345:0, v346:0, v347:0, v348:0, v349:0, -1, 0, 1 + v400:0, v400:0, v354:0, v355:0, v356:0, 3, 1, 4) :|: v352:0 > 0 && v400:0 > -2 && v349:0 > 0
18.78/5.80	Filtered unneeded arguments:
18.78/5.80	   f_263(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15) -> f_263(x5, x8, x9)
18.78/5.80	Removed division, modulo operations, cleaned up constraints. Obtained 1 rules.P rules:
18.78/5.80	f_263(v349:0, v352:0, sum~cons_1~v400:0) -> f_263(v349:0, 1 + v400:0, v400:0) :|: v400:0 > -2 && v349:0 > 0 && v352:0 > 0 && sum~cons_1~v400:0 = 1 + v400:0
18.78/5.80	
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(9)
18.78/5.80	Obligation:
18.78/5.80	Rules:
18.78/5.80	f_263(v349:0, v352:0, sum~cons_1~v400:0) -> f_263(v349:0, 1 + v400:0, v400:0) :|: v400:0 > -2 && v349:0 > 0 && v352:0 > 0 && sum~cons_1~v400:0 = 1 + v400:0
18.78/5.80	
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(10) IntTRSCompressionProof (EQUIVALENT)
18.78/5.80	Compressed rules.
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(11)
18.78/5.80	Obligation:
18.78/5.80	Rules:
18.78/5.80	f_263(v349:0:0, v352:0:0, sum~cons_1~v400:0:0) -> f_263(v349:0:0, 1 + v400:0:0, v400:0:0) :|: v400:0:0 > -2 && v349:0:0 > 0 && v352:0:0 > 0 && sum~cons_1~v400:0:0 = 1 + v400:0:0
18.78/5.80	
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(12) PolynomialOrderProcessor (EQUIVALENT)
18.78/5.80	Found the following polynomial interpretation:
18.78/5.80	[f_263(x, x1, x2)] = x2
18.78/5.80	
18.78/5.80	The following rules are decreasing:
18.78/5.80	f_263(v349:0:0, v352:0:0, sum~cons_1~v400:0:0) -> f_263(v349:0:0, 1 + v400:0:0, v400:0:0) :|: v400:0:0 > -2 && v349:0:0 > 0 && v352:0:0 > 0 && sum~cons_1~v400:0:0 = 1 + v400:0:0
18.78/5.80	The following rules are bounded:
18.78/5.80	f_263(v349:0:0, v352:0:0, sum~cons_1~v400:0:0) -> f_263(v349:0:0, 1 + v400:0:0, v400:0:0) :|: v400:0:0 > -2 && v349:0:0 > 0 && v352:0:0 > 0 && sum~cons_1~v400:0:0 = 1 + v400:0:0
18.78/5.80	
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(13)
18.78/5.80	YES
18.78/5.80	
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(14)
18.78/5.80	Obligation:
18.78/5.80	SCC
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(15) SCC2IRS (SOUND)
18.78/5.80	Transformed LLVM symbolic execution graph SCC into a rewrite problem. Log: 
18.78/5.80	Generated rules. Obtained 13 rulesP rules:
18.78/5.80	f_211(v123, v124, v125, v126, v127, 0, v129, v130, v131, v132, v133, 3, 1, 4) -> f_213(v123, v124, v125, v126, v127, 0, v129, v130, v131, v132, v133, 3, 1, 4) :|: 0 = 0
18.78/5.80	f_213(v123, v124, v125, v126, v127, 0, v129, v130, v131, v132, v133, 3, 1, 4) -> f_215(v123, v124, v125, v126, v127, 0, v129, v130, v131, v132, v133, 3, 1, 4) :|: 0 = 0
18.78/5.80	f_215(v123, v124, v125, v126, v127, 0, v129, v130, v131, v132, v133, 3, 1, 4) -> f_217(v123, v124, v125, v126, v127, 0, v129, v130, v131, v132, v133, 3, 1, 4) :|: TRUE
18.78/5.80	f_217(v123, v124, v125, v126, v127, 0, v129, v130, v131, v132, v133, 3, 1, 4) -> f_219(v123, v124, v125, v126, v127, 0, v130, v129, v131, v132, v133, 3, 1, 4) :|: 0 = 0
18.78/5.80	f_219(v123, v124, v125, v126, v127, 0, v130, v129, v131, v132, v133, 3, 1, 4) -> f_222(v123, v124, v125, v126, v127, 0, v130, v129, v131, v132, v133, 3, 1, 4) :|: 0 <= v130 && 1 <= v129 && 1 <= v127
18.78/5.80	f_222(v123, v124, v125, v126, v127, 0, v130, v129, v131, v132, v133, 3, 1, 4) -> f_225(v123, v124, v125, v126, v127, 0, v130, v129, v131, v132, v133, 3, 1, 4) :|: 0 = 0
18.78/5.80	f_225(v123, v124, v125, v126, v127, 0, v130, v129, v131, v132, v133, 3, 1, 4) -> f_228(v123, v124, v125, v126, v127, 0, v130, v129, v131, v132, v133, 3, 1, 4) :|: TRUE
18.78/5.80	f_228(v123, v124, v125, v126, v127, 0, v130, v129, v131, v132, v133, 3, 1, 4) -> f_232(v123, v124, v125, v126, v127, 0, v130, v131, v132, v133, 3, 1, 4) :|: 0 = 0
18.78/5.80	f_232(v123, v124, v125, v126, v127, 0, v130, v131, v132, v133, 3, 1, 4) -> f_235(v123, v124, v125, v126, v127, 0, v130, v203, v131, v132, v133, 3, 1, 4) :|: 1 + v203 = v130 && 0 <= 1 + v203
18.78/5.80	f_235(v123, v124, v125, v126, v127, 0, v130, v203, v131, v132, v133, 3, 1, 4) -> f_238(v123, v124, v125, v126, v127, 0, v130, v203, v131, v132, v133, 3, 1, 4) :|: TRUE
18.78/5.80	f_238(v123, v124, v125, v126, v127, 0, v130, v203, v131, v132, v133, 3, 1, 4) -> f_241(v123, v124, v125, v126, v127, 0, v130, v203, v131, v132, v133, 3, 1, 4) :|: TRUE
18.78/5.80	f_241(v123, v124, v125, v126, v127, 0, v130, v203, v131, v132, v133, 3, 1, 4) -> f_209(v123, v124, v125, v126, v127, 0, v130, v203, v131, v132, v133, 3, 1, 4) :|: TRUE
18.78/5.80	f_209(v123, v124, v125, v126, v127, 0, v129, v130, v131, v132, v133, 3, 1, 4) -> f_211(v123, v124, v125, v126, v127, 0, v129, v130, v131, v132, v133, 3, 1, 4) :|: TRUE
18.78/5.80	Combined rules. Obtained 1 rulesP rules:
18.78/5.80	f_211(v123:0, v124:0, v125:0, v126:0, v127:0, 0, v129:0, 1 + v203:0, v131:0, v132:0, v133:0, 3, 1, 4) -> f_211(v123:0, v124:0, v125:0, v126:0, v127:0, 0, 1 + v203:0, v203:0, v131:0, v132:0, v133:0, 3, 1, 4) :|: v129:0 > 0 && v203:0 > -2 && v127:0 > 0
18.78/5.80	Filtered unneeded arguments:
18.78/5.80	   f_211(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14) -> f_211(x5, x7, x8)
18.78/5.80	Removed division, modulo operations, cleaned up constraints. Obtained 1 rules.P rules:
18.78/5.80	f_211(v127:0, v129:0, sum~cons_1~v203:0) -> f_211(v127:0, 1 + v203:0, v203:0) :|: v203:0 > -2 && v127:0 > 0 && v129:0 > 0 && sum~cons_1~v203:0 = 1 + v203:0
18.78/5.80	
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(16)
18.78/5.80	Obligation:
18.78/5.80	Rules:
18.78/5.80	f_211(v127:0, v129:0, sum~cons_1~v203:0) -> f_211(v127:0, 1 + v203:0, v203:0) :|: v203:0 > -2 && v127:0 > 0 && v129:0 > 0 && sum~cons_1~v203:0 = 1 + v203:0
18.78/5.80	
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(17) IntTRSCompressionProof (EQUIVALENT)
18.78/5.80	Compressed rules.
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(18)
18.78/5.80	Obligation:
18.78/5.80	Rules:
18.78/5.80	f_211(v127:0:0, v129:0:0, sum~cons_1~v203:0:0) -> f_211(v127:0:0, 1 + v203:0:0, v203:0:0) :|: v203:0:0 > -2 && v127:0:0 > 0 && v129:0:0 > 0 && sum~cons_1~v203:0:0 = 1 + v203:0:0
18.78/5.80	
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(19) PolynomialOrderProcessor (EQUIVALENT)
18.78/5.80	Found the following polynomial interpretation:
18.78/5.80	[f_211(x, x1, x2)] = x2
18.78/5.80	
18.78/5.80	The following rules are decreasing:
18.78/5.80	f_211(v127:0:0, v129:0:0, sum~cons_1~v203:0:0) -> f_211(v127:0:0, 1 + v203:0:0, v203:0:0) :|: v203:0:0 > -2 && v127:0:0 > 0 && v129:0:0 > 0 && sum~cons_1~v203:0:0 = 1 + v203:0:0
18.78/5.80	The following rules are bounded:
18.78/5.80	f_211(v127:0:0, v129:0:0, sum~cons_1~v203:0:0) -> f_211(v127:0:0, 1 + v203:0:0, v203:0:0) :|: v203:0:0 > -2 && v127:0:0 > 0 && v129:0:0 > 0 && sum~cons_1~v203:0:0 = 1 + v203:0:0
18.78/5.80	
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(20)
18.78/5.80	YES
18.78/5.80	
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(21)
18.78/5.80	Obligation:
18.78/5.80	SCC
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(22) SCC2IRS (SOUND)
18.78/5.80	Transformed LLVM symbolic execution graph SCC into a rewrite problem. Log: 
18.78/5.80	Generated rules. Obtained 10 rulesP rules:
18.78/5.80	f_175(v68, v69, v70, v71, v72, v75, 1, v73, v76, v77, v78, 0, 3, 4) -> f_177(v68, v69, v70, v71, v72, v75, 1, v73, v76, v77, v78, 0, 3, 4) :|: 0 <= v75 && 1 <= v73 && 1 <= v71
18.78/5.80	f_177(v68, v69, v70, v71, v72, v75, 1, v73, v76, v77, v78, 0, 3, 4) -> f_180(v68, v69, v70, v71, v72, v75, 1, v73, v76, v77, v78, 0, 3, 4) :|: 0 = 0
18.78/5.80	f_180(v68, v69, v70, v71, v72, v75, 1, v73, v76, v77, v78, 0, 3, 4) -> f_184(v68, v69, v70, v71, v72, v75, 1, v73, v76, v77, v78, 0, 3, 4) :|: TRUE
18.78/5.80	f_184(v68, v69, v70, v71, v72, v75, 1, v73, v76, v77, v78, 0, 3, 4) -> f_188(v68, v69, v70, v71, v72, v75, 1, v76, v77, v78, 0, 3, 4) :|: 0 = 0
18.78/5.80	f_188(v68, v69, v70, v71, v72, v75, 1, v76, v77, v78, 0, 3, 4) -> f_192(v68, v69, v70, v71, v72, v75, 1, v89, v76, v77, v78, 0, 3, 4) :|: 1 + v89 = v75 && 0 <= 1 + v89
18.78/5.80	f_192(v68, v69, v70, v71, v72, v75, 1, v89, v76, v77, v78, 0, 3, 4) -> f_197(v68, v69, v70, v71, v72, v75, 1, v89, v76, v77, v78, 0, 3, 4) :|: TRUE
18.78/5.80	f_197(v68, v69, v70, v71, v72, v75, 1, v89, v76, v77, v78, 0, 3, 4) -> f_201(v68, v69, v70, v71, v72, v75, 1, v89, v76, v77, v78, 0, 3, 4) :|: TRUE
18.78/5.80	f_201(v68, v69, v70, v71, v72, v75, 1, v89, v76, v77, v78, 0, 3, 4) -> f_205(v68, v69, v70, v71, v72, v75, 1, v89, v76, v77, v78, 0, 3, 4) :|: TRUE
18.78/5.80	f_205(v68, v69, v70, v71, v72, v75, 1, v89, v76, v77, v78, 0, 3, 4) -> f_173(v68, v69, v70, v71, v72, v75, 1, v89, v76, v77, v78, 0, 3, 4) :|: TRUE
18.78/5.80	f_173(v68, v69, v70, v71, v72, v73, 1, v75, v76, v77, v78, 0, 3, 4) -> f_175(v68, v69, v70, v71, v72, v75, 1, v73, v76, v77, v78, 0, 3, 4) :|: 0 = 0
18.78/5.80	Combined rules. Obtained 1 rulesP rules:
18.78/5.80	f_175(v68:0, v69:0, v70:0, v71:0, v72:0, 1 + v89:0, 1, v73:0, v76:0, v77:0, v78:0, 0, 3, 4) -> f_175(v68:0, v69:0, v70:0, v71:0, v72:0, v89:0, 1, 1 + v89:0, v76:0, v77:0, v78:0, 0, 3, 4) :|: v73:0 > 0 && v89:0 > -2 && v71:0 > 0
18.78/5.80	Filtered unneeded arguments:
18.78/5.80	   f_175(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14) -> f_175(x4, x6, x8)
18.78/5.80	Removed division, modulo operations, cleaned up constraints. Obtained 1 rules.P rules:
18.78/5.80	f_175(v71:0, sum~cons_1~v89:0, v73:0) -> f_175(v71:0, v89:0, 1 + v89:0) :|: v89:0 > -2 && v71:0 > 0 && v73:0 > 0 && sum~cons_1~v89:0 = 1 + v89:0
18.78/5.80	
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(23)
18.78/5.80	Obligation:
18.78/5.80	Rules:
18.78/5.80	f_175(v71:0, sum~cons_1~v89:0, v73:0) -> f_175(v71:0, v89:0, 1 + v89:0) :|: v89:0 > -2 && v71:0 > 0 && v73:0 > 0 && sum~cons_1~v89:0 = 1 + v89:0
18.78/5.80	
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(24) IntTRSCompressionProof (EQUIVALENT)
18.78/5.80	Compressed rules.
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(25)
18.78/5.80	Obligation:
18.78/5.80	Rules:
18.78/5.80	f_175(v71:0:0, sum~cons_1~v89:0:0, v73:0:0) -> f_175(v71:0:0, v89:0:0, 1 + v89:0:0) :|: v89:0:0 > -2 && v71:0:0 > 0 && v73:0:0 > 0 && sum~cons_1~v89:0:0 = 1 + v89:0:0
18.78/5.80	
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(26) PolynomialOrderProcessor (EQUIVALENT)
18.78/5.80	Found the following polynomial interpretation:
18.78/5.80	[f_175(x, x1, x2)] = x1
18.78/5.80	
18.78/5.80	The following rules are decreasing:
18.78/5.80	f_175(v71:0:0, sum~cons_1~v89:0:0, v73:0:0) -> f_175(v71:0:0, v89:0:0, 1 + v89:0:0) :|: v89:0:0 > -2 && v71:0:0 > 0 && v73:0:0 > 0 && sum~cons_1~v89:0:0 = 1 + v89:0:0
18.78/5.80	The following rules are bounded:
18.78/5.80	f_175(v71:0:0, sum~cons_1~v89:0:0, v73:0:0) -> f_175(v71:0:0, v89:0:0, 1 + v89:0:0) :|: v89:0:0 > -2 && v71:0:0 > 0 && v73:0:0 > 0 && sum~cons_1~v89:0:0 = 1 + v89:0:0
18.78/5.80	
18.78/5.80	----------------------------------------
18.78/5.80	
18.78/5.80	(27)
18.78/5.80	YES
18.78/5.85	EOF