/dports/math/boolector/boolector-3.2.2/test/log/ |
H A D | regrembeddedconstraint2.btor | 45 45 uext 3 3 2 46 46 uext 4 -23 3 49 49 uext 3 20 2 50 50 uext 5 -49 2 52 52 uext 2 29 1 53 53 uext 2 42 1 56 56 uext 2 20 1 64 64 uext 2 -3 1 71 71 uext 4 8 2 82 82 uext 3 69 2 [all …]
|
H A D | regr3vl3.btor | 23 23 uext 3 20 2 25 25 uext 4 -18 1 28 28 uext 2 -24 1 42 42 uext 2 32 1 78 78 uext 4 64 2 79 79 uext 2 37 1 82 82 uext 4 -68 3 88 88 uext 4 30 3 93 93 uext 3 72 2 94 94 uext 3 34 2 [all …]
|
H A D | regrmark3.btor | 21 21 uext 3 18 2 24 24 uext 2 9 1 26 26 uext 2 -7 1 36 36 uext 8 34 6 37 37 uext 3 29 2 44 44 uext 3 42 2 65 65 uext 8 16 6 70 70 uext 4 33 3 72 72 uext 2 -56 1 75 75 uext 3 27 2 [all …]
|
H A D | regrbfs1.btor | 22 22 uext 4 9 3 45 45 uext 4 38 3 46 46 uext 4 17 3 55 55 uext 3 47 2 61 61 uext 2 21 1 63 63 uext 4 -52 3 65 65 uext 2 -38 1 68 68 uext 6 26 3 97 97 uext 4 56 3 108 108 uext 4 38 3 [all …]
|
H A D | regrembeddedconstraint6.btor | 51 51 uext 4 11 3 56 56 uext 2 -6 1 57 57 uext 6 -56 4 77 77 uext 4 65 3 79 79 uext 4 -22 3 81 81 uext 2 44 1 83 83 uext 8 65 7 84 84 uext 3 -80 2 94 94 uext 4 -11 3 96 96 uext 3 71 2 [all …]
|
H A D | regrembeddedconstraint12.btor | 22 22 uext 3 14 2 28 28 uext 4 6 2 57 57 uext 3 54 2 68 68 uext 2 14 1 82 82 uext 4 58 1 95 95 uext 4 54 3 98 98 uext 4 18 2 102 102 uext 2 36 1 104 104 uext 2 52 1 118 118 uext 4 29 3 [all …]
|
H A D | regrembeddedconstraint13.btor | 22 22 uext 3 14 2 28 28 uext 4 6 2 57 57 uext 3 54 2 68 68 uext 2 14 1 82 82 uext 4 58 1 95 95 uext 4 54 3 98 98 uext 4 18 2 102 102 uext 2 36 1 104 104 uext 2 52 1 118 118 uext 4 29 3 [all …]
|
H A D | regr3vl4.btor | 27 27 uext 3 17 2 38 38 uext 4 -4 1 67 67 uext 4 19 1 69 69 uext 4 45 2 79 79 uext 3 33 2 85 85 uext 7 -4 4 88 88 uext 3 -2 1 97 97 uext 4 -63 3 99 99 uext 4 17 3 101 101 uext 2 96 1 [all …]
|
H A D | regr3vl2.btor | 32 32 uext 4 21 3 43 43 uext 3 34 2 45 45 uext 4 41 3 46 46 uext 4 41 3 89 89 uext 3 -27 2 92 92 uext 2 -31 1 100 100 uext 3 62 1 106 106 uext 2 47 1 124 124 uext 2 23 1 139 139 uext 4 80 3 [all …]
|
H A D | regr3vl1.btor | 25 25 uext 8 19 4 28 28 uext 4 3 1 31 31 uext 3 14 2 40 40 uext 8 29 4 46 46 uext 4 -6 2 61 61 uext 3 58 2 89 89 uext 2 70 1 91 91 uext 3 35 2 113 113 uext 4 -30 3 179 179 uext 4 -9 2 [all …]
|
H A D | regrmark2.btor | 27 27 uext 2 25 1 33 33 uext 3 6 2 51 51 uext 3 -5 2 75 75 uext 2 38 1 94 94 uext 8 1 6 108 108 uext 4 -79 3 113 113 uext 4 14 1 114 114 uext 4 14 1 124 124 uext 2 99 1 154 154 uext 4 34 3 [all …]
|
H A D | regrembeddedconstraint4.btor | 26 26 uext 4 17 2 30 30 uext 2 -29 1 42 42 uext 3 -38 2 54 54 uext 2 52 1 64 64 uext 4 59 2 67 67 uext 4 66 2 86 86 uext 2 -25 1 111 111 uext 7 110 4 119 119 uext 2 38 1 132 132 uext 3 95 2 [all …]
|
/dports/math/btor2tools/btor2tools-1df768d/examples/btorsim/ |
H A D | ponylink-slaveTXlen-sat.btor2 | 21 22 uext 1 21 0 in_tready 22 23 uext 1 20 0 resetn_out 23 24 uext 1 2 0 uut.clk 30 31 uext 28 30 7 743 744 uext 87 743 3 1337 1338 uext 28 30 7 1349 1350 uext 28 30 7 1367 1368 uext 28 30 7 2168 2169 uext 28 9 7 2261 2262 uext 25 9 8 [all …]
|
/dports/math/boolector/boolector-3.2.2/examples/btormc/ |
H A D | ponylink-slaveTXlen-sat.btor2 | 21 22 uext 1 21 0 in_tready 22 23 uext 1 20 0 resetn_out 23 24 uext 1 2 0 uut.clk 30 31 uext 28 30 7 743 744 uext 87 743 3 1337 1338 uext 28 30 7 1349 1350 uext 28 30 7 1367 1368 uext 28 30 7 2168 2169 uext 28 9 7 2261 2262 uext 25 9 8 [all …]
|
/dports/science/cantera/cantera-2.5.1-611-gc4d6ecc15/ext/sundials/examples/ida/fcmix_parallel/ |
H A D | fidaHeat2D_kry_bbd_p.f | 55 double precision uext((mxsubg+2)*(mysubg+2)) 305 double precision uext((mxsubg+2)*(mysubg+2)) 383 double precision uext((mxsubg+2)*(mysubg+2)) 418 double precision uext((mxsubg+2)*(mysubg+2)) 455 double precision uext((mxsubg+2)*(mysubg+2)) 482 uext(offsetue+lx+1) = u(offsetu+lx+1) 509 termx = coeffx*(uext(locue)+uext(locue+2)) 510 termy = coeffy*(uext(locue-mxsub2+1)+uext(locue+mxsub2+1)) 511 termctr = coeffxy*uext(locue+1) 677 uext(offsetue+1) = buffer(ly+1) [all …]
|
/dports/math/sundials/sundials-5.7.0/examples/ida/fcmix_parallel/ |
H A D | fidaHeat2D_kry_bbd_p.f | 55 double precision uext((mxsubg+2)*(mysubg+2)) 305 double precision uext((mxsubg+2)*(mysubg+2)) 383 double precision uext((mxsubg+2)*(mysubg+2)) 418 double precision uext((mxsubg+2)*(mysubg+2)) 455 double precision uext((mxsubg+2)*(mysubg+2)) 482 uext(offsetue+lx+1) = u(offsetu+lx+1) 509 termx = coeffx*(uext(locue)+uext(locue+2)) 510 termy = coeffy*(uext(locue-mxsub2+1)+uext(locue+mxsub2+1)) 511 termctr = coeffxy*uext(locue+1) 677 uext(offsetue+1) = buffer(ly+1) [all …]
|
/dports/science/cantera/cantera-2.5.1-611-gc4d6ecc15/ext/sundials/examples/cvode/parallel/ |
H A D | cvDiurnal_kry_bbd_p.c | 687 uext = data->uext; in fucomm() 733 realtype *uext; in flocal() local 752 uext = data->uext; in flocal() 835 c1 = uext[offsetue]; in flocal() 836 c2 = uext[offsetue+1]; in flocal() 846 c1dn = uext[offsetue-nvmxsub2]; in flocal() 848 c1up = uext[offsetue+nvmxsub2]; in flocal() 855 c1lt = uext[offsetue-2]; in flocal() 856 c2lt = uext[offsetue-1]; in flocal() 857 c1rt = uext[offsetue+2]; in flocal() [all …]
|
H A D | cvDiurnal_kry_p.c | 664 uext = data->uext; in ucomm() 683 realtype *uext; in fcalc() local 695 uext = data->uext; in fcalc() 771 c1 = uext[offsetue]; in fcalc() 772 c2 = uext[offsetue+1]; in fcalc() 781 c1dn = uext[offsetue-nvmxsub2]; in fcalc() 783 c1up = uext[offsetue+nvmxsub2]; in fcalc() 789 c1lt = uext[offsetue-2]; in fcalc() 790 c2lt = uext[offsetue-1]; in fcalc() 791 c1rt = uext[offsetue+2]; in fcalc() [all …]
|
/dports/science/cantera/cantera-2.5.1-611-gc4d6ecc15/ext/sundials/examples/arkode/C_parallel/ |
H A D | ark_diurnal_kry_bbd_p.c | 644 uext = data->uext; in fucomm() 683 realtype *uext; in flocal() local 701 uext = data->uext; in flocal() 779 c1 = uext[offsetue]; in flocal() 780 c2 = uext[offsetue+1]; in flocal() 789 c1dn = uext[offsetue-nvmxsub2]; in flocal() 791 c1up = uext[offsetue+nvmxsub2]; in flocal() 797 c1lt = uext[offsetue-2]; in flocal() 798 c2lt = uext[offsetue-1]; in flocal() 799 c1rt = uext[offsetue+2]; in flocal() [all …]
|
/dports/science/cantera/cantera-2.5.1-611-gc4d6ecc15/ext/sundials/examples/cvodes/parallel/ |
H A D | cvsDiurnal_kry_bbd_p.c | 689 uext = data->uext; in fucomm() 735 realtype *uext; in flocal() local 754 uext = data->uext; in flocal() 837 c1 = uext[offsetue]; in flocal() 838 c2 = uext[offsetue+1]; in flocal() 848 c1dn = uext[offsetue-nvmxsub2]; in flocal() 850 c1up = uext[offsetue+nvmxsub2]; in flocal() 857 c1lt = uext[offsetue-2]; in flocal() 858 c2lt = uext[offsetue-1]; in flocal() 859 c1rt = uext[offsetue+2]; in flocal() [all …]
|
/dports/math/sundials/sundials-5.7.0/examples/cvode/parallel/ |
H A D | cvDiurnal_kry_bbd_p.c | 687 uext = data->uext; in fucomm() 733 realtype *uext; in flocal() local 752 uext = data->uext; in flocal() 835 c1 = uext[offsetue]; in flocal() 836 c2 = uext[offsetue+1]; in flocal() 846 c1dn = uext[offsetue-nvmxsub2]; in flocal() 848 c1up = uext[offsetue+nvmxsub2]; in flocal() 855 c1lt = uext[offsetue-2]; in flocal() 856 c2lt = uext[offsetue-1]; in flocal() 857 c1rt = uext[offsetue+2]; in flocal() [all …]
|
/dports/math/sundials/sundials-5.7.0/examples/cvodes/parallel/ |
H A D | cvsDiurnal_kry_bbd_p.c | 689 uext = data->uext; in fucomm() 735 realtype *uext; in flocal() local 754 uext = data->uext; in flocal() 837 c1 = uext[offsetue]; in flocal() 838 c2 = uext[offsetue+1]; in flocal() 848 c1dn = uext[offsetue-nvmxsub2]; in flocal() 850 c1up = uext[offsetue+nvmxsub2]; in flocal() 857 c1lt = uext[offsetue-2]; in flocal() 858 c2lt = uext[offsetue-1]; in flocal() 859 c1rt = uext[offsetue+2]; in flocal() [all …]
|
/dports/math/sundials/sundials-5.7.0/examples/arkode/C_parallel/ |
H A D | ark_diurnal_kry_bbd_p.c | 644 uext = data->uext; in fucomm() 683 realtype *uext; in flocal() local 701 uext = data->uext; in flocal() 779 c1 = uext[offsetue]; in flocal() 780 c2 = uext[offsetue+1]; in flocal() 789 c1dn = uext[offsetue-nvmxsub2]; in flocal() 791 c1up = uext[offsetue+nvmxsub2]; in flocal() 797 c1lt = uext[offsetue-2]; in flocal() 798 c2lt = uext[offsetue-1]; in flocal() 799 c1rt = uext[offsetue+2]; in flocal() [all …]
|
/dports/science/cantera/cantera-2.5.1-611-gc4d6ecc15/ext/sundials/examples/ida/mpicuda/ |
H A D | idaHeat2D_kry_p_mpicuda.cu | 194 realtype termx = coeffx * (uext[locue-1] + uext[locue+1]); in LocalResidualKernel() 195 realtype termy = coeffy * (uext[locue-(mx+2)] + uext[locue+(mx+2)]); in LocalResidualKernel() 624 realtype *uext = data->uext; in rescomm() local 675 realtype *uext = data->uext; in reslocal() local 980 data->uext = NULL; in InitUserData() 1021 free(data->uext); in AllocUserData() 1029 free(data->uext); in AllocUserData() 1040 cudaFree(data->uext); in AllocUserData() 1052 cudaFree(data->uext); in AllocUserData() 1068 if (data->uext != NULL) in DeleteUserData() [all …]
|
/dports/math/sundials/sundials-5.7.0/examples/ida/mpicuda/ |
H A D | idaHeat2D_kry_p_mpicuda.cu | 194 realtype termx = coeffx * (uext[locue-1] + uext[locue+1]); in LocalResidualKernel() 195 realtype termy = coeffy * (uext[locue-(mx+2)] + uext[locue+(mx+2)]); in LocalResidualKernel() 624 realtype *uext = data->uext; in rescomm() local 675 realtype *uext = data->uext; in reslocal() local 980 data->uext = NULL; in InitUserData() 1021 free(data->uext); in AllocUserData() 1029 free(data->uext); in AllocUserData() 1040 cudaFree(data->uext); in AllocUserData() 1052 cudaFree(data->uext); in AllocUserData() 1068 if (data->uext != NULL) in DeleteUserData() [all …]
|