HEX

Server: Apache

System: Linux s198.coreserver.jp 5.15.0-151-generic #161-Ubuntu SMP Tue Jul 22 14:25:40 UTC 2025 x86_64

User: nagasaki (10062)

PHP: 7.1.33

Disabled: NONE

Upload Files

File: //usr/local/rvm/src/ruby-2.3.8/sample/trick2015/ksk_2/unsat.cnf

c
c This is a sample input file.
c (unsatisfiable)
c
p cnf 3 5
1 -2 3 0
-1 2 0
-2 -3 0
1 2 -3 0
1 3 0
-1 -2 3 0