[
    {
        "reference": "z3/4.12.2@#1656786b1e9d82e0a0d091fd3b72fb07",
        "packageID": "1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a",
        "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/21642/8-windows-visual_studio/z3/4.12.2//1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a-profile.txt",
        "build": "logs/pr/21642/8-windows-visual_studio/z3/4.12.2//1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a-build.txt",
        "test": "logs/pr/21642/8-windows-visual_studio/z3/4.12.2//1e6ad30a5bb64adfc3e5cedaf97852c9ecb9db6a-test.txt"
    },
    {
        "reference": "z3/4.12.2@#1656786b1e9d82e0a0d091fd3b72fb07",
        "packageID": "bb4153b05de953b0a783d248168db283ba1389b1",
        "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/21642/8-windows-visual_studio/z3/4.12.2//bb4153b05de953b0a783d248168db283ba1389b1-profile.txt",
        "build": "logs/pr/21642/8-windows-visual_studio/z3/4.12.2//bb4153b05de953b0a783d248168db283ba1389b1-build.txt",
        "test": "logs/pr/21642/8-windows-visual_studio/z3/4.12.2//bb4153b05de953b0a783d248168db283ba1389b1-test.txt"
    },
    {
        "reference": "z3/4.12.2@#1656786b1e9d82e0a0d091fd3b72fb07",
        "packageID": "0a9414d54795053d6a1484a7ad251b31c6fb0f13",
        "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/21642/8-windows-visual_studio/z3/4.12.2//0a9414d54795053d6a1484a7ad251b31c6fb0f13-profile.txt",
        "build": "logs/pr/21642/8-windows-visual_studio/z3/4.12.2//0a9414d54795053d6a1484a7ad251b31c6fb0f13-build.txt",
        "test": "logs/pr/21642/8-windows-visual_studio/z3/4.12.2//0a9414d54795053d6a1484a7ad251b31c6fb0f13-test.txt"
    },
    {
        "reference": "z3/4.12.2@#1656786b1e9d82e0a0d091fd3b72fb07",
        "packageID": "5819e59f560b13ead3e514c6270177973b66c9b0",
        "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/21642/8-windows-visual_studio/z3/4.12.2//5819e59f560b13ead3e514c6270177973b66c9b0-profile.txt",
        "build": "logs/pr/21642/8-windows-visual_studio/z3/4.12.2//5819e59f560b13ead3e514c6270177973b66c9b0-build.txt",
        "test": "logs/pr/21642/8-windows-visual_studio/z3/4.12.2//5819e59f560b13ead3e514c6270177973b66c9b0-test.txt"
    }
]