[
    {
        "reference": "z3/4.13.0@#9d9341f8d21a122ff05cb388bb8d2b86",
        "packageID": "14e2dc6e9c482166cd9f2379cea0c489b6352334",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "13",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/23178/1-linux-clang/z3/4.13.0//14e2dc6e9c482166cd9f2379cea0c489b6352334-profile.txt",
        "build": "logs/pr/23178/1-linux-clang/z3/4.13.0//14e2dc6e9c482166cd9f2379cea0c489b6352334-build.txt",
        "test": "logs/pr/23178/1-linux-clang/z3/4.13.0//14e2dc6e9c482166cd9f2379cea0c489b6352334-test.txt"
    },
    {
        "reference": "z3/4.13.0@#9d9341f8d21a122ff05cb388bb8d2b86",
        "packageID": "9ac1f01cc3702358b7e1a2031efddc54e50b23d7",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "13",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/23178/1-linux-clang/z3/4.13.0//9ac1f01cc3702358b7e1a2031efddc54e50b23d7-profile.txt",
        "build": "logs/pr/23178/1-linux-clang/z3/4.13.0//9ac1f01cc3702358b7e1a2031efddc54e50b23d7-build.txt",
        "test": "logs/pr/23178/1-linux-clang/z3/4.13.0//9ac1f01cc3702358b7e1a2031efddc54e50b23d7-test.txt"
    },
    {
        "reference": "z3/4.13.0@#9d9341f8d21a122ff05cb388bb8d2b86",
        "packageID": "d45382a8196ea73500543d83a0281eaf5e74ec75",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "13",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/23178/1-linux-clang/z3/4.13.0//d45382a8196ea73500543d83a0281eaf5e74ec75-profile.txt",
        "build": "logs/pr/23178/1-linux-clang/z3/4.13.0//d45382a8196ea73500543d83a0281eaf5e74ec75-build.txt",
        "test": "logs/pr/23178/1-linux-clang/z3/4.13.0//d45382a8196ea73500543d83a0281eaf5e74ec75-test.txt"
    },
    {
        "reference": "z3/4.13.0@#9d9341f8d21a122ff05cb388bb8d2b86",
        "packageID": "60ab4fab5ffaf0069ee3753bcaea5f37d0f646cf",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "13",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/23178/1-linux-clang/z3/4.13.0//60ab4fab5ffaf0069ee3753bcaea5f37d0f646cf-profile.txt",
        "build": "logs/pr/23178/1-linux-clang/z3/4.13.0//60ab4fab5ffaf0069ee3753bcaea5f37d0f646cf-build.txt",
        "test": "logs/pr/23178/1-linux-clang/z3/4.13.0//60ab4fab5ffaf0069ee3753bcaea5f37d0f646cf-test.txt"
    }
]