[
    {
        "reference": "z3/4.10.2",
        "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.10.2",
        "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.10.2",
        "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.10.2",
        "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.10.2",
        "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.10.2",
        "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.10.2",
        "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/18-configs/windows-visual_studio/z3/4.10.2//13c7f68a92887c4b3b0a0800fe609c8b2cf7e9c1-profile.txt",
        "build": "logs/pr/11603/18-configs/windows-visual_studio/z3/4.10.2//13c7f68a92887c4b3b0a0800fe609c8b2cf7e9c1-build.txt",
        "test": "logs/pr/11603/18-configs/windows-visual_studio/z3/4.10.2//13c7f68a92887c4b3b0a0800fe609c8b2cf7e9c1-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "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/18-configs/windows-visual_studio/z3/4.10.2//b3006750a22746313fcdf36702b82dabb252165f-profile.txt",
        "build": "logs/pr/11603/18-configs/windows-visual_studio/z3/4.10.2//b3006750a22746313fcdf36702b82dabb252165f-build.txt",
        "test": "logs/pr/11603/18-configs/windows-visual_studio/z3/4.10.2//b3006750a22746313fcdf36702b82dabb252165f-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "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/18-configs/windows-visual_studio/z3/4.10.2//ac98a78b4602453686cb2537b9fce0932e2eb823-profile.txt",
        "build": "logs/pr/11603/18-configs/windows-visual_studio/z3/4.10.2//ac98a78b4602453686cb2537b9fce0932e2eb823-build.txt",
        "test": "logs/pr/11603/18-configs/windows-visual_studio/z3/4.10.2//ac98a78b4602453686cb2537b9fce0932e2eb823-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "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/18-configs/windows-visual_studio/z3/4.10.2//192cde0a259fae8608c4c1421a72cbb75bd0f733-profile.txt",
        "build": "logs/pr/11603/18-configs/windows-visual_studio/z3/4.10.2//192cde0a259fae8608c4c1421a72cbb75bd0f733-build.txt",
        "test": "logs/pr/11603/18-configs/windows-visual_studio/z3/4.10.2//192cde0a259fae8608c4c1421a72cbb75bd0f733-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "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/18-configs/windows-visual_studio/z3/4.10.2//402e892b246dbdbbe974fcbbd860b63734359423-profile.txt",
        "build": "logs/pr/11603/18-configs/windows-visual_studio/z3/4.10.2//402e892b246dbdbbe974fcbbd860b63734359423-build.txt",
        "test": "logs/pr/11603/18-configs/windows-visual_studio/z3/4.10.2//402e892b246dbdbbe974fcbbd860b63734359423-test.txt"
    },
    {
        "reference": "z3/4.10.2",
        "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/18-configs/windows-visual_studio/z3/4.10.2//631cda4b61fe319fc1b637a4bfdf404a56bf76b3-profile.txt",
        "build": "logs/pr/11603/18-configs/windows-visual_studio/z3/4.10.2//631cda4b61fe319fc1b637a4bfdf404a56bf76b3-build.txt",
        "test": "logs/pr/11603/18-configs/windows-visual_studio/z3/4.10.2//631cda4b61fe319fc1b637a4bfdf404a56bf76b3-test.txt"
    }
]