return c UNKNOWN
HuinaLi opened this issue · comments
Hi! Sorry for bothering you.
I encountered an issue while using CaDiCaL to solve this CNF file. It returned 'c UNKNOWN' and exited with status 0. However, when I tried using Treengeling solver or Cryptominisat5, they both solved it successfully and returned 's SATISFIABLE'. What could be the reason for this?
filter_nc27_nk28_k3_n1_9_n2_6_n3_2.txt
Best regards,
Huina
I mistakenly used "cadical -t 1 *.cnf". The issue has been resolved. Thank you very much for providing such a useful tool! Amazing work!