files / problems / c7-shannon / compute / cegar_product_log.txt

66 B · on GitHub

product 330 residual 0 need 38
empty residual; product is maximal