Optimized
---------
Computing Nullstellensatz for degree 0 ...  (1) 0  (1) 0s.
Computing Nullstellensatz for degree 1 ...  (1) 0  (1) 0s.
Computing Nullstellensatz for degree 2 ...  (169) 0  (169) 0s.
Computing Nullstellensatz for degree 3 ...  (5211) 0  (4530) 0s.
Computing Nullstellensatz for degree 4 ...  (78771) 0.08  (49306) 0.03s.
Computing Nullstellensatz for degree 5 ...  (780291) 0.95  (704240) 0.77s.
Computing Nullstellensatz for degree 6 ...  (5760875) 7.55  (8056657) 40.48s.
System of equations is NOT feasible.
TOTAL TIME: 50.14

Non-optimized
-------------
Computing Nullstellensatz for degree 0 ...  (1) 0  (1) 0s.
Computing Nullstellensatz for degree 1 ...  (1) 0  (1) 0s.
Computing Nullstellensatz for degree 2 ...  (169) 0  (169) 0s.
Computing Nullstellensatz for degree 3 ...  (5211) 0  (4530) 0s.
Computing Nullstellensatz for degree 4 ...  (83391) 0.05  (56940) 0.03s.
Computing Nullstellensatz for degree 5 ...  (917601) 0.62  (1035087) 0.73s.
Computing Nullstellensatz for degree 6 ...  (7802081) 4.94  (16026965) 35.01s.
System of equations is NOT feasible.
TOTAL TIME: 41.74

