http://server-test.net/math/php.php?name=tokyo&v1=1&v2=2021&v3=1&v4=6&y=2021&n=6

todai-2021-6.txt

[todai-2021-6]
(b,c,p,q,r,x)
5
(A x)[
    x^4 + b x + c = (x^2 + p x + q) (x^2 - p x + r) /\ [p > 0 \/ p < 0]
].
finish

出力.txt

$ time bin/qepcadd <todai-2021-6.txt 
=======================================================
                Quantifier Elimination                 
                          in                           
            Elementary Algebra and Geometry            
                          by                           
      Partial Cylindrical Algebraic Decomposition      
                                                       
               Version B 1.69, 16 Mar 2012
                                                       
                          by                           
                       Hoon Hong                       
                  ([email protected])                
                                                       
With contributions by: Christopher W. Brown, George E. 
Collins, Mark J. Encarnacion, Jeremy R. Johnson        
Werner Krandick, Richard Liska, Scott McCallum,        
Nicolas Robidoux, and Stanly Steinberg                 
=======================================================
Enter an informal description  between '[' and ']':
[todai-2021-6]Enter a variable list:
(b,c,p,q,r,x)Enter the number of free variables:
5
Enter a prenex formula:
(A x)[
    x^4 + b x + c = (x^2 + p x + q) (x^2 - p x + r) /\ [p > 0 \/ p < 0]
].

=======================================================

Before Normalization >
finish

** 94457 cells, 19999 arrays in 17 milliseconds.


Failure occurred in:    GCSI (final check)
Reason for the failure: Too few cells reclaimed.

N   = 94457
NU  = 1000000
RHO = 10


Now the FAIL handler is aborting the program ...
Abort trap: 6

real	0m0.775s
user	0m0.630s
sys	0m0.047s