[
    {
        "reference": "z3/4.10.2",
        "packageID": "b5d4131964a2c7fce61e1c0fe750748d5fc6eb4d",
        "settings": {
            "os": "Macos",
            "arch": "armv8",
            "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/18-configs/macos-m1-clang/z3/4.10.2//b5d4131964a2c7fce61e1c0fe750748d5fc6eb4d-profile.txt",
        "build": "logs/pr/11603/18-configs/macos-m1-clang/z3/4.10.2//b5d4131964a2c7fce61e1c0fe750748d5fc6eb4d-build.txt",
        "test": "logs/pr/11603/18-configs/macos-m1-clang/z3/4.10.2//b5d4131964a2c7fce61e1c0fe750748d5fc6eb4d-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "cd03eb51b06a1d14636ae4f4e83dc7cb64f695ff",
        "settings": {
            "os": "Macos",
            "arch": "armv8",
            "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/18-configs/macos-m1-clang/z3/4.10.2//cd03eb51b06a1d14636ae4f4e83dc7cb64f695ff-profile.txt",
        "build": "logs/pr/11603/18-configs/macos-m1-clang/z3/4.10.2//cd03eb51b06a1d14636ae4f4e83dc7cb64f695ff-build.txt",
        "test": "logs/pr/11603/18-configs/macos-m1-clang/z3/4.10.2//cd03eb51b06a1d14636ae4f4e83dc7cb64f695ff-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "451a700bd22428991964f77528813c64229c7aa7",
        "settings": {
            "os": "Macos",
            "arch": "armv8",
            "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/18-configs/macos-m1-clang/z3/4.10.2//451a700bd22428991964f77528813c64229c7aa7-profile.txt",
        "build": "logs/pr/11603/18-configs/macos-m1-clang/z3/4.10.2//451a700bd22428991964f77528813c64229c7aa7-build.txt",
        "test": "logs/pr/11603/18-configs/macos-m1-clang/z3/4.10.2//451a700bd22428991964f77528813c64229c7aa7-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "7b729749d88cf7a336017893410cafe0696bdbae",
        "settings": {
            "os": "Macos",
            "arch": "armv8",
            "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/18-configs/macos-m1-clang/z3/4.10.2//7b729749d88cf7a336017893410cafe0696bdbae-profile.txt",
        "build": "logs/pr/11603/18-configs/macos-m1-clang/z3/4.10.2//7b729749d88cf7a336017893410cafe0696bdbae-build.txt",
        "test": "logs/pr/11603/18-configs/macos-m1-clang/z3/4.10.2//7b729749d88cf7a336017893410cafe0696bdbae-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "10de597600ce5d69a3d2ce5f4b90bf8fe3d2b516",
        "settings": {
            "os": "Macos",
            "arch": "armv8",
            "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/18-configs/macos-m1-clang/z3/4.10.2//10de597600ce5d69a3d2ce5f4b90bf8fe3d2b516-profile.txt",
        "build": "logs/pr/11603/18-configs/macos-m1-clang/z3/4.10.2//10de597600ce5d69a3d2ce5f4b90bf8fe3d2b516-build.txt",
        "test": "logs/pr/11603/18-configs/macos-m1-clang/z3/4.10.2//10de597600ce5d69a3d2ce5f4b90bf8fe3d2b516-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "f0a207bea2bd98178418c38d9ecfc9685f019ea7",
        "settings": {
            "os": "Macos",
            "arch": "armv8",
            "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/18-configs/macos-m1-clang/z3/4.10.2//f0a207bea2bd98178418c38d9ecfc9685f019ea7-profile.txt",
        "build": "logs/pr/11603/18-configs/macos-m1-clang/z3/4.10.2//f0a207bea2bd98178418c38d9ecfc9685f019ea7-build.txt",
        "test": "logs/pr/11603/18-configs/macos-m1-clang/z3/4.10.2//f0a207bea2bd98178418c38d9ecfc9685f019ea7-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "d9377bedd0ce88f087c1b87f8b00df011c7a3059",
        "settings": {
            "os": "Macos",
            "arch": "armv8",
            "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/18-configs/macos-m1-clang/z3/4.10.2//d9377bedd0ce88f087c1b87f8b00df011c7a3059-profile.txt",
        "build": "logs/pr/11603/18-configs/macos-m1-clang/z3/4.10.2//d9377bedd0ce88f087c1b87f8b00df011c7a3059-build.txt",
        "test": "logs/pr/11603/18-configs/macos-m1-clang/z3/4.10.2//d9377bedd0ce88f087c1b87f8b00df011c7a3059-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "packageID": "d85c55a68f9eac806974b2d1291e7aaced6197a8",
        "settings": {
            "os": "Macos",
            "arch": "armv8",
            "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/18-configs/macos-m1-clang/z3/4.10.2//d85c55a68f9eac806974b2d1291e7aaced6197a8-profile.txt",
        "build": "logs/pr/11603/18-configs/macos-m1-clang/z3/4.10.2//d85c55a68f9eac806974b2d1291e7aaced6197a8-build.txt",
        "test": "logs/pr/11603/18-configs/macos-m1-clang/z3/4.10.2//d85c55a68f9eac806974b2d1291e7aaced6197a8-test.txt"
    }
]