          th_2n_01.p| vampire|  0.03|  0.06|                         ax_I3a ax_false_inc_po_l |Time limit||
