Experimental demonstration of quantum advantage for NP veri fi cation with limited information