Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
C 2019-03-28 11.48 pair #432171158
details
property
value
status
memout
benchmark
sorting_bubblesort_true-unreach-call_ground.c
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
space
SV-COMP_Mixed_Categories
run statistics
property
value
solver
AProVE
configuration
c
runtime (wallclock)
108.48 seconds
cpu usage
231.34
user time
227.35
system time
3.99
max virtual memory
3.39110564E8
max residence set size
1436.0
stage attributes
unavailable
output
195.66/98.99 2019-03-28 12:16:36 195.66/98.99 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 195.66/98.99 195.66/98.99 "Thread-619" #646 daemon prio=6 os_prio=0 tid=0x00002b2a70013000 nid=0xad6d runnable [0x0000000000000000] 195.66/98.99 java.lang.Thread.State: RUNNABLE 195.66/98.99 195.66/98.99 "Thread-618" #645 daemon prio=6 os_prio=0 tid=0x00002b2a70012000 nid=0xad6c runnable [0x00002b2aa407e000] 195.66/98.99 java.lang.Thread.State: RUNNABLE 195.66/98.99 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 195.66/98.99 195.66/98.99 "Thread-617" #644 daemon prio=6 os_prio=0 tid=0x00002b2a3800b800 nid=0xad6b runnable [0x00002b2aaf44b000] 195.66/98.99 java.lang.Thread.State: RUNNABLE 195.66/98.99 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 195.66/98.99 195.66/98.99 "Thread-535" #643 daemon prio=6 os_prio=0 tid=0x00002b2a3800a000 nid=0xad6a runnable [0x00002b2aaf34a000] 195.66/98.99 java.lang.Thread.State: RUNNABLE 195.66/98.99 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 195.66/98.99 195.66/98.99 "Thread-616" #642 daemon prio=6 os_prio=0 tid=0x00002b2a38003000 nid=0xad69 runnable [0x00002b2aaf249000] 195.66/98.99 java.lang.Thread.State: RUNNABLE 195.66/98.99 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 195.66/98.99 195.66/98.99 "Thread-536" #641 daemon prio=6 os_prio=0 tid=0x00002b2a38006800 nid=0xad68 runnable [0x00002b2aaf148000] 195.66/98.99 java.lang.Thread.State: RUNNABLE 195.66/98.99 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 195.66/98.99 195.66/98.99 "Thread-615" #640 daemon prio=6 os_prio=0 tid=0x00002b29b400a000 nid=0xad67 runnable [0x00002b2aaf047000] 195.66/98.99 java.lang.Thread.State: RUNNABLE 195.66/98.99 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 195.66/98.99 195.66/98.99 "Thread-537" #639 daemon prio=6 os_prio=0 tid=0x00002b29b4008000 nid=0xad66 runnable [0x00002b2aaef46000] 195.66/98.99 java.lang.Thread.State: RUNNABLE 195.66/98.99 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 195.66/98.99 195.66/98.99 "Thread-614" #638 daemon prio=6 os_prio=0 tid=0x00002b2a00006000 nid=0xad65 runnable [0x00002b2aaee45000] 195.66/98.99 java.lang.Thread.State: RUNNABLE 195.66/98.99 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 195.66/98.99 195.66/98.99 "Thread-538" #637 daemon prio=6 os_prio=0 tid=0x00002b2a00004000 nid=0xad64 runnable [0x00002b2aaed44000] 195.66/98.99 java.lang.Thread.State: RUNNABLE 195.66/98.99 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 195.66/98.99 195.66/98.99 "Thread-613" #636 daemon prio=6 os_prio=0 tid=0x00002b2a1400c800 nid=0xad63 runnable [0x00002b2aaec43000] 195.66/98.99 java.lang.Thread.State: RUNNABLE 195.66/98.99 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 195.66/98.99 195.66/98.99 "Thread-539" #635 daemon prio=6 os_prio=0 tid=0x00002b2a1400a800 nid=0xad62 runnable [0x00002b2aaeb42000] 195.66/98.99 java.lang.Thread.State: RUNNABLE 195.66/98.99 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 195.66/98.99 195.66/98.99 "Thread-612" #634 daemon prio=6 os_prio=0 tid=0x00002b2a6000c000 nid=0xad61 runnable [0x00002b2aaea41000] 195.66/98.99 java.lang.Thread.State: RUNNABLE 195.66/98.99 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 195.66/98.99 195.66/98.99 "Thread-540" #633 daemon prio=6 os_prio=0 tid=0x00002b2a60016000 nid=0xad60 runnable [0x00002b2aae940000] 195.66/98.99 java.lang.Thread.State: RUNNABLE 195.66/98.99 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 195.66/98.99 195.66/98.99 "Thread-611" #632 daemon prio=6 os_prio=0 tid=0x00002b2a70010000 nid=0xad5f runnable [0x00002b2aae83f000] 195.66/98.99 java.lang.Thread.State: RUNNABLE 195.66/98.99 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 195.66/98.99 195.66/98.99 "Thread-541" #631 daemon prio=6 os_prio=0 tid=0x00002b2a7000e800 nid=0xad5e runnable [0x00002b2aae73e000] 195.66/98.99 java.lang.Thread.State: RUNNABLE 195.66/98.99 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 195.66/98.99 195.66/98.99 "Thread-610" #630 daemon prio=6 os_prio=0 tid=0x00002b29f4005800 nid=0xad5d runnable [0x00002b2aae63d000] 195.66/98.99 java.lang.Thread.State: RUNNABLE 195.66/99.00 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 195.66/99.00 195.66/99.00 "Thread-542" #629 daemon prio=6 os_prio=0 tid=0x00002b29f4005000 nid=0xad5c runnable [0x00002b2aa4280000] 195.66/99.00 java.lang.Thread.State: RUNNABLE 195.66/99.00 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 195.66/99.00 195.66/99.00 "Thread-609" #628 daemon prio=6 os_prio=0 tid=0x00002b2a30008800 nid=0xad5b runnable [0x00002b2a9d816000] 195.66/99.00 java.lang.Thread.State: RUNNABLE 195.66/99.00 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 195.66/99.00 195.66/99.00 "Thread-543" #627 daemon prio=6 os_prio=0 tid=0x00002b2a30007800 nid=0xad5a runnable [0x00002b2982dff000] 195.66/99.00 java.lang.Thread.State: RUNNABLE 195.66/99.00 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 195.66/99.00 195.66/99.00 "Thread-608" #626 daemon prio=5 os_prio=0 tid=0x00002b29e4048000 nid=0xad59 runnable [0x00002b2aa86c2000] 195.66/99.00 java.lang.Thread.State: RUNNABLE 195.66/99.00 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 195.66/99.00 195.66/99.00 "Thread-544" #625 daemon prio=5 os_prio=0 tid=0x00002b29e4047000 nid=0xad58 runnable [0x00002b2983506000] 195.66/99.00 java.lang.Thread.State: RUNNABLE 195.66/99.00 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 195.66/99.00 195.66/99.00 "Thread-607" #624 daemon prio=6 os_prio=0 tid=0x00002b298c00d800 nid=0xad57 runnable [0x00002b2aa83bf000] 195.66/99.00 java.lang.Thread.State: RUNNABLE 195.66/99.00 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 195.66/99.00 195.66/99.00 "Thread-545" #623 daemon prio=6 os_prio=0 tid=0x00002b298c00c800 nid=0xad56 runnable [0x00002b2983e0f000] 195.66/99.00 java.lang.Thread.State: RUNNABLE 195.66/99.00 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 195.66/99.00 195.66/99.00 "Thread-606" #622 daemon prio=6 os_prio=0 tid=0x00002b2a4c018000 nid=0xad55 runnable [0x00002b2aae53c000] 195.66/99.00 java.lang.Thread.State: RUNNABLE
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to C 2019-03-28 11.48