Unobjectionable rewrite rules for saturated arithmetic #283
Job | Run time |
---|---|
1h 40m 33s | |
17s | |
55s | |
13m 38s | |
1m 16s | |
17m 46s | |
9m 21s | |
51m 48s | |
2h 18m 40s | |
52s | |
2s | |
5h 35m 8s |
Job | Run time |
---|---|
1h 40m 33s | |
17s | |
55s | |
13m 38s | |
1m 16s | |
17m 46s | |
9m 21s | |
51m 48s | |
2h 18m 40s | |
52s | |
2s | |
5h 35m 8s |