Best solutions for DMOPC '17 Contest 3 P0 - 2-Satisfiability
Filter submissions
Statistics
Total: 1203
30 / 30
AC |
JAVA8
on April 12, 2018, 11:19 p.m.
6.35s
28.69 MB
30 / 30
AC |
JAVA8
on Aug. 7, 2018, 10:05 p.m.
6.37s
29.23 MB
30 / 30
AC |
JAVA8
on Dec. 12, 2018, 3:23 a.m.
6.45s
28.93 MB
30 / 30
AC |
JAVA8
on Aug. 7, 2018, 10:03 p.m.
6.52s
29.39 MB
30 / 30
AC |
JAVA8
on April 15, 2018, 4:28 p.m.
6.54s
28.67 MB
30 / 30
AC |
JAVA8
on April 14, 2018, 9:36 p.m.
6.63s
29.02 MB
30 / 30
AC |
JAVA8
on Aug. 7, 2018, 10:02 p.m.
6.69s
29.26 MB
30 / 30
AC |
JAVA8
on Sept. 24, 2018, 2:52 p.m.
6.70s
28.42 MB
30 / 30
AC |
JAVA8
on Dec. 23, 2017, 9:15 p.m.
6.79s
22.66 MB
30 / 30
AC |
JAVA8
on July 21, 2019, 2:27 a.m.
6.94s
28.84 MB
30 / 30
AC |
JAVA8
on April 11, 2018, 12:03 a.m.
7.02s
28.67 MB
30 / 30
AC |
JAVA8
on Oct. 26, 2018, 8:31 p.m.
7.06s
28.75 MB
30 / 30
AC |
JAVA8
on Jan. 1, 2019, 3:54 p.m.
7.15s
28.73 MB
30 / 30
AC |
JAVA8
on Feb. 1, 2020, 12:17 a.m.
7.19s
42.00 MB
30 / 30
AC |
JAVA8
on Jan. 18, 2018, 2:30 a.m.
7.31s
23.66 MB
30 / 30
AC |
JAVA8
on Dec. 10, 2018, 9:47 p.m.
7.36s
29.21 MB
30 / 30
AC |
JAVA8
on Nov. 6, 2018, 3:33 a.m.
7.42s
28.63 MB
30 / 30
AC |
JAVA8
on April 11, 2018, 12:20 a.m.
7.59s
28.39 MB
30 / 30
AC |
JAVA8
on March 9, 2019, 3:16 a.m.
8.02s
28.40 MB
30 / 30
AC |
JAVA8
on March 12, 2018, 2:28 a.m.
8.28s
28.54 MB
30 / 30
AC |
JAVA8
on Oct. 23, 2018, 10:06 p.m.
8.28s
29.23 MB
30 / 30
AC |
JAVA8
on March 10, 2019, 6:42 p.m.
8.34s
29.34 MB
30 / 30
AC |
JAVA8
on Jan. 23, 2018, 5:04 a.m.
8.69s
24.18 MB
30 / 30
AC |
JAVA8
on Dec. 26, 2017, 12:48 a.m.
8.90s
24.97 MB
30 / 30
AC |
JAVA8
on Dec. 20, 2017, 8:06 p.m.
9.96s
25.16 MB
30 / 30
AC |
JAVA8
on Dec. 20, 2017, 4:24 p.m.
10.25s
25.02 MB
30 / 30
AC |
JAVA
on Dec. 17, 2017, 9:47 p.m.
11.66s
36.07 MB
30 / 30
AC |
JAVA
on Feb. 20, 2018, 7:13 p.m.
13.89s
40.02 MB
30 / 30
AC |
JAVA
on March 27, 2018, 1:49 a.m.
16.77s
40.08 MB
30 / 30
AC |
JAVA
on Dec. 29, 2018, 12:29 a.m.
18.29s
41.22 MB