[
    {
        "reference": "z3/4.11.2",
        "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.11.2",
        "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.11.2",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "5",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "7",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.11.2",
        "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.11.2",
        "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.11.2",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "5",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "7",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "d2c40e780b490eecde085339bde148f344b037eb",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "10",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-gcc/z3/4.11.2//d2c40e780b490eecde085339bde148f344b037eb-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-gcc/z3/4.11.2//d2c40e780b490eecde085339bde148f344b037eb-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "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": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-gcc/z3/4.11.2//976e6c8f8728ef1fe22ebc0935a9e61778ee7bbd-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-gcc/z3/4.11.2//976e6c8f8728ef1fe22ebc0935a9e61778ee7bbd-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "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": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-gcc/z3/4.11.2//0d6deb32b6ce0ef15e9924c9779004c2fbbdf11a-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-gcc/z3/4.11.2//0d6deb32b6ce0ef15e9924c9779004c2fbbdf11a-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "489bc53c74e8bfdaa0b1ff22bec1b16c53bb4872",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "10",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-gcc/z3/4.11.2//489bc53c74e8bfdaa0b1ff22bec1b16c53bb4872-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-gcc/z3/4.11.2//489bc53c74e8bfdaa0b1ff22bec1b16c53bb4872-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "629c0ec2863ea546bb9f19189040329bd3d66ff8",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "9",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-gcc/z3/4.11.2//629c0ec2863ea546bb9f19189040329bd3d66ff8-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-gcc/z3/4.11.2//629c0ec2863ea546bb9f19189040329bd3d66ff8-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "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": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-gcc/z3/4.11.2//3b63b76c470c2bc9ac976db5401793cf3bb1d393-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-gcc/z3/4.11.2//3b63b76c470c2bc9ac976db5401793cf3bb1d393-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "74a014444da4812f6a54f63014d09000a38bfb91",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "10",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-gcc/z3/4.11.2//74a014444da4812f6a54f63014d09000a38bfb91-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-gcc/z3/4.11.2//74a014444da4812f6a54f63014d09000a38bfb91-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "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": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-gcc/z3/4.11.2//b39972472595d98297408f47b161d624c118fab0-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-gcc/z3/4.11.2//b39972472595d98297408f47b161d624c118fab0-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "5105343a310766de087d8ab99c490bd25112cdfa",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "9",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-gcc/z3/4.11.2//5105343a310766de087d8ab99c490bd25112cdfa-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-gcc/z3/4.11.2//5105343a310766de087d8ab99c490bd25112cdfa-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "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": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-gcc/z3/4.11.2//d88c26276299c75bb87265d054c218f83371446a-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-gcc/z3/4.11.2//d88c26276299c75bb87265d054c218f83371446a-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "9b316ea199196d98f1568cdf9bd0acbfb26ecb9d",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "10",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-gcc/z3/4.11.2//9b316ea199196d98f1568cdf9bd0acbfb26ecb9d-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-gcc/z3/4.11.2//9b316ea199196d98f1568cdf9bd0acbfb26ecb9d-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "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": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-gcc/z3/4.11.2//d312f8452e565d2ce9440f7bcbd0d47950aa7a80-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-gcc/z3/4.11.2//d312f8452e565d2ce9440f7bcbd0d47950aa7a80-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "7fcd7c0f201d5de32c9b338f1a5bcc7d25a83852",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "12",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-clang/z3/4.11.2//7fcd7c0f201d5de32c9b338f1a5bcc7d25a83852-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-clang/z3/4.11.2//7fcd7c0f201d5de32c9b338f1a5bcc7d25a83852-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "8e01718521f98dbf6027442498aca555a398d704",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-clang/z3/4.11.2//8e01718521f98dbf6027442498aca555a398d704-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-clang/z3/4.11.2//8e01718521f98dbf6027442498aca555a398d704-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "d9dae9c09d59d546c3fc9179c7064de76027c8f1",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "12",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-clang/z3/4.11.2//d9dae9c09d59d546c3fc9179c7064de76027c8f1-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-clang/z3/4.11.2//d9dae9c09d59d546c3fc9179c7064de76027c8f1-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "9ac1f01cc3702358b7e1a2031efddc54e50b23d7",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "13",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-clang/z3/4.11.2//9ac1f01cc3702358b7e1a2031efddc54e50b23d7-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-clang/z3/4.11.2//9ac1f01cc3702358b7e1a2031efddc54e50b23d7-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "62e2d72cc2497069bc64f3ba00c2de2b2605ca74",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-clang/z3/4.11.2//62e2d72cc2497069bc64f3ba00c2de2b2605ca74-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-clang/z3/4.11.2//62e2d72cc2497069bc64f3ba00c2de2b2605ca74-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "14e2dc6e9c482166cd9f2379cea0c489b6352334",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "13",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-clang/z3/4.11.2//14e2dc6e9c482166cd9f2379cea0c489b6352334-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-clang/z3/4.11.2//14e2dc6e9c482166cd9f2379cea0c489b6352334-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "5096765536465b75ca4a1700357f7ada249f422e",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "12",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-clang/z3/4.11.2//5096765536465b75ca4a1700357f7ada249f422e-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-clang/z3/4.11.2//5096765536465b75ca4a1700357f7ada249f422e-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "6a30bb45eb18f349b6e8ecf3768f1f1b9e98396d",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "12",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-clang/z3/4.11.2//6a30bb45eb18f349b6e8ecf3768f1f1b9e98396d-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-clang/z3/4.11.2//6a30bb45eb18f349b6e8ecf3768f1f1b9e98396d-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "fedd135d278b37c9bcc10ca1dcc09b8db3a0cfa4",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-clang/z3/4.11.2//fedd135d278b37c9bcc10ca1dcc09b8db3a0cfa4-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-clang/z3/4.11.2//fedd135d278b37c9bcc10ca1dcc09b8db3a0cfa4-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "ab73ae0b9d18984da968afdf3d0d51f50481c899",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-clang/z3/4.11.2//ab73ae0b9d18984da968afdf3d0d51f50481c899-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-clang/z3/4.11.2//ab73ae0b9d18984da968afdf3d0d51f50481c899-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "5294dae0431c626e35aa1ed584a798465343e40c",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-clang/z3/4.11.2//5294dae0431c626e35aa1ed584a798465343e40c-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-clang/z3/4.11.2//5294dae0431c626e35aa1ed584a798465343e40c-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "414737d36885e6ae4718ebd485909c97e39e5813",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "12",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-clang/z3/4.11.2//414737d36885e6ae4718ebd485909c97e39e5813-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-clang/z3/4.11.2//414737d36885e6ae4718ebd485909c97e39e5813-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "4941e1b23e8a480b6230f8185bd6a16ff9dd9d1d",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-clang/z3/4.11.2//4941e1b23e8a480b6230f8185bd6a16ff9dd9d1d-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-clang/z3/4.11.2//4941e1b23e8a480b6230f8185bd6a16ff9dd9d1d-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "0472e61c183df80bed97cd1eebd53a7a29e40111",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "13",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-clang/z3/4.11.2//0472e61c183df80bed97cd1eebd53a7a29e40111-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-clang/z3/4.11.2//0472e61c183df80bed97cd1eebd53a7a29e40111-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "bb3af2224a11e7add026b0bbceb97245a55d1081",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "13",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-clang/z3/4.11.2//bb3af2224a11e7add026b0bbceb97245a55d1081-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-clang/z3/4.11.2//bb3af2224a11e7add026b0bbceb97245a55d1081-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "8945a756ce05b9afe0acbe9cf3c031fd1a85fb03",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "12",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-clang/z3/4.11.2//8945a756ce05b9afe0acbe9cf3c031fd1a85fb03-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-clang/z3/4.11.2//8945a756ce05b9afe0acbe9cf3c031fd1a85fb03-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "d45382a8196ea73500543d83a0281eaf5e74ec75",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "13",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-clang/z3/4.11.2//d45382a8196ea73500543d83a0281eaf5e74ec75-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-clang/z3/4.11.2//d45382a8196ea73500543d83a0281eaf5e74ec75-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "60ab4fab5ffaf0069ee3753bcaea5f37d0f646cf",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "13",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-clang/z3/4.11.2//60ab4fab5ffaf0069ee3753bcaea5f37d0f646cf-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-clang/z3/4.11.2//60ab4fab5ffaf0069ee3753bcaea5f37d0f646cf-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "09a47ef06ddf01a97f58069d2ef0ed249800d9e9",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-clang/z3/4.11.2//09a47ef06ddf01a97f58069d2ef0ed249800d9e9-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-clang/z3/4.11.2//09a47ef06ddf01a97f58069d2ef0ed249800d9e9-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "0ba8e429d94cc430a27b2c60972b872fcc0fe1b4",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-clang/z3/4.11.2//0ba8e429d94cc430a27b2c60972b872fcc0fe1b4-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-clang/z3/4.11.2//0ba8e429d94cc430a27b2c60972b872fcc0fe1b4-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "e8a91463eef7648c514f0e5c829be73642085386",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "13",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-clang/z3/4.11.2//e8a91463eef7648c514f0e5c829be73642085386-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-clang/z3/4.11.2//e8a91463eef7648c514f0e5c829be73642085386-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "2606e907f77e17b2657acfd4afba3b7237b8296e",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "12",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-clang/z3/4.11.2//2606e907f77e17b2657acfd4afba3b7237b8296e-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-clang/z3/4.11.2//2606e907f77e17b2657acfd4afba3b7237b8296e-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "92d6f734d7d595aad7ed551a89653d7fa8c0ec2a",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "13",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-clang/z3/4.11.2//92d6f734d7d595aad7ed551a89653d7fa8c0ec2a-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-clang/z3/4.11.2//92d6f734d7d595aad7ed551a89653d7fa8c0ec2a-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "4e555120c444ab75e4004257c9103d68c4ef557a",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "12",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-linux-clang/z3/4.11.2//4e555120c444ab75e4004257c9103d68c4ef557a-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-linux-clang/z3/4.11.2//4e555120c444ab75e4004257c9103d68c4ef557a-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "a308a5bde2ee883a69b8a10198894db9224130c4",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "13.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-macos-clang/z3/4.11.2//a308a5bde2ee883a69b8a10198894db9224130c4-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-macos-clang/z3/4.11.2//a308a5bde2ee883a69b8a10198894db9224130c4-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "586ac4afd03199d1973074067644b8556e7275cc",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "13.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-macos-clang/z3/4.11.2//586ac4afd03199d1973074067644b8556e7275cc-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-macos-clang/z3/4.11.2//586ac4afd03199d1973074067644b8556e7275cc-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "20a734ff60b734e5249dbf3c9542b0e5c884b536",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "13.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-macos-clang/z3/4.11.2//20a734ff60b734e5249dbf3c9542b0e5c884b536-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-macos-clang/z3/4.11.2//20a734ff60b734e5249dbf3c9542b0e5c884b536-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "packageID": "0e6a7e27051478a76ce56ea68cf4d1777270f9da",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "13.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-macos-clang/z3/4.11.2//0e6a7e27051478a76ce56ea68cf4d1777270f9da-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-macos-clang/z3/4.11.2//0e6a7e27051478a76ce56ea68cf4d1777270f9da-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "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": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-macos-m1-clang/z3/4.11.2//2edf7e7cc4e5686cdf3ebe147e7c545157beeb41-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-macos-m1-clang/z3/4.11.2//2edf7e7cc4e5686cdf3ebe147e7c545157beeb41-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "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": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-macos-m1-clang/z3/4.11.2//b69b14dcb236b5c0f33fce07025ba0cec265d563-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-macos-m1-clang/z3/4.11.2//b69b14dcb236b5c0f33fce07025ba0cec265d563-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "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": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-macos-m1-clang/z3/4.11.2//c70268a3607b5a92d33900846b48277666f493a3-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-macos-m1-clang/z3/4.11.2//c70268a3607b5a92d33900846b48277666f493a3-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "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": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-macos-m1-clang/z3/4.11.2//a7395ff0dd4dde28aa76253ed04ab67f5e02c7b0-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-macos-m1-clang/z3/4.11.2//a7395ff0dd4dde28aa76253ed04ab67f5e02c7b0-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "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": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-windows-visual_studio/z3/4.11.2//1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-windows-visual_studio/z3/4.11.2//1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "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": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-windows-visual_studio/z3/4.11.2//5819e59f560b13ead3e514c6270177973b66c9b0-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-windows-visual_studio/z3/4.11.2//5819e59f560b13ead3e514c6270177973b66c9b0-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "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": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-windows-visual_studio/z3/4.11.2//0a9414d54795053d6a1484a7ad251b31c6fb0f13-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-windows-visual_studio/z3/4.11.2//0a9414d54795053d6a1484a7ad251b31c6fb0f13-test.txt"
    },
    {
        "reference": "z3/4.11.2",
        "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": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/17244/7-windows-visual_studio/z3/4.11.2//bb4153b05de953b0a783d248168db283ba1389b1-profile.txt",
        "build": null,
        "test": "logs/pr/17244/7-windows-visual_studio/z3/4.11.2//bb4153b05de953b0a783d248168db283ba1389b1-test.txt"
    }
]