Symbolic Sessions
Z3 Inert Dublet
Processes | Removes | Lib | PID | Time(hr) |
---|---|---|---|---|
u,U->~x2,~X2 | ✓ | 18994 | 0.00 | |
U,u->~x2,~X2 | ✓ | 18998 | 0.00 | |
d,D->~x2,~X2 | ✓ | 19003 | 0.00 | |
D,d->~x2,~X2 | ✓ | 19008 | 0.00 | |
s,S->~x2,~X2 | ✓ | 19015 | 0.00 | |
S,s->~x2,~X2 | ✓ | 19021 | 0.00 | |
c,C->~x2,~X2 | ✓ | 19410 | 0.00 | |
C,c->~x2,~X2 | ✓ | 19414 | 0.00 | |
b,B->~x2,~X2 | ✓ | 19419 | 0.00 | |
B,b->~x2,~X2 | ✓ | 19426 | 0.00 | |
G,G->~x2,~X2 | ✓ | 19431 | 0.00 | |
~x2->e,E,~x1 | ✓ | 19436 | 0.00 | |
Widths | ✓ | 19824 | 0.00 |