Features
Processor	Intel(R) Core(TM) i3-9100 CPU @ 3.60GHz 3.60 GHz
RAM	8.00 GB
OS	Linux 5.4.72-microsoft-standard-WSL2
Program Versions	CONFident + infChecker + MUTERM
Database	COPS 2023
Timeout	60s
Date	01.17.24

Examples	confident
csctrs/1362.trs	27.47
csctrs/1363.trs	38.27
csctrs/1364.trs	0.57
csctrs/1365.trs	37.42
csctrs/1366.trs	0.03
csctrs/1367.trs	0.00
csctrs/1368.trs	0.00
csctrs/1369.trs	0.12
csctrs/1370.trs	0.05
csctrs/1371.trs	0.09
csctrs/1372.trs	0.04
csctrs/1373.trs	0.03
csctrs/1374.trs	0.00
csctrs/1375.trs	0.03
csctrs/1376.trs	0.06
csctrs/1377.trs	23.40
csctrs/1378.trs	60
csctrs/1379.trs	60
csctrs/1380.trs	0.04
csctrs/1381.trs	0.26
csctrs/1382.trs	0.14
csctrs/1383.trs	40.32
csctrs/1384.trs	22.53
csctrs/1385.trs	60
csctrs/1386.trs	0.21
csctrs/1387.trs	52.29
csctrs/1388.trs	60
csctrs/1389.trs	52.81
csctrs/1390.trs	60
csctrs/1391.trs	0.00
csctrs/1392.trs	0.00
csctrs/1393.trs	0.03
csctrs/1394.trs	0.03
csctrs/1395.trs	0.37
csctrs/1396.trs	47.37
csctrs/1397.trs	23.15
csctrs/1398.trs	27.89
csctrs/1399.trs	35.54
csctrs/1400.trs	0.03
csctrs/1401.trs	0.04
csctrs/1402.trs	0.10
csctrs/1403.trs	23.62
csctrs/1404.trs	27.32
csctrs/1405.trs	29.98
csctrs/1406.trs	0.02
csctrs/1407.trs	41.14
csctrs/1408.trs	53.43
csctrs/1409.trs	0.01
csctrs/1410.trs	0.11
csctrs/1411.trs	0.03
csctrs/1412.trs	0.11
csctrs/1413.trs	19.38
csctrs/1414.trs	17.87
csctrs/1415.trs	0.01
csctrs/1416.trs	0.01
csctrs/1417.trs	0.05
csctrs/1418.trs	26.25
csctrs/1419.trs	0.00
csctrs/1420.trs	0.01
csctrs/1421.trs	0.00
csctrs/1422.trs	0.00
csctrs/1423.trs	2.88
csctrs/1424.trs	37.78
csctrs/1425.trs	1.33
csctrs/1426.trs	22.70
csctrs/1427.trs	20.41
csctrs/1428.trs	17.08
csctrs/1429.trs	17.96
csctrs/1430.trs	20.79
csctrs/1431.trs	19.23
csctrs/1432.trs	21.00
csctrs/1433.trs	19.66
csctrs/1434.trs	20.24
csctrs/1435.trs	27.06
csctrs/1436.trs	0.04
csctrs/1437.trs	0.02
csctrs/1438.trs	0.03
csctrs/1439.trs	0.03
csctrs/1440.trs	0.10
csctrs/1441.trs	0.05
csctrs/1442.trs	0.01
csctrs/1443.trs	0.04
csctrs/1444.trs	0.02
csctrs/1445.trs	0.00
csctrs/1446.trs	0.11
csctrs/1447.trs	0.14
csctrs/1448.trs	50.29
csctrs/1449.trs	40.68
csctrs/1450.trs	0.09
csctrs/1451.trs	28.26
csctrs/1452.trs	0.24
csctrs/1453.trs	40.01
csctrs/1454.trs	0.02
csctrs/1455.trs	0.01
csctrs/1456.trs	0.96
csctrs/1457.trs	60
csctrs/1458.trs	56.73
csctrs/1459.trs	60
csctrs/1460.trs	60
Examples 99%	confident
csctrs/1461.trs	60
csctrs/1462.trs	44.97
csctrs/1463.trs	47.00
csctrs/1464.trs	0.37
csctrs/1465.trs	0.22
csctrs/1466.trs	2.55
csctrs/1467.trs	60
csctrs/1468.trs	1.17
csctrs/1469.trs	46.90
csctrs/1470.trs	0.00
csctrs/1471.trs	15.59
csctrs/1472.trs	60
csctrs/1473.trs	0.13
csctrs/1474.trs	40.49
csctrs/1475.trs	0.08
csctrs/1476.trs	28.64
csctrs/1477.trs	0.01
csctrs/1478.trs	34.34
csctrs/1479.trs	42.96
csctrs/1480.trs	36.84
csctrs/1481.trs	0.00
csctrs/1482.trs	38.61
csctrs/1483.trs	37.80
csctrs/1484.trs	0.00
csctrs/1485.trs	0.00
csctrs/1486.trs	0.00
csctrs/1487.trs	0.05
csctrs/1488.trs	22.89
csctrs/1489.trs	25.44
csctrs/1490.trs	14.24
csctrs/1491.trs	52.65
csctrs/1492.trs	18.41
csctrs/1493.trs	23.31
csctrs/1494.trs	0.66
csctrs/1495.trs	20.06
csctrs/1496.trs	0.04
csctrs/1497.trs	0.03
csctrs/1498.trs	1.84
csctrs/1499.trs	18.57
csctrs/1500.trs	0.00
csctrs/1501.trs	0.00
csctrs/1502.trs	40.97
csctrs/1503.trs	38.14
csctrs/1504.trs	20.91
csctrs/1505.trs	21.46
csctrs/1506.trs	0.05
csctrs/1507.trs	57.55
csctrs/1508.trs	0.03
csctrs/1509.trs	0.02
csctrs/1510.trs	0.09
csctrs/1511.trs	0.01
csctrs/1512.trs	0.04
csctrs/1513.trs	0.11
csctrs/1514.trs	20.01
csctrs/1515.trs	17.06
csctrs/1516.trs	60
csctrs/1517.trs	0.05
csctrs/1518.trs	0.03
csctrs/1519.trs	0.07
csctrs/1520.trs	0.01
csctrs/1521.trs	0.06
csctrs/1522.trs	0.01
csctrs/1523.trs	0.07
csctrs/1524.trs	23.61
csctrs/1525.trs	0.04
csctrs/1526.trs	0.01
csctrs/1527.trs	0.04
csctrs/1528.trs	0.01
csctrs/1529.trs	0.24
csctrs/1530.trs	19.23
csctrs/1531.trs	0.08
csctrs/1532.trs	0.03
csctrs/1533.trs	0.00
csctrs/1534.trs	0.01
csctrs/1535.trs	0.01
csctrs/1536.trs	0.02
csctrs/1537.trs	0.16
csctrs/1538.trs	0.07
csctrs/1539.trs	21.68
csctrs/1540.trs	31.73
csctrs/1541.trs	18.05
csctrs/1542.trs	18.80
csctrs/1543.trs	0.00
csctrs/1544.trs	3.47
csctrs/1545.trs	0.00
csctrs/1546.trs	0.00
csctrs/1547.trs	0.03
csctrs/1548.trs	0.05
csctrs/1549.trs	0.18
csctrs/1550.trs	0.48
csctrs/1551.trs	0.00
csctrs/1552.trs	0.03
csctrs/1553.trs	0.06
csctrs/1554.trs	0.00
csctrs/1555.trs	60
csctrs/1556.trs	0.00
csctrs/1557.trs	0.00
csctrs/1558.trs	0.06
csctrs/1559.trs	0.00
csctrs/1560.trs	16.87
Examples 100%	confident
csctrs/1561.trs	50.13
csctrs/1562.trs	0.08
csctrs/1563.trs	0.02
csctrs/1564.trs	0.90
csctrs/1565.trs	53.75
csctrs/1566.trs	0.23
csctrs/1567.trs	31.94
csctrs/1568.trs	0.02
csctrs/1569.trs	45.07
csctrs/1570.trs	53.42
csctrs/1571.trs	49.42
csctrs/1572.trs	47.81
csctrs/1573.trs	49.36
csctrs/1574.trs	48.35
csctrs/1575.trs	38.29
csctrs/1576.trs	46.74
csctrs/1577.trs	38.31
csctrs/1578.trs	19.69
csctrs/1579.trs	20.24
csctrs/1580.trs	20.06
csctrs/1581.trs	20.08
csctrs/1582.trs	55.07
csctrs/1583.trs	60
csctrs/1584.trs	0.16
csctrs/1585.trs	0.17
csctrs/1586.trs	38.93
csctrs/1587.trs	1.21
csctrs/1588.trs	30.04
csctrs/1589.trs	0.91
csctrs/1590.trs	53.60
csctrs/1591.trs	0.01
csctrs/1592.trs	0.06
csctrs/1593.trs	60
csctrs/1594.trs	0.27
csctrs/1595.trs	48.04
csctrs/1596.trs	60
csctrs/1597.trs	0.20
csctrs/1598.trs	60
csctrs/1599.trs	0.07
csctrs/1600.trs	60
csctrs/1601.trs	60
csctrs/1602.trs	0.91
csctrs/1603.trs	54.15
csctrs/1604.trs	0.47
csctrs/1605.trs	0.46
csctrs/1606.trs	0.17
csctrs/1607.trs	0.80
csctrs/1608.trs	60
csctrs/1609.trs	1.08
csctrs/1610.trs	30.32
csctrs/1611.trs	59.89
csctrs/1612.trs	60
csctrs/1613.trs	0.00
csctrs/1614.trs	1.32
csctrs/1615.trs	0.02
csctrs/1616.trs	0.03
csctrs/1617.trs	0.02
csctrs/1618.trs	0.72
csctrs/1619.trs	52.84
csctrs/1620.trs	0.79
csctrs/1621.trs	50.30
csctrs/1622.trs	0.11
csctrs/1623.trs	21.60
csctrs/1624.trs	17.84
csctrs/1625.trs	0.05
csctrs/1626.trs	0.01
csctrs/1627.trs	0.03
csctrs/1628.trs	0.02
csctrs/1629.trs	23.66
csctrs/1630.trs	26.03
csctrs/1631.trs	60
csctrs/1632.trs	0.04
csctrs/1633.trs	0.03
csctrs/1634.trs	0.22
csctrs/1635.trs	0.04
csctrs/1636.trs	0.01
csctrs/1637.trs	14.84
csctrs/1638.trs	59.60
csctrs/1639.trs	0.05
csctrs/1640.trs	19.84
csctrs/1641.trs	36.76
csctrs/1642.trs	37.43
csctrs/1643.trs	0.01
csctrs/1644.trs	19.69
csctrs/1645.trs	0.06
csctrs/1646.trs	20.14
csctrs/1647.trs	0.03
csctrs/1648.trs	0.88
	confident
Time	3540.7
#YES	105
#MAYBE	89
#NO	93