05:45duration 5 minutes 45 seconds
4 - Chvátal closure
07:35duration 7 minutes 35 seconds
4 - Linear diophantine equations