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


JSON Export

{
  "files": [
    {
      "links": {
        "self": "https://zenodo.org/api/files/10f27b75-5f61-4dfd-ba0e-308a3efb95a6/Experiments.zip"
      }, 
      "checksum": "md5:3cb18d80fe36950bc93ef26428a7d5cc", 
      "bucket": "10f27b75-5f61-4dfd-ba0e-308a3efb95a6", 
      "key": "Experiments.zip", 
      "type": "zip", 
      "size": 568092
    }
  ], 
  "owners": [
    57917
  ], 
  "doi": "10.5281/zenodo.2539422", 
  "stats": {
    "version_unique_downloads": 71.0, 
    "unique_views": 166.0, 
    "views": 199.0, 
    "version_views": 474.0, 
    "unique_downloads": 29.0, 
    "version_unique_views": 357.0, 
    "volume": 17042760.0, 
    "version_downloads": 78.0, 
    "downloads": 30.0, 
    "version_volume": 380852248.0
  }, 
  "links": {
    "doi": "https://doi.org/10.5281/zenodo.2539422", 
    "conceptdoi": "https://doi.org/10.5281/zenodo.2525350", 
    "bucket": "https://zenodo.org/api/files/10f27b75-5f61-4dfd-ba0e-308a3efb95a6", 
    "conceptbadge": "https://zenodo.org/badge/doi/10.5281/zenodo.2525350.svg", 
    "html": "https://zenodo.org/record/2539422", 
    "latest_html": "https://zenodo.org/record/3247727", 
    "badge": "https://zenodo.org/badge/doi/10.5281/zenodo.2539422.svg", 
    "latest": "https://zenodo.org/api/records/3247727"
  }, 
  "conceptdoi": "10.5281/zenodo.2525350", 
  "created": "2019-01-14T15:17:55.098666+00:00", 
  "updated": "2020-01-25T19:22:39.499181+00:00", 
  "conceptrecid": "2525350", 
  "revision": 15, 
  "id": 2539422, 
  "metadata": {
    "access_right_category": "success", 
    "doi": "10.5281/zenodo.2539422", 
    "description": "<p>This is the supporting material for the paper <em>A Verified Implementation of the Berlekamp&ndash;Zassenhaus Factorization Algorithm</em> by Jose Divas&oacute;n, Sebastiaan Joosten, Ren&eacute; Thiemann and Akihisa Yamada.</p>\n\n<p><strong>Abstract</strong></p>\n\n<p>We formalize the Berlekamp--Zassenhaus algorithm for factoring square-free integer polynomials in Isabelle/HOL. We further adapt an existing formalization of Yun&#39;s square-free factorization algorithm to integer polynomials, and thus provide an efficient and certified factorization algorithm for arbitrary univariate polynomials.</p>\n\n<p>The algorithm first performs factorization in the prime field GF(<em>p</em>) and then performs computations in the ring of integers modulo <em>p<sup>k</sup></em>, where both <em>p</em> and <em>k</em> 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.</p>\n\n<p>Through experiments we verify that our algorithm factors polynomials of degree up to 500 within seconds.</p>\n\n<p><strong>Formalization</strong></p>\n\n<p>The formalization is part of the <a href=\"https://www.isa-afp.org/\">Archive of Formal Proofs</a> for <a href=\"https://isabelle.in.tum.de/\">Isabelle</a> 2018 within the entry <a href=\"https://www.isa-afp.org/entries/Berlekamp_Zassenhaus.html\">The Factorization Algorithm of Berlekamp and Zassenhaus</a>.</p>\n\n<p>The following list documents the relationship between the paper and the formalization:</p>\n\n<p>Section 1 Introduction</p>\n\n<ul>\n\t<li>Theorem 1 (page 2): <a href=\"https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Factorize_Int_Poly.thy#Factorize_Int_Poly.thy-546\">factorize_int_poly</a></li>\n</ul>\n\n<p>Section 3 Formalizing Prime Fields</p>\n\n<ul>\n\t<li>Lemma 1 (page 6): <a href=\"https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Polynomial_Factorization/Square_Free_Factorization.thy#Square_Free_Factorization.thy-76\">coprime_pderiv_imp_square_free</a></li>\n\t<li>Lemma 2 (page 8): <a href=\"https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Suitable_Prime.thy#Suitable_Prime.thy-120\">square_free_mod_imp_square_free</a></li>\n\t<li>Lemma 3 (page 8): <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\">times_MP_Rel</a></li>\n\t<li>Lemma 4 (page 8): <a href=\"https://isabelle.in.tum.de/repos/isabelle/file/Isabelle2018/src/HOL/Computational_Algebra/Polynomial.thy#l1388\">degree_mult_eq</a></li>\n\t<li>Lemma 5 (page 8): <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\">poly_mod_prime_type.degree_m_mult_eq</a></li>\n\t<li>Lemma 6 (page 8): <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\">poly_mod_prime.degree_m_mult_eq</a></li>\n\t<li>Lemma 7 (page 10): <a href=\"https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Arithmetic_Record_Based.thy#Arithmetic_Record_Based.thy-131\">gcd_eucl_i</a></li>\n\t<li>Lemma 8 (page 10): <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\">finite_field_ops_integer</a></li>\n\t<li>Lemma 9 (page 11): <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\">finite_field_ops32</a></li>\n\t<li>Lemma 10 (page 11): <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\">finite_field_ops64</a></li>\n\t<li>Lemma 11 (page 11): <a href=\"https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Polynomial_Record_Based.thy#Polynomial_Record_Based.thy-829\">euclidean_ring_ops_poly</a></li>\n\t<li>Lemma 12 (page 11): <a href=\"https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Polynomial_Record_Based.thy#Polynomial_Record_Based.thy-842\">poly_rel_gcd</a></li>\n\t<li>Lemma 13 (page 12): <a href=\"https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Suitable_Prime.thy#Suitable_Prime.thy-54\">prime_field_gen.square_free_impl(1)</a></li>\n\t<li>Lemma 14 (page 12): <a href=\"https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Suitable_Prime.thy#Suitable_Prime.thy-153\">poly_mod_prime.square_free_impl(1)</a></li>\n</ul>\n\n<p>Section 4 Square-Free Factorization of Integer Polynomials</p>\n\n<ul>\n\t<li>Theorem 2 (page 13): <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\">square_free_factorization_int</a></li>\n</ul>\n\n<p>Section 5 Square-Free Polynomials in GF(<em>p</em>)</p>\n\n<ul>\n\t<li>Lemma 15 (page 14): <a href=\"https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Suitable_Prime.thy#Suitable_Prime.thy-314\">suitable_prime_bz</a></li>\n</ul>\n\n<p>Section 6 Berlekamp&#39;s Algorithm</p>\n\n<ul>\n\t<li>Theorem 3 (page 18): <a href=\"https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Berlekamp_Type_Based.thy#Berlekamp_Type_Based.thy-3121\">berlekamp_monic_factorization</a></li>\n\t<li>Lemma 17 (page 19): <a href=\"https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Distinct_Degree_Factorization.thy#Distinct_Degree_Factorization.thy-680\">degree_divisor1</a></li>\n\t<li>Lemma 17 (page 19): <a href=\"https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Distinct_Degree_Factorization.thy#Distinct_Degree_Factorization.thy-728\">degree_divisor2</a></li>\n\t<li>Theorem 4 (page 20): <a href=\"https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Finite_Field_Factorization.thy#Finite_Field_Factorization.thy-120\">finite_field_factorization</a></li>\n\t<li>Theorem 5 (page 22): <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\">finite_field_factorization_int</a></li>\n</ul>\n\n<p>Section 7 Mignotte&#39;s Factor Bound</p>\n\n<ul>\n\t<li>Lemma 18 (page 22): <a href=\"https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Factor_Bound.thy#Factor_Bound.thy-272\">factor_bound</a></li>\n\t<li>Lemma 19 (page 24): <a href=\"https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Sqrt_Babylonian/Log_Impl.thy#Log_Impl.thy-164\">log_ceiling</a></li>\n</ul>\n\n<p>Section 8 Hensel Lifting</p>\n\n<ul>\n\t<li>Lemma 21 (page 27): <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\">hensel_1</a></li>\n\t<li>Lemma 22 (page 27): <a href=\"https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Hensel_Lifting.thy#Hensel_Lifting.thy-729\">unique_hensel_binary</a></li>\n\t<li>Lemma 23 (page 29): <a href=\"https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Berlekamp_Hensel.thy#Berlekamp_Hensel.thy-570\">hensel_lifting_unique</a></li>\n</ul>\n\n<p>Section 9 Reconstructing True Factors</p>\n\n<ul>\n\t<li>Theorem 6 (page 31): <a href=\"https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Reconstruction.thy#Reconstruction.thy-879\">zassenhaus_reconstruction</a></li>\n</ul>\n\n<p>Section 10 Assembled Factorization Algorithm</p>\n\n<ul>\n\t<li>Theorem 7 (page 32): <a href=\"https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Berlekamp_Zassenhaus.thy#Berlekamp_Zassenhaus.thy-110\">berlekamp_zassenhaus_factorization_irreducible</a></li>\n\t<li>Theorem 8 (page 32): <a href=\"https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Factorize_Int_Poly.thy#Factorize_Int_Poly.thy-265\">internal_int_poly_factorization_mem</a></li>\n\t<li>Theorem 8 (page 32): <a href=\"https://bitbucket.org/isa-afp/afp-2018/src/Isabelle2018/thys/Berlekamp_Zassenhaus/Factorize_Int_Poly.thy#Factorize_Int_Poly.thy-289\">internal_int_poly_factorization</a></li>\n</ul>\n\n<p><strong>Experiments</strong></p>\n\n<p>One can rerun the experiments as follows:</p>\n\n<ol>\n\t<li><a href=\"https://zenodo.org/record/2539422/files/Experiments.zip\">Download and extract the attached file</a><a href=\"https://zenodo.org/api/files/a48bcf23-3369-48bd-b60e-a02eb88ed926/formalization_and_experiments.zip\">.</a></li>\n\t<li>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.</li>\n\t<li>Compile experiments/Code_Old/Main and experiments/Code_New/Main with -O2</li>\n\t<li>Invoke ./experiments/Experiments/run_experiments.sh</li>\n\t<li>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</li>\n\t<li>To get the pdf-file, paste the output of the previous command into the first line of the Mathematica-file journal_plot.nb</li>\n</ol>\n\n<p>One can also run the experiments disabling some of the optimizations by means of the files Code_New_No_{...}/Main.hs</p>\n\n<p>In addition, the Isabelle file Generate_Code.thy generates the Haskell sources.</p>\n\n<p>The following table contains all the experiments of Figure 1 in the article.</p>\n\n<p><strong>Polynomial &nbsp;&nbsp;&nbsp;&nbsp; Mathematica&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Old&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;New&nbsp;&nbsp;&nbsp; </strong><br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_100.poly.txt\">poly_100.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.478s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.194s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.085s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_101.poly.txt\">poly_101.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.449s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.209s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.095s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_102.poly.txt\">poly_102.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.475s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.247s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.145s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_103.poly.txt\">poly_103.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.491s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.171s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.109s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_104.poly.txt\">poly_104.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.479s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.131s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.096s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_105.poly.txt\">poly_105.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.492s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.276s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.140s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_106.poly.txt\">poly_106.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.458s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.148s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.097s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_107.poly.txt\">poly_107.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.463s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.180s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.107s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_108.poly.txt\">poly_108.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.472s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.216s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.122s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_109.poly.txt\">poly_109.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.477s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.154s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.103s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_110.poly.txt\">poly_110.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.457s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.180s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.119s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_111.poly.txt\">poly_111.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.465s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.218s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.122s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_112.poly.txt\">poly_112.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.487s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.217s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.132s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_113.poly.txt\">poly_113.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.471s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.130s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.084s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_114.poly.txt\">poly_114.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.465s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.269s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.120s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_115.poly.txt\">poly_115.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.464s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.243s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.105s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_116.poly.txt\">poly_116.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.457s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.269s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.122s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_117.poly.txt\">poly_117.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.476s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.333s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.135s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_118.poly.txt\">poly_118.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.498s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.220s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.082s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_119.poly.txt\">poly_119.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.462s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.228s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.134s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_120.poly.txt\">poly_120.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.449s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.318s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.109s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_121.poly.txt\">poly_121.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.485s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.271s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.181s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_122.poly.txt\">poly_122.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.483s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.229s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.108s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_123.poly.txt\">poly_123.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.465s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.254s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.147s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_124.poly.txt\">poly_124.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.495s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.278s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.158s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_125.poly.txt\">poly_125.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.460s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.378s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.157s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_126.poly.txt\">poly_126.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.480s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.306s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.168s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_127.poly.txt\">poly_127.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.476s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.328s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.198s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_128.poly.txt\">poly_128.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.492s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.272s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.144s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_129.poly.txt\">poly_129.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.464s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.421s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.226s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_130.poly.txt\">poly_130.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.483s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.267s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.132s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_131.poly.txt\">poly_131.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.497s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.329s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.158s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_132.poly.txt\">poly_132.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.471s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.482s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.241s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_133.poly.txt\">poly_133.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.493s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.448s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.294s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_134.poly.txt\">poly_134.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.474s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.317s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.172s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_135.poly.txt\">poly_135.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.507s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.408s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.170s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_136.poly.txt\">poly_136.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.502s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.429s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.242s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_137.poly.txt\">poly_137.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.499s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.279s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.171s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_138.poly.txt\">poly_138.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.480s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.326s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.195s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_139.poly.txt\">poly_139.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.499s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.327s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.157s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_140.poly.txt\">poly_140.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.481s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.390s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.245s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_141.poly.txt\">poly_141.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.516s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.412s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.249s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_142.poly.txt\">poly_142.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.496s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.295s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.192s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_143.poly.txt\">poly_143.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.500s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.280s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.185s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_144.poly.txt\">poly_144.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.525s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.513s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.268s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_145.poly.txt\">poly_145.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.518s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.424s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.257s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_146.poly.txt\">poly_146.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.492s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.478s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.209s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_147.poly.txt\">poly_147.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.474s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.595s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.296s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_148.poly.txt\">poly_148.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.483s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.379s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.209s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_149.poly.txt\">poly_149.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.483s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.542s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.296s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_150.poly.txt\">poly_150.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.493s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.224s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.131s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_151.poly.txt\">poly_151.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.484s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.533s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.232s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_152.poly.txt\">poly_152.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.537s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.473s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.183s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_153.poly.txt\">poly_153.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.513s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.500s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.301s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_154.poly.txt\">poly_154.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.487s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.357s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.183s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_155.poly.txt\">poly_155.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.544s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.659s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.294s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_156.poly.txt\">poly_156.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.497s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.627s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.221s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_157.poly.txt\">poly_157.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.491s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.706s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.390s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_158.poly.txt\">poly_158.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.538s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.473s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.208s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_159.poly.txt\">poly_159.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.487s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.920s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.470s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_160.poly.txt\">poly_160.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.544s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.665s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.249s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_161.poly.txt\">poly_161.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.515s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.605s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.207s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_162.poly.txt\">poly_162.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.509s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.037s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.384s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_163.poly.txt\">poly_163.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.493s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.622s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.294s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_164.poly.txt\">poly_164.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.498s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.441s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.269s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_165.poly.txt\">poly_165.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.487s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.889s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.432s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_166.poly.txt\">poly_166.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.561s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.578s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.299s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_167.poly.txt\">poly_167.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.531s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.905s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.236s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_168.poly.txt\">poly_168.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.504s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.834s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.318s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_169.poly.txt\">poly_169.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.533s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.177s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.347s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_170.poly.txt\">poly_170.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.534s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.743s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.271s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_171.poly.txt\">poly_171.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.509s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.718s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.393s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_172.poly.txt\">poly_172.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.590s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.703s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.342s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_173.poly.txt\">poly_173.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.488s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.828s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.259s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_174.poly.txt\">poly_174.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.526s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.711s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.346s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_175.poly.txt\">poly_175.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.522s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.722s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.428s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_176.poly.txt\">poly_176.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.559s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.722s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.295s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_177.poly.txt\">poly_177.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.521s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.151s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.320s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_178.poly.txt\">poly_178.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.504s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.816s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.333s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_179.poly.txt\">poly_179.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.535s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.206s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.629s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_180.poly.txt\">poly_180.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.495s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.707s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.293s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_181.poly.txt\">poly_181.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.478s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.948s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.331s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_182.poly.txt\">poly_182.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.537s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.259s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.435s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_183.poly.txt\">poly_183.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.519s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.863s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.390s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_184.poly.txt\">poly_184.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.550s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.716s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.669s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_185.poly.txt\">poly_185.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.507s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.166s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.320s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_186.poly.txt\">poly_186.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.556s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.187s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.508s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_187.poly.txt\">poly_187.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.547s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.070s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.654s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_188.poly.txt\">poly_188.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.529s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.979s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.354s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_189.poly.txt\">poly_189.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.232s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.565s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.578s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_190.poly.txt\">poly_190.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.578s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.383s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.407s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_191.poly.txt\">poly_191.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.521s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.093s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.417s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_192.poly.txt\">poly_192.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.510s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.031s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.393s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_193.poly.txt\">poly_193.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.623s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.886s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.524s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_194.poly.txt\">poly_194.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.548s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.434s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.562s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_195.poly.txt\">poly_195.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.525s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.580s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.336s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_196.poly.txt\">poly_196.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.567s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.640s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.647s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_197.poly.txt\">poly_197.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.543s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.223s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.593s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_198.poly.txt\">poly_198.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.569s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.351s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.732s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_199.poly.txt\">poly_199.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.547s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.096s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.469s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_200.poly.txt\">poly_200.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.507s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.449s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.729s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_201.poly.txt\">poly_201.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.643s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.653s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.594s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_202.poly.txt\">poly_202.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.550s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.233s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.361s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_203.poly.txt\">poly_203.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.612s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.274s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.651s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_204.poly.txt\">poly_204.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.538s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.064s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.595s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_205.poly.txt\">poly_205.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.628s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.539s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.767s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_206.poly.txt\">poly_206.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.587s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.217s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.486s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_207.poly.txt\">poly_207.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.496s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.833s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.533s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_208.poly.txt\">poly_208.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.565s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.547s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.370s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_209.poly.txt\">poly_209.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.557s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.796s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.805s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_210.poly.txt\">poly_210.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.507s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.988s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.504s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_211.poly.txt\">poly_211.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.710s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.440s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.661s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_212.poly.txt\">poly_212.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.567s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.301s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.443s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_213.poly.txt\">poly_213.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.535s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.277s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.463s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_214.poly.txt\">poly_214.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.562s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.963s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.769s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_215.poly.txt\">poly_215.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.607s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.809s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.695s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_216.poly.txt\">poly_216.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.556s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.627s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.835s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_217.poly.txt\">poly_217.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.583s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.044s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.837s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_218.poly.txt\">poly_218.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.622s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.638s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.571s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_219.poly.txt\">poly_219.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.618s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.851s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.755s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_220.poly.txt\">poly_220.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.549s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.227s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.605s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_221.poly.txt\">poly_221.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.562s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.441s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.725s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_222.poly.txt\">poly_222.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.519s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.129s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.595s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_223.poly.txt\">poly_223.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.538s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.158s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.863s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_224.poly.txt\">poly_224.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.542s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.832s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.646s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_225.poly.txt\">poly_225.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.533s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.330s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.928s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_226.poly.txt\">poly_226.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.635s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.760s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.953s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_227.poly.txt\">poly_227.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.560s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.580s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.460s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_228.poly.txt\">poly_228.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.609s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.838s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.023s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_229.poly.txt\">poly_229.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.636s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.961s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.860s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_230.poly.txt\">poly_230.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.643s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.743s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.459s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_231.poly.txt\">poly_231.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.756s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.141s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.722s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_232.poly.txt\">poly_232.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.553s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.869s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.206s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_233.poly.txt\">poly_233.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.627s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.933s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.755s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_234.poly.txt\">poly_234.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.567s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.316s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.435s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_235.poly.txt\">poly_235.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.633s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.612s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.758s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_236.poly.txt\">poly_236.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.542s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.896s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.490s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_237.poly.txt\">poly_237.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.693s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.163s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.729s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_238.poly.txt\">poly_238.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.647s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.464s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.699s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_239.poly.txt\">poly_239.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.555s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.564s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.658s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_240.poly.txt\">poly_240.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.567s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.361s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.793s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_241.poly.txt\">poly_241.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.640s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.208s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.607s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_242.poly.txt\">poly_242.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.780s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.006s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.876s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_243.poly.txt\">poly_243.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.556s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.465s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.973s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_244.poly.txt\">poly_244.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.694s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.305s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.191s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_245.poly.txt\">poly_245.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.588s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.651s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.525s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_246.poly.txt\">poly_246.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.588s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.791s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.973s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_247.poly.txt\">poly_247.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.684s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.583s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.820s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_248.poly.txt\">poly_248.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.626s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.027s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.153s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_249.poly.txt\">poly_249.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.540s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.997s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.647s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_250.poly.txt\">poly_250.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.614s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.558s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.139s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_251.poly.txt\">poly_251.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.663s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.376s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.259s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_252.poly.txt\">poly_252.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.655s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.551s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.952s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_253.poly.txt\">poly_253.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.685s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.436s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.999s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_254.poly.txt\">poly_254.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.727s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.217s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.133s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_255.poly.txt\">poly_255.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.831s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.706s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.923s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_256.poly.txt\">poly_256.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.730s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.011s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.385s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_257.poly.txt\">poly_257.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.605s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.808s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.121s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_258.poly.txt\">poly_258.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.609s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.056s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.825s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_259.poly.txt\">poly_259.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.740s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.579s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.263s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_260.poly.txt\">poly_260.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.655s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.068s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.411s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_261.poly.txt\">poly_261.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.647s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.959s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.240s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_262.poly.txt\">poly_262.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.574s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.489s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.158s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_263.poly.txt\">poly_263.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.757s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.162s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.207s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_264.poly.txt\">poly_264.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.710s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.118s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.047s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_265.poly.txt\">poly_265.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.728s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.967s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.332s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_266.poly.txt\">poly_266.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.765s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.685s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.115s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_267.poly.txt\">poly_267.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.592s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;4.304s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.330s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_268.poly.txt\">poly_268.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.717s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.360s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.578s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_269.poly.txt\">poly_269.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.885s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;4.903s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.857s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_270.poly.txt\">poly_270.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.953s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.333s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.233s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_271.poly.txt\">poly_271.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.817s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.409s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.753s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_272.poly.txt\">poly_272.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.776s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.498s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.303s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_273.poly.txt\">poly_273.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.707s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;4.628s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.852s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_274.poly.txt\">poly_274.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.689s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;5.255s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.282s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_275.poly.txt\">poly_275.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.892s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;5.099s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.855s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_276.poly.txt\">poly_276.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.567s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;4.737s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.194s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_277.poly.txt\">poly_277.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.873s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;4.736s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.962s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_278.poly.txt\">poly_278.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.766s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.295s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.257s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_279.poly.txt\">poly_279.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.969s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.762s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.942s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_280.poly.txt\">poly_280.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.732s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;4.787s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.891s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_281.poly.txt\">poly_281.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.732s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;4.608s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.302s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_282.poly.txt\">poly_282.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.871s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;5.127s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.782s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_283.poly.txt\">poly_283.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.738s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.931s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.004s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_284.poly.txt\">poly_284.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.857s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;4.326s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.888s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_285.poly.txt\">poly_285.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.646s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;5.082s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.506s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_286.poly.txt\">poly_286.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.815s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;4.132s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.396s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_287.poly.txt\">poly_287.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.965s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;4.368s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.355s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_288.poly.txt\">poly_288.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.746s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;4.417s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.476s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_289.poly.txt\">poly_289.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.764s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;6.243s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.312s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_290.poly.txt\">poly_290.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.610s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.899s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.984s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_291.poly.txt\">poly_291.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.680s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;5.110s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.958s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_292.poly.txt\">poly_292.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.717s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;5.487s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.880s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_293.poly.txt\">poly_293.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.717s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;8.597s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.738s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_294.poly.txt\">poly_294.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.721s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;6.355s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.375s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_295.poly.txt\">poly_295.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.987s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.809s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.191s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_296.poly.txt\">poly_296.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.876s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;5.080s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.065s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_297.poly.txt\">poly_297.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.882s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;5.162s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.925s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_298.poly.txt\">poly_298.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.053s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;6.622s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.675s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_299.poly.txt\">poly_299.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.787s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;4.366s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.351s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_300.poly.txt\">poly_300.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.878s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;7.252s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.340s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_301.poly.txt\">poly_301.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.718s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;5.359s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.977s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_302.poly.txt\">poly_302.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.076s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;5.446s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.446s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_303.poly.txt\">poly_303.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.355s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.074s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.388s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_304.poly.txt\">poly_304.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.710s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;7.352s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.100s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_305.poly.txt\">poly_305.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.862s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;5.038s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.036s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_306.poly.txt\">poly_306.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.640s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;5.466s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.315s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_307.poly.txt\">poly_307.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.907s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;6.191s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.003s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_308.poly.txt\">poly_308.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.825s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;4.889s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.787s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_309.poly.txt\">poly_309.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.157s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;4.730s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.683s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_310.poly.txt\">poly_310.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.048s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;6.380s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.899s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_311.poly.txt\">poly_311.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.821s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;5.340s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.493s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_312.poly.txt\">poly_312.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.734s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;4.584s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.257s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_313.poly.txt\">poly_313.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.875s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;5.126s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.942s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_314.poly.txt\">poly_314.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.152s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;6.076s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.132s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_315.poly.txt\">poly_315.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.646s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;8.902s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.290s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_316.poly.txt\">poly_316.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.864s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;7.926s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.816s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_317.poly.txt\">poly_317.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.865s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;5.540s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.609s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_318.poly.txt\">poly_318.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.217s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;8.536s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.028s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_319.poly.txt\">poly_319.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.787s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;6.662s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.033s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_320.poly.txt\">poly_320.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.368s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;5.776s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.548s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_321.poly.txt\">poly_321.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.984s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;8.860s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.601s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_322.poly.txt\">poly_322.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.869s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;9.124s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.810s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_323.poly.txt\">poly_323.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.648s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;6.936s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.108s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_324.poly.txt\">poly_324.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.937s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;7.901s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.841s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_325.poly.txt\">poly_325.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.901s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;6.507s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.776s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_326.poly.txt\">poly_326.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.733s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;6.871s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.727s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_327.poly.txt\">poly_327.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.765s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;8.104s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.637s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_328.poly.txt\">poly_328.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.885s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;10.401s&nbsp;&nbsp;&nbsp;&nbsp;2.218s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_329.poly.txt\">poly_329.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.001s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;4.122s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.249s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_330.poly.txt\">poly_330.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.785s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;6.544s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.827s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_331.poly.txt\">poly_331.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.918s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;9.594s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.460s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_332.poly.txt\">poly_332.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.843s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;7.225s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.023s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_333.poly.txt\">poly_333.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.150s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;11.494s&nbsp;&nbsp;&nbsp;&nbsp;2.873s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_334.poly.txt\">poly_334.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.950s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;10.194s&nbsp;&nbsp;&nbsp;&nbsp;2.355s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_335.poly.txt\">poly_335.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.172s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;8.722s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.315s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_336.poly.txt\">poly_336.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.027s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;6.473s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.449s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_337.poly.txt\">poly_337.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.751s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;11.346s&nbsp;&nbsp;&nbsp;&nbsp;1.752s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_338.poly.txt\">poly_338.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.813s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;9.438s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.968s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_339.poly.txt\">poly_339.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.815s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;7.378s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.027s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_340.poly.txt\">poly_340.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.664s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;8.289s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.205s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_341.poly.txt\">poly_341.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.919s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;6.848s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.083s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_342.poly.txt\">poly_342.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.027s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;14.903s&nbsp;&nbsp;&nbsp;&nbsp;1.691s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_343.poly.txt\">poly_343.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.158s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;9.495s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.103s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_344.poly.txt\">poly_344.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.812s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;9.516s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.305s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_345.poly.txt\">poly_345.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.189s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;5.334s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.104s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_346.poly.txt\">poly_346.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.014s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;10.649s&nbsp;&nbsp;&nbsp;&nbsp;3.294s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_347.poly.txt\">poly_347.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.975s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;8.088s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.566s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_348.poly.txt\">poly_348.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.877s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;10.249s&nbsp;&nbsp;&nbsp;&nbsp;2.408s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_349.poly.txt\">poly_349.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.850s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;13.374s&nbsp;&nbsp;&nbsp;&nbsp;3.216s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_350.poly.txt\">poly_350.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.246s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;11.256s&nbsp;&nbsp;&nbsp;&nbsp;2.747s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_351.poly.txt\">poly_351.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.959s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;8.027s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.336s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_352.poly.txt\">poly_352.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.013s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;9.565s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.848s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_353.poly.txt\">poly_353.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.764s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;9.335s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.650s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_354.poly.txt\">poly_354.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.242s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;9.831s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.840s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_355.poly.txt\">poly_355.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.636s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;7.602s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.256s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_356.poly.txt\">poly_356.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.080s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;8.711s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.033s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_357.poly.txt\">poly_357.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.776s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;10.423s&nbsp;&nbsp;&nbsp;&nbsp;3.029s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_358.poly.txt\">poly_358.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.909s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;12.636s&nbsp;&nbsp;&nbsp;&nbsp;3.057s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_359.poly.txt\">poly_359.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.894s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;15.462s&nbsp;&nbsp;&nbsp;&nbsp;3.104s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_360.poly.txt\">poly_360.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.062s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;12.932s&nbsp;&nbsp;&nbsp;&nbsp;3.219s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_361.poly.txt\">poly_361.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.964s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;15.856s&nbsp;&nbsp;&nbsp;&nbsp;2.869s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_362.poly.txt\">poly_362.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.863s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;10.977s&nbsp;&nbsp;&nbsp;&nbsp;4.597s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_363.poly.txt\">poly_363.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.288s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;21.610s&nbsp;&nbsp;&nbsp;&nbsp;2.335s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_364.poly.txt\">poly_364.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.895s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;17.265s&nbsp;&nbsp;&nbsp;&nbsp;1.675s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_365.poly.txt\">poly_365.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.979s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;9.957s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.394s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_366.poly.txt\">poly_366.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.727s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;8.259s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.021s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_367.poly.txt\">poly_367.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.977s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;10.959s&nbsp;&nbsp;&nbsp;&nbsp;4.299s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_368.poly.txt\">poly_368.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.248s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;15.490s&nbsp;&nbsp;&nbsp;&nbsp;3.341s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_369.poly.txt\">poly_369.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.791s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;12.137s&nbsp;&nbsp;&nbsp;&nbsp;3.151s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_370.poly.txt\">poly_370.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.754s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;13.471s&nbsp;&nbsp;&nbsp;&nbsp;1.879s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_371.poly.txt\">poly_371.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.289s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;12.679s&nbsp;&nbsp;&nbsp;&nbsp;2.693s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_372.poly.txt\">poly_372.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.856s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;6.906s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.488s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_373.poly.txt\">poly_373.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.442s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;9.346s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.019s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_374.poly.txt\">poly_374.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.961s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;13.392s&nbsp;&nbsp;&nbsp;&nbsp;3.527s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_375.poly.txt\">poly_375.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.982s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;9.665s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.495s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_376.poly.txt\">poly_376.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.431s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;8.820s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.613s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_377.poly.txt\">poly_377.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.262s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;10.092s&nbsp;&nbsp;&nbsp;&nbsp;2.358s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_378.poly.txt\">poly_378.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.067s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;13.103s&nbsp;&nbsp;&nbsp;&nbsp;4.017s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_379.poly.txt\">poly_379.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.798s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;11.407s&nbsp;&nbsp;&nbsp;&nbsp;2.530s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_380.poly.txt\">poly_380.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.381s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;12.311s&nbsp;&nbsp;&nbsp;&nbsp;2.954s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_381.poly.txt\">poly_381.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.278s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;8.984s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.999s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_382.poly.txt\">poly_382.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.895s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;9.518s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.817s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_383.poly.txt\">poly_383.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.945s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;13.615s&nbsp;&nbsp;&nbsp;&nbsp;3.512s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_384.poly.txt\">poly_384.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.031s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;19.243s&nbsp;&nbsp;&nbsp;&nbsp;3.481s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_385.poly.txt\">poly_385.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.046s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;13.784s&nbsp;&nbsp;&nbsp;&nbsp;2.661s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_386.poly.txt\">poly_386.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.275s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;10.230s&nbsp;&nbsp;&nbsp;&nbsp;3.170s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_387.poly.txt\">poly_387.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.976s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;13.687s&nbsp;&nbsp;&nbsp;&nbsp;3.704s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_388.poly.txt\">poly_388.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.733s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;8.044s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.772s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_389.poly.txt\">poly_389.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.902s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;9.925s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.886s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_390.poly.txt\">poly_390.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.766s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;8.027s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.704s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_391.poly.txt\">poly_391.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.774s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;19.267s&nbsp;&nbsp;&nbsp;&nbsp;3.956s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_392.poly.txt\">poly_392.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.368s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;17.336s&nbsp;&nbsp;&nbsp;&nbsp;2.238s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_393.poly.txt\">poly_393.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.079s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;11.014s&nbsp;&nbsp;&nbsp;&nbsp;3.572s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_394.poly.txt\">poly_394.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.971s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;14.128s&nbsp;&nbsp;&nbsp;&nbsp;4.558s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_395.poly.txt\">poly_395.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.163s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;12.663s&nbsp;&nbsp;&nbsp;&nbsp;2.931s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_396.poly.txt\">poly_396.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.984s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;13.827s&nbsp;&nbsp;&nbsp;&nbsp;2.365s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_397.poly.txt\">poly_397.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.796s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;14.465s&nbsp;&nbsp;&nbsp;&nbsp;4.155s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_398.poly.txt\">poly_398.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.899s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;13.236s&nbsp;&nbsp;&nbsp;&nbsp;1.938s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_399.poly.txt\">poly_399.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.339s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;20.634s&nbsp;&nbsp;&nbsp;&nbsp;4.699s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_400.poly.txt\">poly_400.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.162s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;13.476s&nbsp;&nbsp;&nbsp;&nbsp;1.849s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_401.poly.txt\">poly_401.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.086s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;8.101s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.171s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_402.poly.txt\">poly_402.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.891s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;11.124s&nbsp;&nbsp;&nbsp;&nbsp;3.086s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_403.poly.txt\">poly_403.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.988s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;11.010s&nbsp;&nbsp;&nbsp;&nbsp;2.644s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_404.poly.txt\">poly_404.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.051s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;20.160s&nbsp;&nbsp;&nbsp;&nbsp;2.425s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_405.poly.txt\">poly_405.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.647s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;23.650s&nbsp;&nbsp;&nbsp;&nbsp;5.199s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_406.poly.txt\">poly_406.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.036s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;15.906s&nbsp;&nbsp;&nbsp;&nbsp;4.767s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_407.poly.txt\">poly_407.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.083s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;16.742s&nbsp;&nbsp;&nbsp;&nbsp;2.401s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_408.poly.txt\">poly_408.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.177s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;19.860s&nbsp;&nbsp;&nbsp;&nbsp;3.804s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_409.poly.txt\">poly_409.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.107s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;12.738s&nbsp;&nbsp;&nbsp;&nbsp;3.757s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_410.poly.txt\">poly_410.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.193s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;11.465s&nbsp;&nbsp;&nbsp;&nbsp;3.740s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_411.poly.txt\">poly_411.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.550s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;16.718s&nbsp;&nbsp;&nbsp;&nbsp;3.228s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_412.poly.txt\">poly_412.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.252s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;23.868s&nbsp;&nbsp;&nbsp;&nbsp;4.908s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_413.poly.txt\">poly_413.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.895s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;14.672s&nbsp;&nbsp;&nbsp;&nbsp;2.091s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_414.poly.txt\">poly_414.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.146s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;20.009s&nbsp;&nbsp;&nbsp;&nbsp;4.559s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_415.poly.txt\">poly_415.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.152s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;30.237s&nbsp;&nbsp;&nbsp;&nbsp;3.488s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_416.poly.txt\">poly_416.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.262s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;15.382s&nbsp;&nbsp;&nbsp;&nbsp;3.950s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_417.poly.txt\">poly_417.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.472s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;17.767s&nbsp;&nbsp;&nbsp;&nbsp;3.577s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_418.poly.txt\">poly_418.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.928s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;13.745s&nbsp;&nbsp;&nbsp;&nbsp;2.527s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_419.poly.txt\">poly_419.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.431s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;18.499s&nbsp;&nbsp;&nbsp;&nbsp;3.931s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_420.poly.txt\">poly_420.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.035s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;12.498s&nbsp;&nbsp;&nbsp;&nbsp;4.095s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_421.poly.txt\">poly_421.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.506s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;20.517s&nbsp;&nbsp;&nbsp;&nbsp;3.537s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_422.poly.txt\">poly_422.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.489s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;24.745s&nbsp;&nbsp;&nbsp;&nbsp;4.400s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_423.poly.txt\">poly_423.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.250s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;22.582s&nbsp;&nbsp;&nbsp;&nbsp;6.671s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_424.poly.txt\">poly_424.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.972s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;14.030s&nbsp;&nbsp;&nbsp;&nbsp;2.653s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_425.poly.txt\">poly_425.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.212s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;18.464s&nbsp;&nbsp;&nbsp;&nbsp;5.370s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_426.poly.txt\">poly_426.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.962s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;14.179s&nbsp;&nbsp;&nbsp;&nbsp;2.795s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_427.poly.txt\">poly_427.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.252s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;19.630s&nbsp;&nbsp;&nbsp;&nbsp;5.115s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_428.poly.txt\">poly_428.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.220s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;27.196s&nbsp;&nbsp;&nbsp;&nbsp;6.014s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_429.poly.txt\">poly_429.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.027s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;19.862s&nbsp;&nbsp;&nbsp;&nbsp;5.965s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_430.poly.txt\">poly_430.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.201s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;23.786s&nbsp;&nbsp;&nbsp;&nbsp;5.561s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_431.poly.txt\">poly_431.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.734s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;18.729s&nbsp;&nbsp;&nbsp;&nbsp;2.498s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_432.poly.txt\">poly_432.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.238s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;28.353s&nbsp;&nbsp;&nbsp;&nbsp;4.299s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_433.poly.txt\">poly_433.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.174s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;14.652s&nbsp;&nbsp;&nbsp;&nbsp;2.770s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_434.poly.txt\">poly_434.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.760s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;20.187s&nbsp;&nbsp;&nbsp;&nbsp;6.655s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_435.poly.txt\">poly_435.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.538s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;11.108s&nbsp;&nbsp;&nbsp;&nbsp;2.718s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_436.poly.txt\">poly_436.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.594s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;14.872s&nbsp;&nbsp;&nbsp;&nbsp;3.205s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_437.poly.txt\">poly_437.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.147s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;14.635s&nbsp;&nbsp;&nbsp;&nbsp;3.155s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_438.poly.txt\">poly_438.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.690s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;20.034s&nbsp;&nbsp;&nbsp;&nbsp;3.980s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_439.poly.txt\">poly_439.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.411s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;25.149s&nbsp;&nbsp;&nbsp;&nbsp;2.364s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_440.poly.txt\">poly_440.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.163s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;25.878s&nbsp;&nbsp;&nbsp;&nbsp;4.781s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_441.poly.txt\">poly_441.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.384s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;25.170s&nbsp;&nbsp;&nbsp;&nbsp;5.160s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_442.poly.txt\">poly_442.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.870s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;11.668s&nbsp;&nbsp;&nbsp;&nbsp;2.323s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_443.poly.txt\">poly_443.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.951s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;33.579s&nbsp;&nbsp;&nbsp;&nbsp;6.205s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_444.poly.txt\">poly_444.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.065s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;17.941s&nbsp;&nbsp;&nbsp;&nbsp;2.910s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_445.poly.txt\">poly_445.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.998s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;16.430s&nbsp;&nbsp;&nbsp;&nbsp;3.563s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_446.poly.txt\">poly_446.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.045s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;26.910s&nbsp;&nbsp;&nbsp;&nbsp;4.228s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_447.poly.txt\">poly_447.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.295s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;29.425s&nbsp;&nbsp;&nbsp;&nbsp;5.399s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_448.poly.txt\">poly_448.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.661s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;16.258s&nbsp;&nbsp;&nbsp;&nbsp;2.585s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_449.poly.txt\">poly_449.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.622s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;17.693s&nbsp;&nbsp;&nbsp;&nbsp;4.303s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_450.poly.txt\">poly_450.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.641s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;22.936s&nbsp;&nbsp;&nbsp;&nbsp;6.282s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_451.poly.txt\">poly_451.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.703s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;22.255s&nbsp;&nbsp;&nbsp;&nbsp;4.342s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_452.poly.txt\">poly_452.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.430s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;31.131s&nbsp;&nbsp;&nbsp;&nbsp;4.344s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_453.poly.txt\">poly_453.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.971s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;21.473s&nbsp;&nbsp;&nbsp;&nbsp;4.852s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_454.poly.txt\">poly_454.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.567s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;37.292s&nbsp;&nbsp;&nbsp;&nbsp;6.394s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_455.poly.txt\">poly_455.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.935s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;30.081s&nbsp;&nbsp;&nbsp;&nbsp;4.497s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_456.poly.txt\">poly_456.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.516s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;22.825s&nbsp;&nbsp;&nbsp;&nbsp;6.350s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_457.poly.txt\">poly_457.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;0.990s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;22.727s&nbsp;&nbsp;&nbsp;&nbsp;5.842s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_458.poly.txt\">poly_458.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.405s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;27.059s&nbsp;&nbsp;&nbsp;&nbsp;5.239s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_459.poly.txt\">poly_459.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.000s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;29.375s&nbsp;&nbsp;&nbsp;&nbsp;3.965s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_460.poly.txt\">poly_460.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.269s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;21.120s&nbsp;&nbsp;&nbsp;&nbsp;4.921s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_461.poly.txt\">poly_461.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.220s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;18.023s&nbsp;&nbsp;&nbsp;&nbsp;3.005s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_462.poly.txt\">poly_462.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.530s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;30.173s&nbsp;&nbsp;&nbsp;&nbsp;5.349s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_463.poly.txt\">poly_463.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.502s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;35.296s&nbsp;&nbsp;&nbsp;&nbsp;4.015s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_464.poly.txt\">poly_464.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.152s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;27.638s&nbsp;&nbsp;&nbsp;&nbsp;4.711s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_465.poly.txt\">poly_465.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.497s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;33.634s&nbsp;&nbsp;&nbsp;&nbsp;6.219s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_466.poly.txt\">poly_466.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.395s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;31.657s&nbsp;&nbsp;&nbsp;&nbsp;5.550s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_467.poly.txt\">poly_467.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.275s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;28.666s&nbsp;&nbsp;&nbsp;&nbsp;4.809s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_468.poly.txt\">poly_468.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.117s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;16.743s&nbsp;&nbsp;&nbsp;&nbsp;3.226s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_469.poly.txt\">poly_469.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.483s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;34.383s&nbsp;&nbsp;&nbsp;&nbsp;5.065s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_470.poly.txt\">poly_470.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.317s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;17.479s&nbsp;&nbsp;&nbsp;&nbsp;5.529s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_471.poly.txt\">poly_471.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.959s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;22.467s&nbsp;&nbsp;&nbsp;&nbsp;7.354s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_472.poly.txt\">poly_472.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.504s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;23.219s&nbsp;&nbsp;&nbsp;&nbsp;3.251s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_473.poly.txt\">poly_473.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.680s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;35.369s&nbsp;&nbsp;&nbsp;&nbsp;7.189s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_474.poly.txt\">poly_474.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.325s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;33.530s&nbsp;&nbsp;&nbsp;&nbsp;5.067s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_475.poly.txt\">poly_475.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.061s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;26.542s&nbsp;&nbsp;&nbsp;&nbsp;5.007s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_476.poly.txt\">poly_476.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.638s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;24.279s&nbsp;&nbsp;&nbsp;&nbsp;3.182s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_477.poly.txt\">poly_477.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.551s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;23.888s&nbsp;&nbsp;&nbsp;&nbsp;7.094s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_478.poly.txt\">poly_478.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.480s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;30.671s&nbsp;&nbsp;&nbsp;&nbsp;5.880s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_479.poly.txt\">poly_479.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.545s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;30.107s&nbsp;&nbsp;&nbsp;&nbsp;8.659s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_480.poly.txt\">poly_480.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.674s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;34.370s&nbsp;&nbsp;&nbsp;&nbsp;7.401s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_481.poly.txt\">poly_481.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.276s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;29.611s&nbsp;&nbsp;&nbsp;&nbsp;5.249s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_482.poly.txt\">poly_482.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.612s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;26.880s&nbsp;&nbsp;&nbsp;&nbsp;7.500s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_483.poly.txt\">poly_483.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.534s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;19.501s&nbsp;&nbsp;&nbsp;&nbsp;3.872s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_484.poly.txt\">poly_484.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.033s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;45.472s&nbsp;&nbsp;&nbsp;&nbsp;5.112s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_485.poly.txt\">poly_485.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.442s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;32.935s&nbsp;&nbsp;&nbsp;&nbsp;6.633s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_486.poly.txt\">poly_486.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.616s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;30.956s&nbsp;&nbsp;&nbsp;&nbsp;6.961s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_487.poly.txt\">poly_487.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.807s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;28.656s&nbsp;&nbsp;&nbsp;&nbsp;3.263s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_488.poly.txt\">poly_488.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.165s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;41.173s&nbsp;&nbsp;&nbsp;&nbsp;5.497s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_489.poly.txt\">poly_489.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.978s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;40.021s&nbsp;&nbsp;&nbsp;&nbsp;4.627s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_490.poly.txt\">poly_490.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.133s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;37.273s&nbsp;&nbsp;&nbsp;&nbsp;5.103s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_491.poly.txt\">poly_491.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.112s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;36.685s&nbsp;&nbsp;&nbsp;&nbsp;7.104s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_492.poly.txt\">poly_492.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.086s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;30.427s&nbsp;&nbsp;&nbsp;&nbsp;7.117s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_493.poly.txt\">poly_493.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.297s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;46.938s&nbsp;&nbsp;&nbsp;&nbsp;6.873s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_494.poly.txt\">poly_494.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.755s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;34.678s&nbsp;&nbsp;&nbsp;&nbsp;5.329s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_495.poly.txt\">poly_495.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.274s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;31.758s&nbsp;&nbsp;&nbsp;&nbsp;6.371s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_496.poly.txt\">poly_496.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.010s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;34.106s&nbsp;&nbsp;&nbsp;&nbsp;9.385s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_497.poly.txt\">poly_497.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.014s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;39.699s&nbsp;&nbsp;&nbsp;&nbsp;5.630s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_498.poly.txt\">poly_498.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.945s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;38.142s&nbsp;&nbsp;&nbsp;&nbsp;3.470s<br>\n<a href=\"http://cl-informatik.uibk.ac.at/software/ceta/experiments/factorization/experiments/poly_499.poly.txt\">poly_499.poly</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.622s&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;38.871s&nbsp;&nbsp;&nbsp;&nbsp;5.723s</p>", 
    "license": {
      "id": "CC-BY-4.0"
    }, 
    "title": "A Verified Implementation of the Berlekamp\u2013Zassenhaus Factorization Algorithm, supporting material", 
    "relations": {
      "version": [
        {
          "count": 3, 
          "index": 1, 
          "parent": {
            "pid_type": "recid", 
            "pid_value": "2525350"
          }, 
          "is_last": false, 
          "last_child": {
            "pid_type": "recid", 
            "pid_value": "3247727"
          }
        }
      ]
    }, 
    "keywords": [
      "Factor Bounds", 
      "Hensel Lifting", 
      "Isabelle/HOL", 
      "Local Type Definitions", 
      "Polynomial Factorization", 
      "Theorem Proving"
    ], 
    "publication_date": "2018-12-23", 
    "creators": [
      {
        "orcid": "0000-0002-5173-128X", 
        "affiliation": "University of La Rioja, Spain", 
        "name": "Divas\u00f3n, Jose"
      }, 
      {
        "orcid": "0000-0002-6590-6220", 
        "affiliation": "University of Innsbruck, Austria", 
        "name": "Joosten, Sebastiaan J. C."
      }, 
      {
        "orcid": "0000-0002-0323-8829", 
        "affiliation": "University of Innsbruck, Austria", 
        "name": "Thiemann, Ren\u00e9"
      }, 
      {
        "orcid": "0000-0001-8872-2240", 
        "affiliation": "University of Innsbruck, Austria", 
        "name": "Yamada, Akihisa"
      }
    ], 
    "access_right": "open", 
    "resource_type": {
      "type": "software", 
      "title": "Software"
    }, 
    "related_identifiers": [
      {
        "scheme": "doi", 
        "identifier": "10.5281/zenodo.2525350", 
        "relation": "isVersionOf"
      }
    ]
  }
}
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