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