ICPC Live Archive

Search:
 
      Home arrow Browse Problems Saturday, 16 October 2021      
 
Root
4437 - Symbolic Logic Mechanization
Total Submissions Users that tried it Users that solved it
462 161 155
Top 20
Ranking Submission User Run Time Language Submission Date
1 727367 watashi 0.002 C++ 2011-01-29 12:25:59
2 1410727 IT_GD 0.003 C++ 2014-03-05 08:16:57
3 1411555 ghorbani 0.003 C++ 2014-03-06 17:37:41
4 1412757 94 0.003 C++ 2014-03-08 18:53:13
5 1412758 RN 0.003 C++ 2014-03-08 19:10:51
6 1413630 f.gh 0.003 C++ 2014-03-09 15:14:12
7 1413715 babak 0.003 C++ 2014-03-09 20:31:53
8 1413793 mahsan 0.003 C++ 2014-03-10 07:19:18
9 1413794 dorra 0.003 C++ 2014-03-10 07:21:00
10 1413826 Mostafa Hossein Zadeh 0.003 C++ 2014-03-10 10:22:02
11 1413962 Emerald_1404 0.003 C++ 2014-03-10 19:50:19
12 1413963 morksalgen 0.003 C++ 2014-03-10 19:51:02
13 1414031 Keoush 0.003 C++ 2014-03-11 06:08:28
14 1417237 programmers 0.003 C++ 2014-03-16 15:41:04
15 1417239 creative 0.003 C++ 2014-03-16 15:42:50
16 1417274 ebrahimiaflatooni 0.003 C++ 2014-03-16 18:00:47
17 1427969 sayyed 0.003 C++ 2014-04-04 10:18:42
18 1665818 ruddykfp 0.003 C++ 2015-03-25 02:32:28
19 558027 Derp Squad 0.004 C++ 2010-03-24 00:48:54
20 592381 Ricardo Oliveira [UFPR] 0.004 C++ 2010-07-01 20:30:52
 
  ICPC Live Archive