specfun


v1.0.0 compiled with GNAT 12.2.1 on linux arch
  • Status:
    SUCCESS
  • Duration: 3.99
  • Attempted: 2024-03-19 12:25:52 +0000
  • Log
v1.0.0 compiled with GNAT 12.2.0 on linux arch
  • Status:
    SUCCESS
  • Duration: 6.33
  • Attempted: 2024-04-13 01:07:51 +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: 6.08
  • Attempted: 2024-04-19 01:20:03 +0000
  • Log
v1.0.0 compiled with GNAT 13.2.1 on linux arch-20231112.0.191179
  • Status:
    SUCCESS
  • Duration: 6.04
  • Attempted: 2024-03-29 13:04:00 +0000
  • Log
v1.0.0 compiled with GNAT 13.2.1 on linux arch-20240101.0.204074
  • Status:
    SUCCESS
  • Duration: 5.9
  • Attempted: 2024-04-23 13:03:30 +0000
  • Log
v1.0.0 compiled with GNAT 12.2.0 on linux centos-8
  • Status:
    SUCCESS
  • Duration: 9.15
  • Attempted: 2024-04-24 01:44:34 +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 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: 9.3
  • Attempted: 2024-03-18 01:23:54 +0000
  • Log
v1.0.0 compiled with GNAT 11.2.4 on linux fedora-33
  • Status:
    SUCCESS
  • Duration: 3.89
  • Attempted: 2024-04-22 12:40:48 +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: 4.69
  • Attempted: 2024-01-02 12:40:13 +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.3
  • Attempted: 2024-04-25 01:20:49 +0000
  • Log
v1.0.0 compiled with GNAT 11.2.4 on linux ubuntu-20.04
  • Status:
    SUCCESS
  • Duration: 3.91
  • Attempted: 2024-04-07 00:37:52 +0000
  • Log
v1.0.0 compiled with GNAT 10.3.2 on linux ubuntu-20.04
  • Status:
    SUCCESS
  • Duration: 4.46
  • Attempted: 2024-04-21 12:31:48 +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.12
  • Attempted: 2024-04-18 01:20:35 +0000
  • Log
v1.0.0 compiled with GNAT 13.1.0 on linux ubuntu-22.04
  • Status:
    SUCCESS
  • Duration: 4.4
  • Attempted: 2024-04-11 12:49:09 +0000
  • Log
v1.0.0 compiled with GNAT 12.2.1 on linux ubuntu-22.04
  • Status:
    SUCCESS
  • Duration: 4.13
  • Attempted: 2024-03-10 00:44:36 +0000
  • Log
v1.0.0 compiled with GNAT 11.2.4 on linux ubuntu-22.04
  • Status:
    SUCCESS
  • Duration: 4.4
  • Attempted: 2024-02-19 12:34:05 +0000
  • Log
v1.0.0 compiled with GNAT 10.5.0 on linux ubuntu-22.04
  • Status:
    SUCCESS
  • Duration: 7.06
  • Attempted: 2024-04-16 01:12:36 +0000
  • Log
v1.0.0 compiled with GNAT 10.3.2 on linux ubuntu-22.04
  • Status:
    SUCCESS
  • Duration: 4.13
  • Attempted: 2024-04-16 12:24:44 +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 11.2.4 on macos darwin-20.6.0
  • Status:
    SUCCESS
  • Duration: 12.42
  • Attempted: 2024-03-29 12:23:23 +0000
  • Log
v1.0.0 compiled with GNAT 10.3.2 on macos darwin-20.6.0
  • Status:
    SUCCESS
  • Duration: 10.36
  • Attempted: 2023-10-02 00:41:23 +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: 10.31
  • Attempted: 2024-04-13 00:36:41 +0000
  • Log
v1.0.0 compiled with GNAT 11.2.4 on macos darwin-21.6.0
  • Status:
    SUCCESS
  • Duration: 8.25
  • Attempted: 2024-04-18 00:43:08 +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 windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 14.44
  • Attempted: 2024-04-12 12:40:18 +0000
  • Log
v1.0.0 compiled with GNAT 12.2.1 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 13.11
  • Attempted: 2024-03-27 12:39:10 +0000
  • Log
v1.0.0 compiled with GNAT 11.2.4 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 13.77
  • Attempted: 2024-04-08 12:33:03 +0000
  • Log
v1.0.0 compiled with GNAT 10.3.2 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 12.95
  • Attempted: 2024-04-22 00:32:05 +0000
  • Log