Add a CI script to test the decoder on three different sets of SIF problems #14
Job | Run time |
---|---|
13m 38s | |
13m 43s | |
2m 41s | |
1m 10s | |
1m 14s | |
1m 10s | |
1m 7s | |
1m 6s | |
1m 3s | |
36m 52s |
Job | Run time |
---|---|
13m 38s | |
13m 43s | |
2m 41s | |
1m 10s | |
1m 14s | |
1m 10s | |
1m 7s | |
1m 6s | |
1m 3s | |
36m 52s |