specfun


v1.0.0 compiled with GNAT 12.2.1 on linux arch
  • Status:
    SUCCESS
  • Duration: 4.01
  • Attempted: 2024-06-22 00:38:53 +0000
  • Log
v1.0.0 compiled with GNAT 12.2.0 on linux arch
  • Status:
    SUCCESS
  • Duration: 6.41
  • Attempted: 2024-07-10 13:07:57 +0000
  • Log
v1.0.0 compiled with GNAT 12.1.0 on linux arch
  • Status:
    SUCCESS
  • Duration: 5.72
  • Attempted: 2022-09-26 01:23:20 +0000
  • Log
v1.0.0 compiled with GNAT 11.1.0 on linux arch
  • Status:
    SUCCESS
  • Duration: 6.0
  • Attempted: 2022-06-16 13:19:41 +0000
  • Log
v1.0.0 compiled with GNAT 13.2.1 on linux arch-20230723.0.166908
  • Status:
    SUCCESS
  • Duration: 5.35
  • Attempted: 2024-06-13 01:20:48 +0000
  • Log
v1.0.0 compiled with GNAT 13.2.1 on linux arch-20231112.0.191179
  • Status:
    SUCCESS
  • Duration: 5.13
  • Attempted: 2024-05-30 01:17:04 +0000
  • Log
v1.0.0 compiled with GNAT 14.1.1 on linux arch-20240101.0.204074
  • Status:
    SUCCESS
  • Duration: 5.92
  • Attempted: 2024-07-26 01:16:47 +0000
  • Log
v1.0.0 compiled with GNAT 13.2.1 on linux arch-20240101.0.204074
  • Status:
    SUCCESS
  • Duration: 6.1
  • Attempted: 2024-05-27 13:04:41 +0000
  • Log
v1.0.0 compiled with GNAT 12.2.0 on linux centos-8
  • Status:
    SUCCESS
  • Duration: 6.45
  • Attempted: 2024-07-02 13:14:21 +0000
  • Log
v1.0.0 compiled with GNAT 11.2.0 on linux centos-8
  • Status:
    SUCCESS
  • Duration: 11.34
  • Attempted: 2022-09-25 01:13:04 +0000
  • Log
v1.0.0 compiled with GNAT 10.2.1 on linux centos-8
  • Status:
    SUCCESS
  • Duration: 8.6
  • Attempted: 2023-06-08 01:23:58 +0000
  • Log
v1.0.0 compiled with GNAT 13.2.0 on linux centos-9
  • Status:
    SUCCESS
  • Duration: 6.85
  • Attempted: 2024-06-22 01:13:05 +0000
  • Log
v1.0.0 compiled with GNAT 10.2.1 on linux debian-11
  • Status:
    SUCCESS
  • Duration: 8.45
  • Attempted: 2023-05-29 01:17:25 +0000
  • Log
v1.0.0 compiled with GNAT 12.2.0 on linux debian-12
  • Status:
    SUCCESS
  • Duration: 6.46
  • Attempted: 2024-07-22 13:23:04 +0000
  • Log
v1.0.0 compiled with GNAT 11.2.4 on linux fedora-33
  • Status:
    SUCCESS
  • Duration: 3.85
  • Attempted: 2024-05-20 12:37:10 +0000
  • Log
v1.0.0 compiled with GNAT 10.2.1 on linux fedora-33
  • Status:
    SUCCESS
  • Duration: 7.34
  • Attempted: 2023-06-10 01:11:21 +0000
  • Log
v1.0.0 compiled with GNAT 12.2.1 on linux fedora-36
  • Status:
    SUCCESS
  • Duration: 5.18
  • Attempted: 2024-06-29 00:30:40 +0000
  • Log
v1.0.0 compiled with GNAT 12.1.1 on linux fedora-36
  • Status:
    SUCCESS
  • Duration: 5.67
  • Attempted: 2023-04-13 01:25:36 +0000
  • Log
v1.0.0 compiled with GNAT 13.1.1 on linux fedora-38
  • Status:
    SUCCESS
  • Duration: 5.7
  • Attempted: 2024-02-17 01:20:56 +0000
  • Log
v1.0.0 compiled with GNAT 13.2.1 on linux fedora-39
  • Status:
    SUCCESS
  • Duration: 5.87
  • Attempted: 2024-06-10 01:11:10 +0000
  • Log
v1.0.0 compiled with GNAT 14.1.1 on linux fedora-40
  • Status:
    SUCCESS
  • Duration: 5.49
  • Attempted: 2024-07-16 13:18:05 +0000
  • Log
v1.0.0 compiled with GNAT 11.2.4 on linux ubuntu-20.04
  • Status:
    SUCCESS
  • Duration: 4.0
  • Attempted: 2024-06-26 00:49:24 +0000
  • Log
v1.0.0 compiled with GNAT 10.3.2 on linux ubuntu-20.04
  • Status:
    SUCCESS
  • Duration: 4.17
  • Attempted: 2024-07-26 12:25:02 +0000
  • Log
v1.0.0 compiled with GNAT 9.3.0 on linux ubuntu-20.04
  • Status:
    SUCCESS
  • Duration: 6.63
  • Attempted: 2022-05-30 17:54:04 +0000
  • Log
v1.0.0 compiled with GNAT 13.2.1 on linux ubuntu-22.04
  • Status:
    SUCCESS
  • Duration: 5.87
  • Attempted: 2024-05-15 13:04:18 +0000
  • Log
v1.0.0 compiled with GNAT 13.1.0 on linux ubuntu-22.04
  • Status:
    SUCCESS
  • Duration: 4.47
  • Attempted: 2024-07-17 00:55:32 +0000
  • Log
v1.0.0 compiled with GNAT 12.2.1 on linux ubuntu-22.04
  • Status:
    SUCCESS
  • Duration: 3.86
  • Attempted: 2024-05-20 00:38:36 +0000
  • Log
v1.0.0 compiled with GNAT 11.2.4 on linux ubuntu-22.04
  • Status:
    SUCCESS
  • Duration: 4.04
  • Attempted: 2024-07-22 12:36:09 +0000
  • Log
v1.0.0 compiled with GNAT 10.5.0 on linux ubuntu-22.04
  • Status:
    SUCCESS
  • Duration: 7.4
  • Attempted: 2024-06-17 13:02:04 +0000
  • Log
v1.0.0 compiled with GNAT 10.3.2 on linux ubuntu-22.04
  • Status:
    SUCCESS
  • Duration: 3.92
  • Attempted: 2024-07-03 00:36:25 +0000
  • Log
v1.0.0 compiled with GNAT 10.3.0 on linux ubuntu-22.04
  • Status:
    SUCCESS
  • Duration: 7.96
  • Attempted: 2023-06-09 01:26:30 +0000
  • Log
v1.0.0 compiled with GNAT 13.2.0 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 6.8
  • Attempted: 2024-07-04 01:20:17 +0000
  • Log
v1.0.0 compiled with GNAT 11.2.4 on macos darwin-20.6.0
  • Status:
    SUCCESS
  • Duration: 30.77
  • Attempted: 2024-07-17 00:48:52 +0000
  • Log
v1.0.0 compiled with GNAT 10.3.2 on macos darwin-20.6.0
  • Status:
    SUCCESS
  • Duration: 32.1
  • Attempted: 2024-07-01 00:35:11 +0000
  • Log
v1.0.0 compiled with GNAT 13.1.0 on macos darwin-21.6.0
  • Status:
    SUCCESS
  • Duration: 8.4
  • Attempted: 2024-03-14 12:50:09 +0000
  • Log
v1.0.0 compiled with GNAT 12.2.1 on macos darwin-21.6.0
  • Status:
    SUCCESS
  • Duration: 28.75
  • Attempted: 2024-07-03 00:40:19 +0000
  • Log
v1.0.0 compiled with GNAT 11.2.4 on macos darwin-21.6.0
  • Status:
    SUCCESS
  • Duration: 32.23
  • Attempted: 2024-07-17 12:25:02 +0000
  • Log
v1.0.0 compiled with GNAT 10.3.2 on macos darwin-21.6.0
  • Status:
    SUCCESS
  • Duration: 10.03
  • Attempted: 2024-03-15 12:48:36 +0000
  • Log
v1.0.0 compiled with GNAT 13.1.0 on macos darwin-23.4.0
  • Status:
    SUCCESS
  • Duration: 35.84
  • Attempted: 2024-05-08 12:40:52 +0000
  • Log
v1.0.0 compiled with GNAT 12.2.1 on macos darwin-23.4.0
  • Status:
    SUCCESS
  • Duration: 32.26
  • Attempted: 2024-05-28 13:37:05 +0000
  • Log
v1.0.0 compiled with GNAT 11.2.4 on macos darwin-23.4.0
  • Status:
    SUCCESS
  • Duration: 31.12
  • Attempted: 2024-05-06 00:39:49 +0000
  • Log
v1.0.0 compiled with GNAT 10.3.2 on macos darwin-23.4.0
  • Status:
    SUCCESS
  • Duration: 28.51
  • Attempted: 2024-05-27 13:28:06 +0000
  • Log
v1.0.0 compiled with GNAT 13.1.0 on macos darwin-23.5.0
  • Status:
    SUCCESS
  • Duration: 34.33
  • Attempted: 2024-07-25 01:59:48 +0000
  • Log
v1.0.0 compiled with GNAT 12.2.1 on macos darwin-23.5.0
  • Status:
    SUCCESS
  • Duration: 32.74
  • Attempted: 2024-07-23 13:33:14 +0000
  • Log
v1.0.0 compiled with GNAT 11.2.4 on macos darwin-23.5.0
  • Status:
    SUCCESS
  • Duration: 44.73
  • Attempted: 2024-07-10 01:27:38 +0000
  • Log
v1.0.0 compiled with GNAT 10.3.2 on macos darwin-23.5.0
  • Status:
    SUCCESS
  • Duration: 29.73
  • Attempted: 2024-07-09 01:44:09 +0000
  • Log
v1.0.0 compiled with GNAT 13.1.0 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 14.44
  • Attempted: 2024-07-18 13:16:38 +0000
  • Log
v1.0.0 compiled with GNAT 12.2.1 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 13.23
  • Attempted: 2024-07-16 00:31:35 +0000
  • Log
v1.0.0 compiled with GNAT 11.2.4 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 13.72
  • Attempted: 2024-07-11 12:50:13 +0000
  • Log
v1.0.0 compiled with GNAT 10.3.2 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 13.33
  • Attempted: 2024-07-20 01:08:17 +0000
  • Log