z3 (math/z3) Updated: 1 week, 3 days ago Add to my watchlist
Z3 Theorem ProverHigh performance SMT solver from Microsoft Research.
Version: 4.13.3 License: MIT
GitHub
424 build(s) found
Page 5 of 5 | Showing build(s) 401 to 424
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.10 | 107334 | 2020-01-13 21:31:05 | 0:36:56 | 31046 | build successful |
| 10.8 | 12577 | 2020-01-13 21:30:35 | 0:49:36 | 3389 | build successful |
| 10.7 | 13990 | 2020-01-13 21:30:01 | 0:48:19 | 3392 | build successful |
| 10.6.x86_64 | 14897 | 2020-01-13 21:29:30 | 0:26:52 | 3395 | failed install-port |
| 10.15 | 15816 | 2019-12-22 19:35:15 | 0:18:24 | 1651 | build successful |
| 10.6 | 2163 | 2019-11-04 7:01:07 | 0:21:05 | 666 | failed install-port |
| 10.6.x86_64 | 4251 | 2019-11-01 16:17:30 | 0:11:03 | 668 | failed install-port |
| 10.13 | 65422 | 2019-10-01 7:25:16 | 0:23:27 | 18897 | build successful |
| 10.11 | 95717 | 2019-10-01 6:55:34 | 0:24:31 | 27937 | build successful |
| 10.12 | 100129 | 2019-10-01 6:53:24 | 0:21:46 | 26918 | build successful |
| 10.9 | 98833 | 2019-10-01 5:28:49 | 0:28:36 | 27923 | build successful |
| 10.14 | 39695 | 2019-10-01 4:46:57 | 0:22:49 | 9613 | build successful |
| 10.10 | 96261 | 2019-10-01 4:14:46 | 0:35:33 | 27979 | build successful |
| 10.12 | 99641 | 2019-09-26 22:10:45 | 0:24:47 | 26772 | build successful |
| 10.10 | 95784 | 2019-09-25 18:44:22 | 0:28:28 | 27835 | build successful |
| 10.13 | 64955 | 2019-09-25 18:43:56 | 0:29:35 | 18753 | build successful |
| 10.11 | 95235 | 2019-09-25 18:43:30 | 0:40:16 | 27793 | build successful |
| 10.14 | 39229 | 2019-09-25 18:42:54 | 0:23:41 | 9469 | build successful |
| 10.9 | 98357 | 2019-09-25 18:42:32 | 0:39:26 | 27779 | build successful |
| 10.11 | 95230 | 2019-09-25 16:46:20 | 0:04:44 | 27792 | failed install-port |
| 10.10 | 95779 | 2019-09-25 16:45:58 | 0:04:56 | 27834 | failed install-port |
| 10.13 | 64950 | 2019-09-25 16:45:33 | 0:04:41 | 18752 | failed install-port |
| 10.14 | 39224 | 2019-09-25 16:45:09 | 0:04:04 | 9468 | failed install-port |
| 10.9 | 98352 | 2019-09-25 16:44:46 | 0:04:36 | 27778 | failed install-port |