[
    {
        "reference": "z3/4.13.0@#9d9341f8d21a122ff05cb388bb8d2b86",
        "packageID": "0d6deb32b6ce0ef15e9924c9779004c2fbbdf11a",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "9",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/23178/1-linux-gcc-legacy/z3/4.13.0//0d6deb32b6ce0ef15e9924c9779004c2fbbdf11a-profile.txt",
        "build": "logs/pr/23178/1-linux-gcc-legacy/z3/4.13.0//0d6deb32b6ce0ef15e9924c9779004c2fbbdf11a-build.txt",
        "test": "logs/pr/23178/1-linux-gcc-legacy/z3/4.13.0//0d6deb32b6ce0ef15e9924c9779004c2fbbdf11a-test.txt"
    },
    {
        "reference": "z3/4.13.0@#9d9341f8d21a122ff05cb388bb8d2b86",
        "packageID": "3b63b76c470c2bc9ac976db5401793cf3bb1d393",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "9",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/23178/1-linux-gcc-legacy/z3/4.13.0//3b63b76c470c2bc9ac976db5401793cf3bb1d393-profile.txt",
        "build": "logs/pr/23178/1-linux-gcc-legacy/z3/4.13.0//3b63b76c470c2bc9ac976db5401793cf3bb1d393-build.txt",
        "test": "logs/pr/23178/1-linux-gcc-legacy/z3/4.13.0//3b63b76c470c2bc9ac976db5401793cf3bb1d393-test.txt"
    },
    {
        "reference": "z3/4.13.0@#9d9341f8d21a122ff05cb388bb8d2b86",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "5",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.13.0@#9d9341f8d21a122ff05cb388bb8d2b86",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "7",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.13.0@#9d9341f8d21a122ff05cb388bb8d2b86",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "5",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.13.0@#9d9341f8d21a122ff05cb388bb8d2b86",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "7",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "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"
    },
    {
        "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"
    },
    {
        "reference": "z3/4.13.0@#9d9341f8d21a122ff05cb388bb8d2b86",
        "packageID": "2edf7e7cc4e5686cdf3ebe147e7c545157beeb41",
        "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/23178/1-macos-m1-clang/z3/4.13.0//2edf7e7cc4e5686cdf3ebe147e7c545157beeb41-profile.txt",
        "build": "logs/pr/23178/1-macos-m1-clang/z3/4.13.0//2edf7e7cc4e5686cdf3ebe147e7c545157beeb41-build.txt",
        "test": "logs/pr/23178/1-macos-m1-clang/z3/4.13.0//2edf7e7cc4e5686cdf3ebe147e7c545157beeb41-test.txt"
    },
    {
        "reference": "z3/4.13.0@#9d9341f8d21a122ff05cb388bb8d2b86",
        "packageID": "c70268a3607b5a92d33900846b48277666f493a3",
        "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/23178/1-macos-m1-clang/z3/4.13.0//c70268a3607b5a92d33900846b48277666f493a3-profile.txt",
        "build": "logs/pr/23178/1-macos-m1-clang/z3/4.13.0//c70268a3607b5a92d33900846b48277666f493a3-build.txt",
        "test": "logs/pr/23178/1-macos-m1-clang/z3/4.13.0//c70268a3607b5a92d33900846b48277666f493a3-test.txt"
    },
    {
        "reference": "z3/4.13.0@#9d9341f8d21a122ff05cb388bb8d2b86",
        "packageID": "a7395ff0dd4dde28aa76253ed04ab67f5e02c7b0",
        "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/23178/1-macos-m1-clang/z3/4.13.0//a7395ff0dd4dde28aa76253ed04ab67f5e02c7b0-profile.txt",
        "build": "logs/pr/23178/1-macos-m1-clang/z3/4.13.0//a7395ff0dd4dde28aa76253ed04ab67f5e02c7b0-build.txt",
        "test": "logs/pr/23178/1-macos-m1-clang/z3/4.13.0//a7395ff0dd4dde28aa76253ed04ab67f5e02c7b0-test.txt"
    },
    {
        "reference": "z3/4.13.0@#9d9341f8d21a122ff05cb388bb8d2b86",
        "packageID": "b69b14dcb236b5c0f33fce07025ba0cec265d563",
        "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/23178/1-macos-m1-clang/z3/4.13.0//b69b14dcb236b5c0f33fce07025ba0cec265d563-profile.txt",
        "build": "logs/pr/23178/1-macos-m1-clang/z3/4.13.0//b69b14dcb236b5c0f33fce07025ba0cec265d563-build.txt",
        "test": "logs/pr/23178/1-macos-m1-clang/z3/4.13.0//b69b14dcb236b5c0f33fce07025ba0cec265d563-test.txt"
    },
    {
        "reference": "z3/4.13.0@#9d9341f8d21a122ff05cb388bb8d2b86",
        "packageID": "1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "16",
            "build_type": "Release",
            "compiler.runtime": "MD"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/23178/1-windows-visual_studio/z3/4.13.0//1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a-profile.txt",
        "build": "logs/pr/23178/1-windows-visual_studio/z3/4.13.0//1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a-build.txt",
        "test": "logs/pr/23178/1-windows-visual_studio/z3/4.13.0//1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a-test.txt"
    },
    {
        "reference": "z3/4.13.0@#9d9341f8d21a122ff05cb388bb8d2b86",
        "packageID": "bb4153b05de953b0a783d248168db283ba1389b1",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "16",
            "build_type": "Debug",
            "compiler.runtime": "MDd"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/23178/1-windows-visual_studio/z3/4.13.0//bb4153b05de953b0a783d248168db283ba1389b1-profile.txt",
        "build": "logs/pr/23178/1-windows-visual_studio/z3/4.13.0//bb4153b05de953b0a783d248168db283ba1389b1-build.txt",
        "test": "logs/pr/23178/1-windows-visual_studio/z3/4.13.0//bb4153b05de953b0a783d248168db283ba1389b1-test.txt"
    },
    {
        "reference": "z3/4.13.0@#9d9341f8d21a122ff05cb388bb8d2b86",
        "packageID": "0a9414d54795053d6a1484a7ad251b31c6fb0f13",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "16",
            "build_type": "Release",
            "compiler.runtime": "MD"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/23178/1-windows-visual_studio/z3/4.13.0//0a9414d54795053d6a1484a7ad251b31c6fb0f13-profile.txt",
        "build": "logs/pr/23178/1-windows-visual_studio/z3/4.13.0//0a9414d54795053d6a1484a7ad251b31c6fb0f13-build.txt",
        "test": "logs/pr/23178/1-windows-visual_studio/z3/4.13.0//0a9414d54795053d6a1484a7ad251b31c6fb0f13-test.txt"
    },
    {
        "reference": "z3/4.13.0@#9d9341f8d21a122ff05cb388bb8d2b86",
        "packageID": "5819e59f560b13ead3e514c6270177973b66c9b0",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "16",
            "build_type": "Debug",
            "compiler.runtime": "MDd"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/23178/1-windows-visual_studio/z3/4.13.0//5819e59f560b13ead3e514c6270177973b66c9b0-profile.txt",
        "build": "logs/pr/23178/1-windows-visual_studio/z3/4.13.0//5819e59f560b13ead3e514c6270177973b66c9b0-build.txt",
        "test": "logs/pr/23178/1-windows-visual_studio/z3/4.13.0//5819e59f560b13ead3e514c6270177973b66c9b0-test.txt"
    }
]