Commit a4b9a98b authored by Jakub Janků's avatar Jakub Janků
Browse files

expand tests to clauses with 100 vars

parent 77fddafd