[
    {
        "reference": "z3/4.12.2",
        "packageID": "2606e907f77e17b2657acfd4afba3b7237b8296e",
        "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/17244/11-linux-clang/z3/4.12.2//2606e907f77e17b2657acfd4afba3b7237b8296e-profile.txt",
        "build": "logs/pr/17244/11-linux-clang/z3/4.12.2//2606e907f77e17b2657acfd4afba3b7237b8296e-build.txt",
        "test": "logs/pr/17244/11-linux-clang/z3/4.12.2//2606e907f77e17b2657acfd4afba3b7237b8296e-test.txt"
    },
    {
        "reference": "z3/4.12.2",
        "packageID": "e8a91463eef7648c514f0e5c829be73642085386",
        "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/17244/11-linux-clang/z3/4.12.2//e8a91463eef7648c514f0e5c829be73642085386-profile.txt",
        "build": "logs/pr/17244/11-linux-clang/z3/4.12.2//e8a91463eef7648c514f0e5c829be73642085386-build.txt",
        "test": "logs/pr/17244/11-linux-clang/z3/4.12.2//e8a91463eef7648c514f0e5c829be73642085386-test.txt"
    },
    {
        "reference": "z3/4.12.2",
        "packageID": "4e555120c444ab75e4004257c9103d68c4ef557a",
        "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/17244/11-linux-clang/z3/4.12.2//4e555120c444ab75e4004257c9103d68c4ef557a-profile.txt",
        "build": "logs/pr/17244/11-linux-clang/z3/4.12.2//4e555120c444ab75e4004257c9103d68c4ef557a-build.txt",
        "test": "logs/pr/17244/11-linux-clang/z3/4.12.2//4e555120c444ab75e4004257c9103d68c4ef557a-test.txt"
    },
    {
        "reference": "z3/4.12.2",
        "packageID": "414737d36885e6ae4718ebd485909c97e39e5813",
        "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/17244/11-linux-clang/z3/4.12.2//414737d36885e6ae4718ebd485909c97e39e5813-profile.txt",
        "build": "logs/pr/17244/11-linux-clang/z3/4.12.2//414737d36885e6ae4718ebd485909c97e39e5813-build.txt",
        "test": "logs/pr/17244/11-linux-clang/z3/4.12.2//414737d36885e6ae4718ebd485909c97e39e5813-test.txt"
    },
    {
        "reference": "z3/4.12.2",
        "packageID": "14e2dc6e9c482166cd9f2379cea0c489b6352334",
        "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/17244/11-linux-clang/z3/4.12.2//14e2dc6e9c482166cd9f2379cea0c489b6352334-profile.txt",
        "build": "logs/pr/17244/11-linux-clang/z3/4.12.2//14e2dc6e9c482166cd9f2379cea0c489b6352334-build.txt",
        "test": "logs/pr/17244/11-linux-clang/z3/4.12.2//14e2dc6e9c482166cd9f2379cea0c489b6352334-test.txt"
    },
    {
        "reference": "z3/4.12.2",
        "packageID": "d45382a8196ea73500543d83a0281eaf5e74ec75",
        "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/17244/11-linux-clang/z3/4.12.2//d45382a8196ea73500543d83a0281eaf5e74ec75-profile.txt",
        "build": "logs/pr/17244/11-linux-clang/z3/4.12.2//d45382a8196ea73500543d83a0281eaf5e74ec75-build.txt",
        "test": "logs/pr/17244/11-linux-clang/z3/4.12.2//d45382a8196ea73500543d83a0281eaf5e74ec75-test.txt"
    },
    {
        "reference": "z3/4.12.2",
        "packageID": "8945a756ce05b9afe0acbe9cf3c031fd1a85fb03",
        "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/17244/11-linux-clang/z3/4.12.2//8945a756ce05b9afe0acbe9cf3c031fd1a85fb03-profile.txt",
        "build": "logs/pr/17244/11-linux-clang/z3/4.12.2//8945a756ce05b9afe0acbe9cf3c031fd1a85fb03-build.txt",
        "test": "logs/pr/17244/11-linux-clang/z3/4.12.2//8945a756ce05b9afe0acbe9cf3c031fd1a85fb03-test.txt"
    },
    {
        "reference": "z3/4.12.2",
        "packageID": "60ab4fab5ffaf0069ee3753bcaea5f37d0f646cf",
        "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/17244/11-linux-clang/z3/4.12.2//60ab4fab5ffaf0069ee3753bcaea5f37d0f646cf-profile.txt",
        "build": "logs/pr/17244/11-linux-clang/z3/4.12.2//60ab4fab5ffaf0069ee3753bcaea5f37d0f646cf-build.txt",
        "test": "logs/pr/17244/11-linux-clang/z3/4.12.2//60ab4fab5ffaf0069ee3753bcaea5f37d0f646cf-test.txt"
    },
    {
        "reference": "z3/4.12.2",
        "packageID": "92d6f734d7d595aad7ed551a89653d7fa8c0ec2a",
        "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/17244/11-linux-clang/z3/4.12.2//92d6f734d7d595aad7ed551a89653d7fa8c0ec2a-profile.txt",
        "build": "logs/pr/17244/11-linux-clang/z3/4.12.2//92d6f734d7d595aad7ed551a89653d7fa8c0ec2a-build.txt",
        "test": "logs/pr/17244/11-linux-clang/z3/4.12.2//92d6f734d7d595aad7ed551a89653d7fa8c0ec2a-test.txt"
    },
    {
        "reference": "z3/4.12.2",
        "packageID": "7fcd7c0f201d5de32c9b338f1a5bcc7d25a83852",
        "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/17244/11-linux-clang/z3/4.12.2//7fcd7c0f201d5de32c9b338f1a5bcc7d25a83852-profile.txt",
        "build": "logs/pr/17244/11-linux-clang/z3/4.12.2//7fcd7c0f201d5de32c9b338f1a5bcc7d25a83852-build.txt",
        "test": "logs/pr/17244/11-linux-clang/z3/4.12.2//7fcd7c0f201d5de32c9b338f1a5bcc7d25a83852-test.txt"
    },
    {
        "reference": "z3/4.12.2",
        "packageID": "9ac1f01cc3702358b7e1a2031efddc54e50b23d7",
        "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/17244/11-linux-clang/z3/4.12.2//9ac1f01cc3702358b7e1a2031efddc54e50b23d7-profile.txt",
        "build": "logs/pr/17244/11-linux-clang/z3/4.12.2//9ac1f01cc3702358b7e1a2031efddc54e50b23d7-build.txt",
        "test": "logs/pr/17244/11-linux-clang/z3/4.12.2//9ac1f01cc3702358b7e1a2031efddc54e50b23d7-test.txt"
    },
    {
        "reference": "z3/4.12.2",
        "packageID": "d9dae9c09d59d546c3fc9179c7064de76027c8f1",
        "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/17244/11-linux-clang/z3/4.12.2//d9dae9c09d59d546c3fc9179c7064de76027c8f1-profile.txt",
        "build": "logs/pr/17244/11-linux-clang/z3/4.12.2//d9dae9c09d59d546c3fc9179c7064de76027c8f1-build.txt",
        "test": "logs/pr/17244/11-linux-clang/z3/4.12.2//d9dae9c09d59d546c3fc9179c7064de76027c8f1-test.txt"
    },
    {
        "reference": "z3/4.12.2",
        "packageID": "0472e61c183df80bed97cd1eebd53a7a29e40111",
        "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/17244/11-linux-clang/z3/4.12.2//0472e61c183df80bed97cd1eebd53a7a29e40111-profile.txt",
        "build": "logs/pr/17244/11-linux-clang/z3/4.12.2//0472e61c183df80bed97cd1eebd53a7a29e40111-build.txt",
        "test": "logs/pr/17244/11-linux-clang/z3/4.12.2//0472e61c183df80bed97cd1eebd53a7a29e40111-test.txt"
    },
    {
        "reference": "z3/4.12.2",
        "packageID": "bb3af2224a11e7add026b0bbceb97245a55d1081",
        "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/17244/11-linux-clang/z3/4.12.2//bb3af2224a11e7add026b0bbceb97245a55d1081-profile.txt",
        "build": "logs/pr/17244/11-linux-clang/z3/4.12.2//bb3af2224a11e7add026b0bbceb97245a55d1081-build.txt",
        "test": "logs/pr/17244/11-linux-clang/z3/4.12.2//bb3af2224a11e7add026b0bbceb97245a55d1081-test.txt"
    },
    {
        "reference": "z3/4.12.2",
        "packageID": "5096765536465b75ca4a1700357f7ada249f422e",
        "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/17244/11-linux-clang/z3/4.12.2//5096765536465b75ca4a1700357f7ada249f422e-profile.txt",
        "build": "logs/pr/17244/11-linux-clang/z3/4.12.2//5096765536465b75ca4a1700357f7ada249f422e-build.txt",
        "test": "logs/pr/17244/11-linux-clang/z3/4.12.2//5096765536465b75ca4a1700357f7ada249f422e-test.txt"
    },
    {
        "reference": "z3/4.12.2",
        "packageID": "6a30bb45eb18f349b6e8ecf3768f1f1b9e98396d",
        "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/17244/11-linux-clang/z3/4.12.2//6a30bb45eb18f349b6e8ecf3768f1f1b9e98396d-profile.txt",
        "build": "logs/pr/17244/11-linux-clang/z3/4.12.2//6a30bb45eb18f349b6e8ecf3768f1f1b9e98396d-build.txt",
        "test": "logs/pr/17244/11-linux-clang/z3/4.12.2//6a30bb45eb18f349b6e8ecf3768f1f1b9e98396d-test.txt"
    }
]