Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/ace/src/test/   (GAP Algebra Version 4.15.1©)  Datei vom 10.3.2025 mit Größe 11 kB image not shown  

Quelle  test022b.in

  Sprache: C 		 


# This version of test022a.in is for the 2 generator runs only.
# Hard is much better in PEACE than in ACE.

Text;  Opt;

Enum: M22;

Wo:2500000;  Mess:500000;

Gr: a,b;
Rel:
  b^4, 
  a^2*b^-2*a^2*b^-1*a^-1*b^-1*a^2*b^-2*a^2*b^-1*a^-1*b,
  a^-1*b*a*b*a^-2*b^2*a^-1*b*a*b^-2*a^-1*b*a*b*a^-2*b^2*a^-1*b*a*b^-2,
  b*a*b*a*b^-2*a^3*b^-2*a^3*b^-2*a^3*b^-2*a^2*b*a^-2*b^2*a^-2*b,
  a^-3*b^2*a^-3*b^-2*a^-4*b^-2*a^-1*b^-2*a*b^-2*a^-3*b^-2*a^-3*b^-2*a^-6,
  a^3*b^-2*a^3*b^-2*a^2*b^-2*a^3*b^-2*a^3*b^-2*a^-1*b^-2*a^-1*b^-1*a^-1*
    b^-2*a^2*b^-2*a^2*b, 
  a^-1*b^2*a^-3*b^-2*a^-3*b^-2*a^-4*b^-1*a^-3*b^-2*a^4*b^-2*a^3*b^-2*a^3*
    b^-2*a^-2*b, 
  a^-1*b*a*b^2*a^-1*b^-1*a^-1*b^-2*a^2*b^-2*a^2*b^-1*a*b^-2*a^3*b^-2*a^3*
    b^-2*a^-2*b^-1*a*b*a^4*b^-2*a^3*b^-2*a^3*b^-2,
  a^-1*b^-1*a*b^2*a^-1*b^-1*a^-1*b^-2*a^2*b^-2*a^2*b^-1*a*b*a^-2*b^2*a^-2*
    b^-2*a*b*a*b*a^2*b^-2*a^-3*b^-2*a^-3*b^-2*a^-4*b^-2*a*b^-2*a*b,
  a^-1*b^-2*a^-1*b^-1*a^4*b^-2*a^3*b^-2*a^3*b^-2*a^-1*b^-2*a*b*a*b*a*b^-2*
    a^-3*b^-2*a^-3*b^-2*a^-4*b^-2*a^2*b^-2*a*b^-1*a^-1*b^-2*a^-2,
  b^-2*a*b^-1*a*b*a^-2*b^-2*a^-1*b*a*b^-2*a^-1*b^-1*a^-1*b^-2*a*b*a^4*
    b^-2*a^3*b^-2*a^4*b^-1*a^-1*b^-2*a^-2*b^-2*a^2*b^-2*a^-3*b^-2*a^-3*
    b^-2*a^-2,
  b^2*a*b*a^4*b^-2*a^3*b^-2*a^5*b*a^4*b^-2*a^3*b^-2*a^3*b*a^2*b^-2*a*b^-2*
    a^-1*b^-2*a^2*b*a^2*b^-2*a^-3*b^-2*a^-3*b^-2*a^-2,
  a*b^-1*a^-1*b^2*a^-2*b*a^4*b^-2*a^3*b^-2*a^3*b^-2*a^-2*b^-1*a^2*b^-2*
    a^-3*b^-2*a^-3*b^-2*a^-4*b*a^2*b^-2*a*b^-2*a^4*b^-2*a^3*b^-2*a^3,
  a^-1*b^2*a^-3*b^-2*a^-4*b^-1*a^-1*b^-2*a^5*b^-2*a^3*b^-2*a^3*b^-2*a^-2*
    b^-1*a^3*b^-2*a*b*a^5*b^-2*a^3*b^-2*a^3*b^-2*a^-3*b*a*b^-2*a*b^-2,
  a^-2*b^2*a^-2*b*a^3*b*a*b^-2*a^-1*b^-1*a^-1*b^-2*a^2*b^-2*a^2*b^-2*a^2*
    b^-2*a^2*b^-1*a*b^-2*a^-3*b^2*a^-3*b^-2*a^-4*b^-2*a^-1*b^-2*a^-2*b^-1*
    a^2*b^-2*a^-3*b^-2*a^-3*b^-2*a^-2, 
  a^-2*b^2*a^-3*b^-2*a^-4*b^-1*a^-1*b^-2*a^2*b*a^-2*b^2*a^-2*b^-2*a*b*
    a^-3*b*a^-1*b^-1*a*b^-2*a^2*b^-1*a^-1*b^-2*a^-3*b^-1*a*b^-2*a*b^-2*
    a^-1*b^-1*a^-1*b^-2*a^2*b^-2*a^3*b^-2*a^-1*b^-1*a*b^-2*a^2*b^-1*a^-1*
    b^-1, 
  b*a*b^-2*a*b*a^2*b^-2*a^-3*b^-2*a^-3*b^-2*a^-5*b^-2*a^-1*b^-2*a^4*b^-2*
    a^3*b^-2*a^3*b^-2*a^-1*b^-2*a*b*a^5*b^-2*a^3*b^-2*a^3*b^-2*a^-3*b*a^4*
    b^-2*a^3*b^-2*a^3*b^-2*a^-1
  ;

Text;
Hard;  Gen: a;  Beg;

Text;
Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;
Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;
Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;
Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;
Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;
Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;
Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;
Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;
Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;
Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;
Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;
Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;
Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;
Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;
Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;
Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;
Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;
Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;
Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;
Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;   Prune:0,1;

Text;
Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;
Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;
Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;
Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;
Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;
Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;
Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;
Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;
Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;
Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;
Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;
Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;
Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;
Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;
Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;
Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;
Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;
Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;
Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;
Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;   Prune:0,2;

Text;
Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;
Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;
Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;
Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;
Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;
Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;
Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;
Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;
Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;
Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;
Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;
Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;
Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;
Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;
Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;
Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;
Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;
Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;
Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;
Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;   Prune:0,4;

Text;
Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;
Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;
Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;
Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;
Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;
Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;
Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;
Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;
Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;
Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;
Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;
Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;
Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;
Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;
Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;
Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;
Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;
Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;
Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;
Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;   Prune:0,8;

Text;
Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;
Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;
Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;
Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;
Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;
Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;
Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;
Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;
Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;
Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;
Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;
Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;
Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;
Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;
Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;
Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;
Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;
Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;
Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;
Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;   Prune:0,16;

Text;
Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;
Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;
Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;
Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;
Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;
Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;
Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;
Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;
Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;
Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;
Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;
Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;
Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;
Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;
Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;
Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;
Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;
Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;
Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;
Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;   Prune:0,32;

Text;
Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;
Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;
Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;
Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;
Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;
Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;
Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;
Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;
Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;
Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;
Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;
Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;
Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;
Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;
Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;
Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;
Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;
Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;
Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;
Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;   Prune:0,64;

#Text;
#Prune:0;     Prune:1;     Prune:0;

Text;


Messung V0.5 in Prozent
C=100 H=58 G=81

¤ Dauer der Verarbeitung: 0.15 Sekunden  (vorverarbeitet am  2026-07-01) ¤

*© Formatika GbR, Deutschland




Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.