4,4,4,4,4,1,1 kissat-exit=20 verified=1 0s
4,4,4,4,2,1,1,1,1 kissat-exit=20 verified=1 0s
4,4,4,4,2,2,1,1 kissat-exit=20 verified=1 3s
4,4,4,4,1,1,1,1,1,1 kissat-exit=20 verified=1 4s
4,4,4,2,2,1,1,1,1,1,1 kissat-exit=20 verified=1 2s
4,4,4,2,2,2,1,1,1,1 kissat-exit=20 verified=1 7s
4,4,4,2,1,1,1,1,1,1,1,1 kissat-exit=20 verified=1 1s
4,4,4,1,1,1,1,1,1,1,1,1,1 kissat-exit=20 verified=1 1s
4,4,4,2,2,2,2,1,1 kissat-exit=20 verified=1 14s
4,4,2,2,2,2,2,2,1,1 kissat-exit=20 verified=1 12s
4,4,2,2,2,2,2,1,1,1,1 kissat-exit=20 verified=1 6s
4,4,2,2,2,1,1,1,1,1,1,1,1 kissat-exit=20 verified=1 2s
4,4,2,2,2,2,1,1,1,1,1,1 kissat-exit=20 verified=1 3s
4,4,2,2,1,1,1,1,1,1,1,1,1,1 kissat-exit=20 verified=1 1s
4,4,2,1,1,1,1,1,1,1,1,1,1,1,1 kissat-exit=20 verified=1 1s
4,4,1,1,1,1,1,1,1,1,1,1,1,1,1,1 kissat-exit=20 verified=1 1s
4,4,4,2,2,2,2,2 kissat-exit=20 verified=1 109s
4,4,4,4,2,2,2 kissat-exit=20 verified=1 144s
4,4,2,2,2,2,2,2,2 kissat-exit=20 verified=1 180s
4,2,2,2,1,1,1,1,1,1,1,1,1,1,1,1 kissat-exit=20 verified=1 0s
4,2,2,1,1,1,1,1,1,1,1,1,1,1,1,1,1 kissat-exit=20 verified=1 1s
4,2,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1 kissat-exit=20 verified=1 0s
4,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1 kissat-exit=20 verified=1 1s
4,2,2,2,2,1,1,1,1,1,1,1,1,1,1 kissat-exit=20 verified=1 89s
4,2,2,2,2,2,2,2,1,1,1,1 kissat-exit=20 verified=1 146s
