There is a newer version of this record available.

Software Open Access

A Verified Implementation of the Berlekamp–Zassenhaus Factorization Algorithm, supporting material

Divasón, Jose; Joosten, Sebastiaan J. C.; Thiemann, René; Yamada, Akihisa


MARC21 XML Export

<?xml version='1.0' encoding='UTF-8'?>
<record xmlns="http://www.loc.gov/MARC21/slim">
  <leader>00000nmm##2200000uu#4500</leader>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">Factor Bounds</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">Hensel Lifting</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">Isabelle/HOL</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">Local Type Definitions</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">Polynomial Factorization</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">Theorem Proving</subfield>
  </datafield>
  <controlfield tag="005">20200125192239.0</controlfield>
  <controlfield tag="001">2539422</controlfield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">University of Innsbruck, Austria</subfield>
    <subfield code="0">(orcid)0000-0002-6590-6220</subfield>
    <subfield code="a">Joosten, Sebastiaan J. C.</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">University of Innsbruck, Austria</subfield>
    <subfield code="0">(orcid)0000-0002-0323-8829</subfield>
    <subfield code="a">Thiemann, René</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">University of Innsbruck, Austria</subfield>
    <subfield code="0">(orcid)0000-0001-8872-2240</subfield>
    <subfield code="a">Yamada, Akihisa</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">568092</subfield>
    <subfield code="z">md5:3cb18d80fe36950bc93ef26428a7d5cc</subfield>
    <subfield code="u">https://zenodo.org/record/2539422/files/Experiments.zip</subfield>
  </datafield>
  <datafield tag="542" ind1=" " ind2=" ">
    <subfield code="l">open</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="c">2018-12-23</subfield>
  </datafield>
  <datafield tag="909" ind1="C" ind2="O">
    <subfield code="p">software</subfield>
    <subfield code="o">oai:zenodo.org:2539422</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="u">University of La Rioja, Spain</subfield>
    <subfield code="0">(orcid)0000-0002-5173-128X</subfield>
    <subfield code="a">Divasón, Jose</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">A Verified Implementation of the Berlekamp–Zassenhaus Factorization Algorithm, supporting material</subfield>
  </datafield>
  <datafield tag="540" ind1=" " ind2=" ">
    <subfield code="u">https://creativecommons.org/licenses/by/4.0/legalcode</subfield>
    <subfield code="a">Creative Commons Attribution 4.0 International</subfield>
  </datafield>
  <datafield tag="650" ind1="1" ind2="7">
    <subfield code="a">cc-by</subfield>
    <subfield code="2">opendefinition.org</subfield>
  </datafield>
  <datafield tag="520" ind1=" " ind2=" ">
    <subfield code="a">&lt;p&gt;This is the supporting material for the paper &lt;em&gt;A Verified Implementation of the Berlekamp&amp;ndash;Zassenhaus Factorization Algorithm&lt;/em&gt; by Jose Divas&amp;oacute;n, Sebastiaan Joosten, Ren&amp;eacute; Thiemann and Akihisa Yamada.&lt;/p&gt;

&lt;p&gt;&lt;strong&gt;Abstract&lt;/strong&gt;&lt;/p&gt;

&lt;p&gt;We formalize the Berlekamp--Zassenhaus algorithm for factoring square-free integer polynomials in Isabelle/HOL. We further adapt an existing formalization of Yun&amp;#39;s square-free factorization algorithm to integer polynomials, and thus provide an efficient and certified factorization algorithm for arbitrary univariate polynomials.&lt;/p&gt;

&lt;p&gt;The algorithm first performs factorization in the prime field GF(&lt;em&gt;p&lt;/em&gt;) and then performs computations in the ring of integers modulo &lt;em&gt;p&lt;sup&gt;k&lt;/sup&gt;&lt;/em&gt;, where both &lt;em&gt;p&lt;/em&gt; and &lt;em&gt;k&lt;/em&gt; are determined at runtime. Since a natural modeling of these structures via dependent types is not possible in Isabelle/HOL, we formalize the whole algorithm using locales and local type definitions.&lt;/p&gt;

&lt;p&gt;Through experiments we verify that our algorithm factors polynomials of degree up to 500 within seconds.&lt;/p&gt;

&lt;p&gt;&lt;strong&gt;Formalization&lt;/strong&gt;&lt;/p&gt;

&lt;p&gt;The formalization is part of the &lt;a href="https://www.isa-afp.org/"&gt;Archive of Formal Proofs&lt;/a&gt; for &lt;a href="https://isabelle.in.tum.de/"&gt;Isabelle&lt;/a&gt; 2018 within the entry &lt;a href="https://www.isa-afp.org/entries/Berlekamp_Zassenhaus.html"&gt;The Factorization Algorithm of Berlekamp and Zassenhaus&lt;/a&gt;.&lt;/p&gt;

&lt;p&gt;The following list documents the relationship between the paper and the formalization:&lt;/p&gt;

&lt;p&gt;Section 1 Introduction&lt;/p&gt;

&lt;ul&gt;
	&lt;li&gt;Theorem 1 (page 2): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Factorize_Int_Poly.thy#Factorize_Int_Poly.thy-546"&gt;factorize_int_poly&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;Section 3 Formalizing Prime Fields&lt;/p&gt;

&lt;ul&gt;
	&lt;li&gt;Lemma 1 (page 6): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Polynomial_Factorization/Square_Free_Factorization.thy#Square_Free_Factorization.thy-76"&gt;coprime_pderiv_imp_square_free&lt;/a&gt;&lt;/li&gt;
	&lt;li&gt;Lemma 2 (page 8): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Suitable_Prime.thy#Suitable_Prime.thy-120"&gt;square_free_mod_imp_square_free&lt;/a&gt;&lt;/li&gt;
	&lt;li&gt;Lemma 3 (page 8): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Poly_Mod_Finite_Field.thy#Poly_Mod_Finite_Field.thy-172"&gt;times_MP_Rel&lt;/a&gt;&lt;/li&gt;
	&lt;li&gt;Lemma 4 (page 8): &lt;a href="https://isabelle.in.tum.de/repos/isabelle/file/Isabelle2018/src/HOL/Computational_Algebra/Polynomial.thy#l1388"&gt;degree_mult_eq&lt;/a&gt;&lt;/li&gt;
	&lt;li&gt;Lemma 5 (page 8): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Poly_Mod_Finite_Field.thy#Poly_Mod_Finite_Field.thy-559"&gt;poly_mod_prime_type.degree_m_mult_eq&lt;/a&gt;&lt;/li&gt;
	&lt;li&gt;Lemma 6 (page 8): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Poly_Mod_Finite_Field.thy#Poly_Mod_Finite_Field.thy-561"&gt;poly_mod_prime.degree_m_mult_eq&lt;/a&gt;&lt;/li&gt;
	&lt;li&gt;Lemma 7 (page 10): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Arithmetic_Record_Based.thy#Arithmetic_Record_Based.thy-131"&gt;gcd_eucl_i&lt;/a&gt;&lt;/li&gt;
	&lt;li&gt;Lemma 8 (page 10): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Finite_Field_Record_Based.thy#Finite_Field_Record_Based.thy-1583"&gt;finite_field_ops_integer&lt;/a&gt;&lt;/li&gt;
	&lt;li&gt;Lemma 9 (page 11): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Finite_Field_Record_Based.thy#Finite_Field_Record_Based.thy-763"&gt;finite_field_ops32&lt;/a&gt;&lt;/li&gt;
	&lt;li&gt;Lemma 10 (page 11): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Finite_Field_Record_Based.thy#Finite_Field_Record_Based.thy-1175"&gt;finite_field_ops64&lt;/a&gt;&lt;/li&gt;
	&lt;li&gt;Lemma 11 (page 11): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Polynomial_Record_Based.thy#Polynomial_Record_Based.thy-829"&gt;euclidean_ring_ops_poly&lt;/a&gt;&lt;/li&gt;
	&lt;li&gt;Lemma 12 (page 11): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Polynomial_Record_Based.thy#Polynomial_Record_Based.thy-842"&gt;poly_rel_gcd&lt;/a&gt;&lt;/li&gt;
	&lt;li&gt;Lemma 13 (page 12): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Suitable_Prime.thy#Suitable_Prime.thy-54"&gt;prime_field_gen.square_free_impl(1)&lt;/a&gt;&lt;/li&gt;
	&lt;li&gt;Lemma 14 (page 12): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Suitable_Prime.thy#Suitable_Prime.thy-153"&gt;poly_mod_prime.square_free_impl(1)&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;Section 4 Square-Free Factorization of Integer Polynomials&lt;/p&gt;

&lt;ul&gt;
	&lt;li&gt;Theorem 2 (page 13): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Square_Free_Factorization_Int.thy#Square_Free_Factorization_Int.thy-595"&gt;square_free_factorization_int&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;Section 5 Square-Free Polynomials in GF(&lt;em&gt;p&lt;/em&gt;)&lt;/p&gt;

&lt;ul&gt;
	&lt;li&gt;Lemma 15 (page 14): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Suitable_Prime.thy#Suitable_Prime.thy-314"&gt;suitable_prime_bz&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;Section 6 Berlekamp&amp;#39;s Algorithm&lt;/p&gt;

&lt;ul&gt;
	&lt;li&gt;Theorem 3 (page 18): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Berlekamp_Type_Based.thy#Berlekamp_Type_Based.thy-3121"&gt;berlekamp_monic_factorization&lt;/a&gt;&lt;/li&gt;
	&lt;li&gt;Lemma 17 (page 19): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Distinct_Degree_Factorization.thy#Distinct_Degree_Factorization.thy-680"&gt;degree_divisor1&lt;/a&gt;&lt;/li&gt;
	&lt;li&gt;Lemma 17 (page 19): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Distinct_Degree_Factorization.thy#Distinct_Degree_Factorization.thy-728"&gt;degree_divisor2&lt;/a&gt;&lt;/li&gt;
	&lt;li&gt;Theorem 4 (page 20): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Finite_Field_Factorization.thy#Finite_Field_Factorization.thy-120"&gt;finite_field_factorization&lt;/a&gt;&lt;/li&gt;
	&lt;li&gt;Theorem 5 (page 22): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Finite_Field_Factorization_Record_Based.thy#Finite_Field_Factorization_Record_Based.thy-592"&gt;finite_field_factorization_int&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;Section 7 Mignotte&amp;#39;s Factor Bound&lt;/p&gt;

&lt;ul&gt;
	&lt;li&gt;Lemma 18 (page 22): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Factor_Bound.thy#Factor_Bound.thy-272"&gt;factor_bound&lt;/a&gt;&lt;/li&gt;
	&lt;li&gt;Lemma 19 (page 24): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Sqrt_Babylonian/Log_Impl.thy#Log_Impl.thy-164"&gt;log_ceiling&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;Section 8 Hensel Lifting&lt;/p&gt;

&lt;ul&gt;
	&lt;li&gt;Lemma 21 (page 27): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Hensel_Lifting_Type_Based.thy#Hensel_Lifting_Type_Based.thy-652"&gt;hensel_1&lt;/a&gt;&lt;/li&gt;
	&lt;li&gt;Lemma 22 (page 27): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Hensel_Lifting.thy#Hensel_Lifting.thy-729"&gt;unique_hensel_binary&lt;/a&gt;&lt;/li&gt;
	&lt;li&gt;Lemma 23 (page 29): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Berlekamp_Hensel.thy#Berlekamp_Hensel.thy-570"&gt;hensel_lifting_unique&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;Section 9 Reconstructing True Factors&lt;/p&gt;

&lt;ul&gt;
	&lt;li&gt;Theorem 6 (page 31): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Reconstruction.thy#Reconstruction.thy-879"&gt;zassenhaus_reconstruction&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;Section 10 Assembled Factorization Algorithm&lt;/p&gt;

&lt;ul&gt;
	&lt;li&gt;Theorem 7 (page 32): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Berlekamp_Zassenhaus.thy#Berlekamp_Zassenhaus.thy-110"&gt;berlekamp_zassenhaus_factorization_irreducible&lt;/a&gt;&lt;/li&gt;
	&lt;li&gt;Theorem 8 (page 32): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Factorize_Int_Poly.thy#Factorize_Int_Poly.thy-265"&gt;internal_int_poly_factorization_mem&lt;/a&gt;&lt;/li&gt;
	&lt;li&gt;Theorem 8 (page 32): &lt;a href="https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Factorize_Int_Poly.thy#Factorize_Int_Poly.thy-289"&gt;internal_int_poly_factorization&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;&lt;strong&gt;Experiments&lt;/strong&gt;&lt;/p&gt;

&lt;p&gt;One can rerun the experiments as follows:&lt;/p&gt;

&lt;ol&gt;
	&lt;li&gt;&lt;a href="https://zenodo.org/record/2539422/files/Experiments.zip"&gt;Download and extract the attached file&lt;/a&gt;&lt;a href="https://zenodo.org/api/files/a48bcf23-3369-48bd-b60e-a02eb88ed926/formalization_and_experiments.zip"&gt;.&lt;/a&gt;&lt;/li&gt;
	&lt;li&gt;Inspect the path of the constant binary within the file experiments/Code_Old/Mathematica.hs whether it matches your Mathematica installation. Otherwise you can deactivate the Mathematica experiments by disabling the external factorization in experiments/Experiments/run_experiment.sh.&lt;/li&gt;
	&lt;li&gt;Compile experiments/Code_Old/Main and experiments/Code_New/Main with -O2&lt;/li&gt;
	&lt;li&gt;Invoke ./experiments/Experiments/run_experiments.sh&lt;/li&gt;
	&lt;li&gt;To turn the raw data into .csv-files and generated the Mathematica-graph, change to the experiments/Experiments directory and invoke ./time_tables_to_mathematica.sh&lt;/li&gt;
	&lt;li&gt;To get the pdf-file, paste the output of the previous command into the first line of the Mathematica-file journal_plot.nb&lt;/li&gt;
&lt;/ol&gt;

&lt;p&gt;One can also run the experiments disabling some of the optimizations by means of the files Code_New_No_{...}/Main.hs&lt;/p&gt;

&lt;p&gt;In addition, the Isabelle file Generate_Code.thy generates the Haskell sources.&lt;/p&gt;

&lt;p&gt;The following table contains all the experiments of Figure 1 in the article.&lt;/p&gt;

&lt;p&gt;&lt;strong&gt;Polynomial &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp; Mathematica&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp; Old&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;New&amp;nbsp;&amp;nbsp;&amp;nbsp; &lt;/strong&gt;&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_100.poly.txt"&gt;poly_100.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.478s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.194s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.085s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_101.poly.txt"&gt;poly_101.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.449s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.209s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.095s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_102.poly.txt"&gt;poly_102.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.475s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.247s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.145s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_103.poly.txt"&gt;poly_103.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.491s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.171s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.109s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_104.poly.txt"&gt;poly_104.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.479s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.131s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.096s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_105.poly.txt"&gt;poly_105.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.492s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.276s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.140s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_106.poly.txt"&gt;poly_106.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.458s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.148s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.097s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_107.poly.txt"&gt;poly_107.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.463s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.180s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.107s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_108.poly.txt"&gt;poly_108.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.472s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.216s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.122s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_109.poly.txt"&gt;poly_109.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.477s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.154s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.103s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_110.poly.txt"&gt;poly_110.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.457s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.180s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.119s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_111.poly.txt"&gt;poly_111.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.465s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.218s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.122s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_112.poly.txt"&gt;poly_112.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.487s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.217s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.132s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_113.poly.txt"&gt;poly_113.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.471s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.130s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.084s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_114.poly.txt"&gt;poly_114.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.465s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.269s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.120s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_115.poly.txt"&gt;poly_115.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.464s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.243s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.105s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_116.poly.txt"&gt;poly_116.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.457s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.269s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.122s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_117.poly.txt"&gt;poly_117.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.476s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.333s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.135s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_118.poly.txt"&gt;poly_118.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.498s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.220s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.082s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_119.poly.txt"&gt;poly_119.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.462s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.228s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.134s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_120.poly.txt"&gt;poly_120.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.449s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.318s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.109s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_121.poly.txt"&gt;poly_121.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.485s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.271s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.181s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_122.poly.txt"&gt;poly_122.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.483s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.229s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.108s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_123.poly.txt"&gt;poly_123.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.465s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.254s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.147s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_124.poly.txt"&gt;poly_124.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.495s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.278s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.158s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_125.poly.txt"&gt;poly_125.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.460s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.378s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.157s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_126.poly.txt"&gt;poly_126.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.480s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.306s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.168s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_127.poly.txt"&gt;poly_127.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.476s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.328s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.198s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_128.poly.txt"&gt;poly_128.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.492s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.272s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.144s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_129.poly.txt"&gt;poly_129.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.464s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.421s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.226s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_130.poly.txt"&gt;poly_130.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.483s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.267s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.132s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_131.poly.txt"&gt;poly_131.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.497s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.329s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.158s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_132.poly.txt"&gt;poly_132.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.471s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.482s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.241s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_133.poly.txt"&gt;poly_133.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.493s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.448s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.294s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_134.poly.txt"&gt;poly_134.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.474s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.317s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.172s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_135.poly.txt"&gt;poly_135.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.507s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.408s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.170s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_136.poly.txt"&gt;poly_136.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.502s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.429s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.242s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_137.poly.txt"&gt;poly_137.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.499s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.279s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.171s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_138.poly.txt"&gt;poly_138.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.480s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.326s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.195s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_139.poly.txt"&gt;poly_139.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.499s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.327s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.157s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_140.poly.txt"&gt;poly_140.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.481s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.390s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.245s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_141.poly.txt"&gt;poly_141.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.516s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.412s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.249s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_142.poly.txt"&gt;poly_142.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.496s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.295s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.192s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_143.poly.txt"&gt;poly_143.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.500s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.280s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.185s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_144.poly.txt"&gt;poly_144.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.525s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.513s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.268s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_145.poly.txt"&gt;poly_145.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.518s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.424s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.257s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_146.poly.txt"&gt;poly_146.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.492s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.478s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.209s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_147.poly.txt"&gt;poly_147.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.474s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.595s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.296s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_148.poly.txt"&gt;poly_148.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.483s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.379s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.209s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_149.poly.txt"&gt;poly_149.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.483s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.542s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.296s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_150.poly.txt"&gt;poly_150.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.493s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.224s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.131s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_151.poly.txt"&gt;poly_151.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.484s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.533s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.232s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_152.poly.txt"&gt;poly_152.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.537s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.473s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.183s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_153.poly.txt"&gt;poly_153.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.513s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.500s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.301s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_154.poly.txt"&gt;poly_154.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.487s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.357s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.183s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_155.poly.txt"&gt;poly_155.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.544s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.659s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.294s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_156.poly.txt"&gt;poly_156.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.497s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.627s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.221s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_157.poly.txt"&gt;poly_157.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.491s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.706s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.390s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_158.poly.txt"&gt;poly_158.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.538s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.473s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.208s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_159.poly.txt"&gt;poly_159.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.487s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.920s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.470s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_160.poly.txt"&gt;poly_160.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.544s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.665s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.249s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_161.poly.txt"&gt;poly_161.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.515s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.605s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.207s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_162.poly.txt"&gt;poly_162.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.509s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.037s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.384s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_163.poly.txt"&gt;poly_163.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.493s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.622s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.294s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_164.poly.txt"&gt;poly_164.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.498s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.441s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.269s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_165.poly.txt"&gt;poly_165.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.487s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.889s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.432s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_166.poly.txt"&gt;poly_166.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.561s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.578s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.299s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_167.poly.txt"&gt;poly_167.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.531s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.905s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.236s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_168.poly.txt"&gt;poly_168.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.504s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.834s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.318s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_169.poly.txt"&gt;poly_169.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.533s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.177s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.347s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_170.poly.txt"&gt;poly_170.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.534s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.743s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.271s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_171.poly.txt"&gt;poly_171.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.509s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.718s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.393s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_172.poly.txt"&gt;poly_172.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.590s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.703s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.342s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_173.poly.txt"&gt;poly_173.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.488s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.828s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.259s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_174.poly.txt"&gt;poly_174.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.526s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.711s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.346s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_175.poly.txt"&gt;poly_175.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.522s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.722s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.428s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_176.poly.txt"&gt;poly_176.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.559s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.722s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.295s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_177.poly.txt"&gt;poly_177.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.521s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.151s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.320s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_178.poly.txt"&gt;poly_178.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.504s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.816s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.333s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_179.poly.txt"&gt;poly_179.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.535s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.206s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.629s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_180.poly.txt"&gt;poly_180.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.495s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.707s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.293s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_181.poly.txt"&gt;poly_181.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.478s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.948s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.331s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_182.poly.txt"&gt;poly_182.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.537s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.259s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.435s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_183.poly.txt"&gt;poly_183.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.519s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.863s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.390s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_184.poly.txt"&gt;poly_184.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.550s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.716s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.669s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_185.poly.txt"&gt;poly_185.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.507s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.166s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.320s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_186.poly.txt"&gt;poly_186.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.556s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.187s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.508s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_187.poly.txt"&gt;poly_187.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.547s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.070s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.654s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_188.poly.txt"&gt;poly_188.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.529s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.979s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.354s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_189.poly.txt"&gt;poly_189.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.232s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.565s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.578s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_190.poly.txt"&gt;poly_190.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.578s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.383s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.407s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_191.poly.txt"&gt;poly_191.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.521s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.093s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.417s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_192.poly.txt"&gt;poly_192.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.510s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.031s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.393s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_193.poly.txt"&gt;poly_193.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.623s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.886s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.524s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_194.poly.txt"&gt;poly_194.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.548s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.434s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.562s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_195.poly.txt"&gt;poly_195.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.525s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.580s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.336s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_196.poly.txt"&gt;poly_196.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.567s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.640s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.647s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_197.poly.txt"&gt;poly_197.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.543s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.223s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.593s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_198.poly.txt"&gt;poly_198.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.569s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.351s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.732s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_199.poly.txt"&gt;poly_199.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.547s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.096s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.469s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_200.poly.txt"&gt;poly_200.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.507s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.449s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.729s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_201.poly.txt"&gt;poly_201.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.643s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.653s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.594s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_202.poly.txt"&gt;poly_202.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.550s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.233s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.361s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_203.poly.txt"&gt;poly_203.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.612s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.274s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.651s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_204.poly.txt"&gt;poly_204.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.538s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.064s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.595s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_205.poly.txt"&gt;poly_205.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.628s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.539s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.767s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_206.poly.txt"&gt;poly_206.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.587s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.217s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.486s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_207.poly.txt"&gt;poly_207.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.496s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.833s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.533s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_208.poly.txt"&gt;poly_208.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.565s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.547s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.370s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_209.poly.txt"&gt;poly_209.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.557s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.796s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.805s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_210.poly.txt"&gt;poly_210.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.507s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.988s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.504s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_211.poly.txt"&gt;poly_211.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.710s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.440s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.661s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_212.poly.txt"&gt;poly_212.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.567s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.301s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.443s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_213.poly.txt"&gt;poly_213.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.535s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.277s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.463s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_214.poly.txt"&gt;poly_214.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.562s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.963s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.769s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_215.poly.txt"&gt;poly_215.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.607s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.809s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.695s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_216.poly.txt"&gt;poly_216.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.556s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.627s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.835s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_217.poly.txt"&gt;poly_217.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.583s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.044s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.837s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_218.poly.txt"&gt;poly_218.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.622s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.638s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.571s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_219.poly.txt"&gt;poly_219.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.618s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.851s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.755s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_220.poly.txt"&gt;poly_220.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.549s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.227s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.605s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_221.poly.txt"&gt;poly_221.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.562s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.441s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.725s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_222.poly.txt"&gt;poly_222.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.519s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.129s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.595s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_223.poly.txt"&gt;poly_223.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.538s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.158s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.863s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_224.poly.txt"&gt;poly_224.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.542s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.832s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.646s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_225.poly.txt"&gt;poly_225.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.533s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.330s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.928s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_226.poly.txt"&gt;poly_226.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.635s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.760s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.953s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_227.poly.txt"&gt;poly_227.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.560s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.580s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.460s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_228.poly.txt"&gt;poly_228.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.609s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.838s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.023s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_229.poly.txt"&gt;poly_229.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.636s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.961s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.860s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_230.poly.txt"&gt;poly_230.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.643s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.743s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.459s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_231.poly.txt"&gt;poly_231.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.756s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.141s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.722s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_232.poly.txt"&gt;poly_232.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.553s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.869s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.206s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_233.poly.txt"&gt;poly_233.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.627s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.933s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.755s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_234.poly.txt"&gt;poly_234.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.567s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.316s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.435s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_235.poly.txt"&gt;poly_235.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.633s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.612s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.758s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_236.poly.txt"&gt;poly_236.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.542s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.896s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.490s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_237.poly.txt"&gt;poly_237.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.693s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.163s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.729s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_238.poly.txt"&gt;poly_238.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.647s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.464s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.699s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_239.poly.txt"&gt;poly_239.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.555s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.564s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.658s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_240.poly.txt"&gt;poly_240.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.567s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.361s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.793s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_241.poly.txt"&gt;poly_241.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.640s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.208s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.607s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_242.poly.txt"&gt;poly_242.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.780s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.006s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.876s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_243.poly.txt"&gt;poly_243.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.556s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.465s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.973s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_244.poly.txt"&gt;poly_244.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.694s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.305s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.191s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_245.poly.txt"&gt;poly_245.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.588s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.651s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.525s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_246.poly.txt"&gt;poly_246.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.588s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.791s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.973s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_247.poly.txt"&gt;poly_247.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.684s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.583s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.820s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_248.poly.txt"&gt;poly_248.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.626s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.027s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.153s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_249.poly.txt"&gt;poly_249.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.540s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.997s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.647s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_250.poly.txt"&gt;poly_250.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.614s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.558s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.139s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_251.poly.txt"&gt;poly_251.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.663s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.376s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.259s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_252.poly.txt"&gt;poly_252.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.655s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.551s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.952s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_253.poly.txt"&gt;poly_253.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.685s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.436s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.999s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_254.poly.txt"&gt;poly_254.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.727s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.217s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.133s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_255.poly.txt"&gt;poly_255.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.831s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.706s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.923s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_256.poly.txt"&gt;poly_256.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.730s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.011s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.385s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_257.poly.txt"&gt;poly_257.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.605s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.808s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.121s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_258.poly.txt"&gt;poly_258.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.609s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.056s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.825s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_259.poly.txt"&gt;poly_259.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.740s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.579s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.263s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_260.poly.txt"&gt;poly_260.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.655s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.068s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.411s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_261.poly.txt"&gt;poly_261.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.647s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.959s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.240s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_262.poly.txt"&gt;poly_262.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.574s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.489s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.158s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_263.poly.txt"&gt;poly_263.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.757s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.162s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.207s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_264.poly.txt"&gt;poly_264.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.710s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.118s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.047s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_265.poly.txt"&gt;poly_265.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.728s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.967s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.332s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_266.poly.txt"&gt;poly_266.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.765s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.685s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.115s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_267.poly.txt"&gt;poly_267.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.592s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.304s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.330s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_268.poly.txt"&gt;poly_268.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.717s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.360s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.578s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_269.poly.txt"&gt;poly_269.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.885s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.903s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.857s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_270.poly.txt"&gt;poly_270.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.953s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.333s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.233s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_271.poly.txt"&gt;poly_271.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.817s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.409s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.753s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_272.poly.txt"&gt;poly_272.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.776s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.498s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.303s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_273.poly.txt"&gt;poly_273.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.707s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.628s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.852s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_274.poly.txt"&gt;poly_274.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.689s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.255s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.282s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_275.poly.txt"&gt;poly_275.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.892s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.099s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.855s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_276.poly.txt"&gt;poly_276.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.567s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.737s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.194s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_277.poly.txt"&gt;poly_277.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.873s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.736s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.962s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_278.poly.txt"&gt;poly_278.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.766s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.295s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.257s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_279.poly.txt"&gt;poly_279.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.969s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.762s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.942s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_280.poly.txt"&gt;poly_280.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.732s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.787s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.891s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_281.poly.txt"&gt;poly_281.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.732s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.608s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.302s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_282.poly.txt"&gt;poly_282.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.871s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.127s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.782s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_283.poly.txt"&gt;poly_283.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.738s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.931s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.004s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_284.poly.txt"&gt;poly_284.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.857s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.326s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.888s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_285.poly.txt"&gt;poly_285.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.646s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.082s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.506s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_286.poly.txt"&gt;poly_286.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.815s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.132s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.396s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_287.poly.txt"&gt;poly_287.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.965s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.368s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.355s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_288.poly.txt"&gt;poly_288.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.746s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.417s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.476s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_289.poly.txt"&gt;poly_289.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.764s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.243s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.312s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_290.poly.txt"&gt;poly_290.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.610s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.899s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.984s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_291.poly.txt"&gt;poly_291.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.680s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.110s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.958s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_292.poly.txt"&gt;poly_292.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.717s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.487s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.880s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_293.poly.txt"&gt;poly_293.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.717s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;8.597s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.738s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_294.poly.txt"&gt;poly_294.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.721s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.355s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.375s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_295.poly.txt"&gt;poly_295.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.987s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.809s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.191s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_296.poly.txt"&gt;poly_296.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.876s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.080s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.065s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_297.poly.txt"&gt;poly_297.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.882s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.162s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.925s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_298.poly.txt"&gt;poly_298.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.053s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.622s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.675s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_299.poly.txt"&gt;poly_299.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.787s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.366s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.351s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_300.poly.txt"&gt;poly_300.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.878s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;7.252s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.340s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_301.poly.txt"&gt;poly_301.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.718s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.359s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.977s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_302.poly.txt"&gt;poly_302.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.076s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.446s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.446s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_303.poly.txt"&gt;poly_303.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.355s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.074s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.388s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_304.poly.txt"&gt;poly_304.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.710s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;7.352s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.100s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_305.poly.txt"&gt;poly_305.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.862s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.038s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.036s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_306.poly.txt"&gt;poly_306.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.640s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.466s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.315s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_307.poly.txt"&gt;poly_307.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.907s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.191s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.003s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_308.poly.txt"&gt;poly_308.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.825s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.889s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.787s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_309.poly.txt"&gt;poly_309.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.157s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.730s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.683s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_310.poly.txt"&gt;poly_310.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.048s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.380s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.899s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_311.poly.txt"&gt;poly_311.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.821s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.340s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.493s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_312.poly.txt"&gt;poly_312.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.734s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.584s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.257s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_313.poly.txt"&gt;poly_313.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.875s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.126s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.942s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_314.poly.txt"&gt;poly_314.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.152s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.076s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.132s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_315.poly.txt"&gt;poly_315.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.646s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;8.902s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.290s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_316.poly.txt"&gt;poly_316.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.864s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;7.926s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.816s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_317.poly.txt"&gt;poly_317.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.865s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.540s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.609s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_318.poly.txt"&gt;poly_318.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.217s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;8.536s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.028s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_319.poly.txt"&gt;poly_319.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.787s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.662s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.033s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_320.poly.txt"&gt;poly_320.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.368s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.776s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.548s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_321.poly.txt"&gt;poly_321.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.984s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;8.860s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.601s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_322.poly.txt"&gt;poly_322.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.869s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;9.124s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.810s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_323.poly.txt"&gt;poly_323.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.648s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.936s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.108s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_324.poly.txt"&gt;poly_324.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.937s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;7.901s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.841s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_325.poly.txt"&gt;poly_325.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.901s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.507s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.776s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_326.poly.txt"&gt;poly_326.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.733s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.871s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.727s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_327.poly.txt"&gt;poly_327.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.765s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;8.104s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.637s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_328.poly.txt"&gt;poly_328.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.885s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;10.401s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.218s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_329.poly.txt"&gt;poly_329.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.001s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.122s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.249s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_330.poly.txt"&gt;poly_330.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.785s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.544s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.827s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_331.poly.txt"&gt;poly_331.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.918s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;9.594s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.460s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_332.poly.txt"&gt;poly_332.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.843s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;7.225s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.023s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_333.poly.txt"&gt;poly_333.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.150s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;11.494s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.873s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_334.poly.txt"&gt;poly_334.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.950s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;10.194s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.355s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_335.poly.txt"&gt;poly_335.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.172s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;8.722s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.315s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_336.poly.txt"&gt;poly_336.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.027s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.473s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.449s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_337.poly.txt"&gt;poly_337.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.751s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;11.346s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.752s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_338.poly.txt"&gt;poly_338.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.813s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;9.438s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.968s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_339.poly.txt"&gt;poly_339.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.815s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;7.378s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.027s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_340.poly.txt"&gt;poly_340.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.664s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;8.289s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.205s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_341.poly.txt"&gt;poly_341.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.919s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.848s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.083s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_342.poly.txt"&gt;poly_342.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.027s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;14.903s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.691s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_343.poly.txt"&gt;poly_343.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.158s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;9.495s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.103s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_344.poly.txt"&gt;poly_344.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.812s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;9.516s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.305s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_345.poly.txt"&gt;poly_345.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.189s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.334s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.104s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_346.poly.txt"&gt;poly_346.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.014s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;10.649s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.294s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_347.poly.txt"&gt;poly_347.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.975s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;8.088s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.566s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_348.poly.txt"&gt;poly_348.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.877s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;10.249s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.408s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_349.poly.txt"&gt;poly_349.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.850s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;13.374s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.216s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_350.poly.txt"&gt;poly_350.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.246s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;11.256s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.747s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_351.poly.txt"&gt;poly_351.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.959s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;8.027s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.336s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_352.poly.txt"&gt;poly_352.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.013s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;9.565s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.848s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_353.poly.txt"&gt;poly_353.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.764s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;9.335s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.650s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_354.poly.txt"&gt;poly_354.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.242s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;9.831s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.840s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_355.poly.txt"&gt;poly_355.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.636s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;7.602s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.256s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_356.poly.txt"&gt;poly_356.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.080s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;8.711s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.033s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_357.poly.txt"&gt;poly_357.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.776s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;10.423s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.029s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_358.poly.txt"&gt;poly_358.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.909s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;12.636s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.057s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_359.poly.txt"&gt;poly_359.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.894s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;15.462s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.104s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_360.poly.txt"&gt;poly_360.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.062s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;12.932s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.219s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_361.poly.txt"&gt;poly_361.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.964s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;15.856s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.869s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_362.poly.txt"&gt;poly_362.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.863s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;10.977s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.597s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_363.poly.txt"&gt;poly_363.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.288s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;21.610s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.335s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_364.poly.txt"&gt;poly_364.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.895s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;17.265s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.675s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_365.poly.txt"&gt;poly_365.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.979s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;9.957s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.394s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_366.poly.txt"&gt;poly_366.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.727s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;8.259s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.021s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_367.poly.txt"&gt;poly_367.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.977s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;10.959s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.299s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_368.poly.txt"&gt;poly_368.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.248s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;15.490s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.341s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_369.poly.txt"&gt;poly_369.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.791s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;12.137s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.151s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_370.poly.txt"&gt;poly_370.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.754s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;13.471s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.879s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_371.poly.txt"&gt;poly_371.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.289s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;12.679s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.693s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_372.poly.txt"&gt;poly_372.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.856s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.906s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.488s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_373.poly.txt"&gt;poly_373.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.442s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;9.346s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.019s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_374.poly.txt"&gt;poly_374.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.961s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;13.392s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.527s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_375.poly.txt"&gt;poly_375.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.982s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;9.665s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.495s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_376.poly.txt"&gt;poly_376.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.431s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;8.820s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.613s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_377.poly.txt"&gt;poly_377.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.262s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;10.092s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.358s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_378.poly.txt"&gt;poly_378.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.067s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;13.103s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.017s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_379.poly.txt"&gt;poly_379.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.798s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;11.407s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.530s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_380.poly.txt"&gt;poly_380.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.381s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;12.311s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.954s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_381.poly.txt"&gt;poly_381.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.278s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;8.984s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.999s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_382.poly.txt"&gt;poly_382.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.895s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;9.518s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.817s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_383.poly.txt"&gt;poly_383.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.945s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;13.615s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.512s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_384.poly.txt"&gt;poly_384.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.031s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;19.243s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.481s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_385.poly.txt"&gt;poly_385.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.046s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;13.784s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.661s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_386.poly.txt"&gt;poly_386.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.275s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;10.230s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.170s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_387.poly.txt"&gt;poly_387.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.976s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;13.687s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.704s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_388.poly.txt"&gt;poly_388.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.733s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;8.044s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.772s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_389.poly.txt"&gt;poly_389.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.902s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;9.925s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.886s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_390.poly.txt"&gt;poly_390.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.766s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;8.027s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.704s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_391.poly.txt"&gt;poly_391.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.774s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;19.267s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.956s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_392.poly.txt"&gt;poly_392.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.368s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;17.336s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.238s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_393.poly.txt"&gt;poly_393.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.079s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;11.014s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.572s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_394.poly.txt"&gt;poly_394.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.971s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;14.128s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.558s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_395.poly.txt"&gt;poly_395.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.163s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;12.663s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.931s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_396.poly.txt"&gt;poly_396.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.984s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;13.827s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.365s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_397.poly.txt"&gt;poly_397.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.796s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;14.465s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.155s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_398.poly.txt"&gt;poly_398.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.899s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;13.236s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.938s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_399.poly.txt"&gt;poly_399.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.339s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;20.634s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.699s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_400.poly.txt"&gt;poly_400.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.162s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;13.476s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.849s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_401.poly.txt"&gt;poly_401.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.086s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;8.101s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.171s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_402.poly.txt"&gt;poly_402.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.891s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;11.124s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.086s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_403.poly.txt"&gt;poly_403.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.988s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;11.010s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.644s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_404.poly.txt"&gt;poly_404.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.051s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;20.160s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.425s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_405.poly.txt"&gt;poly_405.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.647s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;23.650s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.199s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_406.poly.txt"&gt;poly_406.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.036s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;15.906s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.767s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_407.poly.txt"&gt;poly_407.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.083s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;16.742s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.401s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_408.poly.txt"&gt;poly_408.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.177s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;19.860s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.804s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_409.poly.txt"&gt;poly_409.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.107s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;12.738s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.757s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_410.poly.txt"&gt;poly_410.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.193s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;11.465s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.740s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_411.poly.txt"&gt;poly_411.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.550s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;16.718s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.228s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_412.poly.txt"&gt;poly_412.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.252s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;23.868s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.908s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_413.poly.txt"&gt;poly_413.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.895s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;14.672s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.091s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_414.poly.txt"&gt;poly_414.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.146s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;20.009s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.559s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_415.poly.txt"&gt;poly_415.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.152s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;30.237s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.488s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_416.poly.txt"&gt;poly_416.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.262s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;15.382s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.950s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_417.poly.txt"&gt;poly_417.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.472s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;17.767s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.577s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_418.poly.txt"&gt;poly_418.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.928s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;13.745s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.527s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_419.poly.txt"&gt;poly_419.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.431s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;18.499s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.931s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_420.poly.txt"&gt;poly_420.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.035s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;12.498s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.095s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_421.poly.txt"&gt;poly_421.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.506s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;20.517s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.537s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_422.poly.txt"&gt;poly_422.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.489s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;24.745s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.400s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_423.poly.txt"&gt;poly_423.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.250s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;22.582s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.671s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_424.poly.txt"&gt;poly_424.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.972s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;14.030s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.653s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_425.poly.txt"&gt;poly_425.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.212s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;18.464s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.370s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_426.poly.txt"&gt;poly_426.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.962s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;14.179s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.795s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_427.poly.txt"&gt;poly_427.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.252s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;19.630s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.115s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_428.poly.txt"&gt;poly_428.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.220s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;27.196s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.014s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_429.poly.txt"&gt;poly_429.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.027s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;19.862s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.965s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_430.poly.txt"&gt;poly_430.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.201s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;23.786s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.561s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_431.poly.txt"&gt;poly_431.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.734s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;18.729s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.498s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_432.poly.txt"&gt;poly_432.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.238s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;28.353s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.299s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_433.poly.txt"&gt;poly_433.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.174s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;14.652s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.770s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_434.poly.txt"&gt;poly_434.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.760s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;20.187s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.655s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_435.poly.txt"&gt;poly_435.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.538s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;11.108s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.718s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_436.poly.txt"&gt;poly_436.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.594s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;14.872s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.205s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_437.poly.txt"&gt;poly_437.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.147s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;14.635s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.155s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_438.poly.txt"&gt;poly_438.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.690s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;20.034s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.980s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_439.poly.txt"&gt;poly_439.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.411s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;25.149s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.364s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_440.poly.txt"&gt;poly_440.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.163s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;25.878s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.781s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_441.poly.txt"&gt;poly_441.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.384s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;25.170s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.160s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_442.poly.txt"&gt;poly_442.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.870s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;11.668s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.323s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_443.poly.txt"&gt;poly_443.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.951s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;33.579s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.205s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_444.poly.txt"&gt;poly_444.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.065s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;17.941s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.910s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_445.poly.txt"&gt;poly_445.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.998s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;16.430s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.563s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_446.poly.txt"&gt;poly_446.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.045s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;26.910s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.228s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_447.poly.txt"&gt;poly_447.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.295s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;29.425s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.399s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_448.poly.txt"&gt;poly_448.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.661s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;16.258s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.585s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_449.poly.txt"&gt;poly_449.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.622s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;17.693s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.303s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_450.poly.txt"&gt;poly_450.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.641s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;22.936s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.282s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_451.poly.txt"&gt;poly_451.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.703s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;22.255s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.342s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_452.poly.txt"&gt;poly_452.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.430s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;31.131s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.344s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_453.poly.txt"&gt;poly_453.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.971s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;21.473s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.852s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_454.poly.txt"&gt;poly_454.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.567s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;37.292s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.394s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_455.poly.txt"&gt;poly_455.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.935s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;30.081s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.497s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_456.poly.txt"&gt;poly_456.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.516s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;22.825s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.350s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_457.poly.txt"&gt;poly_457.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0.990s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;22.727s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.842s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_458.poly.txt"&gt;poly_458.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.405s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;27.059s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.239s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_459.poly.txt"&gt;poly_459.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.000s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;29.375s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.965s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_460.poly.txt"&gt;poly_460.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.269s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;21.120s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.921s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_461.poly.txt"&gt;poly_461.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.220s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;18.023s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.005s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_462.poly.txt"&gt;poly_462.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.530s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;30.173s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.349s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_463.poly.txt"&gt;poly_463.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.502s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;35.296s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.015s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_464.poly.txt"&gt;poly_464.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.152s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;27.638s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.711s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_465.poly.txt"&gt;poly_465.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.497s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;33.634s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.219s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_466.poly.txt"&gt;poly_466.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.395s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;31.657s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.550s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_467.poly.txt"&gt;poly_467.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.275s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;28.666s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.809s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_468.poly.txt"&gt;poly_468.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.117s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;16.743s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.226s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_469.poly.txt"&gt;poly_469.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.483s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;34.383s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.065s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_470.poly.txt"&gt;poly_470.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.317s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;17.479s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.529s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_471.poly.txt"&gt;poly_471.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.959s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;22.467s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;7.354s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_472.poly.txt"&gt;poly_472.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.504s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;23.219s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.251s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_473.poly.txt"&gt;poly_473.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.680s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;35.369s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;7.189s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_474.poly.txt"&gt;poly_474.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.325s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;33.530s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.067s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_475.poly.txt"&gt;poly_475.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.061s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;26.542s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.007s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_476.poly.txt"&gt;poly_476.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.638s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;24.279s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.182s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_477.poly.txt"&gt;poly_477.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.551s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;23.888s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;7.094s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_478.poly.txt"&gt;poly_478.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.480s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;30.671s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.880s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_479.poly.txt"&gt;poly_479.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.545s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;30.107s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;8.659s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_480.poly.txt"&gt;poly_480.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.674s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;34.370s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;7.401s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_481.poly.txt"&gt;poly_481.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.276s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;29.611s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.249s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_482.poly.txt"&gt;poly_482.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.612s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;26.880s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;7.500s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_483.poly.txt"&gt;poly_483.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.534s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;19.501s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.872s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_484.poly.txt"&gt;poly_484.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.033s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;45.472s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.112s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_485.poly.txt"&gt;poly_485.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.442s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;32.935s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.633s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_486.poly.txt"&gt;poly_486.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.616s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;30.956s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.961s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_487.poly.txt"&gt;poly_487.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.807s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;28.656s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.263s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_488.poly.txt"&gt;poly_488.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.165s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;41.173s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.497s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_489.poly.txt"&gt;poly_489.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.978s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;40.021s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4.627s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_490.poly.txt"&gt;poly_490.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.133s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;37.273s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.103s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_491.poly.txt"&gt;poly_491.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.112s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;36.685s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;7.104s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_492.poly.txt"&gt;poly_492.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.086s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;30.427s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;7.117s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_493.poly.txt"&gt;poly_493.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.297s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;46.938s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.873s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_494.poly.txt"&gt;poly_494.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.755s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;34.678s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.329s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_495.poly.txt"&gt;poly_495.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.274s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;31.758s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6.371s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_496.poly.txt"&gt;poly_496.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.010s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;34.106s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;9.385s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_497.poly.txt"&gt;poly_497.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2.014s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;39.699s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.630s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_498.poly.txt"&gt;poly_498.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.945s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;38.142s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3.470s&lt;br&gt;
&lt;a href="http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_499.poly.txt"&gt;poly_499.poly&lt;/a&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1.622s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;38.871s&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5.723s&lt;/p&gt;</subfield>
  </datafield>
  <datafield tag="773" ind1=" " ind2=" ">
    <subfield code="n">doi</subfield>
    <subfield code="i">isVersionOf</subfield>
    <subfield code="a">10.5281/zenodo.2525350</subfield>
  </datafield>
  <datafield tag="024" ind1=" " ind2=" ">
    <subfield code="a">10.5281/zenodo.2539422</subfield>
    <subfield code="2">doi</subfield>
  </datafield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">software</subfield>
  </datafield>
</record>
474
78
views
downloads
All versions This version
Views 474199
Downloads 7830
Data volume 380.9 MB17.0 MB
Unique views 357166
Unique downloads 7129

Share

Cite as