Lines Matching refs:Benchmark
35 use Benchmark;
488 my $t1 = Benchmark->new();
505 my $t2 = Benchmark->new();
514 my $t1 = Benchmark->new();
517 my $t2 = Benchmark->new();
525 my $t1 = Benchmark->new();
528 my $t2 = Benchmark->new();
1583 my $time_fetch_start = Benchmark->new();
1794 my $time_solver_start = Benchmark->new();
1797 my $time_solver_stop = Benchmark->new();
1801 my $time_fetch_stop = Benchmark->new();