smodels-2.28

         |            [0]             |
---------+----------------------------+
b0.lp  | 0.086;18;0;1;44340;722;1081;291;1.18501  |
b1.lp  | 0.09;19;0;1;44225;722;1081;291;1.18039  |
b2.lp  | 0.084;21;1;1;43377;722;1081;290;1.18224  |
b3.lp  | 0.09;23;4;1;45538;722;1081;290;1.18316  |
b4.lp  | 267.046;418561;418541;1;248800521;722;1081;291;1.18501  |
b5.lp  | 0.087;17;0;1;43970;722;1081;289;1.18501  |
b6.lp  | 0.09;21;0;1;43357;722;1081;289;1.18501  |
b7.lp  | 0.09;23;2;1;49034;722;1081;290;1.18409  |
b8.lp  | 0.089;22;0;1;45053;722;1081;289;1.18224  |
b9.lp  | 0.088;19;0;1;43108;722;1081;287;1.18409  |
b10.lp  | 6.319;9494;9475;1;5826548;722;1081;292;1.18409  |
b11.lp  | 0.092;21;1;1;50007;722;1081;289;1.18409  |
b12.lp  | 0.086;18;0;1;40478;722;1081;285;1.18501  |
b13.lp  | 0.086;18;0;1;46220;722;1081;292;1.18224  |
b14.lp  | 0.091;20;0;1;44388;722;1081;293;1.18779  |
b15.lp  | 0.116;53;35;1;73511;722;1081;291;1.18501  |
b16.lp  | 0.091;19;0;1;47796;722;1081;293;1.18501  |
b17.lp  | 0.091;18;0;1;46959;722;1081;289;1.18686  |
b18.lp  | 0.09;21;0;1;44793;722;1081;288;1.18686  |
b19.lp  | 0.09;19;1;1;42230;722;1081;290;1.18871  |
b20.lp  | 0.089;19;0;1;50130;722;1081;291;1.18594  |
b21.lp  | 0.089;17;0;1;44255;722;1081;291;1.18316  |
b22.lp  | 0.089;20;0;1;48138;722;1081;290;1.18871  |
b23.lp  | 0.09;19;0;1;48335;722;1081;288;1.18501  |
b24.lp  | 0.088;20;1;1;42568;722;1081;287;1.18224  |
b25.lp  | 0.119;68;49;1;71325;722;1081;286;1.18224  |
b26.lp  | 110.586;158636;158617;1;107070494;722;1081;287;1.18501  |
b27.lp  | 0.09;20;0;1;45066;722;1081;289;1.18039  |
b28.lp  | 0.091;21;2;1;46602;722;1081;288;1.18316  |
b29.lp  | 0.091;21;0;1;45702;722;1081;292;1.17761  |
b30.lp  | 0.091;19;0;1;51263;722;1081;294;1.18409  |
b31.lp  | 0.265;301;279;1;203632;722;1081;289;1.18316  |
b32.lp  | 0.091;19;0;1;48826;722;1081;289;1.18501  |
b33.lp  | 0.091;22;0;1;48825;722;1081;291;1.18686  |
b34.lp  | 0.088;20;0;1;42437;722;1081;289;1.18409  |
b35.lp  | 0.09;20;0;1;46927;722;1081;293;1.18501  |
b36.lp  | 0.094;19;1;1;51848;722;1081;289;1.18131  |
b37.lp  | 0.09;17;0;1;48958;722;1081;287;1.18224  |
b38.lp  | 0.09;20;0;1;44052;722;1081;292;1.18316  |
b39.lp  | 0.089;20;0;1;45841;722;1081;289;1.18409  |
b40.lp  | 0.093;21;1;1;44999;722;1081;293;1.18316  |
b41.lp  | 0.085;18;0;1;43724;722;1081;290;1.18409  |
b42.lp  | 0.088;20;0;1;41872;722;1081;289;1.18594  |
b43.lp  | 0.091;18;2;1;48553;722;1081;289;1.18131  |
b44.lp  | 0.089;19;1;1;43449;722;1081;292;1.18224  |
b45.lp  | 0.104;37;18;1;58929;722;1081;290;1.18686  |
b46.lp  | 0.09;21;0;1;43260;722;1081;294;1.18316  |
b47.lp  | 0.088;19;1;1;43086;722;1081;288;1.18409  |
b48.lp  | 0.089;20;0;1;48055;722;1081;295;1.18501  |
b49.lp  | 0.092;21;0;1;46078;722;1081;289;1.18779  |
b50.lp  | 0.088;21;0;1;43383;722;1081;289;1.18594  |
b51.lp  | 0.087;18;0;1;42765;722;1081;290;1.18131  |
b52.lp  | 0.09;19;0;1;44290;722;1081;286;1.18501  |
b53.lp  | 0.092;22;0;1;48068;722;1081;294;1.18594  |
b54.lp  | 0.096;25;6;1;49747;722;1081;291;1.18501  |
b55.lp  | 0.088;22;0;1;45533;722;1081;286;1.18594  |
b56.lp  | 0.162;150;132;1;103806;722;1081;288;1.18224  |
b57.lp  | 0.09;20;0;1;46324;722;1081;294;1.18686  |
b58.lp  | 0.088;19;0;1;42486;722;1081;292;1.18779  |
b59.lp  | 0.094;25;5;1;45623;722;1081;289;1.18686  |
b60.lp  | 0.49;656;637;1;415734;722;1081;292;1.18594  |
b61.lp  | 0.089;18;0;1;44344;722;1081;289;1.18131  |
b62.lp  | 0.089;20;0;1;43816;722;1081;288;1.18686  |
b63.lp  | 0.087;20;0;1;42449;722;1081;293;1.18594  |
b64.lp  | 0.088;19;0;1;41256;722;1081;288;1.18686  |
b65.lp  | 0.09;25;4;1;45757;722;1081;289;1.18409  |
b66.lp  | 0.093;20;0;1;50251;722;1081;291;1.18224  |
b67.lp  | 0.09;21;0;1;48650;722;1081;292;1.18316  |
b68.lp  | 0.088;22;0;1;43726;722;1081;293;1.18779  |
b69.lp  | 0.089;19;0;1;41810;722;1081;291;1.18409  |
b70.lp  | 0.092;20;0;1;50909;722;1081;291;1.18501  |
b71.lp  | 0.09;20;0;1;44454;722;1081;291;1.18224  |
b72.lp  | 0.088;21;0;1;42717;722;1081;288;1.18501  |
b73.lp  | 0.089;19;0;1;44034;722;1081;287;1.18131  |
b74.lp  | 0.154;124;104;1;108316;722;1081;293;1.18224  |
b75.lp  | 0.088;18;0;1;47410;722;1081;292;1.18224  |
b76.lp  | 0.487;614;596;1;386369;722;1081;294;1.18686  |
b77.lp  | 0.555;760;742;1;468122;722;1081;288;1.17946  |
b78.lp  | 0.091;21;0;1;47377;722;1081;294;1.19056  |
b79.lp  | 0.091;22;2;1;50037;722;1081;295;1.18501  |
b80.lp  | 0.091;21;0;1;46048;722;1081;289;1.18501  |
b81.lp  | 0.157;119;101;1;116139;722;1081;291;1.18316  |
b82.lp  | 0.087;19;0;1;48357;722;1081;294;1.17946  |
b83.lp  | 0.09;19;0;1;45257;722;1081;288;1.18316  |
b84.lp  | 0.093;20;0;1;48308;722;1081;289;1.18224  |
b85.lp  | 0.091;21;1;1;49871;722;1081;291;1.18316  |
b86.lp  | 0.091;18;0;1;47611;722;1081;291;1.18501  |
b87.lp  | 0.105;50;32;1;63139;722;1081;287;1.18409  |
b88.lp  | 0.093;21;0;1;48751;722;1081;291;1.18501  |
b89.lp  | 0.092;20;0;1;45372;722;1081;290;1.18224  |
b90.lp  | 0.091;20;1;1;47709;722;1081;290;1.18501  |
b0.lp  | 0.134;90;70;1;91263;722;1081;289;1.18594  |
b1.lp  | 0.09;18;0;1;45432;722;1081;295;1.18131  |
b2.lp  | 0.088;18;0;1;43337;722;1081;287;1.18686  |
b3.lp  | 0.112;46;29;1;71689;722;1081;283;1.18316  |
b4.lp  | 0.087;18;0;1;43157;722;1081;290;1.18131  |
b5.lp  | 0.087;19;0;1;43467;722;1081;292;1.17946  |
b6.lp  | 0.087;18;0;1;46067;722;1081;290;1.18501  |
b7.lp  | 0.094;20;0;1;47951;722;1081;293;1.18224  |
b8.lp  | 8.826;14699;14681;1;8271364;722;1081;291;1.18686  |
b9.lp  | 0.088;19;0;1;42578;722;1081;289;1.18316  |
b10.lp  | 0.094;17;0;1;53904;722;1081;289;1.18871  |
b11.lp  | 0.091;19;0;1;46706;722;1081;289;1.18409  |
b12.lp  | 0.149;104;84;1;94060;722;1081;290;1.18594  |
b13.lp  | 0.089;15;0;1;44967;722;1081;284;1.18409  |
b14.lp  | 0.161;138;120;1;108714;722;1081;289;1.18131  |
b15.lp  | 1.151;1619;1597;1;988340;722;1081;289;1.18594  |
b0.lp  | 0.086;20;0;1;44075;722;1081;289;1.18039  |
b1.lp  | 0.092;20;0;1;51083;722;1081;294;1.18409  |
b2.lp  | 0.09;20;0;1;45902;722;1081;293;1.18779  |
b3.lp  | 0.088;19;1;1;42035;722;1081;286;1.18594  |
b4.lp  | 0.088;21;1;1;43999;722;1081;293;1.18594  |
b5.lp  | 0.097;27;7;1;51635;722;1081;289;1.18409  |
b6.lp  | 0.089;22;0;1;43543;722;1081;290;1.18501  |
b7.lp  | 0.092;19;1;1;47940;722;1081;288;1.18409  |
b8.lp  | 0.108;43;23;1;62975;722;1081;290;1.18686  |
b9.lp  | 0.087;21;1;1;44834;722;1081;288;1.18501  |
b10.lp  | 0.089;21;2;1;47859;722;1081;292;1.18131  |
b11.lp  | 0.091;19;0;1;44499;722;1081;289;1.18039  |
b12.lp  | 0.253;270;251;1;198098;722;1081;286;1.18686  |
b13.lp  | 0.093;20;0;1;45494;722;1081;292;1.18224  |
b14.lp  | 0.096;26;7;1;51464;722;1081;291;1.18131  |
b15.lp  | 0.087;19;0;1;39362;722;1081;287;1.18316  |
b16.lp  | 0.744;990;974;1;597319;722;1081;286;1.18501  |
b17.lp  | 0.091;21;1;1;45510;722;1081;295;1.18131  |
b18.lp  | 0.09;25;5;1;45077;722;1081;289;1.18224  |
b19.lp  | 0.092;22;3;1;46208;722;1081;289;1.18686  |
b20.lp  | 0.091;19;2;1;45570;722;1081;289;1.18224  |
b21.lp  | 0.089;17;0;1;44023;722;1081;289;1.17854  |
b22.lp  | 0.092;24;0;1;47582;722;1081;292;1.18686  |
b23.lp  | 0.092;22;0;1;46272;722;1081;288;1.18779  |
b24.lp  | 0.089;18;0;1;43361;722;1081;289;1.18594  |
b25.lp  | 0.089;20;1;1;44716;722;1081;291;1.18131  |
b26.lp  | 0.096;22;0;1;54459;722;1081;293;1.18409  |
b27.lp  | 0.093;21;1;1;48762;722;1081;293;1.18501  |
b28.lp  | 0.093;19;0;1;47244;722;1081;290;1.18316  |
b29.lp  | 0.089;19;0;1;51121;722;1081;290;1.18779  |
b30.lp  | 0.508;733;714;1;411506;722;1081;293;1.18779  |
b31.lp  | 0.121;72;54;1;71804;722;1081;289;1.18871  |
b32.lp  | 0.089;19;0;1;45882;722;1081;293;1.17946  |
b33.lp  | 0.088;19;0;1;44389;722;1081;289;1.18409  |
b34.lp  | 0.09;21;0;1;44504;722;1081;291;1.18501  |
b35.lp  | 0.09;18;0;1;46534;722;1081;288;1.18501  |
b36.lp  | 0.091;20;0;1;44597;722;1081;288;1.18409  |
b37.lp  | 0.092;21;0;1;49220;722;1081;289;1.18316  |
b38.lp  | 0.09;22;0;1;47296;722;1081;287;1.18501  |
b39.lp  | 0.091;20;0;1;45315;722;1081;287;1.18409  |
b40.lp  | 0.093;20;0;1;55758;722;1081;291;1.18316  |
b41.lp  | 0.09;19;0;1;46809;722;1081;288;1.18409  |
b42.lp  | 0.091;17;0;1;48348;722;1081;286;1.18409  |
b43.lp  | 0.09;16;2;1;43703;722;1081;285;1.17854  |
b44.lp  | 0.093;18;0;1;49719;722;1081;287;1.18501  |
b45.lp  | 0.091;19;0;1;45728;722;1081;290;1.18871  |
b46.lp  | 0.119;58;39;1;75775;722;1081;289;1.18686  |
b47.lp  | 0.091;18;0;1;48071;722;1081;289;1.18871  |
b48.lp  | 0.089;18;0;1;44911;722;1081;292;1.18224  |
b49.lp  | 0.091;20;1;1;44676;722;1080;279;1.18426  |
b50.lp  | 0.091;16;0;1;50309;722;1081;293;1.18316  |
b51.lp  | 0.094;20;1;1;50063;722;1081;289;1.18039  |
b52.lp  | 0.98;1547;1525;1;840483;722;1081;292;1.18501  |
b53.lp  | 0.091;21;0;1;48124;722;1081;291;1.18686  |
b54.lp  | 0.098;26;7;1;51831;722;1081;286;1.18501  |
b55.lp  | 0.09;19;1;1;45239;722;1081;286;1.18594  |
b56.lp  | 0.089;16;0;1;43117;722;1081;286;1.18316  |
b57.lp  | 152.65;218652;218634;1;138792776;722;1081;293;1.18224  |
b58.lp  | 0.092;19;0;1;48227;722;1081;291;1.17854  |
b59.lp  | 0.088;18;2;1;44104;722;1081;290;1.18316  |
b60.lp  | 0.09;20;0;1;45525;722;1081;291;1.18316  |
b61.lp  | 0.091;21;0;1;44667;722;1081;288;1.18409  |
b62.lp  | 0.087;20;0;1;43436;722;1081;289;1.18409  |
b63.lp  | 0.092;18;0;1;48974;722;1081;293;1.18131  |
b64.lp  | 0.09;20;0;1;45034;722;1081;290;1.18501  |
b65.lp  | 0.091;20;0;1;48085;722;1081;289;1.18409  |
b66.lp  | 0.094;21;0;1;51630;722;1081;294;1.18316  |
b67.lp  | 0.065;0;0;NV;332;722;1080;0;1.18333  |
b68.lp  | 0.091;22;0;1;48814;722;1081;290;1.18131  |
b69.lp  | 0.09;20;0;1;43392;722;1081;290;1.17946  |
b70.lp  | 0.464;629;611;1;393553;722;1081;289;1.18039  |
b71.lp  | 18.541;29969;29950;1;16850783;722;1081;294;1.18316  |
b72.lp  | 0.089;20;1;1;44282;722;1081;288;1.18501  |
b73.lp  | 0.09;21;0;1;45742;722;1081;292;1.18779  |
b74.lp  | 0.085;18;0;1;41621;722;1081;290;1.18224  |
b75.lp  | 0.089;20;0;1;41497;722;1081;289;1.18224  |
b76.lp  | 27.696;42350;42331;1;24992519;722;1081;290;1.18131  |
b77.lp  | 0.092;18;0;1;47437;722;1081;286;1.17669  |
b78.lp  | 0.089;20;1;1;45514;722;1081;286;1.18224  |
b79.lp  | 0.09;20;0;1;47547;722;1081;289;1.18224  |
b80.lp  | 0.09;20;0;1;44105;722;1081;291;1.18409  |
b81.lp  | 0.091;19;0;1;44442;722;1081;293;1.18501  |
b82.lp  | 0.092;23;2;1;48619;722;1081;290;1.18409  |
b83.lp  | 0.089;19;0;1;42468;722;1081;293;1.18779  |
b84.lp  | 2.075;3231;3210;1;1944694;722;1081;292;1.17946  |
b85.lp  | 0.09;18;0;1;44904;722;1081;291;1.18686  |
b86.lp  | 0.091;20;0;1;45504;722;1081;293;1.18131  |
b87.lp  | 0.09;21;0;1;49351;722;1081;295;1.18039  |
b88.lp  | 0.112;47;30;1;67854;722;1081;296;1.18316  |
b89.lp  | 0.091;16;0;1;45741;722;1081;293;1.18686  |
b90.lp  | 0.095;21;3;1;50899;722;1081;293;1.17946  |
b91.lp  | 0.089;16;0;1;43792;722;1081;291;1.18594  |
b92.lp  | 0.092;20;0;1;47609;722;1081;291;1.18131  |
b93.lp  | 0.091;20;1;1;46673;722;1081;286;1.18501  |
b94.lp  | 0.12;60;43;1;72275;722;1081;290;1.18779  |
b95.lp  | 0.089;19;1;1;41966;722;1081;289;1.18316  |
b96.lp  | 0.091;24;4;1;44502;722;1081;287;1.18779  |
b97.lp  | 0.089;19;0;1;41569;722;1081;290;1.17946  |
b98.lp  | 0.092;22;0;1;50239;722;1081;292;1.18501  |
b99.lp  | 0.088;20;0;1;44462;722;1081;289;1.18594  |
b100.lp  | 0.093;20;0;1;48612;722;1081;289;1.18039  |
b101.lp  | 0.093;22;0;1;51565;722;1081;289;1.18316  |
b102.lp  | 0.089;22;1;1;47871;722;1081;287;1.18409  |
b103.lp  | 0.091;19;0;1;48110;722;1081;291;1.18871  |
b104.lp  | 0.085;19;0;1;42332;722;1081;289;1.18501  |
b105.lp  | 0.089;22;0;1;46884;722;1081;292;1.18409  |
b106.lp  | 0.086;16;0;1;43933;722;1081;293;1.18779  |
b107.lp  | 0.09;19;0;1;45730;722;1081;294;1.18594  |
b108.lp  | 0.088;18;0;1;42135;722;1081;289;1.18224  |
b109.lp  | 0.086;19;0;1;42522;722;1081;290;1.18039  |
b110.lp  | 0.093;20;0;1;52841;722;1081;295;1.18316  |
b111.lp  | 0.09;22;0;1;44156;722;1081;287;1.18779  |
b112.lp  | 0.088;21;0;1;44201;722;1081;288;1.18409  |
b113.lp  | 0.087;19;0;1;45897;722;1081;288;1.17946  |
b114.lp  | 0.1;38;18;1;54663;722;1081;292;1.18316  |
b115.lp  | 0.089;18;0;1;50314;722;1081;292;1.18779  |
b116.lp  | 0.089;16;0;1;46976;722;1081;289;1.18594  |
b117.lp  | 0.094;19;1;1;48870;722;1081;291;1.18779  |
b118.lp  | 0.092;19;0;1;47642;722;1081;289;1.18224  |
b119.lp  | 0.092;21;0;1;48468;722;1081;291;1.18594  |
b120.lp  | 0.092;18;0;1;45792;722;1081;287;1.18686  |
b121.lp  | 0.151;99;80;1;105210;722;1081;290;1.18039  |
