Instances of family gttt-4x4_2020 solved by Caqe-bloqqer-qdo
Prenex CNF Track

InstanceResultTime
gttt_2_2_000111_4x4_torus_w_2020UNSAT8.78
gttt_2_2_000111_4x4_w_2020UNSAT9.04
gttt_2_2_000111_4x4_torus_b_2020SAT9.46
gttt_2_2_000111_4x4_b_2020SAT10.41
gttt_2_1_001020_4x4_torus_w_2020UNSAT10.88
gttt_2_1_00011020_4x4_b_2020UNSAT15.96
gttt_1_1_000111_4x4_torus_w_2020UNSAT27.11
gttt_2_1_00102030_4x4_torus_b_2020UNSAT37.39
gttt_1_1_000111_4x4_torus_b_2020SAT135.72
gttt_1_1_00101121_4x4_torus_w_2020UNSAT462.26