[
    {
        "reference": "z3/4.13.0@#9d9341f8d21a122ff05cb388bb8d2b86",
        "packageID": "976e6c8f8728ef1fe22ebc0935a9e61778ee7bbd",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/23178/1-linux-gcc11/z3/4.13.0//976e6c8f8728ef1fe22ebc0935a9e61778ee7bbd-profile.txt",
        "build": "logs/pr/23178/1-linux-gcc11/z3/4.13.0//976e6c8f8728ef1fe22ebc0935a9e61778ee7bbd-build.txt",
        "test": "logs/pr/23178/1-linux-gcc11/z3/4.13.0//976e6c8f8728ef1fe22ebc0935a9e61778ee7bbd-test.txt"
    },
    {
        "reference": "z3/4.13.0@#9d9341f8d21a122ff05cb388bb8d2b86",
        "packageID": "d88c26276299c75bb87265d054c218f83371446a",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/23178/1-linux-gcc11/z3/4.13.0//d88c26276299c75bb87265d054c218f83371446a-profile.txt",
        "build": "logs/pr/23178/1-linux-gcc11/z3/4.13.0//d88c26276299c75bb87265d054c218f83371446a-build.txt",
        "test": "logs/pr/23178/1-linux-gcc11/z3/4.13.0//d88c26276299c75bb87265d054c218f83371446a-test.txt"
    },
    {
        "reference": "z3/4.13.0@#9d9341f8d21a122ff05cb388bb8d2b86",
        "packageID": "b39972472595d98297408f47b161d624c118fab0",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/23178/1-linux-gcc11/z3/4.13.0//b39972472595d98297408f47b161d624c118fab0-profile.txt",
        "build": "logs/pr/23178/1-linux-gcc11/z3/4.13.0//b39972472595d98297408f47b161d624c118fab0-build.txt",
        "test": "logs/pr/23178/1-linux-gcc11/z3/4.13.0//b39972472595d98297408f47b161d624c118fab0-test.txt"
    },
    {
        "reference": "z3/4.13.0@#9d9341f8d21a122ff05cb388bb8d2b86",
        "packageID": "d312f8452e565d2ce9440f7bcbd0d47950aa7a80",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/23178/1-linux-gcc11/z3/4.13.0//d312f8452e565d2ce9440f7bcbd0d47950aa7a80-profile.txt",
        "build": "logs/pr/23178/1-linux-gcc11/z3/4.13.0//d312f8452e565d2ce9440f7bcbd0d47950aa7a80-build.txt",
        "test": "logs/pr/23178/1-linux-gcc11/z3/4.13.0//d312f8452e565d2ce9440f7bcbd0d47950aa7a80-test.txt"
    }
]