\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.090000 0 0.109137 0.000000 0.034577 0.000000 \\ connectedbase 0.000000 70 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 70 BLOCK 1 BBC10001 BBC10002 BBC10003 BBC20001 BBC20002 BBC20003 BBC30001 BBC30002 BBC30003 BBR10001 BBR10002 BBR20001 BBR20002 BBR30001 BBR30002 CBR20006 CBR30006 CIT20001 CIT30001 MBL10001 MBL10002 MBL20001 MBL20002 MBL30001 MBL30002 MBU10001 MBU10003 MBU20001 MBU20003 MBU30001 MBU30003 MOU10002 MOU20002 MOU30002 MPL10001 MPL10003 MPL20001 MPL20003 MPL30001 MPL30003 MPU10001 MPU10002 MPU20001 MPU20002 MPU30001 MPU30002 BLOCK 2 BBC10004 BBC20004 BBC30004 BBR10003 BBR10004 BBR20003 BBR20004 BBR30003 BBR30004 CBR20001 CBR30001 CIL10001 CIL10080 CIL10081 CIL2000B CIL2000C CIL200B1 CIL30043 CIL30044 CIL300B9 MBL10004 MBL20004 MBL30004 MOU10004 MOU20004 MOU30004 MPU10004 MPU20004 MPU30004 SOS20004 SOS30004 BLOCK 3 BBC10005 BBC20005 BBC30005 BBR10005 BBR10006 BBR20005 BBR20006 BBR30005 BBR30006 CBR20002 CBR30002 CIL10002 CIL10082 CIL10083 CIL2000D CIL2000E CIL200B2 CIL30045 CIL30046 CIL300BA MBL10005 MBL20005 MBL30005 MOU10005 MOU20005 MOU30005 MPU10005 MPU20005 MPU30005 SOS20005 SOS30005 BLOCK 4 BBC10008 BBC20006 BBC20007 BBC20008 BBC30006 BBC30007 BBC30008 BBR10007 BBR10008 BBR20007 BBR20008 BBR30007 BBR30008 CBR20003 CBR30003 CIL10003 CIL1007B CIL1007C CIL2000F CIL20010 CIL20011 CIL20012 CIL20013 CIL30047 CIL30048 CIL30049 CIL3004A CIL3004B MBL20006 MBL20007 MBL30006 MBL30007 MBU10008 MBU20006 MBU20008 MBU30006 MBU30008 MOU20007 MOU30007 MPL10008 MPL20006 MPL20008 MPL30006 MPL30008 MPU20006 MPU20007 MPU30006 MPU30007 SOS20001 SOS30001 BLOCK 5 BBC10009 BBC1000A BBC1000B BBC20009 BBC2000A BBC2000B BBC30009 BBC3000A BBC3000B BBR10009 BBR1000A BBR20009 BBR2000A BBR30009 BBR3000A CBR20004 CBR30004 CIL10004 CIL1007D CIL1009A CIL100A2 CIL100AB CIL20014 CIL20015 CIL20016 CIL20017 CIL20018 CIL3004C CIL3004D CIL3004E CIL3004F CIL30050 MBL10009 MBL1000A MBL20009 MBL2000A MBL30009 MBL3000A MBU10009 MBU1000B MBU20009 MBU2000B MBU30009 MBU3000B MOU1000A MOU2000A MOU3000A MPL10009 MPL1000B MPL20009 MPL2000B MPL30009 MPL3000B MPU10009 MPU1000A MPU20009 MPU2000A MPU30009 MPU3000A SOS10002 SOS20002 SOS30002 BLOCK 6 BBC1000C BBC1000D BBC1000E BBC2000C BBC2000D BBC2000E BBC3000C BBC3000D BBC3000E BBR1000B BBR1000C BBR2000B BBR2000C BBR3000B BBR3000C CBR20005 CBR30005 CIL1007E CIL1007F CIL1009B CIL100A3 CIL100AC CIL20019 CIL2001A CIL2001B CIL2001C CIL2001D CIL30051 CIL30052 CIL30053 CIL30054 CIL30055 MBL1000C MBL1000D MBL2000C MBL2000D MBL3000C MBL3000D MBU1000C MBU1000E MBU2000C MBU2000E MBU3000C MBU3000E MOU1000D MOU2000D MOU3000D MPL1000C MPL1000E MPL2000C MPL2000E MPL3000C MPL3000E MPU1000C MPU1000D MPU2000C MPU2000D MPU3000C MPU3000D SOS10003 SOS20003 SOS30003 BLOCK 7 BBC10010 BBC10011 BBC2000F BBC20010 BBC30010 BBR1000D BBR1000E BBR2000D BBR2000E BBR3000D BBR3000E BOC20004 CBR20009 CBR30009 CDM20001 CDM20002 CDM20004 CDM20005 CDM20006 CIT20002 CIT30002 CPT20001 CPT20002 CPT20003 CPT20004 CPT20005 CPT20006 CPT20007 CPT20008 CPT20009 CPT2000A CPT2000B CPT2000C CPT2000D CPT2000E CPT2000F CPT20010 CPT20011 CUK20004 CUK20005 CUK20006 CUK20007 MBL1000F MBL10010 MBL2000F MBL20010 MBL3000F MBL30010 MBU1000F MBU10011 MBU2000F MBU20011 MBU3000F MBU30011 MOU10010 MOU20010 MOU30010 MPL1000F MPL10011 MPL2000F MPL20011 MPL3000F MPL30011 MPU1000F MPU10010 MPU2000F MPU20010 MPU3000F MPU30010 BLOCK 8 BBC10012 BBC20012 BBC30012 BBR1000F BBR10010 BBR2000F BBR20010 BBR3000F BBR30010 CBR20007 CBR30007 CIL10005 CIL10084 CIL10085 CIL2001E CIL2001F CIL200B3 CIL30056 CIL30057 CIL300BB MBL10012 MBL20012 MBL30012 MOU10012 MOU20012 MOU30012 MPU10012 MPU20012 MPU30012 SOS20006 SOS30006 BLOCK 9 BBC10013 BBC20013 BBC30013 BBR10011 BBR10012 BBR20011 BBR20012 BBR30011 BBR30012 CBR20008 CBR30008 CIL10086 CIL10087 CIL100A4 CIL20020 CIL20021 CIL200B4 CIL30058 CIL30059 CIL300BC MBL10013 MBL20013 MBL30013 MOU10013 MOU20013 MOU30013 MPU10013 MPU20013 MPU30013 SOS10007 SOS20007 SOS30007 BLOCK 10 BBC10014 BBC10015 BBC10016 BBC20014 BBC20015 BBC20016 BBC30014 BBC30015 BBC30016 BBR10013 BBR10014 BBR20013 BBR20014 BBR30013 BBR30014 BOC10004 BOC10007 CBR2000E CBR3000E CDM10001 CDM10002 CDM10004 CDM10005 CDM10006 CIT20003 CIT30003 CPT10001 CPT10002 CPT10003 CPT10004 CPT10005 CPT10006 CPT10007 CPT10008 CPT10009 CPT1000A CPT1000B CPT1000C CPT1000D CPT1000E CPT1000F CPT10010 CPT10011 CUK10004 CUK10005 CUK10006 CUK10007 MBL10014 MBL10015 MBL20014 MBL20015 MBL30014 MBL30015 MBU10014 MBU10016 MBU20014 MBU20016 MBU30014 MBU30016 MOU10015 MOU20015 MOU30015 MPL10014 MPL10016 MPL20014 MPL20016 MPL30014 MPL30016 MPU10014 MPU10015 MPU20014 MPU20015 MPU30014 MPU30015 BLOCK 11 BBC10017 BBC20017 BBC30017 BBR10015 BBR10016 BBR20015 BBR20016 BBR30015 BBR30016 CBR2000A CBR3000A CIL10006 CIL1008C CIL1008D CIL20022 CIL20023 CIL200B5 CIL3005A CIL3005B CIL300BD MBL10017 MBL20017 MBL30017 MOU10017 MOU20017 MOU30017 MPU10017 MPU20017 MPU30017 SOS2000A SOS3000A BLOCK 12 BBC10018 BBC20018 BBC30018 BBR10017 BBR10018 BBR20017 BBR20018 BBR30017 BBR30018 CBR2000B CBR3000B CIL1008E CIL1008F CIL100A7 CIL20024 CIL20025 CIL200B6 CIL3005C CIL3005D CIL300BE MBL10018 MBL20018 MBL30018 MOU10018 MOU20018 MOU30018 MPU10018 MPU20018 MPU30018 SOS1000B SOS2000B SOS3000B BLOCK 13 BBC1001D BBC1001E BBC2001C BBC2001D BBC2001E BBC3001C BBC3001D BBC3001E BBR1001B BBR1001C BBR2001B BBR2001C BBR3001B BBR3001C CBR2000D CBR3000D CIL1008A CIL1008B CIL1009D CIL100A6 CIL100AD CIL2002B CIL2002C CIL2002D CIL2002E CIL2002F CIL30063 CIL30064 CIL30065 CIL30066 CIL30067 MBL1001C MBL1001D MBL2001C MBL2001D MBL3001C MBL3001D MBU1001C MBU1001E MBU2001C MBU2001E MBU3001C MBU3001E MOU1001D MOU2001D MOU3001D MPL1001C MPL1001E MPL2001C MPL2001E MPL3001C MPL3001E MPU1001C MPU1001D MPU2001C MPU2001D MPU3001C MPU3001D SOS10009 SOS20009 SOS30009 BLOCK 14 BBC1001F BBC10020 BBC10021 BBC2001F BBC20020 BBC20021 BBC3001F BBC30020 BBC30021 BBR1001D BBR1001E BBR2001D BBR2001E BBR3001D BBR3001E CBR20014 CBR30014 CIT20004 CIT30004 MBL1001F MBL10020 MBL2001F MBL20020 MBL3001F MBL30020 MBU1001F MBU10021 MBU2001F MBU20021 MBU3001F MBU30021 MOU10020 MOU20020 MOU30020 MPL1001F MPL10021 MPL2001F MPL20021 MPL3001F MPL30021 MPU1001F MPU10020 MPU2001F MPU20020 MPU3001F MPU30020 BLOCK 15 BBC10022 BBR1001F BBR10020 BBR20020 CBR2000F CIL10008 CIL10096 CIL100A9 CIL20030 CIL20031 CIL200B7 MBL10022 MBL20022 MOU10022 MOU20022 MPU10022 MPU20022 SOS1000F SOS2000F BLOCK 16 BBC10023 BBC20023 BBC30023 BBR10021 BBR10022 BBR20021 BBR20022 BBR30021 BBR30022 CBR20010 CBR30010 CIL10097 CIL10098 CIL100AA CIL20032 CIL20033 CIL200B8 CIL3006A CIL3006B CIL300C0 MBL10023 MBL20023 MBL30023 MOU10023 MOU20023 MOU30023 MPU10023 MPU20023 MPU30023 SOS10010 SOS20010 SOS30010 BLOCK 17 BBC10025 BBC20024 BBC20025 BBC20026 BBC30024 BBC30025 BBC30026 BBR10023 BBR10024 BBR20023 BBR20024 BBR30023 BBR30024 CBR20011 CBR30011 CIL10009 CIL10090 CIL10091 CIL20034 CIL20035 CIL20036 CIL20037 CIL20038 CIL3006C CIL3006D CIL3006E CIL3006F CIL30070 MBL10025 MBL20024 MBL20025 MBL30024 MBL30025 MBU20024 MBU20026 MBU30024 MBU30026 MOU10025 MOU20025 MOU30025 MPL20024 MPL20026 MPL30024 MPL30026 MPU10025 MPU20024 MPU20025 MPU30024 MPU30025 SOS2000C SOS3000C BLOCK 18 BBC10028 BBC20027 BBC20028 BBC20029 BBC30027 BBC30028 BBC30029 BBR10025 BBR10026 BBR20025 BBR20026 BBR30025 BBR30026 CBR20012 CBR30012 CIL1000A CIL10092 CIL10093 CIL20039 CIL2003A CIL2003B CIL2003C CIL2003D CIL30071 CIL30072 CIL30073 CIL30074 CIL30075 MBL10028 MBL20027 MBL20028 MBL30027 MBL30028 MBU20027 MBU20029 MBU30027 MBU30029 MOU10028 MOU20028 MOU30028 MPL20027 MPL20029 MPL30027 MPL30029 MPU10028 MPU20027 MPU20028 MPU30027 MPU30028 SOS2000D SOS3000D BLOCK 19 BBC1002A BBC1002B BBC1002C BBC2002A BBC2002B BBC2002C BBC3002A BBC3002B BBC3002C BBR10027 BBR10028 BBR20027 BBR20028 BBR30027 BBR30028 CBR20013 CBR30013 CIL10094 CIL10095 CIL100A0 CIL100A8 CIL100B0 CIL2003E CIL2003F CIL20040 CIL20041 CIL20042 CIL30076 CIL30077 CIL30078 CIL30079 CIL3007A MBL1002A MBL1002B MBL2002A MBL2002B MBL3002A MBL3002B MBU1002A MBU1002C MBU2002A MBU2002C MBU3002A MBU3002C MOU1002B MOU2002B MOU3002B MPL1002A MPL1002C MPL2002A MPL2002C MPL3002A MPL3002C MPU1002A MPU1002B MPU2002A MPU2002B MPU3002A MPU3002B SOS1000E SOS2000E SOS3000E BLOCK 20 BBC20019 BBC2001A BBC2001B BBC30019 BBC3001A BBC3001B BBR10019 BBR1001A BBR20019 BBR2001A BBR30019 BBR3001A CBR2000C CBR3000C CIL10088 CIL10089 CIL20026 CIL20027 CIL20028 CIL20029 CIL2002A CIL3005E CIL3005F CIL30060 CIL30061 CIL30062 MBL20019 MBL2001A MBL30019 MBL3001A MBU1001B MBU20019 MBU2001B MBU30019 MBU3001B MOU2001A MOU3001A MPL1001B MPL20019 MPL2001B MPL30019 MPL3001B MPU20019 MPU2001A MPU30019 MPU3001A SOS20008 SOS30008 BLOCK 21 BBC30022 BBR3001F BBR30020 CBR3000F CIL30068 CIL30069 CIL300BF MBL30022 MOU30022 MPU30022 SOS3000F BLOCK 22 BIC10004 CRS10005 CRS10006 CRS10007 CRS10008 CTP1000B CTP1000C CTP1000D BLOCK 23 BIC30004 BIC30006 CRS30005 CRS30006 CRS30007 CRS30008 CTP3000B CTP3000C CTP3000D BLOCK 24 BOC30004 BOC30006 CDM30001 CDM30002 CDM30004 CDM30005 CDM30006 CDM30008 CDM30009 CDM3000A CDM3000C CPT30001 CPT30002 CPT30003 CPT30004 CPT30005 CPT30006 CPT30007 CPT30008 CPT30009 CPT3000A CPT3000B CPT3000C CPT3000D CPT3000E CPT3000F CPT30010 CPT30011 CRS30004 CTS30001 CTS30002 CTS30003 CTS30004 CUK30004 CUK30005 CUK30006 CUK30007 BLOCK 25 CDM10008 CDM1000A CTS10002 CTS10003 BLOCK 26 CDM10009 BLOCK 27 CDM1000B BLOCK 28 CDM1000C BLOCK 29 CDM20008 CDM20009 CDM2000A CDM2000B CDM2000C CRS20001 CRS20002 CRS20003 CRS20004 CTP2000A CTS20002 CTS20003 CTS20004 BLOCK 30 CDM3000B BLOCK 31 CRS20005 CRS20006 CRS20007 CRS20008 CTP2000B CTP2000C CTP2000D BLOCK 32 CSC10001 BLOCK 33 CSC10002 BLOCK 34 CSC10003 BLOCK 35 CSC10007 BLOCK 36 CSC20001 BLOCK 37 CSC20002 BLOCK 38 CSC20003 BLOCK 39 CSC20007 BLOCK 40 CSC30001 BLOCK 41 CSC30002 BLOCK 42 CSC30003 BLOCK 43 CSC30007 BLOCK 44 CTP10001 BLOCK 45 CTP10002 BLOCK 46 CTP10003 BLOCK 47 CTP10004 BLOCK 48 CTP10005 BLOCK 49 CTP10006 BLOCK 50 CTP10007 BLOCK 51 CTP10008 BLOCK 52 CTP10009 BLOCK 53 CTP20001 BLOCK 54 CTP20002 BLOCK 55 CTP20003 BLOCK 56 CTP20004 BLOCK 57 CTP20005 BLOCK 58 CTP20006 BLOCK 59 CTP20007 BLOCK 60 CTP20008 BLOCK 61 CTP20009 BLOCK 62 CTP30001 BLOCK 63 CTP30002 BLOCK 64 CTP30003 BLOCK 65 CTP30004 BLOCK 66 CTP30005 BLOCK 67 CTP30006 BLOCK 68 CTP30007 BLOCK 69 CTP30008 BLOCK 70 CTP30009 MASTERCONSS BBC1000F BBC1001B BBC1001C BBC20011 BBC20022 BBC3000F BBC30011 BBR2001F BIC10001 BIC10002 BIC10003 BIC10005 BIC10006 BIC10007 BIC10008 BIC10009 BIC1000A BIC1000B BIC1000C BIC20001 BIC20002 BIC20003 BIC20004 BIC20005 BIC20006 BIC20007 BIC20008 BIC20009 BIC2000A BIC2000B BIC2000C BIC30001 BIC30002 BIC30003 BIC30005 BIC30007 BIC30008 BIC30009 BIC3000A BIC3000B BIC3000C BIR10001 BIR10002 BIR10003 BIR10004 BIR10005 BIR10006 BIR10007 BIR10008 BIR20001 BIR20002 BIR20003 BIR20004 BIR20005 BIR20006 BIR20007 BIR20008 BIR30001 BIR30002 BIR30003 BIR30004 BIR30005 BIR30006 BIR30007 BIR30008 BOC10001 BOC10002 BOC10003 BOC10005 BOC10006 BOC10008 BOC10009 BOC1000A BOC1000B BOC1000C BOC20001 BOC20002 BOC20003 BOC20005 BOC20006 BOC20007 BOC20008 BOC20009 BOC2000A BOC2000B BOC2000C BOC30001 BOC30002 BOC30003 BOC30005 BOC30007 BOC30008 BOC30009 BOC3000A BOC3000B BOC3000C BOR10001 BOR10002 BOR10003 BOR10004 BOR20001 BOR20002 BOR20003 BOR20004 BOR30001 BOR30002 BOR30003 BOR30004 CRS10001 CRS10002 CRS10003 CRS10004 CRS10009 CRS1000A CRS20009 CRS2000A CRS30001 CRS30002 CRS30003 CRS30009 CRS3000A CSC10005 CSC10006 CSC20005 CSC20006 CSC30005 CSC30006 CTP1000A CTP3000A