10 0 Too long to compute the Groebner basis of a not so big system ( 2020-09-05 10:52:41 +0100 )
10 0 RuntimeError Groebner basis for a Boolean system ( 2020-04-28 12:37:20 +0100 )
10 0 RuntimeError Groebner basis for a Boolean system ( 2020-04-28 00:04:15 +0100 )