{"text_format":"2","workbook":"xls","n_sheets":9,"sheets":["Bejing","blocksworld","emptyroom","flat200","grid","inductive-inference","iscas89","sortnet","sizes with incremental i"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":0,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"Bejing","index":0,"n_rows":29,"n_cols":15,"rows_kept":29,"cut":false,"hidden":false,"merged":[[25,0,25,3],[26,0,26,3],[0,6,0,8],[0,13,0,14],[0,9,0,10],[0,0,1,0],[0,4,0,5],[0,1,1,1],[0,11,0,12],[27,0,27,3],[28,0,28,3],[0,2,1,2],[19,0,19,3],[20,0,20,3],[21,0,21,3],[22,0,22,3],[23,0,23,3],[24,0,24,3],[0,3,1,3]],"flags":["formulas_cached_only"]}
["CNF instances","#vars","#clauses","treewidth","ROBDD-L_\\infty",null,"ROBDD[/\\_{\\infty^}]_C",null,"CDDD size\ninfty_zero","d-DNNF-Dsharp",null,"d-DNNF-c2d",null,"SDD"]
[{"$nulls":4},"time","size","time","time-64","size","time","size","time","size","time-64","size"]
["2bitadd_10",590,1422,null,8.203000000000001,"0","12.047","6.848","0","fail",null,"TO 1.3",null,"TO 11.5"]
["2bitadd_11",649,1562,"164","TO 5",null,"TO 1","TO 1.5",null,"fail",null,"TO 1",null,"TO 1.5"]
["2bitadd_12",708,1702,"177","TO 12",null,"TO 10","TO 5",null,"fail",null,"TO 1",null,"TO 1"]
["2bitcomp_5",125,310,"34",30.766,"84640","0.61","0.343","129817","0.102466","67953",0.234,77001,"0.414","396510"]
["2bitmax_6",252,766,"59","OM",null,"24.172","13.603","1800890","2.62418","1122697",9.765,2930173,"46.245","99176294"]
["3bitadd_31",8432,31310,null,null,null,"TO 1","TO 1.5",null,"fail",null,"TO 1",null,"TO 1"]
["3bitadd_32",8704,32316,null,null,null,"TO 1","TO 1",null,"fail",null,"TO 1",null,"TO 1"]
["3blocks",283,9690,"23",0.109,"168","0.109","0.047","2711","0.30195","5587",1.062,5331,"1.211","3416"]
["4blocks",758,47820,"55",22.11,"3026","35.891","19.765","35355","234.548","1321127","TO 3",null,"TO 1"]
["4blocksb",410,24758,"8",0.14100000000000001,"6","0.219","0.109","1392","0.306298","884",55.906,476,"125.150","1476"]
["e0ddr2-10-by-5-1",19500,103887,null,null,null,"TO 1","TO 1",null,"fail",null,"TO 1",null,"TO 1.5"]
["e0ddr2-10-by-5-4",19500,104527,null,null,null,"TO 1","TO 1",null,"fail",null,"TO 1",null,"TO 1"]
["enddr2-10-by-5-1",20700,111567,null,null,null,"TO 1","TO 1",null,"fail",null,"TO 1",null,"TO 1"]
["enddr2-10-by-5-8",21000,113729,null,null,null,"TO 1","TO 1",null,"fail",null,"TO 1",null,"TO 1"]
["ewddr2-10-by-5-1",21800,118607,null,null,null,"TO 1","TO 1",null,"fail",null,"TO 1",null,"TO 1"]
["ewddr2-10-by-5-8",22500,123329,null,null,null,"TO 1","TO 1",null,"fail",null,"TO 1",null,"TO 1"]
[]
["specification:"]
["#vars: number of variables in instance"]
["#clauses: number of  clauses in instance"]
["treewidth：computed using min-fill heuristic after preprocessing"]
["time: the compiling time on 32-bit machine"]
["time-64: the compiling time on 64-bit machine"]
["size: resulting size"]
["TO x: Time Out (more than x hours)"]
["OM: Out of Memory"]
["fail: failed with unknown reason"]

{"sheet":"blocksworld","index":1,"n_rows":20,"n_cols":15,"rows_kept":20,"cut":false,"hidden":false,"merged":[[17,0,17,3],[18,0,18,3],[0,6,0,8],[0,13,0,14],[0,9,0,10],[0,0,1,0],[0,4,0,5],[0,1,1,1],[0,11,0,12],[19,0,19,3],[11,0,11,3],[12,0,12,3],[0,2,1,2],[13,0,13,3],[10,0,10,3],[14,0,14,3],[15,0,15,3],[16,0,16,3],[0,3,1,3]],"flags":["formulas_cached_only"]}
["CNF instances","#vars","#clauses","treewidth","ROBDD-L_\\infty",null,"ROBDD[/\\_{\\infty^}]_C",null,"CDDD size\ninfty_zero","d-DNNF-Dsharp",null,"d-DNNF-c2d",null,"SDD"]
[{"$nulls":4},"time","size","time","time-64","size","time","size","time","size","time-64","size"]
["anomaly",48,261,null,0.016,"0","< 0.01","< 0.01","144","0.01461","48",0.015,48,"0.035","94"]
["bw_large.a",116,953,null,0.079,"0","0.015","< 0.01","1377","0.010486","459",0.953,459,"1.099","916"]
["bw_large.b",459,7054,"4",0.5,"2","0.032","0.015","3315","0.161616","1109",7.25,1109,"9.714","3074"]
["bw_large.c",459,4675,"13",5.64,"8","0.438","0.234","9235","6.14712","3103",138.86,3401,"2189.468","9248"]
["bw_large.d",1087,13772,"57",67.047,"68","4.219","2.23","21570","633.89","101262","OM",null,"TO 1"]
["huge",3016,50457,null,0.078,"0","< 0.01","< 0.01","1377","0.020251","459",0.968,459,"1.442","916"]
["medium",6325,131973,"8","< 0.001","2","< 0.01","< 0.01","402","0.010228","138",0.046,230,"0.040","414"]
[]
["specification:"]
["#vars: number of variables in instance"]
["#clauses: number of  clauses in instance"]
["treewidth：computed using min-fill heuristic after preprocessing"]
["time: the compiling time on 32-bit machine"]
["time-64: the compiling time on 64-bit machine"]
["size: resulting size"]
["TO x: Time Out (more than x hours)"]
["OM: Out of Memory"]
["fail: failed with unknown reason"]

{"sheet":"emptyroom","index":2,"n_rows":41,"n_cols":16,"rows_kept":41,"cut":false,"hidden":false,"merged":[[37,0,37,3],[0,1,1,1],[0,10,0,11],[38,0,38,3],[0,14,0,15],[0,0,1,0],[0,5,0,6],[0,7,0,9],[0,4,1,4],[0,12,0,13],[39,0,39,3],[40,0,40,3],[0,3,1,3],[0,2,1,2],[31,0,31,3],[32,0,32,3],[33,0,33,3],[34,0,34,3],[35,0,35,3],[36,0,36,3]],"flags":["formulas_cached_only"]}
["CNF instances","#vars","#clauses","treewidth","ROBDD size","ROBDD-L_\\infty",null,"ROBDD[/\\_{\\infty^}]_C",null,"CDDD size\ninfty_zero","d-DNNF-Dsharp",null,"d-DNNF-c2d",null,"SDD"]
[{"$nulls":5},"time","size","time","time-64","size","time","size","time","size","time-64","size"]
["emptyroom_d4-g2",32,119,7,"556",0,"116","< 0.01","< 0.01","298","0.001472","248","0.015","260","0.016","410"]
["emptyroom_d8-g4",64,263,7,"1482",0.015,"230","< 0.01","< 0.01","666","0.002458","601","0.015","568","0.020","842"]
["emptyroom_d12-g6",96,407,7,"2410",0,"342","< 0.01","< 0.01","1034","0.007366","957","0.015","876","0.025","1274"]
["emptyroom_d16-g8",128,551,7,"3338",0.015,"454","< 0.01","< 0.01","1402","0.004487","1313","0.015","1184","0.030","1706"]
["emptyroom_d24-g12",192,839,7,"5194",0.047,"678","< 0.01","< 0.01","2138","0.006802","2025","0.015","1800","0.047","2570"]
["emptyroom-d32-g16",256,1127,7,"7050",0.11,"902","0.015","< 0.01","2874","0.009656","2737","0.015","2416","0.073","3434"]
["emptyroom-d36-g18",288,1271,7,"7978",0.141,"1014","0.015","0.016","3242","0.010926","3093","0.015","2724","0.089","3866"]
["emptyroom-d40-g20",320,1415,7,"8906",0.20400000000000001,"1126","0.015","0.015","3610","0.012549","3449","0.031","3032","0.116","4298"]
["emptyroom-d44-g22",352,1559,7,"9834",0.25,"1238","0.031","0.016","3978","0.015073","4266","0.031","3340","0.137","4730"]
["emptyroom-d48-g24",384,1703,7,"10762",0.34400000000000003,"1350","0.031","0.015","4346","0.0159","4362","0.031","3648","0.171","5162"]
["emptyroom-d52-g26",416,1847,7,"11690",0.438,"1462","0.047","0.031","4714","0.01764","4516","0.031","3956","0.198","5594"]
["emptyroom-d56-g28",448,1991,7,"12618",0.547,"1574","0.047","0.031","5082","0.019671","4872","0.031","4264","0.242","6026"]
["emptyroom-d60-g30",480,2135,7,13546,0.687,"1686","0.047","0.031","5450","0.021683","5228","0.046","4572","0.280","6458"]
["emptyroom-d64-g32",512,2279,7,"14474",0.828,"1798","0.047","0.031","5818","0.023878","5585","0.046","4880","0.330","6890"]
["emptyroom-d68-g34",544,2423,7,"15402",1,"1910","0.062","0.031","6186","0.02599","5941","0.046","5188","0.386","7322"]
["emptyroom-d72-g36",576,2567,7,"16330",1.219,"2022","0.078","0.031","6554","0.028279","6297","0.046","5496","0.451","7754"]
["emptyroom-d76-g38",608,2711,7,"17258",1.438,"2134","0.078","0.047","6922","0.035858","8345","0.062","5804","0.516","8186"]
["emptyroom-d80-g40",640,2855,7,"18186",1.6869999999999998,"2246","0.094","0.047","7290","0.036252","8439","0.046","6112","0.591","8618"]
["emptyroom-d84-g42",672,2999,7,"19114",1.984,"2358","0.094","0.047","7658","0.041567","8535","0.062","6420","0.672","9050"]
["emptyroom-d88-g44",704,3143,7,"20042",2.281,"2470","0.109","0.047","8026","0.040528","8653","0.063","6728","0.760","9482"]
["emptyroom-d92-g46",736,3287,7,"20970",2.64,"2582","0.109","0.063","8394","0.042231","8905","0.062","7036","0.856","9914"]
["emptyroom-d96-g48",768,3431,7,"21898",3.015,"2694","0.125","0.078","8762","0.044356","9157","0.078","7344","0.957","10346"]
["emptyroom-d100-g50",800,3575,7,"22826",3.4530000000000003,"2806","0.125","0.062","9130","0.051075",9409,"0.078","7652","1.073","10778"]
["emptyroom-d104-g52",832,3719,7,"23754",3.906,"2918","0.141","0.078","9498","0.04914","9661","0.078","7960","1.190","11210"]
["emptyroom-d108-g54",864,3863,7,"24682",4.436999999999999,"3030","0.156","0.078","9866","0.051893","9913","0.078","8268","1.324","11642"]
["emptyroom-d112-g56",896,4007,7,"25610",4.968,"3142","0.172","0.094","10234","0.054727","10165","0.093","8576","1.465","12074"]
["emptyroom-d116-g58",928,4151,7,"26538",5.563,"3254","0.172","0.094","10602","0.057892","10417","0.093","8884","1.619","12506"]
["emptyroom-d120-g60",960,4295,7,"27466",6.234,"3366","0.203","0.094","10970","0.068476","10669","0.093","9192","1.795","12938"]
[]
["specification:"]
["#vars: number of variables in instance"]
["#clauses: number of  clauses in instance"]
["treewidth：computed using min-fill heuristic after preprocessing"]
["time: the compiling time on 32-bit machine"]
["time-64: the compiling time on 64-bit machine"]
["size: resulting size"]
["TO x: Time Out (more than x hours)"]
["OM: Out of Memory"]
["fail: failed with unknown reason"]

{"sheet":"flat200","index":3,"n_rows":113,"n_cols":15,"rows_kept":113,"cut":false,"hidden":false,"merged":[[0,1,1,1],[0,3,1,3],[104,0,104,3],[0,13,0,14],[0,0,1,0],[0,4,0,5],[0,2,1,2],[0,9,0,10],[0,6,0,8],[0,11,0,12],[103,0,103,3],[111,0,111,3],[112,0,112,3],[105,0,105,3],[106,0,106,3],[107,0,107,3],[108,0,108,3],[109,0,109,3],[110,0,110,3]],"flags":["formulas_cached_only"]}
["CNF instances","#vars","#clauses","treewidth","ROBDD-L_\\infty",null,"ROBDD[/\\_{\\infty^}]_C",null,"CDDD size\ninfty_zero","d-DNNF-Dsharp",null,"d-DNNF-c2d",null,"SDD"]
[{"$nulls":4},"time","size","time","time-64","size","time","size","time","size","time-64","size"]
["flat200-1",600,2237,188,171.64000000000001,"1782712","6.906","4.664","125075","4.17591",167616,10.656,262467,"8.255","8276932"]
["flat200-2",600,2237,188,2.6100000000000003,"8434","1.234","0.843","8774","1.79509","9666",27.328,16370,"9.978","40934"]
["flat200-3",600,2237,194,3.968,"41244","0.625","0.406","9189","1.30689","10402",23.14,14364,"10.654","174688"]
["flat200-4",600,2237,195,3.4690000000000003,"29684","0.672","0.436","11562","0.795601","12449",4.109,18684,"1.350","110226"]
["flat200-5",600,2237,181,1.282,"2906","1.703","1.154","5509","2.54451","4517",15.484,5521,"2.450","19912"]
["flat200-6",600,2237,169,24.657,"134932","1.015","0.67","11576","1.74237","32958",9.531,28639,"3.003","473806"]
["flat200-7",600,2237,188,34.748999999999995,"205762","4.25","2.901","27935","4.60991","26811",34.031,57816,"8.953","2722502"]
["flat200-8",600,2237,200,5.484,"49982","0.812","0.531","19935","1.52945","42726",30.578,57773,"11.060","603714"]
["flat200-9",600,2237,184,2.2649999999999997,"12994","0.406","0.265","5661","0.815999","4992",2.453,4906,"1.472","10476"]
["flat200-10",600,2237,183,2.3440000000000003,"6458","1.406","0.92","6318","2.53252","7360",10.984,6096,"3.734","37162"]
["flat200-11",600,2237,189,11.093,"88028","0.281","0.187","7532","0.877178","7992",1.703,18219,"1.301","129412"]
["flat200-12",600,2237,185,1.3279999999999998,"2838","0.515","0.343","5394","0.93808","4421",5.671,4776,"3.238","13526"]
["flat200-13",600,2237,194,14.203000000000001,"132428","1.547","1.014","44183","3.19651","86471",3.359,105209,"2.646","865964"]
["flat200-14",600,2237,185,23.063,"207890","3.14","2.122","70914","3.68186","100024",20.843,142588,"15.157","519554"]
["flat200-15",600,2237,185,6.641,"35176","0.828","0.546","10883","1.76435","22191",19.343,23775,"7.804","83890"]
["flat200-16",600,2237,184,7.032,"24650","7.375","5.039","19636","2.89732","21525",12.234,38672,"5.043","164052"]
["flat200-17",600,2237,199,21.548,"152788","3.89","2.637","14125","14.5624","23067",20.953,34262,"13.105","554672"]
["flat200-18",600,2237,182,5.734999999999999,"65798","0.25","0.172","10302","0.877863","13301",5.156,15192,"1.611","66442"]
["flat200-19",600,2237,190,1.688,"10426","0.375","0.234","6455","2.33509","6219",1.671,16738,"1.199","51450"]
["flat200-20",600,2237,196,5.516,"37686","0.219","0.156","9504","0.495172","9265",6.25,15789,"1.965","78714"]
["flat200-21",600,2237,191,1.266,"5964","0.156","0.109","6108","0.246059","4817",4.281,7089,"2.250","29024"]
["flat200-22",600,2237,193,3.2030000000000003,"31462","1.047","0.687","13413","0.825383","15455",12.296,22011,"3.750","147202"]
["flat200-23",600,2237,187,0.5930000000000001,"866","0.359","0.234","5172","0.585908","4180",2.046,4137,"1.561","6702"]
["flat200-24",600,2237,194,0.359,"1880","0.156","0.109","5236","0.506549","4176",5.703,4234,"1.431","10024"]
["flat200-25",600,2237,188,15.796999999999999,"100556","1.547","1.045","17272","2.55887","27133",10.859,32189,"4.368","236188"]
["flat200-26",600,2237,184,58.937,"13472","14.734","9.828","21290","11.3011","22766",23.75,26818,"13.987","91386"]
["flat200-27",600,2237,186,19.75,"206812","1.797","1.185",30953,"3.47358","47129",17.796,82249,"12.547","1091452"]
["flat200-28",600,2237,187,5.657,"31814","0.281","0.171","6303","0.551688","5653",1.75,7537,"1.153","17652"]
["flat200-29",600,2237,182,8.547,"54484","1.094","0.733","13090","1.66516","16539",5.718,32980,"2.545","88582"]
["flat200-30",600,2237,202,16.234,"126018","0.422","0.281","8171","1.06843","8283",3.515,13141,"1.712","446790"]
["flat200-31",600,2237,188,12.219000000000001,"71248","2.5","1.685","18667","3.44608","25144",18.437,57919,"8.361","812044"]
["flat200-32",600,2237,193,0.735,"4468","0.14","0.094","5827","0.22226","4978",1.687,7846,"1.169","27694"]
["flat200-33",600,2237,184,6.593999999999999,"33776","1.687","1.154","15520","2.6159","17743",15.953,30964,"8.344","167488"]
["flat200-34",600,2237,188,6.172,"41462","0.437","0.296","6019","1.67313","5521",6.328,8903,"5.026","78620"]
["flat200-35",600,2237,191,0.5940000000000001,"2914","0.109","0.078","5763","0.203043","4666",2.828,7792,"1.905","21710"]
["flat200-36",600,2237,189,6.968999999999999,"32744","2.453","1.669","15296","2.87383","17494",23.687,22308,"5.504","54782"]
["flat200-37",600,2237,195,1.4849999999999999,"15882","0.188","0.14","8517","0.309422","7514",1.531,16335,"1.251","149766"]
["flat200-38",600,2237,192,2.938,"14616","0.547","0.359","8286","2.23064","6910",3.515,8519,"1.688","68582"]
["flat200-39",600,2237,180,3.188,"8422","2.531","1.685","8111","3.53889","8408",11.125,10610,"4.472","26622"]
["flat200-40",600,2237,199,4.688,"47610","0.265","0.172","17202","0.441955","21523",2.75,30858,"1.179","131078"]
["flat200-41",600,2237,197,5.218,"64174","0.765","0.499","10049","1.91325","15149",5.812,26115,"2.273","172556"]
["flat200-42",600,2237,190,12.157,"77402","0.344","0.219","11581","0.568264","21286",1.375,11929,"1.263","156976"]
["flat200-43",600,2237,190,11.157,"136020","2.359","1.606","53225","3.74699","74210",313.64,201109,"16.234","933394"]
["flat200-44",600,2237,191,0.9690000000000001,"4868","0.469","0.312","7581","1.71489","5780",27.343,12533,"8.022","60302"]
["flat200-45",600,2237,195,10.75,"89582","1.359","0.905","23602","2.96656","35631",79.609,81068,"30.005","524284"]
["flat200-46",600,2237,190,0.485,"2484","0.203","0.125","5413","0.549267","4450",2.406,4610,"1.254","11498"]
["flat200-47",600,2237,184,4.515,"30844","0.437","0.281","7177","1.34905","7650",1.968,7545,"1.139","51564"]
["flat200-48",600,2237,199,5.204,"34956","0.344","0.219","8051","0.638904","7051",6.39,9225,"3.245","31140"]
["flat200-49",600,2237,185,1.891,"17358","0.328","0.219","5945","0.46847","5746",9.953,8510,"4.122","27970"]
["flat200-50",600,2237,185,3.407,"18854","0.89","0.593","8656","1.03396","10497",3.187,10944,"1.966","29128"]
["flat200-51",600,2237,195,4.422,"30418","0.219","0.141","7374","0.584664","7802",2.359,9105,"1.492","66136"]
["flat200-52",600,2237,191,27.968,"275116","4.172","2.808","32852","4.51823","44589",106.078,110827,"23.360","1104364"]
["flat200-53",600,2237,197,0.5,"3532","0.203","0.125","5879","0.233962","5245",2.593,7552,"1.732","49766"]
["flat200-54",600,2237,178,1.093,"6746","0.422","0.281","7448","0.831662","6585",28.906,16499,"4.733","59442"]
["flat200-55",600,2237,179,6.734999999999999,"17894","8.453","5.772","12065","8.85829","15624",44.062,17221,"25.879","54690"]
["flat200-56",600,2237,196,2.093,"9636","1.703","1.139","12875","2.0993","13685",2.265,17733,"1.558","64784"]
["flat200-57",600,2237,179,1.3439999999999999,"6180","0.64","0.406","5672","0.992368","4760",3.953,5009,"1.239","17136"]
["flat200-58",600,2237,195,4.265000000000001,"21844","3.078","2.028","14822","3.06491","18786",4.687,21726,"4.898","182218"]
["flat200-59",600,2237,199,3.813,"17716","0.797","0.546","6389","1.44095","5317",2.312,6477,"1.602","38212"]
["flat200-60",600,2237,188,2.9530000000000003,"22672","0.234","0.156","8540","0.15191","7828",2.093,24489,"1.834","138598"]
["flat200-61",600,2237,177,6.406,"36510","1.344","0.905","7582","2.63258","8414",8.484,14242,"4.038","142096"]
["flat200-62",600,2237,194,1.999,"7104","1","0.671","6495","1.38198","6087",9.281,15625,"5.573","58058"]
["flat200-63",600,2237,181,8.375,"47432","3.609","2.449","19994","5.35965","24379",6.078,26755,"2.739","157462"]
["flat200-64",600,2237,184,0.922,"4878","0.406","0.265","5845","1.1873","5394",2.5,5342,"1.552","16354"]
["flat200-65",600,2237,194,7.8759999999999994,"40314","0.765","0.499","8466","1.80386","7301",11.25,8603,"2.933","90232"]
["flat200-66",600,2237,197,33.875,"288766","3.891","2.605","22296","5.3871","24441",6.343,25954,"3.665","288332"]
["flat200-67",600,2237,191,35.86,"196540","5.14","3.51","50670","4.48742","62367",16.484,123431,"8.633","1716850"]
["flat200-68",600,2237,180,9.048,"97382","0.75","0.499","42202","1.43459","53455",5.375,81800,"2.190","422978"]
["flat200-69",600,2237,189,47.219,"262452","5.015","3.463","25284","3.64181","39563",30.484,53097,"13.171","385640"]
["flat200-70",600,2237,171,20.36,"201236","1.172","0.78","19104","2.2057","28981",14.546,89052,"6.314","785708"]
["flat200-71",600,2237,185,2.266,"14138","0.859","0.577","12656","2.54364","20082",3.062,25045,"2.163","84562"]
["flat200-72",600,2237,190,2.375,"8712","1.156","0.796","11186","2.04396","13022",6.671,14522,"2.619","35960"]
["flat200-73",600,2237,187,6.8759999999999994,"47132","0.219","0.14","10194","0.416725","11724",1.984,26788,"1.769","485076"]
["flat200-74",600,2237,197,46.531,"120700","8.406","5.788","19489","5.65245","25575",113.484,43182,"22.939","503722"]
["flat200-75",600,2237,183,24.516000000000002,"208626","1.422","0.951","68093","2.91641","93959",2.875,143417,"1.985","913228"]
["flat200-76",600,2237,189,9.173,"47976","0.437","0.265","13134","1.00238","15692",2.859,16980,"1.634","95892"]
["flat200-77",600,2237,194,10.25,"50682","0.969","0.624","8260","1.04004","12388",2.343,17868,"1.657","173478"]
["flat200-78",600,2237,183,2.75,"13086","0.906","0.593","6650","1.06955","8583",4.437,5965,"2.416","47320"]
["flat200-79",600,2237,188,3.923,"14174","1.812","1.217","9500","5.10299","11770",3.468,12459,"1.896","63276"]
["flat200-80",600,2237,188,23.703,"147128","1.453","0.951","14678","2.02476","18589",13.015,29672,"6.668","288644"]
["flat200-81",600,2237,208,11,"87672","2.469","1.654","22738","3.31031","31652",114.296,49253,"14.229","396174"]
["flat200-82",600,2237,182,6.375,"6076","3.015","2.044","11463","4.8304","12749",20.734,23624,"4.402","42092"]
["flat200-83",600,2237,189,0.766,"3446","0.359","0.234","5866","0.93956","6178",3.796,6985,"1.651","33134"]
["flat200-84",600,2237,195,41.048,"247078","2.234","1.513","18507","3.00059","24185",22.359,71410,"5.771","1435052"]
["flat200-85",600,2237,186,15.298,"98138","5.812","3.993","39693","6.51444","55683",36.828,96802,"4.003","934756"]
["flat200-86",600,2237,192,106.875,"1051472","1.312","0.811","159411","1.86439","203932",3.015,226922,"5.600","4996092"]
["flat200-87",600,2237,202,12.203,"33208","19.828","12.075","19640","11.6872","26031",107.812,29231,"19.612","173006"]
["flat200-88",600,2237,185,7.672,"68286","1.015","0.67","25010","1.76822","79342",32.328,75552,"12.407","722148"]
["flat200-89",600,2237,181,16.438,"168822","0.672","0.421","45880","2.28632","112052",2.578,37537,"2.178","494160"]
["flat200-90",600,2237,184,3.766,"25738","0.25","0.156","7759","0.774302","7806",2.406,8431,"1.399","57860"]
["flat200-91",600,2237,190,5.454,"28896","0.312","0.219","5961","0.759031","5767",4.031,7938,"1.800","88846"]
["flat200-92",600,2237,178,2.125,"12150","0.14","0.093","6667","0.413996","5916",1.625,8698,"1.480","82342"]
["flat200-93",600,2237,187,37.141,"220590","0.953","0.609","29253","1.05941","80593",4.953,45605,"2.203","389132"]
["flat200-94",600,2237,194,6.688,"51244","2.812","1.935","29453","2.44767","31848",36.156,78175,"24.206","257600"]
["flat200-95",600,2237,186,2.015,"4694","0.906","0.609","8635","1.82891","8715",31.625,11077,"5.402","38116"]
["flat200-96",600,2237,182,212.39,"129982","69.625","36.957","69150","12.5641","125974",29.437,148536,"16.231","868220"]
["flat200-97",600,2237,183,73.251,"624848","0.359","0.219","42325","1.01874","78383",7.14,116614,"4.328","1031254"]
["flat200-98",600,2237,193,32.358,"235718","5.515","3.822","55669","8.74345","73707",56.609,169000,"7.703","1178160"]
["flat200-99",600,2237,184,2.9850000000000003,"4996","1.609","1.077","5664","2.40932","5812",33.812,7844,"19.490","18478"]
["flat200-100",600,2237,183,3.14,"10428","0.469","0.312","5988","1.59709","5178",15.859,5399,"4.094","55948"]
[]
["specification:"]
["#vars: number of variables in instance"]
["#clauses: number of  clauses in instance"]
["treewidth：computed using min-fill heuristic after preprocessing"]
["time: the compiling time on 32-bit machine"]
["time-64: the compiling time on 64-bit machine"]
["size: resulting size"]
["TO x: Time Out (more than x hours)"]
["OM: Out of Memory"]
["fail: failed with unknown reason"]

{"sheet":"grid","index":4,"n_rows":46,"n_cols":15,"rows_kept":46,"cut":false,"hidden":false,"merged":[[43,0,43,3],[0,13,0,14],[0,6,0,8],[0,9,0,10],[0,0,1,0],[0,4,0,5],[0,3,1,3],[0,1,1,1],[0,11,0,12],[44,0,44,3],[45,0,45,3],[0,2,1,2],[36,0,36,3],[37,0,37,3],[38,0,38,3],[39,0,39,3],[40,0,40,3],[41,0,41,3],[42,0,42,3]],"flags":["formulas_cached_only"]}
["CNF instances","#vars","#clauses","treewidth","ROBDD-L_\\infty",null,"ROBDD[/\\_{\\infty^}]_C",null,"CDDD size\ninfty_zero","d-DNNF-Dsharp",null,"d-DNNF-c2d",null,"SDD"]
[{"$nulls":4},"time","size","time","time-64","size","time","size","time","size","time-64","size"]
["family-grid-new_dispose-4-1",248,2593,65,3.047,"13862","0.016","0.015","7401","0.028183","6705","0.062","5312","0.296","9634"]
["family-grid-new_dispose-4-2",318,4024,82,8.344,"20898","0.047","0.016","11769","0.035858","10597","0.093","8008","0.289","13020"]
["family-grid-new_dispose-4-3",388,5744,99,19.156,"29398","0.062","0.031","16959","0.051176","15375","0.125","11266","0.513","16302"]
["family-grid-new_dispose-8-1",1064,43809,289,3237.403,"250642","0.937","0.499","116673","0.603389","109524","2.046","69231","59.370","113032"]
["family-grid-new_dispose-8-2",1326,65392,354,8239.614,"361538","1.781","0.905","180776","1.02247","168783","3.578","102203","123.046","149504"]
["family-grid-new_dispose-8-3",1588,91200,419,"BLF",null,"2.985","1.514","256967","1.6165","240812","6.375","143767","230.219","186610"]
["family-grid-new_push-to-4-1",314,5612,98,6.484,"20810","0.062","0.031","15608","0.05593","14329","0.187","13025","0.726","42190"]
["family-grid-new_push-to-4-2",400,6247,100,15.312000000000001,"29310","0.094","0.047","19543","0.065377","18395","0.250","16612","0.888","51708"]
["family-grid-new_push-to-4-3",486,6886,102,28.984,"24299","0.14","0.078","24610","0.096274","22597","0.312","19133","1.150","75444"]
["family-grid-new_push-to-8-1",1386,104892,450,"BLF",null,"3.531","1.747","282085","1.7113","253967","10.062","179804","317.191","1099250"]
["family-grid-new_push-to-8-2",1744,107735,452,"TO 1",null,"5.062","2.559","327476","2.67195","324678","11.750","215501","397.406","2016928"]
["family-grid-new_push-to-8-3",2102,110582,454,"TO 2",null,"5.578","3.011","350227","3.78906","395973","12.203","248337","376.846","2563148"]
["family-grid-new_to-trash-8-1-disappear",1252,65749,352,4565.14,"252330","2.156","1.123","178834","3.14804","550135","5.437","133839","146.088","174164"]
["family-grid-new_to-trash-8-2-disappear",1574,68119,352,12359.439999999999,"369834","3.375","1.841","219967","8.82355","1286815","8.312","134892","144.218","409614"]
["family-grid-new_to-trash-8-3-disappear",1896,70489,390,"TO 2",null,"3.782","2.231","215135","23.434","2921905","21.562","247795","348.994","1092178"]
["look-and-grab-4-1-1-disappear",376,5369,115,6.545999999999999,"15170","0.094","0.062","16821","0.15472","33373","0.343","17247","1.104","191260"]
["look-and-grab-4-1-2-disappear",472,6809,204,11.546999999999999,"22542","0.188"," 0.109","26891","0.21556","52557","45.421","17300206","28.861","32651820"]
["look-and-grab-4-1-3-disappear",532,7709,264,"TO 2",null,"2458.39","1478.57","55299988","0.197244","37768","58.078","21358684","94.329","161110088"]
["look-and-grab-4-2-1-disappear",542,7223,215,21.579,"30174","0.204","0.109","23728","0.272964","67318","1.500","32768","6.316","6843178"]
["look-and-grab-4-2-2-disappear",734,10103,402,97.562,"41174","15.047","8.003","485106","0.406621","79046","7.515","58110","136.678","201976026"]
["look-and-grab-4-2-3-disappear",854,11903,522,402.765,"111558","10.079","6.24","560301","0.528088","82944","175.359","2950275","TO 1"]
["look-and-grab-4-3-1-disappear",708,9077,315,80.547,"62862","0.437","0.265","28707","0.575242","125512","7.812","156395","TO 1"]
["look-and-grab-4-3-2-disappear",996,13397,596,211.39000000000001,"152118","2","1.155","38207","0.942371","154104","32.671","380923","TO 1.5"]
["look-and-grab-4-3-3-disappear",1176,16097,808,180.01500000000001,"60442","4.579","2.855","45356","1.27327","173605","99.328","744249","TO 1"]
["look-and-grab-8-1-1-disappear",1672,72049,504,7657.801,"272246","6.031","3.416","260161","5.56098","602530","26.359","177313","459.266","3677026"]
["look-and-grab-8-1-2-disappear",2344,82129,1187,"BLF",null,"OM","TO 11",null,"9.421","763143","186.140","578730","TO 1"]
["look-and-grab-8-1-3-disappear",3124,93829,1944,"TO 4",null,"OM","TO 1",null,"13.6952","776787","OM",null,"TO 1"]
["look-and-grab-8-2-1-disappear","2414 ","80719","983","TO 1.5",null,"14.578","9.891","323621","16.9281","1445331","1257.359","1249112","TO 12"]
["look-and-grab-8-2-2-disappear","3758 ","100879","2320","TO 2",null,"101.5","72.696","384102","27.6142","1579749","TO 1",null,"TO 1.5"]
["look-and-grab-8-2-3-disappear","5318 ","124279","3970","TO 2.5",null,"337.703","239.522","511132","44.2178","1842487","OM",null,"TO 1"]
["look-and-grab-8-3-1-disappear","3156 ","89389","1467","TO 1.5",null,"37.281","27.269","378455","37.683","2664589","TO 3",null,"TO 1"]
["look-and-grab-8-3-2-disappear","5172 ","119629","3499","TO 1.5",null,"278.563","201.615","519644","69.4151","3046236","OM",null,"TO 1"]
["look-and-grab-8-3-3-disappear","7512 ","154729","5816","TO 1.5",null,"1142.66","< 1142.66","673264","153.702","4548113","TO 3",null,"TO 1"]
[]
["specification:"]
["#vars: number of variables in instance"]
["#clauses: number of  clauses in instance"]
["treewidth：computed using min-fill heuristic after preprocessing"]
["time: the compiling time on 32-bit machine"]
["time-64: the compiling time on 64-bit machine"]
["size: resulting size"]
["TO x: Time Out (more than x hours)"]
["OM: Out of Memory"]
["fail: failed with unknown reason"]

{"sheet":"inductive-inference","index":5,"n_rows":54,"n_cols":15,"rows_kept":54,"cut":false,"hidden":false,"merged":[[51,0,51,3],[0,0,1,0],[0,4,0,5],[0,9,0,10],[0,1,1,1],[0,13,0,14],[0,6,0,8],[0,3,1,3],[0,11,0,12],[52,0,52,3],[53,0,53,3],[0,2,1,2],[44,0,44,3],[45,0,45,3],[46,0,46,3],[47,0,47,3],[48,0,48,3],[49,0,49,3],[50,0,50,3]],"flags":["formulas_cached_only"]}
["CNF instances","#vars","#clauses","treewidth","ROBDD-L_\\infty",null,"ROBDD[/\\_{\\infty^}]_C",null,"CDDD size\ninfty_zero","d-DNNF-Dsharp",null,"d-DNNF-c2d",null,"SDD"]
[{"$nulls":4},"time","size","time","time-64","size","time","size","time","size","time-64","size"]
["ii8a1",66,186,"16",0.141,"10756","0.015","0.016","7091","0.091206","62550",0.031,8777,"0.034","12782"]
["ii8a2",180,800,"52","OM",null,"OM","TO 10",null,"fail",null,"OM",null,"TO 1"]
["ii8a3",264,1552,"99","OM",null,"OM","TO 1",null,"fail",null,"OM",null,"TO 1"]
["ii8a4",396,2798,"103","OM",null,"TO 1.5","TO 1",null,"fail",null,"OM",null,"TO 1"]
["ii8b1",336,2068,"108","OM",null,"OM","TO 1",null,"fail",null,"OM",null,"TO 1"]
["ii8b2",576,4088,"91","OM",null,"OM","TO 1",null,"fail",null,"OM",null,"TO 1"]
["ii8b3",816,6108,"91","OM",null,"OM","TO 1",null,"fail",null,"TO 1.5",null,"TO 1"]
["ii8b4",1068,8214,"91","OM",null,"OM","TO 1",null,"fail",null,"TO 1",null,"TO 1"]
["ii8c1",510,3065,"213","OM",null,"OM","TO 1",null,"fail",null,"OM",null,"TO 1"]
["ii8c2",950,6689,"167","OM",null,"OM","TO 1",null,"fail",null,"TO 1",null,"TO 1"]
["ii8d1",530,3207,"217","OM",null,"OM","TO 1",null,"fail",null,"OM",null,"TO 1"]
["ii8d2",930,6547,"157","OM",null,"OM","TO 1",null,"fail",null,"TO 1",null,"TO 1"]
["ii8e1",520,3136,"209","OM",null,"OM","TO 1",null,"fail",null,"OM",null,"TO 1"]
["ii8e2",870,6121,"180","OM",null,"OM","TO 1",null,"fail",null,"TO 1",null,"TO 1"]
["ii16a1",1650,19368,"684","OM",null,"TO 5","TO 2.5",null,"fail",null,"TO 1",null,"TO 1"]
["ii16a2",1602,23281,"187","OM",null,"OM","TO 1",null,"fail",null,"TO 1",null,"TO 1"]
["ii16b1",1728,24792,null,"OM",null,"TO 1","TO 1.5",null,"fail",null,"TO 1",null,"TO 17"]
["ii16b2",1076,16121,37,1.9060000000000001,"2826","0.719","0.437","16935","0.594714","21864","TO 1",null,"TO 1"]
["ii16c1",1580,16467,"616","BLF",null,"OM","TO 3",null,"fail",null,"TO 1",null,"TO 1.5"]
["ii16c2",924,13803,37,3.484,"5660","0.266","0.156","14184","0.928964","15909","TO 1",null,"TO 1"]
["ii16d1",1230,15901,"479","BLF",null,"OM","TO 11",null,"fail",null,"TO 1",null,"TO 1"]
["ii16d2",836,12461,41,2.485,"6374","0.469","0.281","23625","0.851404","22605","TO 1",null,"TO 1"]
["ii16e1",1245,14766,"502","BLF",null,"TO 3","TO 1.5",null,"fail",null,"TO 1",null,"TO 1"]
["ii16e2",532,7825,64,0.312,"1098","0.219","0.125","7674","0.660719","11270","TO 1",null,"TO 1"]
["ii32a1",459,9212,24,1.0779999999999998,"886","0.344","0.203","2921","3.64519","2717",2.125,2549,"7.444","1558600"]
["ii32b1",228,1374,"70","BLF",null,"OM","TO 1",null,"fail",null,56.687,16590331,"TO 1.5"]
["ii32b2",261,2558,58,3.015,"41622","1.453","0.936","67292","3.45529","291864",2.562,129168,"69.247","206250"]
["ii32b3",348,5734,75,13.578000000000001,"138406","4.187","2.979","341025","6.50351","648477",23.125,273146,"123.388","2884384"]
["ii32b4",381,6918,36,0.5469999999999999,"172","0.453","0.266","3977","4.83514","2657",1.859,3631,"41.167","32254"]
["ii32c1",225,1280,"65","oldF",null,"OM","TO 1.5",null,"fail",null,72.562,21394507,"TO 12"]
["ii32c2",249,2182,"84","oldF",null,"OM","TO 2",null,"fail",null,"OM",null,"TO 12"]
["ii32c3",279,3272,83,121.68700000000001,"875532","21.375","13.853","467349","fail",null,33.375,1260630,"174.322","9043450"]
["ii32c4",759,20862,27,0.875,"452","1.328","0.624","5532","fail",null,838.046,4063,"1570.207","6108"]
["ii32d1",332,2703,"98","BLF",null,"OM","TO 1",null,"fail",null,"TO 1",null,"TO 1.5"]
["ii32d2",404,5153,"133","BLF",null,"TO 1","TO 1",null,"fail",null,"TO 9",null,"TO 1"]
["ii32d3",824,19478,48,424.735,"3418","172.172","95.987","11156","149.726","17800",116.656,17266,"TO 1"]
["ii32e1",222,1186,"64","BLF",null,"OM","TO 1.5",null,"fail",null,71.265,21398792,"TO 1"]
["ii32e2",267,2746,"92","BLF",null,"OM","TO 1",null,"fail",null,"OM",null,"TO 1"]
["ii32e3",330,5020,78,133.906,"195630","8.687","5.913","373283","3.88801","1049593",15.296,460837,"75.022","2050890"]
["ii32e4",387,7106,"75","BLF",null,"13.844","9.688","580421","7.70312","1381748",90.375,611766,"TO 1"]
["ii32e5",522,11636,75,66.125,"351558","18.188","12.808","600724","9.02834","1903950",184.234,2076567,"766.834","42932190"]
[]
["specification:"]
["#vars: number of variables in instance"]
["#clauses: number of  clauses in instance"]
["treewidth：computed using min-fill heuristic after preprocessing"]
["time: the compiling time on 32-bit machine"]
["time-64: the compiling time on 64-bit machine"]
["size: resulting size"]
["TO x: Time Out (more than x hours)"]
["OM: Out of Memory"]
["fail: failed with unknown reason"]

{"sheet":"iscas89","index":6,"n_rows":48,"n_cols":15,"rows_kept":48,"cut":false,"hidden":false,"merged":[[0,13,0,14],[0,0,1,0],[0,4,0,5],[0,2,1,2],[0,9,0,10],[0,3,1,3],[0,1,1,1],[0,6,0,8],[0,11,0,12],[44,0,44,3],[45,0,45,3],[46,0,46,3],[47,0,47,3],[38,0,38,3],[39,0,39,3],[40,0,40,3],[41,0,41,3],[42,0,42,3],[43,0,43,3]],"flags":["formulas_cached_only"]}
["CNF instances","#vars","#clauses","treewidth","ROBDD-L_\\infty",null,"ROBDD[/\\_{\\infty^}]_C",null,"CDDD size\ninfty_zero","d-DNNF-Dsharp",null,"d-DNNF-c2d",null,"SDD"]
[{"$nulls":4},"time","size","time","time-64","size","time","size","time","size","time-64","size"]
["s27",17,28,4,0,"42","< 0.01","< 0.01","139","0.000746","104","< 0.01",113,"0.011","126"]
["s208.1",122,285,9,0.015,"554","0.016","< 0.01","1815","0.003753","1300",0.031,2139,"0.021","2516"]
["s298",136,363,11,0.031,"2178","0.015","< 0.01","4601","0.0112","3914",0.015,3895,"0.027","4446"]
["s344",184,429,8,0.046,"1294","0.015","< 0.01","4130","0.027465","9096",0.015,3799,"0.028","4672"]
["s349",185,434,8,0.016,"886","0.015","< 0.01","4061","0.021093","6618",0.015,5281,"0.029","4298"]
["s382",182,464,12,0.14100000000000001,"5418","0.015","0.016","4710","0.021191","7590",0.015,4838,"0.030","5868"]
["s386",172,506,19,0.031,"2550","0.031","0.031","10667","0.02986","8735",0.031,11286,"0.085","52272"]
["s400",189,486,13,0.156,"5394","0.015","0.016","4920","0.026447","8343",0.031,4309,"0.028","6318"]
["s420.1",252,601,12,0.094,"1182","0.031","0.016","6343","0.011011","3933",0.015,7289,"0.034","9062"]
["s444",205,533,13,0.078,"1972","0.031","0.031","5442","0.030278","10360",0.031,5126,"0.031","6398"]
["s510",236,635,42,0.093,"2898","0.015","0.016","5760","0.030321","5184",0.031,4985,"0.050","13956"]
["s526",217,638,18,0.546,"17174","0.062","0.031","16093","0.116715","27866",0.031,10676,"0.044","17982"]
["s526n",218,639,18,0.531,"17174","0.062","0.047","16591","0.193225","42982",0.031,10899,"0.042","18244"]
["s641",433,918,19,96.98400000000001,553162,"0.812","0.515","88280","0.271897","87329",0.187,76863,"0.288","241336"]
["s713",447,984,19,93.109,"532790","1.234","0.733","140386","0.299499","90402",0.156,64591,"0.226","174152"]
["s820",312,1046,27,0.28200000000000003,11328,"0.062","0.047","16622","0.081443","23229",0.078,31036,"0.470","403810"]
["s832",310,1056,27,0.328,"12560","0.14","0.093","39510","0.082576","22844",0.078,27984,"0.465","413738"]
["s838.1",512,1233,12,0.907,"2666","0.062","0.031","13539","0.033298","10437",0.046,14307,"0.053","17648"]
["s953",440,1138,71,7.904999999999999,"44610","0.453","0.28","81247","0.409054","90170",0.421,101101,"1.612","2511592"]
["s1196",561,1538,55,10.219,"135630","2.39","1.576","350787","2.06051",353828,0.406,189151,"1.211","687546"]
["s1238",540,1549,56,10.313,"128114","2.547","1.638","340533","2.07925","364213",0.531,213517,"1.861","1858544"]
["s1423",748,1821,25,"OM",null,"13.234","8.721","964051","22.6658","3382933",2.625,729550,"13.484","25370602"]
["s1488",667,2040,47,0.21800000000000003,"7916","0.344","0.203","51883","0.331861","45659",0.25,147358,"0.998","442994"]
["s1494",661,2040,47,0.21800000000000003,7860,"0.344","0.203","50122","0.320763","44087",0.171,61770,"1.088","560784"]
["s5378",2993,6991,null,"TO 1",null,"TO 1",null,null,"TO 1",null,"OM",null,"TO 1"]
["s9234",5844,13568,null,"TO 1",null,"TO 1",null,null,"TO 1",null,"OM",null,"TO 1"]
["s9234.1",5844,13568,null,"TO 1",null,"TO 1",null,null,"TO 1",null,"OM",null,"TO 1"]
["s13207",8651,19116,null,"TO 1",null,"TO 1",null,null,"TO 1",null,"TO 1",null,"TO 1"]
["s13207.1",8651,19116,null,"TO 1",null,"TO 1",null,null,"TO 1",null,"TO 1",null,"TO 1"]
["s15850",10383,23417,null,"TO 1",null,"TO 1",null,null,"TO 1",null,"OM",null,"TO 1"]
["s15850.1",10383,23417,null,"TO 1",null,"TO 1",null,null,"TO 1",null,"TO 1",null,"TO 1"]
["s35932",17828,44334,null,"TO 1",null,"TO 1",null,null,"TO 1",null,"OM",null,"TO 1"]
["s38417",23843,54207,null,"TO 1",null,"TO 1",null,null,"TO 1",null,"OM",null,"TO 1"]
["s38584",20717,52009,null,"TO 1",null,"TO 1",null,null,"TO 1",null,"TO 1",null,"TO 1"]
["s38584.1",20717,52009,null,"TO 1",null,"TO 1",null,null,"TO 1",null,"TO 1",null,"TO 1"]
[]
["specification:"]
["#vars: number of variables in instance"]
["#clauses: number of  clauses in instance"]
["treewidth：computed using min-fill heuristic after preprocessing"]
["time: the compiling time on 32-bit machine"]
["time-64: the compiling time on 64-bit machine"]
["size: resulting size"]
["TO x: Time Out (more than x hours)"]
["OM: Out of Memory"]
["fail: failed with unknown reason"]

{"sheet":"sortnet","index":7,"n_rows":25,"n_cols":15,"rows_kept":25,"cut":false,"hidden":false,"merged":[[0,1,1,1],[0,9,0,10],[22,0,22,3],[0,13,0,14],[0,0,1,0],[0,4,0,5],[0,6,0,8],[0,3,1,3],[0,11,0,12],[23,0,23,3],[24,0,24,3],[0,2,1,2],[15,0,15,3],[16,0,16,3],[17,0,17,3],[18,0,18,3],[19,0,19,3],[20,0,20,3],[21,0,21,3]],"flags":["formulas_cached_only"]}
["CNF instances","#vars","#clauses","treewidth","ROBDD-L_\\infty",null,"ROBDD[/\\_{\\infty^}]_C",null,"CDDD size\ninfty_zero","d-DNNF-Dsharp",null,"d-DNNF-c2d",null,"SDD"]
[{"$nulls":4},"time","size","time","time-64","size","time","size","time","size","time-64","size"]
["sort-num_s-2",5,7,3,0.031,"0","< 0.01","< 0.01","9","0.000618","3","0.015","3","0.026","4"]
["sort-num_s-3",27,100,11,0.015,"86","< 0.01","< 0.01","279","0.001183","268","0.015","292","0.017","666"]
["sort-num_s-4",78,364,18,0.016,"1230","< 0.01","< 0.01","1178","0.00316","1089","0.015","1439","0.052","34378"]
["sort-num_s-5",170,886,30,0.969,"43054","0.875","0.562","176047","0.008195","2917","0.046","5194","3.900","4335700"]
["sort-num_s-6",315,1756,45,133.156,"2110626","263.703","165.735","20104922","0.019375","6422","0.156","18721","TO 15"]
["sort-num_s-7",525,3067,63,"OM",null,"OM","TO 1.5",null,"0.041456","12535","0.640","70273","TO 1"]
["sort-num_s-8",812,4915,84,"OM",null,"OM","TO 1",null,"0.084351","22514","3.312","292155","TO 1"]
["sort-num_s-9",1188,7399,108,"OM",null,"OM","TO 1",null,"0.158233","38004","18.843","1266171","TO 1"]
["sort-num_s-10",1665,10621,135,"OM",null,"OM","TO 1",null,"0.284384","61097","106.500","5753768","TO 1.5"]
["sort-num_s-15",5985,41581,315,"OM",null,"OM","TO 1",null,"3.29738","402677","OM",null,"TO 1.5"]
["sort-num_s-18",10557,76195,"459","OM",null,"OM","TO 1.5",null,"10.709","965619",null,null,"TO 1"]
["sort-num_s-20",14630,108016,null,"OM",null,"OM","TO 1",null,"22.1986",1610157,null,null,"TO 1"]
[]
["specification:"]
["#vars: number of variables in instance"]
["#clauses: number of  clauses in instance"]
["treewidth：computed using min-fill heuristic after preprocessing"]
["time: the compiling time on 32-bit machine"]
["time-64: the compiling time on 64-bit machine"]
["size: resulting size"]
["TO x: Time Out (more than x hours)"]
["OM: Out of Memory"]
["fail: failed with unknown reason"]

{"sheet":"sizes with incremental i","index":8,"n_rows":248,"n_cols":16,"rows_kept":248,"cut":false,"hidden":false,"merged":[[1,0,5,0],[6,0,12,0],[13,0,40,0],[41,0,140,0],[141,0,173,0],[174,0,214,0],[215,0,238,0],[239,0,243,0],[245,0,245,4],[246,0,246,4],[247,0,247,4],[248,0,248,4]],"flags":["formulas_cached_only"]}
["Domain","CNF instances","infty","0","1","2","3","4","5","6","7","8","9","10",11,12]
["Bejing","2bitcomp_5","129817","1988610","158442","138932","134915","131402","129991","129822","129822","129821","129821","129821","129821","129820"]
[null,"2bitmax_6","1800890",null,"6383506","3434543","2918552","2785420","2449033","2257767","2181979","2040095","1965647","1876828","1848074","1826730"]
[null,"3blocks","2711","2198","2749","2749","2749","2749","2749","2749","2749","2732","2712","2712","2712","2712"]
[null,"4blocks","35355","47472","40312","40312","40312","40312","40312","40312","40312","40312","39825","39573","39573","39573"]
[null,"4blocksb","1392","928","1393","1393","1393","1393","1393","1393","1393","1393","1393","1393","1393","1393"]
["blocksworld","anomaly","144","96","144","144","144","144","144","144","144","144","144","144","144","144"]
[null,"bw_large.a","1377","918","1377","1377","1377","1377","1377","1377","1377","1377","1377","1377","1377","1377"]
[null,"bw_large.b","3315","2210","3315","3315","3315","3315","3315","3315","3315","3315","3315","3315","3315","3315"]
[null,"bw_large.c","9235","6188","9237","9237","9237","9237","9237","9237","9237","9237","9237","9237","9237","9237"]
[null,"bw_large.d","21570","25768","21825","21825","21825","21825","21825","21825","21825","21825","21825","21825","21825","21825"]
[null,"huge","1377","918","1377","1377","1377","1377","1377","1377","1377","1377","1377","1377","1377","1377"]
[null,"medium","402","268","402","402","402","402","402","402","402","402","402","402","402","402"]
["emptyroom","emptyroom_d4-g2","298","556","367","298","298","298","298","298","298","298","298","298","298","298"]
[null,"emptyroom_d8-g4","666","1482","782","666","666","666","666","666","666","666","666","666","666","666"]
[null,"emptyroom_d12-g6","1034","2410","1194","1034","1034","1034","1034","1034","1034","1034","1034","1034","1034","1034"]
[null,"emptyroom_d16-g8","1402","3338","1606","1402","1402","1402","1402","1402","1402","1402","1402","1402","1402","1402"]
[null,"emptyroom_d24-g12","2138","5194","2430","2138","2138","2138","2138","2138","2138","2138","2138","2138","2138","2138"]
[null,"emptyroom-d32-g16","2874","7050","3254","2874","2874","2874","2874","2874","2874","2874","2874","2874","2874","2874"]
[null,"emptyroom-d36-g18","3242","7978","3666","3242","3242","3242","3242","3242","3242","3242","3242","3242","3242","3242"]
[null,"emptyroom-d40-g20","3610","8906","4078","3610","3610","3610","3610","3610","3610","3610","3610","3610","3610","3610"]
[null,"emptyroom-d44-g22","3978","9834","4490","3978","3978","3978","3978","3978","3978","3978","3978","3978","3978","3978"]
[null,"emptyroom-d48-g24","4346","10762","4902","4346","4346","4346","4346","4346","4346","4346","4346","4346","4346","4346"]
[null,"emptyroom-d52-g26","4714","11690","5314","4714","4714","4714","4714","4714","4714","4714","4714","4714","4714","4714"]
[null,"emptyroom_d56-g28","5082","12618","5726","5082","5082","5082","5082","5082","5082","5082","5082","5082","5082","5082"]
[null,"emptyroom-d60-g30","5450","13546","6138","5450","5450","5450","5450","5450","5450","5450","5450","5450","5450","5450"]
[null,"emptyroom_d64-g32","5818","14474","6550","5818","5818","5818","5818","5818","5818","5818","5818","5818","5818","5818"]
[null,"emptyroom-d68-g34","6186","15402","6962","6186","6186","6186","6186","6186","6186","6186","6186","6186","6186","6186"]
[null,"emptyroom-d72-g36","6554","16330","7374","6554","6554","6554","6554","6554","6554","6554","6554","6554","6554","6554"]
[null,"emptyroom-d76-g38","6922","17258","7786","6922","6922","6922","6922","6922","6922","6922","6922","6922","6922","6922"]
[null,"emptyroom-d80-g40","7290","18186","8198","7290","7290","7290","7290","7290","7290","7290","7290","7290","7290","7290"]
[null,"emptyroom-d84-g42","7658","19114","8610","7658","7658","7658","7658","7658","7658","7658","7658","7658","7658","7658"]
[null,"emptyroom-d88-g44","8026","20042","9022","8026","8026","8026","8026","8026","8026","8026","8026","8026","8026","8026"]
[null,"emptyroom-d92-g46","8394","20970","9434","8394","8394","8394","8394","8394","8394","8394","8394","8394","8394","8394"]
[null,"emptyroom-d96-g48","8762","21898","9846","8762","8762","8762","8762","8762","8762","8762","8762","8762","8762","8762"]
[null,"emptyroom-d100-g50","9130","22826","10258","9130","9130","9130","9130","9130","9130","9130","9130","9130","9130","9130"]
[null,"emptyroom-d104-g52","9498","23754","10670","9498","9498","9498","9498","9498","9498","9498","9498","9498","9498","9498"]
[null,"emptyroom-d108-g54","9866","24682","11082","9866","9866","9866","9866","9866","9866","9866","9866","9866","9866","9866"]
[null,"emptyroom-d112-g56","10234","25610","11494","10234","10234","10234","10234","10234","10234","10234","10234","10234","10234","10234"]
[null,"emptyroom-d116-g58","10602","26538","11906","10602","10602","10602","10602","10602","10602","10602","10602","10602","10602","10602"]
[null,"emptyroom_d120-g60","10970","27466","12318","10970","10970","10970","10970","10970","10970","10970","10970","10970","10970","10970"]
["flat200","flat200-1","125075",null,"3730853","453450","453450","301350","270044","209433","209433","188292","188292","162803","158513","151098"]
[null,"flat200-2","8774","166948","21791","12433","11973","9535","9418","8958","8958","8958","8958","8780","8780","8780"]
[null,"flat200-3","9189","671558","79661","12802","12802","10446","10168","9829","9829","9606","9606","9189","9189","9189"]
[null,"flat200-4","11562","1047026","66883","24101","24101","17775","17218","15503","15179","13981","13981","12294","12294","12294"]
[null,"flat200-5","5509","35022","9694","6075","6060","5595","5595","5521","5521","5515","5515","5509","5509","5509"]
[null,"flat200-6","11576","1677250","259634","64323","64323","50041","49585","23256","22806","14108","14108","13856","13856","13766"]
[null,"flat200-7","27935",null,"439948","116622","116622","77738","74662","41716","40565","32675","32035","30876","28910","28509"]
[null,"flat200-8","19935","2428502","110207","44928","44928","30744","30311","21781","21781","21307","21261","20509","20509","20421"]
[null,"flat200-9","5661","104838","26254","6411","6411","5860","5809","5679","5661","5661","5661","5661","5661","5661"]
[null,"flat200-10","6318","107436","16805","10009","10009","8456","8019","6578","6318","6318","6318","6318","6318","6318"]
[null,"flat200-11","7532",null,"209943","26257","26246","11284","11250","9558","9558","9086","9086","8930","8930","8690"]
[null,"flat200-12","5394","125894","9619","5900","5836","5587","5559","5406","5406","5394","5394","5394","5394","5394"]
[null,"flat200-13","44183",null,"294471","92470","92223","62415","61615","52917","51799","49757","49687","47159","47159","45091"]
[null,"flat200-14","70914",null,"450830","147042","143525","97720","97675","84620","84063","80218","80033","77543","76853","73871"]
[null,"flat200-15","10883","286134","82533","31900","31887","26629","25683","17226","15622","11221","10959","10895","10895","10883"]
[null,"flat200-16","19636","616394","66268","28783","28783","24094","23088","21630","21512","20801","20658","20658","20403","20403"]
[null,"flat200-17","14125",null,"326470","79125","78201","32457","30401","20458","19621","17399","17312","15683","15206","15206"]
[null,"flat200-18","10302","1189010","135156","37428","35754","19213","18574","17180","14921","13385","13257","11920","11416","10892"]
[null,"flat200-19","6455","93932","22426","7808","7718","6585","6585","6477","6477","6477","6477","6455","6455","6455"]
[null,"flat200-20","9504","2108188","92045","32352","32195","20291","20291","18861","17196","16944","16944","13954","13852","12300"]
[null,"flat200-21","6108","75632","15139","6853","6836","6312","6312","6206","6206","6140","6140","6140","6140","6140"]
[null,"flat200-22","13413","2295718","72526","21232","21148","17728","17728","14686","14686","14204","13635","13533","13533","13533"]
[null,"flat200-23","5172","8100","6034","5379","5379","5307","5205","5175","5172","5172","5172","5172","5172","5172"]
[null,"flat200-24","5236","52104","7790","5325","5321","5242","5242","5236","5236","5236","5236","5236","5236","5236"]
[null,"flat200-25","17272","1308862","196158","68593","67083","24045","24045","19572","19500","17662","17656","17410","17410","17272"]
[null,"flat200-26","21290","439326","43888","25709","25663","21511","21501","21399","21362","21314","21314","21314","21314","21314"]
[null,"flat200-27",30953,null,"403905","85269","85269","44313","41154","36282","35619","34786","33747","31788","31684","31494"]
[null,"flat200-28","6303","187908","59833","16829","16168","8705","8543","7275","6855","6855","6471","6471","6471","6459"]
[null,"flat200-29","13090","1164902","114879","43229","43129","26935","25813","21671","18784","14090","14090","13698","13558","13362"]
[null,"flat200-30","8171","2109882","239419","81066","81066","17600","16779","15839","14204","11410","11322","10888","10888","9813"]
[null,"flat200-31","18667","2325384","159636","34707","34303","24567","23774","21799","21799","21103","20323","20283","19225","18973"]
[null,"flat200-32","5827","66324","12276","7326","7326","6278","6053","6053","5919","5827","5827","5827","5827","5827"]
[null,"flat200-33","15520","544346","74635","25871","25871","18585","18132","16948","16802","16020","16020","15840","15766","15520"]
[null,"flat200-34","6019","1059842","76338","11948","11948","6842","6690","6204","6204","6131","6131","6031","6031","6031"]
[null,"flat200-35","5763","49834","9677","6516","6443","5885","5855","5855","5798","5763","5763","5763","5763","5763"]
[null,"flat200-36","15296","409492","76678","26717","26717","20128","20128","16926","16926","16526","16210","15772","15696","15690"]
[null,"flat200-37","8517","421638","37492","18727","18714","9941","9941","9759","9759","8751","8751","8655","8655","8655"]
[null,"flat200-38","8286","192192","31034","10416","10377","9112","8682","8682","8682","8286","8286","8286","8286","8286"]
[null,"flat200-39","8111","159078","21706","9303","9104","8453","8263","8132","8132","8132","8117","8111","8111","8111"]
[null,"flat200-40","17202","737716","103595","31450","31450","24073","23801","21084","20562","20418","18540","17736","17730","17724"]
[null,"flat200-41","10049","1860876","138325","26310","26310","20472","19269","14179","14179","13641","13641","12572","12495","11951"]
[null,"flat200-42","11581","961914","161366","51004","50646","24121","20388","15865","15629","15629","14905","14495","13804","12407"]
[null,"flat200-43","53225",null,"291743","84150","84150","63046","63046","58587","58587","56888","56888","54744","54744","54347"]
[null,"flat200-44","7581","232588","15606","10344","10145","8865","8549","8549","8057","7707","7707","7581","7581","7581"]
[null,"flat200-45","23602",null,"187283","63440","63440","33665","32360","29281","29162","26553","26553","26058","25023","24782"]
[null,"flat200-46","5413","56104","9021","5826","5821","5484","5433","5413","5413","5413","5413","5413","5413","5413"]
[null,"flat200-47","7177","394680","62603","23775","21355","12840","11215","11215","10483","9889","9022","8075","8075","7351"]
[null,"flat200-48","8051","287282","74273","20986","20986","10178","9601","8871","8751","8751","8081","8075","8075","8075"]
[null,"flat200-49","5945","394874","35458","8571","8571","6875","6875","6683","6683","6119","6119","6041","6041","5945"]
[null,"flat200-50","8656","239900","41560","14949","14747","10904","10637","9665","9665","9134","9134","8808","8808","8796"]
[null,"flat200-51","7374","528524","59193","22334","22088","12163","10514","8978","8710","8416","8416","8072","8072","7911"]
[null,"flat200-52","32852",null,"573943","139289","139289","52955","52763","47881","47774","43881","43010","36137","36058","35724"]
[null,"flat200-53","5879","80394","10983","7461","7461","7208","6902","6295","6295","6295","6295","6295","6247","6173"]
[null,"flat200-54","7448","71934","18105","11367","11367","8260","8260","7682","7682","7448","7448","7448","7448","7448"]
[null,"flat200-55","12065","516720","42127","14579","14579","12920","12920","12403","12403","12397","12397","12267","12267","12071"]
[null,"flat200-56","12875","378296","27831","14955","14908","14430","14347","13133","13061","13053","13053","12881","12881","12881"]
[null,"flat200-57","5672","129006","15258","6956","6956","6193","6193","5735","5735","5678","5678","5678","5678","5678"]
[null,"flat200-58","14822","672502","49877","25418","25316","19085","18887","16898","16891","16600","15724","15502","15380","15144"]
[null,"flat200-59","6389","868808","38887","21867","21854","9250","8947","8323","7316","6947","6531","6509","6389","6389"]
[null,"flat200-60","8540","225970","45804","12430","12430","9401","9305","8649","8649","8649","8540","8540","8540","8540"]
[null,"flat200-61","7582","480316","78734","41047","41038","21258","21148","10041","10025","9384","9330","9210","8056","8056"]
[null,"flat200-62","6495","87858","19230","10898","10874","8194","7898","7886","7886","7864","7425","7303","7247","7191"]
[null,"flat200-63","19994","909572","99432","28914","28502","22094","21358","20700","20692","20575","20444","20318","20318","20318"]
[null,"flat200-64","5845","81244","13402","7969","7969","6787","6787","6289","5971","5971","5971","5971","5971","5971"]
[null,"flat200-65","8466","656350","80601","25717","25499","10614","10596","9584","9534","9450","9354","9354","9270","8760"]
[null,"flat200-66","22296",null,"615794","54715","54189","44499","44499","29525","29253","26503","26503","24839","24769","24655"]
[null,"flat200-67","50670",null,"444114","112444","112102","70463","70463","63060","62221","58625","58625","57611","57611","56871"]
[null,"flat200-68","42202",null,"217741","86338","86338","53322","51844","47005","46983","46349","46201","44674","44631","44599"]
[null,"flat200-69","25284",null,"498481","68704","67884","37834","37747","36854","36174","31260","29999","29346","28340","26965"]
[null,"flat200-70","19104",null,"380944","63203","63203","34004","29655","23615","23615","20925","20686","19984","19984","19972"]
[null,"flat200-71","12656","339510","35308","15188","15188","14048","14048","12953","12953","12864","12864","12656","12656","12656"]
[null,"flat200-72","11186","217826","24679","14085","14072","13405","12884","11534","11534","11534","11198","11198","11198","11198"]
[null,"flat200-73","10194","611734","89532","20689","20661","14882","12038","11651","11651","11432","10702","10702","10692","10602"]
[null,"flat200-74","19489","1399234","238775","39014","38773","27746","26609","23495","23340","20263","20039","19655","19655","19501"]
[null,"flat200-75","68093",null,"453772","173571","172424","105854","105854","84888","84879","76410","76136","73751","73745","72226"]
[null,"flat200-76","13134","1195974","97653","20254","20211","15556","15463","13951","13736","13393","13321","13174","13174","13174"]
[null,"flat200-77","8260","1438724","99288","24568","24538","11276","10972","9331","9331","8854","8854","8854","8854","8512"]
[null,"flat200-78","6650","254250","30986","10331","10331","7976","7465","6976","6930","6862","6794","6792","6656","6650"]
[null,"flat200-79","9500","265986","33604","14939","14939","12276","12257","11057","10988","10798","10430","9512","9512","9512"]
[null,"flat200-80","14678",null,"306507","79039","78583","44473","44222","28001","28001","18359","18083","16888","16672","15255"]
[null,"flat200-81","22738","2217154","174411","41113","41031","27942","27379","26152","25458","24625","24625","24619","23471","23433"]
[null,"flat200-82","11463","171794","20537","14462","14419","12686","12686","11995","11757","11469","11463","11463","11463","11463"]
[null,"flat200-83","5866","37548","10988","6153","6144","5872","5872","5872","5872","5872","5872","5872","5872","5866"]
[null,"flat200-84","18507",null,"508881","76246","75402","32142","31957","27305","27228","20791","20741","19765","19015","19015"]
[null,"flat200-85","39693","2214162","222190","79967","79967","56522","56265","49712","49680","46350","46126","42766","42140","40784"]
[null,"flat200-86","159411",null,"2204257","525219","513989","268070","268070","208441","208441","196317","180674","173124","173124","168170"]
[null,"flat200-87","19640","2165652","74629","23948","23948","21450","21450","19696","19696","19690","19690","19678","19678","19642"]
[null,"flat200-88","25010",null,"151675","51243","50852","36796","36796","29523","29523","27196","26280","25016","25016","25016"]
[null,"flat200-89","45880",null,"363798","140905","133960","90173","89396","72949","72884","58286","58286","55836","55830","50442"]
[null,"flat200-90","7759","313920","53765","12170","12170","9727","9606","9015","8861","8861","8816","8734","8645","8645"]
[null,"flat200-91","5961","667558","56701","13809","13777","11274","9860","8201","8201","6512","6071","6026","5995","5995"]
[null,"flat200-92","6667","122078","27917","8491","8491","7704","7704","7198","7198","7027","7027","6904","6904","6667"]
[null,"flat200-93","29253","2635030","466288","167629","163806","69996","66181","53009","52888","48542","46786","45420","42074","40202"]
[null,"flat200-94","29453","1196436","122103","57073","57073","35749","33869","32700","32610","30363","30357","29885","29885","29721"]
[null,"flat200-95","8635","54066","15253","9520","9520","8909","8831","8816","8659","8647","8641","8641","8635","8635"]
[null,"flat200-96","69150",null,"319434","123902","122712","95856","93198","85845","84814","80900","79789","76320","74987","73501"]
[null,"flat200-97","42325",null,"1358380","224154","224154","132304","131640","82951","68477","63248","61416","52478","50005","48578"]
[null,"flat200-98","55669",null,"521112","122854","122854","89520","86350","71940","71892","66509","65314","61112","60250","58799"]
[null,"flat200-99","5664","107162","13422","6848","6837","6108","6015","6009","5814","5814","5814","5814","5814","5814"]
[null,"flat200-100","5988","141980","22223","8540","8517","7249","7009","6744","6594","6128","6080","6006","5988","5988"]
["grid","family-grid-new_dispose-4-1","7401","28908","24507","7401","7401","7401","7401","7401","7401","7401","7401","7401","7401","7401"]
[null,"family-grid-new_dispose-4-2","11769","54430","37686","11769","11769","11769","11769","11769","11769","11769","11769","11769","11769","11769"]
[null,"family-grid-new_dispose-4-3","16959","88932","53581","16959","16959","16959","16959","16959","16959","16959","16959","16959","16959","16959"]
[null,"family-grid-new_dispose-8-1","116673","544750","434675","116673","116673","116673","116673","116673","116673","116673","116673","116673","116673","116673"]
[null,"family-grid-new_dispose-8-2","180776","927292","640180","180776","180776","180776","180776","180776","180776","180776","180776","180776","180776","180776"]
[null,"family-grid-new_dispose-8-3","256967","1412460","882445","256967","256967","256967","256967","256967","256967","256967","256967","256967","256967","256967"]
[null,"family-grid-new_push-to-4-1","15608","104516","38071","15608","15608","15608","15608","15608","15608","15608","15608","15608","15608","15608"]
[null,"family-grid-new_push-to-4-2","19543","180774","55743","19641","19615","19543","19543","19543","19543","19543","19543","19543","19543","19543"]
[null,"family-grid-new_push-to-4-3","24610","282460","71073","24784","24754","24610","24610","24610","24610","24610","24610","24610","24610","24610"]
[null,"family-grid-new_push-to-8-1","282085",null,"1853376","692300","282085","282085","282085","282085","282085","282085","282085","282085","282085","282085"]
[null,"family-grid-new_push-to-8-2","327476",null,"1001281","328019","327814","327476","327476","327476","327476","327476","327476","327476","327476","327476"]
[null,"family-grid-new_push-to-8-3","350227",null,"1101390","351262","350887","350227","350227","350227","350227","350227","350227","350227","350227","350227"]
[null,"family-grid-new_to-trash-8-1-disappear","178834","726066","491578","178834","178834","178834","178834","178834","178834","178834","178834","178834","178834","178834"]
[null,"family-grid-new_to-trash-8-2-disappear","219967","1511068","693162","219967","219967","219967","219967","219967","219967","219967","219967","219967","219967","219967"]
[null,"family-grid-new_to-trash-8-3-disappear","215135",null,"703393","215074","215196","215135","215135","215135","215135","215135","215135","215135","215135","215135"]
[null,"look-and-grab-4-1-1-disappear","16821","614812","33617","16821","16821","16821","16821","16821","16821","16821","16821","16821","16821","16821"]
[null,"look-and-grab-4-1-2-disappear","26891",null,"47892","26891","26891","26891","26891","26891","26891","26891","26891","26891","26891","26891"]
[null,"look-and-grab-4-1-3-disappear","55299988",null,null,"55299988","55299988","55299988","55299988","55299988","55299988","55299988","55299988","55299988","55299988","55299988"]
[null,"look-and-grab-4-2-1-disappear","23728",null,"58672","25229","25229","24960","24960","24688","24688","24424","24424","24172","24172","23992"]
[null,"look-and-grab-4-2-2-disappear","485106",null,"397784","489608","489608","489352","489352","489080","489080","488776","488776","488440","488440","488072"]
[null,"look-and-grab-4-2-3-disappear","560301",null,"422424","567149","567149","566749","566749","566461","566461","566141","566141","565789","565789","565405"]
[null,"look-and-grab-4-3-1-disappear","28707",null,"111794","35781","35781","34699","34699","33467","33467","32199","32199","31059","31059","30043"]
[null,"look-and-grab-4-3-2-disappear","38207",null,"253736","58640","58640","57543","57543","56151","56151","54759","54759","52647","52647","50919"]
[null,"look-and-grab-4-3-3-disappear","45356",null,"121805","75679","75679","74508","74508","73212","73212","71772","71772","70188","70188","68460"]
[null,"look-and-grab-8-1-1-disappear","260161",null,"592229","260161","260161","260161","260161","260161","260161","260161","260161","260161","260161","260161"]
[null,"look-and-grab-8-1-2-disappear"]
[null,"look-and-grab-8-1-3-disappear"]
[null,"look-and-grab-8-2-1-disappear","323621",null,"955139","331692","331692","330613","330613","329525","329525","328349","328349","327089","327089","325997"]
[null,"look-and-grab-8-2-2-disappear","384102",null,"1852704","418088","418088","417142","417142","416054","416054","414838","414838","413494","413494","412022"]
[null,"look-and-grab-8-2-3-disappear","511132",null,"1025561","594716","594716","593756","593756","592668","592668","591452","591452","590108","590108","588623"]
[null,"look-and-grab-8-3-1-disappear","378455",null,"1683347","416365","416365","412047","412047","407119","407119","401723","401723","396023","396023","390479"]
[null,"look-and-grab-8-3-2-disappear","519644",null,"1970625","677448","677448","673140","673140","668212","668212","662708","662708","656628","656628","649972"]
[null,"look-and-grab-8-3-3-disappear","673264",null,"1518753","1055970","1055970","1049932","1049932","1044604","1044604","1038120","1038120","1031656"]
["inductive-inference","ii8a1","7091","74732","19266","16429","12459","9710","8923","8382","7763","7159","7119","7092","7092","7092"]
[null,"ii8a2"]
[null,"ii8a3"]
[null,"ii8a4"]
[null,"ii8b1"]
[null,"ii8b2"]
[null,"ii8b3"]
[null,"ii8b4"]
[null,"ii8c1"]
[null,"ii8c2"]
[null,"ii8d1"]
[null,"ii8d2"]
[null,"ii8e1"]
[null,"ii8e2"]
[null,"ii16a1"]
[null,"ii16a2"]
[null,"ii16b1"]
[null,"ii16b2","16935","48704","18407","16935","16935","16935","16935","16935","16935","16935","16935","16935","16935","16935"]
[null,"ii16c1"]
[null,"ii16c2","14184","43696","17526","14240","14184","14184","14184","14184","14184","14184","14184","14184","14184","14184"]
[null,"ii16d1"]
[null,"ii16d2","23625","72584","27129","23737","23625","23625","23625","23625","23625","23625","23625","23625","23625","23625"]
[null,"ii16e1"]
[null,"ii16e2","7674","24784","8294","7674","7674","7674","7674","7674","7674","7674","7674","7674","7674","7674"]
[null,"ii32a1","2921","5498","3080","2927","2921","2921","2921","2921","2921","2921","2921","2921","2921","2921"]
[null,"ii32b1"]
[null,"ii32b2","67292","572696","77396","72236","71834","71656","71517","71395","71223","71135","71135","71135","70919","70811"]
[null,"ii32b3","341025","716504","393824","364593","363045","362949","361617","359628","357642","357642","355656","353673","347055","341088"]
[null,"ii32b4","3977","12106","4041","3977","3977","3977","3977","3977","3977","3977","3977","3977","3977","3977"]
[null,"ii32c1"]
[null,"ii32c2"]
[null,"ii32c3","467349",null,"878111","665000","642445","610863","583509","551212","522167","506394","496861","484243","479609","473914"]
[null,"ii32c4","5532","9000","5690","5537","5532","5532","5532","5532","5532","5532","5532","5532","5532","5532"]
[null,"ii32d1"]
[null,"ii32d2"]
[null,"ii32d3","11156","38332","12379","11195","11179","11156","11156","11156","11156","11156","11156","11156","11156","11156"]
[null,"ii32e1"]
[null,"ii32e2"]
[null,"ii32e3","373283","1146882","456658","386288","384173","383393","383309","383309","383309","383309","383309","383309","383309","383309"]
[null,"ii32e4","580421",null,"1465108","742710","656307","652124","650642","650204","650132","650132","650132","650132","647900","642692"]
[null,"ii32e5","600724",null,"724997","623836","618109","617164","616822","616774","616774","616774","616774","616774","616774","616774"]
["iscas89","s27","139","164","150","141","140","139","139","139","139","139","139","139","139","139"]
[null,"s208.1","1815","9498","2670","2424","2424","2142","2112","1995","1995","1994","1994","1993","1953","1953"]
[null,"s298","4601","24822","8490","8472","8015","6785","5601","5001","4771","4563","4604","4618","4617","4617"]
[null,"s344","4130","48024","7510","7503","7503","6950","6950","6282","5940","5698","4894","4849","4192","4140"]
[null,"s349","4061","48232","7441","7434","7434","6881","6881","6213","5871","5629","4825","4780","4123","4071"]
[null,"s382","4710","125302","22994","22991","22987","20683","18982","18812","17709","14075","13261","12649","11044","10217"]
[null,"s386","10667","269888","15080","14902","13735","12316","12056","11322","11217","11124","11093","11011","10930","10847"]
[null,"s400","4920","129450","23629","23626","23619","21245","19544","19374","18272","14903","13790","13284","11925","11001"]
[null,"s420.1","6343","39586","7227","6797","6795","6708","6523","6475","6458","6458","6458","6453","6450","6418"]
[null,"s444","5442","134150","9839","9731","9456","8996","8894","8799","7565","7547","7546","7468","7228","6911"]
[null,"s510","5760","47136","10082","9087","8021","6355","5823","5802","5765","5761","5760","5760","5760","5760"]
[null,"s526","16093","672358","76332","76324","74928","66998","56117","47179","43488","41422","38905","36658","34718","33097"]
[null,"s526n","16591","688254","79536","79528","78528","71335","59847","50770","48358","45646","42285","39052","36330","34831"]
[null,"s641","88280",null,"3474709","3440621","2157983","1601162","1494460","1453671","730388","616244","575370","575370","575370","575370"]
[null,"s713","140386",null,"3395474","3365742","2118223","1626399","1530185","1496251","872287","767792","733941","733941","733941","733941"]
[null,"s820","16622","4889224","47254","45156","39343","35238","33860","31151","28769","26843","26111","24571","23849","22899"]
[null,"s832","39510",null,"59529","56320","52996","51800","51388","50526","49204","48061","47351","46512","46238","45737"]
[null,"s838.1","13539","183850","16626","15812","15810","15248","14956","14498","14385","14280","14280","14273","14264","14055"]
[null,"s953","81247",null,"292466","271849","147405","143925","139745","138292","132672","127846","123117","120136","115571","109814"]
[null,"s1196","350787",null,"927927","921019","823127","773466","736147","697217","650557","623545","568167","553806","520639","505472"]
[null,"s1238","340533",null,"880576","854787","802702","583940","551616","519706","506912","502668","491162","486054","476442","455277"]
[null,"s1423","964051"]
[null,"s1488","51883",null,"72346","72006","71010","69204","67171","65919","65181","61046","59444","57623","57120","54928"]
[null,"s1494","50122",null,"69759","69416","68424","66521","64604","63318","62639","58748","57144","55339","54822","52800"]
["sortnet","sort-num_s-2","9","6","6","6","6","6","6","6","6","6","6","6","6","6"]
[null,"sort-num_s-3","279","898","298","279","279","279","279","279","279","279","279","279","279","279"]
[null,"sort-num_s-4","1178","170222","2735","1956","1725","1665","1539","1270","1270","1184","1184","1184","1184","1178"]
[null,"sort-num_s-5","176047",null,"204404","181201","179486","178609","177686","176514","176424","176061","176061","176061","176061","176047"]
[null,"sort-num_s-6","20104922",null,"20252900","20018511","20008056","20000753","19995351","19991009","19990438","19989080","19989080","19989080","19989080","20104922"]
[]
["specification:"]
["The resulting sizes of ROBDD[/\\_{i^}]_C for each instances"]
["i \\in {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 \\infty}"]