long finish = new Date().getTime();
if((best > 0 && (finish - start)/1000.0 < best) || best < 0) {
best = (finish - start)/1000.0f;
}
}
model.quit();
Report.addRecord("TestSuite1", "pcg_attr1_graphml", Float.valueOf(best).toString(), "sec");
} catch (Throwable ex) {
ex.printStackTrace();
Report.addRecord("TestSuite1", "pcg_attr1_graphml", "Exception: " + ex.getMessage(), "");
Assert.assertTrue(ex.getMessage(), false);