Remove internal A* search for Cartesian CEGAR. #171
Job | Run time |
---|---|
23m 57s | |
20m 9s | |
15m 54s | |
13m 19s | |
17m 37s | |
24m 8s | |
18m 10s | |
19m 20s | |
1m 51s | |
1m 50s | |
2h 36m 15s |
Job | Run time |
---|---|
23m 57s | |
20m 9s | |
15m 54s | |
13m 19s | |
17m 37s | |
24m 8s | |
18m 10s | |
19m 20s | |
1m 51s | |
1m 50s | |
2h 36m 15s |