Boolean Satisfability

Submissions

Recrawl

Translation

System Crawler

2024-04-23

Captured

2020-12-10

Gym - 101612B

{"languages":{"88":"Kotlin 1.9.21","89":"GNU G++20 13.2 (64 bit, winlibs)","67":"Ruby 3.2.2","28":"D DMD32 v2.105.0","70":"PyPy 3.10 (7.3.15, 64bit)","50":"GNU G++14 6.4.0","51":"PascalABC.NET 3.8.3","31":"Python 3.8.10","75":"Rust 1.75.0 (2021)","54":"GNU G++17 7.3.0","32":"Go 1.22.2","55":"Node.js 15.8.0 (64bit)","12":"Haskell GHC 8.10.1","34":"JavaScript V8 4.8.0","79":"C# 10, .NET SDK 6.0","13":"Perl 5.20.1","36":"Java 8 32bit","19":"OCaml 4.02.1","3":"Delphi 7","4":"Free Pascal 3.2.2","6":"PHP 8.1.7","7":"Python 2.7.18","9":"C# Mono 6.8","83":"Kotlin 1.7.20","40":"PyPy 2.7.13 (7.3.0)","41":"PyPy 3.6.9 (7.3.0)","20":"Scala 2.12.8","43":"GNU GCC C11 5.1.0","65":"C# 8, .NET Core 3.1","87":"Java 21 64bit"},"accepted":false,"attempted":false,"problemId":1194326,"isFav":false,"properties":[{"title":"Time limit","content":"3000 ms","spoiler":false},{"title":"Mem limit","content":"524288 kB","spoiler":false},{"title":"Input file","content":"\u003cspan style\u003d\u0027color:red\u0027\u003eboolean.in\u003c/span\u003e","spoiler":false},{"title":"Output file","content":"\u003cspan style\u003d\u0027color:red\u0027\u003eboolean.out\u003c/span\u003e","spoiler":false},{"title":"OS","content":"Windows","spoiler":false},{"title":"Source","content":"\u003ca href\u003d\u0027https://codeforces.com/gym/101612\u0027 target\u003d\u0027_blank\u0027\u003e2017-2018 ACM-ICPC, NEERC, Northern Subregional Contest\u003c/a\u003e","spoiler":true}],"submitMethods":[true,true,true],"status":0,"statistics":[["Users","\u003cspan title\u003d\u0027Local\u0027\u003e301 / 316\u003c/span\u003e"],["","\u003cspan title\u003d\u0027Remote\u0027\u003e823 / ?"]]}