[
    {
        "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"
    }
]