Home
TRS.Tool
TPDB Format
Benchmark
Batch Test
About
10
50
100
200
300
500
Rewrites Limit for each critical pair in iterations (Use with caution)
1
5
10
20
30
60
Timeout for each test in seconds
Go!