Data & Web Science
computational services
systems
processes
docs & api
< prev
|
next >
rockit process
(v0.5.227)
ID: 65c74d53-108f-4356-94ed-faa4f70646f3
(
canceled
)
State:
canceled
/
restart
date / time / ip
added:
2021-07-05 15:36:24
start:
2021-07-05 15:36:40
user IP:
130.236.70.123
input information
gap:
default
inference:
map
input:
srule.txt
data:
o.db
log
process created java -Xmx8G -jar /home/timo/app/core/systems/rockit/0.5.227/rockit.jar -data /home/timo/app/core/data/65c74d53-108f-4356-94ed-faa4f70646f3/o.db -gap -1 -input /home/timo/app/core/data/65c74d53-108f-4356-94ed-faa4f70646f3/srule.txt -output /home/timo/app/core/data/65c74d53-108f-4356-94ed-faa4f70646f3/output.db -para /home/timo/app/core/data/65c74d53-108f-4356-94ed-faa4f70646f3/rockit.properties ==== Start RockIt =====Mon Jul 05 15:36:41 CEST 2021 -input /home/timo/app/core/data/65c74d53-108f-4356-94ed-faa4f70646f3/srule.txt -data /home/timo/app/core/data/65c74d53-108f-4356-94ed-faa4f70646f3/o.db -output /home/timo/app/core/data/65c74d53-108f-4356-94ed-faa4f70646f3/output.db -para: use rockit.properties file. -gap: use gurobi standard gap. -debug output false -use MAP inference ===== Start Standard Grounder =====Mon Jul 05 15:36:42 CEST 2021 CANCELED BY USER
restart option:
Restart this process.
Create a new process.
version of rockit:
0.5.227 (last selection)
0.4.276
0.4.257
0.4.253
0.4.236
0.4.234
0.3.233
0.3.230
0.3.228
0.3
0.1