Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
unsatCond1.itrs
details
attribute
value
description
owner
Johannes Waldmann
uploaded
2017-08-17 03:45:14.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