add an test case example file_50 for satisfiability problem
authorYanhua YanhuaSunLaptop <yanhuasun@vpn3-14460.near.uiuc.edu>
Tue, 23 Mar 2010 17:19:50 +0000 (12:19 -0500)
committerYanhua YanhuaSunLaptop <yanhuasun@vpn3-14460.near.uiuc.edu>
Tue, 23 Mar 2010 17:19:50 +0000 (12:19 -0500)
examples/charm++/satisfiability/example_50.cnf [new file with mode: 0644]

diff --git a/examples/charm++/satisfiability/example_50.cnf b/examples/charm++/satisfiability/example_50.cnf
new file mode 100644 (file)
index 0000000..f281f4d
--- /dev/null
@@ -0,0 +1,53 @@
+c SAT07-Contest Parameters: unif2p p=7 nbc2=2803 nbc3=6541 v=3500 seed=1286605994
+c Uniform UNKNOWN (2+p)-SAT Instance nbc2=2803, nbc3=6541, p=0.70, nbv=3500, seed=1286605994
+p cnf 3500 50
+-1765 -1070 0
+-1298 -3068 0
+-2907 -225 0
+776 -3004 0
+578 1958 0
+-1372 1977 0
+1900 -2858 0
+-1841 -488 0
+-104 -1745 0
+-599 -1021 0
+-424 -88 0
+2289 1997 0
+-2443 2011 0
+-910 -1746 0
+-174 3232 0
+2267 -2120 0
+1778 272 0
+1676 -2380 0
+-2538 -3299 0
+-2059 691 0
+2248 -1315 0
+-3189 2467 0
+664 -1877 0
+2418 1800 0
+-861 -3070 0
+3364 -1135 0
+917 -227 0
+2728 -476 0
+-119 -1132 0
+-1351 -3170 0
+-2297 1445 0
+-2043 -1910 0
+1816 1939 0
+3429 582 0
+-507 -320 0
+1726 -1209 0
+2585 -1652 0
+-2440 -2450 0
+-2867 2451 0
+-139 813 0
+2340 135 0
+-2325 -3113 0
+1524 -2565 0
+727 -1593 0
+2614 247 0
+1065 -2790 0
+3091 -1842 0
+-2600 -1685 0
+1904 -207 0
+2535 -59 0