Home
last modified time | relevance | path

Searched refs:p13 (Results 1 – 25 of 2176) sorted by relevance

12345678910>>...88

/dports/math/spot/spot-2.10.2/bench/spin13/
H A Dnew-strong2.ltl1 (F(FG!p2 | G(Gp0 U p1))) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13)))
2 (FGp0) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13)))
4 (FG(p0 & F(Gp0 R p1))) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13)))
6 (F(Gp0 | G!p1)) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13)))
7 (F(Gp0 & (p1 U !p2))) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13)))
9 (FGp0 U p1) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13)))
21 (F(p0 | XFp1)) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13)))
22 (Fp0 | XG!p1) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13)))
26 (GF(Gp1 & Fp0)) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13)))
33 (GFp0 U XXXp1) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13)))
[all …]
H A Dbig_2-strong_2.ltl1 ((X ((p1 V <> ! p0) U p2) U [] ! <> ! X p4)) /\ (G(F(p10)) -> G(F(p11))) /\ (G(F(p12)) -> G(F(p13)))
2 …<> <> p4 U <> X ! p5)) U [] (X p0 U X p0))) /\ (G(F(p10)) -> G(F(p11))) /\ (G(F(p12)) -> G(F(p13)))
3 …) U ((((p1 U p5) \/ p5) U ! [] p0) /\ p1))) /\ (G(F(p10)) -> G(F(p11))) /\ (G(F(p12)) -> G(F(p13)))
4 …(<> <> <> (p6 U p5) U <> X p1) /\ ! <> p2)) /\ (G(F(p10)) -> G(F(p11))) /\ (G(F(p12)) -> G(F(p13)))
5 …p6 -> X X X p1) U (([] p3 \/ p6) V [] p3))) /\ (G(F(p10)) -> G(F(p11))) /\ (G(F(p12)) -> G(F(p13)))
8 … U p4) U (<> p7 U ((p0 -> ! p4) V [] p0)))) /\ (G(F(p10)) -> G(F(p11))) /\ (G(F(p12)) -> G(F(p13)))
17 …! [] (p7 U p5) V X p0) -> (p5 -> [] X p5))) /\ (G(F(p10)) -> G(F(p11))) /\ (G(F(p12)) -> G(F(p13)))
22 …X ! ((p4 U (p2 -> p1)) \/ ! (<> p5 \/ p4))) /\ (G(F(p10)) -> G(F(p11))) /\ (G(F(p12)) -> G(F(p13)))
31 ((<> p7 U <> ((p1 U <> p4) U X ! X [] [] p3))) /\ (G(F(p10)) -> G(F(p11))) /\ (G(F(p12)) -> G(F(p13…
46 ((([] p1 V ! p5) V <> ! ([] ! [] p2 U [] p4))) /\ (G(F(p10)) -> G(F(p11))) /\ (G(F(p12)) -> G(F(p13…
[all …]
/dports/math/py-spot/spot-2.10.2/bench/spin13/
H A Dnew-strong2.ltl1 (F(FG!p2 | G(Gp0 U p1))) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13)))
2 (FGp0) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13)))
4 (FG(p0 & F(Gp0 R p1))) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13)))
6 (F(Gp0 | G!p1)) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13)))
7 (F(Gp0 & (p1 U !p2))) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13)))
9 (FGp0 U p1) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13)))
21 (F(p0 | XFp1)) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13)))
22 (Fp0 | XG!p1) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13)))
26 (GF(Gp1 & Fp0)) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13)))
33 (GFp0 U XXXp1) & ((GF(p10)) -> (GF(p11))) & ((GF(p12)) -> (GF(p13)))
[all …]
H A Dbig_2-strong_2.ltl1 ((X ((p1 V <> ! p0) U p2) U [] ! <> ! X p4)) /\ (G(F(p10)) -> G(F(p11))) /\ (G(F(p12)) -> G(F(p13)))
2 …<> <> p4 U <> X ! p5)) U [] (X p0 U X p0))) /\ (G(F(p10)) -> G(F(p11))) /\ (G(F(p12)) -> G(F(p13)))
3 …) U ((((p1 U p5) \/ p5) U ! [] p0) /\ p1))) /\ (G(F(p10)) -> G(F(p11))) /\ (G(F(p12)) -> G(F(p13)))
4 …(<> <> <> (p6 U p5) U <> X p1) /\ ! <> p2)) /\ (G(F(p10)) -> G(F(p11))) /\ (G(F(p12)) -> G(F(p13)))
5 …p6 -> X X X p1) U (([] p3 \/ p6) V [] p3))) /\ (G(F(p10)) -> G(F(p11))) /\ (G(F(p12)) -> G(F(p13)))
8 … U p4) U (<> p7 U ((p0 -> ! p4) V [] p0)))) /\ (G(F(p10)) -> G(F(p11))) /\ (G(F(p12)) -> G(F(p13)))
17 …! [] (p7 U p5) V X p0) -> (p5 -> [] X p5))) /\ (G(F(p10)) -> G(F(p11))) /\ (G(F(p12)) -> G(F(p13)))
22 …X ! ((p4 U (p2 -> p1)) \/ ! (<> p5 \/ p4))) /\ (G(F(p10)) -> G(F(p11))) /\ (G(F(p12)) -> G(F(p13)))
31 ((<> p7 U <> ((p1 U <> p4) U X ! X [] [] p3))) /\ (G(F(p10)) -> G(F(p11))) /\ (G(F(p12)) -> G(F(p13…
46 ((([] p1 V ! p5) V <> ! ([] ! [] p2 U [] p4))) /\ (G(F(p10)) -> G(F(p11))) /\ (G(F(p12)) -> G(F(p13…
[all …]
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/rt.equinox.framework/bundles/org.eclipse.osgi.tests/src/org/eclipse/osgi/tests/permissions/
H A DPackagePermissionTests.java54 shouldImply(p11, p13); in testPackagePermission()
59 shouldImply(p12, p13); in testPackagePermission()
62 shouldImply(p13, p11); in testPackagePermission()
63 shouldImply(p13, p12); in testPackagePermission()
64 shouldImply(p13, p13); in testPackagePermission()
83 shouldEqual(p13, p13); in testPackagePermission()
104 shouldAdd(pc, p13); in testPackagePermission()
107 shouldImply(pc, p13); in testPackagePermission()
114 shouldAdd(pc, p13); in testPackagePermission()
117 shouldImply(pc, p13); in testPackagePermission()
[all …]
H A DServicePermissionTests.java53 shouldImply(p11, p13); in testServicePermission()
58 shouldImply(p12, p13); in testServicePermission()
61 shouldImply(p13, p13); in testServicePermission()
79 shouldEqual(p13, p13); in testServicePermission()
105 shouldAdd(pc, p13); in testServicePermission()
108 shouldImply(pc, p13); in testServicePermission()
115 shouldAdd(pc, p13); in testServicePermission()
116 shouldImply(pc, p13); in testServicePermission()
124 shouldImply(pc, p13); in testServicePermission()
132 shouldImply(pc, p13); in testServicePermission()
[all …]
/dports/misc/otter/otter-3.3f/examples/auto/
H A Dpigeon.out23 0 [] p12|p13|p14|p15.
37 0 [] -p01| -p13.
40 0 [] -p05| -p13.
42 0 [] -p09| -p13.
44 0 [] -p13| -p17.
90 ** KEPT (pick-wt=2): 13 [] -p01| -p13.
444 13 [] -p01| -p13.
447 16 [] -p05| -p13.
449 18 [] -p09| -p13.
451 20 [] -p13| -p17.
[all …]
/dports/multimedia/opentoonz/opentoonz-1.5.0/thirdparty/openblas/xianyi-OpenBLAS-e6e87a2/kernel/ia64/
H A Dqgemv_n.S235 tbit.nz p13, p11 = M, 2
714 (p13) LDFD f88 = [AO1]
715 (p13) LDFD f89 = [AO2]
716 (p13) LDFD f90 = [AO3]
717 (p13) LDFD f91 = [AO4]
808 (p13) STFD [YST2] = f19
876 tbit.nz p13, p11 = M, 2
1039 (p13) LDFD f56 = [AO1]
1040 (p13) LDFD f58 = [AO3]
1044 (p13) LDFD f57 = [AO2]
[all …]
H A Dqgemv_t.S165 tbit.nz p13, p0 = M, 2
456 tbit.nz p13, p11 = M, 2
536 (p13) LDFD f88 = [AO1]
537 (p13) LDFD f90 = [AO3]
541 (p13) LDFD f89 = [AO2]
542 (p13) LDFD f91 = [AO4]
821 tbit.nz p13, p11 = M, 2
865 (p13) LDFD f56 = [AO1]
866 (p13) LDFD f58 = [AO3]
870 (p13) LDFD f57 = [AO2]
[all …]
H A Dzscal.S130 tbit.z p0, p13 = N, 2
217 (p13) STFD [X1] = f0
218 (p13) add X1 = INCX, X1
222 (p13) STFD [X2] = f0
223 (p13) add X2 = INCX, X2
239 (p13) STFD [X1] = f0
243 (p13) STFD [X2] = f0
497 (p13) STFD [X1] = f49
504 (p13) STFD [X1] = f51
511 (p13) STFD [X1] = f53
[all …]
H A Dgemv_n.S293 tbit.nz p13, p0 = MM, 2
993 tbit.nz p13, p0 = MM, 2
1331 tbit.nz p13, p0 = MM, 2
1556 tbit.nz p13, p0 = MM, 2
1787 tbit.nz p13, p0 = MM, 2
2422 tbit.nz p13, p0 = MM, 2
2766 tbit.nz p13, p0 = MM, 2
2997 tbit.nz p13, p0 = MM, 2
3152 tbit.nz p13, p0 = M, 2
3276 (p13) STFD [YST2] = f32
[all …]
H A Dsgemv_n.S285 tbit.nz p13, p0 = MM, 2
917 tbit.nz p13, p0 = MM, 2
1255 tbit.nz p13, p0 = MM, 2
1480 tbit.nz p13, p0 = MM, 2
1711 tbit.nz p13, p0 = MM, 2
2346 tbit.nz p13, p0 = MM, 2
2690 tbit.nz p13, p0 = MM, 2
2921 tbit.nz p13, p0 = MM, 2
3076 tbit.nz p13, p0 = M, 2
3200 (p13) STFD [YST2] = f32
[all …]
/dports/cad/meshlab/meshlab-Meshlab-2020.05/src/plugins_unsupported/external/GotoBLAS2/kernel/ia64/
H A Dqgemv_n.S218 tbit.nz p13, p11 = M, 2
697 (p13) LDFD f88 = [AO1]
698 (p13) LDFD f89 = [AO2]
699 (p13) LDFD f90 = [AO3]
700 (p13) LDFD f91 = [AO4]
791 (p13) STFD [YST2] = f19
859 tbit.nz p13, p11 = M, 2
1022 (p13) LDFD f56 = [AO1]
1023 (p13) LDFD f58 = [AO3]
1027 (p13) LDFD f57 = [AO2]
[all …]
H A Dqgemv_t.S148 tbit.nz p13, p0 = M, 2
439 tbit.nz p13, p11 = M, 2
519 (p13) LDFD f88 = [AO1]
520 (p13) LDFD f90 = [AO3]
524 (p13) LDFD f89 = [AO2]
525 (p13) LDFD f91 = [AO4]
804 tbit.nz p13, p11 = M, 2
848 (p13) LDFD f56 = [AO1]
849 (p13) LDFD f58 = [AO3]
853 (p13) LDFD f57 = [AO2]
[all …]
H A Dzscal.S113 tbit.z p0, p13 = N, 2
200 (p13) STFD [X1] = f0
201 (p13) add X1 = INCX, X1
205 (p13) STFD [X2] = f0
206 (p13) add X2 = INCX, X2
222 (p13) STFD [X1] = f0
226 (p13) STFD [X2] = f0
480 (p13) STFD [X1] = f49
487 (p13) STFD [X1] = f51
494 (p13) STFD [X1] = f53
[all …]
H A Dgemv_n.S276 tbit.nz p13, p0 = MM, 2
976 tbit.nz p13, p0 = MM, 2
1314 tbit.nz p13, p0 = MM, 2
1539 tbit.nz p13, p0 = MM, 2
1770 tbit.nz p13, p0 = MM, 2
2405 tbit.nz p13, p0 = MM, 2
2749 tbit.nz p13, p0 = MM, 2
2980 tbit.nz p13, p0 = MM, 2
3135 tbit.nz p13, p0 = M, 2
3259 (p13) STFD [YST2] = f32
[all …]
H A Dsgemv_n.S268 tbit.nz p13, p0 = MM, 2
900 tbit.nz p13, p0 = MM, 2
1238 tbit.nz p13, p0 = MM, 2
1463 tbit.nz p13, p0 = MM, 2
1694 tbit.nz p13, p0 = MM, 2
2329 tbit.nz p13, p0 = MM, 2
2673 tbit.nz p13, p0 = MM, 2
2904 tbit.nz p13, p0 = MM, 2
3059 tbit.nz p13, p0 = M, 2
3183 (p13) STFD [YST2] = f32
[all …]
/dports/math/openblas/OpenBLAS-0.3.18/kernel/ia64/
H A Dqgemv_n.S235 tbit.nz p13, p11 = M, 2
714 (p13) LDFD f88 = [AO1]
715 (p13) LDFD f89 = [AO2]
716 (p13) LDFD f90 = [AO3]
717 (p13) LDFD f91 = [AO4]
808 (p13) STFD [YST2] = f19
876 tbit.nz p13, p11 = M, 2
1039 (p13) LDFD f56 = [AO1]
1040 (p13) LDFD f58 = [AO3]
1044 (p13) LDFD f57 = [AO2]
[all …]
H A Dqgemv_t.S165 tbit.nz p13, p0 = M, 2
456 tbit.nz p13, p11 = M, 2
536 (p13) LDFD f88 = [AO1]
537 (p13) LDFD f90 = [AO3]
541 (p13) LDFD f89 = [AO2]
542 (p13) LDFD f91 = [AO4]
821 tbit.nz p13, p11 = M, 2
865 (p13) LDFD f56 = [AO1]
866 (p13) LDFD f58 = [AO3]
870 (p13) LDFD f57 = [AO2]
[all …]
H A Dzscal.S130 tbit.z p0, p13 = N, 2
217 (p13) STFD [X1] = f0
218 (p13) add X1 = INCX, X1
222 (p13) STFD [X2] = f0
223 (p13) add X2 = INCX, X2
239 (p13) STFD [X1] = f0
243 (p13) STFD [X2] = f0
497 (p13) STFD [X1] = f49
504 (p13) STFD [X1] = f51
511 (p13) STFD [X1] = f53
[all …]
H A Dsgemv_n.S285 tbit.nz p13, p0 = MM, 2
917 tbit.nz p13, p0 = MM, 2
1255 tbit.nz p13, p0 = MM, 2
1480 tbit.nz p13, p0 = MM, 2
1711 tbit.nz p13, p0 = MM, 2
2346 tbit.nz p13, p0 = MM, 2
2690 tbit.nz p13, p0 = MM, 2
2921 tbit.nz p13, p0 = MM, 2
3076 tbit.nz p13, p0 = M, 2
3200 (p13) STFD [YST2] = f32
[all …]
H A Dgemv_n.S293 tbit.nz p13, p0 = MM, 2
993 tbit.nz p13, p0 = MM, 2
1331 tbit.nz p13, p0 = MM, 2
1556 tbit.nz p13, p0 = MM, 2
1787 tbit.nz p13, p0 = MM, 2
2422 tbit.nz p13, p0 = MM, 2
2766 tbit.nz p13, p0 = MM, 2
2997 tbit.nz p13, p0 = MM, 2
3152 tbit.nz p13, p0 = M, 2
3276 (p13) STFD [YST2] = f32
[all …]
/dports/math/gotoblas/GotoBLAS2/kernel/ia64/
H A Dqgemv_n.S235 tbit.nz p13, p11 = M, 2
714 (p13) LDFD f88 = [AO1]
715 (p13) LDFD f89 = [AO2]
716 (p13) LDFD f90 = [AO3]
717 (p13) LDFD f91 = [AO4]
808 (p13) STFD [YST2] = f19
876 tbit.nz p13, p11 = M, 2
1039 (p13) LDFD f56 = [AO1]
1040 (p13) LDFD f58 = [AO3]
1044 (p13) LDFD f57 = [AO2]
[all …]
H A Dqgemv_t.S165 tbit.nz p13, p0 = M, 2
456 tbit.nz p13, p11 = M, 2
536 (p13) LDFD f88 = [AO1]
537 (p13) LDFD f90 = [AO3]
541 (p13) LDFD f89 = [AO2]
542 (p13) LDFD f91 = [AO4]
821 tbit.nz p13, p11 = M, 2
865 (p13) LDFD f56 = [AO1]
866 (p13) LDFD f58 = [AO3]
870 (p13) LDFD f57 = [AO2]
[all …]
H A Dzscal.S130 tbit.z p0, p13 = N, 2
217 (p13) STFD [X1] = f0
218 (p13) add X1 = INCX, X1
222 (p13) STFD [X2] = f0
223 (p13) add X2 = INCX, X2
239 (p13) STFD [X1] = f0
243 (p13) STFD [X2] = f0
497 (p13) STFD [X1] = f49
504 (p13) STFD [X1] = f51
511 (p13) STFD [X1] = f53
[all …]

12345678910>>...88