specfun


v1.0.0 compiled with GNAT 12.2.1 on linux arch
  • Status:
    SUCCESS
  • Duration: 4.11
  • Attempted: 2024-12-05 12:39:11 +0000
  • Log
v1.0.0 compiled with GNAT 12.2.0 on linux arch
  • Status:
    SUCCESS
  • Duration: 6.52
  • Attempted: 2024-12-01 01:30:16 +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.95
  • Attempted: 2024-10-06 13:16:27 +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 14.2.1 on linux arch-20241006.0.268140
  • Status:
    SUCCESS
  • Duration: 6.24
  • Attempted: 2024-12-19 01:27:55 +0000
  • Log
v1.0.0 compiled with GNAT 12.2.0 on linux centos-8
  • Status:
    SUCCESS
  • Duration: 6.76
  • Attempted: 2024-12-01 01:17:27 +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.49
  • Attempted: 2024-12-13 13:11:57 +0000
  • Log
v1.0.0 compiled with GNAT 11.2.4 on linux fedora-33
  • Status:
    SUCCESS
  • Duration: 4.12
  • Attempted: 2024-11-03 12:33:39 +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: 3.96
  • Attempted: 2024-09-02 00:34:53 +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.2.1 on linux fedora-40
  • Status:
    SUCCESS
  • Duration: 5.43
  • Attempted: 2024-12-10 01:29:16 +0000
  • Log
v1.0.0 compiled with GNAT 14.1.1 on linux fedora-40
  • Status:
    SUCCESS
  • Duration: 5.16
  • Attempted: 2024-10-01 01:33:05 +0000
  • Log
v1.0.0 compiled with GNAT 11.2.4 on linux ubuntu-20.04
  • Status:
    SUCCESS
  • Duration: 4.04
  • Attempted: 2024-11-13 00:54:15 +0000
  • Log
v1.0.0 compiled with GNAT 10.3.2 on linux ubuntu-20.04
  • Status:
    SUCCESS
  • Duration: 3.87
  • Attempted: 2024-09-30 00:53:46 +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.69
  • Attempted: 2024-12-03 12:34:22 +0000
  • Log
v1.0.0 compiled with GNAT 12.2.1 on linux ubuntu-22.04
  • Status:
    SUCCESS
  • Duration: 3.9
  • Attempted: 2024-11-19 12:37:48 +0000
  • Log
v1.0.0 compiled with GNAT 11.2.4 on linux ubuntu-22.04
  • Status:
    SUCCESS
  • Duration: 3.97
  • Attempted: 2024-10-04 00:55: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: 4.1
  • Attempted: 2024-11-26 12:34:33 +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: 7.0
  • Attempted: 2024-08-30 01:21:31 +0000
  • Log
v1.0.0 compiled with GNAT 13.1.0 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 4.4
  • Attempted: 2024-12-11 00:43:42 +0000
  • Log
v1.0.0 compiled with GNAT 12.2.1 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 3.75
  • Attempted: 2024-10-12 12:33:08 +0000
  • Log
v1.0.0 compiled with GNAT 11.2.4 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 4.17
  • Attempted: 2024-11-27 00:55:09 +0000
  • Log
v1.0.0 compiled with GNAT 10.3.2 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 3.95
  • Attempted: 2024-11-21 00:50:45 +0000
  • Log
v1.0.0 compiled with GNAT 11.2.4 on macos darwin-20.6.0
  • Status:
    SUCCESS
  • Duration: 28.38
  • Attempted: 2024-08-04 12:46:58 +0000
  • Log
v1.0.0 compiled with GNAT 10.3.2 on macos darwin-20.6.0
  • Status:
    SUCCESS
  • Duration: 31.51
  • Attempted: 2024-12-16 00:50:47 +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: 93.82
  • Attempted: 2024-10-03 00:34:18 +0000
  • Log
v1.0.0 compiled with GNAT 11.2.4 on macos darwin-21.6.0
  • Status:
    SUCCESS
  • Duration: 28.71
  • Attempted: 2024-09-12 00:37:48 +0000
  • Log
v1.0.0 compiled with GNAT 10.3.2 on macos darwin-21.6.0
  • Status:
    SUCCESS
  • Duration: 97.85
  • Attempted: 2024-12-04 12:24:20 +0000
  • Log
v1.0.0 compiled with GNAT 13.1.0 on macos darwin-23.4.0
  • Status:
    SUCCESS
  • Duration: 36.78
  • Attempted: 2024-10-07 00:54:49 +0000
  • Log
v1.0.0 compiled with GNAT 12.2.1 on macos darwin-23.4.0
  • Status:
    SUCCESS
  • Duration: 29.06
  • Attempted: 2024-12-16 12:37:44 +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.49
  • Attempted: 2024-10-13 12:36:14 +0000
  • Log
v1.0.0 compiled with GNAT 13.1.0 on macos darwin-23.5.0
  • Status:
    SUCCESS
  • Duration: 33.96
  • Attempted: 2024-10-13 00:48:07 +0000
  • Log
v1.0.0 compiled with GNAT 12.2.1 on macos darwin-23.5.0
  • Status:
    SUCCESS
  • Duration: 28.46
  • Attempted: 2024-09-08 12:33:41 +0000
  • Log
v1.0.0 compiled with GNAT 11.2.4 on macos darwin-23.5.0
  • Status:
    SUCCESS
  • Duration: 38.25
  • Attempted: 2024-12-08 12:28:03 +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 macos darwin-23.6.0
  • Status:
    SUCCESS
  • Duration: 40.8
  • Attempted: 2024-12-17 02:07:04 +0000
  • Log
v1.0.0 compiled with GNAT 12.2.1 on macos darwin-23.6.0
  • Status:
    SUCCESS
  • Duration: 28.66
  • Attempted: 2024-12-11 01:36:37 +0000
  • Log
v1.0.0 compiled with GNAT 11.2.4 on macos darwin-23.6.0
  • Status:
    SUCCESS
  • Duration: 28.47
  • Attempted: 2024-09-21 00:44:42 +0000
  • Log
v1.0.0 compiled with GNAT 10.3.2 on macos darwin-23.6.0
  • Status:
    SUCCESS
  • Duration: 33.06
  • Attempted: 2024-12-12 13:37:29 +0000
  • Log
v1.0.0 compiled with GNAT 13.1.0 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 13.89
  • Attempted: 2024-12-08 00:47:10 +0000
  • Log
v1.0.0 compiled with GNAT 12.2.1 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 13.31
  • Attempted: 2024-12-16 00:57:08 +0000
  • Log
v1.0.0 compiled with GNAT 11.2.4 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 13.45
  • Attempted: 2024-12-13 13:02:29 +0000
  • Log
v1.0.0 compiled with GNAT 10.3.2 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 13.05
  • Attempted: 2024-12-02 00:42:20 +0000
  • Log