[
    {
        "reference": "z3/4.8.8",
        "packageID": "1d9ee85b31acafcf88a3fc248bee9ff70e997727",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-clang/z3/4.8.8//1d9ee85b31acafcf88a3fc248bee9ff70e997727-profile.txt",
        "build": "logs/pr/9132/1-linux-clang/z3/4.8.8//1d9ee85b31acafcf88a3fc248bee9ff70e997727-build.txt",
        "test": "logs/pr/9132/1-linux-clang/z3/4.8.8//1d9ee85b31acafcf88a3fc248bee9ff70e997727-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "e418562b6d0476458f7f5f60c2e4df37ff846c3d",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-clang/z3/4.8.8//e418562b6d0476458f7f5f60c2e4df37ff846c3d-profile.txt",
        "build": "logs/pr/9132/1-linux-clang/z3/4.8.8//e418562b6d0476458f7f5f60c2e4df37ff846c3d-build.txt",
        "test": "logs/pr/9132/1-linux-clang/z3/4.8.8//e418562b6d0476458f7f5f60c2e4df37ff846c3d-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "14051a6910d1cac2f3539f5b453c9270bea91d8d",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-clang/z3/4.8.8//14051a6910d1cac2f3539f5b453c9270bea91d8d-profile.txt",
        "build": "logs/pr/9132/1-linux-clang/z3/4.8.8//14051a6910d1cac2f3539f5b453c9270bea91d8d-build.txt",
        "test": "logs/pr/9132/1-linux-clang/z3/4.8.8//14051a6910d1cac2f3539f5b453c9270bea91d8d-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "4eee6550ca19601c04080f29940b981094804dd4",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-clang/z3/4.8.8//4eee6550ca19601c04080f29940b981094804dd4-profile.txt",
        "build": "logs/pr/9132/1-linux-clang/z3/4.8.8//4eee6550ca19601c04080f29940b981094804dd4-build.txt",
        "test": "logs/pr/9132/1-linux-clang/z3/4.8.8//4eee6550ca19601c04080f29940b981094804dd4-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "2d704c503ddee653e962e8980d8eb2683e4d44e4",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-clang/z3/4.8.8//2d704c503ddee653e962e8980d8eb2683e4d44e4-profile.txt",
        "build": "logs/pr/9132/1-linux-clang/z3/4.8.8//2d704c503ddee653e962e8980d8eb2683e4d44e4-build.txt",
        "test": "logs/pr/9132/1-linux-clang/z3/4.8.8//2d704c503ddee653e962e8980d8eb2683e4d44e4-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "58dbc817ced7344d7c58cbf9a59a923f7df193a7",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-clang/z3/4.8.8//58dbc817ced7344d7c58cbf9a59a923f7df193a7-profile.txt",
        "build": "logs/pr/9132/1-linux-clang/z3/4.8.8//58dbc817ced7344d7c58cbf9a59a923f7df193a7-build.txt",
        "test": "logs/pr/9132/1-linux-clang/z3/4.8.8//58dbc817ced7344d7c58cbf9a59a923f7df193a7-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "ccf5d1f58537134bb420e7a26035bd6a6e86f547",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-clang/z3/4.8.8//ccf5d1f58537134bb420e7a26035bd6a6e86f547-profile.txt",
        "build": "logs/pr/9132/1-linux-clang/z3/4.8.8//ccf5d1f58537134bb420e7a26035bd6a6e86f547-build.txt",
        "test": "logs/pr/9132/1-linux-clang/z3/4.8.8//ccf5d1f58537134bb420e7a26035bd6a6e86f547-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "691eba4f3baf6f4e3d19e7ab4eb8b26d5853b9c2",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-clang/z3/4.8.8//691eba4f3baf6f4e3d19e7ab4eb8b26d5853b9c2-profile.txt",
        "build": "logs/pr/9132/1-linux-clang/z3/4.8.8//691eba4f3baf6f4e3d19e7ab4eb8b26d5853b9c2-build.txt",
        "test": "logs/pr/9132/1-linux-clang/z3/4.8.8//691eba4f3baf6f4e3d19e7ab4eb8b26d5853b9c2-test.txt"
    }
]