Enumerative problem A214(W)2(X)2(Y)3 = 7 on Fl(1,2,3;5)

Experimental data
Number of Real Solutions
  Necklaces     1     3     5     7  
  Acccbbaa     0     0     0     25000  
  Aaaccbbc     0     16     11383     13601  
  Aabbcacc     0     479     11924     12597  
  Aabaccbc     0     1022     12450     11528  
  Abaaccbc     0     1027     13640     10333  
  Abcccbaa     0     1052     14271     9677  
  Aaacccbb     0     1160     795     23045  
  Acbbaacc     0     1554     12305     11141  
  Abccbcaa     0     1632     15264     8104  
  Aacabbcc     0     1726     2908     20366  
  Accacabb     0     3264     15166     6570  
  Acccbaab     0     3287     5404     16309  
  Aacabccb     0     3716     14542     6742  
  Acbccbaa     0     3931     11482     9587  
  Acccbaba     0     4207     1602     19191  
  Accbbcaa     0     4525     9049     11426  
  Aacccbba     0     5270     2929     16801  
  Acccaabb     0     5506     10983     8511  
  Acaccbba     0     7027     9432     8541  
  Accbbaac     0     7237     7749     10014  
  Aabbaccc     0     8347     7261     9392  
  Aabccbac     0     9823     10462     4715  
  Acabbacc     0     10861     9765     4374  
  Aacccabb     0     12641     8896     3463  
  Acbaaccb     1     5629     11730     7640  
  Acbaccba     3     6191     12816     5990  
  Abcaccab     6     3206     11543     10245  
  Abacccab     6     4310     9065     11619  
  Aabcccba     7     2431     13158     9404  
  Acacabbc     8     3643     11061     10288  
  Acbcacba     13     4109     12163     8715  
  Abcacacb     17     4732     13834     6417  
  Aacaccbb     22     4531     5700     14747  
  Accbaabc     32     2972     13559     8437  
  Abcaaccb     49     7131     11964     5856  
  Acbcabac     57     5071     12469     7403  
  Aaccbcab     82     6125     12085     6708  
  Accbabac     82     8918     8370     7630  
  Aabccbca     95     6991     12080     5834  
  Aacccbab     101     11131     5325     8443  
  Accabacb     138     3109     12100     9653  
  Aabacccb     172     3294     9918     11616  
  Aaccbbac     172     8793     9108     6927  
  Aaccbacb     178     7971     12000     4851  
  Abccacab     194     4332     8867     11607  
  Accbacba     271     4585     9061     11083  
  Abacabcc     313     8165     12169     4353  
  Abacccba     317     12325     7465     4893  
  Abaccabc     321     7781     13341     3557  
  Acabbcac     338     3829     13896     6937  
  Aabcaccb     338     7923     12352     4387  
  Acbabacc     378     7981     11566     5075  
  Accbcaba     390     2940     5247     16423  
  Acbcabca     399     5560     10923     8118  
  Abcaccba     405     12141     9519     2935  
  Ababaccc     421     10556     7342     6681  
  Abacbcac     424     7463     13383     3730  
  Accbaacb     432     10661     10059     3848  
  Aaccacbb     450     6213     11916     6421  
  Accbcaab     465     5525     11297     7713  
  Abaccbca     471     6529     13088     4912  
  Acbcaabc     482     10149     11315     3054  
  Acbacabc     526     12827     9241     2406  
  Abaccbac     564     7892     12472     4072  
  Abaacccb     569     3612     5849     14970  
  Abccbaac     594     10002     10368     4036  
  Acabaccb     601     6207     11706     6486  
  Acbcbaac     610     8467     11092     4831  
  Aaccabbc     630     4316     13864     6190  
  Aabcbacc     638     7480     10816     6066  
  Acbcacab     639     3722     12916     7723  
  Aacacbbc     644     3080     12034     9242  
  Acbacbac     747     7286     10494     6473  
  Aaccabcb     775     8629     12129     3467  
  Abacbacc     781     5460     11754     7005  
  Acbacbca     872     8283     9678     6167  
  Abcbaacc     889     6417     14864     2830  
  Aaccbcba     915     6573     10243     7269  
  Acabcbac     932     8343     10843     4882  
  Acacbacb     951     7353     11265     5431  
  Acbbcaac     956     10051     9979     4014  
  Acabcacb     1032     7596     10496     5876  
  Acbacacb     1121     6353     11280     6246  
  Acaccabb     1135     9175     11603     3087  
  Acaccbab     1241     9712     11137     2910  
  Abbcaacc     1246     8705     10689     4360  
  Aacbaccb     1251     5584     14507     3658  
  Ababcacc     1350     10205     10199     3246  
  Acbabcac     1361     12252     9249     2138  
  Accbcbaa     1390     5305     9149     9156  
  Abcacbca     1402     8602     11334     3662  
  Acaaccbb     1449     6895     9000     7656  
  Aacabcbc     1499     5687     9781     8033  
  Aaccbbca     1511     8655     8367     6467  
  Acacabcb     1586     7120     12030     4264  
  Aacbbacc     1820     5044     11511     6625  
  Aaccbabc     2083     11597     7943     3377  
  Aaaccbcb     2220     6080     9255     7445  
  Accbabca     2245     10917     7577     4261  
  Acbcaacb     2391     9078     11113     2418  
  Aabcbcac     2495     9761     8666     4078  
  Aacbbcac     2800     9163     9387     3650  
  Aacbcbac     2925     10875     8445     2755  
  Aacacbcb     2980     8453     7667     5900  
  Acacacbb     3259     6630     10389     4722  
  Acbcbcaa     4265     5831     8043     6861  
  Abcbcaac     4573     10122     7728     2577  
  Aacbcbca     4836     10515     5861     3788  
Key
Condition Name Symbol Codimension
 214   A214   A   2 
 213   W   a   1 
 132   X   b   1 
 124   Y   c   1 
Point Selection
Total time of computation: 391 551.85 GHz-seconds or 4.53 GHz-days on MSRI 1.2G
2 700 000 Polynomial systems solved
The coefficients of a typical eliminant had 65 digits.
The typical eliminant had size 554 bytes.
This table automatically generated from the data in This File using This Maple Script
Created: Fri Jul 15 15:41:31 CDT 2005