Theme3/synthetic-models/analysis.ipynb

{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [],
   "source": [
    "from pathlib import Path\n",
    "import pandas as pd\n",
    "import re"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [],
   "source": [
    "def export_onnx(path, output_path, opset):\n",
    "    import pickle\n",
    "    import warnings\n",
    "\n",
    "    import torch\n",
    "    from nnsmith.materialize import Model, Oracle\n",
    "    from torch.onnx.verification import find_mismatch\n",
    "\n",
    "    warnings.simplefilter(\"ignore\")\n",
    "\n",
    "    # Get the paths for pickles and weights\n",
    "    gir_path: Path = path / \"gir.pkl\"\n",
    "    oracle_path: Path = path / \"oracle.pkl\"\n",
    "    weights_path: Path = path / \"model.pth\"\n",
    "\n",
    "    # Load the model from pickle\n",
    "    with gir_path.open(\"rb\") as f:\n",
    "        gir = pickle.load(f)\n",
    "    model_type = Model.init(\"torch\", \"cpu\")\n",
    "    model = model_type.from_gir(gir)\n",
    "\n",
    "    # Load weights from weight path.\n",
    "    model.torch_model.load_state_dict(torch.load(weights_path), strict=False)\n",
    "\n",
    "    # Load oracle\n",
    "    oracle = Oracle.load(oracle_path)\n",
    "\n",
    "    model_args = tuple([torch.from_numpy(val) for key, val in oracle.input.items()])\n",
    "\n",
    "    print(f\"Testing: {str(path)}\")\n",
    "    torch.onnx.export(\n",
    "        model.torch_model, model_args, output_path, opset_version=opset\n",
    "    )"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {},
   "outputs": [],
   "source": [
    "def mismatch_test(path, opset):\n",
    "    import pickle\n",
    "    import warnings\n",
    "\n",
    "    import torch\n",
    "    from nnsmith.materialize import Model, Oracle\n",
    "    from torch.onnx.verification import find_mismatch\n",
    "\n",
    "    warnings.simplefilter(\"ignore\")\n",
    "\n",
    "    # Get the paths for pickles and weights\n",
    "    gir_path: Path = path / \"gir.pkl\"\n",
    "    oracle_path: Path = path / \"oracle.pkl\"\n",
    "    weights_path: Path = path / \"model.pth\"\n",
    "\n",
    "    # Load the model from pickle\n",
    "    with gir_path.open(\"rb\") as f:\n",
    "        gir = pickle.load(f)\n",
    "    model_type = Model.init(\"torch\", \"cpu\")\n",
    "    model = model_type.from_gir(gir)\n",
    "\n",
    "    # Load weights from weight path.\n",
    "    model.torch_model.load_state_dict(torch.load(weights_path), strict=False)\n",
    "\n",
    "    # Load oracle\n",
    "    oracle = Oracle.load(oracle_path)\n",
    "\n",
    "    model_args = tuple([torch.from_numpy(val) for key, val in oracle.input.items()])\n",
    "\n",
    "    print(f\"Testing: {str(path)}\")\n",
    "    graph_info = find_mismatch(model.torch_model, model_args, opset_version=opset)\n",
    "    return graph_info"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {},
   "outputs": [],
   "source": [
    "def create_mismatch_test_dir(method, framework, opset, model_name, output_dir):\n",
    "    mismismatch_test_path = Path(f\"./{output_dir}/{framework}/{method}/{opset}/{model_name}\")\n",
    "    if not mismismatch_test_path.exists():\n",
    "        mismismatch_test_path.mkdir(parents=True)\n",
    "    return mismismatch_test_path"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Opset 16 -- excluded"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {},
   "outputs": [],
   "source": [
    "results_path = Path(\"./exporter_test_results/torch\")"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 11,
   "metadata": {},
   "outputs": [],
   "source": [
    "dataframes = []\n",
    "for path in  sorted(results_path.glob(f\"torch_symbolic-cinit_opset_16_*.json\")):\n",
    "    dataframes.append(pd.read_json(path))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 12,
   "metadata": {},
   "outputs": [],
   "source": [
    "all_data_opset16 = pd.concat(dataframes).fillna(0)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 13,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style scoped>\n",
       "    .dataframe tbody tr th:only-of-type {\n",
       "        vertical-align: middle;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: right;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>model</th>\n",
       "      <th>path</th>\n",
       "      <th>result</th>\n",
       "      <th>error</th>\n",
       "      <th>mismatch</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>0</th>\n",
       "      <td>model_0_242079451</td>\n",
       "      <td>nnsmith_constrained/symbolic-cinit/torch/100/m...</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0.0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>1</th>\n",
       "      <td>model_10_806380245</td>\n",
       "      <td>nnsmith_constrained/symbolic-cinit/torch/100/m...</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0.0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>2</th>\n",
       "      <td>model_11_1158151431</td>\n",
       "      <td>nnsmith_constrained/symbolic-cinit/torch/100/m...</td>\n",
       "      <td>1</td>\n",
       "      <td>[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Cou...</td>\n",
       "      <td>0.0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>3</th>\n",
       "      <td>model_12_803349300</td>\n",
       "      <td>nnsmith_constrained/symbolic-cinit/torch/100/m...</td>\n",
       "      <td>1</td>\n",
       "      <td>[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Cou...</td>\n",
       "      <td>0.0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>4</th>\n",
       "      <td>model_13_721245967</td>\n",
       "      <td>nnsmith_constrained/symbolic-cinit/torch/100/m...</td>\n",
       "      <td>1</td>\n",
       "      <td>[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Cou...</td>\n",
       "      <td>0.0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>...</th>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>94</th>\n",
       "      <td>model_96_2247477139</td>\n",
       "      <td>nnsmith_constrained/symbolic-cinit/torch/95/mo...</td>\n",
       "      <td>1</td>\n",
       "      <td>[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Cou...</td>\n",
       "      <td>0.0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>95</th>\n",
       "      <td>model_97_1071676939</td>\n",
       "      <td>nnsmith_constrained/symbolic-cinit/torch/95/mo...</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0.0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>96</th>\n",
       "      <td>model_98_78593957</td>\n",
       "      <td>nnsmith_constrained/symbolic-cinit/torch/95/mo...</td>\n",
       "      <td>1</td>\n",
       "      <td>[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Cou...</td>\n",
       "      <td>0.0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>97</th>\n",
       "      <td>model_99_2255557066</td>\n",
       "      <td>nnsmith_constrained/symbolic-cinit/torch/95/mo...</td>\n",
       "      <td>1</td>\n",
       "      <td>[ONNXRuntimeError] : 10 : INVALID_GRAPH : This...</td>\n",
       "      <td>0.0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>98</th>\n",
       "      <td>model_9_1809052433</td>\n",
       "      <td>nnsmith_constrained/symbolic-cinit/torch/95/mo...</td>\n",
       "      <td>1</td>\n",
       "      <td>[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Cou...</td>\n",
       "      <td>0.0</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "<p>1724 rows × 5 columns</p>\n",
       "</div>"
      ],
      "text/plain": [
       "                  model                                               path  \\\n",
       "0     model_0_242079451  nnsmith_constrained/symbolic-cinit/torch/100/m...   \n",
       "1    model_10_806380245  nnsmith_constrained/symbolic-cinit/torch/100/m...   \n",
       "2   model_11_1158151431  nnsmith_constrained/symbolic-cinit/torch/100/m...   \n",
       "3    model_12_803349300  nnsmith_constrained/symbolic-cinit/torch/100/m...   \n",
       "4    model_13_721245967  nnsmith_constrained/symbolic-cinit/torch/100/m...   \n",
       "..                  ...                                                ...   \n",
       "94  model_96_2247477139  nnsmith_constrained/symbolic-cinit/torch/95/mo...   \n",
       "95  model_97_1071676939  nnsmith_constrained/symbolic-cinit/torch/95/mo...   \n",
       "96    model_98_78593957  nnsmith_constrained/symbolic-cinit/torch/95/mo...   \n",
       "97  model_99_2255557066  nnsmith_constrained/symbolic-cinit/torch/95/mo...   \n",
       "98   model_9_1809052433  nnsmith_constrained/symbolic-cinit/torch/95/mo...   \n",
       "\n",
       "    result                                              error  mismatch  \n",
       "0        0                                                  0       0.0  \n",
       "1        0                                                  0       0.0  \n",
       "2        1  [ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Cou...       0.0  \n",
       "3        1  [ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Cou...       0.0  \n",
       "4        1  [ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Cou...       0.0  \n",
       "..     ...                                                ...       ...  \n",
       "94       1  [ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Cou...       0.0  \n",
       "95       0                                                  0       0.0  \n",
       "96       1  [ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Cou...       0.0  \n",
       "97       1  [ONNXRuntimeError] : 10 : INVALID_GRAPH : This...       0.0  \n",
       "98       1  [ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Cou...       0.0  \n",
       "\n",
       "[1724 rows x 5 columns]"
      ]
     },
     "execution_count": 13,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "all_data_opset16"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 14,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "result  mismatch\n",
       "0       0.0         881\n",
       "1       0.0         743\n",
       "0       1.0         100\n",
       "Name: count, dtype: int64"
      ]
     },
     "execution_count": 14,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "all_data_opset16[['result', 'mismatch']].value_counts()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 15,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style scoped>\n",
       "    .dataframe tbody tr th:only-of-type {\n",
       "        vertical-align: middle;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: right;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>model</th>\n",
       "      <th>path</th>\n",
       "      <th>result</th>\n",
       "      <th>error</th>\n",
       "      <th>mismatch</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>0</th>\n",
       "      <td>model_0_242079451</td>\n",
       "      <td>nnsmith_constrained/symbolic-cinit/torch/100/m...</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0.0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>1</th>\n",
       "      <td>model_10_806380245</td>\n",
       "      <td>nnsmith_constrained/symbolic-cinit/torch/100/m...</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0.0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>16</th>\n",
       "      <td>model_24_1364982628</td>\n",
       "      <td>nnsmith_constrained/symbolic-cinit/torch/100/m...</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0.0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>18</th>\n",
       "      <td>model_26_2756794408</td>\n",
       "      <td>nnsmith_constrained/symbolic-cinit/torch/100/m...</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0.0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>24</th>\n",
       "      <td>model_31_3918646064</td>\n",
       "      <td>nnsmith_constrained/symbolic-cinit/torch/100/m...</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0.0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>...</th>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>88</th>\n",
       "      <td>model_8_1517613889</td>\n",
       "      <td>nnsmith_constrained/symbolic-cinit/torch/95/mo...</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0.0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>89</th>\n",
       "      <td>model_90_304262387</td>\n",
       "      <td>nnsmith_constrained/symbolic-cinit/torch/95/mo...</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0.0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>91</th>\n",
       "      <td>model_92_2947853082</td>\n",
       "      <td>nnsmith_constrained/symbolic-cinit/torch/95/mo...</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0.0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>92</th>\n",
       "      <td>model_93_3157390059</td>\n",
       "      <td>nnsmith_constrained/symbolic-cinit/torch/95/mo...</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0.0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>95</th>\n",
       "      <td>model_97_1071676939</td>\n",
       "      <td>nnsmith_constrained/symbolic-cinit/torch/95/mo...</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0.0</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "<p>881 rows × 5 columns</p>\n",
       "</div>"
      ],
      "text/plain": [
       "                  model                                               path  \\\n",
       "0     model_0_242079451  nnsmith_constrained/symbolic-cinit/torch/100/m...   \n",
       "1    model_10_806380245  nnsmith_constrained/symbolic-cinit/torch/100/m...   \n",
       "16  model_24_1364982628  nnsmith_constrained/symbolic-cinit/torch/100/m...   \n",
       "18  model_26_2756794408  nnsmith_constrained/symbolic-cinit/torch/100/m...   \n",
       "24  model_31_3918646064  nnsmith_constrained/symbolic-cinit/torch/100/m...   \n",
       "..                  ...                                                ...   \n",
       "88   model_8_1517613889  nnsmith_constrained/symbolic-cinit/torch/95/mo...   \n",
       "89   model_90_304262387  nnsmith_constrained/symbolic-cinit/torch/95/mo...   \n",
       "91  model_92_2947853082  nnsmith_constrained/symbolic-cinit/torch/95/mo...   \n",
       "92  model_93_3157390059  nnsmith_constrained/symbolic-cinit/torch/95/mo...   \n",
       "95  model_97_1071676939  nnsmith_constrained/symbolic-cinit/torch/95/mo...   \n",
       "\n",
       "    result error  mismatch  \n",
       "0        0     0       0.0  \n",
       "1        0     0       0.0  \n",
       "16       0     0       0.0  \n",
       "18       0     0       0.0  \n",
       "24       0     0       0.0  \n",
       "..     ...   ...       ...  \n",
       "88       0     0       0.0  \n",
       "89       0     0       0.0  \n",
       "91       0     0       0.0  \n",
       "92       0     0       0.0  \n",
       "95       0     0       0.0  \n",
       "\n",
       "[881 rows x 5 columns]"
      ]
     },
     "execution_count": 15,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "all_data_opset16.loc[(all_data_opset16[\"mismatch\"] == 0) & (all_data_opset16[\"result\"] == 0)]"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 13,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "----------\n",
      "model_11_1158151431\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_211'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_11_1158151431\n",
      "----------\n",
      "model_12_803349300\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_194'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_12_803349300\n",
      "----------\n",
      "model_13_721245967\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_169'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_13_721245967\n",
      "----------\n",
      "model_14_2408570878\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_170'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_14_2408570878\n",
      "----------\n",
      "model_16_2778272357\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_207'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_16_2778272357\n",
      "----------\n",
      "model_18_2982648394\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_156'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_18_2982648394\n",
      "----------\n",
      "model_1_1832329861\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_27'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_1_1832329861\n",
      "----------\n",
      "model_20_2347036914\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_1'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_20_2347036914\n",
      "----------\n",
      "model_21_1430605467\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_152'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_21_1430605467\n",
      "----------\n",
      "model_22_1273343500\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Less(13) node with name 'Less_2'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_22_1273343500\n",
      "----------\n",
      "model_23_2277974030\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_162'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_23_2277974030\n",
      "----------\n",
      "model_25_3565694349\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_141'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_25_3565694349\n",
      "----------\n",
      "model_27_1652137397\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Greater(13) node with name 'Greater_5'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_27_1652137397\n",
      "----------\n",
      "model_28_2296419102\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_159'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_28_2296419102\n",
      "----------\n",
      "model_29_1013532710\n",
      "[ONNXRuntimeError] : 1 : FAIL : Non-zero status code returned while running Resize node. Name:'Resize_229' Status Message: upsamplebase.h:369 ScalesValidation 'Cubic' mode only support 2-D inputs ('Bicubic') or 4-D inputs with the corresponding outermost 2 scale values being 1 in the Resize operator\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_29_1013532710\n",
      "----------\n",
      "model_2_430659547\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_167'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_2_430659547\n",
      "----------\n",
      "model_33_3477897445\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_257'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_33_3477897445\n",
      "----------\n",
      "model_34_4140144549\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_121'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_34_4140144549\n",
      "----------\n",
      "model_35_1050041318\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int8)' of input parameter (aten::gt_444) of operator (MatMul) in node (MatMul_39) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_35_1050041318\n",
      "----------\n",
      "model_36_3943361963\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int16)' of input parameter (aten::sum_432) of operator (ReduceMin) in node (ReduceMin_124) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_36_3943361963\n",
      "----------\n",
      "model_38_2981181768\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Mul(14) node with name 'Mul_28'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_38_2981181768\n",
      "----------\n",
      "model_39_2827067526\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for AveragePool(11) node with name 'AveragePool_195'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_39_2827067526\n",
      "----------\n",
      "model_40_571100730\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_234'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_40_571100730\n",
      "----------\n",
      "model_41_1756176320\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_160'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_41_1756176320\n",
      "----------\n",
      "model_42_3679799271\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_88'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_42_3679799271\n",
      "----------\n",
      "model_43_277733296\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Where(16) node with name 'Where_50'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_43_277733296\n",
      "----------\n",
      "model_44_3875348533\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_153'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_44_3875348533\n",
      "----------\n",
      "model_45_2160499402\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_207'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_45_2160499402\n",
      "----------\n",
      "model_46_4194761450\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_117'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_46_4194761450\n",
      "----------\n",
      "model_47_201434828\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_192'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_47_201434828\n",
      "----------\n",
      "model_48_1331641664\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_158'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_48_1331641664\n",
      "----------\n",
      "model_4_951000263\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_252'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_4_951000263\n",
      "----------\n",
      "model_50_2851622550\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_309'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_50_2851622550\n",
      "----------\n",
      "model_51_1069711386\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_305'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_51_1069711386\n",
      "----------\n",
      "model_52_1590216163\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_96'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_52_1590216163\n",
      "----------\n",
      "model_53_4235515756\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_2'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_53_4235515756\n",
      "----------\n",
      "model_54_2190211819\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_161'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_54_2190211819\n",
      "----------\n",
      "model_55_796875099\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Greater(13) node with name 'Greater_36'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_55_796875099\n",
      "----------\n",
      "model_56_1568290608\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_107'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_56_1568290608\n",
      "----------\n",
      "model_58_1283842039\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_220'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_58_1283842039\n",
      "----------\n",
      "model_5_3730896984\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_167'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_5_3730896984\n",
      "----------\n",
      "model_60_1539300489\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_6'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_60_1539300489\n",
      "----------\n",
      "model_61_4292487270\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_206'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_61_4292487270\n",
      "----------\n",
      "model_62_468762822\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Add(14) node with name 'Add_33'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_62_468762822\n",
      "----------\n",
      "model_63_3876524109\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_223'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_63_3876524109\n",
      "----------\n",
      "model_64_1771142844\n",
      "[ONNXRuntimeError] : 1 : FAIL : Non-zero status code returned while running Resize node. Name:'Resize_136' Status Message: upsamplebase.h:362 ScalesValidation 'Linear' mode only support:\n",
      "  * 2-D inputs or\n",
      "  * 3-D inputs ('Bilinear', 'Trilinear') or\n",
      "  * 4-D inputs with the corresponding outermost 2 scale values being 1 or the corresponding outermost and innermost scale values being 1 or\n",
      "  * 5-D inputs with the corresponding outermost 2 scale values being 1in the Resize operator\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_64_1771142844\n",
      "----------\n",
      "model_65_1317134866\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_150'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_65_1317134866\n",
      "----------\n",
      "model_67_2754838903\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_197'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_67_2754838903\n",
      "----------\n",
      "model_68_3442994936\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_168'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_68_3442994936\n",
      "----------\n",
      "model_69_3613604348\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_171'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_69_3613604348\n",
      "----------\n",
      "model_70_1463535215\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_44'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_70_1463535215\n",
      "----------\n",
      "model_71_3863435282\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_183'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_71_3863435282\n",
      "----------\n",
      "model_72_1045366753\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_169'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_72_1045366753\n",
      "----------\n",
      "model_73_122174752\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Max(13) node with name 'Max_9'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_73_122174752\n",
      "----------\n",
      "model_75_2985374381\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_162'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_75_2985374381\n",
      "----------\n",
      "model_76_1114998336\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_212'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_76_1114998336\n",
      "----------\n",
      "model_77_1629523094\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for AveragePool(11) node with name 'AveragePool_350'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_77_1629523094\n",
      "----------\n",
      "model_78_3977013993\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_142'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_78_3977013993\n",
      "----------\n",
      "model_79_2837193192\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Mul(14) node with name 'Mul_26'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_79_2837193192\n",
      "----------\n",
      "model_7_3935293936\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_171'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_7_3935293936\n",
      "----------\n",
      "model_80_996005413\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Add(14) node with name 'Add_28'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_80_996005413\n",
      "----------\n",
      "model_81_2672814459\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_238'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_81_2672814459\n",
      "----------\n",
      "model_82_1406445086\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Min(13) node with name 'Min_56'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_82_1406445086\n",
      "----------\n",
      "model_83_3976922519\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_216'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_83_3976922519\n",
      "----------\n",
      "model_84_66001382\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_128'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_84_66001382\n",
      "----------\n",
      "model_85_424183993\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_17'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_85_424183993\n",
      "----------\n",
      "model_86_2599580222\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Where(16) node with name 'Where_42'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_86_2599580222\n",
      "----------\n",
      "model_87_3018866214\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_145'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_87_3018866214\n",
      "----------\n",
      "model_88_547712139\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_127'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_88_547712139\n",
      "----------\n",
      "model_8_2402138074\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Add(14) node with name 'Add_0'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_8_2402138074\n",
      "----------\n",
      "model_90_680548795\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_74'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_90_680548795\n",
      "----------\n",
      "model_91_2844656315\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Greater(13) node with name 'Greater_28'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_91_2844656315\n",
      "----------\n",
      "model_92_3889994551\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_217'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_92_3889994551\n",
      "----------\n",
      "model_94_2513417659\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_136'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_94_2513417659\n",
      "----------\n",
      "model_95_3593372121\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_193'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_95_3593372121\n",
      "----------\n",
      "model_96_3809869902\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_269'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_96_3809869902\n",
      "----------\n",
      "model_97_3571492163\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_261'\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_97_3571492163\n",
      "----------\n",
      "model_99_4187212236\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int8)' of input parameter (aten::matmul_7) of operator (MatMul) in node (MatMul_11) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_99_4187212236\n",
      "----------\n",
      "model_9_480864264\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int16)' of input parameter (aten::max_391) of operator (MatMul) in node (MatMul_184) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_9_480864264\n",
      "----------\n",
      "model_0_2175981648\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Greater(13) node with name 'Greater_0'\n",
      "nnsmith_constrained/symbolic-cinit/torch/15/model_0_2175981648\n",
      "----------\n",
      "model_25_1951596049\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Max(13) node with name 'Max_1'\n",
      "nnsmith_constrained/symbolic-cinit/torch/15/model_25_1951596049\n",
      "----------\n",
      "model_35_2438474757\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_45'\n",
      "nnsmith_constrained/symbolic-cinit/torch/15/model_35_2438474757\n",
      "----------\n",
      "model_3_1360067443\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_11'\n",
      "nnsmith_constrained/symbolic-cinit/torch/15/model_3_1360067443\n",
      "----------\n",
      "model_41_623948728\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_18'\n",
      "nnsmith_constrained/symbolic-cinit/torch/15/model_41_623948728\n",
      "----------\n",
      "model_61_1958903213\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_6'\n",
      "nnsmith_constrained/symbolic-cinit/torch/15/model_61_1958903213\n",
      "----------\n",
      "model_64_2215934848\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_21'\n",
      "nnsmith_constrained/symbolic-cinit/torch/15/model_64_2215934848\n",
      "----------\n",
      "model_66_3991419235\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_23'\n",
      "nnsmith_constrained/symbolic-cinit/torch/15/model_66_3991419235\n",
      "----------\n",
      "model_98_1343637015\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_30'\n",
      "nnsmith_constrained/symbolic-cinit/torch/15/model_98_1343637015\n",
      "----------\n",
      "model_17_822039345\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Greater(13) node with name 'Greater_0'\n",
      "nnsmith_constrained/symbolic-cinit/torch/20/model_17_822039345\n",
      "----------\n",
      "model_18_1217174663\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_12'\n",
      "nnsmith_constrained/symbolic-cinit/torch/20/model_18_1217174663\n",
      "----------\n",
      "model_21_3388261468\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_24'\n",
      "nnsmith_constrained/symbolic-cinit/torch/20/model_21_3388261468\n",
      "----------\n",
      "model_35_2388365600\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_8'\n",
      "nnsmith_constrained/symbolic-cinit/torch/20/model_35_2388365600\n",
      "----------\n",
      "model_53_1916555052\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_18'\n",
      "nnsmith_constrained/symbolic-cinit/torch/20/model_53_1916555052\n",
      "----------\n",
      "model_58_2171569735\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_37'\n",
      "nnsmith_constrained/symbolic-cinit/torch/20/model_58_2171569735\n",
      "----------\n",
      "model_61_678359472\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_54'\n",
      "nnsmith_constrained/symbolic-cinit/torch/20/model_61_678359472\n",
      "----------\n",
      "model_67_2095610024\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_43'\n",
      "nnsmith_constrained/symbolic-cinit/torch/20/model_67_2095610024\n",
      "----------\n",
      "model_76_1356243268\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Add(14) node with name 'Add_13'\n",
      "nnsmith_constrained/symbolic-cinit/torch/20/model_76_1356243268\n",
      "----------\n",
      "model_81_1574862576\n",
      "[ONNXRuntimeError] : 1 : FAIL : Non-zero status code returned while running Resize node. Name:'Resize_23' Status Message: upsamplebase.h:369 ScalesValidation 'Cubic' mode only support 2-D inputs ('Bicubic') or 4-D inputs with the corresponding outermost 2 scale values being 1 in the Resize operator\n",
      "nnsmith_constrained/symbolic-cinit/torch/20/model_81_1574862576\n",
      "----------\n",
      "model_87_3039330850\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_53'\n",
      "nnsmith_constrained/symbolic-cinit/torch/20/model_87_3039330850\n",
      "----------\n",
      "model_94_89561667\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_38'\n",
      "nnsmith_constrained/symbolic-cinit/torch/20/model_94_89561667\n",
      "----------\n",
      "model_9_246072185\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_21'\n",
      "nnsmith_constrained/symbolic-cinit/torch/20/model_9_246072185\n",
      "----------\n",
      "model_10_60608710\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_50'\n",
      "nnsmith_constrained/symbolic-cinit/torch/25/model_10_60608710\n",
      "----------\n",
      "model_13_1086552674\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_61'\n",
      "nnsmith_constrained/symbolic-cinit/torch/25/model_13_1086552674\n",
      "----------\n",
      "model_19_142049569\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_49'\n",
      "nnsmith_constrained/symbolic-cinit/torch/25/model_19_142049569\n",
      "----------\n",
      "model_2_2109665530\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_30'\n",
      "nnsmith_constrained/symbolic-cinit/torch/25/model_2_2109665530\n",
      "----------\n",
      "model_30_3521156859\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_33'\n",
      "nnsmith_constrained/symbolic-cinit/torch/25/model_30_3521156859\n",
      "----------\n",
      "model_33_3337614426\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_2'\n",
      "nnsmith_constrained/symbolic-cinit/torch/25/model_33_3337614426\n",
      "----------\n",
      "model_35_3383214052\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_25'\n",
      "nnsmith_constrained/symbolic-cinit/torch/25/model_35_3383214052\n",
      "----------\n",
      "model_39_3152846343\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_26'\n",
      "nnsmith_constrained/symbolic-cinit/torch/25/model_39_3152846343\n",
      "----------\n",
      "model_41_1761652798\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for AveragePool(11) node with name 'AveragePool_67'\n",
      "nnsmith_constrained/symbolic-cinit/torch/25/model_41_1761652798\n",
      "----------\n",
      "model_47_2678110356\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_19'\n",
      "nnsmith_constrained/symbolic-cinit/torch/25/model_47_2678110356\n",
      "----------\n",
      "model_66_4060338275\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_27'\n",
      "nnsmith_constrained/symbolic-cinit/torch/25/model_66_4060338275\n",
      "----------\n",
      "model_69_1052136838\n",
      "[ONNXRuntimeError] : 1 : FAIL : Non-zero status code returned while running Resize node. Name:'Resize_22' Status Message: upsamplebase.h:416 ParseSizesData Resize: input tensor's rank does not match the output tensor's rank.\n",
      "nnsmith_constrained/symbolic-cinit/torch/25/model_69_1052136838\n",
      "----------\n",
      "model_78_2933879695\n",
      "[ONNXRuntimeError] : 1 : FAIL : Non-zero status code returned while running Resize node. Name:'Resize_69' Status Message: upsamplebase.h:362 ScalesValidation 'Linear' mode only support:\n",
      "  * 2-D inputs or\n",
      "  * 3-D inputs ('Bilinear', 'Trilinear') or\n",
      "  * 4-D inputs with the corresponding outermost 2 scale values being 1 or the corresponding outermost and innermost scale values being 1 or\n",
      "  * 5-D inputs with the corresponding outermost 2 scale values being 1in the Resize operator\n",
      "nnsmith_constrained/symbolic-cinit/torch/25/model_78_2933879695\n",
      "----------\n",
      "model_88_1931345208\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Greater(13) node with name 'Greater_7'\n",
      "nnsmith_constrained/symbolic-cinit/torch/25/model_88_1931345208\n",
      "----------\n",
      "model_93_3665458317\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_31'\n",
      "nnsmith_constrained/symbolic-cinit/torch/25/model_93_3665458317\n",
      "----------\n",
      "model_0_488276932\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_72'\n",
      "nnsmith_constrained/symbolic-cinit/torch/30/model_0_488276932\n",
      "----------\n",
      "model_18_3841114006\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_16'\n",
      "nnsmith_constrained/symbolic-cinit/torch/30/model_18_3841114006\n",
      "----------\n",
      "model_29_4289057128\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_24'\n",
      "nnsmith_constrained/symbolic-cinit/torch/30/model_29_4289057128\n",
      "----------\n",
      "model_31_3253740460\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_56'\n",
      "nnsmith_constrained/symbolic-cinit/torch/30/model_31_3253740460\n",
      "----------\n",
      "model_34_693499081\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_19'\n",
      "nnsmith_constrained/symbolic-cinit/torch/30/model_34_693499081\n",
      "----------\n",
      "model_40_4127509961\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for AveragePool(11) node with name 'AveragePool_23'\n",
      "nnsmith_constrained/symbolic-cinit/torch/30/model_40_4127509961\n",
      "----------\n",
      "model_52_3798399540\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_77'\n",
      "nnsmith_constrained/symbolic-cinit/torch/30/model_52_3798399540\n",
      "----------\n",
      "model_57_338020348\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_107'\n",
      "nnsmith_constrained/symbolic-cinit/torch/30/model_57_338020348\n",
      "----------\n",
      "model_63_1760340874\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_30'\n",
      "nnsmith_constrained/symbolic-cinit/torch/30/model_63_1760340874\n",
      "----------\n",
      "model_6_1242334583\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_102'\n",
      "nnsmith_constrained/symbolic-cinit/torch/30/model_6_1242334583\n",
      "----------\n",
      "model_76_3081311463\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_62'\n",
      "nnsmith_constrained/symbolic-cinit/torch/30/model_76_3081311463\n",
      "----------\n",
      "model_83_3760986580\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_42'\n",
      "nnsmith_constrained/symbolic-cinit/torch/30/model_83_3760986580\n",
      "----------\n",
      "model_90_796543258\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_14'\n",
      "nnsmith_constrained/symbolic-cinit/torch/30/model_90_796543258\n",
      "----------\n",
      "model_91_1655707971\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_41'\n",
      "nnsmith_constrained/symbolic-cinit/torch/30/model_91_1655707971\n",
      "----------\n",
      "model_92_1229499988\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_19'\n",
      "nnsmith_constrained/symbolic-cinit/torch/30/model_92_1229499988\n",
      "----------\n",
      "model_16_622413830\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_54'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_16_622413830\n",
      "----------\n",
      "model_17_942298833\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_48'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_17_942298833\n",
      "----------\n",
      "model_18_3848617334\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_77'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_18_3848617334\n",
      "----------\n",
      "model_1_3494334031\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_147'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_1_3494334031\n",
      "----------\n",
      "model_20_2616640138\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_23'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_20_2616640138\n",
      "----------\n",
      "model_24_4178361050\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_42'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_24_4178361050\n",
      "----------\n",
      "model_26_3615447207\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_61'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_26_3615447207\n",
      "----------\n",
      "model_31_3613000945\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_110'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_31_3613000945\n",
      "----------\n",
      "model_34_1452108446\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_79'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_34_1452108446\n",
      "----------\n",
      "model_37_65996458\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(uint8)' of input parameter (aten::neg_72) of operator (Neg) in node (Neg_10) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_37_65996458\n",
      "----------\n",
      "model_39_3205018434\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Greater(13) node with name 'Greater_61'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_39_3205018434\n",
      "----------\n",
      "model_40_1208797111\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_68'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_40_1208797111\n",
      "----------\n",
      "model_44_2755059129\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Greater(13) node with name 'Greater_21'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_44_2755059129\n",
      "----------\n",
      "model_47_3986619983\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_76'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_47_3986619983\n",
      "----------\n",
      "model_55_3588641880\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_70'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_55_3588641880\n",
      "----------\n",
      "model_59_829280613\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_7'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_59_829280613\n",
      "----------\n",
      "model_5_2176487073\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_58'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_5_2176487073\n",
      "----------\n",
      "model_64_4065159095\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int8)' of input parameter (aten::matmul_87) of operator (MatMul) in node (MatMul_13) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_64_4065159095\n",
      "----------\n",
      "model_69_1841609718\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_58'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_69_1841609718\n",
      "----------\n",
      "model_74_4028400644\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_45'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_74_4028400644\n",
      "----------\n",
      "model_76_2613041445\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_35'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_76_2613041445\n",
      "----------\n",
      "model_78_3171532793\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_30'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_78_3171532793\n",
      "----------\n",
      "model_80_1602928836\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_40'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_80_1602928836\n",
      "----------\n",
      "model_82_3836498705\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Min(13) node with name 'Min_2'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_82_3836498705\n",
      "----------\n",
      "model_83_205320728\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_76'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_83_205320728\n",
      "----------\n",
      "model_84_399990585\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_51'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_84_399990585\n",
      "----------\n",
      "model_89_1030650470\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_12'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_89_1030650470\n",
      "----------\n",
      "model_93_3268990755\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_60'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_93_3268990755\n",
      "----------\n",
      "model_95_2201712966\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_75'\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_95_2201712966\n",
      "----------\n",
      "model_98_3030474639\n",
      "[ONNXRuntimeError] : 1 : FAIL : Non-zero status code returned while running Resize node. Name:'Resize_86' Status Message: upsamplebase.h:362 ScalesValidation 'Linear' mode only support:\n",
      "  * 2-D inputs or\n",
      "  * 3-D inputs ('Bilinear', 'Trilinear') or\n",
      "  * 4-D inputs with the corresponding outermost 2 scale values being 1 or the corresponding outermost and innermost scale values being 1 or\n",
      "  * 5-D inputs with the corresponding outermost 2 scale values being 1in the Resize operator\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_98_3030474639\n",
      "----------\n",
      "model_11_1110035294\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Greater(13) node with name 'Greater_3'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_11_1110035294\n",
      "----------\n",
      "model_13_3647784141\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_106'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_13_3647784141\n",
      "----------\n",
      "model_16_2919706742\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_41'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_16_2919706742\n",
      "----------\n",
      "model_17_3995394351\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_75'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_17_3995394351\n",
      "----------\n",
      "model_1_1082590658\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_17'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_1_1082590658\n",
      "----------\n",
      "model_21_4165756363\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_42'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_21_4165756363\n",
      "----------\n",
      "model_26_2978369080\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_45'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_26_2978369080\n",
      "----------\n",
      "model_30_3833515678\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_23'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_30_3833515678\n",
      "----------\n",
      "model_32_1192477533\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_80'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_32_1192477533\n",
      "----------\n",
      "model_38_1364082598\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_44'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_38_1364082598\n",
      "----------\n",
      "model_3_4143236431\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_82'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_3_4143236431\n",
      "----------\n",
      "model_41_396744502\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_61'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_41_396744502\n",
      "----------\n",
      "model_48_3633340492\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_51'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_48_3633340492\n",
      "----------\n",
      "model_50_2830880069\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_85'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_50_2830880069\n",
      "----------\n",
      "model_54_2362321865\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_61'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_54_2362321865\n",
      "----------\n",
      "model_55_2340923637\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_47'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_55_2340923637\n",
      "----------\n",
      "model_60_576637950\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_49'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_60_576637950\n",
      "----------\n",
      "model_61_1480015630\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_56'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_61_1480015630\n",
      "----------\n",
      "model_62_3647228020\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_49'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_62_3647228020\n",
      "----------\n",
      "model_6_3636844433\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_110'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_6_3636844433\n",
      "----------\n",
      "model_70_489828031\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_49'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_70_489828031\n",
      "----------\n",
      "model_73_1941021964\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_56'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_73_1941021964\n",
      "----------\n",
      "model_86_3715742574\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_14'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_86_3715742574\n",
      "----------\n",
      "model_87_2295217601\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_58'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_87_2295217601\n",
      "----------\n",
      "model_92_2359292887\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_49'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_92_2359292887\n",
      "----------\n",
      "model_95_1078838043\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_59'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_95_1078838043\n",
      "----------\n",
      "model_99_4199716389\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Less(13) node with name 'Less_0'\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_99_4199716389\n",
      "----------\n",
      "model_0_619912351\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_58'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_0_619912351\n",
      "----------\n",
      "model_11_4083806872\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_16'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_11_4083806872\n",
      "----------\n",
      "model_12_1153503198\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_23'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_12_1153503198\n",
      "----------\n",
      "model_13_1986957766\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_76'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_13_1986957766\n",
      "----------\n",
      "model_16_2790797421\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_97'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_16_2790797421\n",
      "----------\n",
      "model_17_1084797316\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_53'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_17_1084797316\n",
      "----------\n",
      "model_20_2424046164\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_50'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_20_2424046164\n",
      "----------\n",
      "model_22_2605235298\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_45'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_22_2605235298\n",
      "----------\n",
      "model_32_2540178471\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_120'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_32_2540178471\n",
      "----------\n",
      "model_33_605339267\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_80'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_33_605339267\n",
      "----------\n",
      "model_34_1031158645\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_149'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_34_1031158645\n",
      "----------\n",
      "model_36_3090335590\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_57'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_36_3090335590\n",
      "----------\n",
      "model_38_3581948710\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_94'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_38_3581948710\n",
      "----------\n",
      "model_42_1668639051\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_53'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_42_1668639051\n",
      "----------\n",
      "model_46_1493937667\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Less(13) node with name 'Less_21'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_46_1493937667\n",
      "----------\n",
      "model_49_1943709195\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_53'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_49_1943709195\n",
      "----------\n",
      "model_51_922073133\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_63'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_51_922073133\n",
      "----------\n",
      "model_53_538817211\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_41'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_53_538817211\n",
      "----------\n",
      "model_56_810845049\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_7'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_56_810845049\n",
      "----------\n",
      "model_59_1780117225\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Sub(14) node with name 'Sub_8'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_59_1780117225\n",
      "----------\n",
      "model_5_3488848544\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_131'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_5_3488848544\n",
      "----------\n",
      "model_6_3455389532\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_90'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_6_3455389532\n",
      "----------\n",
      "model_70_2517583062\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_47'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_70_2517583062\n",
      "----------\n",
      "model_81_3600770863\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_91'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_81_3600770863\n",
      "----------\n",
      "model_85_235635298\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_63'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_85_235635298\n",
      "----------\n",
      "model_88_6920541\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_63'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_88_6920541\n",
      "----------\n",
      "model_93_382182039\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_81'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_93_382182039\n",
      "----------\n",
      "model_95_3537746789\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_84'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_95_3537746789\n",
      "----------\n",
      "model_96_291523640\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Less(13) node with name 'Less_20'\n",
      "nnsmith_constrained/symbolic-cinit/torch/45/model_96_291523640\n",
      "----------\n",
      "model_0_2578478394\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_54'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_0_2578478394\n",
      "----------\n",
      "model_12_3213073860\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_80'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_12_3213073860\n",
      "----------\n",
      "model_13_634955018\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_0'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_13_634955018\n",
      "----------\n",
      "model_15_1611056080\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for AveragePool(11) node with name 'AveragePool_49'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_15_1611056080\n",
      "----------\n",
      "model_18_3397122549\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_56'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_18_3397122549\n",
      "----------\n",
      "model_19_2742882928\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_69'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_19_2742882928\n",
      "----------\n",
      "model_20_2998336455\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Max(13) node with name 'Max_4'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_20_2998336455\n",
      "----------\n",
      "model_26_209769896\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for AveragePool(11) node with name 'AveragePool_98'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_26_209769896\n",
      "----------\n",
      "model_2_3308199180\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_41'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_2_3308199180\n",
      "----------\n",
      "model_32_3508948355\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_141'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_32_3508948355\n",
      "----------\n",
      "model_33_732106676\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_102'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_33_732106676\n",
      "----------\n",
      "model_34_835861606\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_144'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_34_835861606\n",
      "----------\n",
      "model_35_3943486040\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_107'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_35_3943486040\n",
      "----------\n",
      "model_38_3655192606\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_134'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_38_3655192606\n",
      "----------\n",
      "model_39_2459674881\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_129'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_39_2459674881\n",
      "----------\n",
      "model_43_11804957\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_53'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_43_11804957\n",
      "----------\n",
      "model_46_1247976989\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_106'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_46_1247976989\n",
      "----------\n",
      "model_56_2144701253\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Neg(13) node with name 'Neg_4'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_56_2144701253\n",
      "----------\n",
      "model_57_2327549119\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_12'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_57_2327549119\n",
      "----------\n",
      "model_68_1839695567\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_83'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_68_1839695567\n",
      "----------\n",
      "model_73_2879708274\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_53'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_73_2879708274\n",
      "----------\n",
      "model_74_1497565275\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Greater(13) node with name 'Greater_5'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_74_1497565275\n",
      "----------\n",
      "model_75_578118209\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for AveragePool(11) node with name 'AveragePool_86'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_75_578118209\n",
      "----------\n",
      "model_76_2353283181\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_88'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_76_2353283181\n",
      "----------\n",
      "model_77_523671955\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_104'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_77_523671955\n",
      "----------\n",
      "model_7_1893519458\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_96'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_7_1893519458\n",
      "----------\n",
      "model_82_3339967804\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_124'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_82_3339967804\n",
      "----------\n",
      "model_84_2972921657\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_65'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_84_2972921657\n",
      "----------\n",
      "model_85_1251947387\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_45'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_85_1251947387\n",
      "----------\n",
      "model_87_501762166\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_87'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_87_501762166\n",
      "----------\n",
      "model_90_945397304\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_68'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_90_945397304\n",
      "----------\n",
      "model_91_4143020235\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_87'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_91_4143020235\n",
      "----------\n",
      "model_92_444600569\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for AveragePool(11) node with name 'AveragePool_93'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_92_444600569\n",
      "----------\n",
      "model_93_1998891491\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_134'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_93_1998891491\n",
      "----------\n",
      "model_94_1228781294\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_117'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_94_1228781294\n",
      "----------\n",
      "model_95_358200107\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_31'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_95_358200107\n",
      "----------\n",
      "model_97_2629277760\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_115'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_97_2629277760\n",
      "----------\n",
      "model_98_3215432796\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_72'\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_98_3215432796\n",
      "----------\n",
      "model_10_3853803234\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Less(13) node with name 'Less_4'\n",
      "nnsmith_constrained/symbolic-cinit/torch/55/model_10_3853803234\n",
      "----------\n",
      "model_11_3203102608\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Less(13) node with name 'Less_73'\n",
      "nnsmith_constrained/symbolic-cinit/torch/55/model_11_3203102608\n",
      "----------\n",
      "model_12_4077837808\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_91'\n",
      "nnsmith_constrained/symbolic-cinit/torch/55/model_12_4077837808\n",
      "----------\n",
      "model_13_3111674664\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_50'\n",
      "nnsmith_constrained/symbolic-cinit/torch/55/model_13_3111674664\n",
      "----------\n",
      "model_14_2774432546\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_80'\n",
      "nnsmith_constrained/symbolic-cinit/torch/55/model_14_2774432546\n",
      "----------\n",
      "model_19_1918841452\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_14'\n",
      "nnsmith_constrained/symbolic-cinit/torch/55/model_19_1918841452\n",
      "----------\n",
      "model_23_1174477486\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_78'\n",
      "nnsmith_constrained/symbolic-cinit/torch/55/model_23_1174477486\n",
      "----------\n",
      "model_2_1952833525\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_84'\n",
      "nnsmith_constrained/symbolic-cinit/torch/55/model_2_1952833525\n",
      "----------\n",
      "model_3_2363817555\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_35'\n",
      "nnsmith_constrained/symbolic-cinit/torch/55/model_3_2363817555\n",
      "----------\n",
      "model_5_1139411339\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_93'\n",
      "nnsmith_constrained/symbolic-cinit/torch/55/model_5_1139411339\n",
      "----------\n",
      "model_7_1489450173\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_165'\n",
      "nnsmith_constrained/symbolic-cinit/torch/55/model_7_1489450173\n",
      "----------\n",
      "model_8_719510504\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_47'\n",
      "nnsmith_constrained/symbolic-cinit/torch/55/model_8_719510504\n",
      "----------\n",
      "model_9_1415786209\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_95'\n",
      "nnsmith_constrained/symbolic-cinit/torch/55/model_9_1415786209\n",
      "----------\n",
      "model_14_1908837063\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_57'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_14_1908837063\n",
      "----------\n",
      "model_15_75037068\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_47'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_15_75037068\n",
      "----------\n",
      "model_16_1670966498\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Greater(13) node with name 'Greater_11'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_16_1670966498\n",
      "----------\n",
      "model_18_2901732576\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_81'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_18_2901732576\n",
      "----------\n",
      "model_19_1247304694\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Min(13) node with name 'Min_2'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_19_1247304694\n",
      "----------\n",
      "model_21_2873134151\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_81'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_21_2873134151\n",
      "----------\n",
      "model_24_4276933956\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_103'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_24_4276933956\n",
      "----------\n",
      "model_25_1656569761\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Min(13) node with name 'Min_11'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_25_1656569761\n",
      "----------\n",
      "model_26_660576182\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_81'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_26_660576182\n",
      "----------\n",
      "model_27_1978432093\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(uint8)' of input parameter (aten::matmul_130) of operator (MatMul) in node (MatMul_4) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_27_1978432093\n",
      "----------\n",
      "model_28_3489758191\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Add(14) node with name 'Add_12'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_28_3489758191\n",
      "----------\n",
      "model_29_1348653092\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_0'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_29_1348653092\n",
      "----------\n",
      "model_30_93122666\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_80'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_30_93122666\n",
      "----------\n",
      "model_31_1085174261\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_0'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_31_1085174261\n",
      "----------\n",
      "model_33_212641167\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Less(13) node with name 'Less_0'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_33_212641167\n",
      "----------\n",
      "model_35_20479658\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_64'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_35_20479658\n",
      "----------\n",
      "model_40_4080000232\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_110'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_40_4080000232\n",
      "----------\n",
      "model_41_2263339398\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for AveragePool(11) node with name 'AveragePool_66'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_41_2263339398\n",
      "----------\n",
      "model_45_2850194577\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_117'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_45_2850194577\n",
      "----------\n",
      "model_48_3244141944\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_34'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_48_3244141944\n",
      "----------\n",
      "model_51_3160171941\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_89'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_51_3160171941\n",
      "----------\n",
      "model_55_3521804718\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_76'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_55_3521804718\n",
      "----------\n",
      "model_57_2520608444\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Where(16) node with name 'Where_1'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_57_2520608444\n",
      "----------\n",
      "model_58_1925957022\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_129'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_58_1925957022\n",
      "----------\n",
      "model_60_2647472113\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_88'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_60_2647472113\n",
      "----------\n",
      "model_61_1403132756\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_52'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_61_1403132756\n",
      "----------\n",
      "model_62_1112097806\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_103'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_62_1112097806\n",
      "----------\n",
      "model_63_903947792\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_4'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_63_903947792\n",
      "----------\n",
      "model_65_649241975\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_94'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_65_649241975\n",
      "----------\n",
      "model_66_1808628377\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Greater(13) node with name 'Greater_19'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_66_1808628377\n",
      "----------\n",
      "model_67_3535178792\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_52'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_67_3535178792\n",
      "----------\n",
      "model_70_492316109\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_55'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_70_492316109\n",
      "----------\n",
      "model_71_3654919594\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_0'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_71_3654919594\n",
      "----------\n",
      "model_72_3100780232\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_112'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_72_3100780232\n",
      "----------\n",
      "model_73_2951945877\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for AveragePool(11) node with name 'AveragePool_83'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_73_2951945877\n",
      "----------\n",
      "model_76_1201103335\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_111'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_76_1201103335\n",
      "----------\n",
      "model_77_800885229\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_24'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_77_800885229\n",
      "----------\n",
      "model_78_4089225583\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_111'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_78_4089225583\n",
      "----------\n",
      "model_80_4066811886\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Add(14) node with name 'Add_26'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_80_4066811886\n",
      "----------\n",
      "model_81_1889270228\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_128'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_81_1889270228\n",
      "----------\n",
      "model_82_2306046042\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_130'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_82_2306046042\n",
      "----------\n",
      "model_84_791737881\n",
      "[ONNXRuntimeError] : 1 : FAIL : Non-zero status code returned while running Resize node. Name:'Resize_56' Status Message: upsamplebase.h:362 ScalesValidation 'Linear' mode only support:\n",
      "  * 2-D inputs or\n",
      "  * 3-D inputs ('Bilinear', 'Trilinear') or\n",
      "  * 4-D inputs with the corresponding outermost 2 scale values being 1 or the corresponding outermost and innermost scale values being 1 or\n",
      "  * 5-D inputs with the corresponding outermost 2 scale values being 1in the Resize operator\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_84_791737881\n",
      "----------\n",
      "model_85_3565380189\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_108'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_85_3565380189\n",
      "----------\n",
      "model_86_2365405013\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_81'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_86_2365405013\n",
      "----------\n",
      "model_87_3412661456\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_76'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_87_3412661456\n",
      "----------\n",
      "model_88_4075713823\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_92'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_88_4075713823\n",
      "----------\n",
      "model_8_410745316\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_117'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_8_410745316\n",
      "----------\n",
      "model_91_408508856\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_72'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_91_408508856\n",
      "----------\n",
      "model_93_3338908155\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for AveragePool(11) node with name 'AveragePool_131'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_93_3338908155\n",
      "----------\n",
      "model_94_279004541\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_39'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_94_279004541\n",
      "----------\n",
      "model_96_2718434666\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_86'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_96_2718434666\n",
      "----------\n",
      "model_97_2310371435\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_104'\n",
      "nnsmith_constrained/symbolic-cinit/torch/60/model_97_2310371435\n",
      "----------\n",
      "model_13_3976712530\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_65'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_13_3976712530\n",
      "----------\n",
      "model_16_3449222433\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_95'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_16_3449222433\n",
      "----------\n",
      "model_17_2997383804\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_91'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_17_2997383804\n",
      "----------\n",
      "model_18_492509135\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_158'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_18_492509135\n",
      "----------\n",
      "model_19_2507480433\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_94'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_19_2507480433\n",
      "----------\n",
      "model_20_1023322556\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_66'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_20_1023322556\n",
      "----------\n",
      "model_21_3726867564\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_133'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_21_3726867564\n",
      "----------\n",
      "model_25_2639347287\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_111'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_25_2639347287\n",
      "----------\n",
      "model_26_831691877\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_87'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_26_831691877\n",
      "----------\n",
      "model_31_4073637835\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_45'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_31_4073637835\n",
      "----------\n",
      "model_32_1019545987\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_98'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_32_1019545987\n",
      "----------\n",
      "model_33_1351255402\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for AveragePool(11) node with name 'AveragePool_121'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_33_1351255402\n",
      "----------\n",
      "model_34_1692347071\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_165'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_34_1692347071\n",
      "----------\n",
      "model_35_1894467479\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_114'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_35_1894467479\n",
      "----------\n",
      "model_37_3898264079\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int16)' of input parameter (aten::min_2) of operator (ReduceMin) in node (ReduceMin_10) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_37_3898264079\n",
      "----------\n",
      "model_38_1042889886\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_47'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_38_1042889886\n",
      "----------\n",
      "model_39_1178893427\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_113'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_39_1178893427\n",
      "----------\n",
      "model_3_3545605597\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Less(13) node with name 'Less_7'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_3_3545605597\n",
      "----------\n",
      "model_43_3658138749\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_82'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_43_3658138749\n",
      "----------\n",
      "model_46_2058276654\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_48'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_46_2058276654\n",
      "----------\n",
      "model_48_3943180083\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_36'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_48_3943180083\n",
      "----------\n",
      "model_49_2342082033\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_129'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_49_2342082033\n",
      "----------\n",
      "model_52_3364499687\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int16)' of input parameter (aten::max_187) of operator (ReduceMax) in node (ReduceMax_22) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_52_3364499687\n",
      "----------\n",
      "model_56_2411813036\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_109'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_56_2411813036\n",
      "----------\n",
      "model_58_3357521333\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_170'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_58_3357521333\n",
      "----------\n",
      "model_59_3371313097\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_109'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_59_3371313097\n",
      "----------\n",
      "model_5_1878632806\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_94'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_5_1878632806\n",
      "----------\n",
      "model_61_653262446\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_60'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_61_653262446\n",
      "----------\n",
      "model_64_2994619409\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Mul(14) node with name 'Mul_34'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_64_2994619409\n",
      "----------\n",
      "model_66_3115109596\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Greater(13) node with name 'Greater_18'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_66_3115109596\n",
      "----------\n",
      "model_68_1276845512\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_159'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_68_1276845512\n",
      "----------\n",
      "model_69_3438607131\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_2'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_69_3438607131\n",
      "----------\n",
      "model_6_1314715174\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_118'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_6_1314715174\n",
      "----------\n",
      "model_70_1923494375\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_110'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_70_1923494375\n",
      "----------\n",
      "model_72_3966351885\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_9'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_72_3966351885\n",
      "----------\n",
      "model_74_3217409672\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Less(13) node with name 'Less_13'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_74_3217409672\n",
      "----------\n",
      "model_76_3184943429\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_78'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_76_3184943429\n",
      "----------\n",
      "model_7_3960329897\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_159'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_7_3960329897\n",
      "----------\n",
      "model_82_1060462208\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_102'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_82_1060462208\n",
      "----------\n",
      "model_83_3364149236\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_195'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_83_3364149236\n",
      "----------\n",
      "model_85_1057712937\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_61'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_85_1057712937\n",
      "----------\n",
      "model_88_3064595577\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_90'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_88_3064595577\n",
      "----------\n",
      "model_94_1208939498\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_81'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_94_1208939498\n",
      "----------\n",
      "model_95_2445168168\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_18'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_95_2445168168\n",
      "----------\n",
      "model_9_311137348\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_159'\n",
      "nnsmith_constrained/symbolic-cinit/torch/65/model_9_311137348\n",
      "----------\n",
      "model_0_102927077\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_95'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_0_102927077\n",
      "----------\n",
      "model_10_2337703141\n",
      "[ONNXRuntimeError] : 6 : RUNTIME_EXCEPTION : Non-zero status code returned while running Concat node. Name:'Concat_15' Status Message: /Users/runner/work/1/s/onnxruntime/core/providers/cpu/tensor/concat.cc:141 onnxruntime::common::Status onnxruntime::ConcatBase::PrepareForCompute(onnxruntime::OpKernelContext *, const onnxruntime::ConcatBase::InlinedTensorsVector &, onnxruntime::Prepare &) const input_rank == reference_rank was false. Ranks of input data are different, cannot concatenate them. expected rank: 1 got: 0\n",
      "\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_10_2337703141\n",
      "----------\n",
      "model_15_3984561982\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_167'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_15_3984561982\n",
      "----------\n",
      "model_18_3340340507\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_178'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_18_3340340507\n",
      "----------\n",
      "model_1_2781206612\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_87'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_1_2781206612\n",
      "----------\n",
      "model_23_1064875342\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for AveragePool(11) node with name 'AveragePool_86'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_23_1064875342\n",
      "----------\n",
      "model_24_3938258895\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_44'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_24_3938258895\n",
      "----------\n",
      "model_25_4263444940\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_120'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_25_4263444940\n",
      "----------\n",
      "model_27_3460104051\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_125'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_27_3460104051\n",
      "----------\n",
      "model_31_795288402\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_102'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_31_795288402\n",
      "----------\n",
      "model_32_1081527473\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_144'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_32_1081527473\n",
      "----------\n",
      "model_33_4237926780\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Greater(13) node with name 'Greater_0'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_33_4237926780\n",
      "----------\n",
      "model_34_2667853274\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Greater(13) node with name 'Greater_73'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_34_2667853274\n",
      "----------\n",
      "model_35_4095583586\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_78'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_35_4095583586\n",
      "----------\n",
      "model_36_522110393\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_76'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_36_522110393\n",
      "----------\n",
      "model_37_2823644193\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_144'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_37_2823644193\n",
      "----------\n",
      "model_39_891947045\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_91'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_39_891947045\n",
      "----------\n",
      "model_3_1616131460\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_50'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_3_1616131460\n",
      "----------\n",
      "model_41_3008944692\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_43'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_41_3008944692\n",
      "----------\n",
      "model_42_2235386153\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_89'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_42_2235386153\n",
      "----------\n",
      "model_43_1237820681\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_102'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_43_1237820681\n",
      "----------\n",
      "model_44_722678367\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_10'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_44_722678367\n",
      "----------\n",
      "model_45_3308128982\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_120'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_45_3308128982\n",
      "----------\n",
      "model_48_1464025910\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_101'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_48_1464025910\n",
      "----------\n",
      "model_49_487003191\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Greater(13) node with name 'Greater_5'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_49_487003191\n",
      "----------\n",
      "model_51_2205148093\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_76'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_51_2205148093\n",
      "----------\n",
      "model_52_4175702308\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_8'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_52_4175702308\n",
      "----------\n",
      "model_53_1910799759\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_190'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_53_1910799759\n",
      "----------\n",
      "model_55_4150285716\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_79'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_55_4150285716\n",
      "----------\n",
      "model_56_2490797178\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_105'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_56_2490797178\n",
      "----------\n",
      "model_58_2566329557\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_96'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_58_2566329557\n",
      "----------\n",
      "model_59_3490120462\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_139'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_59_3490120462\n",
      "----------\n",
      "model_60_644246415\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_96'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_60_644246415\n",
      "----------\n",
      "model_63_4275889425\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_93'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_63_4275889425\n",
      "----------\n",
      "model_64_965427428\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_164'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_64_965427428\n",
      "----------\n",
      "model_65_1496975755\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_57'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_65_1496975755\n",
      "----------\n",
      "model_69_3165426130\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_171'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_69_3165426130\n",
      "----------\n",
      "model_72_3374551188\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_159'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_72_3374551188\n",
      "----------\n",
      "model_73_1123786802\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_137'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_73_1123786802\n",
      "----------\n",
      "model_74_1203437058\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_175'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_74_1203437058\n",
      "----------\n",
      "model_78_972753783\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_151'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_78_972753783\n",
      "----------\n",
      "model_7_3817838929\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int16)' of input parameter (v68_0) of operator (MatMul) in node (MatMul_32) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_7_3817838929\n",
      "----------\n",
      "model_80_756701539\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_88'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_80_756701539\n",
      "----------\n",
      "model_81_2226711929\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_79'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_81_2226711929\n",
      "----------\n",
      "model_82_2981467936\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_58'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_82_2981467936\n",
      "----------\n",
      "model_84_2454044766\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_90'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_84_2454044766\n",
      "----------\n",
      "model_85_3589110283\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_142'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_85_3589110283\n",
      "----------\n",
      "model_86_3538857489\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int16)' of input parameter (aten::min_4) of operator (ReduceMin) in node (ReduceMin_10) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_86_3538857489\n",
      "----------\n",
      "model_87_3502934457\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Sub(14) node with name 'Sub_1'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_87_3502934457\n",
      "----------\n",
      "model_88_3124227529\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_225'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_88_3124227529\n",
      "----------\n",
      "model_89_1226241882\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(uint8)' of input parameter (aten::neg_223) of operator (Neg) in node (Neg_7) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_89_1226241882\n",
      "----------\n",
      "model_8_692872073\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_173'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_8_692872073\n",
      "----------\n",
      "model_92_208275378\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_37'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_92_208275378\n",
      "----------\n",
      "model_94_1736130929\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_66'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_94_1736130929\n",
      "----------\n",
      "model_96_1469385337\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_46'\n",
      "nnsmith_constrained/symbolic-cinit/torch/70/model_96_1469385337\n",
      "----------\n",
      "model_0_3869058197\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_143'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_0_3869058197\n",
      "----------\n",
      "model_11_2955330928\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(uint8)' of input parameter (v39_0) of operator (MatMul) in node (MatMul_0) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_11_2955330928\n",
      "----------\n",
      "model_13_4271517857\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_172'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_13_4271517857\n",
      "----------\n",
      "model_14_3055908747\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_34'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_14_3055908747\n",
      "----------\n",
      "model_16_1171544113\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_152'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_16_1171544113\n",
      "----------\n",
      "model_17_1792458577\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_83'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_17_1792458577\n",
      "----------\n",
      "model_19_2727037544\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(uint8)' of input parameter (aten::neg_224) of operator (Neg) in node (Neg_65) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_19_2727037544\n",
      "----------\n",
      "model_1_141543152\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Less(13) node with name 'Less_25'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_1_141543152\n",
      "----------\n",
      "model_20_531929955\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_35'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_20_531929955\n",
      "----------\n",
      "model_25_1098593564\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Min(13) node with name 'Min_25'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_25_1098593564\n",
      "----------\n",
      "model_28_475141924\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_164'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_28_475141924\n",
      "----------\n",
      "model_29_417285436\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_168'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_29_417285436\n",
      "----------\n",
      "model_31_411371097\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_104'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_31_411371097\n",
      "----------\n",
      "model_36_2490378532\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(uint8)' of input parameter (aten::matmul_2) of operator (MatMul) in node (MatMul_18) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_36_2490378532\n",
      "----------\n",
      "model_38_3224672398\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_146'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_38_3224672398\n",
      "----------\n",
      "model_39_2262530274\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_93'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_39_2262530274\n",
      "----------\n",
      "model_43_455428008\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(uint8)' of input parameter (aten::argmin_161) of operator (MatMul) in node (MatMul_67) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_43_455428008\n",
      "----------\n",
      "model_44_1110068782\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_85'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_44_1110068782\n",
      "----------\n",
      "model_45_494454959\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Less(13) node with name 'Less_2'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_45_494454959\n",
      "----------\n",
      "model_48_3198762660\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_81'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_48_3198762660\n",
      "----------\n",
      "model_49_4029353290\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Greater(13) node with name 'Greater_0'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_49_4029353290\n",
      "----------\n",
      "model_4_2581956828\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_132'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_4_2581956828\n",
      "----------\n",
      "model_51_842553629\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_16'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_51_842553629\n",
      "----------\n",
      "model_52_1556060307\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_98'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_52_1556060307\n",
      "----------\n",
      "model_54_4001511844\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_80'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_54_4001511844\n",
      "----------\n",
      "model_55_2653020136\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Min(13) node with name 'Min_15'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_55_2653020136\n",
      "----------\n",
      "model_57_2627997597\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_148'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_57_2627997597\n",
      "----------\n",
      "model_5_1725338379\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Less(13) node with name 'Less_21'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_5_1725338379\n",
      "----------\n",
      "model_62_3899319181\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for AveragePool(11) node with name 'AveragePool_167'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_62_3899319181\n",
      "----------\n",
      "model_65_1988645529\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_50'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_65_1988645529\n",
      "----------\n",
      "model_66_3956608593\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Max(13) node with name 'Max_45'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_66_3956608593\n",
      "----------\n",
      "model_69_1016552195\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_203'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_69_1016552195\n",
      "----------\n",
      "model_72_2678571768\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_48'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_72_2678571768\n",
      "----------\n",
      "model_73_2975073368\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_135'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_73_2975073368\n",
      "----------\n",
      "model_74_3265240007\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_162'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_74_3265240007\n",
      "----------\n",
      "model_76_1387410418\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Max(13) node with name 'Max_1'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_76_1387410418\n",
      "----------\n",
      "model_77_2339483646\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_90'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_77_2339483646\n",
      "----------\n",
      "model_79_4099267044\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_89'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_79_4099267044\n",
      "----------\n",
      "model_81_416108421\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_111'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_81_416108421\n",
      "----------\n",
      "model_84_1987721836\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_84'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_84_1987721836\n",
      "----------\n",
      "model_89_240789682\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_121'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_89_240789682\n",
      "----------\n",
      "model_91_3996294079\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_51'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_91_3996294079\n",
      "----------\n",
      "model_92_3337107540\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_46'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_92_3337107540\n",
      "----------\n",
      "model_94_1583546857\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_140'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_94_1583546857\n",
      "----------\n",
      "model_95_3800468120\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_165'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_95_3800468120\n",
      "----------\n",
      "model_96_1741743050\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_159'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_96_1741743050\n",
      "----------\n",
      "model_99_1571805247\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_15'\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_99_1571805247\n",
      "----------\n",
      "model_11_649360840\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_110'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_11_649360840\n",
      "----------\n",
      "model_12_620311292\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_255'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_12_620311292\n",
      "----------\n",
      "model_14_2645952202\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_116'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_14_2645952202\n",
      "----------\n",
      "model_15_2711906256\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_181'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_15_2711906256\n",
      "----------\n",
      "model_17_827712476\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_94'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_17_827712476\n",
      "----------\n",
      "model_19_2096130200\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_153'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_19_2096130200\n",
      "----------\n",
      "model_1_3357776318\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Min(13) node with name 'Min_4'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_1_3357776318\n",
      "----------\n",
      "model_21_3276128467\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_62'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_21_3276128467\n",
      "----------\n",
      "model_22_2971551700\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_165'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_22_2971551700\n",
      "----------\n",
      "model_23_780638630\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_183'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_23_780638630\n",
      "----------\n",
      "model_24_2772802305\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_155'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_24_2772802305\n",
      "----------\n",
      "model_25_3258905533\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_176'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_25_3258905533\n",
      "----------\n",
      "model_26_843212471\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_22'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_26_843212471\n",
      "----------\n",
      "model_27_1053393050\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_164'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_27_1053393050\n",
      "----------\n",
      "model_2_808970043\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int16)' of input parameter (aten::transpose_221) of operator (MatMul) in node (MatMul_109) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_2_808970043\n",
      "----------\n",
      "model_30_1077895912\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_85'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_30_1077895912\n",
      "----------\n",
      "model_32_3545921874\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_177'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_32_3545921874\n",
      "----------\n",
      "model_33_2082609177\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_145'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_33_2082609177\n",
      "----------\n",
      "model_34_260501724\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_148'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_34_260501724\n",
      "----------\n",
      "model_37_1129504282\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int8)' of input parameter (v64_0) of operator (MatMul) in node (MatMul_30) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_37_1129504282\n",
      "----------\n",
      "model_38_3417025634\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_128'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_38_3417025634\n",
      "----------\n",
      "model_39_4165307074\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_150'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_39_4165307074\n",
      "----------\n",
      "model_40_3971982598\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_134'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_40_3971982598\n",
      "----------\n",
      "model_45_571968394\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_0'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_45_571968394\n",
      "----------\n",
      "model_47_49714534\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_157'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_47_49714534\n",
      "----------\n",
      "model_49_1451852087\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_148'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_49_1451852087\n",
      "----------\n",
      "model_4_670672718\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_157'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_4_670672718\n",
      "----------\n",
      "model_50_1903516837\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_11'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_50_1903516837\n",
      "----------\n",
      "model_51_470399260\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_87'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_51_470399260\n",
      "----------\n",
      "model_52_526089302\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_128'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_52_526089302\n",
      "----------\n",
      "model_53_645648735\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Add(14) node with name 'Add_32'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_53_645648735\n",
      "----------\n",
      "model_54_4261904523\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_130'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_54_4261904523\n",
      "----------\n",
      "model_59_1577885265\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(uint8)' of input parameter (aten::squeeze_196) of operator (MatMul) in node (MatMul_59) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_59_1577885265\n",
      "----------\n",
      "model_5_4362626\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_127'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_5_4362626\n",
      "----------\n",
      "model_60_1740715991\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_83'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_60_1740715991\n",
      "----------\n",
      "model_62_1634300710\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_213'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_62_1634300710\n",
      "----------\n",
      "model_63_1799195014\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_111'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_63_1799195014\n",
      "----------\n",
      "model_64_2968621743\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_41'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_64_2968621743\n",
      "----------\n",
      "model_67_2916223824\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_144'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_67_2916223824\n",
      "----------\n",
      "model_68_2210273951\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_88'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_68_2210273951\n",
      "----------\n",
      "model_69_1286466395\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_89'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_69_1286466395\n",
      "----------\n",
      "model_73_3241272610\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_140'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_73_3241272610\n",
      "----------\n",
      "model_74_3311555192\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_172'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_74_3311555192\n",
      "----------\n",
      "model_75_2354650438\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_205'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_75_2354650438\n",
      "----------\n",
      "model_76_3603164104\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_154'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_76_3603164104\n",
      "----------\n",
      "model_77_4119321923\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_184'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_77_4119321923\n",
      "----------\n",
      "model_78_1209684163\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_75'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_78_1209684163\n",
      "----------\n",
      "model_79_1032547040\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_153'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_79_1032547040\n",
      "----------\n",
      "model_7_3287845266\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_216'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_7_3287845266\n",
      "----------\n",
      "model_80_2533130099\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_159'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_80_2533130099\n",
      "----------\n",
      "model_84_2956148823\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_110'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_84_2956148823\n",
      "----------\n",
      "model_89_1244722696\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_31'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_89_1244722696\n",
      "----------\n",
      "model_8_224078212\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_106'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_8_224078212\n",
      "----------\n",
      "model_93_1880065363\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_147'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_93_1880065363\n",
      "----------\n",
      "model_98_3335172532\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_122'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_98_3335172532\n",
      "----------\n",
      "model_99_2673711618\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_121'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_99_2673711618\n",
      "----------\n",
      "model_9_2120920000\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_72'\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_9_2120920000\n",
      "----------\n",
      "model_0_2075463518\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_190'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_0_2075463518\n",
      "----------\n",
      "model_10_3013218498\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_132'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_10_3013218498\n",
      "----------\n",
      "model_11_2234202175\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_110'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_11_2234202175\n",
      "----------\n",
      "model_12_1349082456\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_98'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_12_1349082456\n",
      "----------\n",
      "model_13_703596620\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_171'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_13_703596620\n",
      "----------\n",
      "model_14_860821167\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_105'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_14_860821167\n",
      "----------\n",
      "model_15_4010601472\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int16)' of input parameter (aten::min_3) of operator (ReduceMin) in node (ReduceMin_13) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_15_4010601472\n",
      "----------\n",
      "model_16_1126392204\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_147'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_16_1126392204\n",
      "----------\n",
      "model_17_3506887522\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_181'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_17_3506887522\n",
      "----------\n",
      "model_18_789776110\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_144'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_18_789776110\n",
      "----------\n",
      "model_19_1507541129\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int16)' of input parameter (274) of operator (ReduceMax) in node (ReduceMax_20) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_19_1507541129\n",
      "----------\n",
      "model_1_4051103231\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_126'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_1_4051103231\n",
      "----------\n",
      "model_20_1152689191\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Max(13) node with name 'Max_5'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_20_1152689191\n",
      "----------\n",
      "model_22_728922086\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_139'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_22_728922086\n",
      "----------\n",
      "model_23_1837249144\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_140'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_23_1837249144\n",
      "----------\n",
      "model_24_2459195373\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Less(13) node with name 'Less_8'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_24_2459195373\n",
      "----------\n",
      "model_25_46126814\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_151'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_25_46126814\n",
      "----------\n",
      "model_27_2571734893\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Mul(14) node with name 'Mul_9'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_27_2571734893\n",
      "----------\n",
      "model_2_1003854971\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Min(13) node with name 'Min_30'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_2_1003854971\n",
      "----------\n",
      "model_30_3571044518\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int8)' of input parameter (v96_0) of operator (MatMul) in node (MatMul_4) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_30_3571044518\n",
      "----------\n",
      "model_31_3984831149\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_160'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_31_3984831149\n",
      "----------\n",
      "model_32_82913569\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_134'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_32_82913569\n",
      "----------\n",
      "model_34_4016950126\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_183'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_34_4016950126\n",
      "----------\n",
      "model_35_430792786\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_231'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_35_430792786\n",
      "----------\n",
      "model_36_2023013653\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_84'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_36_2023013653\n",
      "----------\n",
      "model_38_3830712208\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_193'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_38_3830712208\n",
      "----------\n",
      "model_39_3295824680\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_96'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_39_3295824680\n",
      "----------\n",
      "model_3_1530345318\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int8)' of input parameter (v73_0) of operator (MatMul) in node (MatMul_41) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_3_1530345318\n",
      "----------\n",
      "model_40_715764054\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_122'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_40_715764054\n",
      "----------\n",
      "model_41_3417471662\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_109'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_41_3417471662\n",
      "----------\n",
      "model_44_2134175664\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_115'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_44_2134175664\n",
      "----------\n",
      "model_45_2072584686\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_68'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_45_2072584686\n",
      "----------\n",
      "model_47_1671455303\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_83'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_47_1671455303\n",
      "----------\n",
      "model_49_3187490247\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_182'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_49_3187490247\n",
      "----------\n",
      "model_4_1296133171\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_92'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_4_1296133171\n",
      "----------\n",
      "model_50_1409746576\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_208'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_50_1409746576\n",
      "----------\n",
      "model_51_1068942449\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_33'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_51_1068942449\n",
      "----------\n",
      "model_52_3653431853\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int16)' of input parameter (v68_0) of operator (ReduceMin) in node (ReduceMin_47) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_52_3653431853\n",
      "----------\n",
      "model_54_853893566\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_150'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_54_853893566\n",
      "----------\n",
      "model_55_2191050862\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int16)' of input parameter (aten::slice_262) of operator (MatMul) in node (MatMul_107) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_55_2191050862\n",
      "----------\n",
      "model_56_3405539761\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Greater(13) node with name 'Greater_4'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_56_3405539761\n",
      "----------\n",
      "model_58_3404424940\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_183'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_58_3404424940\n",
      "----------\n",
      "model_59_2930744441\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_149'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_59_2930744441\n",
      "----------\n",
      "model_60_2326220088\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_119'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_60_2326220088\n",
      "----------\n",
      "model_62_1184697456\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_23'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_62_1184697456\n",
      "----------\n",
      "model_63_1734667554\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_109'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_63_1734667554\n",
      "----------\n",
      "model_64_1284143989\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_157'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_64_1284143989\n",
      "----------\n",
      "model_65_2729469231\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_96'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_65_2729469231\n",
      "----------\n",
      "model_69_1915467973\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Greater(13) node with name 'Greater_5'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_69_1915467973\n",
      "----------\n",
      "model_6_3103167627\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_114'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_6_3103167627\n",
      "----------\n",
      "model_71_556446304\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Less(13) node with name 'Less_7'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_71_556446304\n",
      "----------\n",
      "model_73_2179683326\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_155'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_73_2179683326\n",
      "----------\n",
      "model_74_3759849753\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_99'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_74_3759849753\n",
      "----------\n",
      "model_75_2474206590\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_223'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_75_2474206590\n",
      "----------\n",
      "model_76_1593369829\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_107'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_76_1593369829\n",
      "----------\n",
      "model_77_336837327\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_186'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_77_336837327\n",
      "----------\n",
      "model_78_1611490040\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Sub(14) node with name 'Sub_2'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_78_1611490040\n",
      "----------\n",
      "model_79_2743750083\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_168'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_79_2743750083\n",
      "----------\n",
      "model_7_35510083\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Less(13) node with name 'Less_3'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_7_35510083\n",
      "----------\n",
      "model_80_1428441357\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_55'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_80_1428441357\n",
      "----------\n",
      "model_82_1259244935\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Greater(13) node with name 'Greater_20'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_82_1259244935\n",
      "----------\n",
      "model_83_3629666204\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_231'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_83_3629666204\n",
      "----------\n",
      "model_87_3535330772\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_21'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_87_3535330772\n",
      "----------\n",
      "model_88_505917907\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_75'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_88_505917907\n",
      "----------\n",
      "model_89_1086338722\n",
      "[ONNXRuntimeError] : 1 : FAIL : Type Error: Type parameter (T) of Optype (Where) bound to different types (tensor(double) and tensor(float) in node (Where_9).\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_89_1086338722\n",
      "----------\n",
      "model_90_1232812458\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for AveragePool(11) node with name 'AveragePool_168'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_90_1232812458\n",
      "----------\n",
      "model_92_463757424\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int16)' of input parameter (aten::matmul_164) of operator (MatMul) in node (MatMul_35) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_92_463757424\n",
      "----------\n",
      "model_93_1136692605\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_148'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_93_1136692605\n",
      "----------\n",
      "model_94_2317142988\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_218'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_94_2317142988\n",
      "----------\n",
      "model_95_1749618625\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Greater(13) node with name 'Greater_79'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_95_1749618625\n",
      "----------\n",
      "model_96_3574433155\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int8)' of input parameter (aten::clamp_222) of operator (MatMul) in node (MatMul_78) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_96_3574433155\n",
      "----------\n",
      "model_97_300825777\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_135'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_97_300825777\n",
      "----------\n",
      "model_98_471991057\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_70'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_98_471991057\n",
      "----------\n",
      "model_99_2057058981\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_159'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_99_2057058981\n",
      "----------\n",
      "model_9_2704503402\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_241'\n",
      "nnsmith_constrained/symbolic-cinit/torch/85/model_9_2704503402\n",
      "----------\n",
      "model_0_753707596\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(uint8)' of input parameter (aten::matmul_309) of operator (Neg) in node (Neg_52) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_0_753707596\n",
      "----------\n",
      "model_10_2884122997\n",
      "[ONNXRuntimeError] : 1 : FAIL : Node (MatMul_37_FusedMatMulAndScale) Op (FusedMatMul) [ShapeInferenceError] Incompatible dimensions for matrix multiplication\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_10_2884122997\n",
      "----------\n",
      "model_11_3693686467\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_183'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_11_3693686467\n",
      "----------\n",
      "model_13_2753125221\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Greater(13) node with name 'Greater_1'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_13_2753125221\n",
      "----------\n",
      "model_14_812289446\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_100'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_14_812289446\n",
      "----------\n",
      "model_16_3601663055\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_148'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_16_3601663055\n",
      "----------\n",
      "model_18_3470907750\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(uint8)' of input parameter (aten::neg_7) of operator (Neg) in node (Neg_63) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_18_3470907750\n",
      "----------\n",
      "model_21_1238963446\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Mul(14) node with name 'Mul_9'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_21_1238963446\n",
      "----------\n",
      "model_22_4001562941\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_6'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_22_4001562941\n",
      "----------\n",
      "model_23_384800518\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_246'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_23_384800518\n",
      "----------\n",
      "model_25_602527959\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_134'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_25_602527959\n",
      "----------\n",
      "model_26_2847789720\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(uint8)' of input parameter (aten::matmul_0) of operator (MatMul) in node (MatMul_0) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_26_2847789720\n",
      "----------\n",
      "model_27_1012615138\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_191'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_27_1012615138\n",
      "----------\n",
      "model_28_2334596315\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_156'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_28_2334596315\n",
      "----------\n",
      "model_29_3476682660\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_266'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_29_3476682660\n",
      "----------\n",
      "model_30_2673416407\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_94'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_30_2673416407\n",
      "----------\n",
      "model_31_1963250516\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_194'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_31_1963250516\n",
      "----------\n",
      "model_32_4268764593\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_26'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_32_4268764593\n",
      "----------\n",
      "model_33_373210653\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_145'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_33_373210653\n",
      "----------\n",
      "model_35_408633914\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_234'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_35_408633914\n",
      "----------\n",
      "model_36_2713802690\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_199'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_36_2713802690\n",
      "----------\n",
      "model_38_2208650331\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_209'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_38_2208650331\n",
      "----------\n",
      "model_39_2244698394\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int16)' of input parameter (aten::matmul_1) of operator (MatMul) in node (MatMul_0) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_39_2244698394\n",
      "----------\n",
      "model_3_3540185854\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_142'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_3_3540185854\n",
      "----------\n",
      "model_41_2494945256\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_119'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_41_2494945256\n",
      "----------\n",
      "model_43_1785822022\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_134'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_43_1785822022\n",
      "----------\n",
      "model_44_2953704578\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_81'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_44_2953704578\n",
      "----------\n",
      "model_45_1408463121\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_186'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_45_1408463121\n",
      "----------\n",
      "model_46_1338698612\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_113'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_46_1338698612\n",
      "----------\n",
      "model_47_687699078\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_182'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_47_687699078\n",
      "----------\n",
      "model_48_1270270497\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_147'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_48_1270270497\n",
      "----------\n",
      "model_49_2786295202\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_181'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_49_2786295202\n",
      "----------\n",
      "model_4_2447335799\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_128'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_4_2447335799\n",
      "----------\n",
      "model_50_2587367809\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_95'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_50_2587367809\n",
      "----------\n",
      "model_51_1186136457\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Sub(14) node with name 'Sub_63'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_51_1186136457\n",
      "----------\n",
      "model_52_373479186\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_28'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_52_373479186\n",
      "----------\n",
      "model_54_4287821049\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_98'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_54_4287821049\n",
      "----------\n",
      "model_55_2801567962\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_149'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_55_2801567962\n",
      "----------\n",
      "model_56_3834241576\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_107'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_56_3834241576\n",
      "----------\n",
      "model_57_1027962493\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(uint8)' of input parameter (aten::matmul_422) of operator (MatMul) in node (MatMul_71) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_57_1027962493\n",
      "----------\n",
      "model_58_307735444\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_91'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_58_307735444\n",
      "----------\n",
      "model_59_1320798605\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_211'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_59_1320798605\n",
      "----------\n",
      "model_5_1854685022\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_153'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_5_1854685022\n",
      "----------\n",
      "model_60_2309535807\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_130'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_60_2309535807\n",
      "----------\n",
      "model_61_2118161479\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_241'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_61_2118161479\n",
      "----------\n",
      "model_62_3553428753\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_194'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_62_3553428753\n",
      "----------\n",
      "model_63_96999793\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int16)' of input parameter (336) of operator (ReduceMin) in node (ReduceMin_140) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_63_96999793\n",
      "----------\n",
      "model_64_250728924\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_117'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_64_250728924\n",
      "----------\n",
      "model_69_47086156\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for AveragePool(11) node with name 'AveragePool_88'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_69_47086156\n",
      "----------\n",
      "model_6_2771891664\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_160'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_6_2771891664\n",
      "----------\n",
      "model_70_3328332671\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_102'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_70_3328332671\n",
      "----------\n",
      "model_72_1763762461\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_218'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_72_1763762461\n",
      "----------\n",
      "model_74_3074300358\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_85'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_74_3074300358\n",
      "----------\n",
      "model_76_1166431201\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_37'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_76_1166431201\n",
      "----------\n",
      "model_77_3732378588\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_145'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_77_3732378588\n",
      "----------\n",
      "model_78_467318418\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_169'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_78_467318418\n",
      "----------\n",
      "model_79_198582851\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_93'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_79_198582851\n",
      "----------\n",
      "model_7_3634137761\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_149'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_7_3634137761\n",
      "----------\n",
      "model_80_493330733\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_193'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_80_493330733\n",
      "----------\n",
      "model_81_4287267281\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Failed to find kernel for FusedMatMul(1) (node MatMul_With_Transpose). Op with name (MatMul_With_Transpose) domain (com.microsoft) and type (FusedMatMul) kernel is not supported in CPUExecutionProvider. Encountered following errors: (Kernel found kernel in the supported version range (node_version: 1). However the types are incompatible. This op has been implemented only for the following types (tensor(float),), but the node in the model has the following type (tensor(double))\n",
      ")\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_81_4287267281\n",
      "----------\n",
      "model_86_2885270308\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Less(13) node with name 'Less_0'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_86_2885270308\n",
      "----------\n",
      "model_87_1174388839\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_12'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_87_1174388839\n",
      "----------\n",
      "model_88_1400397276\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_147'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_88_1400397276\n",
      "----------\n",
      "model_8_42751854\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_162'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_8_42751854\n",
      "----------\n",
      "model_90_1679600552\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_88'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_90_1679600552\n",
      "----------\n",
      "model_93_3538205148\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_207'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_93_3538205148\n",
      "----------\n",
      "model_95_219829098\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_162'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_95_219829098\n",
      "----------\n",
      "model_96_216991792\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int8)' of input parameter (aten::matmul_4) of operator (MatMul) in node (MatMul_7) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_96_216991792\n",
      "----------\n",
      "model_97_2081869961\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(uint8)' of input parameter (aten::matmul_236) of operator (MatMul) in node (MatMul_50) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_97_2081869961\n",
      "----------\n",
      "model_98_3679286937\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(uint8)' of input parameter (aten::matmul_0) of operator (MatMul) in node (MatMul_0) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_98_3679286937\n",
      "----------\n",
      "model_99_2729907005\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_259'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_99_2729907005\n",
      "----------\n",
      "model_9_1071985917\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_118'\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_9_1071985917\n",
      "----------\n",
      "model_0_1253128987\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_256'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_0_1253128987\n",
      "----------\n",
      "model_10_3093676806\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_155'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_10_3093676806\n",
      "----------\n",
      "model_11_1149873458\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_217'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_11_1149873458\n",
      "----------\n",
      "model_12_2453072265\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_142'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_12_2453072265\n",
      "----------\n",
      "model_13_3494153134\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_156'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_13_3494153134\n",
      "----------\n",
      "model_14_2203280460\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_164'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_14_2203280460\n",
      "----------\n",
      "model_15_1259548761\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_62'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_15_1259548761\n",
      "----------\n",
      "model_16_840066160\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_141'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_16_840066160\n",
      "----------\n",
      "model_17_3898804876\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_260'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_17_3898804876\n",
      "----------\n",
      "model_19_3875636849\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_239'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_19_3875636849\n",
      "----------\n",
      "model_1_3072380447\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_239'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_1_3072380447\n",
      "----------\n",
      "model_20_2644237009\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Add(14) node with name 'Add_7'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_20_2644237009\n",
      "----------\n",
      "model_21_583956469\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Max(13) node with name 'Max_0'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_21_583956469\n",
      "----------\n",
      "model_23_3540807626\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_321'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_23_3540807626\n",
      "----------\n",
      "model_26_371402315\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_171'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_26_371402315\n",
      "----------\n",
      "model_28_1508540509\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_133'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_28_1508540509\n",
      "----------\n",
      "model_29_3449223834\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_110'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_29_3449223834\n",
      "----------\n",
      "model_2_4047267436\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Sub(14) node with name 'Sub_8'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_2_4047267436\n",
      "----------\n",
      "model_31_1350313679\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_196'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_31_1350313679\n",
      "----------\n",
      "model_32_515233457\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Less(13) node with name 'Less_79'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_32_515233457\n",
      "----------\n",
      "model_33_1290179608\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_22'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_33_1290179608\n",
      "----------\n",
      "model_34_1313242781\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int8)' of input parameter (260) of operator (MatMul) in node (MatMul_56) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_34_1313242781\n",
      "----------\n",
      "model_35_1551270023\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_3'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_35_1551270023\n",
      "----------\n",
      "model_36_1637097179\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_291'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_36_1637097179\n",
      "----------\n",
      "model_37_3689719253\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_196'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_37_3689719253\n",
      "----------\n",
      "model_38_2281377140\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Greater(13) node with name 'Greater_22'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_38_2281377140\n",
      "----------\n",
      "model_39_1169015228\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_231'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_39_1169015228\n",
      "----------\n",
      "model_3_2229370044\n",
      "[ONNXRuntimeError] : 1 : FAIL : Type Error: Type parameter (T) of Optype (Where) bound to different types (tensor(double) and tensor(float) in node (Where_162).\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_3_2229370044\n",
      "----------\n",
      "model_40_2522661504\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Less(13) node with name 'Less_40'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_40_2522661504\n",
      "----------\n",
      "model_41_1059261986\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_20'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_41_1059261986\n",
      "----------\n",
      "model_42_3068188314\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Trilu(14) node with name 'Trilu_32'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_42_3068188314\n",
      "----------\n",
      "model_43_2925648885\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_143'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_43_2925648885\n",
      "----------\n",
      "model_44_2180509054\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_202'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_44_2180509054\n",
      "----------\n",
      "model_45_1182863839\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_193'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_45_1182863839\n",
      "----------\n",
      "model_47_1382315049\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_115'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_47_1382315049\n",
      "----------\n",
      "model_48_1494251839\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Cos(7) node with name 'Cos_127'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_48_1494251839\n",
      "----------\n",
      "model_49_919619398\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Max(13) node with name 'Max_64'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_49_919619398\n",
      "----------\n",
      "model_4_554979391\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int8)' of input parameter (v85_0) of operator (MatMul) in node (MatMul_3) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_4_554979391\n",
      "----------\n",
      "model_51_282345301\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_116'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_51_282345301\n",
      "----------\n",
      "model_52_2751665382\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int8)' of input parameter (aten::matmul_233) of operator (MatMul) in node (MatMul_29) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_52_2751665382\n",
      "----------\n",
      "model_54_1149076572\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Sub(14) node with name 'Sub_1'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_54_1149076572\n",
      "----------\n",
      "model_56_940177976\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_342'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_56_940177976\n",
      "----------\n",
      "model_57_3789025102\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_186'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_57_3789025102\n",
      "----------\n",
      "model_58_3022982069\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_299'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_58_3022982069\n",
      "----------\n",
      "model_59_3270515369\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_255'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_59_3270515369\n",
      "----------\n",
      "model_5_2995783802\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_171'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_5_2995783802\n",
      "----------\n",
      "model_61_4233341265\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_284'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_61_4233341265\n",
      "----------\n",
      "model_63_2845106392\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Tan(7) node with name 'Tan_267'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_63_2845106392\n",
      "----------\n",
      "model_64_2768502252\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Mul(14) node with name 'Mul_10'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_64_2768502252\n",
      "----------\n",
      "model_65_3129233204\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Min(13) node with name 'Min_38'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_65_3129233204\n",
      "----------\n",
      "model_66_3714768967\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_182'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_66_3714768967\n",
      "----------\n",
      "model_68_468516277\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_136'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_68_468516277\n",
      "----------\n",
      "model_6_3535630981\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_261'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_6_3535630981\n",
      "----------\n",
      "model_71_3950702009\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Mul(14) node with name 'Mul_6'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_71_3950702009\n",
      "----------\n",
      "model_72_686721348\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_158'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_72_686721348\n",
      "----------\n",
      "model_75_2656613870\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int8)' of input parameter (295) of operator (MatMul) in node (MatMul_23) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_75_2656613870\n",
      "----------\n",
      "model_76_3248937965\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_171'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_76_3248937965\n",
      "----------\n",
      "model_77_3987568160\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(uint8)' of input parameter (aten::matmul_3) of operator (MatMul) in node (MatMul_12) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_77_3987568160\n",
      "----------\n",
      "model_79_570850397\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMin(13) node with name 'ArgMin_67'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_79_570850397\n",
      "----------\n",
      "model_7_968868021\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Add(14) node with name 'Add_3'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_7_968868021\n",
      "----------\n",
      "model_84_3622830211\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_64'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_84_3622830211\n",
      "----------\n",
      "model_85_3451309725\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Resize(13) node with name 'Resize_111'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_85_3451309725\n",
      "----------\n",
      "model_88_2690421092\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_107'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_88_2690421092\n",
      "----------\n",
      "model_89_968257860\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Where(16) node with name 'Where_64'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_89_968257860\n",
      "----------\n",
      "model_91_1564734571\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_135'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_91_1564734571\n",
      "----------\n",
      "model_94_1529375072\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_163'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_94_1529375072\n",
      "----------\n",
      "model_96_2247477139\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for ArgMax(13) node with name 'ArgMax_158'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_96_2247477139\n",
      "----------\n",
      "model_98_78593957\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Atan(7) node with name 'Atan_154'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_98_78593957\n",
      "----------\n",
      "model_99_2255557066\n",
      "[ONNXRuntimeError] : 10 : INVALID_GRAPH : This is an invalid model. Type Error: Type 'tensor(int16)' of input parameter (v78_0) of operator (MatMul) in node (MatMul_11) is invalid.\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_99_2255557066\n",
      "----------\n",
      "model_9_1809052433\n",
      "[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Could not find an implementation for Erf(13) node with name 'Erf_238'\n",
      "nnsmith_constrained/symbolic-cinit/torch/95/model_9_1809052433\n"
     ]
    }
   ],
   "source": [
    "x = all_data_opset16.loc[(all_data_opset16[\"result\"] == 1)][[\"model\", 'error', 'path']]\n",
    "\n",
    "for idx, row in x.iterrows():\n",
    "    if \"ONNXRun\" in row['error']:\n",
    "        output_path = \"failing_model/torch/\" + row['model'] + \"_const_initializers.onnx\"\n",
    "        print(\"----------\")\n",
    "        print(row['model'])\n",
    "        print(row['error'])\n",
    "        print(row['path'])\n",
    "        # export_onnx(Path(row['path']), output_path, 16)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "mismatched_paths = [Path(i) for i in all_data_opset16.loc[all_data_opset16[\"mismatch\"] == 1]['path']]"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "additional_test = {}\n",
    "for mismatched_path in mismatched_paths:\n",
    "    model_subgraph_directory = create_mismatch_test_dir('symbolic-cinit', 'torch', 16, mismatched_path.name, \"mismatched_subgraphs\")\n",
    "    graph_info = mismatch_test(mismatched_path, 16)\n",
    "    mismatched_nodes = graph_info.all_mismatch_leaf_graph_info()\n",
    "\n",
    "    for i, mismatched_node in enumerate(mismatched_nodes):\n",
    "        mismatched_subgraph = model_subgraph_directory / f\"{i}\"\n",
    "        mismatched_node.export_repro(mismatched_subgraph)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "num_ort = []\n",
    "num_not_ort = []\n",
    "n = 0\n",
    "for idx, row in all_data_opset16.loc[all_data_opset16['result'] == 1].iterrows():\n",
    "    if \"ONNXRuntimeError\" in row['error']:\n",
    "        num_ort.append((row['model'], row['error']))\n",
    "    else:\n",
    "        num_not_ort.append((row['model'], row['error']))\n",
    "    n += 1"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "len(num_ort)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "num_not_ort"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "len(num_not_ort)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Find Ops to Exclude"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Opset 16"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "opset16_errors = set(all_data_opset16.loc[all_data_opset16['result'] == 1]['error'])"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "len(opset16_errors)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "opset16_errors"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "not_imp_opset16_errors = list(filter(lambda x: \"NOT_IMPLEMENTED\" in x, opset16_errors))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "len(not_imp_opset16_errors)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "pattern = r\"for\\s([^\\s(]+)\\s*\\([^)]*\\)\\s*node\"\n",
    "erring_nodes = set(\n",
    "    [\n",
    "        re.search(pattern, err).group(1) if re.search(pattern, err) else err\n",
    "        for err in not_imp_opset16_errors\n",
    "    ]\n",
    ")\n",
    "erring_nodes\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "other_opset16_errors = list(filter(lambda x: not \"NOT_IMPLEMENTED\" in x, opset16_errors))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "other_opset16_errors"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "all_data_opset16.loc[all_data_opset16['error'] ==  '[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Failed to find kernel for FusedMatMul(1) (node MatMul_With_Transpose). Op with name (MatMul_With_Transpose) domain (com.microsoft) and type (FusedMatMul) kernel is not supported in CPUExecutionProvider. Encountered following errors: (Kernel found kernel in the supported version range (node_version: 1). However the types are incompatible. This op has been implemented only for the following types (tensor(float),), but the node in the model has the following type (tensor(double))\\n)']"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "print(\n",
    "    all_data_opset16.loc[\n",
    "        all_data_opset16[\"error\"]\n",
    "        == \"[ONNXRuntimeError] : 9 : NOT_IMPLEMENTED : Failed to find kernel for FusedMatMul(1) (node MatMul_With_Transpose). Op with name (MatMul_With_Transpose) domain (com.microsoft) and type (FusedMatMul) kernel is not supported in CPUExecutionProvider. Encountered following errors: (Kernel found kernel in the supported version range (node_version: 1). However the types are incompatible. This op has been implemented only for the following types (tensor(float),), but the node in the model has the following type (tensor(double))\\n)\"\n",
    "    ][\"path\"].item()\n",
    ")\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "export_onnx(Path(\"nnsmith_constrained/symbolic-cinit/torch/90/model_81_4287267281\"), 16)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Log Data"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "log_data = pd.read_json('log_data.json')"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "all_diff_data = log_data.loc[~log_data['greatest abs diff.'].isna()]"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "all_diff_data.sort_values('greatest abs diff.', ascending=False)\n",
    "all_diff_data['model'] = all_diff_data['path'].str.strip('.log')"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "x = all_diff_data.sort_values('greatest abs diff.', ascending=False).head(15)[['model', 'greatest abs diff.']]"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "top_mismatched = all_data_opset16.loc[all_data_opset16['mismatch'] == 1].set_index('model').join(x.set_index('model')).sort_values('greatest abs diff.', ascending=False)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "top_mismatched.iloc[0,:]['path']"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 106,
   "metadata": {},
   "outputs": [],
   "source": [
    "top_mismatched[['greatest abs diff.']].to_markdown('./md.md')"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 115,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "nnsmith_constrained/symbolic-cinit/torch/40/model_78_3459169476\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_68_72227799\n",
      "nnsmith_constrained/symbolic-cinit/torch/50/model_6_419668759\n",
      "nnsmith_constrained/symbolic-cinit/torch/20/model_96_728966504\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_30_213242519\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_15_2262524614\n",
      "nnsmith_constrained/symbolic-cinit/torch/80/model_29_103575771\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_78_2707514266\n",
      "nnsmith_constrained/symbolic-cinit/torch/35/model_60_674754574\n",
      "nnsmith_constrained/symbolic-cinit/torch/90/model_91_3302636491\n",
      "nnsmith_constrained/symbolic-cinit/torch/75/model_50_1243263724\n",
      "nnsmith_constrained/symbolic-cinit/torch/30/model_74_3620935663\n",
      "nnsmith_constrained/symbolic-cinit/torch/100/model_6_3867095439\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_25_1123596368\n",
      "nnsmith_constrained/symbolic-cinit/torch/40/model_23_3959668477\n"
     ]
    }
   ],
   "source": [
    "for path in top_mismatched['path']:\n",
    "    print(path)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 120,
   "metadata": {},
   "outputs": [],
   "source": [
    "import numpy as np\n",
    "import onnxruntime as ort\n",
    "import pickle\n",
    "import warnings\n",
    "import torch\n",
    "import shutil\n",
    "from nnsmith.materialize import Model, Oracle\n",
    "\n",
    "warnings.simplefilter(\"ignore\")\n",
    "\n",
    "for path in top_mismatched['path']:\n",
    "    path = Path(path)\n",
    "\n",
    "    # Get the paths for pickles and weights\n",
    "    shutil.copytree(path, f\"./bugs/torch/bug_2/{path.name}\")\n",
    "\n",
    "    # gir_path: Path = path / \"gir.pkl\"\n",
    "    # oracle_path: Path = path / \"oracle.pkl\"\n",
    "    # weights_path: Path = path / \"model.pth\"\n",
    "\n",
    "    # # Load the model from pickle\n",
    "    # with gir_path.open(\"rb\") as f:\n",
    "    #     gir = pickle.load(f)\n",
    "    # model_type = Model.init(\"torch\", \"cpu\")\n",
    "    # model = model_type.from_gir(gir)\n",
    "\n",
    "    # # Load weights from weight path.\n",
    "    # model.torch_model.load_state_dict(torch.load(weights_path), strict=False)\n",
    "\n",
    "    # # Load oracle\n",
    "    # oracle = Oracle.load(oracle_path)\n",
    "\n",
    "    # model_args = tuple([torch.from_numpy(val) for key, val in oracle.input.items()])\n",
    "\n",
    "    # print(f\"Testing: {str(path)}\")\n",
    "    # traced_model = torch.jit.trace(model.torch_model, model_args)\n",
    "    # traced_model.save(f\"./bugs/torch/bug_2/{str(path.name)}.pt\")\n",
    "    # shutil.copy(weights_path, f\"./bugs/torch/bug_2/{str(path.name)}_weights.pt\")\n",
    "\n",
    "    # torch.save(oracle.input, f\"./bugs/torch/bug_2/{str(path.name)}_inputs.pt\")\n",
    "\n",
    "    # inps = [torch.Tensor(oracle.input[i]) for i in oracle.input]\n",
    "    # torch.onnx.export(traced_model, model_args, f\"./bugs/torch/bug_2/{str(path.name)}.onnx\", opset_version=16, input_names=list(model.input_like), output_names=list(model.output_like))\n",
    "\n",
    "    # traced_output = traced_model(*model_args)\n",
    "    # sess = ort.InferenceSession(f\"./bugs/torch/bug_2/{str(path.name)}.onnx\", providers=[\"CPUExecutionProvider\"])\n",
    "    # out_1 = sess.run(list(model.output_like), oracle.input)\n",
    "\n",
    "    # maxes = []\n",
    "    # for i,j in zip(out_1, traced_output):\n",
    "    #     j = j.detach().numpy()\n",
    "    #     try:\n",
    "    #         out = i - j\n",
    "    #     except:\n",
    "    #         out = i ^ j\n",
    "    #     maxes.append(out.max())\n",
    "    # print(np.array(maxes).max())"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Path Analysis"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Mismatched Path comparison"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "import json\n",
    "from difflib import SequenceMatcher\n",
    "from pathlib import Path\n",
    "import pandas as pd"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "results_path = Path(\"./exporter_test_results_new/torch\")"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "dataframes = []\n",
    "for path in  sorted(results_path.glob(f\"torch_symbolic-cinit_opset_16_*.json\")):\n",
    "    dataframes.append(pd.read_json(path))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "all_data_opset16 = pd.concat(dataframes).fillna(0)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "all_data_opset16.loc[all_data_opset16['mismatch'] == 1]"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "with open('mismatch_seq_match_results.json', 'r') as f:\n",
    "    mismatched = json.load(f)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "token_node_type_dict = mismatched['token_node_type_dict']"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "total_sequences = 0\n",
    "mismatched_sequences = set()\n",
    "for i, (_, sequences) in enumerate(mismatched['results'].items()):\n",
    "    total_sequences += len(sequences)\n",
    "    mismatched_sequences |= set(sequences)\n",
    "\n",
    "mismatched_sequences_decoded = []\n",
    "for sequence in mismatched_sequences:\n",
    "    decoded_sequence = [token_node_type_dict[i] for i in sequence]\n",
    "    mismatched_sequences_decoded.append(decoded_sequence)\n",
    "\n",
    "print(f\"Total Sequences: {total_sequences}, Total Unique Sequences: {len(mismatched_sequences)}\")"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Mismatched-Correct Path comparison"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "with open('correct_mismatch_seq_match_results.json', 'r') as f:\n",
    "    mismatched_correct = json.load(f)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "token_node_type_dict = mismatched_correct['token_node_type_dict']"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "mismatched_correct_sequences = set()\n",
    "total_sequences = 0\n",
    "for i, (_, sequences) in enumerate(mismatched_correct['results'].items()):\n",
    "    total_sequences += len(sequences)\n",
    "    mismatched_correct_sequences |= set(sequences)\n",
    "\n",
    "mismatched_correct_sequences_decoded = []\n",
    "for sequence in mismatched_correct_sequences:\n",
    "    decoded_sequence = [token_node_type_dict[i] for i in sequence]\n",
    "    mismatched_correct_sequences_decoded.append(decoded_sequence)\n",
    "\n",
    "print(f\"Total Sequences: {total_sequences}, Total Unique Sequences: {len(mismatched_correct_sequences_decoded)}\")"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "len(mismatched_sequences - mismatched_correct_sequences)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "all_non_overlapping_sequences = mismatched_sequences - mismatched_correct_sequences"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "all_non_overlapping_sequences_decoded = [[token_node_type_dict[i] for i in sequence] for sequence in all_non_overlapping_sequences]"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "all_non_overlapping_sequences_decoded"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "import json"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "with open(\"onnx_parsing_results/torch_test_mismatch_seq_match_results.json\", 'r') as f:\n",
    "    mismatched_correct = json.load(f)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "mismatched_correct_sequences = set()\n",
    "total_sequences = 0\n",
    "for i, (_, sequences) in enumerate(mismatched_correct['results'].items()):\n",
    "    total_sequences += len(sequences)\n",
    "    mismatched_correct_sequences |= set(sequences)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "mismatched_correct['total_path_pairs_analyzed']"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "len(mismatched_correct_sequences)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "total_sequences"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "base",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.9.19"
  },
  "orig_nbformat": 4
 },
 "nbformat": 4,
 "nbformat_minor": 2
}