[SMT-COMP] SMT-COMP 2015: Benchmark Spaces Updated

[Tjark Weber]

Dear SMT-COMP participants,

We have updated the competition benchmark spaces on StarExec in order
to remove or fix a (relatively small) number of syntactically invalid
benchmarks, and also to remove all floating-point benchmarks that use
fp.min or fp.max.

The spaces below "SMT-COMP 2015" now contain 154238 eligible benchmarks
for the main track, and 9858 eligible benchmarks for the application
track. Per-division figures are available at
http://smtcomp.sourceforge.net/2015/benchmarks.shtml

At this point, unless other benchmarks are identified as faulty during
the competition, I expect no further changes to the benchmark spaces.

Best,
Tjark