boolector: bins of btor2tools are now in subdir 'build' #511
| Job | Run time |
|---|---|
| 8s | |
| 2m 37s | |
| 12m 31s | |
| 13m 23s | |
| 11m 51s | |
| 1m 35s | |
| 13m 31s | |
| 13m 57s | |
| 12m 36s | |
| 8s | |
| 30s | |
| 1m 29s | |
| 1m 27s | |
| 1m 39s | |
| 1m 10s | |
| 1m 26s | |
| 1m 26s | |
| 1m 16s | |
| 1h 32m 40s |
| Job | Run time |
|---|---|
| 8s | |
| 2m 37s | |
| 12m 31s | |
| 13m 23s | |
| 11m 51s | |
| 1m 35s | |
| 13m 31s | |
| 13m 57s | |
| 12m 36s | |
| 8s | |
| 30s | |
| 1m 29s | |
| 1m 27s | |
| 1m 39s | |
| 1m 10s | |
| 1m 26s | |
| 1m 26s | |
| 1m 16s | |
| 1h 32m 40s |