Bakery5PUnrEnc-FbOneOne-Nondet-Partial
solved
t/o
mem limit
<10s
queued
0%
100%
0%
0%
0%
0
16
0
0
0
⊇
armcNFA_inclTest_45.vtf
armcNFA_inclTest_42.vtf
armcNFA_inclTest_41.vtf
armcNFA_inclTest_44.vtf
armcNFA_inclTest_45.vtf
armcNFA_inclTest_42.vtf
armcNFA_inclTest_41.vtf
armcNFA_inclTest_44.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