» Experiments :: Reference - Realizability Sequential :: Solver Configurations :: Aisy details

Details for solver configuration Aisy

Name: Aisy
Version: 2015
Description:
Authors:
Launch Command: .//aisy_fixed/run_aisy.sh -r <instance>
Hint:

Specified parameters

Order Name Prefix Value
0 realizability -r ✓
1 instance