SL SMT-COMP2014-bench

loading

Spaces

0 jobs
name status completed total failed time

All

|

None

0 solvers
name description Type

All

|

None

0 benchmarks
name type

All

|

None

0 users
name institution email

All

|

None

0 subspaces
name description
space actions


would you like to copy or link primitives to the new space?
Probability of sampling a benchmark in the hierarchy (0-1):

do you want to download the single space or the hierarchy?


space
hierarchy


do you want to download the benchmarks and/or the solvers?


solvers only
benchmarks only
solvers + benchmarks


do you want to store benchmarks/solvers in id directories?


yes
no