- Start: 2020/03/15 20:00:00
- End: 2020/03/15 22:00:00

# | Name | Publish time | Difficulty | Compiler | Source code policy | |
---|---|---|---|---|---|---|

42 | eq_sym? | 2020/03/15 20:00:00 | 1 | Coq 8.9.1 | Public | |

43 | Not a sum of squares | 2020/03/15 20:00:00 | 2 | Coq 8.9.1 | Public | |

44 | Postorder traversal | 2020/03/15 20:00:00 | 2 | Coq 8.9.1 | Public | |

45 | Cycle detection | 2020/03/15 20:00:00 | 4 | Coq 8.9.1 | Public |

# | User | A (1000) | B (2000) | C (2000) | D (4000) | Total |
---|---|---|---|---|---|---|

1 | kaz | 995 | 1891 | 1848 | 2580 | 7314 |

2 | kkob | 993 | 1808 | 1761 | 4562 | |

3 | sorata | 984 | 1755 | 1651 | 4390 | |

4 | yodvhskd | 995 | 1702 | 1642 | 4339 | |

5 | tzik | 984 | 1400 | 1613 | 3997 | |

6 | kik | 949 | 1453 | 1243 | 3645 | |

7 | kimiyuki | 983 | 1021 | 1442 | 3446 | |

8 | fetburner | 986 | 1884 | 2870 | ||

9 | yamarten | 988 | 1376 | 2364 | ||

10 | natsugiri | 779 | 1359 | 2138 | ||

11 | tanakh | 977 | 1019 | 1996 | ||

12 | prime | 982 | 982 | |||

13 | mttm | 761 | 761 |