Syntcomp 2016
Results
|
Monitor
»
Experiments
::
TLSF: Realizability, Sequential
:: Results by Solver
Solver:
Bosy linear
Bosy exponential
Acacia 4 Aiger
Party (elli-rally)
Unbeast (realizable)
Unbeast (unrealizable)
Cost:
CPU Time
Walltime
Cost