all-formulas.txt

sat|short|x[2] < x[0], x[3] > x[1]
unsat|short|x[2] > x[0], x[3] == x[1], x[0] > x[2], x[1] < x[3]
sat|medium|x[10] < x[2], x[11] > x[2], x[11] < x[3], x[8] > x[5], x[10] > x[9], x[0] == x[12], x[1] == x[13], x[2] < x[12], x[3] == x[13], x[11] < x[14], x[14] == x[6], x[15] < x[7], x[14] > x[13]
unsat|medium|x[3] < x[8], x[0] == x[15], x[14] < x[10], x[15] == x[11], x[11] < x[0], x[4] > x[10], x[4] < x[11], x[5] > x[11], x[8] == x[3], x[12] < x[6], x[13] > x[7], x[2] < x[12], x[3] == x[13]
sat|long|x[18] < x[12], x[19] > x[12], x[19] < x[13], x[2] < x[30], x[3] > x[31], x[2] < x[28], x[3] > x[28], x[3] < x[29], x[8] < x[6], x[9] == x[7], x[15] == x[2], x[0] > x[16], x[1] == x[17], x[16] == x[6], x[17] == x[7], x[10] == x[18], x[11] > x[19], x[31] < x[16], x[12] == x[3], x[28] == x[24], x[29] > x[25], x[28] > x[4], x[28] < x[5], x[29] > x[5], x[18] > x[20], x[19] < x[21], x[13] == x[8], x[26] > x[4], x[27] == x[5], x[10] == x[22], x[11] < x[23]
unsat|long|x[5] == x[0], x[14] == x[22], x[15] == x[23], x[8] < x[16], x[9] > x[16], x[9] < x[17], x[26] < x[10], x[27] > x[11], x[14] > x[0], x[14] < x[1], x[15] > x[1], x[12] > x[16], x[13] == x[17], x[2] > x[12], x[3] == x[13], x[6] < x[24], x[7] > x[25], x[14] == x[12], x[15] < x[13], x[18] > x[4], x[18] < x[5], x[19] > x[5], x[10] == x[14], x[11] == x[15], x[20] > x[14], x[21] < x[15], x[12] < x[16], x[13] == x[17], x[17] == x[12], x[0] < x[6], x[1] == x[7], x[7] == x[26]