SAT solver

Submit

Your name:
File:
Open code-statistics:

Language is selected by the extension of the file. See the list of supported languages to know the extension of your language.

Problem

See this description for detail. If there are multiple solutions, output the one which have as many leading positive numbers as possible.

This problem is a test for the rejudge feature. Hopefully luck-depend solutions won't work anymore, though this problem itself wouldn't be a good problem because this could be exploitable by embeded solutions.

Options

exec is denied

rejudge feature is enabled

now post-mortem time, all source codes will be revealed

Sample input:_

c  quinn.cnf
c
p cnf 16 18
  1    2  0
 -2   -4  0
  3    4  0
 -4   -5  0
  5   -6  0
  6   -7  0
  6    7  0
  7  -16  0
  8   -9  0
 -8  -14  0
  9   10  0
  9  -10  0
-10  -11  0
 10   12  0
 11   12  0
 13   14  0
 14  -15  0
 15   16  0

Sample output:

s SATISFIABLE
v 1 2 3 -4 5 6 7 8 9 10 -11 12 13 -14 -15 16

Sample input:_

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

Sample output:

s UNSATISFIABLE

Sample input:_

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

Sample output:

s SATISFIABLE
v 1 2 -3

Ranking

Ruby _

RankUserSizeTimeDateStatistics
1mitchs920.03602015/12/17 20:21:500B / 40B / 46B

Ruby2 _

RankUserSizeTimeDateStatistics
1mitchs930.20352015/12/17 20:13:550B / 39B / 48B
2shinh1880.20112015/12/14 20:51:560B / 93B / 82B
3gmk3330.96992015/12/16 21:21:110B / 130B / 192B

Perl _

RankUserSizeTimeDateStatistics
1tails (die if $$==300 && time%3600==0)2020.03242015/12/15 16:08:590B / 115B / 47B

C _

RankUserSizeTimeDateStatistics
1chocobi3230.03702015/12/27 22:12:040B / 150B / 170B

sed _

RankUserSizeTimeDateStatistics
1%201040.03192015/12/16 04:09:000B / 57B / 20B
2mitchs (%20)1010.03172015/12/29 13:49:520B / 57B / 18B

Language Ranking_

RankLangUserSizeScore
1Rubymitchs9210000
2Ruby2mitchs939892
3sedmitchs (%20)1019108
4Perltails (die if $$==300 && time%3600==0)2024554
5Cchocobi3232848

return top