vampire (math/vampire) Updated: 2 months, 2 weeks ago Add to my watchlist
Vampire Theorem ProverHigh performance automated theorem prover.
Version: 4.9 License: BSD and MIT
GitHub
145 build(s) found
Page 2 of 2 | Showing build(s) 101 to 145
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.10 | 184088 | 2022-05-25 2:59:35 | 0:01:46 | 58562 | failed install-port |
| 10.7 | 99956 | 2022-05-25 2:14:48 | 0:01:29 | 30983 | failed install-port |
| 10.11 | 182929 | 2022-05-24 23:23:34 | 0:01:56 | 58678 | failed install-port |
| 10.9 | 189092 | 2022-05-24 23:03:47 | 0:01:10 | 58254 | failed install-port |
| 10.6 | 71475 | 2022-05-24 18:15:16 | 0:11:35 | 31171 | failed install-port |
| 10.6.x86_64 | 105581 | 2022-05-24 16:31:01 | 0:12:08 | 31140 | failed install-port |
| 10.11 | 169908 | 2022-01-16 11:27:03 | 0:01:08 | 54379 | failed install-port |
| 10.6.x86_64 | 88526 | 2022-01-16 11:24:51 | 0:05:51 | 26821 | failed install-port |
| 10.6 | 54165 | 2022-01-16 11:08:07 | 0:08:15 | 26860 | failed install-port |
| 10.8 | 76744 | 2022-01-16 10:58:24 | 0:01:01 | 24734 | failed install-port |
| 10.10 | 171193 | 2022-01-16 10:50:01 | 0:00:39 | 54266 | failed install-port |
| 10.7 | 84913 | 2022-01-16 10:47:31 | 0:00:45 | 26680 | failed install-port |
| 10.9 | 175942 | 2022-01-16 10:47:19 | 0:00:50 | 53954 | failed install-port |
| 12 | 13789 | 2022-01-13 15:03:17 | 0:05:50 | 3402 | build successful |
| 12.arm64 | 25920 | 2021-11-23 6:33:12 | 0:01:48 | 1480 | build successful |
| 10.6 | 37942 | 2021-08-04 19:03:19 | 0:10:05 | 20602 | failed install-port |
| 10.6.x86_64 | 69634 | 2021-08-04 18:38:28 | 0:07:04 | 20573 | failed install-port |
| 10.11 | 150305 | 2021-08-04 18:32:34 | 0:02:26 | 48139 | failed install-port |
| 11 | 42201 | 2021-08-04 18:32:18 | 0:08:49 | 8596 | build successful |
| 10.15 | 67524 | 2021-08-04 18:32:11 | 0:07:06 | 18782 | build successful |
| 10.12 | 155221 | 2021-08-04 18:32:04 | 0:06:35 | 47127 | build successful |
| 10.8 | 57054 | 2021-08-04 18:31:57 | 0:01:55 | 18469 | failed install-port |
| 10.7 | 64558 | 2021-08-04 18:31:51 | 0:01:48 | 20610 | failed install-port |
| 10.14 | 96144 | 2021-08-04 18:31:44 | 0:08:35 | 29789 | build successful |
| 10.9 | 155934 | 2021-08-04 18:31:38 | 0:01:43 | 47885 | failed install-port |
| 10.13 | 119611 | 2021-08-04 18:31:31 | 0:05:42 | 39079 | build successful |
| 10.10 | 151678 | 2021-08-04 18:31:25 | 0:01:52 | 48202 | failed install-port |
| 11.arm64 | 27427 | 2021-08-04 18:31:18 | 0:03:16 | 8783 | build successful |
| 10.14 | 88366 | 2021-06-04 13:02:28 | 0:09:39 | 27829 | build successful |
| 10.15 | 59730 | 2021-06-04 1:08:15 | 0:08:02 | 16825 | build successful |
| 11 | 32805 | 2021-06-04 0:46:48 | 0:08:37 | 6632 | build successful |
| 10.6.x86_64 | 58376 | 2021-06-03 23:40:11 | 0:09:02 | 18604 | failed install-port |
| 10.11 | 143122 | 2021-06-03 23:22:27 | 0:02:13 | 46178 | failed install-port |
| 10.11 | 143118 | 2021-06-03 22:53:24 | 0:03:06 | 46175 | failed install-port |
| 10.10 | 144636 | 2021-06-03 22:52:48 | 0:02:37 | 46244 | failed install-port |
| 10.13 | 112678 | 2021-06-03 22:36:52 | 0:09:08 | 37120 | build successful |
| 10.10 | 144632 | 2021-06-03 22:22:18 | 0:02:02 | 46241 | failed install-port |
| 10.7 | 54814 | 2021-06-03 22:09:21 | 0:01:47 | 18643 | failed install-port |
| 10.9 | 148732 | 2021-06-03 22:03:10 | 0:02:00 | 45924 | failed install-port |
| 10.12 | 148202 | 2021-06-03 21:44:20 | 0:05:15 | 45167 | build successful |
| 10.9 | 148726 | 2021-06-03 21:21:09 | 0:02:06 | 45921 | failed install-port |
| 10.6 | 32596 | 2021-06-03 21:14:33 | 0:13:42 | 18635 | failed install-port |
| 10.8 | 48377 | 2021-06-03 21:12:47 | 0:02:13 | 16504 | failed install-port |
| 10.8 | 48370 | 2021-06-03 20:23:55 | 0:02:06 | 16501 | failed install-port |
| 11.arm64 | 21675 | 2021-06-03 18:22:18 | 0:03:18 | 6806 | build successful |