Features | |||||||
Processor | Intel(R) Core(TM) i5-7300U CPU @ 2.60GHz 2.71GHz | ||||||
RAM | 8.00 GB | ||||||
OS | Linux 4.4.0-17134-Microsoft | ||||||
Program Versions |
| ||||||
Database | SEMI-EQUATIONAL CTRSs from COPS | ||||||
Timeout | 120s | ||||||
Date | 03.09.22 |
Examples | confident-1.4.6 |
282.trs | 0.002 |
290.trs | 0.007 |
291.trs | 41.026 |
299.trs | 85.048 |
302.trs | 20.078 |
303.trs | 0.002 |
305.trs | 0.004 |
338.trs | 65.082 |
1134.trs | 0.001 |
1135.trs | 20.024 |
confident-1.4.6 | |
Time | 231.274 |
#YES | 0 |
#MAYBE | 3 |
#NO | 7 |
Avg.YES | 0 |
Avg.NO | 5.73 |