[
    {
        "reference": "z3/4.8.8",
        "packageID": "5bf70375107a405bdb3cdbe71bd2888c28b10849",
        "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/9132/1-configs/windows-visual_studio/z3/4.8.8//5bf70375107a405bdb3cdbe71bd2888c28b10849-profile.txt",
        "build": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//5bf70375107a405bdb3cdbe71bd2888c28b10849-build.txt",
        "test": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//5bf70375107a405bdb3cdbe71bd2888c28b10849-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "b51808878eb362c374c9fa7e9a454e6166450b72",
        "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/9132/1-configs/windows-visual_studio/z3/4.8.8//b51808878eb362c374c9fa7e9a454e6166450b72-profile.txt",
        "build": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//b51808878eb362c374c9fa7e9a454e6166450b72-build.txt",
        "test": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//b51808878eb362c374c9fa7e9a454e6166450b72-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "a83c68b423e9097fd11a270a60228bc88ca61ef9",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "16",
            "build_type": "Release",
            "compiler.runtime": "MT"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//a83c68b423e9097fd11a270a60228bc88ca61ef9-profile.txt",
        "build": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//a83c68b423e9097fd11a270a60228bc88ca61ef9-build.txt",
        "test": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//a83c68b423e9097fd11a270a60228bc88ca61ef9-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "52af5476dcd6f9047cf4551bd7168d0e820b67e0",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "15",
            "build_type": "Release",
            "compiler.runtime": "MT"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//52af5476dcd6f9047cf4551bd7168d0e820b67e0-profile.txt",
        "build": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//52af5476dcd6f9047cf4551bd7168d0e820b67e0-build.txt",
        "test": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//52af5476dcd6f9047cf4551bd7168d0e820b67e0-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "ac8b833c45d9d1b30eaf8b88e0284e12c2bb87c7",
        "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/9132/1-configs/windows-visual_studio/z3/4.8.8//ac8b833c45d9d1b30eaf8b88e0284e12c2bb87c7-profile.txt",
        "build": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//ac8b833c45d9d1b30eaf8b88e0284e12c2bb87c7-build.txt",
        "test": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//ac8b833c45d9d1b30eaf8b88e0284e12c2bb87c7-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "43f2186affed7c85f064fa3cc548036fcc2d4b81",
        "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/9132/1-configs/windows-visual_studio/z3/4.8.8//43f2186affed7c85f064fa3cc548036fcc2d4b81-profile.txt",
        "build": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//43f2186affed7c85f064fa3cc548036fcc2d4b81-build.txt",
        "test": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//43f2186affed7c85f064fa3cc548036fcc2d4b81-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "92571704ce124b870446a186999ab62a7908032c",
        "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/9132/1-configs/windows-visual_studio/z3/4.8.8//92571704ce124b870446a186999ab62a7908032c-profile.txt",
        "build": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//92571704ce124b870446a186999ab62a7908032c-build.txt",
        "test": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//92571704ce124b870446a186999ab62a7908032c-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "7f96e7a058a212364b4e7862b1d0f8abe0f2c029",
        "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/9132/1-configs/windows-visual_studio/z3/4.8.8//7f96e7a058a212364b4e7862b1d0f8abe0f2c029-profile.txt",
        "build": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//7f96e7a058a212364b4e7862b1d0f8abe0f2c029-build.txt",
        "test": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//7f96e7a058a212364b4e7862b1d0f8abe0f2c029-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "bd23553fc6de07292b570f3c0bf0a03f57612b9f",
        "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/9132/1-configs/windows-visual_studio/z3/4.8.8//bd23553fc6de07292b570f3c0bf0a03f57612b9f-profile.txt",
        "build": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//bd23553fc6de07292b570f3c0bf0a03f57612b9f-build.txt",
        "test": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//bd23553fc6de07292b570f3c0bf0a03f57612b9f-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "aa81af972a4ec2670427a27126fdc1ae115bf698",
        "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/9132/1-configs/windows-visual_studio/z3/4.8.8//aa81af972a4ec2670427a27126fdc1ae115bf698-profile.txt",
        "build": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//aa81af972a4ec2670427a27126fdc1ae115bf698-build.txt",
        "test": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//aa81af972a4ec2670427a27126fdc1ae115bf698-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "34f54add2cfce6001e0e1c7b07d75b5fe43eab5d",
        "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/9132/1-configs/windows-visual_studio/z3/4.8.8//34f54add2cfce6001e0e1c7b07d75b5fe43eab5d-profile.txt",
        "build": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//34f54add2cfce6001e0e1c7b07d75b5fe43eab5d-build.txt",
        "test": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//34f54add2cfce6001e0e1c7b07d75b5fe43eab5d-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "1611be97a0213304112adeb242802eb960590deb",
        "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/9132/1-configs/windows-visual_studio/z3/4.8.8//1611be97a0213304112adeb242802eb960590deb-profile.txt",
        "build": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//1611be97a0213304112adeb242802eb960590deb-build.txt",
        "test": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//1611be97a0213304112adeb242802eb960590deb-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "bb2a24f495667be26d60b95bb18631a849fbe08b",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "16",
            "build_type": "Debug",
            "compiler.runtime": "MTd"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//bb2a24f495667be26d60b95bb18631a849fbe08b-profile.txt",
        "build": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//bb2a24f495667be26d60b95bb18631a849fbe08b-build.txt",
        "test": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//bb2a24f495667be26d60b95bb18631a849fbe08b-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "b6b2723929a7b12f9e44ea8dbecb68ba5aeaed19",
        "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/9132/1-configs/windows-visual_studio/z3/4.8.8//b6b2723929a7b12f9e44ea8dbecb68ba5aeaed19-profile.txt",
        "build": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//b6b2723929a7b12f9e44ea8dbecb68ba5aeaed19-build.txt",
        "test": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//b6b2723929a7b12f9e44ea8dbecb68ba5aeaed19-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "ba5c8cb6999d29b3a710c47640652a8230bde438",
        "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/9132/1-configs/windows-visual_studio/z3/4.8.8//ba5c8cb6999d29b3a710c47640652a8230bde438-profile.txt",
        "build": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//ba5c8cb6999d29b3a710c47640652a8230bde438-build.txt",
        "test": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//ba5c8cb6999d29b3a710c47640652a8230bde438-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "e81e52d77afbf929c916be5c42e83aee980e9fdb",
        "settings": {
            "os": "Windows",
            "arch": "x86_64",
            "compiler": "Visual Studio",
            "compiler.version": "15",
            "build_type": "Debug",
            "compiler.runtime": "MTd"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//e81e52d77afbf929c916be5c42e83aee980e9fdb-profile.txt",
        "build": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//e81e52d77afbf929c916be5c42e83aee980e9fdb-build.txt",
        "test": "logs/pr/9132/1-configs/windows-visual_studio/z3/4.8.8//e81e52d77afbf929c916be5c42e83aee980e9fdb-test.txt"
    }
]