[
    {
        "reference": "z3/4.9.1",
        "packageID": "20a734ff60b734e5249dbf3c9542b0e5c884b536",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "13.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/17244/9-macos-clang/z3/4.9.1//20a734ff60b734e5249dbf3c9542b0e5c884b536-profile.txt",
        "build": "logs/pr/17244/9-macos-clang/z3/4.9.1//20a734ff60b734e5249dbf3c9542b0e5c884b536-build.txt",
        "test": "logs/pr/17244/9-macos-clang/z3/4.9.1//20a734ff60b734e5249dbf3c9542b0e5c884b536-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "0e6a7e27051478a76ce56ea68cf4d1777270f9da",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "13.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/17244/9-macos-clang/z3/4.9.1//0e6a7e27051478a76ce56ea68cf4d1777270f9da-profile.txt",
        "build": "logs/pr/17244/9-macos-clang/z3/4.9.1//0e6a7e27051478a76ce56ea68cf4d1777270f9da-build.txt",
        "test": "logs/pr/17244/9-macos-clang/z3/4.9.1//0e6a7e27051478a76ce56ea68cf4d1777270f9da-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "a308a5bde2ee883a69b8a10198894db9224130c4",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "13.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/17244/9-macos-clang/z3/4.9.1//a308a5bde2ee883a69b8a10198894db9224130c4-profile.txt",
        "build": "logs/pr/17244/9-macos-clang/z3/4.9.1//a308a5bde2ee883a69b8a10198894db9224130c4-build.txt",
        "test": "logs/pr/17244/9-macos-clang/z3/4.9.1//a308a5bde2ee883a69b8a10198894db9224130c4-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "586ac4afd03199d1973074067644b8556e7275cc",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "13.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/17244/9-macos-clang/z3/4.9.1//586ac4afd03199d1973074067644b8556e7275cc-profile.txt",
        "build": "logs/pr/17244/9-macos-clang/z3/4.9.1//586ac4afd03199d1973074067644b8556e7275cc-build.txt",
        "test": "logs/pr/17244/9-macos-clang/z3/4.9.1//586ac4afd03199d1973074067644b8556e7275cc-test.txt"
    }
]