adding parallel verification tool for linear problems