2019-05-11 07:25:55 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): "Thread-887" #899 daemon prio=6 os_prio=0 tid=0x00002b8734013000 nid=0x42a0 runnable [0x00002b884c583000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-798" #898 daemon prio=6 os_prio=0 tid=0x00002b8734011800 nid=0x429f runnable [0x00002b884c482000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-886" #897 daemon prio=6 os_prio=0 tid=0x00002b881c005800 nid=0x429e runnable [0x00002b884914f000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-799" #896 daemon prio=6 os_prio=0 tid=0x00002b881c003000 nid=0x429d runnable [0x00002b884813f000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-885" #895 daemon prio=6 os_prio=0 tid=0x00002b8814003800 nid=0x429c runnable [0x00002b884904e000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-802" #894 daemon prio=6 os_prio=0 tid=0x00002b8814001000 nid=0x429b runnable [0x00002b8848f4d000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-884" #893 daemon prio=6 os_prio=0 tid=0x00002b878002b000 nid=0x429a runnable [0x00002b872ac61000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-803" #892 daemon prio=6 os_prio=0 tid=0x00002b8780021000 nid=0x4299 runnable [0x00002b872ad62000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-883" #891 daemon prio=6 os_prio=0 tid=0x00002b8824009800 nid=0x4298 runnable [0x00002b8848d4b000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-804" #890 daemon prio=6 os_prio=0 tid=0x00002b8824008800 nid=0x4297 runnable [0x00002b8848240000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-882" #889 daemon prio=6 os_prio=0 tid=0x00002b8800003800 nid=0x4296 runnable [0x00002b8848c4a000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-805" #888 daemon prio=6 os_prio=0 tid=0x00002b8800002800 nid=0x4295 runnable [0x00002b872a95e000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-881" #887 daemon prio=6 os_prio=0 tid=0x00002b878c029800 nid=0x4294 runnable [0x00002b8848b49000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-806" #886 daemon prio=6 os_prio=0 tid=0x00002b878c01e000 nid=0x4293 runnable [0x00002b8848341000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-880" #885 daemon prio=6 os_prio=0 tid=0x00002b8824007000 nid=0x4292 runnable [0x00002b872a6bf000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-808" #884 daemon prio=6 os_prio=0 tid=0x00002b8824006000 nid=0x4291 runnable [0x00002b8848a48000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-879" #883 daemon prio=6 os_prio=0 tid=0x00002b87f0003800 nid=0x4290 runnable [0x00002b8848947000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-809" #882 daemon prio=6 os_prio=0 tid=0x00002b87f0002800 nid=0x428f runnable [0x00002b8848442000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-878" #881 daemon prio=6 os_prio=0 tid=0x00002b8818006000 nid=0x428e runnable [0x00002b8848644000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-811" #880 daemon prio=6 os_prio=0 tid=0x00002b8818005000 nid=0x428d runnable [0x00002b8848543000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-877" #879 daemon prio=6 os_prio=0 tid=0x00002b8818004000 nid=0x428c runnable [0x00002b8848846000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-814" #878 daemon prio=6 os_prio=0 tid=0x00002b8818003000 nid=0x428b runnable [0x00002b8848745000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-876" #877 daemon prio=6 os_prio=0 tid=0x00002b8810003800 nid=0x428a runnable [0x00002b8847432000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-822" #876 daemon prio=6 os_prio=0 tid=0x00002b8810004800 nid=0x4289 runnable [0x00002b8848e4c000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-875" #875 daemon prio=6 os_prio=0 tid=0x00002b87dc006000 nid=0x4288 runnable [0x00002b884c381000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-827" #874 daemon prio=6 os_prio=0 tid=0x00002b87dc004000 nid=0x4287 runnable [0x00002b884c280000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-874" #873 daemon prio=6 os_prio=0 tid=0x00002b8808006000 nid=0x4286 runnable [0x00002b884c17f000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-829" #872 daemon prio=6 os_prio=0 tid=0x00002b8808004000 nid=0x4285 runnable [0x00002b884c07e000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-873" #871 daemon prio=6 os_prio=0 tid=0x00002b87fc00a000 nid=0x4284 runnable [0x00002b884bf7d000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-830" #870 daemon prio=6 os_prio=0 tid=0x00002b87fc007000 nid=0x4283 runnable [0x00002b884be7c000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-872" #869 daemon prio=6 os_prio=0 tid=0x00002b882800e800 nid=0x4282 runnable [0x00002b884bd7b000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-831" #868 daemon prio=6 os_prio=0 tid=0x00002b882800c800 nid=0x4281 runnable [0x00002b884bc7a000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-871" #867 daemon prio=6 os_prio=0 tid=0x00002b87ac012800 nid=0x4280 runnable [0x00002b884bb79000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-832" #866 daemon prio=6 os_prio=0 tid=0x00002b87ac011800 nid=0x427f runnable [0x00002b884ba78000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-870" #865 daemon prio=6 os_prio=0 tid=0x00002b883c00b000 nid=0x427e runnable [0x00002b884b977000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-833" #864 daemon prio=6 os_prio=0 tid=0x00002b883c009000 nid=0x427d runnable [0x00002b884b876000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-869" #863 daemon prio=6 os_prio=0 tid=0x00002b880c005000 nid=0x427c runnable [0x00002b884b775000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-834" #862 daemon prio=6 os_prio=0 tid=0x00002b880c003800 nid=0x427b runnable [0x00002b884b674000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-868" #861 daemon prio=6 os_prio=0 tid=0x00002b8758009000 nid=0x427a runnable [0x00002b884b573000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-836" #860 daemon prio=6 os_prio=0 tid=0x00002b8758007000 nid=0x4279 runnable [0x00002b884b472000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-867" #859 daemon prio=6 os_prio=0 tid=0x00002b87e0004800 nid=0x4278 runnable [0x00002b884b371000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-837" #858 daemon prio=6 os_prio=0 tid=0x00002b87e0003000 nid=0x4277 runnable [0x00002b884b270000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-866" #857 daemon prio=6 os_prio=0 tid=0x00002b87d4003800 nid=0x4276 runnable [0x00002b884b16f000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-841" #856 daemon prio=6 os_prio=0 tid=0x00002b87d4001800 nid=0x4275 runnable [0x00002b884b06e000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-865" #855 daemon prio=6 os_prio=0 tid=0x00002b8828005000 nid=0x4274 runnable [0x00002b884af6d000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-842" #854 daemon prio=6 os_prio=0 tid=0x00002b8828003000 nid=0x4273 runnable [0x00002b884ae6c000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-864" #853 daemon prio=6 os_prio=0 tid=0x00002b8768003800 nid=0x4272 runnable [0x00002b884ad6b000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-843" #852 daemon prio=6 os_prio=0 tid=0x00002b8768001800 nid=0x4271 runnable [0x00002b884ac6a000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-863" #851 daemon prio=6 os_prio=0 tid=0x00002b87cc006800 nid=0x4270 runnable [0x00002b884ab69000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-844" #850 daemon prio=6 os_prio=0 tid=0x00002b87cc004800 nid=0x426f runnable [0x00002b884aa68000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-862" #849 daemon prio=6 os_prio=0 tid=0x00002b8824004800 nid=0x426e runnable [0x00002b884a967000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-845" #848 daemon prio=6 os_prio=0 tid=0x00002b8824003800 nid=0x426d runnable [0x00002b872be71000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-775" #847 daemon prio=6 os_prio=0 tid=0x00002b87d8001800 nid=0x426c runnable [0x00002b884a866000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "ThreadPoolThread169" #846 daemon prio=6 os_prio=0 tid=0x00002b87900ea000 nid=0x426b runnable [0x00002b884a765000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x00000007bba7b6e8> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x00000007bba7b6c8> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread168" #845 daemon prio=6 os_prio=0 tid=0x00002b87900e8000 nid=0x426a runnable [0x00002b884a664000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000075a695848> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x000000075a695828> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread167" #844 daemon prio=6 os_prio=0 tid=0x00002b87900e6000 nid=0x4269 runnable [0x00002b884a563000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000075a695e00> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x000000075a695de0> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread166" #843 daemon prio=6 os_prio=0 tid=0x00002b87900e4800 nid=0x4268 runnable [0x00002b884a462000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000075a6963b8> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x000000075a696398> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread165" #842 daemon prio=6 os_prio=0 tid=0x00002b87900e2800 nid=0x4267 runnable [0x00002b884a361000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000075a696970> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x000000075a696950> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread164" #841 daemon prio=6 os_prio=0 tid=0x00002b87900e0800 nid=0x4266 runnable [0x00002b884a260000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000075a696f28> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x000000075a696f08> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread163" #840 daemon prio=6 os_prio=0 tid=0x00002b87900de800 nid=0x4265 runnable [0x00002b884a15f000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000075a697620> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x000000075a697600> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread162" #839 daemon prio=6 os_prio=0 tid=0x00002b87900dc800 nid=0x4264 runnable [0x00002b884a05e000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000075a698028> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x000000075a698008> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread161" #838 daemon prio=6 os_prio=0 tid=0x00002b87900da800 nid=0x4263 runnable [0x00002b8849f5d000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000075a698cf8> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x000000075a698cd8> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread160" #837 daemon prio=6 os_prio=0 tid=0x00002b87900d9000 nid=0x4262 runnable [0x00002b8849e5c000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000075a6992d0> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x000000075a6992b0> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread159" #836 daemon prio=6 os_prio=0 tid=0x00002b87900d7000 nid=0x4261 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread158" #835 daemon prio=6 os_prio=0 tid=0x00002b87900d5000 nid=0x4260 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread157" #834 daemon prio=6 os_prio=0 tid=0x00002b87900d3800 nid=0x425f waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread156" #833 daemon prio=6 os_prio=0 tid=0x00002b87900d2000 nid=0x425e waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread155" #832 daemon prio=6 os_prio=0 tid=0x00002b87900d0800 nid=0x425d waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread154" #831 daemon prio=6 os_prio=0 tid=0x00002b87900ce800 nid=0x425c waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread153" #830 daemon prio=6 os_prio=0 tid=0x00002b87900cc800 nid=0x425b waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread152" #829 daemon prio=6 os_prio=0 tid=0x00002b87900cb000 nid=0x4256 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread151" #828 daemon prio=6 os_prio=0 tid=0x00002b87900c9000 nid=0x4254 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread150" #827 daemon prio=6 os_prio=0 tid=0x00002b87900c7000 nid=0x4251 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread149" #826 daemon prio=6 os_prio=0 tid=0x00002b87900c5000 nid=0x4250 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread148" #825 daemon prio=6 os_prio=0 tid=0x00002b87900c3800 nid=0x424c waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread147" #824 daemon prio=6 os_prio=0 tid=0x00002b87900c1800 nid=0x4249 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Thread-778" #791 daemon prio=6 os_prio=0 tid=0x00002b8830002000 nid=0x4219 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-777" #790 daemon prio=6 os_prio=0 tid=0x00002b8830001000 nid=0x4218 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread146" #779 daemon prio=6 os_prio=0 tid=0x00002b87900c0800 nid=0x41f5 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread145" #776 daemon prio=6 os_prio=0 tid=0x00002b87900be800 nid=0x41ef in Object.wait() [0x00002b8847330000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000006a1908308> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread144" #775 daemon prio=6 os_prio=0 tid=0x00002b87900bc800 nid=0x41ee runnable [0x00002b884722f000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.setPriority0(Native Method) at java.lang.Thread.setPriority(Thread.java:1095) at java.lang.Thread.init(Thread.java:417) at java.lang.Thread.init(Thread.java:349) at java.lang.Thread.(Thread.java:448) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread143" #774 daemon prio=6 os_prio=0 tid=0x00002b87900ba800 nid=0x41ed in Object.wait() [0x00002b884712e000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000007081c0bb0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread142" #773 daemon prio=6 os_prio=0 tid=0x00002b87900b8000 nid=0x41ec runnable [0x00002b884702d000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.setPriority0(Native Method) at java.lang.Thread.setPriority(Thread.java:1095) at java.lang.Thread.init(Thread.java:417) at java.lang.Thread.init(Thread.java:349) at java.lang.Thread.(Thread.java:448) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread141" #772 daemon prio=6 os_prio=0 tid=0x00002b87900b6800 nid=0x41eb waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread140" #771 daemon prio=6 os_prio=0 tid=0x00002b87900b4800 nid=0x41ea waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread139" #770 daemon prio=6 os_prio=0 tid=0x00002b87900b2800 nid=0x41e9 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread138" #769 daemon prio=6 os_prio=0 tid=0x00002b87900b0800 nid=0x41e8 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread137" #768 daemon prio=6 os_prio=0 tid=0x00002b87900ae800 nid=0x41e7 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread136" #767 daemon prio=6 os_prio=0 tid=0x00002b87900ac800 nid=0x41e6 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread135" #766 daemon prio=6 os_prio=0 tid=0x00002b87900aa000 nid=0x41e5 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread134" #765 daemon prio=6 os_prio=0 tid=0x00002b87900a8000 nid=0x41e4 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread133" #764 daemon prio=6 os_prio=0 tid=0x00002b87900a6000 nid=0x41e3 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread132" #763 daemon prio=6 os_prio=0 tid=0x00002b87900a4000 nid=0x41e2 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread131" #762 daemon prio=6 os_prio=0 tid=0x00002b87900a2800 nid=0x41e1 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread130" #761 daemon prio=6 os_prio=0 tid=0x00002b87900a0800 nid=0x41e0 in Object.wait() [0x00002b8846422000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000006dae892b0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread129" #760 daemon prio=6 os_prio=0 tid=0x00002b879009e800 nid=0x41df waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread128" #759 daemon prio=6 os_prio=0 tid=0x00002b879009c800 nid=0x41de in Object.wait() [0x00002b884621f000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x0000000779c46120> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread127" #758 daemon prio=6 os_prio=0 tid=0x00002b879009a800 nid=0x41dd waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread126" #757 daemon prio=6 os_prio=0 tid=0x00002b8790098800 nid=0x41dc in Object.wait() [0x00002b884601d000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x000000078ccda5d0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread125" #756 daemon prio=6 os_prio=0 tid=0x00002b8790096800 nid=0x41db runnable [0x00002b8845f1d000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x00000007bba7a008> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x00000007bba79fe8> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread124" #755 daemon prio=6 os_prio=0 tid=0x00002b8790094800 nid=0x41da runnable [0x00002b8845e1c000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x00000007bba7a1f0> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x00000007bba7a1d0> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread123" #754 daemon prio=6 os_prio=0 tid=0x00002b8790092800 nid=0x41d9 runnable [0x00002b8845d1b000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x00000007bba7a3d8> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x00000007bba7a3b8> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread122" #753 daemon prio=6 os_prio=0 tid=0x00002b8790090800 nid=0x41d8 runnable [0x00002b8845c1a000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x00000007bba7a5c0> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x00000007bba7a5a0> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread121" #752 daemon prio=6 os_prio=0 tid=0x00002b879008e000 nid=0x41d7 runnable [0x00002b8845b19000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x00000007bba7a7a8> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x00000007bba7a788> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread120" #751 daemon prio=6 os_prio=0 tid=0x00002b879008c000 nid=0x41d6 runnable [0x00002b8845a18000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x00000007bba7a990> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x00000007bba7a970> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread119" #750 daemon prio=6 os_prio=0 tid=0x00002b879008a000 nid=0x41d5 runnable [0x00002b8845917000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x00000007bba7ab78> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x00000007bba7ab58> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread118" #749 daemon prio=6 os_prio=0 tid=0x00002b8790088800 nid=0x41d4 runnable [0x00002b8845816000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x00000007bba7ad60> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x00000007bba7ad40> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread117" #748 daemon prio=6 os_prio=0 tid=0x00002b8790086000 nid=0x41d3 runnable [0x00002b8845715000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x00000007bba7af48> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x00000007bba7af28> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread116" #747 daemon prio=6 os_prio=0 tid=0x00002b8790084000 nid=0x41d2 runnable [0x00002b8845614000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x00000007bba7b130> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x00000007bba7b110> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread115" #746 daemon prio=6 os_prio=0 tid=0x00002b8790082800 nid=0x41d1 runnable [0x00002b8845513000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x00000007bba7b318> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x00000007bba7b2f8> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread114" #745 daemon prio=6 os_prio=0 tid=0x00002b8790080800 nid=0x41d0 runnable [0x00002b8845412000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x00000007bba7b500> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x00000007bba7b4e0> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread113" #744 daemon prio=6 os_prio=0 tid=0x00002b879007e800 nid=0x41cf runnable [0x00002b8845311000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x00000007bba7b8d0> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x00000007bba7b8b0> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread112" #743 daemon prio=6 os_prio=0 tid=0x00002b879007c800 nid=0x41ce runnable [0x00002b8845210000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x00000007bba7bab8> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x00000007bba7ba98> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread111" #742 daemon prio=6 os_prio=0 tid=0x00002b879007a000 nid=0x41cd runnable [0x00002b884510f000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x00000007bba7bcf0> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x00000007bba7bcd0> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread110" #741 daemon prio=6 os_prio=0 tid=0x00002b8790078000 nid=0x41cc runnable [0x00002b884500e000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x00000007bba7bed8> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x00000007bba7beb8> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread109" #740 daemon prio=6 os_prio=0 tid=0x00002b8790076000 nid=0x41cb runnable [0x00002b8844f0d000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x00000007bba7c0c0> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x00000007bba7c0a0> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread108" #739 daemon prio=6 os_prio=0 tid=0x00002b8790074000 nid=0x41ca runnable [0x00002b8844e0c000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x00000007bba7c2a8> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x00000007bba7c288> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread107" #738 daemon prio=6 os_prio=0 tid=0x00002b8790072000 nid=0x41c9 runnable [0x00002b8844d0b000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x00000007bba7c490> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x00000007bba7c470> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread106" #737 daemon prio=6 os_prio=0 tid=0x00002b8790070000 nid=0x41c8 runnable [0x00002b8844c0a000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x00000007bba7c678> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x00000007bba7c658> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread105" #736 daemon prio=6 os_prio=0 tid=0x00002b879006e000 nid=0x41c7 runnable [0x00002b8844b09000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x00000007bb1de4f0> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x00000007bb1de668> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread104" #735 daemon prio=6 os_prio=0 tid=0x00002b879006c000 nid=0x41c6 runnable [0x00002b8844a08000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000075a68cd98> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x000000075a68cd78> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread103" #734 daemon prio=6 os_prio=0 tid=0x00002b879006a000 nid=0x41c5 runnable [0x00002b8844907000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000075a690c50> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x000000075a690c30> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread102" #733 daemon prio=6 os_prio=0 tid=0x00002b8790068000 nid=0x41c4 runnable [0x00002b8844806000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000075a691208> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x000000075a6911e8> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread101" #732 daemon prio=6 os_prio=0 tid=0x00002b8790066000 nid=0x41c3 runnable [0x00002b8844705000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000075a6917c0> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x000000075a6917a0> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread100" #731 daemon prio=6 os_prio=0 tid=0x00002b8790064000 nid=0x41c2 runnable [0x00002b8844604000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000075a691f28> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x000000075a691f08> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread99" #730 daemon prio=6 os_prio=0 tid=0x00002b8790062000 nid=0x41c1 runnable [0x00002b8844503000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000075a692a88> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x000000075a692a68> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread98" #729 daemon prio=6 os_prio=0 tid=0x00002b8790060000 nid=0x41c0 runnable [0x00002b8844402000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000075a693040> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x000000075a693020> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread97" #728 daemon prio=6 os_prio=0 tid=0x00002b879005d800 nid=0x41bf runnable [0x00002b8844301000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000075a6935f8> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x000000075a6935d8> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread96" #727 daemon prio=6 os_prio=0 tid=0x00002b879005b800 nid=0x41be runnable [0x00002b8844200000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000075a693bb0> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x000000075a693b90> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread95" #726 daemon prio=6 os_prio=0 tid=0x00002b8790059800 nid=0x41bd runnable [0x00002b88440ff000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000075a694168> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x000000075a694148> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread94" #725 daemon prio=6 os_prio=0 tid=0x00002b8790057800 nid=0x41bc runnable [0x00002b8767f41000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000075a694720> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x000000075a694700> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread93" #724 daemon prio=6 os_prio=0 tid=0x00002b8790055800 nid=0x41bb runnable [0x00002b8767e40000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000075a694cd8> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x000000075a694cb8> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread92" #723 daemon prio=6 os_prio=0 tid=0x00002b8790054800 nid=0x41ba runnable [0x00002b8767335000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000075a695290> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x000000075a695270> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread91" #716 daemon prio=6 os_prio=0 tid=0x00002b8790053000 nid=0x41b3 runnable [0x00002b8767a3b000] java.lang.Thread.State: RUNNABLE at java.util.Arrays.copyOfRange(Arrays.java:3664) at java.lang.String.(String.java:207) at java.lang.StringBuilder.toString(StringBuilder.java:407) at java.math.BigInteger.smallToString(BigInteger.java:3755) at java.math.BigInteger.toString(BigInteger.java:3697) at java.math.BigInteger.toString(BigInteger.java:3858) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner$IntegerConstraintConstant.toString(IntegerConstraintCleaner.java:1428) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner$IntegerConstraintRelation.canonicalize(IntegerConstraintCleaner.java:1874) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:342) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:458) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.clean(IntegerConstraintCleaner.java:80) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:144) at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:83) at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread90" #715 daemon prio=6 os_prio=0 tid=0x00002b8790050800 nid=0x41b2 in Object.wait() [0x00002b876793a000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x000000076f664998> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread89" #714 daemon prio=6 os_prio=0 tid=0x00002b879004f000 nid=0x41b1 in Object.wait() [0x00002b876783a000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x000000072c010658> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread88" #713 daemon prio=6 os_prio=0 tid=0x00002b879004d000 nid=0x41b0 in Object.wait() [0x00002b8767739000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000006ec6d8c10> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread87" #712 daemon prio=6 os_prio=0 tid=0x00002b879004b800 nid=0x41af in Object.wait() [0x00002b8767637000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x0000000701eb8c28> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread86" #711 daemon prio=6 os_prio=0 tid=0x00002b879004a800 nid=0x41ae runnable [0x00002b8766728000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.setPriority0(Native Method) at java.lang.Thread.setPriority(Thread.java:1095) at java.lang.Thread.init(Thread.java:417) at java.lang.Thread.init(Thread.java:349) at java.lang.Thread.(Thread.java:448) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread85" #710 daemon prio=6 os_prio=0 tid=0x00002b8790049000 nid=0x41ad waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread84" #709 daemon prio=6 os_prio=0 tid=0x00002b879001a800 nid=0x41ac in Object.wait() [0x00002b8728ba8000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000007964103e0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread83" #708 daemon prio=6 os_prio=0 tid=0x00002b8790019800 nid=0x41ab in Object.wait() [0x00002b872aa5e000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x0000000785cd9a30> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread82" #707 daemon prio=6 os_prio=0 tid=0x00002b879001c800 nid=0x41aa in Object.wait() [0x00002b872b668000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x0000000758483658> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread81" #706 daemon prio=6 os_prio=0 tid=0x00002b8790010000 nid=0x41a9 in Object.wait() [0x00002b872a5be000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000006f42695b0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread80" #705 daemon prio=6 os_prio=0 tid=0x00002b879001e800 nid=0x41a8 in Object.wait() [0x00002b8729dba000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x0000000786d98b98> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread79" #704 daemon prio=6 os_prio=0 tid=0x00002b879002f800 nid=0x41a7 in Object.wait() [0x00002b8729eba000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x000000075e271640> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread78" #703 daemon prio=6 os_prio=0 tid=0x00002b8790031800 nid=0x41a6 in Object.wait() [0x00002b872bf71000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000006ed58d500> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread77" #702 daemon prio=6 os_prio=0 tid=0x00002b8790023800 nid=0x41a5 in Object.wait() [0x00002b872b264000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000006f7546648> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread76" #701 daemon prio=6 os_prio=0 tid=0x00002b879002d800 nid=0x41a4 in Object.wait() [0x00002b8728eab000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000006fdbb25c8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread75" #700 daemon prio=6 os_prio=0 tid=0x00002b879002b800 nid=0x41a3 in Object.wait() [0x00002b8767233000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x0000000758e3a6d0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread74" #699 daemon prio=6 os_prio=0 tid=0x00002b8790013800 nid=0x41a0 in Object.wait() [0x00002b8767435000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000006f48f3c60> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread73" #678 daemon prio=6 os_prio=0 tid=0x00002b8790047800 nid=0x4188 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread72" #677 daemon prio=6 os_prio=0 tid=0x00002b8790045800 nid=0x4187 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread71" #676 daemon prio=6 os_prio=0 tid=0x00002b8790044000 nid=0x4186 runnable [0x00002b8766f30000] java.lang.Thread.State: RUNNABLE at java.util.regex.Pattern.compile(Pattern.java:1686) at java.util.regex.Pattern.(Pattern.java:1351) at java.util.regex.Pattern.compile(Pattern.java:1028) at java.util.regex.Pattern.matches(Pattern.java:1133) at java.lang.String.matches(String.java:2121) at aprove.DPFramework.IDPProblem.PfFunctions.PredefinedSemanticsFactory.getIntValue(PredefinedSemanticsFactory.java:60) at aprove.DPFramework.IDPProblem.PfFunctions.PredefinedSemanticsFactory.getIntValue(PredefinedSemanticsFactory.java:51) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.funAppToTerm(IntegerConstraintCleaner.java:984) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.toTerm(IntegerConstraintCleaner.java:1149) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.toRelation(IntegerConstraintCleaner.java:1128) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.takeApart(IntegerConstraintCleaner.java:799) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.clean(IntegerConstraintCleaner.java:79) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:144) at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:83) at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread70" #675 daemon prio=6 os_prio=0 tid=0x00002b8790042000 nid=0x4185 runnable [0x00002b8766e2f000] java.lang.Thread.State: RUNNABLE at java.util.regex.Pattern.compile(Pattern.java:1686) at java.util.regex.Pattern.(Pattern.java:1351) at java.util.regex.Pattern.compile(Pattern.java:1028) at java.util.regex.Pattern.matches(Pattern.java:1133) at java.lang.String.matches(String.java:2121) at aprove.DPFramework.IDPProblem.PfFunctions.PredefinedSemanticsFactory.getIntValue(PredefinedSemanticsFactory.java:60) at aprove.DPFramework.IDPProblem.utility.IDPPredefinedMap.isInt(IDPPredefinedMap.java:252) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.funAppToTerm(IntegerConstraintCleaner.java:983) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.toTerm(IntegerConstraintCleaner.java:1149) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.toRelation(IntegerConstraintCleaner.java:1128) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.takeApart(IntegerConstraintCleaner.java:799) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.clean(IntegerConstraintCleaner.java:79) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:144) at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:83) at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread69" #674 daemon prio=6 os_prio=0 tid=0x00002b8790040000 nid=0x4184 runnable [0x00002b8766d2e000] java.lang.Thread.State: RUNNABLE at java.util.LinkedHashMap.newNode(LinkedHashMap.java:256) at java.util.HashMap.putVal(HashMap.java:630) at java.util.HashMap.put(HashMap.java:611) at java.util.HashSet.add(HashSet.java:219) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner$IntegerConstraintVariable.getVariables(IntegerConstraintCleaner.java:2229) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner$IntegerConstraintRelation.getVariables(IntegerConstraintCleaner.java:1943) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner$IntegerConstraintRelation.getVariables(IntegerConstraintCleaner.java:1938) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:414) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:458) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.clean(IntegerConstraintCleaner.java:80) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:144) at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:83) at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread68" #673 daemon prio=6 os_prio=0 tid=0x00002b879003e000 nid=0x4183 in Object.wait() [0x00002b8766c2e000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x000000076c4d1068> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread67" #672 daemon prio=6 os_prio=0 tid=0x00002b879003c800 nid=0x4182 runnable [0x00002b8766b2c000] java.lang.Thread.State: RUNNABLE at java.util.HashSet.(HashSet.java:161) at java.util.LinkedHashSet.(LinkedHashSet.java:154) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner$IntegerConstraintRelation.getVariables(IntegerConstraintCleaner.java:1937) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:414) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:458) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.clean(IntegerConstraintCleaner.java:80) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:144) at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:83) at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread66" #671 daemon prio=6 os_prio=0 tid=0x00002b879003a800 nid=0x4181 runnable [0x00002b8766a2b000] java.lang.Thread.State: RUNNABLE at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner$IntegerConstraintGT.invert(IntegerConstraintCleaner.java:1599) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:359) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:458) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.clean(IntegerConstraintCleaner.java:80) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:144) at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:83) at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread65" #670 daemon prio=6 os_prio=0 tid=0x00002b8790039000 nid=0x4180 runnable [0x00002b876692a000] java.lang.Thread.State: RUNNABLE at java.lang.AbstractStringBuilder.(AbstractStringBuilder.java:68) at java.lang.StringBuilder.(StringBuilder.java:89) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner$IntegerConstraintRelation.toString(IntegerConstraintCleaner.java:2043) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner$IntegerConstraintRelation.compareTo(IntegerConstraintCleaner.java:1882) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner$IntegerConstraintRelation.compareTo(IntegerConstraintCleaner.java:1855) at java.util.ComparableTimSort.binarySort(ComparableTimSort.java:262) at java.util.ComparableTimSort.sort(ComparableTimSort.java:207) at java.util.Arrays.sort(Arrays.java:1312) at java.util.Arrays.sort(Arrays.java:1506) at java.util.ArrayList.sort(ArrayList.java:1454) at java.util.Collections.sort(Collections.java:141) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.clean(IntegerConstraintCleaner.java:87) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:144) at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:83) at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread64" #669 daemon prio=6 os_prio=0 tid=0x00002b8790038000 nid=0x417f runnable [0x00002b8766829000] java.lang.Thread.State: RUNNABLE at java.util.HashMap.resize(HashMap.java:703) at java.util.HashMap.putVal(HashMap.java:628) at java.util.HashMap.put(HashMap.java:611) at java.util.HashSet.add(HashSet.java:219) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner$IntegerConstraintVariable.getVariables(IntegerConstraintCleaner.java:2229) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner$IntegerConstraintRelation.getVariables(IntegerConstraintCleaner.java:1943) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner$IntegerConstraintRelation.getVariables(IntegerConstraintCleaner.java:1938) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:414) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:458) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.clean(IntegerConstraintCleaner.java:80) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:144) at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:83) at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread63" #668 daemon prio=6 os_prio=0 tid=0x00002b8790037000 nid=0x417e in Object.wait() [0x00002b872bd6f000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x0000000794d6ef88> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread62" #667 daemon prio=6 os_prio=0 tid=0x00002b879001b800 nid=0x417d runnable [0x00002b872b967000] java.lang.Thread.State: RUNNABLE at immutables.Immutable.ImmutableIterator.create(Unknown Source) at immutables.Immutable.ImmutableArrayList.iterator(Unknown Source) at aprove.DPFramework.BasicStructures.TRSFunctionApplication.(TRSFunctionApplication.java:269) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.(TRSCompoundTerm.java:22) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:88) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.GeneralizedRule.(GeneralizedRule.java:110) at aprove.DPFramework.BasicStructures.GeneralizedRule.create(GeneralizedRule.java:132) at aprove.DPFramework.IDPProblem.IGeneralizedRule.toFullGeneralizedRule(IGeneralizedRule.java:161) at aprove.DPFramework.IDPProblem.IGeneralizedRule.hashCode(IGeneralizedRule.java:313) at java.util.HashMap.hash(HashMap.java:338) at java.util.HashMap.put(HashMap.java:611) at java.util.HashSet.add(HashSet.java:219) at java.util.AbstractCollection.addAll(AbstractCollection.java:344) at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:81) at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread61" #666 daemon prio=6 os_prio=0 tid=0x00002b8790029800 nid=0x417c runnable [0x00002b872a4bc000] java.lang.Thread.State: RUNNABLE at java.util.regex.Pattern.closure(Pattern.java:3119) at java.util.regex.Pattern.sequence(Pattern.java:2134) at java.util.regex.Pattern.expr(Pattern.java:1996) at java.util.regex.Pattern.compile(Pattern.java:1696) at java.util.regex.Pattern.(Pattern.java:1351) at java.util.regex.Pattern.compile(Pattern.java:1028) at java.util.regex.Pattern.matches(Pattern.java:1133) at java.lang.String.matches(String.java:2121) at aprove.DPFramework.IDPProblem.PfFunctions.PredefinedSemanticsFactory.getIntValue(PredefinedSemanticsFactory.java:60) at aprove.DPFramework.IDPProblem.utility.IDPPredefinedMap.isInt(IDPPredefinedMap.java:252) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.funAppToTerm(IntegerConstraintCleaner.java:983) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.toTerm(IntegerConstraintCleaner.java:1149) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.toRelation(IntegerConstraintCleaner.java:1129) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.takeApart(IntegerConstraintCleaner.java:799) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.clean(IntegerConstraintCleaner.java:79) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:144) at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:83) at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread60" #665 daemon prio=6 os_prio=0 tid=0x00002b8790027800 nid=0x4179 in Object.wait() [0x00002b872b366000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x000000076c19e170> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread59" #661 daemon prio=6 os_prio=0 tid=0x00002b8790035800 nid=0x416e runnable [0x00002b872ba6c000] java.lang.Thread.State: RUNNABLE at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner$IntegerConstraintGT.invert(IntegerConstraintCleaner.java:1599) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:359) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:458) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.clean(IntegerConstraintCleaner.java:80) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:144) at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:83) at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread58" #660 daemon prio=6 os_prio=0 tid=0x00002b8790034800 nid=0x416d runnable [0x00002b872b86a000] java.lang.Thread.State: RUNNABLE at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner$IntegerConstraintGT.invert(IntegerConstraintCleaner.java:1599) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:359) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:458) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.clean(IntegerConstraintCleaner.java:80) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:144) at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:83) at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread57" #659 daemon prio=6 os_prio=0 tid=0x00002b8790033800 nid=0x416c waiting on condition [0x00002b872bb6d000] java.lang.Thread.State: RUNNABLE at java.util.LinkedHashMap.newNode(LinkedHashMap.java:256) at java.util.HashMap.putVal(HashMap.java:630) at java.util.HashMap.put(HashMap.java:611) at java.util.HashSet.add(HashSet.java:219) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner$IntegerConstraintVariable.getVariables(IntegerConstraintCleaner.java:2229) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner$IntegerConstraintRelation.getVariables(IntegerConstraintCleaner.java:1943) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner$IntegerConstraintRelation.getVariables(IntegerConstraintCleaner.java:1938) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:414) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:458) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.clean(IntegerConstraintCleaner.java:80) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:144) at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:83) at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread47" #628 daemon prio=6 os_prio=0 tid=0x00002b8790025800 nid=0x4143 in Object.wait() [0x00002b872b769000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000006ef0f34f8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread45" #626 daemon prio=6 os_prio=0 tid=0x00002b8790021800 nid=0x4141 runnable [0x00002b872b567000] java.lang.Thread.State: RUNNABLE at java.util.HashMap.resize(HashMap.java:703) at java.util.HashMap.putVal(HashMap.java:628) at java.util.HashMap.put(HashMap.java:611) at java.util.HashSet.add(HashSet.java:219) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner$IntegerConstraintVariable.getVariables(IntegerConstraintCleaner.java:2229) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner$IntegerConstraintRelation.getVariables(IntegerConstraintCleaner.java:1943) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner$IntegerConstraintRelation.getVariables(IntegerConstraintCleaner.java:1938) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:414) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:458) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.clean(IntegerConstraintCleaner.java:80) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:144) at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:83) at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread44" #625 daemon prio=6 os_prio=0 tid=0x00002b879001f800 nid=0x4140 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread37" #618 daemon prio=6 os_prio=0 tid=0x00002b8790018000 nid=0x4139 runnable [0x00002b872ab5b000] java.lang.Thread.State: RUNNABLE at java.util.ArrayList.iterator(ArrayList.java:834) at immutables.Immutable.ImmutableArrayList.iterator(Unknown Source) at aprove.DPFramework.BasicStructures.TRSFunctionApplication.checkValidConstructorArgs(TRSFunctionApplication.java:228) at aprove.DPFramework.BasicStructures.TRSFunctionApplication.(TRSFunctionApplication.java:264) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.(TRSCompoundTerm.java:22) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:88) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.GeneralizedRule.(GeneralizedRule.java:110) at aprove.DPFramework.BasicStructures.GeneralizedRule.create(GeneralizedRule.java:132) at aprove.DPFramework.IDPProblem.IGeneralizedRule.toFullGeneralizedRule(IGeneralizedRule.java:161) at aprove.DPFramework.IDPProblem.IGeneralizedRule.hashCode(IGeneralizedRule.java:313) at java.util.HashMap.hash(HashMap.java:338) at java.util.HashMap.put(HashMap.java:611) at java.util.HashSet.add(HashSet.java:219) at java.util.AbstractCollection.addAll(AbstractCollection.java:344) at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:81) at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread35" #616 daemon prio=6 os_prio=0 tid=0x00002b8790016800 nid=0x4137 runnable [0x00002b872b163000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread34" #597 daemon prio=6 os_prio=0 tid=0x00002b8790016000 nid=0x411e runnable [0x00002b872b063000] java.lang.Thread.State: RUNNABLE at java.util.LinkedList.addAll(LinkedList.java:424) at java.util.LinkedList.addAll(LinkedList.java:387) at java.util.LinkedList.(LinkedList.java:119) at aprove.InputModules.Programs.llvm.segraph.LLVMSELoop.toPaths(LLVMSELoop.java:461) at aprove.InputModules.Programs.llvm.processors.LLVMNonterminationProcessor.process(LLVMNonterminationProcessor.java:569) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread33" #596 daemon prio=6 os_prio=0 tid=0x00002b8790015000 nid=0x411d in Object.wait() [0x00002b872a3bb000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x0000000767b363a0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMSEGraphToIntTRSProcessor.process(LLVMSEGraphToIntTRSProcessor.java:43) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread31" #594 daemon prio=6 os_prio=0 tid=0x00002b8790009000 nid=0x411b runnable [0x00002b8728daa000] java.lang.Thread.State: RUNNABLE at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.implication(IntegerConstraintCleaner.java:183) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:378) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:458) at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.clean(IntegerConstraintCleaner.java:80) at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:144) at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:83) at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread30" #447 daemon prio=6 os_prio=0 tid=0x00002b8790012000 nid=0x403d in Object.wait() [0x00002b872a85c000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x000000074c82e888> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "process reaper" #157 daemon prio=10 os_prio=0 tid=0x00002b87ac00a000 nid=0x3e91 waiting on condition [0x00002b8723f80000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400ec210> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #150 daemon prio=10 os_prio=0 tid=0x00002b87b0014000 nid=0x3e87 waiting on condition [0x00002b8723f47000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400ec210> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #106 daemon prio=10 os_prio=0 tid=0x00002b87ac008000 nid=0x3e46 waiting on condition [0x00002b870bff3000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400ec210> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "Thread-57" #69 daemon prio=5 os_prio=0 tid=0x00002b8784023800 nid=0x3da7 runnable [0x00002b87291ae000] java.lang.Thread.State: RUNNABLE at java.io.FileInputStream.readBytes(Native Method) at java.io.FileInputStream.read(FileInputStream.java:255) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000007bb0aa738> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000004412d87b0> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x00000004412d9048> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-56" #68 daemon prio=5 os_prio=0 tid=0x00002b8784017800 nid=0x3da2 runnable [0x00002b87292b0000] java.lang.Thread.State: RUNNABLE at java.io.FileInputStream.readBytes(Native Method) at java.io.FileInputStream.read(FileInputStream.java:255) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000007bb0ac9a0> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000004412f8bb0> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x00000004412f9448> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "process reaper" #23 daemon prio=10 os_prio=0 tid=0x00002b878000a800 nid=0x3d28 runnable [0x00002b870bfba000] java.lang.Thread.State: RUNNABLE at java.lang.UNIXProcess.waitForProcessExit(Native Method) at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #20 daemon prio=10 os_prio=0 tid=0x00002b8788011800 nid=0x3d20 waiting on condition [0x00002b870bf81000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400ec210> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002b879000d000 nid=0x3d1e runnable [0x00002b87290ae000] java.lang.Thread.State: RUNNABLE at aprove.Strategies.Abortions.TrackProcessOnLinux.checkTime(TrackProcessOnLinux.java:41) at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65) at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54) "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002b870c7e0800 nid=0x3d1d waiting on condition [0x00002b8728fad000] java.lang.Thread.State: WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x000000044014a940> (a java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject) at java.util.concurrent.locks.LockSupport.park(LockSupport.java:175) at java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject.await(AbstractQueuedSynchronizer.java:2039) at java.util.concurrent.LinkedBlockingQueue.take(LinkedBlockingQueue.java:442) at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:169) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread1" #11 daemon prio=5 os_prio=0 tid=0x00002b870c266800 nid=0x3d16 in Object.wait() [0x00002b8728caa000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x00000007bbb67340> (a java.lang.UNIXProcess) at java.lang.Object.wait(Object.java:502) at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) - locked <0x00000007bbb67340> (a java.lang.UNIXProcess) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002b870c199800 nid=0x3d13 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002b870c184000 nid=0x3d12 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002b870c182800 nid=0x3d11 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002b870c17f800 nid=0x3d10 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002b870c17e000 nid=0x3d0f waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002b870c14a000 nid=0x3d0e in Object.wait() [0x00002b8728301000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) - locked <0x0000000440867040> (a java.lang.ref.ReferenceQueue$Lock) at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002b870c145800 nid=0x3d0d in Object.wait() [0x00002b8728200000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at java.lang.ref.Reference.tryHandlePending(Reference.java:191) - locked <0x000000044010d9d8> (a java.lang.ref.Reference$Lock) at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) "main" #1 prio=5 os_prio=0 tid=0x00002b870c008800 nid=0x3d06 in Object.wait() [0x00002b8707953000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x000000044014ad90> (a aprove.Strategies.ExecutableStrategies.impl.Handle) at java.lang.Object.wait(Object.java:502) at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) - locked <0x000000044014ad90> (a aprove.Strategies.ExecutableStrategies.impl.Handle) at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) at aprove.Runtime.AProVE.run(AProVE.java:101) at aprove.CommandLineInterface.Main.run(Main.java:94) at aprove.CommandLineInterface.Main.doMain(Main.java:42) at aprove.Main.doMain(Main.java:54) at aprove.Main.main(Main.java:20) "VM Thread" os_prio=0 tid=0x00002b870c13e000 nid=0x3d0c runnable "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002b870c01e000 nid=0x3d08 runnable "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002b870c01f800 nid=0x3d09 runnable "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002b870c021800 nid=0x3d0a runnable "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002b870c023800 nid=0x3d0b runnable "VM Periodic Task Thread" os_prio=0 tid=0x00002b870c1ac000 nid=0x3d14 waiting on condition