[
    {
        "reference": "z3/4.8.8",
        "packageID": "0722cc24a81780ed05c55d4fc9849d4ad31955e7",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "7",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//0722cc24a81780ed05c55d4fc9849d4ad31955e7-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//0722cc24a81780ed05c55d4fc9849d4ad31955e7-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//0722cc24a81780ed05c55d4fc9849d4ad31955e7-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "21d6d9a5213b8db9cf8f5d15fc7576b15db693b1",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "7",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//21d6d9a5213b8db9cf8f5d15fc7576b15db693b1-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//21d6d9a5213b8db9cf8f5d15fc7576b15db693b1-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//21d6d9a5213b8db9cf8f5d15fc7576b15db693b1-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "a1f66ef4fc9ba96eae86e4caecea2092500f75c7",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "5",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//a1f66ef4fc9ba96eae86e4caecea2092500f75c7-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//a1f66ef4fc9ba96eae86e4caecea2092500f75c7-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//a1f66ef4fc9ba96eae86e4caecea2092500f75c7-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "27b30f9d665abfa70536be8856b290c906becfda",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "8",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//27b30f9d665abfa70536be8856b290c906becfda-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//27b30f9d665abfa70536be8856b290c906becfda-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//27b30f9d665abfa70536be8856b290c906becfda-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "d1dc2f50a778d1c72ad409e430a0605cff7fc1a8",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "5",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//d1dc2f50a778d1c72ad409e430a0605cff7fc1a8-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//d1dc2f50a778d1c72ad409e430a0605cff7fc1a8-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//d1dc2f50a778d1c72ad409e430a0605cff7fc1a8-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "27c4f43acd1b9a6506b658f41ee70a961e99fed0",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "9",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//27c4f43acd1b9a6506b658f41ee70a961e99fed0-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//27c4f43acd1b9a6506b658f41ee70a961e99fed0-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//27c4f43acd1b9a6506b658f41ee70a961e99fed0-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "ae8ea652b14fd9fbd157562043c049b819a704c0",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "8",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//ae8ea652b14fd9fbd157562043c049b819a704c0-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//ae8ea652b14fd9fbd157562043c049b819a704c0-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//ae8ea652b14fd9fbd157562043c049b819a704c0-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "31024090208d5bef7134587339bb11e302c51b86",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "10",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//31024090208d5bef7134587339bb11e302c51b86-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//31024090208d5bef7134587339bb11e302c51b86-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//31024090208d5bef7134587339bb11e302c51b86-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "12caa927a2c283e549037a62df3a9b8cdd420bd2",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "9",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//12caa927a2c283e549037a62df3a9b8cdd420bd2-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//12caa927a2c283e549037a62df3a9b8cdd420bd2-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//12caa927a2c283e549037a62df3a9b8cdd420bd2-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "1a3267e6eb140532a6bc3efcb0655cfcccc974dd",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "10",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//1a3267e6eb140532a6bc3efcb0655cfcccc974dd-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//1a3267e6eb140532a6bc3efcb0655cfcccc974dd-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//1a3267e6eb140532a6bc3efcb0655cfcccc974dd-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "95c3227cd66d006fafa19153ee3c620d51ca5782",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "7",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//95c3227cd66d006fafa19153ee3c620d51ca5782-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//95c3227cd66d006fafa19153ee3c620d51ca5782-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//95c3227cd66d006fafa19153ee3c620d51ca5782-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "7b08793124f53ad1700b33e746d7b146a864d4eb",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "9",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//7b08793124f53ad1700b33e746d7b146a864d4eb-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//7b08793124f53ad1700b33e746d7b146a864d4eb-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//7b08793124f53ad1700b33e746d7b146a864d4eb-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "76dcd216fa6f99fc008e0ef8bf4f803e06f5f034",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "9",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//76dcd216fa6f99fc008e0ef8bf4f803e06f5f034-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//76dcd216fa6f99fc008e0ef8bf4f803e06f5f034-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//76dcd216fa6f99fc008e0ef8bf4f803e06f5f034-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "d947f3354c4a79199096bcf0585f1c176e5a7e48",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "10",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//d947f3354c4a79199096bcf0585f1c176e5a7e48-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//d947f3354c4a79199096bcf0585f1c176e5a7e48-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//d947f3354c4a79199096bcf0585f1c176e5a7e48-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "fb66bccc916b78efa0f23f6a8286c8724723cee0",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "7",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//fb66bccc916b78efa0f23f6a8286c8724723cee0-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//fb66bccc916b78efa0f23f6a8286c8724723cee0-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//fb66bccc916b78efa0f23f6a8286c8724723cee0-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "f2bb2228133b4903a0ebd1a15cc46393ca3e9f2a",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "10",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//f2bb2228133b4903a0ebd1a15cc46393ca3e9f2a-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//f2bb2228133b4903a0ebd1a15cc46393ca3e9f2a-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//f2bb2228133b4903a0ebd1a15cc46393ca3e9f2a-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "81ca0b2012e06a23a826a1c586e4ae708c900578",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "5",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//81ca0b2012e06a23a826a1c586e4ae708c900578-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//81ca0b2012e06a23a826a1c586e4ae708c900578-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//81ca0b2012e06a23a826a1c586e4ae708c900578-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "3276adbbaf05a2ce122778042abf99707a5ce2f1",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "8",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//3276adbbaf05a2ce122778042abf99707a5ce2f1-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//3276adbbaf05a2ce122778042abf99707a5ce2f1-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//3276adbbaf05a2ce122778042abf99707a5ce2f1-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "434d0522ed306589894a8efed1adf4ce4af68136",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "5",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//434d0522ed306589894a8efed1adf4ce4af68136-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//434d0522ed306589894a8efed1adf4ce4af68136-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//434d0522ed306589894a8efed1adf4ce4af68136-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "abc8b6c9de2df37e7e7433e337eeca55c3ec824b",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "8",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//abc8b6c9de2df37e7e7433e337eeca55c3ec824b-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//abc8b6c9de2df37e7e7433e337eeca55c3ec824b-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//abc8b6c9de2df37e7e7433e337eeca55c3ec824b-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "5d7dd9e507fdc8aa05aebb296cd2e6e1c5ab5ef5",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "9",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//5d7dd9e507fdc8aa05aebb296cd2e6e1c5ab5ef5-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//5d7dd9e507fdc8aa05aebb296cd2e6e1c5ab5ef5-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//5d7dd9e507fdc8aa05aebb296cd2e6e1c5ab5ef5-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "d2a03811837e8a71522e4a37ae00040155e54e9e",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "10",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//d2a03811837e8a71522e4a37ae00040155e54e9e-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//d2a03811837e8a71522e4a37ae00040155e54e9e-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//d2a03811837e8a71522e4a37ae00040155e54e9e-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "e9f3b4984df383ef98c9cfd705671556a318c947",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "8",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//e9f3b4984df383ef98c9cfd705671556a318c947-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//e9f3b4984df383ef98c9cfd705671556a318c947-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//e9f3b4984df383ef98c9cfd705671556a318c947-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "52d5cc9dfb346927426deb58bb2ed163528e5783",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "8",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//52d5cc9dfb346927426deb58bb2ed163528e5783-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//52d5cc9dfb346927426deb58bb2ed163528e5783-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//52d5cc9dfb346927426deb58bb2ed163528e5783-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "15e105f44ace4f203ae60adecc1c47e9360cd4be",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "5",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//15e105f44ace4f203ae60adecc1c47e9360cd4be-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//15e105f44ace4f203ae60adecc1c47e9360cd4be-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//15e105f44ace4f203ae60adecc1c47e9360cd4be-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "e0edd23c43c1d94b3fe1545e862dcdd12ea601b8",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "5",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//e0edd23c43c1d94b3fe1545e862dcdd12ea601b8-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//e0edd23c43c1d94b3fe1545e862dcdd12ea601b8-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//e0edd23c43c1d94b3fe1545e862dcdd12ea601b8-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "299d396e814f58dd2caf3ea9a5f728bf397ab813",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "9",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//299d396e814f58dd2caf3ea9a5f728bf397ab813-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//299d396e814f58dd2caf3ea9a5f728bf397ab813-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//299d396e814f58dd2caf3ea9a5f728bf397ab813-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "08972940f83b75053728ae8aa378f6eb0726a7e0",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "7",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//08972940f83b75053728ae8aa378f6eb0726a7e0-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//08972940f83b75053728ae8aa378f6eb0726a7e0-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//08972940f83b75053728ae8aa378f6eb0726a7e0-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "21cb4ad5aa2b1400749979c6d0d995d48a58efa4",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "9",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//21cb4ad5aa2b1400749979c6d0d995d48a58efa4-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//21cb4ad5aa2b1400749979c6d0d995d48a58efa4-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//21cb4ad5aa2b1400749979c6d0d995d48a58efa4-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "24134d084232aef630f3a179e920cd4c170710a2",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "9",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//24134d084232aef630f3a179e920cd4c170710a2-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//24134d084232aef630f3a179e920cd4c170710a2-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//24134d084232aef630f3a179e920cd4c170710a2-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "33493cb71086e315124f0ea0b3f4a791e29655f6",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "5",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//33493cb71086e315124f0ea0b3f4a791e29655f6-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//33493cb71086e315124f0ea0b3f4a791e29655f6-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//33493cb71086e315124f0ea0b3f4a791e29655f6-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "a1014f551fd713551cac120ab054d57a75e2a6fb",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "5",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//a1014f551fd713551cac120ab054d57a75e2a6fb-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//a1014f551fd713551cac120ab054d57a75e2a6fb-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//a1014f551fd713551cac120ab054d57a75e2a6fb-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "56416502a8ef78d5fd03df101ec59c18b3942ecb",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "7",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//56416502a8ef78d5fd03df101ec59c18b3942ecb-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//56416502a8ef78d5fd03df101ec59c18b3942ecb-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//56416502a8ef78d5fd03df101ec59c18b3942ecb-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "541ffe337ee80db2703f2ef0167ebecc273e93d0",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "7",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//541ffe337ee80db2703f2ef0167ebecc273e93d0-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//541ffe337ee80db2703f2ef0167ebecc273e93d0-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//541ffe337ee80db2703f2ef0167ebecc273e93d0-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "0a0a017e452c0239be4dc3896ffc2fd18a4e9c16",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "10",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//0a0a017e452c0239be4dc3896ffc2fd18a4e9c16-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//0a0a017e452c0239be4dc3896ffc2fd18a4e9c16-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//0a0a017e452c0239be4dc3896ffc2fd18a4e9c16-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "6976159242babb35e9b79630b5f1b23d169cdb9e",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "8",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//6976159242babb35e9b79630b5f1b23d169cdb9e-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//6976159242babb35e9b79630b5f1b23d169cdb9e-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//6976159242babb35e9b79630b5f1b23d169cdb9e-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "729a3dfa3984f7e46b610a7f319ed25eddf7d89b",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "7",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//729a3dfa3984f7e46b610a7f319ed25eddf7d89b-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//729a3dfa3984f7e46b610a7f319ed25eddf7d89b-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//729a3dfa3984f7e46b610a7f319ed25eddf7d89b-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "b3014cd8e92a67eee3529480401709c7e0f66b5c",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "10",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//b3014cd8e92a67eee3529480401709c7e0f66b5c-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//b3014cd8e92a67eee3529480401709c7e0f66b5c-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//b3014cd8e92a67eee3529480401709c7e0f66b5c-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "6d7327105695a92d4c0ac2ccbd088164f1c3ba42",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "10",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//6d7327105695a92d4c0ac2ccbd088164f1c3ba42-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//6d7327105695a92d4c0ac2ccbd088164f1c3ba42-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//6d7327105695a92d4c0ac2ccbd088164f1c3ba42-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "5b5df2a3c97a6abccfa2782b71120805b8e675c1",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "gcc",
            "compiler.libcxx": "libstdc++11",
            "compiler.version": "8",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-gcc/z3/4.8.8//5b5df2a3c97a6abccfa2782b71120805b8e675c1-profile.txt",
        "build": "logs/pr/9132/1-linux-gcc/z3/4.8.8//5b5df2a3c97a6abccfa2782b71120805b8e675c1-build.txt",
        "test": "logs/pr/9132/1-linux-gcc/z3/4.8.8//5b5df2a3c97a6abccfa2782b71120805b8e675c1-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "1d9ee85b31acafcf88a3fc248bee9ff70e997727",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-clang/z3/4.8.8//1d9ee85b31acafcf88a3fc248bee9ff70e997727-profile.txt",
        "build": "logs/pr/9132/1-linux-clang/z3/4.8.8//1d9ee85b31acafcf88a3fc248bee9ff70e997727-build.txt",
        "test": "logs/pr/9132/1-linux-clang/z3/4.8.8//1d9ee85b31acafcf88a3fc248bee9ff70e997727-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "e418562b6d0476458f7f5f60c2e4df37ff846c3d",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-clang/z3/4.8.8//e418562b6d0476458f7f5f60c2e4df37ff846c3d-profile.txt",
        "build": "logs/pr/9132/1-linux-clang/z3/4.8.8//e418562b6d0476458f7f5f60c2e4df37ff846c3d-build.txt",
        "test": "logs/pr/9132/1-linux-clang/z3/4.8.8//e418562b6d0476458f7f5f60c2e4df37ff846c3d-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "14051a6910d1cac2f3539f5b453c9270bea91d8d",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-clang/z3/4.8.8//14051a6910d1cac2f3539f5b453c9270bea91d8d-profile.txt",
        "build": "logs/pr/9132/1-linux-clang/z3/4.8.8//14051a6910d1cac2f3539f5b453c9270bea91d8d-build.txt",
        "test": "logs/pr/9132/1-linux-clang/z3/4.8.8//14051a6910d1cac2f3539f5b453c9270bea91d8d-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "4eee6550ca19601c04080f29940b981094804dd4",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-clang/z3/4.8.8//4eee6550ca19601c04080f29940b981094804dd4-profile.txt",
        "build": "logs/pr/9132/1-linux-clang/z3/4.8.8//4eee6550ca19601c04080f29940b981094804dd4-build.txt",
        "test": "logs/pr/9132/1-linux-clang/z3/4.8.8//4eee6550ca19601c04080f29940b981094804dd4-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "2d704c503ddee653e962e8980d8eb2683e4d44e4",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libstdc++",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-clang/z3/4.8.8//2d704c503ddee653e962e8980d8eb2683e4d44e4-profile.txt",
        "build": "logs/pr/9132/1-linux-clang/z3/4.8.8//2d704c503ddee653e962e8980d8eb2683e4d44e4-build.txt",
        "test": "logs/pr/9132/1-linux-clang/z3/4.8.8//2d704c503ddee653e962e8980d8eb2683e4d44e4-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "58dbc817ced7344d7c58cbf9a59a923f7df193a7",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-clang/z3/4.8.8//58dbc817ced7344d7c58cbf9a59a923f7df193a7-profile.txt",
        "build": "logs/pr/9132/1-linux-clang/z3/4.8.8//58dbc817ced7344d7c58cbf9a59a923f7df193a7-build.txt",
        "test": "logs/pr/9132/1-linux-clang/z3/4.8.8//58dbc817ced7344d7c58cbf9a59a923f7df193a7-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "ccf5d1f58537134bb420e7a26035bd6a6e86f547",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "11",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-clang/z3/4.8.8//ccf5d1f58537134bb420e7a26035bd6a6e86f547-profile.txt",
        "build": "logs/pr/9132/1-linux-clang/z3/4.8.8//ccf5d1f58537134bb420e7a26035bd6a6e86f547-build.txt",
        "test": "logs/pr/9132/1-linux-clang/z3/4.8.8//ccf5d1f58537134bb420e7a26035bd6a6e86f547-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "691eba4f3baf6f4e3d19e7ab4eb8b26d5853b9c2",
        "settings": {
            "os": "Linux",
            "arch": "x86_64",
            "compiler": "clang",
            "compiler.libcxx": "libc++",
            "compiler.version": "11",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-linux-clang/z3/4.8.8//691eba4f3baf6f4e3d19e7ab4eb8b26d5853b9c2-profile.txt",
        "build": "logs/pr/9132/1-linux-clang/z3/4.8.8//691eba4f3baf6f4e3d19e7ab4eb8b26d5853b9c2-build.txt",
        "test": "logs/pr/9132/1-linux-clang/z3/4.8.8//691eba4f3baf6f4e3d19e7ab4eb8b26d5853b9c2-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "22e38bfe3cd335485f875a9b35074c9098db9a74",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "11.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//22e38bfe3cd335485f875a9b35074c9098db9a74-profile.txt",
        "build": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//22e38bfe3cd335485f875a9b35074c9098db9a74-build.txt",
        "test": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//22e38bfe3cd335485f875a9b35074c9098db9a74-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "4d2dff9bc12d7bd5922431a6ee8d2ca6e9201a9e",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "11.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//4d2dff9bc12d7bd5922431a6ee8d2ca6e9201a9e-profile.txt",
        "build": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//4d2dff9bc12d7bd5922431a6ee8d2ca6e9201a9e-build.txt",
        "test": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//4d2dff9bc12d7bd5922431a6ee8d2ca6e9201a9e-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "11f6fadf14d532a5698bd6bae35740e2ad12f44b",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "11.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//11f6fadf14d532a5698bd6bae35740e2ad12f44b-profile.txt",
        "build": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//11f6fadf14d532a5698bd6bae35740e2ad12f44b-build.txt",
        "test": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//11f6fadf14d532a5698bd6bae35740e2ad12f44b-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "1bf739fb08d85bdb440b440daf67625868f47ddf",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "11.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//1bf739fb08d85bdb440b440daf67625868f47ddf-profile.txt",
        "build": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//1bf739fb08d85bdb440b440daf67625868f47ddf-build.txt",
        "test": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//1bf739fb08d85bdb440b440daf67625868f47ddf-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "e91dc8c4452a050f48cbf989a9eb7b3726c18dc5",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "12.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//e91dc8c4452a050f48cbf989a9eb7b3726c18dc5-profile.txt",
        "build": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//e91dc8c4452a050f48cbf989a9eb7b3726c18dc5-build.txt",
        "test": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//e91dc8c4452a050f48cbf989a9eb7b3726c18dc5-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "51329b70c1d00e11b6ce2e68c60ae17a1b0151d9",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "12.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//51329b70c1d00e11b6ce2e68c60ae17a1b0151d9-profile.txt",
        "build": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//51329b70c1d00e11b6ce2e68c60ae17a1b0151d9-build.txt",
        "test": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//51329b70c1d00e11b6ce2e68c60ae17a1b0151d9-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "349228eaa3d2d63be37219991267f4f2b6be246d",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "12.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//349228eaa3d2d63be37219991267f4f2b6be246d-profile.txt",
        "build": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//349228eaa3d2d63be37219991267f4f2b6be246d-build.txt",
        "test": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//349228eaa3d2d63be37219991267f4f2b6be246d-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "b551eadff02a4504a21c6c17300a08c3b9df7165",
        "settings": {
            "os": "Macos",
            "arch": "x86_64",
            "compiler": "apple-clang",
            "compiler.version": "12.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "BUILT + TEST_OK",
        "profile": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//b551eadff02a4504a21c6c17300a08c3b9df7165-profile.txt",
        "build": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//b551eadff02a4504a21c6c17300a08c3b9df7165-build.txt",
        "test": "logs/pr/9132/1-configs/macos-clang/z3/4.8.8//b551eadff02a4504a21c6c17300a08c3b9df7165-test.txt"
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Macos",
            "arch": "armv8",
            "compiler": "apple-clang",
            "compiler.version": "12.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Macos",
            "arch": "armv8",
            "compiler": "apple-clang",
            "compiler.version": "12.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "False"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Macos",
            "arch": "armv8",
            "compiler": "apple-clang",
            "compiler.version": "12.0",
            "compiler.libcxx": "libc++",
            "build_type": "Release"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "reference": "z3/4.8.8",
        "packageID": "INVALID_CONFIGURATION",
        "settings": {
            "os": "Macos",
            "arch": "armv8",
            "compiler": "apple-clang",
            "compiler.version": "12.0",
            "compiler.libcxx": "libc++",
            "build_type": "Debug"
        },
        "options": {
            "z3:shared": "True"
        },
        "status": "INVALID_CONFIGURATION",
        "profile": null,
        "build": null,
        "test": null
    },
    {
        "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"
    }
]