Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
C_Integer 2019-03-28 22.15 pair #432271522
details
property
value
status
memout
benchmark
LogMult.c
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
space
Stroeder_15
run statistics
property
value
solver
AProVE
configuration
c
runtime (wallclock)
56.285 seconds
cpu usage
218.29
user time
190.89
system time
27.4
max virtual memory
1.48387616E8
max residence set size
1436.0
stage attributes
unavailable
output
178.93/46.28 2019-03-28 22:49:14 178.93/46.28 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 178.93/46.28 178.93/46.28 "Thread-1225" #1244 daemon prio=6 os_prio=0 tid=0x00002b48b8004000 nid=0xd596 runnable [0x0000000000000000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 178.93/46.28 "Thread-1212" #1243 daemon prio=6 os_prio=0 tid=0x00002b48b8003000 nid=0xd594 runnable [0x0000000000000000] 178.93/46.28 java.lang.Thread.State: TERMINATED 178.93/46.28 178.93/46.28 "ThreadPoolThread336" #1242 daemon prio=6 os_prio=0 tid=0x00002b4820018000 nid=0xd58e runnable [0x00002b48d0f0c000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.lang.Thread.setPriority0(Native Method) 178.93/46.28 at java.lang.Thread.setPriority(Thread.java:1095) 178.93/46.28 at java.lang.Thread.init(Thread.java:417) 178.93/46.28 at java.lang.Thread.init(Thread.java:349) 178.93/46.28 at java.lang.Thread.<init>(Thread.java:448) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.<init>(ExecHelper.java:68) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread335" #1241 daemon prio=6 os_prio=0 tid=0x00002b482000f800 nid=0xd58d runnable [0x00002b47b7f40000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.lang.Thread.setPriority0(Native Method) 178.93/46.28 at java.lang.Thread.setPriority(Thread.java:1095) 178.93/46.28 at java.lang.Thread.init(Thread.java:417) 178.93/46.28 at java.lang.Thread.init(Thread.java:349) 178.93/46.28 at java.lang.Thread.<init>(Thread.java:448) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.<init>(ExecHelper.java:68) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 178.93/46.28 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread334" #1240 daemon prio=6 os_prio=0 tid=0x00002b4820031800 nid=0xd58c runnable [0x00002b47f3f21000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.lang.Thread.setPriority0(Native Method) 178.93/46.28 at java.lang.Thread.setPriority(Thread.java:1095) 178.93/46.28 at java.lang.Thread.init(Thread.java:417) 178.93/46.28 at java.lang.Thread.init(Thread.java:349) 178.93/46.28 at java.lang.Thread.<init>(Thread.java:448) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.<init>(ExecHelper.java:68) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread333" #1239 daemon prio=6 os_prio=0 tid=0x00002b4820016800 nid=0xd58b runnable [0x00002b48d0603000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.lang.Thread.setPriority0(Native Method) 178.93/46.28 at java.lang.Thread.setPriority(Thread.java:1095) 178.93/46.28 at java.lang.Thread.init(Thread.java:417) 178.93/46.28 at java.lang.Thread.init(Thread.java:349) 178.93/46.28 at java.lang.Thread.<init>(Thread.java:448) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.<init>(ExecHelper.java:68) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread332" #1238 daemon prio=6 os_prio=0 tid=0x00002b4820027000 nid=0xd58a runnable [0x00002b47b72fd000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at immutables.Immutable.DefaultImmutableMap.entrySet(Unknown Source) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:688) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:67)
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to C_Integer 2019-03-28 22.15