details

property	value
status	complete
benchmark	12.xml
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n028.star.cs.uiowa.edu
space	Gebhardt_06

run statistics

property	value
solver	MultumNonMulta3.12_29June2018A
configuration	default
runtime (wallclock)	0.382395029068 seconds
cpu usage	0.52011554
max memory	4.97614848E8

stage attributes

key	value
output-size	1537
starexec-result	NO

output

/export/starexec/sandbox/solver/bin/starexec_run_default /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- NO Loop of length 25 starting with a string of length 11 using right expansion and the encoding {0=a, 1=b}: .aaaa.abbbbab rule aaaa -> abbb at position 0 .abbb.abbbbab rule babb -> aaba at position 3 .abbaaba.bbab rule babb -> aaba at position 5 .abbaaaaba.ab rule aaaa -> abbb at position 3 .abbabbbba.ab rule babb -> aaba at position 2 .abaababba.ab rule babb -> aaba at position 4 .abaaaabaa.ab rule aaaa -> abbb at position 2 .ababbbbaa.ab rule babb -> aaba at position 1 .aaababbaa.ab rule babb -> aaba at position 3 .aaaaabaaa.ab rule aaaa -> abbb at position 1 .aabbbbaaa.ab rule aaaa -> abbb at position 6 .aabbbbabbb.b rule babb -> aaba at position 5 .aabbbaabab.b rule babb -> aaba at position 7 .aabbbaaaaba. rule aaaa -> abbb at position 5 .aabbbabbbba. rule babb -> aaba at position 4 .aabbaababba. rule babb -> aaba at position 6 .aabbaaaabaa. rule aaaa -> abbb at position 4 .aabbabbbbaa. rule babb -> aaba at position 3 .aabaababbaa. rule babb -> aaba at position 5 .aabaaaabaaa. rule aaaa -> abbb at position 3 .aababbbbaaa. rule babb -> aaba at position 2 .aaaababbaaa. rule babb -> aaba at position 4 .aaaaaabaaaa. rule aaaa -> abbb at position 7 .aaaaaababbb. rule babb -> aaba at position 6 .aaaaaaaabab. rule aaaa -> abbb at position 4 .aaaaabbbbab. popout

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

job log

popout

actions

all output return to SRS Stand 10685