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 1 of 2 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 10042 | 2024-10-11 3:22:38 | 0:02:43 | 899 | build successful |
| 14 | 47786 | 2024-09-09 18:47:44 | 0:05:31 | 13578 | build successful |
| 12.arm64 | 137040 | 2024-09-08 21:10:29 | 0:01:31 | 39520 | build successful |
| 13.arm64 | 70638 | 2024-09-07 19:56:51 | 0:01:11 | 25121 | build successful |
| 13 | 78342 | 2024-09-07 17:38:43 | 0:06:52 | 25373 | build successful |
| 12 | 118300 | 2024-09-07 12:33:20 | 0:07:35 | 39630 | build successful |
| 10.6 | 180188 | 2024-09-07 11:22:32 | 0:01:52 | 62748 | failed install-port |
| 10.6.x86_64 | 216043 | 2024-09-07 11:20:07 | 0:01:41 | 62792 | failed install-port |
| 10.7 | 203753 | 2024-09-07 11:19:24 | 0:02:25 | 62500 | failed install-port |
| 10.8 | 190108 | 2024-09-07 11:17:21 | 0:02:24 | 60553 | failed install-port |
| 10.9 | 289755 | 2024-09-07 11:16:48 | 0:02:24 | 89760 | failed install-port |
| 10.10 | 282366 | 2024-09-07 11:16:21 | 0:02:06 | 90088 | failed install-port |
| 10.11 | 276172 | 2024-09-07 11:15:10 | 0:04:32 | 90250 | failed install-port |
| 14.arm64 | 41969 | 2024-09-07 11:14:43 | 0:01:32 | 13213 | build successful |
| 10.15 | 195620 | 2024-09-07 11:13:20 | 0:01:12 | 60801 | failed install-port |
| 11 | 166595 | 2024-09-07 11:12:57 | 0:09:25 | 50725 | build successful |
| 10.12 | 285577 | 2024-09-07 11:12:30 | 0:03:57 | 88962 | failed install-port |
| 10.14 | 218561 | 2024-09-07 11:11:16 | 0:01:36 | 71733 | failed install-port |
| 10.13 | 244420 | 2024-09-07 11:10:46 | 0:03:40 | 81063 | failed install-port |
| 10.9 | 285835 | 2024-07-31 9:18:21 | 0:02:42 | 88484 | failed install-port |
| 11 | 163276 | 2024-07-31 9:16:31 | 1:05:58 | 49451 | failed install-port |
| 10.10 | 278512 | 2024-07-31 9:15:39 | 0:01:06 | 88812 | failed install-port |
| 10.11 | 272603 | 2024-07-31 9:11:42 | 0:01:17 | 88974 | failed install-port |
| 10.8 | 186280 | 2024-07-31 9:02:54 | 0:03:04 | 59277 | failed install-port |
| 10.14 | 215335 | 2024-07-31 8:59:43 | 0:04:14 | 70460 | failed install-port |
| 10.12 | 282157 | 2024-07-31 8:56:39 | 0:01:11 | 87690 | failed install-port |
| 10.13 | 241277 | 2024-07-31 8:56:23 | 0:01:16 | 79790 | failed install-port |
| 10.15 | 192358 | 2024-07-31 8:53:45 | 1:05:56 | 59528 | failed install-port |
| 10.6.x86_64 | 211466 | 2024-07-31 7:22:43 | 0:00:51 | 61508 | failed install-port |
| 10.6 | 175695 | 2024-07-31 7:08:37 | 0:01:01 | 61464 | failed install-port |
| 10.7 | 199713 | 2024-07-31 6:59:35 | 0:02:57 | 61220 | failed install-port |
| 13 | 71993 | 2024-06-10 2:27:12 | 0:06:08 | 22357 | build successful |
| 12.arm64 | 130234 | 2024-06-09 18:24:22 | 0:25:29 | 36478 | build successful |
| 14.arm64 | 33558 | 2024-06-09 8:00:39 | 0:01:30 | 10195 | build successful |
| 10.14 | 211269 | 2024-06-08 23:14:23 | 0:04:04 | 68717 | failed install-port |
| 10.11 | 267884 | 2024-06-08 23:09:19 | 0:01:08 | 87202 | failed install-port |
| 10.13 | 237020 | 2024-06-08 23:08:30 | 0:00:45 | 78046 | failed install-port |
| 10.6.x86_64 | 205699 | 2024-06-08 23:04:50 | 0:01:17 | 59737 | failed install-port |
| 11 | 158943 | 2024-06-08 23:03:52 | 1:08:16 | 47713 | failed install-port |
| 10.6 | 170066 | 2024-06-08 23:00:59 | 0:01:03 | 59693 | failed install-port |
| 10.12 | 277344 | 2024-06-08 22:59:10 | 0:01:01 | 85920 | failed install-port |
| 12 | 110858 | 2024-06-08 22:57:28 | 1:06:08 | 36577 | build successful |
| 10.10 | 273597 | 2024-06-08 22:52:26 | 0:00:37 | 87040 | failed install-port |
| 10.15 | 188106 | 2024-06-08 22:51:32 | 1:05:44 | 57785 | failed install-port |
| 10.7 | 194639 | 2024-06-08 22:51:12 | 0:02:15 | 59454 | failed install-port |
| 10.9 | 280730 | 2024-06-08 22:48:59 | 0:02:07 | 86713 | failed install-port |
| 14 | 41098 | 2024-06-08 22:48:32 | 0:05:02 | 10556 | build successful |
| 10.8 | 181296 | 2024-06-08 22:46:45 | 0:02:34 | 57507 | failed install-port |
| 13.arm64 | 64011 | 2024-06-08 21:50:16 | 0:01:26 | 22099 | build successful |
| 13 | 67258 | 2024-04-29 8:15:12 | 0:04:40 | 20606 | build successful |
| 12.arm64 | 123979 | 2024-04-29 7:57:24 | 0:25:23 | 34716 | build successful |
| 13.arm64 | 56809 | 2024-04-28 22:02:59 | 0:01:17 | 20345 | build successful |
| 14 | 36383 | 2024-04-28 8:37:12 | 0:04:29 | 8785 | build successful |
| 12 | 104440 | 2024-04-28 5:57:08 | 0:59:45 | 34729 | build successful |
| 10.14 | 203558 | 2024-04-28 4:06:53 | 0:03:43 | 66997 | failed install-port |
| 10.8 | 172891 | 2024-04-28 0:29:21 | 0:00:35 | 55775 | failed install-port |
| 10.13 | 229038 | 2024-04-27 21:38:13 | 0:00:44 | 76248 | failed install-port |
| 10.12 | 269467 | 2024-04-27 20:31:44 | 0:00:51 | 84195 | failed install-port |
| 10.7 | 185917 | 2024-04-27 19:49:44 | 0:00:35 | 57718 | failed install-port |
| 10.9 | 272046 | 2024-04-27 19:30:10 | 0:00:36 | 84982 | failed install-port |
| 10.15 | 180171 | 2024-04-27 19:29:03 | 1:05:09 | 55989 | failed install-port |
| 11 | 150937 | 2024-04-27 19:28:01 | 1:06:08 | 45915 | failed install-port |
| 10.10 | 265080 | 2024-04-27 16:14:51 | 0:00:38 | 85308 | failed install-port |
| 10.6 | 162594 | 2024-04-27 15:31:58 | 0:00:43 | 57942 | failed install-port |
| 10.11 | 259737 | 2024-04-27 15:30:25 | 0:00:50 | 85413 | failed install-port |
| 10.6.x86_64 | 198438 | 2024-04-27 15:08:08 | 0:00:39 | 57990 | failed install-port |
| 14.arm64 | 25967 | 2024-04-27 13:31:40 | 0:01:18 | 8472 | build successful |
| 10.6 | 161218 | 2024-04-17 8:26:45 | 0:06:57 | 57493 | failed install-port |
| 10.6.x86_64 | 197000 | 2024-04-17 8:20:14 | 0:08:20 | 57541 | failed install-port |
| 10.9 | 271117 | 2024-04-17 8:19:49 | 0:16:40 | 84538 | build successful |
| 10.7 | 184699 | 2024-04-17 8:19:23 | 0:19:25 | 57270 | build successful |
| 10.8 | 172010 | 2024-04-17 8:18:58 | 0:19:09 | 55331 | build successful |
| 10.11 | 258860 | 2024-04-17 8:18:16 | 0:00:18 | 84969 | failed install-port |
| 10.10 | 263944 | 2024-04-17 8:17:50 | 0:00:17 | 84861 | failed install-port |
| 10.6 | 161216 | 2024-04-17 8:14:33 | 0:08:53 | 57491 | failed install-port |
| 10.11 | 258859 | 2024-04-17 8:12:29 | 0:02:09 | 84967 | failed install-port |
| 10.6.x86_64 | 196998 | 2024-04-17 8:08:33 | 0:07:15 | 57539 | failed install-port |
| 10.8 | 172009 | 2024-04-17 8:07:50 | 0:01:57 | 55329 | failed install-port |
| 10.9 | 271116 | 2024-04-17 8:07:46 | 0:01:29 | 84536 | failed install-port |
| 10.10 | 263943 | 2024-04-17 8:06:24 | 0:01:29 | 84859 | failed install-port |
| 10.7 | 184698 | 2024-04-17 8:05:32 | 0:01:49 | 57268 | failed install-port |
| 14.arm64 | 9160 | 2024-01-20 16:23:16 | 0:01:38 | 4247 | build successful |
| 14 | 15587 | 2023-12-03 16:11:51 | 0:03:45 | 2466 | build successful |
| 10.8 | 144851 | 2023-08-18 12:23:34 | 0:01:17 | 45914 | failed install-port |
| 10.6 | 131729 | 2023-08-18 12:23:13 | 0:05:59 | 48074 | failed install-port |
| 10.6.x86_64 | 167268 | 2023-08-18 12:15:25 | 0:04:23 | 48113 | failed install-port |
| 10.9 | 242549 | 2023-08-18 12:00:00 | 0:01:30 | 75127 | failed install-port |
| 10.11 | 232455 | 2023-08-18 11:58:49 | 0:01:15 | 75550 | failed install-port |
| 10.7 | 156445 | 2023-08-18 11:56:58 | 0:01:02 | 47854 | failed install-port |
| 10.10 | 236062 | 2023-08-18 11:49:03 | 0:00:58 | 75438 | failed install-port |
| 13.arm64 | 12279 | 2023-03-09 15:18:34 | 0:01:39 | 4272 | build successful |
| 10.6 | 104608 | 2023-01-13 14:03:54 | 0:08:54 | 39792 | failed install-port |
| 10.10 | 210175 | 2023-01-13 12:48:51 | 0:01:19 | 67126 | failed install-port |
| 10.7 | 129799 | 2023-01-13 12:39:26 | 0:01:31 | 39564 | failed install-port |
| 13 | 14770 | 2023-01-13 12:10:48 | 0:04:47 | 2055 | build successful |
| 10.11 | 207599 | 2023-01-13 11:38:43 | 0:02:41 | 67246 | failed install-port |
| 10.8 | 119023 | 2023-01-13 10:59:05 | 0:01:32 | 37607 | failed install-port |
| 10.6.x86_64 | 139305 | 2023-01-13 10:54:40 | 0:06:11 | 39822 | failed install-port |
| 10.9 | 215839 | 2023-01-13 10:49:09 | 0:01:21 | 66822 | failed install-port |
| 10.8 | 90399 | 2022-05-25 3:30:15 | 0:01:17 | 29036 | failed install-port |