Home TRS.Tool CompSCR EqValCSR TPDB Format Benchmarks 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!