[
    {
        "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": "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/13-linux-gcc/z3/4.9.1//b52617fd2d6b241f95098997533a735bb4446f05-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//b52617fd2d6b241f95098997533a735bb4446f05-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//b52617fd2d6b241f95098997533a735bb4446f05-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/13-linux-gcc/z3/4.9.1//11e7ac2f4367d082019a41575ce044130dff5eab-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//11e7ac2f4367d082019a41575ce044130dff5eab-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//11e7ac2f4367d082019a41575ce044130dff5eab-test.txt"
    },
    {
        "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/13-linux-gcc/z3/4.9.1//5598ab58532e875858b1a3e39ddd48d5dc1a160a-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//5598ab58532e875858b1a3e39ddd48d5dc1a160a-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//5598ab58532e875858b1a3e39ddd48d5dc1a160a-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/13-linux-gcc/z3/4.9.1//46e560ef65a6154ac03fff06d0c25fc863934d49-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//46e560ef65a6154ac03fff06d0c25fc863934d49-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//46e560ef65a6154ac03fff06d0c25fc863934d49-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/13-linux-gcc/z3/4.9.1//494243e032fbaaa06f53893260fa20d1d62e2935-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//494243e032fbaaa06f53893260fa20d1d62e2935-build.txt",
        "test": "logs/pr/11603/13-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/13-linux-gcc/z3/4.9.1//4560464e1a0cf4f92762c3b97a9de3e9d93518cf-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//4560464e1a0cf4f92762c3b97a9de3e9d93518cf-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//4560464e1a0cf4f92762c3b97a9de3e9d93518cf-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/13-linux-gcc/z3/4.9.1//58175fd4eab959814e7216923dab6da5b954181b-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//58175fd4eab959814e7216923dab6da5b954181b-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//58175fd4eab959814e7216923dab6da5b954181b-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/13-linux-gcc/z3/4.9.1//861afbc8f7bb8c413fa793eb0f53ad149dc8fcb6-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//861afbc8f7bb8c413fa793eb0f53ad149dc8fcb6-build.txt",
        "test": "logs/pr/11603/13-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/13-linux-gcc/z3/4.9.1//10e276e2f8f4704300563699584f213840741586-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//10e276e2f8f4704300563699584f213840741586-build.txt",
        "test": "logs/pr/11603/13-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/13-linux-gcc/z3/4.9.1//e378a8f8776ad6065202979740c6c910396ca689-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//e378a8f8776ad6065202979740c6c910396ca689-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//e378a8f8776ad6065202979740c6c910396ca689-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/13-linux-gcc/z3/4.9.1//adf9668a4f3fa2b854d48233d99854c26add6d70-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//adf9668a4f3fa2b854d48233d99854c26add6d70-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//adf9668a4f3fa2b854d48233d99854c26add6d70-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/13-linux-gcc/z3/4.9.1//29fd1ee3125963ff7b92820af26b3ec059bf26a0-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//29fd1ee3125963ff7b92820af26b3ec059bf26a0-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//29fd1ee3125963ff7b92820af26b3ec059bf26a0-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/13-linux-gcc/z3/4.9.1//24c14c99b1cb385b4b908469a2640e002861fa6d-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//24c14c99b1cb385b4b908469a2640e002861fa6d-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//24c14c99b1cb385b4b908469a2640e002861fa6d-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/13-linux-gcc/z3/4.9.1//06f7e76a8cd2c7dbf2ea358c3b459e5b0557abf3-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//06f7e76a8cd2c7dbf2ea358c3b459e5b0557abf3-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//06f7e76a8cd2c7dbf2ea358c3b459e5b0557abf3-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/13-linux-gcc/z3/4.9.1//09b4b40ba60b351b2cb3ab42434e7d2d488306a7-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//09b4b40ba60b351b2cb3ab42434e7d2d488306a7-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//09b4b40ba60b351b2cb3ab42434e7d2d488306a7-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/13-linux-gcc/z3/4.9.1//a4f52a881c1bfeb879494f8060bbc8240092fe74-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//a4f52a881c1bfeb879494f8060bbc8240092fe74-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//a4f52a881c1bfeb879494f8060bbc8240092fe74-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/13-linux-gcc/z3/4.9.1//fd58dbbe927bf6a1a891e2ac87f113d04347fac6-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//fd58dbbe927bf6a1a891e2ac87f113d04347fac6-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//fd58dbbe927bf6a1a891e2ac87f113d04347fac6-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/13-linux-gcc/z3/4.9.1//7b402c95f254820d4c781272531d67a84eb4ed76-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//7b402c95f254820d4c781272531d67a84eb4ed76-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//7b402c95f254820d4c781272531d67a84eb4ed76-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/13-linux-gcc/z3/4.9.1//8d23471dd279d901c8568b8e3ef28cb38b3d9656-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//8d23471dd279d901c8568b8e3ef28cb38b3d9656-build.txt",
        "test": "logs/pr/11603/13-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/13-linux-gcc/z3/4.9.1//d0f4b7d246fb1a10c6f17cfde5483723920fa695-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//d0f4b7d246fb1a10c6f17cfde5483723920fa695-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//d0f4b7d246fb1a10c6f17cfde5483723920fa695-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/13-linux-gcc/z3/4.9.1//b9e3e8d935c043600d18780fd3ae7180c35b0676-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//b9e3e8d935c043600d18780fd3ae7180c35b0676-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//b9e3e8d935c043600d18780fd3ae7180c35b0676-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/13-linux-gcc/z3/4.9.1//d0c5649ed639619cf1d01a0abd8c421314617fc3-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//d0c5649ed639619cf1d01a0abd8c421314617fc3-build.txt",
        "test": "logs/pr/11603/13-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/13-linux-gcc/z3/4.9.1//6653b7ca65e25945c2be6ab4f058458ed32995b5-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//6653b7ca65e25945c2be6ab4f058458ed32995b5-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//6653b7ca65e25945c2be6ab4f058458ed32995b5-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/13-linux-gcc/z3/4.9.1//7b275a4017c331dd199abd439380db47742158e0-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//7b275a4017c331dd199abd439380db47742158e0-build.txt",
        "test": "logs/pr/11603/13-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/13-linux-gcc/z3/4.9.1//feed5e0da7d674434b172584ce1480a3c320aeee-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//feed5e0da7d674434b172584ce1480a3c320aeee-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//feed5e0da7d674434b172584ce1480a3c320aeee-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/13-linux-gcc/z3/4.9.1//a269fbd7d4231f791a4ba52e72d5fc64b14c683f-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//a269fbd7d4231f791a4ba52e72d5fc64b14c683f-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//a269fbd7d4231f791a4ba52e72d5fc64b14c683f-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/13-linux-gcc/z3/4.9.1//0c36bfb265fdc9bdcf457ae7a7361aaa9af613f4-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//0c36bfb265fdc9bdcf457ae7a7361aaa9af613f4-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//0c36bfb265fdc9bdcf457ae7a7361aaa9af613f4-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/13-linux-gcc/z3/4.9.1//dbc5a9a36c4fe17b0f78f10302ddd194c4204384-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//dbc5a9a36c4fe17b0f78f10302ddd194c4204384-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//dbc5a9a36c4fe17b0f78f10302ddd194c4204384-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/13-linux-gcc/z3/4.9.1//6c5d803d74d5b6f5943849dbd419e3d5cdfea2d6-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//6c5d803d74d5b6f5943849dbd419e3d5cdfea2d6-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//6c5d803d74d5b6f5943849dbd419e3d5cdfea2d6-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/13-linux-gcc/z3/4.9.1//911cbc5965d0ff3d53c932fa9b112b66c3f9f4c8-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//911cbc5965d0ff3d53c932fa9b112b66c3f9f4c8-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//911cbc5965d0ff3d53c932fa9b112b66c3f9f4c8-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/13-linux-gcc/z3/4.9.1//f77fae271e850ae1ca5b461e610a41e1a9db7b2c-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//f77fae271e850ae1ca5b461e610a41e1a9db7b2c-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//f77fae271e850ae1ca5b461e610a41e1a9db7b2c-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/13-linux-gcc/z3/4.9.1//ecf3281048b642aa13e3d227910edfc54ca74fb5-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//ecf3281048b642aa13e3d227910edfc54ca74fb5-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//ecf3281048b642aa13e3d227910edfc54ca74fb5-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/13-linux-gcc/z3/4.9.1//c22708260a81c680d585fdf1151647d425e4379e-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//c22708260a81c680d585fdf1151647d425e4379e-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//c22708260a81c680d585fdf1151647d425e4379e-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/13-linux-gcc/z3/4.9.1//0233920576fc92ff1edb6f1835a5b2b724caeda1-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//0233920576fc92ff1edb6f1835a5b2b724caeda1-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//0233920576fc92ff1edb6f1835a5b2b724caeda1-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/13-linux-gcc/z3/4.9.1//cb581b18cb04d2213c12ae4a9910e0dc1a633451-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//cb581b18cb04d2213c12ae4a9910e0dc1a633451-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//cb581b18cb04d2213c12ae4a9910e0dc1a633451-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/13-linux-gcc/z3/4.9.1//688864eec6ddc7fa3caba9b32fdb0daabacc587c-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//688864eec6ddc7fa3caba9b32fdb0daabacc587c-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//688864eec6ddc7fa3caba9b32fdb0daabacc587c-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/13-linux-gcc/z3/4.9.1//ed2cd011a66487d7aba46bf47596d40ca42fa0ce-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//ed2cd011a66487d7aba46bf47596d40ca42fa0ce-build.txt",
        "test": "logs/pr/11603/13-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/13-linux-gcc/z3/4.9.1//67ad734428577f84934c83007b6e184ba83e198e-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//67ad734428577f84934c83007b6e184ba83e198e-build.txt",
        "test": "logs/pr/11603/13-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/13-linux-gcc/z3/4.9.1//364aec17215d9d31f14261c8db7d4f94c498abd5-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//364aec17215d9d31f14261c8db7d4f94c498abd5-build.txt",
        "test": "logs/pr/11603/13-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/13-linux-gcc/z3/4.9.1//9f477591e88c83b69aca89b4ae4f010fb7b16fc7-profile.txt",
        "build": "logs/pr/11603/13-linux-gcc/z3/4.9.1//9f477591e88c83b69aca89b4ae4f010fb7b16fc7-build.txt",
        "test": "logs/pr/11603/13-linux-gcc/z3/4.9.1//9f477591e88c83b69aca89b4ae4f010fb7b16fc7-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "62e77e9cea819be185130166565449ff7dd39930",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-linux-clang/z3/4.9.1//62e77e9cea819be185130166565449ff7dd39930-profile.txt",
        "build": "logs/pr/11603/13-linux-clang/z3/4.9.1//62e77e9cea819be185130166565449ff7dd39930-build.txt",
        "test": "logs/pr/11603/13-linux-clang/z3/4.9.1//62e77e9cea819be185130166565449ff7dd39930-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "63e6e3d89722dc2693402e445a1a54a13addf3b8",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-linux-clang/z3/4.9.1//63e6e3d89722dc2693402e445a1a54a13addf3b8-profile.txt",
        "build": "logs/pr/11603/13-linux-clang/z3/4.9.1//63e6e3d89722dc2693402e445a1a54a13addf3b8-build.txt",
        "test": "logs/pr/11603/13-linux-clang/z3/4.9.1//63e6e3d89722dc2693402e445a1a54a13addf3b8-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "c0a26051b9ef6ee4aac4d03d2246e66bde667ec3",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-linux-clang/z3/4.9.1//c0a26051b9ef6ee4aac4d03d2246e66bde667ec3-profile.txt",
        "build": "logs/pr/11603/13-linux-clang/z3/4.9.1//c0a26051b9ef6ee4aac4d03d2246e66bde667ec3-build.txt",
        "test": "logs/pr/11603/13-linux-clang/z3/4.9.1//c0a26051b9ef6ee4aac4d03d2246e66bde667ec3-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "c97c9e2ec13fad87ffecad30f8676f33b1e80726",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-linux-clang/z3/4.9.1//c97c9e2ec13fad87ffecad30f8676f33b1e80726-profile.txt",
        "build": "logs/pr/11603/13-linux-clang/z3/4.9.1//c97c9e2ec13fad87ffecad30f8676f33b1e80726-build.txt",
        "test": "logs/pr/11603/13-linux-clang/z3/4.9.1//c97c9e2ec13fad87ffecad30f8676f33b1e80726-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "1f46e7a645fc0a1677429aa17ccdf6d7c6a23ce6",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-linux-clang/z3/4.9.1//1f46e7a645fc0a1677429aa17ccdf6d7c6a23ce6-profile.txt",
        "build": "logs/pr/11603/13-linux-clang/z3/4.9.1//1f46e7a645fc0a1677429aa17ccdf6d7c6a23ce6-build.txt",
        "test": "logs/pr/11603/13-linux-clang/z3/4.9.1//1f46e7a645fc0a1677429aa17ccdf6d7c6a23ce6-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "3f067f980824aa138a27dfcfc01f2d77af655f2a",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-linux-clang/z3/4.9.1//3f067f980824aa138a27dfcfc01f2d77af655f2a-profile.txt",
        "build": "logs/pr/11603/13-linux-clang/z3/4.9.1//3f067f980824aa138a27dfcfc01f2d77af655f2a-build.txt",
        "test": "logs/pr/11603/13-linux-clang/z3/4.9.1//3f067f980824aa138a27dfcfc01f2d77af655f2a-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "a439314c9b6c675ee62f07090128cc0144bafe8e",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "13",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-linux-clang/z3/4.9.1//a439314c9b6c675ee62f07090128cc0144bafe8e-profile.txt",
        "build": "logs/pr/11603/13-linux-clang/z3/4.9.1//a439314c9b6c675ee62f07090128cc0144bafe8e-build.txt",
        "test": "logs/pr/11603/13-linux-clang/z3/4.9.1//a439314c9b6c675ee62f07090128cc0144bafe8e-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "906d883482d77c87691af29b8dabdb60feeb5067",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "13",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-linux-clang/z3/4.9.1//906d883482d77c87691af29b8dabdb60feeb5067-profile.txt",
        "build": "logs/pr/11603/13-linux-clang/z3/4.9.1//906d883482d77c87691af29b8dabdb60feeb5067-build.txt",
        "test": "logs/pr/11603/13-linux-clang/z3/4.9.1//906d883482d77c87691af29b8dabdb60feeb5067-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "12e362b23963f7c6b131371b6c4bbb5675acb8c1",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "13",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-linux-clang/z3/4.9.1//12e362b23963f7c6b131371b6c4bbb5675acb8c1-profile.txt",
        "build": "logs/pr/11603/13-linux-clang/z3/4.9.1//12e362b23963f7c6b131371b6c4bbb5675acb8c1-build.txt",
        "test": "logs/pr/11603/13-linux-clang/z3/4.9.1//12e362b23963f7c6b131371b6c4bbb5675acb8c1-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "ea597c83a6a4520c9e6d45691d59ecbbf99c5c2a",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "12",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-linux-clang/z3/4.9.1//ea597c83a6a4520c9e6d45691d59ecbbf99c5c2a-profile.txt",
        "build": "logs/pr/11603/13-linux-clang/z3/4.9.1//ea597c83a6a4520c9e6d45691d59ecbbf99c5c2a-build.txt",
        "test": "logs/pr/11603/13-linux-clang/z3/4.9.1//ea597c83a6a4520c9e6d45691d59ecbbf99c5c2a-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "679a29013bdb7c0a908d0c9a3f98194bd3297b77",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "12",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-linux-clang/z3/4.9.1//679a29013bdb7c0a908d0c9a3f98194bd3297b77-profile.txt",
        "build": "logs/pr/11603/13-linux-clang/z3/4.9.1//679a29013bdb7c0a908d0c9a3f98194bd3297b77-build.txt",
        "test": "logs/pr/11603/13-linux-clang/z3/4.9.1//679a29013bdb7c0a908d0c9a3f98194bd3297b77-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "81d345f7e60655acdee5c2813dade1136159a6a7",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "12",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-linux-clang/z3/4.9.1//81d345f7e60655acdee5c2813dade1136159a6a7-profile.txt",
        "build": "logs/pr/11603/13-linux-clang/z3/4.9.1//81d345f7e60655acdee5c2813dade1136159a6a7-build.txt",
        "test": "logs/pr/11603/13-linux-clang/z3/4.9.1//81d345f7e60655acdee5c2813dade1136159a6a7-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "50454cbf72d3e338d9ccc6cc3cf6d20bcb3b77c0",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "13",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-linux-clang/z3/4.9.1//50454cbf72d3e338d9ccc6cc3cf6d20bcb3b77c0-profile.txt",
        "build": "logs/pr/11603/13-linux-clang/z3/4.9.1//50454cbf72d3e338d9ccc6cc3cf6d20bcb3b77c0-build.txt",
        "test": "logs/pr/11603/13-linux-clang/z3/4.9.1//50454cbf72d3e338d9ccc6cc3cf6d20bcb3b77c0-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "ef0bc4afe5eb0894dfa65581e583dc431655e9da",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "12",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-linux-clang/z3/4.9.1//ef0bc4afe5eb0894dfa65581e583dc431655e9da-profile.txt",
        "build": "logs/pr/11603/13-linux-clang/z3/4.9.1//ef0bc4afe5eb0894dfa65581e583dc431655e9da-build.txt",
        "test": "logs/pr/11603/13-linux-clang/z3/4.9.1//ef0bc4afe5eb0894dfa65581e583dc431655e9da-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "e28a95ff72c1c7fc84a338a1b82019ed9152055d",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "13",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-linux-clang/z3/4.9.1//e28a95ff72c1c7fc84a338a1b82019ed9152055d-profile.txt",
        "build": "logs/pr/11603/13-linux-clang/z3/4.9.1//e28a95ff72c1c7fc84a338a1b82019ed9152055d-build.txt",
        "test": "logs/pr/11603/13-linux-clang/z3/4.9.1//e28a95ff72c1c7fc84a338a1b82019ed9152055d-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "641207b6345b683c6a5efe7ea5376776521d62b4",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-linux-clang/z3/4.9.1//641207b6345b683c6a5efe7ea5376776521d62b4-profile.txt",
        "build": "logs/pr/11603/13-linux-clang/z3/4.9.1//641207b6345b683c6a5efe7ea5376776521d62b4-build.txt",
        "test": "logs/pr/11603/13-linux-clang/z3/4.9.1//641207b6345b683c6a5efe7ea5376776521d62b4-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "d16961481b07686131ac04deda419517566fd10e",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-linux-clang/z3/4.9.1//d16961481b07686131ac04deda419517566fd10e-profile.txt",
        "build": "logs/pr/11603/13-linux-clang/z3/4.9.1//d16961481b07686131ac04deda419517566fd10e-build.txt",
        "test": "logs/pr/11603/13-linux-clang/z3/4.9.1//d16961481b07686131ac04deda419517566fd10e-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "53cd748e6a7a0699c37c3a33dc31b964fa7d5e9c",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "13",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-linux-clang/z3/4.9.1//53cd748e6a7a0699c37c3a33dc31b964fa7d5e9c-profile.txt",
        "build": "logs/pr/11603/13-linux-clang/z3/4.9.1//53cd748e6a7a0699c37c3a33dc31b964fa7d5e9c-build.txt",
        "test": "logs/pr/11603/13-linux-clang/z3/4.9.1//53cd748e6a7a0699c37c3a33dc31b964fa7d5e9c-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "f5113d44086bdec545372d2d8557a26ceaca993e",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "12",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-linux-clang/z3/4.9.1//f5113d44086bdec545372d2d8557a26ceaca993e-profile.txt",
        "build": "logs/pr/11603/13-linux-clang/z3/4.9.1//f5113d44086bdec545372d2d8557a26ceaca993e-build.txt",
        "test": "logs/pr/11603/13-linux-clang/z3/4.9.1//f5113d44086bdec545372d2d8557a26ceaca993e-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "3fc20cd7dfc82bba587c26208d7420b72672e0e8",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "12",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-linux-clang/z3/4.9.1//3fc20cd7dfc82bba587c26208d7420b72672e0e8-profile.txt",
        "build": "logs/pr/11603/13-linux-clang/z3/4.9.1//3fc20cd7dfc82bba587c26208d7420b72672e0e8-build.txt",
        "test": "logs/pr/11603/13-linux-clang/z3/4.9.1//3fc20cd7dfc82bba587c26208d7420b72672e0e8-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "937638e9441ae892f0e917db312b42631f068767",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "13",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-linux-clang/z3/4.9.1//937638e9441ae892f0e917db312b42631f068767-profile.txt",
        "build": "logs/pr/11603/13-linux-clang/z3/4.9.1//937638e9441ae892f0e917db312b42631f068767-build.txt",
        "test": "logs/pr/11603/13-linux-clang/z3/4.9.1//937638e9441ae892f0e917db312b42631f068767-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "06aa109fe1d94bb414523b4b8dcf01f4b600be1f",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "12",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-linux-clang/z3/4.9.1//06aa109fe1d94bb414523b4b8dcf01f4b600be1f-profile.txt",
        "build": "logs/pr/11603/13-linux-clang/z3/4.9.1//06aa109fe1d94bb414523b4b8dcf01f4b600be1f-build.txt",
        "test": "logs/pr/11603/13-linux-clang/z3/4.9.1//06aa109fe1d94bb414523b4b8dcf01f4b600be1f-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "5250a74ebb72aefb4cc93cae677836c0cdd2b0a9",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "13",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-linux-clang/z3/4.9.1//5250a74ebb72aefb4cc93cae677836c0cdd2b0a9-profile.txt",
        "build": "logs/pr/11603/13-linux-clang/z3/4.9.1//5250a74ebb72aefb4cc93cae677836c0cdd2b0a9-build.txt",
        "test": "logs/pr/11603/13-linux-clang/z3/4.9.1//5250a74ebb72aefb4cc93cae677836c0cdd2b0a9-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "dc8df3ac8eed15735fe5185043d38df21604c4f7",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "12",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-linux-clang/z3/4.9.1//dc8df3ac8eed15735fe5185043d38df21604c4f7-profile.txt",
        "build": "logs/pr/11603/13-linux-clang/z3/4.9.1//dc8df3ac8eed15735fe5185043d38df21604c4f7-build.txt",
        "test": "logs/pr/11603/13-linux-clang/z3/4.9.1//dc8df3ac8eed15735fe5185043d38df21604c4f7-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "b70eb80ec9f156ed1984566bc79340159c618032",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "12.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//b70eb80ec9f156ed1984566bc79340159c618032-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//b70eb80ec9f156ed1984566bc79340159c618032-build.txt",
        "test": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//b70eb80ec9f156ed1984566bc79340159c618032-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "d5c04883e9308624cca5e2a513c9c9814d3fee1b",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "13.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//d5c04883e9308624cca5e2a513c9c9814d3fee1b-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//d5c04883e9308624cca5e2a513c9c9814d3fee1b-build.txt",
        "test": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//d5c04883e9308624cca5e2a513c9c9814d3fee1b-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "bb40deee2b3946937e020f364af90d3008333611",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "13.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//bb40deee2b3946937e020f364af90d3008333611-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//bb40deee2b3946937e020f364af90d3008333611-build.txt",
        "test": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//bb40deee2b3946937e020f364af90d3008333611-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "3db8148aea9f137f802f25d1cca71d795978d5d9",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "13.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//3db8148aea9f137f802f25d1cca71d795978d5d9-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//3db8148aea9f137f802f25d1cca71d795978d5d9-build.txt",
        "test": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//3db8148aea9f137f802f25d1cca71d795978d5d9-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "71f08f57ac5624a2040dcd2d84e93e0ddea589f4",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "12.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//71f08f57ac5624a2040dcd2d84e93e0ddea589f4-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//71f08f57ac5624a2040dcd2d84e93e0ddea589f4-build.txt",
        "test": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//71f08f57ac5624a2040dcd2d84e93e0ddea589f4-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "99819bab22a7e6e93e5742dd2c9f6102f197f370",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "12.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//99819bab22a7e6e93e5742dd2c9f6102f197f370-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//99819bab22a7e6e93e5742dd2c9f6102f197f370-build.txt",
        "test": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//99819bab22a7e6e93e5742dd2c9f6102f197f370-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "dfbce7e7613920a266cc32be25cda64760274e6d",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "11.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//dfbce7e7613920a266cc32be25cda64760274e6d-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//dfbce7e7613920a266cc32be25cda64760274e6d-build.txt",
        "test": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//dfbce7e7613920a266cc32be25cda64760274e6d-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "41a5624c47397d35c0fc0f22d6fa70979ad7ea13",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "11.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//41a5624c47397d35c0fc0f22d6fa70979ad7ea13-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//41a5624c47397d35c0fc0f22d6fa70979ad7ea13-build.txt",
        "test": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//41a5624c47397d35c0fc0f22d6fa70979ad7ea13-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "11.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448-build.txt",
        "test": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "50d09996cd207a9009019b67612f32b574814991",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "11.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//50d09996cd207a9009019b67612f32b574814991-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//50d09996cd207a9009019b67612f32b574814991-build.txt",
        "test": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//50d09996cd207a9009019b67612f32b574814991-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "0c63c23c641abb9c046e81ea1a152b8075ff1687",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "12.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//0c63c23c641abb9c046e81ea1a152b8075ff1687-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//0c63c23c641abb9c046e81ea1a152b8075ff1687-build.txt",
        "test": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//0c63c23c641abb9c046e81ea1a152b8075ff1687-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "13.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac-build.txt",
        "test": "logs/pr/11603/13-configs/macos-clang/z3/4.9.1//aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "d9377bedd0ce88f087c1b87f8b00df011c7a3059",
        "settings": {
            "os": "Macos",
            "arch": "armv8",
            "compiler": "apple-clang",
            "compiler.version": "13.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/macos-m1-clang/z3/4.9.1//d9377bedd0ce88f087c1b87f8b00df011c7a3059-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-m1-clang/z3/4.9.1//d9377bedd0ce88f087c1b87f8b00df011c7a3059-build.txt",
        "test": "logs/pr/11603/13-configs/macos-m1-clang/z3/4.9.1//d9377bedd0ce88f087c1b87f8b00df011c7a3059-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "d85c55a68f9eac806974b2d1291e7aaced6197a8",
        "settings": {
            "os": "Macos",
            "arch": "armv8",
            "compiler": "apple-clang",
            "compiler.version": "13.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/macos-m1-clang/z3/4.9.1//d85c55a68f9eac806974b2d1291e7aaced6197a8-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-m1-clang/z3/4.9.1//d85c55a68f9eac806974b2d1291e7aaced6197a8-build.txt",
        "test": "logs/pr/11603/13-configs/macos-m1-clang/z3/4.9.1//d85c55a68f9eac806974b2d1291e7aaced6197a8-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "f0a207bea2bd98178418c38d9ecfc9685f019ea7",
        "settings": {
            "os": "Macos",
            "arch": "armv8",
            "compiler": "apple-clang",
            "compiler.version": "13.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/macos-m1-clang/z3/4.9.1//f0a207bea2bd98178418c38d9ecfc9685f019ea7-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-m1-clang/z3/4.9.1//f0a207bea2bd98178418c38d9ecfc9685f019ea7-build.txt",
        "test": "logs/pr/11603/13-configs/macos-m1-clang/z3/4.9.1//f0a207bea2bd98178418c38d9ecfc9685f019ea7-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "7b729749d88cf7a336017893410cafe0696bdbae",
        "settings": {
            "os": "Macos",
            "arch": "armv8",
            "compiler": "apple-clang",
            "compiler.version": "13.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/macos-m1-clang/z3/4.9.1//7b729749d88cf7a336017893410cafe0696bdbae-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-m1-clang/z3/4.9.1//7b729749d88cf7a336017893410cafe0696bdbae-build.txt",
        "test": "logs/pr/11603/13-configs/macos-m1-clang/z3/4.9.1//7b729749d88cf7a336017893410cafe0696bdbae-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "10de597600ce5d69a3d2ce5f4b90bf8fe3d2b516",
        "settings": {
            "os": "Macos",
            "arch": "armv8",
            "compiler": "apple-clang",
            "compiler.version": "12.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/macos-m1-clang/z3/4.9.1//10de597600ce5d69a3d2ce5f4b90bf8fe3d2b516-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-m1-clang/z3/4.9.1//10de597600ce5d69a3d2ce5f4b90bf8fe3d2b516-build.txt",
        "test": "logs/pr/11603/13-configs/macos-m1-clang/z3/4.9.1//10de597600ce5d69a3d2ce5f4b90bf8fe3d2b516-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "cd03eb51b06a1d14636ae4f4e83dc7cb64f695ff",
        "settings": {
            "os": "Macos",
            "arch": "armv8",
            "compiler": "apple-clang",
            "compiler.version": "12.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/macos-m1-clang/z3/4.9.1//cd03eb51b06a1d14636ae4f4e83dc7cb64f695ff-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-m1-clang/z3/4.9.1//cd03eb51b06a1d14636ae4f4e83dc7cb64f695ff-build.txt",
        "test": "logs/pr/11603/13-configs/macos-m1-clang/z3/4.9.1//cd03eb51b06a1d14636ae4f4e83dc7cb64f695ff-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "b5d4131964a2c7fce61e1c0fe750748d5fc6eb4d",
        "settings": {
            "os": "Macos",
            "arch": "armv8",
            "compiler": "apple-clang",
            "compiler.version": "12.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/macos-m1-clang/z3/4.9.1//b5d4131964a2c7fce61e1c0fe750748d5fc6eb4d-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-m1-clang/z3/4.9.1//b5d4131964a2c7fce61e1c0fe750748d5fc6eb4d-build.txt",
        "test": "logs/pr/11603/13-configs/macos-m1-clang/z3/4.9.1//b5d4131964a2c7fce61e1c0fe750748d5fc6eb4d-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "451a700bd22428991964f77528813c64229c7aa7",
        "settings": {
            "os": "Macos",
            "arch": "armv8",
            "compiler": "apple-clang",
            "compiler.version": "12.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/macos-m1-clang/z3/4.9.1//451a700bd22428991964f77528813c64229c7aa7-profile.txt",
        "build": "logs/pr/11603/13-configs/macos-m1-clang/z3/4.9.1//451a700bd22428991964f77528813c64229c7aa7-build.txt",
        "test": "logs/pr/11603/13-configs/macos-m1-clang/z3/4.9.1//451a700bd22428991964f77528813c64229c7aa7-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "15",
            "build_type": "Release",
            "compiler.runtime": "MT"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "15",
            "build_type": "Release",
            "compiler.runtime": "MD"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "15",
            "build_type": "Debug",
            "compiler.runtime": "MTd"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "15",
            "build_type": "Debug",
            "compiler.runtime": "MDd"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "15",
            "build_type": "Release",
            "compiler.runtime": "MD"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "15",
            "build_type": "Debug",
            "compiler.runtime": "MDd"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "b3006750a22746313fcdf36702b82dabb252165f",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "16",
            "build_type": "Release",
            "compiler.runtime": "MD"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/windows-visual_studio/z3/4.9.1//b3006750a22746313fcdf36702b82dabb252165f-profile.txt",
        "build": "logs/pr/11603/13-configs/windows-visual_studio/z3/4.9.1//b3006750a22746313fcdf36702b82dabb252165f-build.txt",
        "test": "logs/pr/11603/13-configs/windows-visual_studio/z3/4.9.1//b3006750a22746313fcdf36702b82dabb252165f-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "13c7f68a92887c4b3b0a0800fe609c8b2cf7e9c1",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "16",
            "build_type": "Debug",
            "compiler.runtime": "MDd"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/windows-visual_studio/z3/4.9.1//13c7f68a92887c4b3b0a0800fe609c8b2cf7e9c1-profile.txt",
        "build": "logs/pr/11603/13-configs/windows-visual_studio/z3/4.9.1//13c7f68a92887c4b3b0a0800fe609c8b2cf7e9c1-build.txt",
        "test": "logs/pr/11603/13-configs/windows-visual_studio/z3/4.9.1//13c7f68a92887c4b3b0a0800fe609c8b2cf7e9c1-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "192cde0a259fae8608c4c1421a72cbb75bd0f733",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "16",
            "build_type": "Release",
            "compiler.runtime": "MD"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/windows-visual_studio/z3/4.9.1//192cde0a259fae8608c4c1421a72cbb75bd0f733-profile.txt",
        "build": "logs/pr/11603/13-configs/windows-visual_studio/z3/4.9.1//192cde0a259fae8608c4c1421a72cbb75bd0f733-build.txt",
        "test": "logs/pr/11603/13-configs/windows-visual_studio/z3/4.9.1//192cde0a259fae8608c4c1421a72cbb75bd0f733-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "631cda4b61fe319fc1b637a4bfdf404a56bf76b3",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "16",
            "build_type": "Debug",
            "compiler.runtime": "MTd"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/windows-visual_studio/z3/4.9.1//631cda4b61fe319fc1b637a4bfdf404a56bf76b3-profile.txt",
        "build": "logs/pr/11603/13-configs/windows-visual_studio/z3/4.9.1//631cda4b61fe319fc1b637a4bfdf404a56bf76b3-build.txt",
        "test": "logs/pr/11603/13-configs/windows-visual_studio/z3/4.9.1//631cda4b61fe319fc1b637a4bfdf404a56bf76b3-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "402e892b246dbdbbe974fcbbd860b63734359423",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "16",
            "build_type": "Debug",
            "compiler.runtime": "MDd"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/windows-visual_studio/z3/4.9.1//402e892b246dbdbbe974fcbbd860b63734359423-profile.txt",
        "build": "logs/pr/11603/13-configs/windows-visual_studio/z3/4.9.1//402e892b246dbdbbe974fcbbd860b63734359423-build.txt",
        "test": "logs/pr/11603/13-configs/windows-visual_studio/z3/4.9.1//402e892b246dbdbbe974fcbbd860b63734359423-test.txt"
    },
    {
        "reference": "z3/4.9.1",
        "packageID": "ac98a78b4602453686cb2537b9fce0932e2eb823",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "16",
            "build_type": "Release",
            "compiler.runtime": "MT"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/13-configs/windows-visual_studio/z3/4.9.1//ac98a78b4602453686cb2537b9fce0932e2eb823-profile.txt",
        "build": "logs/pr/11603/13-configs/windows-visual_studio/z3/4.9.1//ac98a78b4602453686cb2537b9fce0932e2eb823-build.txt",
        "test": "logs/pr/11603/13-configs/windows-visual_studio/z3/4.9.1//ac98a78b4602453686cb2537b9fce0932e2eb823-test.txt"
    }
]