[
    {
        "reference": "z3/4.9.1",
        "packageID": "b70eb80ec9f156ed1984566bc79340159c618032",
        "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/11603/13-configs/macos-clang/z3/4.9.1//b70eb80ec9f156ed1984566bc79340159c618032-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//b70eb80ec9f156ed1984566bc79340159c618032-build.txt",
        "test": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//b70eb80ec9f156ed1984566bc79340159c618032-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "d5c04883e9308624cca5e2a513c9c9814d3fee1b",
        "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/11603/13-configs/macos-clang/z3/4.9.1//d5c04883e9308624cca5e2a513c9c9814d3fee1b-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//d5c04883e9308624cca5e2a513c9c9814d3fee1b-build.txt",
        "test": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//d5c04883e9308624cca5e2a513c9c9814d3fee1b-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "bb40deee2b3946937e020f364af90d3008333611",
        "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/11603/13-configs/macos-clang/z3/4.9.1//bb40deee2b3946937e020f364af90d3008333611-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//bb40deee2b3946937e020f364af90d3008333611-build.txt",
        "test": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//bb40deee2b3946937e020f364af90d3008333611-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "3db8148aea9f137f802f25d1cca71d795978d5d9",
        "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/11603/13-configs/macos-clang/z3/4.9.1//3db8148aea9f137f802f25d1cca71d795978d5d9-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//3db8148aea9f137f802f25d1cca71d795978d5d9-build.txt",
        "test": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//3db8148aea9f137f802f25d1cca71d795978d5d9-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "71f08f57ac5624a2040dcd2d84e93e0ddea589f4",
        "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/11603/13-configs/macos-clang/z3/4.9.1//71f08f57ac5624a2040dcd2d84e93e0ddea589f4-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//71f08f57ac5624a2040dcd2d84e93e0ddea589f4-build.txt",
        "test": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//71f08f57ac5624a2040dcd2d84e93e0ddea589f4-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "99819bab22a7e6e93e5742dd2c9f6102f197f370",
        "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/11603/13-configs/macos-clang/z3/4.9.1//99819bab22a7e6e93e5742dd2c9f6102f197f370-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//99819bab22a7e6e93e5742dd2c9f6102f197f370-build.txt",
        "test": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//99819bab22a7e6e93e5742dd2c9f6102f197f370-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "dfbce7e7613920a266cc32be25cda64760274e6d",
        "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/11603/13-configs/macos-clang/z3/4.9.1//dfbce7e7613920a266cc32be25cda64760274e6d-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//dfbce7e7613920a266cc32be25cda64760274e6d-build.txt",
        "test": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//dfbce7e7613920a266cc32be25cda64760274e6d-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "41a5624c47397d35c0fc0f22d6fa70979ad7ea13",
        "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/11603/13-configs/macos-clang/z3/4.9.1//41a5624c47397d35c0fc0f22d6fa70979ad7ea13-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//41a5624c47397d35c0fc0f22d6fa70979ad7ea13-build.txt",
        "test": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//41a5624c47397d35c0fc0f22d6fa70979ad7ea13-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448",
        "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/11603/13-configs/macos-clang/z3/4.9.1//7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448-build.txt",
        "test": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "50d09996cd207a9009019b67612f32b574814991",
        "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/11603/13-configs/macos-clang/z3/4.9.1//50d09996cd207a9009019b67612f32b574814991-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//50d09996cd207a9009019b67612f32b574814991-build.txt",
        "test": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//50d09996cd207a9009019b67612f32b574814991-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "0c63c23c641abb9c046e81ea1a152b8075ff1687",
        "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/11603/13-configs/macos-clang/z3/4.9.1//0c63c23c641abb9c046e81ea1a152b8075ff1687-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//0c63c23c641abb9c046e81ea1a152b8075ff1687-build.txt",
        "test": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//0c63c23c641abb9c046e81ea1a152b8075ff1687-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac",
        "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/11603/13-configs/macos-clang/z3/4.9.1//aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac-build.txt",
        "test": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac-test.txt"
    }
]