» Experiments :: TLSF: Realizability, Parallel :: Solver Configurations :: BoSy (spot,par) details

Details for solver configuration BoSy (spot,par)

Name: BoSy
Version:
Description:
Authors: Leander Tentrup
Launch Command: .//bosy.sh <instance> --syntcomp2017-rules --automaton-tool spot
Hint:

Specified parameters

Order Name Prefix Value
0 instance
1 rules --syntcomp2017-rules ✓
3 automaton tool --automaton-tool spot ✓