Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
TRS Stand 20472 pair #381712338
details
property
value
status
complete
benchmark
mucrl1.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n037.star.cs.uiowa.edu
space
CiME_04
run statistics
property
value
solver
NaTT
configuration
Default
runtime (wallclock)
0.749206066132 seconds
cpu usage
0.817930068
max memory
2.2552576E7
stage attributes
key
value
output-size
66976
starexec-result
YES
output
/export/starexec/sandbox2/solver/bin/starexec_run_Default /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES Input TRS: 1: or(T(),T()) -> T() 2: or(F(),T()) -> T() 3: or(T(),F()) -> T() 4: or(F(),F()) -> F() 5: and(T(),B) -> B 6: and(B,T()) -> B 7: and(F(),B) -> F() 8: and(B,F()) -> F() 9: imp(T(),B) -> B 10: imp(F(),B) -> T() 11: not(T()) -> F() 12: not(F()) -> T() 13: if(T(),B1,B2) -> B1 14: if(F(),B1,B2) -> B2 15: eq(T(),T()) -> T() 16: eq(F(),F()) -> T() 17: eq(T(),F()) -> F() 18: eq(F(),T()) -> F() 19: eqt(nil(),undefined()) -> F() 20: eqt(nil(),pid(N2)) -> F() 21: eqt(nil(),int(N2)) -> F() 22: eqt(nil(),cons(H2,T2)) -> F() 23: eqt(nil(),tuple(H2,T2)) -> F() 24: eqt(nil(),tuplenil(H2)) -> F() 25: eqt(a(),nil()) -> F() 26: eqt(a(),a()) -> T() 27: eqt(a(),excl()) -> F() 28: eqt(a(),false()) -> F() 29: eqt(a(),lock()) -> F() 30: eqt(a(),locker()) -> F() 31: eqt(a(),mcrlrecord()) -> F() 32: eqt(a(),ok()) -> F() 33: eqt(a(),pending()) -> F() 34: eqt(a(),release()) -> F() 35: eqt(a(),request()) -> F() 36: eqt(a(),resource()) -> F() 37: eqt(a(),tag()) -> F() 38: eqt(a(),true()) -> F() 39: eqt(a(),undefined()) -> F() 40: eqt(a(),pid(N2)) -> F() 41: eqt(a(),int(N2)) -> F() 42: eqt(a(),cons(H2,T2)) -> F() 43: eqt(a(),tuple(H2,T2)) -> F() 44: eqt(a(),tuplenil(H2)) -> F() 45: eqt(excl(),nil()) -> F() 46: eqt(excl(),a()) -> F() 47: eqt(excl(),excl()) -> T() 48: eqt(excl(),false()) -> F() 49: eqt(excl(),lock()) -> F() 50: eqt(excl(),locker()) -> F() 51: eqt(excl(),mcrlrecord()) -> F() 52: eqt(excl(),ok()) -> F() 53: eqt(excl(),pending()) -> F() 54: eqt(excl(),release()) -> F() 55: eqt(excl(),request()) -> F() 56: eqt(excl(),resource()) -> F() 57: eqt(excl(),tag()) -> F() 58: eqt(excl(),true()) -> F() 59: eqt(excl(),undefined()) -> F() 60: eqt(excl(),pid(N2)) -> F() 61: eqt(excl(),eqt(false(),int(N2))) -> F() 62: eqt(false(),cons(H2,T2)) -> F() 63: eqt(false(),tuple(H2,T2)) -> F() 64: eqt(false(),tuplenil(H2)) -> F() 65: eqt(lock(),nil()) -> F() 66: eqt(lock(),a()) -> F() 67: eqt(lock(),excl()) -> F() 68: eqt(lock(),false()) -> F() 69: eqt(lock(),lock()) -> T() 70: eqt(lock(),locker()) -> F() 71: eqt(lock(),mcrlrecord()) -> F() 72: eqt(lock(),ok()) -> F() 73: eqt(lock(),pending()) -> F() 74: eqt(lock(),release()) -> F() 75: eqt(lock(),request()) -> F() 76: eqt(lock(),resource()) -> F() 77: eqt(lock(),tag()) -> F() 78: eqt(lock(),true()) -> F() 79: eqt(lock(),undefined()) -> F() 80: eqt(lock(),pid(N2)) -> F() 81: eqt(lock(),int(N2)) -> F() 82: eqt(lock(),cons(H2,T2)) -> F() 83: eqt(lock(),tuple(H2,T2)) -> F() 84: eqt(lock(),tuplenil(H2)) -> F() 85: eqt(locker(),nil()) -> F() 86: eqt(locker(),a()) -> F() 87: eqt(locker(),excl()) -> F() 88: eqt(locker(),false()) -> F() 89: eqt(locker(),lock()) -> F() 90: eqt(locker(),locker()) -> T() 91: eqt(locker(),mcrlrecord()) -> F() 92: eqt(locker(),ok()) -> F()
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to TRS Stand 20472