Instances of family gttt-4x4_2020 solved by nanoqbf_bloqqer
Prenex CNF Track

InstanceResultTime
gttt_2_2_000111_4x4_w_2020UNSAT12.01
gttt_2_2_000111_4x4_torus_w_2020UNSAT505.59
gttt_2_1_00011020_4x4_b_2020FAIL900
gttt_2_1_00102030_4x4_torus_b_2020FAIL900
gttt_2_1_001020_4x4_torus_w_2020FAIL900
gttt_2_2_000111_4x4_b_2020FAIL900
gttt_2_2_000111_4x4_torus_b_2020FAIL900
gttt_1_1_000111_4x4_torus_b_2020FAIL900
gttt_1_1_000111_4x4_torus_w_2020FAIL900
gttt_1_1_00101121_4x4_torus_w_2020FAIL900