Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432290295
details
property
value
status
complete
benchmark
size-12-alpha-3-num-247.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n174.star.cs.uiowa.edu
space
Waldmann_07_size12
run statistics
property
value
solver
MultumNonMulta 3.12 20G
configuration
default
runtime (wallclock)
13.2935 seconds
cpu usage
51.2615
user time
47.0444
system time
4.21716
max virtual memory
2.5255148E7
max residence set size
8634616.0
stage attributes
key
value
starexec-result
NO
output
50.87/13.25 NO 50.87/13.26 Loop of length 29 starting with a string of length 8 using right expansion 50.87/13.26 and the encoding {a=a, b=b, c=c}: 50.87/13.26 50.87/13.26 .ab.cbbcbb 50.87/13.26 rule ab -> bcaa at position 0 50.87/13.26 .bcaa.cbbcbb 50.87/13.26 rule a -> at position 2 50.87/13.26 .bca.cbbcbb 50.87/13.26 rule a -> at position 2 50.87/13.26 .bc.cbbcbb 50.87/13.26 rule cc -> cba at position 1 50.87/13.26 .bcba.bbcbb 50.87/13.26 rule ab -> bcaa at position 3 50.87/13.26 .bcbbcaa.bcbb 50.87/13.26 rule ab -> bcaa at position 6 50.87/13.26 .bcbbcabcaa.cbb 50.87/13.26 rule ab -> bcaa at position 5 50.87/13.26 .bcbbcbcaacaa.cbb 50.87/13.26 rule a -> at position 7 50.87/13.26 .bcbbcbcacaa.cbb 50.87/13.26 rule a -> at position 7 50.87/13.26 .bcbbcbccaa.cbb 50.87/13.26 rule a -> at position 8 50.87/13.26 .bcbbcbcca.cbb 50.87/13.26 rule a -> at position 8 50.87/13.26 .bcbbcbcc.cbb 50.87/13.26 rule cc -> cba at position 7 50.87/13.26 .bcbbcbccba.bb 50.87/13.26 rule cc -> cba at position 6 50.87/13.26 .bcbbcbcbaba.bb 50.87/13.26 rule ab -> bcaa at position 8 50.87/13.26 .bcbbcbcbbcaaa.bb 50.87/13.26 rule ab -> bcaa at position 12 50.87/13.26 .bcbbcbcbbcaabcaa.b 50.87/13.26 rule ab -> bcaa at position 11 50.87/13.26 .bcbbcbcbbcabcaacaa.b 50.87/13.26 rule a -> at position 13 50.87/13.26 .bcbbcbcbbcabcacaa.b 50.87/13.26 rule a -> at position 13 50.87/13.26 .bcbbcbcbbcabccaa.b 50.87/13.26 rule cc -> cba at position 12 50.87/13.26 .bcbbcbcbbcabcbaaa.b 50.87/13.26 rule ab -> bcaa at position 16 50.87/13.26 .bcbbcbcbbcabcbaabcaa. 50.87/13.26 rule ab -> bcaa at position 15 50.87/13.26 .bcbbcbcbbcabcbabcaacaa. 50.87/13.26 rule ab -> bcaa at position 14 50.87/13.26 .bcbbcbcbbcabcbbcaacaacaa. 50.87/13.26 rule a -> at position 16 50.87/13.26 .bcbbcbcbbcabcbbcacaacaa. 50.87/13.26 rule a -> at position 16 50.87/13.26 .bcbbcbcbbcabcbbccaacaa. 50.87/13.26 rule a -> at position 17 50.87/13.26 .bcbbcbcbbcabcbbccacaa. 50.87/13.26 rule a -> at position 17 50.87/13.26 .bcbbcbcbbcabcbbcccaa. 50.87/13.26 rule cc -> cba at position 16 50.87/13.26 .bcbbcbcbbcabcbbccbaaa. 50.87/13.26 rule cc -> cba at position 15 50.87/13.26 .bcbbcbcbbcabcbbcbabaaa. 50.87/13.26 rule a -> at position 17 50.87/13.26 .bcbbcbcbbcabcbbcbbaaa. 51.21/13.29 EOF
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS_Standard 2019-03-29 03.29