Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
unsatCond1.itrs
details
attribute
value
description
owner
Akihisa Yamada
uploaded
2020-06-20 22:49:26.0
disk size
40 Bytes
downloadable
true
type
attribute
value
name
no_type
processor id
1
description
this is the default benchmark type for rejected benchmarks and benchmarks that are not associated with a type.
owning community
none
contents
(VAR x) (RULES f(x) -> f(x) :|: x > x )
popout
content may be truncated. 'popout' for larger text window.
actions
get anonymous link
download benchmark