FormalVerification submissions
 
 
 
 
FormalVerification submissions
 
 
# When Who Problem Lang Verdict Time Memory
331377565 Jul/29/2025 06:19 FormalVerification C - Leftmost Below C++23 (GCC 14-64, msys2) Wrong answer on test 1 15 ms 0 KB
326387846 Jun/28/2025 12:15 FormalVerification F - Superb Graphs PyPy 3-64 Wrong answer on test 1 77 ms 2600 KB
308600653 Mar/02/2025 08:39 FormalVerification E - Buy Low Sell High C++23 (GCC 14-64, msys2) Accepted 109 ms 700 KB
308599558 Mar/02/2025 08:27 FormalVerification E - Buy Low Sell High C++23 (GCC 14-64, msys2) Wrong answer on test 2 30 ms 0 KB
308598984 Mar/02/2025 08:20 FormalVerification E - Buy Low Sell High PyPy 3 Wrong answer on test 1 77 ms 100 KB
282720568 Sep/24/2024 09:02 FormalVerification B - I Hate 1111 Python 3 Wrong answer on test 1 46 ms 0 KB
247173250 Feb/19/2024 11:19 FormalVerification A - Tricky Sum C++20 (GCC 11-64) Compilation error 0 ms 0 KB
231651101 Nov/07/2023 02:47 FormalVerification D - XOR Construction C++20 (GCC 11-64) Wrong answer on test 1 0 ms 0 KB
231651032 Nov/07/2023 02:45 FormalVerification D - XOR Construction C++20 (GCC 11-64) Wrong answer on test 4 0 ms 0 KB
231650998 Nov/07/2023 02:43 FormalVerification D - XOR Construction C++20 (GCC 11-64) Wrong answer on test 4 0 ms 0 KB
231650961 Nov/07/2023 02:42 FormalVerification D - XOR Construction C++20 (GCC 11-64) Wrong answer on test 2 0 ms 0 KB
231650919 Nov/07/2023 02:41 FormalVerification D - XOR Construction C++20 (GCC 11-64) Wrong answer on test 4 15 ms 0 KB
231650856 Nov/07/2023 02:39 FormalVerification D - XOR Construction C++20 (GCC 11-64) Wrong answer on test 9 15 ms 0 KB
211696032 Jul/01/2023 11:45 FormalVerification I - Lie Detector C++20 (GCC 11-64) Accepted 30 ms 0 KB
211686408 Jul/01/2023 09:56 FormalVerification A - Edit Distance C++20 (GCC 11-64) Runtime error on test 1 0 ms 0 KB
211684877 Jul/01/2023 09:37 FormalVerification A - Edit Distance C++20 (GCC 11-64) Wrong answer on test 22 15 ms 0 KB
211684691 Jul/01/2023 09:35 FormalVerification A - Edit Distance C++20 (GCC 11-64) Wrong answer on test 6 15 ms 0 KB
211684228 Jul/01/2023 09:28 FormalVerification A - Edit Distance C++20 (GCC 11-64) Wrong answer on test 22 15 ms 0 KB
205042852 May/08/2023 07:55 FormalVerification A - Love Story C++20 (GCC 11-64) Idleness limit exceeded on test 1 0 ms 0 KB
204749861 May/06/2023 17:30 FormalVerification D - Running Miles Node.js Accepted 732 ms 16600 KB
204749702 May/06/2023 17:28 FormalVerification D - Running Miles Node.js Runtime error on test 1 31 ms 0 KB
204685992 May/06/2023 06:38 FormalVerification D - Running Miles C++20 (GCC 11-64) Accepted 31 ms 2000 KB
204684891 May/06/2023 06:17 FormalVerification D - Running Miles C++20 (GCC 11-64) Accepted 31 ms 2000 KB
204682127 May/06/2023 05:19 FormalVerification D - Running Miles C++20 (GCC 11-64) Wrong answer on test 4 30 ms 0 KB
204679730 May/06/2023 04:15 FormalVerification C - Dreaming of Freedom C++20 (GCC 11-64) Accepted 265 ms 0 KB
204678697 May/06/2023 03:49 FormalVerification A - Trust Nobody C++20 (GCC 11-64) Accepted 15 ms 0 KB
204677946 May/06/2023 03:30 FormalVerification B - Lunatic Never Content C++20 (GCC 11-64) Accepted 62 ms 1200 KB
200504463 Apr/03/2023 07:55 FormalVerification A - Are You a Robot? Node.js Accepted 31 ms 0 KB
200503938 Apr/03/2023 07:47 FormalVerification J - Unmysterious Language Mysterious Language Wrong answer on test 1 0 ms 0 KB
200502789 Apr/03/2023 07:30 FormalVerification E - Not a Geometry Problem Node.js Accepted 61 ms 0 KB
200329057 Apr/02/2023 08:08 FormalVerification B - Mike's Sequence Text Judgement failed 0 ms 0 KB
200329010 Apr/02/2023 08:08 FormalVerification A - Who Tested? Node.js Accepted 31 ms 0 KB
200328983 Apr/02/2023 08:07 FormalVerification A - Who Tested? JavaScript Runtime error on test 1 15 ms 0 KB
200326770 Apr/02/2023 07:34 FormalVerification J - Unmysterious Language Mysterious Language Accepted 0 ms 0 KB
200326738 Apr/02/2023 07:33 FormalVerification J - Unmysterious Language Mysterious Language Wrong answer on test 1 0 ms 0 KB
200326710 Apr/02/2023 07:33 FormalVerification J - Unmysterious Language Mysterious Language Wrong answer on test 1 0 ms 0 KB
187160826 Dec/29/2022 18:54 FormalVerification C - Recover an RBS C++20 (GCC 11-64) Accepted 966 ms 8800 KB
187160694 Dec/29/2022 18:53 FormalVerification C - Recover an RBS C++20 (GCC 11-64) Wrong answer on test 7 265 ms 4200 KB
187039257 Dec/28/2022 16:26 FormalVerification C - Recover an RBS C++20 (GCC 11-64) Accepted 62 ms 18500 KB
187039078 Dec/28/2022 16:25 FormalVerification C - Recover an RBS C++20 (GCC 11-64) Time limit exceeded on test 7 2000 ms 21600 KB
187038663 Dec/28/2022 16:21 FormalVerification C - Recover an RBS C++20 (GCC 11-64) Time limit exceeded on test 7 2000 ms 21900 KB
187038179 Dec/28/2022 16:17 FormalVerification C - Recover an RBS C++20 (GCC 11-64) Time limit exceeded on test 7 2000 ms 22500 KB
187035666 Dec/28/2022 15:41 FormalVerification C - Recover an RBS C++20 (GCC 11-64) Wrong answer on test 1 0 ms 16400 KB
187034885 Dec/28/2022 15:31 FormalVerification C - Recover an RBS C++20 (GCC 11-64) Wrong answer on test 1 0 ms 8200 KB
186880759 Dec/27/2022 16:58 FormalVerification C - Recover an RBS C++20 (GCC 11-64) Time limit exceeded on test 10 2000 ms 18500 KB
186880707 Dec/27/2022 16:57 FormalVerification C - Recover an RBS C++20 (GCC 11-64) Accepted 46 ms 18500 KB
186880511 Dec/27/2022 16:56 FormalVerification C - Recover an RBS C++20 (GCC 11-64) Time limit exceeded on test 7 2000 ms 22000 KB
186799503 Dec/26/2022 20:28 FormalVerification C - Recover an RBS C++20 (GCC 11-64) Time limit exceeded on test 6 2000 ms 200 KB
186799335 Dec/26/2022 20:27 FormalVerification C - Recover an RBS C++20 (GCC 11-64) Time limit exceeded on test 7 2000 ms 800 KB
186796269 Dec/26/2022 19:57 FormalVerification C - Recover an RBS C++20 (GCC 11-64) Runtime error on test 2 0 ms 0 KB