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

InstanceResultTime
gttt_2_1_001020_4x4_torus_w_2020UNSAT45.65
gttt_2_2_000111_4x4_torus_w_2020UNSAT77.34
gttt_1_1_00101121_4x4_torus_w_2020FAIL900
gttt_2_1_00011020_4x4_b_2020FAIL900
gttt_2_1_00102030_4x4_torus_b_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_2_2_000111_4x4_w_2020FAIL900