» Experiments :: TLSF: Realizability, Parallel :: Solver Configurations :: Acacia 4 Aiger (par) details

Details for solver configuration Acacia 4 Aiger (par)

Name: Acacia 4 Aiger
Version:
Description:
Authors: Romain Brenguier, Ocan Sankur, Guillermo A. Perez, Jean-Francois Raskin
Launch Command: .//run_acacia.sh par_real_conf1 <instance>
Hint:

Specified parameters

Order Name Prefix Value
0 configuration par_real_conf1
1 instance