result comparator

except sat, output