[
    {
        "reference": "z3/4.8.8",
        "packageID": "b3e0ab1e53399163c1a16f2e12858e263b2e9e55",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "5",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UPSTREAM + TEST_OK",
        "profile": "logs/pr/11603/6-linux-gcc/z3/4.8.8//b3e0ab1e53399163c1a16f2e12858e263b2e9e55-profile.txt",
        "build": null,
        "test": "logs/pr/11603/6-linux-gcc/z3/4.8.8//b3e0ab1e53399163c1a16f2e12858e263b2e9e55-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "e3be329e28d312100592330e250479089b052375",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "7",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UPSTREAM",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "3257d584b0af944fc216ad989b3b95cdc25ce32d",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "5",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "b90a1c8bbd71ccaaecb3146f98490d2209fdb7dd",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "7",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "9c494c594263fe7bdcb4db7d83ceaca52773732e",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "8",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "75dd50f74357479a0af74533fcab441091704ecd",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "8",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "cf329fc1fc2c3bde7d7951d11799ced26b599bfd",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "9",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "4de9e3cb52730cd3acfac241ff9b70379c023c6c",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "9",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "c8d0ed8c11331b7fa0c51021c0502bb3f2534fef",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "4c5e57c81a96cab54e50e0ce7736848774c05364",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "5",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "f367bb6d93a470b4881a1913cef4f8d4a1596319",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "5",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "f475698266da8790643ab610fa2ad4943f292e0e",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "7",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "f072f07197137a60d705c9c25a9c6a1e8a067ef8",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "7",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "589e7d6d89c8bb3796d166ab7ee4e3f98482dc46",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "8",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "6943796291071a8d0e31fa73470765b7f6dd2371",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "9",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "39cee2ce3c1db9536b05955562a9e6b2ef69f164",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "9",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "421b9d3353d6cb8b52da524c5a929ee571b4a0fa",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "10",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": "logs/pr/11603/6-linux-gcc/z3/4.8.8//421b9d3353d6cb8b52da524c5a929ee571b4a0fa-profile.txt",
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "333865fc1e20456d240b02126c76f7acb28e2afc",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "8",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": "logs/pr/11603/6-linux-gcc/z3/4.8.8//333865fc1e20456d240b02126c76f7acb28e2afc-profile.txt",
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "9caee0f3066befed0733f3e66e10b20a797c9d7a",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "10",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": "logs/pr/11603/6-linux-gcc/z3/4.8.8//9caee0f3066befed0733f3e66e10b20a797c9d7a-profile.txt",
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "4109136d7780a36346fe172741e3cfcfc3b79239",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "10",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": "logs/pr/11603/6-linux-gcc/z3/4.8.8//4109136d7780a36346fe172741e3cfcfc3b79239-profile.txt",
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "5d6b6de586fd459e2e041bc0f16f4386676aaeac",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": "logs/pr/11603/6-linux-gcc/z3/4.8.8//5d6b6de586fd459e2e041bc0f16f4386676aaeac-profile.txt",
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "e1741de4bdcda9ebb6f1a0185824aa1ab3eb6163",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "10",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "UNKNOWN",
        "profile": "logs/pr/11603/6-linux-gcc/z3/4.8.8//e1741de4bdcda9ebb6f1a0185824aa1ab3eb6163-profile.txt",
        "build": null,
        "test": null
    }
]