Syntcomp 2017
Results
|
Monitor
»
Experiments
::
TLSF: Synthesis, Sequential
:: Results by Solver
Solver:
BoSy (ltl3ba)
BoSy (spot)
spot-ltlsynt
Acacia 4 Aiger
Bowser c0
Bowser c1
Bowser c2
Party (int)
Party (bool)
Party (kid aiger)
Cost:
CPU Time
Walltime
Cost