Home
last modified time | relevance | path

Searched refs:t_x3 (Results 1 – 6 of 6) sorted by relevance

/dports/math/SCIP/scip-7.0.3/check/instances/Cardinality/
H A Datm_5_25_1.cip235 …[continuous] <t_x3$ATM0>: obj=1739, global bounds=[0,8.52484848484849], local bounds=[0,8.52484848…
238 …[continuous] <t_x3$ATM1>: obj=1865, global bounds=[0,5.0084388185654], local bounds=[0,5.008438818…
241 …[continuous] <t_x3$ATM2>: obj=2978, global bounds=[0,3.78856476079347], local bounds=[0,3.78856476…
244 …[continuous] <t_x3$ATM3>: obj=2455, global bounds=[0,3.90268285646508], local bounds=[0,3.90268285…
247 …[continuous] <t_x3$ATM4>: obj=234, global bounds=[0,3.36494252873563], local bounds=[0,3.364942528…
704 …[linear] <cons_fdefine_5>: <t_fm$ATM0$DATE4>[C] -951<t_x2$ATM0>[C] +951<t_z$ATM0>[C] +74<t_x3$ATM0…
707 …[linear] <cons_fdefine_8>: <t_fm$ATM0$DATE7>[C] +341<t_x2$ATM0>[C] -341<t_z$ATM0>[C] +843<t_x3$ATM…
708 …[linear] <cons_fdefine_9>: <t_fm$ATM0$DATE8>[C] -643<t_x2$ATM0>[C] +643<t_z$ATM0>[C] +915<t_x3$ATM…
709 …[linear] <cons_fdefine_10>: <t_fm$ATM0$DATE9>[C] -931<t_x2$ATM0>[C] +931<t_z$ATM0>[C] +43<t_x3$ATM…
753 …[linear] <cons_fdefine_54>: -23<t_x2$ATM2>[C] +23<t_z$ATM2>[C] -650<t_x3$ATM2>[C] +<t_fp$ATM2$DAT…
[all …]
H A Datm_5_25_3.cip249 …[continuous] <t_x3$ATM0>: obj=801, global bounds=[0,6.34013054838019], local bounds=[0,6.340130548…
252 …[continuous] <t_x3$ATM1>: obj=0, global bounds=[0,5.81889808588799], local bounds=[0,5.81889808588…
255 …[continuous] <t_x3$ATM2>: obj=1471, global bounds=[0,5.15043547110055], local bounds=[0,5.15043547…
258 …[continuous] <t_x3$ATM3>: obj=24, global bounds=[0,2.44076655052265], local bounds=[0,2.4407665505…
261 …[continuous] <t_x3$ATM4>: obj=1125, global bounds=[0,4.37794084808375], local bounds=[0,4.37794084…
710 …[linear] <cons_fdefine_3>: -<t_fm$ATM0$DATE2>[C] -83<t_x2$ATM0>[C] +83<t_z$ATM0>[C] -1160<t_x3$AT…
712 …[linear] <cons_fdefine_5>: <t_fm$ATM0$DATE4>[C] +236<t_x2$ATM0>[C] -236<t_z$ATM0>[C] +796<t_x3$ATM…
714 …[linear] <cons_fdefine_7>: <t_fm$ATM0$DATE6>[C] +188<t_x2$ATM0>[C] -188<t_z$ATM0>[C] +256<t_x3$ATM…
715 …[linear] <cons_fdefine_8>: <t_fm$ATM0$DATE7>[C] +130<t_x2$ATM0>[C] -130<t_z$ATM0>[C] +1082<t_x3$AT…
800 …[linear] <cons_fdefine_93>: <t_fp$ATM3$DATE17>[C] +714<t_x2$ATM3>[C] -714<t_z$ATM3>[C] -1129<t_x3$…
[all …]
/dports/math/SCIP/scip-7.0.3/check/instances/MINLP/
H A Dgastrans.cip55 …[continuous] <t_x3>: obj=2.28, global bounds=[-136.732404813609,146.82496578727], local bounds=[-1…
140 …6344421495,-3.918], local bounds=[-434.456344421495,-3.918], aggregated: -1<t_x3> -1<t_x4> +1<t_x5>
141 …obj=0, global bounds=[0,8.4], local bounds=[0,8.4], aggregated: -1<t_x1> -1<t_x2> +1<t_x3> +1<t_x4>
165 [varbound] <e111>: <t_x3>[C] -195.858591670881<t_b48>[B] >= -195.858591670881;
166 [varbound] <e132>: <t_x3>[C] -173.61748395652<t_b48>[B] <= 0;
191 [linear] <e7>: <t_x3>[C] +<t_x4>[C] -<t_x5>[C] >= 3.918;
192 [linear] <e8>: 0 <= -<t_x1>[C] -<t_x2>[C] +<t_x3>[C] +<t_x4>[C] <= 8.4;
295 [quadratic] <nlreform2>: -<nlreform2>[C] +<t_x3>[C]^2 == 0;
/dports/graphics/gimp-app/gimp-2.10.30/app/core/
H A Dgimp-transform-utils.c262 gdouble t_x3, in gimp_transform_matrix_perspective() argument
291 dx2 = t_x3 - t_x4; in gimp_transform_matrix_perspective()
292 dx3 = t_x1 - t_x2 + t_x4 - t_x3; in gimp_transform_matrix_perspective()
324 trafo.coeff[0][1] = t_x3 - t_x1 + trafo.coeff[2][1] * t_x3; in gimp_transform_matrix_perspective()
H A Dgimp-transform-utils.h87 gdouble t_x3,
/dports/math/SCIP/scip-7.0.3/check/instances/PseudoBoolean/
H A Dwheel010.lap.opb.pre.cip150 [binary] <t_x3>: obj=1, global bounds=[-0,1], local bounds=[-0,1]
402 [xor] <pseudoboolean_linear353_upgraded>: xor(<t_x3>[B],<t_x189>[B],<t_x190>[B]) = 0;