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