[
    {
        "reference": "z3/4.10.2@#9ff4a000d3aac238c520898e69ce00c0",
        "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",
        "profile": "logs/pr/21642/7-linux-clang/z3/4.10.2//0472e61c183df80bed97cd1eebd53a7a29e40111-profile.txt",
        "build": "logs/pr/21642/7-linux-clang/z3/4.10.2//0472e61c183df80bed97cd1eebd53a7a29e40111-build.txt",
        "test": null
    },
    {
        "reference": "z3/4.10.2@#9ff4a000d3aac238c520898e69ce00c0",
        "packageID": "14e2dc6e9c482166cd9f2379cea0c489b6352334",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "13",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": "logs/pr/21642/7-linux-clang/z3/4.10.2//14e2dc6e9c482166cd9f2379cea0c489b6352334-profile.txt",
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.10.2@#9ff4a000d3aac238c520898e69ce00c0",
        "packageID": "7fcd7c0f201d5de32c9b338f1a5bcc7d25a83852",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "12",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": "logs/pr/21642/7-linux-clang/z3/4.10.2//7fcd7c0f201d5de32c9b338f1a5bcc7d25a83852-profile.txt",
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.10.2@#9ff4a000d3aac238c520898e69ce00c0",
        "packageID": "d9dae9c09d59d546c3fc9179c7064de76027c8f1",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "12",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": "logs/pr/21642/7-linux-clang/z3/4.10.2//d9dae9c09d59d546c3fc9179c7064de76027c8f1-profile.txt",
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.10.2@#9ff4a000d3aac238c520898e69ce00c0",
        "packageID": "9ac1f01cc3702358b7e1a2031efddc54e50b23d7",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "13",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": "logs/pr/21642/7-linux-clang/z3/4.10.2//9ac1f01cc3702358b7e1a2031efddc54e50b23d7-profile.txt",
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.10.2@#9ff4a000d3aac238c520898e69ce00c0",
        "packageID": "5096765536465b75ca4a1700357f7ada249f422e",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "12",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": "logs/pr/21642/7-linux-clang/z3/4.10.2//5096765536465b75ca4a1700357f7ada249f422e-profile.txt",
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.10.2@#9ff4a000d3aac238c520898e69ce00c0",
        "packageID": "6a30bb45eb18f349b6e8ecf3768f1f1b9e98396d",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "12",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": "logs/pr/21642/7-linux-clang/z3/4.10.2//6a30bb45eb18f349b6e8ecf3768f1f1b9e98396d-profile.txt",
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.10.2@#9ff4a000d3aac238c520898e69ce00c0",
        "packageID": "bb3af2224a11e7add026b0bbceb97245a55d1081",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "13",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": "logs/pr/21642/7-linux-clang/z3/4.10.2//bb3af2224a11e7add026b0bbceb97245a55d1081-profile.txt",
        "build": null,
        "test": null
    }
]