pub fn two_sat(reader: impl Read, writer: impl Write)
Expand description
✅ AC 141ms
problem here
§Detail
Case Name | Status | Exec Time |
---|---|---|
example_00 | AC | 0 ± 0 ms |
example_01 | AC | 0 ± 0 ms |
random_00 | AC | 86 ± 4 ms |
random_01 | AC | 114 ± 5 ms |
random_02 | AC | 33 ± 1 ms |
random_03 | AC | 27 ± 0 ms |
random_04 | AC | 23 ± 2 ms |
max_random_00 | AC | 138 ± 4 ms |
max_random_01 | AC | 141 ± 5 ms |
max_random_02 | AC | 137 ± 3 ms |
max_random_03 | AC | 138 ± 3 ms |
max_random_04 | AC | 137 ± 3 ms |
cycle_unsat_00 | AC | 54 ± 5 ms |
cycle_unsat_01 | AC | 53 ± 2 ms |
long_chain_00 | AC | 70 ± 2 ms |
long_chain_01 | AC | 66 ± 1 ms |
long_chain_02 | AC | 57 ± 1 ms |
long_chain_03 | AC | 54 ± 2 ms |