[
    {
        "reference": "z3/4.9.1",
        "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.9.1",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "5",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.9.1",
        "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.9.1",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "5",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.9.1",
        "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.9.1",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "5",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.9.1",
        "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.9.1",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "5",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.9.1",
        "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": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//5598ab58532e875858b1a3e39ddd48d5dc1a160a-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//5598ab58532e875858b1a3e39ddd48d5dc1a160a-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//5598ab58532e875858b1a3e39ddd48d5dc1a160a-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "b52617fd2d6b241f95098997533a735bb4446f05",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "9",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//b52617fd2d6b241f95098997533a735bb4446f05-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//b52617fd2d6b241f95098997533a735bb4446f05-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//b52617fd2d6b241f95098997533a735bb4446f05-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "58175fd4eab959814e7216923dab6da5b954181b",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "7",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//58175fd4eab959814e7216923dab6da5b954181b-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//58175fd4eab959814e7216923dab6da5b954181b-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//58175fd4eab959814e7216923dab6da5b954181b-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "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": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//11e7ac2f4367d082019a41575ce044130dff5eab-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//11e7ac2f4367d082019a41575ce044130dff5eab-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//11e7ac2f4367d082019a41575ce044130dff5eab-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "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": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//494243e032fbaaa06f53893260fa20d1d62e2935-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//494243e032fbaaa06f53893260fa20d1d62e2935-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//494243e032fbaaa06f53893260fa20d1d62e2935-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "4560464e1a0cf4f92762c3b97a9de3e9d93518cf",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "10",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//4560464e1a0cf4f92762c3b97a9de3e9d93518cf-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//4560464e1a0cf4f92762c3b97a9de3e9d93518cf-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//4560464e1a0cf4f92762c3b97a9de3e9d93518cf-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "46e560ef65a6154ac03fff06d0c25fc863934d49",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "8",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//46e560ef65a6154ac03fff06d0c25fc863934d49-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//46e560ef65a6154ac03fff06d0c25fc863934d49-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//46e560ef65a6154ac03fff06d0c25fc863934d49-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "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": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//861afbc8f7bb8c413fa793eb0f53ad149dc8fcb6-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//861afbc8f7bb8c413fa793eb0f53ad149dc8fcb6-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//861afbc8f7bb8c413fa793eb0f53ad149dc8fcb6-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "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": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//10e276e2f8f4704300563699584f213840741586-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//10e276e2f8f4704300563699584f213840741586-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//10e276e2f8f4704300563699584f213840741586-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "e378a8f8776ad6065202979740c6c910396ca689",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//e378a8f8776ad6065202979740c6c910396ca689-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//e378a8f8776ad6065202979740c6c910396ca689-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//e378a8f8776ad6065202979740c6c910396ca689-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "09b4b40ba60b351b2cb3ab42434e7d2d488306a7",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "10",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//09b4b40ba60b351b2cb3ab42434e7d2d488306a7-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//09b4b40ba60b351b2cb3ab42434e7d2d488306a7-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//09b4b40ba60b351b2cb3ab42434e7d2d488306a7-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "adf9668a4f3fa2b854d48233d99854c26add6d70",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "10",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//adf9668a4f3fa2b854d48233d99854c26add6d70-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//adf9668a4f3fa2b854d48233d99854c26add6d70-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//adf9668a4f3fa2b854d48233d99854c26add6d70-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "06f7e76a8cd2c7dbf2ea358c3b459e5b0557abf3",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "9",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//06f7e76a8cd2c7dbf2ea358c3b459e5b0557abf3-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//06f7e76a8cd2c7dbf2ea358c3b459e5b0557abf3-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//06f7e76a8cd2c7dbf2ea358c3b459e5b0557abf3-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "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": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//a4f52a881c1bfeb879494f8060bbc8240092fe74-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//a4f52a881c1bfeb879494f8060bbc8240092fe74-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//a4f52a881c1bfeb879494f8060bbc8240092fe74-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "24c14c99b1cb385b4b908469a2640e002861fa6d",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//24c14c99b1cb385b4b908469a2640e002861fa6d-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//24c14c99b1cb385b4b908469a2640e002861fa6d-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//24c14c99b1cb385b4b908469a2640e002861fa6d-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "29fd1ee3125963ff7b92820af26b3ec059bf26a0",
        "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/11603/15-linux-gcc/z3/4.9.1//29fd1ee3125963ff7b92820af26b3ec059bf26a0-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//29fd1ee3125963ff7b92820af26b3ec059bf26a0-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//29fd1ee3125963ff7b92820af26b3ec059bf26a0-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "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": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//fd58dbbe927bf6a1a891e2ac87f113d04347fac6-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//fd58dbbe927bf6a1a891e2ac87f113d04347fac6-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//fd58dbbe927bf6a1a891e2ac87f113d04347fac6-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "8d23471dd279d901c8568b8e3ef28cb38b3d9656",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "8",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//8d23471dd279d901c8568b8e3ef28cb38b3d9656-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//8d23471dd279d901c8568b8e3ef28cb38b3d9656-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//8d23471dd279d901c8568b8e3ef28cb38b3d9656-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "d0f4b7d246fb1a10c6f17cfde5483723920fa695",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "7",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//d0f4b7d246fb1a10c6f17cfde5483723920fa695-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//d0f4b7d246fb1a10c6f17cfde5483723920fa695-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//d0f4b7d246fb1a10c6f17cfde5483723920fa695-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "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": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//7b402c95f254820d4c781272531d67a84eb4ed76-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//7b402c95f254820d4c781272531d67a84eb4ed76-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//7b402c95f254820d4c781272531d67a84eb4ed76-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "d0c5649ed639619cf1d01a0abd8c421314617fc3",
        "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/11603/15-linux-gcc/z3/4.9.1//d0c5649ed639619cf1d01a0abd8c421314617fc3-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//d0c5649ed639619cf1d01a0abd8c421314617fc3-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//d0c5649ed639619cf1d01a0abd8c421314617fc3-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "6653b7ca65e25945c2be6ab4f058458ed32995b5",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "9",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//6653b7ca65e25945c2be6ab4f058458ed32995b5-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//6653b7ca65e25945c2be6ab4f058458ed32995b5-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//6653b7ca65e25945c2be6ab4f058458ed32995b5-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "b9e3e8d935c043600d18780fd3ae7180c35b0676",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "9",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//b9e3e8d935c043600d18780fd3ae7180c35b0676-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//b9e3e8d935c043600d18780fd3ae7180c35b0676-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//b9e3e8d935c043600d18780fd3ae7180c35b0676-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "911cbc5965d0ff3d53c932fa9b112b66c3f9f4c8",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "10",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//911cbc5965d0ff3d53c932fa9b112b66c3f9f4c8-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//911cbc5965d0ff3d53c932fa9b112b66c3f9f4c8-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//911cbc5965d0ff3d53c932fa9b112b66c3f9f4c8-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "7b275a4017c331dd199abd439380db47742158e0",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "9",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//7b275a4017c331dd199abd439380db47742158e0-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//7b275a4017c331dd199abd439380db47742158e0-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//7b275a4017c331dd199abd439380db47742158e0-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "feed5e0da7d674434b172584ce1480a3c320aeee",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "10",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//feed5e0da7d674434b172584ce1480a3c320aeee-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//feed5e0da7d674434b172584ce1480a3c320aeee-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//feed5e0da7d674434b172584ce1480a3c320aeee-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "ecf3281048b642aa13e3d227910edfc54ca74fb5",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "8",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//ecf3281048b642aa13e3d227910edfc54ca74fb5-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//ecf3281048b642aa13e3d227910edfc54ca74fb5-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//ecf3281048b642aa13e3d227910edfc54ca74fb5-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "0c36bfb265fdc9bdcf457ae7a7361aaa9af613f4",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "10",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//0c36bfb265fdc9bdcf457ae7a7361aaa9af613f4-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//0c36bfb265fdc9bdcf457ae7a7361aaa9af613f4-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//0c36bfb265fdc9bdcf457ae7a7361aaa9af613f4-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "a269fbd7d4231f791a4ba52e72d5fc64b14c683f",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "7",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//a269fbd7d4231f791a4ba52e72d5fc64b14c683f-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//a269fbd7d4231f791a4ba52e72d5fc64b14c683f-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//a269fbd7d4231f791a4ba52e72d5fc64b14c683f-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "dbc5a9a36c4fe17b0f78f10302ddd194c4204384",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "8",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//dbc5a9a36c4fe17b0f78f10302ddd194c4204384-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//dbc5a9a36c4fe17b0f78f10302ddd194c4204384-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//dbc5a9a36c4fe17b0f78f10302ddd194c4204384-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "f77fae271e850ae1ca5b461e610a41e1a9db7b2c",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "10",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//f77fae271e850ae1ca5b461e610a41e1a9db7b2c-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//f77fae271e850ae1ca5b461e610a41e1a9db7b2c-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//f77fae271e850ae1ca5b461e610a41e1a9db7b2c-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "6c5d803d74d5b6f5943849dbd419e3d5cdfea2d6",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "7",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//6c5d803d74d5b6f5943849dbd419e3d5cdfea2d6-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//6c5d803d74d5b6f5943849dbd419e3d5cdfea2d6-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//6c5d803d74d5b6f5943849dbd419e3d5cdfea2d6-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "cb581b18cb04d2213c12ae4a9910e0dc1a633451",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "7",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//cb581b18cb04d2213c12ae4a9910e0dc1a633451-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//cb581b18cb04d2213c12ae4a9910e0dc1a633451-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//cb581b18cb04d2213c12ae4a9910e0dc1a633451-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "c22708260a81c680d585fdf1151647d425e4379e",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "8",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//c22708260a81c680d585fdf1151647d425e4379e-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//c22708260a81c680d585fdf1151647d425e4379e-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//c22708260a81c680d585fdf1151647d425e4379e-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "688864eec6ddc7fa3caba9b32fdb0daabacc587c",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "7",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//688864eec6ddc7fa3caba9b32fdb0daabacc587c-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//688864eec6ddc7fa3caba9b32fdb0daabacc587c-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//688864eec6ddc7fa3caba9b32fdb0daabacc587c-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "0233920576fc92ff1edb6f1835a5b2b724caeda1",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "8",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//0233920576fc92ff1edb6f1835a5b2b724caeda1-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//0233920576fc92ff1edb6f1835a5b2b724caeda1-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//0233920576fc92ff1edb6f1835a5b2b724caeda1-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "ed2cd011a66487d7aba46bf47596d40ca42fa0ce",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//ed2cd011a66487d7aba46bf47596d40ca42fa0ce-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//ed2cd011a66487d7aba46bf47596d40ca42fa0ce-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//ed2cd011a66487d7aba46bf47596d40ca42fa0ce-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "67ad734428577f84934c83007b6e184ba83e198e",
        "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/11603/15-linux-gcc/z3/4.9.1//67ad734428577f84934c83007b6e184ba83e198e-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//67ad734428577f84934c83007b6e184ba83e198e-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//67ad734428577f84934c83007b6e184ba83e198e-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "364aec17215d9d31f14261c8db7d4f94c498abd5",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/15-linux-gcc/z3/4.9.1//364aec17215d9d31f14261c8db7d4f94c498abd5-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//364aec17215d9d31f14261c8db7d4f94c498abd5-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//364aec17215d9d31f14261c8db7d4f94c498abd5-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "9f477591e88c83b69aca89b4ae4f010fb7b16fc7",
        "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/11603/15-linux-gcc/z3/4.9.1//9f477591e88c83b69aca89b4ae4f010fb7b16fc7-profile.txt",
        "build": "logs/pr/11603/15-linux-gcc/z3/4.9.1//9f477591e88c83b69aca89b4ae4f010fb7b16fc7-build.txt",
        "test": "logs/pr/11603/15-linux-gcc/z3/4.9.1//9f477591e88c83b69aca89b4ae4f010fb7b16fc7-test.txt"
    }
]