[
    {
        "reference": "z3/4.8.8",
        "packageID": "22e38bfe3cd335485f875a9b35074c9098db9a74",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "11.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//22e38bfe3cd335485f875a9b35074c9098db9a74-profile.txt",
        "build": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//22e38bfe3cd335485f875a9b35074c9098db9a74-build.txt",
        "test": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//22e38bfe3cd335485f875a9b35074c9098db9a74-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "4d2dff9bc12d7bd5922431a6ee8d2ca6e9201a9e",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "11.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//4d2dff9bc12d7bd5922431a6ee8d2ca6e9201a9e-profile.txt",
        "build": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//4d2dff9bc12d7bd5922431a6ee8d2ca6e9201a9e-build.txt",
        "test": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//4d2dff9bc12d7bd5922431a6ee8d2ca6e9201a9e-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "11f6fadf14d532a5698bd6bae35740e2ad12f44b",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "11.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//11f6fadf14d532a5698bd6bae35740e2ad12f44b-profile.txt",
        "build": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//11f6fadf14d532a5698bd6bae35740e2ad12f44b-build.txt",
        "test": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//11f6fadf14d532a5698bd6bae35740e2ad12f44b-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "1bf739fb08d85bdb440b440daf67625868f47ddf",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "11.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//1bf739fb08d85bdb440b440daf67625868f47ddf-profile.txt",
        "build": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//1bf739fb08d85bdb440b440daf67625868f47ddf-build.txt",
        "test": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//1bf739fb08d85bdb440b440daf67625868f47ddf-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "e91dc8c4452a050f48cbf989a9eb7b3726c18dc5",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "12.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//e91dc8c4452a050f48cbf989a9eb7b3726c18dc5-profile.txt",
        "build": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//e91dc8c4452a050f48cbf989a9eb7b3726c18dc5-build.txt",
        "test": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//e91dc8c4452a050f48cbf989a9eb7b3726c18dc5-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "51329b70c1d00e11b6ce2e68c60ae17a1b0151d9",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "12.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//51329b70c1d00e11b6ce2e68c60ae17a1b0151d9-profile.txt",
        "build": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//51329b70c1d00e11b6ce2e68c60ae17a1b0151d9-build.txt",
        "test": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//51329b70c1d00e11b6ce2e68c60ae17a1b0151d9-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "349228eaa3d2d63be37219991267f4f2b6be246d",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "12.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//349228eaa3d2d63be37219991267f4f2b6be246d-profile.txt",
        "build": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//349228eaa3d2d63be37219991267f4f2b6be246d-build.txt",
        "test": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//349228eaa3d2d63be37219991267f4f2b6be246d-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "b551eadff02a4504a21c6c17300a08c3b9df7165",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "12.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//b551eadff02a4504a21c6c17300a08c3b9df7165-profile.txt",
        "build": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//b551eadff02a4504a21c6c17300a08c3b9df7165-build.txt",
        "test": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//b551eadff02a4504a21c6c17300a08c3b9df7165-test.txt"
    }
]