Method test_3

src/examples/java/time/Time.java:105–117

()

	}

	static void test_3() {
		Variable Y = new Variable("Y");
		Query query = new Query("noop_nobind", new Term[] { tree, Y });
		System.out.print("noop_nobind");
		for (int i = 0; i < num_trials; ++i) {
			timer.start();
			query.hasSolution();
			timer.stop();
			data[3][i] = timer.getElapsedTimeInMillis();
			System.out.print("");
		}
		System.out.println(" done");
	}

	static void test_4() {
		Variable Y = new Variable("Y");