Bugfix/scip option parsing #532
Job | Run time |
---|---|
1m 41s | |
53s | |
1m 29s | |
1m 43s | |
58s | |
1m 32s | |
1m 14s | |
1m 17s | |
1m 21s | |
1m 18s | |
1m 1s | |
1m 34s | |
1m 33s | |
1m 5s | |
1m 44s | |
20m 23s |
Job | Run time |
---|---|
1m 41s | |
53s | |
1m 29s | |
1m 43s | |
58s | |
1m 32s | |
1m 14s | |
1m 17s | |
1m 21s | |
1m 18s | |
1m 1s | |
1m 34s | |
1m 33s | |
1m 5s | |
1m 44s | |
20m 23s |