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
cstrs/1161.trs	2.50
cstrs/1162.trs	3.44
cstrs/1163.trs	2.54
cstrs/1164.trs	2.60
cstrs/1167.trs	0.01
cstrs/1168.trs	0.23
cstrs/1169.trs	0.02
cstrs/1170.trs	0.08
cstrs/1171.trs	0.07
cstrs/1172.trs	0.00
cstrs/1173.trs	0.00
cstrs/1174.trs	0.00
cstrs/1175.trs	1.88
cstrs/1176.trs	0.00
cstrs/1177.trs	0.00
cstrs/1178.trs	0.02
cstrs/1179.trs	0.00
cstrs/1180.trs	0.02
cstrs/1181.trs	0.00
cstrs/1182.trs	0.76
cstrs/1183.trs	0.03
cstrs/1184.trs	0.00
cstrs/1185.trs	0.04
cstrs/1186.trs	0.01
cstrs/1187.trs	0.01
cstrs/1188.trs	0.01
cstrs/1189.trs	0.02
cstrs/1190.trs	0.00
cstrs/1191.trs	0.04
cstrs/1192.trs	0.00
cstrs/1193.trs	0.00
cstrs/1194.trs	0.04
cstrs/1195.trs	0.09
cstrs/1196.trs	0.11
cstrs/1197.trs	0.17
cstrs/1198.trs	0.00
cstrs/1199.trs	0.01
cstrs/1200.trs	10.33
cstrs/1201.trs	48.46
cstrs/1202.trs	0.08
cstrs/1203.trs	0.01
cstrs/1204.trs	0.03
cstrs/1205.trs	0.02
cstrs/1206.trs	0.10
cstrs/1207.trs	0.06
cstrs/1208.trs	0.11
cstrs/1209.trs	0.04
cstrs/1210.trs	0.00
cstrs/1211.trs	0.00
cstrs/1212.trs	0.02
cstrs/1213.trs	0.01
cstrs/1214.trs	0.04
cstrs/1215.trs	0.05
cstrs/1216.trs	0.09
cstrs/1217.trs	0.09
cstrs/1218.trs	0.18
cstrs/1219.trs	0.25
cstrs/1220.trs	0.59
cstrs/1221.trs	0.86
cstrs/1222.trs	0.01
cstrs/1223.trs	0.02
cstrs/1224.trs	0.00
cstrs/1225.trs	0.01
cstrs/1226.trs	0.02
cstrs/1227.trs	0.00
cstrs/1228.trs	0.01
cstrs/1229.trs	0.00
cstrs/1230.trs	0.01
cstrs/1231.trs	0.00
cstrs/1232.trs	0.06
cstrs/1233.trs	0.02
cstrs/1234.trs	0.00
cstrs/1235.trs	0.00
cstrs/1236.trs	0.00
cstrs/1237.trs	0.00
cstrs/1238.trs	0.02
cstrs/1239.trs	0.07
cstrs/1240.trs	0.00
cstrs/1241.trs	0.03
cstrs/1242.trs	0.01
cstrs/1243.trs	0.00
cstrs/1244.trs	0.03
cstrs/1245.trs	0.00
cstrs/1246.trs	0.02
cstrs/1247.trs	0.00
cstrs/1248.trs	0.00
cstrs/1249.trs	0.00
cstrs/1250.trs	0.00
cstrs/1251.trs	0.00
cstrs/1252.trs	0.00
cstrs/1253.trs	0.00
cstrs/1254.trs	0.00
cstrs/1255.trs	0.00
cstrs/1256.trs	0.02
cstrs/1257.trs	0.00
cstrs/1258.trs	0.02
cstrs/1259.trs	0.00
cstrs/1260.trs	0.00
cstrs/1261.trs	0.00
Examples 99%	confident
cstrs/1262.trs	0.00
cstrs/1263.trs	0.02
cstrs/1264.trs	0.05
cstrs/1265.trs	0.02
cstrs/1266.trs	0.00
cstrs/1267.trs	0.02
cstrs/1268.trs	0.02
cstrs/1269.trs	0.05
cstrs/1270.trs	0.00
cstrs/1271.trs	0.00
cstrs/1272.trs	0.05
cstrs/1273.trs	0.00
cstrs/1274.trs	0.03
cstrs/1298.trs	0.11
cstrs/1299.trs	0.00
cstrs/1300.trs	0.17
cstrs/1301.trs	0.07
cstrs/1302.trs	0.00
cstrs/1303.trs	0.00
cstrs/1304.trs	0.16
cstrs/1305.trs	0.11
cstrs/1306.trs	0.25
cstrs/1307.trs	0.11
cstrs/1308.trs	1.90
cstrs/1309.trs	1.34
cstrs/1310.trs	1.87
cstrs/1311.trs	0.77
cstrs/1312.trs	1.32
cstrs/1313.trs	0.89
cstrs/1314.trs	1.11
cstrs/1315.trs	0.87
cstrs/1316.trs	1.02
cstrs/1317.trs	0.92
cstrs/1318.trs	1.05
cstrs/1319.trs	0.80
cstrs/1320.trs	1.19
cstrs/1321.trs	1.59
cstrs/1322.trs	0.13
cstrs/1323.trs	0.18
cstrs/1324.trs	0.24
cstrs/1325.trs	0.07
cstrs/1326.trs	0.27
cstrs/1327.trs	0.02
cstrs/1328.trs	0.08
cstrs/1329.trs	0.04
cstrs/1330.trs	0.06
cstrs/1331.trs	0.08
cstrs/1332.trs	0.10
cstrs/1333.trs	47.17
cstrs/1334.trs	25.53
cstrs/1335.trs	0.60
cstrs/1336.trs	0.03
cstrs/1337.trs	26.07
cstrs/1338.trs	28.75
cstrs/1339.trs	21.39
cstrs/1340.trs	2.30
cstrs/1341.trs	3.81
cstrs/1342.trs	0.32
cstrs/1343.trs	45.55
cstrs/1344.trs	54.17
cstrs/1345.trs	43.89
cstrs/1346.trs	38.93
cstrs/1347.trs	48.15
cstrs/1348.trs	42.96
cstrs/1349.trs	38.99
cstrs/1350.trs	0.29
cstrs/1351.trs	52.76
cstrs/1352.trs	40.16
cstrs/1353.trs	38.67
cstrs/1354.trs	19.77
cstrs/1355.trs	14.50
cstrs/1356.trs	38.85
cstrs/1357.trs	0.00
cstrs/1358.trs	0.01
cstrs/1359.trs	0.00
cstrs/1360.trs	0.18
cstrs/1361.trs	2.00
	confident
Time	771.5
#YES	49
#MAYBE	44
#NO	83