Syntcomp 2017
Results
|
Monitor
»
Experiments
::
TLSF: Realizability, Parallel
:: Results by Solver
Solver:
BoSy (ltl3ba,par)
BoSy (spot,par)
Bowser c0 par
Bowser c1 par
Bowser c2 par
Acacia 4 Aiger (par)
Party (portfolio)
Cost:
CPU Time
Walltime
Cost