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