A10_u0_v2: formula_clauses=27903 vars=6354 lemmas_checked=22 deletions_ignored=6939 failures=0 empty_clause=1 VERIFIED
A10_u0_v3: formula_clauses=27895 vars=6354 lemmas_checked=241 deletions_ignored=8518 failures=0 empty_clause=1 VERIFIED
A10_u0_v4: formula_clauses=27891 vars=6354 lemmas_checked=355 deletions_ignored=7860 failures=0 empty_clause=1 VERIFIED
A11_u0_v1: formula_clauses=54633 vars=12275 lemmas_checked=100 deletions_ignored=13202 failures=0 empty_clause=1 VERIFIED
A11_u0_v2: formula_clauses=54637 vars=12275 lemmas_checked=110 deletions_ignored=14990 failures=0 empty_clause=1 VERIFIED
A11_u0_v3: formula_clauses=54637 vars=12275 lemmas_checked=102 deletions_ignored=16605 failures=0 empty_clause=1 VERIFIED
A11_u0_v4: formula_clauses=54625 vars=12275 lemmas_checked=688 deletions_ignored=16070 failures=0 empty_clause=1 VERIFIED
A11_u0_v5: formula_clauses=54629 vars=12275 lemmas_checked=425 deletions_ignored=17485 failures=0 empty_clause=1 VERIFIED
Z13_0_u0_v1: formula_clauses=169378 vars=36945 lemmas_checked=743 deletions_ignored=51352 failures=0 empty_clause=1 VERIFIED
Z13_0_u0_v2: formula_clauses=169370 vars=36945 lemmas_checked=4401 deletions_ignored=57332 failures=0 empty_clause=1 VERIFIED
Z13_0_u0_v3: formula_clauses=169362 vars=36945 lemmas_checked=4290 deletions_ignored=53562 failures=0 empty_clause=1 VERIFIED
Z13_0_u0_v4: formula_clauses=169374 vars=36945 lemmas_checked=679 deletions_ignored=53001 failures=0 empty_clause=1 VERIFIED
Z13_0_u0_v5: formula_clauses=169366 vars=36945 lemmas_checked=3110 deletions_ignored=53893 failures=0 empty_clause=1 VERIFIED
Z13_0_u0_v6: formula_clauses=169370 vars=36945 lemmas_checked=813 deletions_ignored=52585 failures=0 empty_clause=1 VERIFIED
Z13_1_u0_v1: formula_clauses=169370 vars=36945 lemmas_checked=2272 deletions_ignored=55511 failures=0 empty_clause=1 VERIFIED
Z13_1_u0_v2: formula_clauses=169362 vars=36945 lemmas_checked=1404 deletions_ignored=48581 failures=0 empty_clause=1 VERIFIED
Z13_1_u0_v3: formula_clauses=169366 vars=36945 lemmas_checked=3972 deletions_ignored=53207 failures=0 empty_clause=1 VERIFIED
Z13_1_u0_v4: formula_clauses=169374 vars=36945 lemmas_checked=597 deletions_ignored=47404 failures=0 empty_clause=1 VERIFIED
Z13_1_u0_v5: formula_clauses=169374 vars=36945 lemmas_checked=1171 deletions_ignored=67067 failures=0 empty_clause=1 VERIFIED
Z13_1_u0_v6: formula_clauses=169374 vars=36945 lemmas_checked=2610 deletions_ignored=57846 failures=0 empty_clause=1 VERIFIED
