31513 data/secret/038-denseSparse-8.in data/secret/038-denseSparse-8.ans
31513 data/secret/049-randomSmall-6.in data/secret/049-randomSmall-6.ans
31513 data/secret/021-hardn12m16_6.in data/secret/021-hardn12m16_6.ans
31513 data/secret/031-denseSparse-1.in data/secret/031-denseSparse-1.ans
31513 data/secret/007-n2m20.in data/secret/007-n2m20.ans
31513 data/secret/019-hardn12m16_4.in data/secret/019-hardn12m16_4.ans
31513 data/secret/045-randomSmall-2.in data/secret/045-randomSmall-2.ans
31513 data/secret/022-hardn12m16_7.in data/secret/022-hardn12m16_7.ans
31513 data/secret/030-distinct.in data/secret/030-distinct.ans
31513 data/secret/036-denseSparse-6.in data/secret/036-denseSparse-6.ans
31513 data/secret/054-diagonalSparse-2.in data/secret/054-diagonalSparse-2.ans
31513 data/secret/009-n12m12.in data/secret/009-n12m12.ans
31513 data/secret/028-fullPre-6.in data/secret/028-fullPre-6.ans
31513 data/secret/020-hardn12m16_5.in data/secret/020-hardn12m16_5.ans
31513 data/secret/015-hard4.in data/secret/015-hard4.ans
31513 data/secret/053-diagonalSparse-1.in data/secret/053-diagonalSparse-1.ans
31513 data/secret/035-denseSparse-5.in data/secret/035-denseSparse-5.ans
31513 data/secret/033-denseSparse-3.in data/secret/033-denseSparse-3.ans
31513 data/secret/057-diagonalSparse-5.in data/secret/057-diagonalSparse-5.ans
31513 data/secret/029-fullPre-7.in data/secret/029-fullPre-7.ans
31513 data/secret/027-fullPre-5.in data/secret/027-fullPre-5.ans
31513 data/secret/017-hardn12m16_2.in data/secret/017-hardn12m16_2.ans
31513 data/secret/052-randomLarge-3.in data/secret/052-randomLarge-3.ans
31513 data/secret/026-fullPre-4.in data/secret/026-fullPre-4.ans
31513 data/secret/024-fullPre-2.in data/secret/024-fullPre-2.ans
31513 data/secret/018-hardn12m16_3.in data/secret/018-hardn12m16_3.ans
31513 data/secret/005-n1m20.in data/secret/005-n1m20.ans
31513 data/secret/004-n1m1.in data/secret/004-n1m1.ans
31513 data/secret/037-denseSparse-7.in data/secret/037-denseSparse-7.ans
31513 data/secret/044-randomSmall-1.in data/secret/044-randomSmall-1.ans
31513 data/secret/056-diagonalSparse-4.in data/secret/056-diagonalSparse-4.ans
31513 data/secret/040-denseSparseSmall-2.in data/secret/040-denseSparseSmall-2.ans
31513 data/secret/047-randomSmall-4.in data/secret/047-randomSmall-4.ans
31513 data/secret/011-redundant.in data/secret/011-redundant.ans
31513 data/secret/039-denseSparseSmall-1.in data/secret/039-denseSparseSmall-1.ans
31513 data/secret/032-denseSparse-2.in data/secret/032-denseSparse-2.ans
31513 data/secret/013-hard2.in data/secret/013-hard2.ans
31513 data/secret/041-denseSparseSmall-3.in data/secret/041-denseSparseSmall-3.ans
31513 data/secret/055-diagonalSparse-3.in data/secret/055-diagonalSparse-3.ans
31513 data/secret/014-hard3.in data/secret/014-hard3.ans
31513 data/secret/025-fullPre-3.in data/secret/025-fullPre-3.ans
31513 data/secret/050-randomLarge-1.in data/secret/050-randomLarge-1.ans
31513 data/secret/043-diagonal-2.in data/secret/043-diagonal-2.ans
31513 data/secret/051-randomLarge-2.in data/secret/051-randomLarge-2.ans
31513 data/secret/048-randomSmall-5.in data/secret/048-randomSmall-5.ans
31513 data/secret/008-n3m20.in data/secret/008-n3m20.ans
31513 data/secret/003-4C2cover.in data/secret/003-4C2cover.ans
31513 data/secret/058-diagonalSparse-6.in data/secret/058-diagonalSparse-6.ans
31513 data/secret/012-hard1.in data/secret/012-hard1.ans
31513 data/secret/034-denseSparse-4.in data/secret/034-denseSparse-4.ans
31513 data/secret/046-randomSmall-3.in data/secret/046-randomSmall-3.ans
31513 data/secret/006-n2m20.in data/secret/006-n2m20.ans
31513 data/secret/010-n12m12All.in data/secret/010-n12m12All.ans
31513 data/secret/023-fullPre-1.in data/secret/023-fullPre-1.ans
31513 data/secret/016-hardn12m16_1.in data/secret/016-hardn12m16_1.ans
31513 data/secret/042-diagonal-1.in data/secret/042-diagonal-1.ans