[
    {
        "reference": "z3/4.8.8",
        "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/20-configs/windows-visual_studio/z3/4.8.8//192cde0a259fae8608c4c1421a72cbb75bd0f733-profile.txt",
        "build": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//192cde0a259fae8608c4c1421a72cbb75bd0f733-build.txt",
        "test": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//192cde0a259fae8608c4c1421a72cbb75bd0f733-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "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/20-configs/windows-visual_studio/z3/4.8.8//b3006750a22746313fcdf36702b82dabb252165f-profile.txt",
        "build": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//b3006750a22746313fcdf36702b82dabb252165f-build.txt",
        "test": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//b3006750a22746313fcdf36702b82dabb252165f-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "0cc36bad3361931e3810a19df85b50e9fecf63a6",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "15",
            "build_type": "Release",
            "compiler.runtime": "MT"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//0cc36bad3361931e3810a19df85b50e9fecf63a6-profile.txt",
        "build": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//0cc36bad3361931e3810a19df85b50e9fecf63a6-build.txt",
        "test": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//0cc36bad3361931e3810a19df85b50e9fecf63a6-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "e7d4cc2730b5d152457a9c30e5847a6e906f5d5c",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "15",
            "build_type": "Release",
            "compiler.runtime": "MD"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//e7d4cc2730b5d152457a9c30e5847a6e906f5d5c-profile.txt",
        "build": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//e7d4cc2730b5d152457a9c30e5847a6e906f5d5c-build.txt",
        "test": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//e7d4cc2730b5d152457a9c30e5847a6e906f5d5c-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "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/20-configs/windows-visual_studio/z3/4.8.8//ac98a78b4602453686cb2537b9fce0932e2eb823-profile.txt",
        "build": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//ac98a78b4602453686cb2537b9fce0932e2eb823-build.txt",
        "test": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//ac98a78b4602453686cb2537b9fce0932e2eb823-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "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/20-configs/windows-visual_studio/z3/4.8.8//13c7f68a92887c4b3b0a0800fe609c8b2cf7e9c1-profile.txt",
        "build": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//13c7f68a92887c4b3b0a0800fe609c8b2cf7e9c1-build.txt",
        "test": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//13c7f68a92887c4b3b0a0800fe609c8b2cf7e9c1-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "16178d2fdee102d610ef8a896115f7bdcecd8af2",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "15",
            "build_type": "Debug",
            "compiler.runtime": "MTd"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//16178d2fdee102d610ef8a896115f7bdcecd8af2-profile.txt",
        "build": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//16178d2fdee102d610ef8a896115f7bdcecd8af2-build.txt",
        "test": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//16178d2fdee102d610ef8a896115f7bdcecd8af2-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "2afc5ee54a44c3fd6c78a78c5920a28c14b56f8e",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "15",
            "build_type": "Release",
            "compiler.runtime": "MD"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//2afc5ee54a44c3fd6c78a78c5920a28c14b56f8e-profile.txt",
        "build": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//2afc5ee54a44c3fd6c78a78c5920a28c14b56f8e-build.txt",
        "test": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//2afc5ee54a44c3fd6c78a78c5920a28c14b56f8e-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "ce91a9de890ddcafad1fdf9a5b24592e9438c737",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "15",
            "build_type": "Debug",
            "compiler.runtime": "MDd"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//ce91a9de890ddcafad1fdf9a5b24592e9438c737-profile.txt",
        "build": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//ce91a9de890ddcafad1fdf9a5b24592e9438c737-build.txt",
        "test": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//ce91a9de890ddcafad1fdf9a5b24592e9438c737-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "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/20-configs/windows-visual_studio/z3/4.8.8//631cda4b61fe319fc1b637a4bfdf404a56bf76b3-profile.txt",
        "build": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//631cda4b61fe319fc1b637a4bfdf404a56bf76b3-build.txt",
        "test": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//631cda4b61fe319fc1b637a4bfdf404a56bf76b3-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "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/20-configs/windows-visual_studio/z3/4.8.8//402e892b246dbdbbe974fcbbd860b63734359423-profile.txt",
        "build": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//402e892b246dbdbbe974fcbbd860b63734359423-build.txt",
        "test": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//402e892b246dbdbbe974fcbbd860b63734359423-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "262558a23e064c30603b62f3fb28c4624a7fdfcd",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "15",
            "build_type": "Debug",
            "compiler.runtime": "MDd"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//262558a23e064c30603b62f3fb28c4624a7fdfcd-profile.txt",
        "build": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//262558a23e064c30603b62f3fb28c4624a7fdfcd-build.txt",
        "test": "logs/pr/11603/20-configs/windows-visual_studio/z3/4.8.8//262558a23e064c30603b62f3fb28c4624a7fdfcd-test.txt"
    }
]