Bakery5PUnrEnc-Rev-FbOneOne-Nondet-Partial
solved
t/o
mem limit
<10s
queued
44%
38%
19%
19%
0%
7
6
3
3
0
⊇
armcNFA_inclTest_0.vtf
armcNFA_inclTest_2.vtf
armcNFA_inclTest_1.vtf
armcNFA_inclTest_3.vtf
armcNFA_inclTest_0.vtf
armcNFA_inclTest_2.vtf
armcNFA_inclTest_1.vtf
armcNFA_inclTest_3.vtf
Result does not exist.
ℒ(A) ⊆ ℒ(B)
Automaton A
A
#states: 33300
#final states: 24
size of alhpabet: 200
Automaton B
A: arlerjlkejrlwekrj_rwerinc.vtf
#states: 33300
#final states: 24
size of alhpabet: 200
100 ms
1000 ms
×
Console Output