Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
C 2019-03-28 11.48 pair #432171336
details
property
value
status
memout
benchmark
ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
space
SV-COMP_Termination_Category
run statistics
property
value
solver
AProVE
configuration
c
runtime (wallclock)
60.7129 seconds
cpu usage
226.24
user time
219.55
system time
6.69
max virtual memory
1.47072748E8
max residence set size
5312100.0
stage attributes
unavailable
output
186.88/50.72 2019-03-28 11:58:48 186.88/50.72 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 186.88/50.72 186.88/50.72 "ThreadPoolThread253" #1630 daemon prio=6 os_prio=0 tid=0x00002b4cf800c800 nid=0xd7c4 runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 186.88/50.72 "ThreadPoolThread252" #1629 daemon prio=6 os_prio=0 tid=0x00002b4cf804e000 nid=0xd7c3 runnable [0x00002b4ccf730000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 at aprove.Framework.Algebra.Polynomials.VarPolynomial.<init>(VarPolynomial.java:115) 186.88/50.72 at aprove.Framework.Algebra.Polynomials.VarPolynomial.createVariable(VarPolynomial.java:189) 186.88/50.72 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:501) 186.88/50.72 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 186.88/50.72 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 186.88/50.72 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.boolTermToSMT_QF_IA(ToolBox.java:600) 186.88/50.72 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.argumentsToSMT_QF_IA(ToolBox.java:561) 186.88/50.72 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.boolTermToSMT_QF_IA(ToolBox.java:588) 186.88/50.72 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.argumentsToSMT_QF_IA(ToolBox.java:561) 186.88/50.72 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.boolTermToSMT_QF_IA(ToolBox.java:588) 186.88/50.72 at aprove.Framework.IntTRS.Nonterm.IntTRSNontermProcessor.turnRuleIntoSMTFormulae(IntTRSNontermProcessor.java:76) 186.88/50.72 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:115) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 186.88/50.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread251" #1628 daemon prio=6 os_prio=0 tid=0x00002b4cf8024800 nid=0xd7c1 waiting for monitor entry [0x00002b4ccef0d000] 186.88/50.72 java.lang.Thread.State: BLOCKED (on object monitor) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 186.88/50.72 - locked <0x0000000440004f18> (a aprove.Strategies.Util.PrioritizableThreadPool) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread250" #1627 daemon prio=6 os_prio=0 tid=0x00002b4cf8050000 nid=0xd7c0 waiting for monitor entry [0x00002b4ccee0c000] 186.88/50.72 java.lang.Thread.State: BLOCKED (on object monitor) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 186.88/50.72 - waiting to lock <0x0000000440004f18> (a aprove.Strategies.Util.PrioritizableThreadPool) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread249" #1626 daemon prio=6 os_prio=0 tid=0x00002b4cf801f000 nid=0xd7ba waiting for monitor entry [0x00002b4ccdf39000] 186.88/50.72 java.lang.Thread.State: BLOCKED (on object monitor) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 186.88/50.72 - waiting to lock <0x0000000440004f18> (a aprove.Strategies.Util.PrioritizableThreadPool) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "Thread-1594" #1625 daemon prio=6 os_prio=0 tid=0x00002b4d7c001000 nid=0xd7b6 runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 186.88/50.72 "ThreadPoolThread248" #1613 daemon prio=6 os_prio=0 tid=0x00002b4cf8052000 nid=0xd7aa waiting for monitor entry [0x00002b4cce8d0000] 186.88/50.72 java.lang.Thread.State: BLOCKED (on object monitor) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 186.88/50.72 - waiting to lock <0x0000000440004f18> (a aprove.Strategies.Util.PrioritizableThreadPool) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread247" #1612 daemon prio=6 os_prio=0 tid=0x00002b4cf8044000 nid=0xd7a9 waiting for monitor entry [0x00002b4ccc402000] 186.88/50.72 java.lang.Thread.State: BLOCKED (on object monitor) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 186.88/50.72 - waiting to lock <0x0000000440004f18> (a aprove.Strategies.Util.PrioritizableThreadPool) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "Thread-1587" #1611 daemon prio=6 os_prio=0 tid=0x00002b4d40003000 nid=0xd7a8 runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1566" #1610 daemon prio=6 os_prio=0 tid=0x00002b4d40005000 nid=0xd7a7 runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1586" #1609 daemon prio=6 os_prio=0 tid=0x00002b4d3c005000 nid=0xd7a6 runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1567" #1608 daemon prio=6 os_prio=0 tid=0x00002b4d3c003000 nid=0xd7a5 runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1585" #1607 daemon prio=6 os_prio=0 tid=0x00002b4d24006800 nid=0xd7a4 runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1569" #1606 daemon prio=6 os_prio=0 tid=0x00002b4d24005800 nid=0xd7a3 runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1584" #1605 daemon prio=6 os_prio=0 tid=0x00002b4d48002000 nid=0xd7a2 runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1572" #1604 daemon prio=6 os_prio=0 tid=0x00002b4d48001000 nid=0xd7a1 runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1583" #1603 daemon prio=6 os_prio=0 tid=0x00002b4d9c001800 nid=0xd7a0 runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1574" #1602 daemon prio=6 os_prio=0 tid=0x00002b4d9c001000 nid=0xd79f runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1582" #1601 daemon prio=6 os_prio=0 tid=0x00002b4d1c028000 nid=0xd79e runnable [0x0000000000000000]
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to C 2019-03-28 11.48