Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
TRS Conte Sensi 17651 pair #381733301
details
property
value
status
complete
benchmark
f40.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n052.star.cs.uiowa.edu
space
Transformed_outermost_08
run statistics
property
value
solver
muterm 5.18
configuration
default
runtime (wallclock)
0.170212984085 seconds
cpu usage
0.166849129
max memory
6447104.0
stage attributes
key
value
output-size
88379
starexec-result
YES
output
/export/starexec/sandbox/solver/bin/starexec_run_default /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES Problem 1: (VAR x) (STRATEGY CONTEXTSENSITIVE (*top*_1 1) (*top*_10 1) (*top*_11 1) (*top*_12 1) (*top*_13 1) (*top*_14 1) (*top*_15 1) (*top*_16 1) (*top*_17 1) (*top*_18 1) (*top*_19 1) (*top*_2 1) (*top*_20 1) (*top*_21 1) (*top*_22 1) (*top*_23 1) (*top*_24 1) (*top*_25 1) (*top*_26 1) (*top*_27 1) (*top*_28 1) (*top*_29 1) (*top*_3 1) (*top*_30 1) (*top*_31 1) (*top*_32 1) (*top*_33 1) (*top*_34 1) (*top*_35 1) (*top*_36 1) (*top*_37 1) (*top*_38 1) (*top*_39 1) (*top*_4 1) (*top*_40 1) (*top*_5 1) (*top*_6 1) (*top*_7 1) (*top*_8 1) (*top*_9 1) (f_81 1) (a_41) (c_42) (f_43 1) (f_44 1) (f_45 1) (f_46 1) (f_47 1) (f_48 1) (f_49 1) (f_50 1) (f_51 1) (f_52 1) (f_53 1) (f_54 1) (f_55 1) (f_56 1) (f_57 1) (f_58 1) (f_59 1) (f_60 1) (f_61 1) (f_62 1) (f_63 1) (f_64 1) (f_65 1) (f_66 1) (f_67 1) (f_68 1) (f_69 1) (f_70 1) (f_71 1) (f_72 1) (f_73 1) (f_74 1) (f_75 1) (f_76 1) (f_77 1) (f_78 1) (f_79 1) (f_80 1) (f_82) ) (RULES *top*_1(f_44(a_41)) -> *top*_3(f_43(f_44(a_41))) *top*_10(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))) -> *top*_11(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))))) *top*_11(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))))) -> *top*_12(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))))) *top*_12(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))))) -> *top*_13(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))))))
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to TRS Conte Sensi 17651