[
    {
        "reference": "z3/4.8.8",
        "packageID": "5598ab58532e875858b1a3e39ddd48d5dc1a160a",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "9",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "FAILED",
        "profile": "logs/pr/16599/1-linux-gcc/z3/4.8.8//5598ab58532e875858b1a3e39ddd48d5dc1a160a-profile.txt",
        "build": "logs/pr/16599/1-linux-gcc/z3/4.8.8//5598ab58532e875858b1a3e39ddd48d5dc1a160a-build.txt",
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "31c31bc5f3f572a376af5a76b35c6bb156787908",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "5",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "FAILED",
        "profile": "logs/pr/16599/1-linux-gcc/z3/4.8.8//31c31bc5f3f572a376af5a76b35c6bb156787908-profile.txt",
        "build": "logs/pr/16599/1-linux-gcc/z3/4.8.8//31c31bc5f3f572a376af5a76b35c6bb156787908-build.txt",
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "4560464e1a0cf4f92762c3b97a9de3e9d93518cf",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "10",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "FAILED",
        "profile": "logs/pr/16599/1-linux-gcc/z3/4.8.8//4560464e1a0cf4f92762c3b97a9de3e9d93518cf-profile.txt",
        "build": "logs/pr/16599/1-linux-gcc/z3/4.8.8//4560464e1a0cf4f92762c3b97a9de3e9d93518cf-build.txt",
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "d0f4b7d246fb1a10c6f17cfde5483723920fa695",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "7",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "FAILED",
        "profile": "logs/pr/16599/1-linux-gcc/z3/4.8.8//d0f4b7d246fb1a10c6f17cfde5483723920fa695-profile.txt",
        "build": "logs/pr/16599/1-linux-gcc/z3/4.8.8//d0f4b7d246fb1a10c6f17cfde5483723920fa695-build.txt",
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "54ffcf7cca697ffe8114caccff33c73b619aeead",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "5",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "FAILED",
        "profile": "logs/pr/16599/1-linux-gcc/z3/4.8.8//54ffcf7cca697ffe8114caccff33c73b619aeead-profile.txt",
        "build": "logs/pr/16599/1-linux-gcc/z3/4.8.8//54ffcf7cca697ffe8114caccff33c73b619aeead-build.txt",
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "11e7ac2f4367d082019a41575ce044130dff5eab",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "7",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "FAILED",
        "profile": "logs/pr/16599/1-linux-gcc/z3/4.8.8//11e7ac2f4367d082019a41575ce044130dff5eab-profile.txt",
        "build": "logs/pr/16599/1-linux-gcc/z3/4.8.8//11e7ac2f4367d082019a41575ce044130dff5eab-build.txt",
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "10e276e2f8f4704300563699584f213840741586",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "FAILED",
        "profile": "logs/pr/16599/1-linux-gcc/z3/4.8.8//10e276e2f8f4704300563699584f213840741586-profile.txt",
        "build": "logs/pr/16599/1-linux-gcc/z3/4.8.8//10e276e2f8f4704300563699584f213840741586-build.txt",
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "494243e032fbaaa06f53893260fa20d1d62e2935",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "10",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "FAILED",
        "profile": "logs/pr/16599/1-linux-gcc/z3/4.8.8//494243e032fbaaa06f53893260fa20d1d62e2935-profile.txt",
        "build": "logs/pr/16599/1-linux-gcc/z3/4.8.8//494243e032fbaaa06f53893260fa20d1d62e2935-build.txt",
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "a4f52a881c1bfeb879494f8060bbc8240092fe74",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "9",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "FAILED",
        "profile": "logs/pr/16599/1-linux-gcc/z3/4.8.8//a4f52a881c1bfeb879494f8060bbc8240092fe74-profile.txt",
        "build": "logs/pr/16599/1-linux-gcc/z3/4.8.8//a4f52a881c1bfeb879494f8060bbc8240092fe74-build.txt",
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "e378a8f8776ad6065202979740c6c910396ca689",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "FAILED",
        "profile": "logs/pr/16599/1-linux-gcc/z3/4.8.8//e378a8f8776ad6065202979740c6c910396ca689-profile.txt",
        "build": "logs/pr/16599/1-linux-gcc/z3/4.8.8//e378a8f8776ad6065202979740c6c910396ca689-build.txt",
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "861afbc8f7bb8c413fa793eb0f53ad149dc8fcb6",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "8",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "FAILED",
        "profile": "logs/pr/16599/1-linux-gcc/z3/4.8.8//861afbc8f7bb8c413fa793eb0f53ad149dc8fcb6-profile.txt",
        "build": "logs/pr/16599/1-linux-gcc/z3/4.8.8//861afbc8f7bb8c413fa793eb0f53ad149dc8fcb6-build.txt",
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "b52617fd2d6b241f95098997533a735bb4446f05",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "9",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "FAILED",
        "profile": "logs/pr/16599/1-linux-gcc/z3/4.8.8//b52617fd2d6b241f95098997533a735bb4446f05-profile.txt",
        "build": "logs/pr/16599/1-linux-gcc/z3/4.8.8//b52617fd2d6b241f95098997533a735bb4446f05-build.txt",
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "46e560ef65a6154ac03fff06d0c25fc863934d49",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "8",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "FAILED",
        "profile": "logs/pr/16599/1-linux-gcc/z3/4.8.8//46e560ef65a6154ac03fff06d0c25fc863934d49-profile.txt",
        "build": "logs/pr/16599/1-linux-gcc/z3/4.8.8//46e560ef65a6154ac03fff06d0c25fc863934d49-build.txt",
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "58175fd4eab959814e7216923dab6da5b954181b",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "7",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "FAILED",
        "profile": "logs/pr/16599/1-linux-gcc/z3/4.8.8//58175fd4eab959814e7216923dab6da5b954181b-profile.txt",
        "build": "logs/pr/16599/1-linux-gcc/z3/4.8.8//58175fd4eab959814e7216923dab6da5b954181b-build.txt",
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "06f7e76a8cd2c7dbf2ea358c3b459e5b0557abf3",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "9",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "FAILED",
        "profile": "logs/pr/16599/1-linux-gcc/z3/4.8.8//06f7e76a8cd2c7dbf2ea358c3b459e5b0557abf3-profile.txt",
        "build": "logs/pr/16599/1-linux-gcc/z3/4.8.8//06f7e76a8cd2c7dbf2ea358c3b459e5b0557abf3-build.txt",
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "fd58dbbe927bf6a1a891e2ac87f113d04347fac6",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "8",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "FAILED",
        "profile": "logs/pr/16599/1-linux-gcc/z3/4.8.8//fd58dbbe927bf6a1a891e2ac87f113d04347fac6-profile.txt",
        "build": "logs/pr/16599/1-linux-gcc/z3/4.8.8//fd58dbbe927bf6a1a891e2ac87f113d04347fac6-build.txt",
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "4cbd1a1d165720270d82a969e9d53c46bcf7a747",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "5",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "FAILED",
        "profile": "logs/pr/16599/1-linux-gcc/z3/4.8.8//4cbd1a1d165720270d82a969e9d53c46bcf7a747-profile.txt",
        "build": "logs/pr/16599/1-linux-gcc/z3/4.8.8//4cbd1a1d165720270d82a969e9d53c46bcf7a747-build.txt",
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "8d23471dd279d901c8568b8e3ef28cb38b3d9656",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "8",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "FAILED",
        "profile": "logs/pr/16599/1-linux-gcc/z3/4.8.8//8d23471dd279d901c8568b8e3ef28cb38b3d9656-profile.txt",
        "build": "logs/pr/16599/1-linux-gcc/z3/4.8.8//8d23471dd279d901c8568b8e3ef28cb38b3d9656-build.txt",
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "7b402c95f254820d4c781272531d67a84eb4ed76",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "7",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "FAILED",
        "profile": "logs/pr/16599/1-linux-gcc/z3/4.8.8//7b402c95f254820d4c781272531d67a84eb4ed76-profile.txt",
        "build": "logs/pr/16599/1-linux-gcc/z3/4.8.8//7b402c95f254820d4c781272531d67a84eb4ed76-build.txt",
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "4be28a842e95087ad2f6ba4acdec64ac59ca629c",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "5",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "FAILED",
        "profile": "logs/pr/16599/1-linux-gcc/z3/4.8.8//4be28a842e95087ad2f6ba4acdec64ac59ca629c-profile.txt",
        "build": "logs/pr/16599/1-linux-gcc/z3/4.8.8//4be28a842e95087ad2f6ba4acdec64ac59ca629c-build.txt",
        "test": null
    }
]