[
    {
        "reference": "z3/4.10.2",
        "packageID": "63e6e3d89722dc2693402e445a1a54a13addf3b8",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/23-linux-clang/z3/4.10.2//63e6e3d89722dc2693402e445a1a54a13addf3b8-profile.txt",
        "build": "logs/pr/11603/23-linux-clang/z3/4.10.2//63e6e3d89722dc2693402e445a1a54a13addf3b8-build.txt",
        "test": "logs/pr/11603/23-linux-clang/z3/4.10.2//63e6e3d89722dc2693402e445a1a54a13addf3b8-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "3f067f980824aa138a27dfcfc01f2d77af655f2a",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/23-linux-clang/z3/4.10.2//3f067f980824aa138a27dfcfc01f2d77af655f2a-profile.txt",
        "build": "logs/pr/11603/23-linux-clang/z3/4.10.2//3f067f980824aa138a27dfcfc01f2d77af655f2a-build.txt",
        "test": "logs/pr/11603/23-linux-clang/z3/4.10.2//3f067f980824aa138a27dfcfc01f2d77af655f2a-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "1f46e7a645fc0a1677429aa17ccdf6d7c6a23ce6",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/23-linux-clang/z3/4.10.2//1f46e7a645fc0a1677429aa17ccdf6d7c6a23ce6-profile.txt",
        "build": "logs/pr/11603/23-linux-clang/z3/4.10.2//1f46e7a645fc0a1677429aa17ccdf6d7c6a23ce6-build.txt",
        "test": "logs/pr/11603/23-linux-clang/z3/4.10.2//1f46e7a645fc0a1677429aa17ccdf6d7c6a23ce6-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "62e77e9cea819be185130166565449ff7dd39930",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/23-linux-clang/z3/4.10.2//62e77e9cea819be185130166565449ff7dd39930-profile.txt",
        "build": "logs/pr/11603/23-linux-clang/z3/4.10.2//62e77e9cea819be185130166565449ff7dd39930-build.txt",
        "test": "logs/pr/11603/23-linux-clang/z3/4.10.2//62e77e9cea819be185130166565449ff7dd39930-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "c97c9e2ec13fad87ffecad30f8676f33b1e80726",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/23-linux-clang/z3/4.10.2//c97c9e2ec13fad87ffecad30f8676f33b1e80726-profile.txt",
        "build": "logs/pr/11603/23-linux-clang/z3/4.10.2//c97c9e2ec13fad87ffecad30f8676f33b1e80726-build.txt",
        "test": "logs/pr/11603/23-linux-clang/z3/4.10.2//c97c9e2ec13fad87ffecad30f8676f33b1e80726-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "c0a26051b9ef6ee4aac4d03d2246e66bde667ec3",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/23-linux-clang/z3/4.10.2//c0a26051b9ef6ee4aac4d03d2246e66bde667ec3-profile.txt",
        "build": "logs/pr/11603/23-linux-clang/z3/4.10.2//c0a26051b9ef6ee4aac4d03d2246e66bde667ec3-build.txt",
        "test": "logs/pr/11603/23-linux-clang/z3/4.10.2//c0a26051b9ef6ee4aac4d03d2246e66bde667ec3-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "12e362b23963f7c6b131371b6c4bbb5675acb8c1",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "13",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/23-linux-clang/z3/4.10.2//12e362b23963f7c6b131371b6c4bbb5675acb8c1-profile.txt",
        "build": "logs/pr/11603/23-linux-clang/z3/4.10.2//12e362b23963f7c6b131371b6c4bbb5675acb8c1-build.txt",
        "test": "logs/pr/11603/23-linux-clang/z3/4.10.2//12e362b23963f7c6b131371b6c4bbb5675acb8c1-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "906d883482d77c87691af29b8dabdb60feeb5067",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "13",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/23-linux-clang/z3/4.10.2//906d883482d77c87691af29b8dabdb60feeb5067-profile.txt",
        "build": "logs/pr/11603/23-linux-clang/z3/4.10.2//906d883482d77c87691af29b8dabdb60feeb5067-build.txt",
        "test": "logs/pr/11603/23-linux-clang/z3/4.10.2//906d883482d77c87691af29b8dabdb60feeb5067-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "a439314c9b6c675ee62f07090128cc0144bafe8e",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "13",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/23-linux-clang/z3/4.10.2//a439314c9b6c675ee62f07090128cc0144bafe8e-profile.txt",
        "build": "logs/pr/11603/23-linux-clang/z3/4.10.2//a439314c9b6c675ee62f07090128cc0144bafe8e-build.txt",
        "test": "logs/pr/11603/23-linux-clang/z3/4.10.2//a439314c9b6c675ee62f07090128cc0144bafe8e-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "ef0bc4afe5eb0894dfa65581e583dc431655e9da",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "12",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/23-linux-clang/z3/4.10.2//ef0bc4afe5eb0894dfa65581e583dc431655e9da-profile.txt",
        "build": "logs/pr/11603/23-linux-clang/z3/4.10.2//ef0bc4afe5eb0894dfa65581e583dc431655e9da-build.txt",
        "test": "logs/pr/11603/23-linux-clang/z3/4.10.2//ef0bc4afe5eb0894dfa65581e583dc431655e9da-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "81d345f7e60655acdee5c2813dade1136159a6a7",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "12",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/23-linux-clang/z3/4.10.2//81d345f7e60655acdee5c2813dade1136159a6a7-profile.txt",
        "build": "logs/pr/11603/23-linux-clang/z3/4.10.2//81d345f7e60655acdee5c2813dade1136159a6a7-build.txt",
        "test": "logs/pr/11603/23-linux-clang/z3/4.10.2//81d345f7e60655acdee5c2813dade1136159a6a7-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "ea597c83a6a4520c9e6d45691d59ecbbf99c5c2a",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "12",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/23-linux-clang/z3/4.10.2//ea597c83a6a4520c9e6d45691d59ecbbf99c5c2a-profile.txt",
        "build": "logs/pr/11603/23-linux-clang/z3/4.10.2//ea597c83a6a4520c9e6d45691d59ecbbf99c5c2a-build.txt",
        "test": "logs/pr/11603/23-linux-clang/z3/4.10.2//ea597c83a6a4520c9e6d45691d59ecbbf99c5c2a-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "679a29013bdb7c0a908d0c9a3f98194bd3297b77",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "12",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/23-linux-clang/z3/4.10.2//679a29013bdb7c0a908d0c9a3f98194bd3297b77-profile.txt",
        "build": "logs/pr/11603/23-linux-clang/z3/4.10.2//679a29013bdb7c0a908d0c9a3f98194bd3297b77-build.txt",
        "test": "logs/pr/11603/23-linux-clang/z3/4.10.2//679a29013bdb7c0a908d0c9a3f98194bd3297b77-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "50454cbf72d3e338d9ccc6cc3cf6d20bcb3b77c0",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "13",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/23-linux-clang/z3/4.10.2//50454cbf72d3e338d9ccc6cc3cf6d20bcb3b77c0-profile.txt",
        "build": "logs/pr/11603/23-linux-clang/z3/4.10.2//50454cbf72d3e338d9ccc6cc3cf6d20bcb3b77c0-build.txt",
        "test": "logs/pr/11603/23-linux-clang/z3/4.10.2//50454cbf72d3e338d9ccc6cc3cf6d20bcb3b77c0-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "d16961481b07686131ac04deda419517566fd10e",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/23-linux-clang/z3/4.10.2//d16961481b07686131ac04deda419517566fd10e-profile.txt",
        "build": "logs/pr/11603/23-linux-clang/z3/4.10.2//d16961481b07686131ac04deda419517566fd10e-build.txt",
        "test": "logs/pr/11603/23-linux-clang/z3/4.10.2//d16961481b07686131ac04deda419517566fd10e-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "e28a95ff72c1c7fc84a338a1b82019ed9152055d",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "13",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/23-linux-clang/z3/4.10.2//e28a95ff72c1c7fc84a338a1b82019ed9152055d-profile.txt",
        "build": "logs/pr/11603/23-linux-clang/z3/4.10.2//e28a95ff72c1c7fc84a338a1b82019ed9152055d-build.txt",
        "test": "logs/pr/11603/23-linux-clang/z3/4.10.2//e28a95ff72c1c7fc84a338a1b82019ed9152055d-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "641207b6345b683c6a5efe7ea5376776521d62b4",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/23-linux-clang/z3/4.10.2//641207b6345b683c6a5efe7ea5376776521d62b4-profile.txt",
        "build": "logs/pr/11603/23-linux-clang/z3/4.10.2//641207b6345b683c6a5efe7ea5376776521d62b4-build.txt",
        "test": "logs/pr/11603/23-linux-clang/z3/4.10.2//641207b6345b683c6a5efe7ea5376776521d62b4-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "53cd748e6a7a0699c37c3a33dc31b964fa7d5e9c",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "13",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/23-linux-clang/z3/4.10.2//53cd748e6a7a0699c37c3a33dc31b964fa7d5e9c-profile.txt",
        "build": "logs/pr/11603/23-linux-clang/z3/4.10.2//53cd748e6a7a0699c37c3a33dc31b964fa7d5e9c-build.txt",
        "test": "logs/pr/11603/23-linux-clang/z3/4.10.2//53cd748e6a7a0699c37c3a33dc31b964fa7d5e9c-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "3fc20cd7dfc82bba587c26208d7420b72672e0e8",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "12",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/23-linux-clang/z3/4.10.2//3fc20cd7dfc82bba587c26208d7420b72672e0e8-profile.txt",
        "build": "logs/pr/11603/23-linux-clang/z3/4.10.2//3fc20cd7dfc82bba587c26208d7420b72672e0e8-build.txt",
        "test": "logs/pr/11603/23-linux-clang/z3/4.10.2//3fc20cd7dfc82bba587c26208d7420b72672e0e8-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "f5113d44086bdec545372d2d8557a26ceaca993e",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "12",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/23-linux-clang/z3/4.10.2//f5113d44086bdec545372d2d8557a26ceaca993e-profile.txt",
        "build": "logs/pr/11603/23-linux-clang/z3/4.10.2//f5113d44086bdec545372d2d8557a26ceaca993e-build.txt",
        "test": "logs/pr/11603/23-linux-clang/z3/4.10.2//f5113d44086bdec545372d2d8557a26ceaca993e-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "5250a74ebb72aefb4cc93cae677836c0cdd2b0a9",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "13",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/23-linux-clang/z3/4.10.2//5250a74ebb72aefb4cc93cae677836c0cdd2b0a9-profile.txt",
        "build": "logs/pr/11603/23-linux-clang/z3/4.10.2//5250a74ebb72aefb4cc93cae677836c0cdd2b0a9-build.txt",
        "test": "logs/pr/11603/23-linux-clang/z3/4.10.2//5250a74ebb72aefb4cc93cae677836c0cdd2b0a9-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "937638e9441ae892f0e917db312b42631f068767",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "13",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/23-linux-clang/z3/4.10.2//937638e9441ae892f0e917db312b42631f068767-profile.txt",
        "build": "logs/pr/11603/23-linux-clang/z3/4.10.2//937638e9441ae892f0e917db312b42631f068767-build.txt",
        "test": "logs/pr/11603/23-linux-clang/z3/4.10.2//937638e9441ae892f0e917db312b42631f068767-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "06aa109fe1d94bb414523b4b8dcf01f4b600be1f",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "12",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/23-linux-clang/z3/4.10.2//06aa109fe1d94bb414523b4b8dcf01f4b600be1f-profile.txt",
        "build": "logs/pr/11603/23-linux-clang/z3/4.10.2//06aa109fe1d94bb414523b4b8dcf01f4b600be1f-build.txt",
        "test": "logs/pr/11603/23-linux-clang/z3/4.10.2//06aa109fe1d94bb414523b4b8dcf01f4b600be1f-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "dc8df3ac8eed15735fe5185043d38df21604c4f7",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "12",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/23-linux-clang/z3/4.10.2//dc8df3ac8eed15735fe5185043d38df21604c4f7-profile.txt",
        "build": "logs/pr/11603/23-linux-clang/z3/4.10.2//dc8df3ac8eed15735fe5185043d38df21604c4f7-build.txt",
        "test": "logs/pr/11603/23-linux-clang/z3/4.10.2//dc8df3ac8eed15735fe5185043d38df21604c4f7-test.txt"
    }
]