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 |