TRS Stand 20472 pair #381716170

details

property	value
status	complete
benchmark	LISTUTILITIES_complete-noand_FR.xml
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n100.star.cs.uiowa.edu
space	Transformed_CSR_04

run statistics

property	value
solver	Wanda
configuration	FirstOrder
runtime (wallclock)	248.882256985 seconds
cpu usage	247.202312331
max memory	9.589784576E9

stage attributes

key	value
output-size	13955
starexec-result	MAYBE

output

/export/starexec/sandbox/solver/bin/starexec_run_FirstOrder /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files


--------------------------------------------------------------------------------


MAYBE
We consider the system theBenchmark.

We are asked to determine termination of the following first-order TRS.

  0 : [] --> o 
  U101 : [o * o * o] --> o 
  U102 : [o * o * o] --> o 
  U103 : [o * o * o] --> o 
  U104 : [o * o * o] --> o 
  U105 : [o * o] --> o 
  U106 : [o] --> o 
  U11 : [o * o * o] --> o 
  U111 : [o * o] --> o 
  U112 : [o] --> o 
  U12 : [o * o * o] --> o 
  U121 : [o * o] --> o 
  U122 : [o] --> o 
  U13 : [o * o * o] --> o 
  U131 : [o] --> o 
  U14 : [o * o * o] --> o 
  U141 : [o] --> o 
  U151 : [o] --> o 
  U161 : [o] --> o 
  U171 : [o * o] --> o 
  U172 : [o] --> o 
  U181 : [o * o] --> o 
  U182 : [o * o] --> o 
  U183 : [o] --> o 
  U191 : [o * o] --> o 
  U192 : [o * o] --> o 
  U193 : [o] --> o 
  U201 : [o * o * o] --> o 
  U202 : [o * o * o] --> o 
  U203 : [o * o * o] --> o 
  U204 : [o * o * o] --> o 
  U205 : [o * o] --> o 
  U206 : [o] --> o 
  U21 : [o * o * o] --> o 
  U211 : [o] --> o 
  U22 : [o * o * o] --> o 
  U221 : [o] --> o 
  U23 : [o * o * o] --> o 
  U231 : [o * o] --> o 
  U232 : [o] --> o 
  U24 : [o * o] --> o 
  U241 : [o * o * o] --> o 
  U242 : [o * o * o] --> o 
  U243 : [o * o * o] --> o 
  U244 : [o * o * o] --> o 
  U245 : [o * o] --> o 
  U246 : [o] --> o 
  U251 : [o * o * o] --> o 
  U252 : [o * o * o] --> o 
  U253 : [o * o * o] --> o 
  U254 : [o * o * o] --> o 
  U255 : [o * o] --> o 
  U256 : [o] --> o 
  U261 : [o * o] --> o 
  U262 : [o] --> o 
  U271 : [o * o] --> o 
  U272 : [o] --> o 
  U281 : [o * o] --> o 
  U282 : [o * o] --> o 
  U291 : [o * o * o] --> o 
  U292 : [o * o * o] --> o 
  U293 : [o * o * o] --> o 
  U294 : [o * o * o] --> o 
  U301 : [o * o * o] --> o 
  U302 : [o * o] --> o 
  U303 : [o * o] --> o 
  U304 : [o * o] --> o 
  U31 : [o * o * o] --> o 
  U311 : [o * o] --> o 
  U312 : [o * o] --> o 
  U32 : [o * o * o] --> o 
  U321 : [o * o * o * o] --> o 
  U322 : [o * o * o * o] --> o 
  U323 : [o * o * o * o] --> o 
  U324 : [o * o * o * o] --> o 
  U325 : [o * o * o * o] --> o 
  U326 : [o * o * o * o] --> o 
  U327 : [o * o] --> o 
  U33 : [o * o * o] --> o 
  U331 : [o * o * o] --> o 
  U332 : [o * o] --> o 
  U333 : [o * o] --> o 
  U334 : [o * o] --> o 
  U34 : [o * o] --> o 
  U341 : [o * o * o] --> o 
  U342 : [o * o * o] --> o 
  U343 : [o * o * o] --> o 
  U344 : [o * o * o] --> o 
  U41 : [o * o * o] --> o

popout

output may be truncated. 'popout' for the full output.

job log

popout

actions all output return to TRS Stand 20472