diff --git a/docs/analysis/cryptanalysis/logs/adv-accept-3/94-verdicts-faithful-part2.tsv b/docs/analysis/cryptanalysis/logs/adv-accept-3/94-verdicts-faithful-part2.tsv index cf7e464e..1c35bca6 100644 --- a/docs/analysis/cryptanalysis/logs/adv-accept-3/94-verdicts-faithful-part2.tsv +++ b/docs/analysis/cryptanalysis/logs/adv-accept-3/94-verdicts-faithful-part2.tsv @@ -876,3 +876,2353 @@ seed attempt lib_verdict lib_part second_verdict second_part agree chosen_lib ch 1262 3 reject a' reject a' yes 5 5 10.7 1262 4 reject a reject a yes 5 5 10.7 1262 5 accept - accept - yes 5 5 10.7 +1265 0 reject a reject a yes 1 1 7.7 +1265 1 accept - accept - yes 1 1 7.7 +1264 0 reject a' reject a' yes 2 2 8.0 +1264 1 reject b reject b yes 2 2 8.0 +1264 2 accept - accept - yes 2 2 8.0 +1269 0 reject b reject b yes 1 1 7.4 +1269 1 accept - accept - yes 1 1 7.4 +1267 0 accept - accept - yes 0 0 8.1 +1268 0 reject a' reject a' yes 1 1 8.0 +1268 1 accept - accept - yes 1 1 8.0 +1270 0 reject a' reject a' yes 1 1 7.7 +1270 1 accept - accept - yes 1 1 7.7 +1266 0 reject a' reject a' yes 5 5 10.4 +1266 1 reject a' reject a' yes 5 5 10.4 +1266 2 reject a' reject a' yes 5 5 10.4 +1266 3 reject a reject a yes 5 5 10.4 +1266 4 reject a' reject a' yes 5 5 10.4 +1266 5 accept - accept - yes 5 5 10.4 +1271 0 reject a' reject a' yes 2 2 9.1 +1271 1 reject a' reject a' yes 2 2 9.1 +1271 2 accept - accept - yes 2 2 9.1 +1273 0 reject a' reject a' yes 7 7 9.1 +1273 1 reject a' reject a' yes 7 7 9.1 +1273 2 reject a' reject a' yes 7 7 9.1 +1273 3 reject a' reject a' yes 7 7 9.1 +1273 4 reject a' reject a' yes 7 7 9.1 +1273 5 reject a' reject a' yes 7 7 9.1 +1273 6 reject a' reject a' yes 7 7 9.1 +1273 7 accept - accept - yes 7 7 9.1 +1272 0 reject a' reject a' yes 7 7 9.9 +1272 1 reject a' reject a' yes 7 7 9.9 +1272 2 reject a' reject a' yes 7 7 9.9 +1272 3 reject a reject a yes 7 7 9.9 +1272 4 reject a' reject a' yes 7 7 9.9 +1272 5 reject c-constbit reject c-constbit yes 7 7 9.9 +1272 6 reject a reject a yes 7 7 9.9 +1272 7 accept - accept - yes 7 7 9.9 +1274 0 reject a' reject a' yes 2 2 7.7 +1274 1 reject a' reject a' yes 2 2 7.7 +1274 2 accept - accept - yes 2 2 7.7 +1279 0 reject a' reject a' yes 2 2 7.7 +1279 1 reject a' reject a' yes 2 2 7.7 +1279 2 accept - accept - yes 2 2 7.7 +1278 0 reject a' reject a' yes 2 2 9.5 +1278 1 reject a' reject a' yes 2 2 9.5 +1278 2 accept - accept - yes 2 2 9.5 +1276 0 reject a' reject a' yes 9 9 10.0 +1276 1 reject a' reject a' yes 9 9 10.0 +1276 2 reject a' reject a' yes 9 9 10.0 +1276 3 reject a' reject a' yes 9 9 10.0 +1276 4 reject a' reject a' yes 9 9 10.0 +1276 5 reject a' reject a' yes 9 9 10.0 +1276 6 reject a' reject a' yes 9 9 10.0 +1276 7 reject a reject a yes 9 9 10.0 +1276 8 reject a reject a yes 9 9 10.0 +1276 9 accept - accept - yes 9 9 10.0 +1281 0 reject a' reject a' yes 9 9 8.0 +1281 1 reject a' reject a' yes 9 9 8.0 +1281 2 reject a' reject a' yes 9 9 8.0 +1281 3 reject a' reject a' yes 9 9 8.0 +1281 4 reject a' reject a' yes 9 9 8.0 +1281 5 reject a' reject a' yes 9 9 8.0 +1281 6 reject a reject a yes 9 9 8.0 +1281 7 reject a' reject a' yes 9 9 8.0 +1281 8 reject a reject a yes 9 9 8.0 +1281 9 accept - accept - yes 9 9 8.0 +1282 0 accept - accept - yes 0 0 7.7 +1283 0 reject a' reject a' yes 5 5 7.6 +1283 1 reject a' reject a' yes 5 5 7.6 +1283 2 reject a' reject a' yes 5 5 7.6 +1283 3 reject a' reject a' yes 5 5 7.6 +1283 4 reject a' reject a' yes 5 5 7.6 +1283 5 accept - accept - yes 5 5 7.6 +1275 0 accept - accept - yes 0 0 10.8 +1277 0 reject a' reject a' yes 4 4 10.6 +1277 1 reject a reject a yes 4 4 10.6 +1277 2 reject a reject a yes 4 4 10.6 +1277 3 reject a' reject a' yes 4 4 10.6 +1277 4 accept - accept - yes 4 4 10.6 +1285 0 reject a reject a yes 3 3 7.8 +1285 1 reject a' reject a' yes 3 3 7.8 +1285 2 reject b reject b yes 3 3 7.8 +1285 3 accept - accept - yes 3 3 7.8 +1284 0 reject a' reject a' yes 11 11 8.2 +1284 1 reject a' reject a' yes 11 11 8.2 +1284 2 reject a' reject a' yes 11 11 8.2 +1284 3 reject a' reject a' yes 11 11 8.2 +1284 4 reject a' reject a' yes 11 11 8.2 +1284 5 reject a' reject a' yes 11 11 8.2 +1284 6 reject a' reject a' yes 11 11 8.2 +1284 7 reject a reject a yes 11 11 8.2 +1284 8 reject a' reject a' yes 11 11 8.2 +1284 9 reject a reject a yes 11 11 8.2 +1284 10 reject a' reject a' yes 11 11 8.2 +1284 11 accept - accept - yes 11 11 8.2 +1286 0 accept - accept - yes 0 0 7.4 +1280 0 reject a' reject a' yes 8 8 10.6 +1280 1 reject a' reject a' yes 8 8 10.6 +1280 2 reject b reject b yes 8 8 10.6 +1280 3 reject a' reject a' yes 8 8 10.6 +1280 4 reject a' reject a' yes 8 8 10.6 +1280 5 reject b reject b yes 8 8 10.6 +1280 6 reject a' reject a' yes 8 8 10.6 +1280 7 reject a reject a yes 8 8 10.6 +1280 8 accept - accept - yes 8 8 10.6 +1288 0 accept - accept - yes 0 0 7.0 +1291 0 reject a' reject a' yes 3 3 7.3 +1291 1 reject a' reject a' yes 3 3 7.3 +1291 2 reject a reject a yes 3 3 7.3 +1291 3 accept - accept - yes 3 3 7.3 +1290 0 accept - accept - yes 0 0 7.4 +1289 0 reject a reject a yes 1 1 7.4 +1289 1 accept - accept - yes 1 1 7.4 +1287 0 reject a' reject a' yes 1 1 10.7 +1287 1 accept - accept - yes 1 1 10.7 +1292 0 reject a' reject a' yes 10 10 7.6 +1292 1 reject a' reject a' yes 10 10 7.6 +1292 2 reject a' reject a' yes 10 10 7.6 +1292 3 reject a' reject a' yes 10 10 7.6 +1292 4 reject a' reject a' yes 10 10 7.6 +1292 5 reject a' reject a' yes 10 10 7.6 +1292 6 reject a' reject a' yes 10 10 7.6 +1292 7 reject a' reject a' yes 10 10 7.6 +1292 8 reject a reject a yes 10 10 7.6 +1292 9 reject a' reject a' yes 10 10 7.6 +1292 10 accept - accept - yes 10 10 7.6 +1293 0 accept - accept - yes 0 0 7.2 +1297 0 reject b reject b yes 2 2 7.9 +1297 1 reject a' reject a' yes 2 2 7.9 +1297 2 accept - accept - yes 2 2 7.9 +1295 0 reject a' reject a' yes 1 1 8.2 +1295 1 accept - accept - yes 1 1 8.2 +1302 0 accept - accept - yes 0 0 7.8 +1296 0 accept - accept - yes 0 0 9.0 +1300 0 reject a reject a yes 4 4 9.0 +1300 1 reject a' reject a' yes 4 4 9.0 +1300 2 reject a' reject a' yes 4 4 9.0 +1300 3 reject a' reject a' yes 4 4 9.0 +1300 4 accept - accept - yes 4 4 9.0 +1301 0 reject a' reject a' yes 10 10 9.4 +1301 1 reject a reject a yes 10 10 9.4 +1301 2 reject a' reject a' yes 10 10 9.4 +1301 3 reject a reject a yes 10 10 9.4 +1301 4 reject a' reject a' yes 10 10 9.4 +1301 5 reject a reject a yes 10 10 9.4 +1301 6 reject a' reject a' yes 10 10 9.4 +1301 7 reject a' reject a' yes 10 10 9.4 +1301 8 reject a' reject a' yes 10 10 9.4 +1301 9 reject a' reject a' yes 10 10 9.4 +1301 10 accept - accept - yes 10 10 9.4 +1294 0 reject a' reject a' yes 7 7 10.5 +1294 1 reject a' reject a' yes 7 7 10.5 +1294 2 reject a' reject a' yes 7 7 10.5 +1294 3 reject a' reject a' yes 7 7 10.5 +1294 4 reject a' reject a' yes 7 7 10.5 +1294 5 reject a' reject a' yes 7 7 10.5 +1294 6 reject a' reject a' yes 7 7 10.5 +1294 7 accept - accept - yes 7 7 10.5 +1298 0 accept - accept - yes 0 0 10.4 +1299 0 reject a reject a yes 5 5 10.7 +1299 1 reject a' reject a' yes 5 5 10.7 +1299 2 reject a' reject a' yes 5 5 10.7 +1299 3 reject a' reject a' yes 5 5 10.7 +1299 4 reject a' reject a' yes 5 5 10.7 +1299 5 accept - accept - yes 5 5 10.7 +1304 0 reject a reject a yes 3 3 9.5 +1304 1 reject a reject a yes 3 3 9.5 +1304 2 reject a' reject a' yes 3 3 9.5 +1304 3 accept - accept - yes 3 3 9.5 +1305 0 accept - accept - yes 0 0 8.1 +1307 0 reject a reject a yes 2 2 8.7 +1307 1 reject a' reject a' yes 2 2 8.7 +1307 2 accept - accept - yes 2 2 8.7 +1303 0 reject a' reject a' yes 1 1 11.4 +1303 1 accept - accept - yes 1 1 11.4 +1306 0 reject a reject a yes 2 2 9.3 +1306 1 reject b reject b yes 2 2 9.3 +1306 2 accept - accept - yes 2 2 9.3 +1309 0 accept - accept - yes 0 0 8.5 +1310 0 reject a reject a yes 1 1 9.1 +1310 1 accept - accept - yes 1 1 9.1 +1308 0 accept - accept - yes 0 0 10.3 +1312 0 reject a' reject a' yes 1 1 9.4 +1312 1 accept - accept - yes 1 1 9.4 +1311 0 reject a' reject a' yes 2 2 10.4 +1311 1 reject a reject a yes 2 2 10.4 +1311 2 accept - accept - yes 2 2 10.4 +1314 0 reject a' reject a' yes 1 1 9.6 +1314 1 accept - accept - yes 1 1 9.6 +1313 0 reject a' reject a' yes 1 1 10.2 +1313 1 accept - accept - yes 1 1 10.2 +1315 0 accept - accept - yes 0 0 9.4 +1316 0 accept - accept - yes 0 0 9.4 +1319 0 accept - accept - yes 0 0 9.2 +1317 0 reject a' reject a' yes 1 1 10.6 +1317 1 accept - accept - yes 1 1 10.6 +1322 0 accept - accept - yes 0 0 9.0 +1323 0 accept - accept - yes 0 0 8.8 +1320 0 accept - accept - yes 0 0 10.2 +1318 0 accept - accept - yes 0 0 11.4 +1321 0 reject a' reject a' yes 2 2 10.9 +1321 1 reject a' reject a' yes 2 2 10.9 +1321 2 accept - accept - yes 2 2 10.9 +1324 0 reject a reject a yes 1 1 10.0 +1324 1 accept - accept - yes 1 1 10.0 +1326 0 reject a' reject a' yes 1 1 8.6 +1326 1 accept - accept - yes 1 1 8.6 +1325 0 reject a' reject a' yes 1 1 10.9 +1325 1 accept - accept - yes 1 1 10.9 +1328 0 reject a' reject a' yes 3 3 8.8 +1328 1 reject a' reject a' yes 3 3 8.8 +1328 2 reject a' reject a' yes 3 3 8.8 +1328 3 accept - accept - yes 3 3 8.8 +1329 0 reject a' reject a' yes 2 2 8.1 +1329 1 reject a' reject a' yes 2 2 8.1 +1329 2 accept - accept - yes 2 2 8.1 +1330 0 reject a reject a yes 6 6 8.2 +1330 1 reject a' reject a' yes 6 6 8.2 +1330 2 reject a' reject a' yes 6 6 8.2 +1330 3 reject a' reject a' yes 6 6 8.2 +1330 4 reject a' reject a' yes 6 6 8.2 +1330 5 reject a' reject a' yes 6 6 8.2 +1330 6 accept - accept - yes 6 6 8.2 +1327 0 accept - accept - yes 0 0 11.0 +1332 0 accept - accept - yes 0 0 8.5 +1334 0 reject a' reject a' yes 1 1 7.3 +1334 1 accept - accept - yes 1 1 7.3 +1333 0 reject a' reject a' yes 1 1 9.5 +1333 1 accept - accept - yes 1 1 9.5 +1337 0 accept - accept - yes 0 0 7.8 +1331 0 accept - accept - yes 0 0 10.8 +1339 0 accept - accept - yes 0 0 8.0 +1336 0 reject a' reject a' yes 3 3 8.7 +1336 1 reject a' reject a' yes 3 3 8.7 +1336 2 reject a' reject a' yes 3 3 8.7 +1336 3 accept - accept - yes 3 3 8.7 +1342 0 reject a' reject a' yes 4 4 7.4 +1342 1 reject a' reject a' yes 4 4 7.4 +1342 2 reject a reject a yes 4 4 7.4 +1342 3 reject a reject a yes 4 4 7.4 +1342 4 accept - accept - yes 4 4 7.4 +1338 0 reject a' reject a' yes 1 1 10.0 +1338 1 accept - accept - yes 1 1 10.0 +1335 0 accept - accept - yes 0 0 11.1 +1341 0 reject a' reject a' yes 3 3 9.2 +1341 1 reject a' reject a' yes 3 3 9.2 +1341 2 reject a' reject a' yes 3 3 9.2 +1341 3 accept - accept - yes 3 3 9.2 +1343 0 reject a' reject a' yes 2 2 8.1 +1343 1 reject a' reject a' yes 2 2 8.1 +1343 2 accept - accept - yes 2 2 8.1 +1340 0 reject a' reject a' yes 4 4 11.1 +1340 1 reject b reject b yes 4 4 11.1 +1340 2 reject a' reject a' yes 4 4 11.1 +1340 3 reject a reject a yes 4 4 11.1 +1340 4 accept - accept - yes 4 4 11.1 +1345 0 reject a' reject a' yes 5 5 7.8 +1345 1 reject a' reject a' yes 5 5 7.8 +1345 2 reject a' reject a' yes 5 5 7.8 +1345 3 reject a' reject a' yes 5 5 7.8 +1345 4 reject a' reject a' yes 5 5 7.8 +1345 5 accept - accept - yes 5 5 7.8 +1344 0 accept - accept - yes 0 0 8.5 +1346 0 accept - accept - yes 0 0 8.1 +1351 0 accept - accept - yes 0 0 7.3 +1348 0 reject a' reject a' yes 1 1 9.7 +1348 1 accept - accept - yes 1 1 9.7 +1353 0 accept - accept - yes 0 0 7.9 +1350 0 reject a' reject a' yes 1 1 9.8 +1350 1 accept - accept - yes 1 1 9.8 +1355 0 reject b reject b yes 2 2 7.6 +1355 1 reject a' reject a' yes 2 2 7.6 +1355 2 accept - accept - yes 2 2 7.6 +1352 0 reject a' reject a' yes 1 1 10.5 +1352 1 accept - accept - yes 1 1 10.5 +1359 0 reject a' reject a' yes 1 1 7.5 +1359 1 accept - accept - yes 1 1 7.5 +1354 0 reject a' reject a' yes 4 4 10.5 +1354 1 reject b reject b yes 4 4 10.5 +1354 2 reject a reject a yes 4 4 10.5 +1354 3 reject a reject a yes 4 4 10.5 +1354 4 accept - accept - yes 4 4 10.5 +1356 0 accept - accept - yes 0 0 9.6 +1357 0 reject a reject a yes 3 3 10.4 +1357 1 reject a' reject a' yes 3 3 10.4 +1357 2 reject a reject a yes 3 3 10.4 +1357 3 accept - accept - yes 3 3 10.4 +1361 0 accept - accept - yes 0 0 7.9 +1363 0 accept - accept - yes 0 0 7.8 +1362 0 reject a' reject a' yes 2 2 7.9 +1362 1 reject a' reject a' yes 2 2 7.9 +1362 2 accept - accept - yes 2 2 7.9 +1364 0 accept - accept - yes 0 0 7.3 +1360 0 reject a' reject a' yes 3 3 10.6 +1360 1 reject a' reject a' yes 3 3 10.6 +1360 2 reject a' reject a' yes 3 3 10.6 +1360 3 accept - accept - yes 3 3 10.6 +1365 0 reject a' reject a' yes 7 7 8.0 +1365 1 reject a' reject a' yes 7 7 8.0 +1365 2 reject a' reject a' yes 7 7 8.0 +1365 3 reject a' reject a' yes 7 7 8.0 +1365 4 reject a' reject a' yes 7 7 8.0 +1365 5 reject a' reject a' yes 7 7 8.0 +1365 6 reject a' reject a' yes 7 7 8.0 +1365 7 accept - accept - yes 7 7 8.0 +1366 0 accept - accept - yes 0 0 7.4 +1368 0 reject a' reject a' yes 2 2 6.9 +1368 1 reject a' reject a' yes 2 2 6.9 +1368 2 accept - accept - yes 2 2 6.9 +1367 0 reject a reject a yes 1 1 7.5 +1367 1 accept - accept - yes 1 1 7.5 +1370 0 reject a' reject a' yes 5 5 7.2 +1370 1 reject a' reject a' yes 5 5 7.2 +1370 2 reject a' reject a' yes 5 5 7.2 +1370 3 reject a' reject a' yes 5 5 7.2 +1370 4 reject a' reject a' yes 5 5 7.2 +1370 5 accept - accept - yes 5 5 7.2 +1347 0 reject a' reject a' yes 2 2 21.9 +1347 1 reject c'' reject c'' yes 2 2 21.9 +1347 2 accept - accept - yes 2 2 21.9 +1349 0 reject a' reject a' yes 7 7 21.2 +1349 1 reject a reject a yes 7 7 21.2 +1349 2 reject a' reject a' yes 7 7 21.2 +1349 3 reject a' reject a' yes 7 7 21.2 +1349 4 reject c'' reject c'' yes 7 7 21.2 +1349 5 reject a' reject a' yes 7 7 21.2 +1349 6 reject c'' reject c'' yes 7 7 21.2 +1349 7 accept - accept - yes 7 7 21.2 +1372 0 reject a' reject a' yes 3 3 8.3 +1372 1 reject a' reject a' yes 3 3 8.3 +1372 2 reject a' reject a' yes 3 3 8.3 +1372 3 accept - accept - yes 3 3 8.3 +1369 0 reject a' reject a' yes 9 9 10.2 +1369 1 reject a' reject a' yes 9 9 10.2 +1369 2 reject a' reject a' yes 9 9 10.2 +1369 3 reject a' reject a' yes 9 9 10.2 +1369 4 reject a' reject a' yes 9 9 10.2 +1369 5 reject a' reject a' yes 9 9 10.2 +1369 6 reject a' reject a' yes 9 9 10.2 +1369 7 reject a reject a yes 9 9 10.2 +1369 8 reject a' reject a' yes 9 9 10.2 +1369 9 accept - accept - yes 9 9 10.2 +1358 0 reject c'' reject c'' yes 7 7 17.9 +1358 1 reject a' reject a' yes 7 7 17.9 +1358 2 reject a reject a yes 7 7 17.9 +1358 3 reject a' reject a' yes 7 7 17.9 +1358 4 reject a' reject a' yes 7 7 17.9 +1358 5 reject a' reject a' yes 7 7 17.9 +1358 6 reject b reject b yes 7 7 17.9 +1358 7 accept - accept - yes 7 7 17.9 +1375 0 reject a' reject a' yes 1 1 7.8 +1375 1 accept - accept - yes 1 1 7.8 +1374 0 reject a' reject a' yes 1 1 8.2 +1374 1 accept - accept - yes 1 1 8.2 +1376 0 reject a' reject a' yes 1 1 7.9 +1376 1 accept - accept - yes 1 1 7.9 +1371 0 reject a' reject a' yes 1 1 10.2 +1371 1 accept - accept - yes 1 1 10.2 +1373 0 accept - accept - yes 0 0 10.4 +1377 0 reject a' reject a' yes 3 3 8.6 +1377 1 reject a' reject a' yes 3 3 8.6 +1377 2 reject a' reject a' yes 3 3 8.6 +1377 3 accept - accept - yes 3 3 8.6 +1380 0 accept - accept - yes 0 0 9.1 +1379 0 reject a' reject a' yes 3 3 9.3 +1379 1 reject a' reject a' yes 3 3 9.3 +1379 2 reject a' reject a' yes 3 3 9.3 +1379 3 accept - accept - yes 3 3 9.3 +1381 0 accept - accept - yes 0 0 8.2 +1378 0 reject a' reject a' yes 2 2 10.7 +1378 1 reject a' reject a' yes 2 2 10.7 +1378 2 accept - accept - yes 2 2 10.7 +1382 0 reject a' reject a' yes 2 2 9.0 +1382 1 reject a' reject a' yes 2 2 9.0 +1382 2 accept - accept - yes 2 2 9.0 +1383 0 reject a' reject a' yes 8 8 7.6 +1383 1 reject a' reject a' yes 8 8 7.6 +1383 2 reject a' reject a' yes 8 8 7.6 +1383 3 reject a' reject a' yes 8 8 7.6 +1383 4 reject a reject a yes 8 8 7.6 +1383 5 reject a' reject a' yes 8 8 7.6 +1383 6 reject a' reject a' yes 8 8 7.6 +1383 7 reject a' reject a' yes 8 8 7.6 +1383 8 accept - accept - yes 8 8 7.6 +1385 0 accept - accept - yes 0 0 7.7 +1386 0 reject b reject b yes 1 1 8.1 +1386 1 accept - accept - yes 1 1 8.1 +1389 0 reject a' reject a' yes 5 5 7.8 +1389 1 reject a' reject a' yes 5 5 7.8 +1389 2 reject a' reject a' yes 5 5 7.8 +1389 3 reject a' reject a' yes 5 5 7.8 +1389 4 reject a' reject a' yes 5 5 7.8 +1389 5 accept - accept - yes 5 5 7.8 +1390 0 reject a' reject a' yes 4 4 8.0 +1390 1 reject a' reject a' yes 4 4 8.0 +1390 2 reject a' reject a' yes 4 4 8.0 +1390 3 reject a' reject a' yes 4 4 8.0 +1390 4 accept - accept - yes 4 4 8.0 +1391 0 reject a' reject a' yes 6 6 8.3 +1391 1 reject a reject a yes 6 6 8.3 +1391 2 reject a' reject a' yes 6 6 8.3 +1391 3 reject a' reject a' yes 6 6 8.3 +1391 4 reject a' reject a' yes 6 6 8.3 +1391 5 reject a' reject a' yes 6 6 8.3 +1391 6 accept - accept - yes 6 6 8.3 +1384 0 reject a' reject a' yes 1 1 10.8 +1384 1 accept - accept - yes 1 1 10.8 +1388 0 reject a' reject a' yes 3 3 9.3 +1388 1 reject a' reject a' yes 3 3 9.3 +1388 2 reject a reject a yes 3 3 9.3 +1388 3 accept - accept - yes 3 3 9.3 +1387 0 reject a' reject a' yes 1 1 10.6 +1387 1 accept - accept - yes 1 1 10.6 +1392 0 reject a' reject a' yes 3 3 10.5 +1392 1 reject a' reject a' yes 3 3 10.5 +1392 2 reject a' reject a' yes 3 3 10.5 +1392 3 accept - accept - yes 3 3 10.5 +1394 0 accept - accept - yes 0 0 9.0 +1397 0 reject a reject a yes 8 8 7.3 +1397 1 reject a' reject a' yes 8 8 7.3 +1397 2 reject a' reject a' yes 8 8 7.3 +1397 3 reject a' reject a' yes 8 8 7.3 +1397 4 reject a' reject a' yes 8 8 7.3 +1397 5 reject a' reject a' yes 8 8 7.3 +1397 6 reject a' reject a' yes 8 8 7.3 +1397 7 reject a' reject a' yes 8 8 7.3 +1397 8 accept - accept - yes 8 8 7.3 +1395 0 reject a' reject a' yes 1 1 8.0 +1395 1 accept - accept - yes 1 1 8.0 +1396 0 reject a' reject a' yes 1 1 8.2 +1396 1 accept - accept - yes 1 1 8.2 +1399 0 reject a' reject a' yes 3 3 7.3 +1399 1 reject a reject a yes 3 3 7.3 +1399 2 reject a' reject a' yes 3 3 7.3 +1399 3 accept - accept - yes 3 3 7.3 +1393 0 accept - accept - yes 0 0 10.3 +1398 0 reject a reject a yes 3 3 9.9 +1398 1 reject a reject a yes 3 3 9.9 +1398 2 reject a' reject a' yes 3 3 9.9 +1398 3 accept - accept - yes 3 3 9.9 +lease: released 17 pool cores after 117 s, exit 0 +lease: holding 17 pool cores (21,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60, waited 0 s, class adv): adv-accept-3 94-adv-accept-3-verdicts-faithful 1400 +# adv3 verdicts 2026-10-07T20:36:12Z variant faithful seeds 1400..1600 (internal adversarial pass, not an independent review) +seed attempt lib_verdict lib_part second_verdict second_part agree chosen_lib chosen_second secs +1406 0 accept - accept - yes 0 0 7.4 +1400 0 reject a' reject a' yes 4 4 7.7 +1400 1 reject a' reject a' yes 4 4 7.7 +1400 2 reject a' reject a' yes 4 4 7.7 +1400 3 reject a' reject a' yes 4 4 7.7 +1400 4 accept - accept - yes 4 4 7.7 +1408 0 reject a' reject a' yes 3 3 7.7 +1408 1 reject a' reject a' yes 3 3 7.7 +1408 2 reject a' reject a' yes 3 3 7.7 +1408 3 accept - accept - yes 3 3 7.7 +1401 0 reject a' reject a' yes 12 12 7.8 +1401 1 reject a reject a yes 12 12 7.8 +1401 2 reject a reject a yes 12 12 7.8 +1401 3 reject a' reject a' yes 12 12 7.8 +1401 4 reject a' reject a' yes 12 12 7.8 +1401 5 reject a' reject a' yes 12 12 7.8 +1401 6 reject a' reject a' yes 12 12 7.8 +1401 7 reject a' reject a' yes 12 12 7.8 +1401 8 reject a' reject a' yes 12 12 7.8 +1401 9 reject c-constbit reject c-constbit yes 12 12 7.8 +1401 10 reject a' reject a' yes 12 12 7.8 +1401 11 reject a' reject a' yes 12 12 7.8 +1401 12 accept - accept - yes 12 12 7.8 +1413 0 reject a' reject a' yes 3 3 8.0 +1413 1 reject a reject a yes 3 3 8.0 +1413 2 reject b reject b yes 3 3 8.0 +1413 3 accept - accept - yes 3 3 8.0 +1415 0 accept - accept - yes 0 0 8.2 +1414 0 reject b reject b yes 2 2 8.6 +1414 1 reject a' reject a' yes 2 2 8.6 +1414 2 accept - accept - yes 2 2 8.6 +1404 0 reject a' reject a' yes 1 1 8.9 +1404 1 accept - accept - yes 1 1 8.9 +1411 0 reject a reject a yes 3 3 9.0 +1411 1 reject a' reject a' yes 3 3 9.0 +1411 2 reject a' reject a' yes 3 3 9.0 +1411 3 accept - accept - yes 3 3 9.0 +1409 0 reject a' reject a' yes 9 9 9.2 +1409 1 reject a' reject a' yes 9 9 9.2 +1409 2 reject a' reject a' yes 9 9 9.2 +1409 3 reject a' reject a' yes 9 9 9.2 +1409 4 reject a' reject a' yes 9 9 9.2 +1409 5 reject a' reject a' yes 9 9 9.2 +1409 6 reject a' reject a' yes 9 9 9.2 +1409 7 reject a' reject a' yes 9 9 9.2 +1409 8 reject a reject a yes 9 9 9.2 +1409 9 accept - accept - yes 9 9 9.2 +1405 0 reject a' reject a' yes 5 5 9.3 +1405 1 reject a reject a yes 5 5 9.3 +1405 2 reject a' reject a' yes 5 5 9.3 +1405 3 reject a' reject a' yes 5 5 9.3 +1405 4 reject a' reject a' yes 5 5 9.3 +1405 5 accept - accept - yes 5 5 9.3 +1407 0 reject a' reject a' yes 3 3 9.4 +1407 1 reject a' reject a' yes 3 3 9.4 +1407 2 reject a' reject a' yes 3 3 9.4 +1407 3 accept - accept - yes 3 3 9.4 +1402 0 accept - accept - yes 0 0 9.5 +1403 0 accept - accept - yes 0 0 10.0 +1410 0 reject a' reject a' yes 3 3 10.2 +1410 1 reject a' reject a' yes 3 3 10.2 +1410 2 reject a' reject a' yes 3 3 10.2 +1410 3 accept - accept - yes 3 3 10.2 +1416 0 reject a' reject a' yes 1 1 10.6 +1416 1 accept - accept - yes 1 1 10.6 +1412 0 accept - accept - yes 0 0 11.2 +1418 0 accept - accept - yes 0 0 8.8 +1417 0 reject a' reject a' yes 1 1 9.1 +1417 1 accept - accept - yes 1 1 9.1 +1419 0 accept - accept - yes 0 0 8.9 +1420 0 reject a' reject a' yes 2 2 9.0 +1420 1 reject a' reject a' yes 2 2 9.0 +1420 2 accept - accept - yes 2 2 9.0 +1421 0 reject a' reject a' yes 1 1 9.4 +1421 1 accept - accept - yes 1 1 9.4 +1422 0 reject a' reject a' yes 1 1 9.4 +1422 1 accept - accept - yes 1 1 9.4 +1423 0 accept - accept - yes 0 0 9.1 +1427 0 reject b reject b yes 4 4 8.9 +1427 1 reject a' reject a' yes 4 4 8.9 +1427 2 reject a' reject a' yes 4 4 8.9 +1427 3 reject a' reject a' yes 4 4 8.9 +1427 4 accept - accept - yes 4 4 8.9 +1425 0 accept - accept - yes 0 0 9.4 +1429 0 accept - accept - yes 0 0 9.1 +1426 0 accept - accept - yes 0 0 9.8 +1424 0 accept - accept - yes 0 0 10.5 +1428 0 reject a' reject a' yes 7 7 10.1 +1428 1 reject a' reject a' yes 7 7 10.1 +1428 2 reject a' reject a' yes 7 7 10.1 +1428 3 reject a' reject a' yes 7 7 10.1 +1428 4 reject a' reject a' yes 7 7 10.1 +1428 5 reject a' reject a' yes 7 7 10.1 +1428 6 reject a' reject a' yes 7 7 10.1 +1428 7 accept - accept - yes 7 7 10.1 +1430 0 accept - accept - yes 0 0 10.5 +1431 0 reject a' reject a' yes 5 5 10.6 +1431 1 reject a' reject a' yes 5 5 10.6 +1431 2 reject a' reject a' yes 5 5 10.6 +1431 3 reject a' reject a' yes 5 5 10.6 +1431 4 reject a' reject a' yes 5 5 10.6 +1431 5 accept - accept - yes 5 5 10.6 +1432 0 accept - accept - yes 0 0 10.6 +1433 0 accept - accept - yes 0 0 10.7 +1434 0 accept - accept - yes 0 0 7.7 +1436 0 reject a' reject a' yes 7 7 8.1 +1436 1 reject a' reject a' yes 7 7 8.1 +1436 2 reject a reject a yes 7 7 8.1 +1436 3 reject a' reject a' yes 7 7 8.1 +1436 4 reject a' reject a' yes 7 7 8.1 +1436 5 reject a' reject a' yes 7 7 8.1 +1436 6 reject a' reject a' yes 7 7 8.1 +1436 7 accept - accept - yes 7 7 8.1 +1437 0 reject a' reject a' yes 5 5 8.0 +1437 1 reject a' reject a' yes 5 5 8.0 +1437 2 reject a' reject a' yes 5 5 8.0 +1437 3 reject a' reject a' yes 5 5 8.0 +1437 4 reject a' reject a' yes 5 5 8.0 +1437 5 accept - accept - yes 5 5 8.0 +1435 0 accept - accept - yes 0 0 8.4 +1440 0 accept - accept - yes 0 0 7.8 +1438 0 reject a' reject a' yes 5 5 8.4 +1438 1 reject a' reject a' yes 5 5 8.4 +1438 2 reject a' reject a' yes 5 5 8.4 +1438 3 reject a' reject a' yes 5 5 8.4 +1438 4 reject a' reject a' yes 5 5 8.4 +1438 5 accept - accept - yes 5 5 8.4 +1441 0 reject a' reject a' yes 1 1 7.8 +1441 1 accept - accept - yes 1 1 7.8 +1444 0 accept - accept - yes 0 0 8.6 +1439 0 reject a reject a yes 1 1 10.3 +1439 1 accept - accept - yes 1 1 10.3 +1442 0 reject a' reject a' yes 4 4 9.9 +1442 1 reject b reject b yes 4 4 9.9 +1442 2 reject a' reject a' yes 4 4 9.9 +1442 3 reject a' reject a' yes 4 4 9.9 +1442 4 accept - accept - yes 4 4 9.9 +1443 0 accept - accept - yes 0 0 10.2 +1446 0 reject a' reject a' yes 2 2 10.1 +1446 1 reject a' reject a' yes 2 2 10.1 +1446 2 accept - accept - yes 2 2 10.1 +1445 0 reject a' reject a' yes 1 1 11.4 +1445 1 accept - accept - yes 1 1 11.4 +1447 0 accept - accept - yes 0 0 10.9 +1451 0 reject a' reject a' yes 1 1 7.3 +1451 1 accept - accept - yes 1 1 7.3 +1448 0 reject a' reject a' yes 1 1 11.2 +1448 1 accept - accept - yes 1 1 11.2 +1452 0 accept - accept - yes 0 0 7.7 +1450 0 reject a reject a yes 3 3 10.6 +1450 1 reject a' reject a' yes 3 3 10.6 +1450 2 reject a' reject a' yes 3 3 10.6 +1450 3 accept - accept - yes 3 3 10.6 +1453 0 reject a' reject a' yes 3 3 7.8 +1453 1 reject a' reject a' yes 3 3 7.8 +1453 2 reject a' reject a' yes 3 3 7.8 +1453 3 accept - accept - yes 3 3 7.8 +1455 0 accept - accept - yes 0 0 7.7 +1454 0 reject a reject a yes 5 5 8.5 +1454 1 reject a' reject a' yes 5 5 8.5 +1454 2 reject a' reject a' yes 5 5 8.5 +1454 3 reject a' reject a' yes 5 5 8.5 +1454 4 reject a' reject a' yes 5 5 8.5 +1454 5 accept - accept - yes 5 5 8.5 +1457 0 reject a' reject a' yes 7 7 7.9 +1457 1 reject a' reject a' yes 7 7 7.9 +1457 2 reject a' reject a' yes 7 7 7.9 +1457 3 reject a' reject a' yes 7 7 7.9 +1457 4 reject a' reject a' yes 7 7 7.9 +1457 5 reject a' reject a' yes 7 7 7.9 +1457 6 reject a' reject a' yes 7 7 7.9 +1457 7 accept - accept - yes 7 7 7.9 +1456 0 accept - accept - yes 0 0 8.6 +1458 0 accept - accept - yes 0 0 8.5 +1460 0 reject b reject b yes 6 6 8.5 +1460 1 reject a reject a yes 6 6 8.5 +1460 2 reject a' reject a' yes 6 6 8.5 +1460 3 reject a' reject a' yes 6 6 8.5 +1460 4 reject a' reject a' yes 6 6 8.5 +1460 5 reject a' reject a' yes 6 6 8.5 +1460 6 accept - accept - yes 6 6 8.5 +1459 0 reject a reject a yes 4 4 10.3 +1459 1 reject a' reject a' yes 4 4 10.3 +1459 2 reject a' reject a' yes 4 4 10.3 +1459 3 reject a' reject a' yes 4 4 10.3 +1459 4 accept - accept - yes 4 4 10.3 +1461 0 accept - accept - yes 0 0 10.1 +1462 0 accept - accept - yes 0 0 9.7 +1465 0 accept - accept - yes 0 0 8.2 +1467 0 reject a reject a yes 3 3 7.9 +1467 1 reject a reject a yes 3 3 7.9 +1467 2 reject a reject a yes 3 3 7.9 +1467 3 accept - accept - yes 3 3 7.9 +1449 0 reject c'' reject c'' yes 6 6 19.3 +1449 1 reject a' reject a' yes 6 6 19.3 +1449 2 reject c-saturated reject c-saturated yes 6 6 19.3 +1449 3 reject b reject b yes 6 6 19.3 +1449 4 reject a' reject a' yes 6 6 19.3 +1449 5 reject a' reject a' yes 6 6 19.3 +1449 6 accept - accept - yes 6 6 19.3 +1470 0 accept - accept - yes 0 0 7.3 +1472 0 reject a' reject a' yes 1 1 7.4 +1472 1 accept - accept - yes 1 1 7.4 +1471 0 reject a' reject a' yes 4 4 7.8 +1471 1 reject a reject a yes 4 4 7.8 +1471 2 reject a' reject a' yes 4 4 7.8 +1471 3 reject b reject b yes 4 4 7.8 +1471 4 accept - accept - yes 4 4 7.8 +1469 0 reject a' reject a' yes 1 1 8.6 +1469 1 accept - accept - yes 1 1 8.6 +1463 0 reject a' reject a' yes 1 1 10.8 +1463 1 accept - accept - yes 1 1 10.8 +1473 0 reject a' reject a' yes 1 1 7.8 +1473 1 accept - accept - yes 1 1 7.8 +1466 0 reject a' reject a' yes 5 5 10.6 +1466 1 reject a reject a yes 5 5 10.6 +1466 2 reject a' reject a' yes 5 5 10.6 +1466 3 reject a' reject a' yes 5 5 10.6 +1466 4 reject a' reject a' yes 5 5 10.6 +1466 5 accept - accept - yes 5 5 10.6 +1464 0 accept - accept - yes 0 0 11.4 +1468 0 reject a reject a yes 2 2 10.7 +1468 1 reject a' reject a' yes 2 2 10.7 +1468 2 accept - accept - yes 2 2 10.7 +1474 0 accept - accept - yes 0 0 7.6 +1475 0 reject a' reject a' yes 4 4 8.2 +1475 1 reject a' reject a' yes 4 4 8.2 +1475 2 reject a' reject a' yes 4 4 8.2 +1475 3 reject a' reject a' yes 4 4 8.2 +1475 4 accept - accept - yes 4 4 8.2 +1477 0 reject a' reject a' yes 2 2 8.3 +1477 1 reject a' reject a' yes 2 2 8.3 +1477 2 accept - accept - yes 2 2 8.3 +1479 0 accept - accept - yes 0 0 7.5 +1482 0 reject a' reject a' yes 1 1 6.9 +1482 1 accept - accept - yes 1 1 6.9 +1476 0 reject a' reject a' yes 2 2 9.5 +1476 1 reject a' reject a' yes 2 2 9.5 +1476 2 accept - accept - yes 2 2 9.5 +1478 0 accept - accept - yes 0 0 8.5 +1480 0 reject a' reject a' yes 3 3 8.0 +1480 1 reject a' reject a' yes 3 3 8.0 +1480 2 reject a' reject a' yes 3 3 8.0 +1480 3 accept - accept - yes 3 3 8.0 +1483 0 reject b reject b yes 3 3 7.2 +1483 1 reject a' reject a' yes 3 3 7.2 +1483 2 reject a' reject a' yes 3 3 7.2 +1483 3 accept - accept - yes 3 3 7.2 +1481 0 reject a' reject a' yes 2 2 8.1 +1481 1 reject a reject a yes 2 2 8.1 +1481 2 accept - accept - yes 2 2 8.1 +1485 0 accept - accept - yes 0 0 8.0 +1484 0 accept - accept - yes 0 0 8.3 +1487 0 reject a' reject a' yes 1 1 7.7 +1487 1 accept - accept - yes 1 1 7.7 +1486 0 accept - accept - yes 0 0 10.7 +1491 0 accept - accept - yes 0 0 8.6 +1488 0 reject b reject b yes 1 1 10.7 +1488 1 accept - accept - yes 1 1 10.7 +1492 0 accept - accept - yes 0 0 8.3 +1490 0 reject a' reject a' yes 1 1 10.2 +1490 1 accept - accept - yes 1 1 10.2 +1489 0 reject a' reject a' yes 3 3 10.9 +1489 1 reject a reject a yes 3 3 10.9 +1489 2 reject a' reject a' yes 3 3 10.9 +1489 3 accept - accept - yes 3 3 10.9 +1494 0 accept - accept - yes 0 0 8.6 +1496 0 reject a' reject a' yes 3 3 8.5 +1496 1 reject a' reject a' yes 3 3 8.5 +1496 2 reject a' reject a' yes 3 3 8.5 +1496 3 accept - accept - yes 3 3 8.5 +1498 0 reject a' reject a' yes 4 4 8.0 +1498 1 reject a' reject a' yes 4 4 8.0 +1498 2 reject a' reject a' yes 4 4 8.0 +1498 3 reject a' reject a' yes 4 4 8.0 +1498 4 accept - accept - yes 4 4 8.0 +1495 0 accept - accept - yes 0 0 8.9 +1500 0 reject a' reject a' yes 8 8 8.3 +1500 1 reject a' reject a' yes 8 8 8.3 +1500 2 reject a reject a yes 8 8 8.3 +1500 3 reject a' reject a' yes 8 8 8.3 +1500 4 reject a' reject a' yes 8 8 8.3 +1500 5 reject a' reject a' yes 8 8 8.3 +1500 6 reject a' reject a' yes 8 8 8.3 +1500 7 reject a' reject a' yes 8 8 8.3 +1500 8 accept - accept - yes 8 8 8.3 +1497 0 reject a' reject a' yes 1 1 9.0 +1497 1 accept - accept - yes 1 1 9.0 +1499 0 accept - accept - yes 0 0 9.3 +1501 0 reject a' reject a' yes 2 2 8.6 +1501 1 reject a' reject a' yes 2 2 8.6 +1501 2 accept - accept - yes 2 2 8.6 +1503 0 reject a' reject a' yes 1 1 8.6 +1503 1 accept - accept - yes 1 1 8.6 +1502 0 accept - accept - yes 0 0 9.9 +1505 0 accept - accept - yes 0 0 8.7 +1508 0 reject a' reject a' yes 4 4 7.9 +1508 1 reject a' reject a' yes 4 4 7.9 +1508 2 reject a reject a yes 4 4 7.9 +1508 3 reject a' reject a' yes 4 4 7.9 +1508 4 accept - accept - yes 4 4 7.9 +1506 0 reject a' reject a' yes 3 3 8.4 +1506 1 reject a' reject a' yes 3 3 8.4 +1506 2 reject a' reject a' yes 3 3 8.4 +1506 3 accept - accept - yes 3 3 8.4 +1507 0 reject a' reject a' yes 5 5 8.3 +1507 1 reject a' reject a' yes 5 5 8.3 +1507 2 reject a' reject a' yes 5 5 8.3 +1507 3 reject a' reject a' yes 5 5 8.3 +1507 4 reject a' reject a' yes 5 5 8.3 +1507 5 accept - accept - yes 5 5 8.3 +1504 0 reject a' reject a' yes 1 1 10.7 +1504 1 accept - accept - yes 1 1 10.7 +1509 0 reject a' reject a' yes 4 4 9.9 +1509 1 reject a' reject a' yes 4 4 9.9 +1509 2 reject a' reject a' yes 4 4 9.9 +1509 3 reject a' reject a' yes 4 4 9.9 +1509 4 accept - accept - yes 4 4 9.9 +1514 0 accept - accept - yes 0 0 6.9 +1513 0 reject a' reject a' yes 1 1 8.5 +1513 1 accept - accept - yes 1 1 8.5 +1517 0 accept - accept - yes 0 0 7.4 +1518 0 reject a' reject a' yes 4 4 6.8 +1518 1 reject a' reject a' yes 4 4 6.8 +1518 2 reject a' reject a' yes 4 4 6.8 +1518 3 reject a' reject a' yes 4 4 6.8 +1518 4 accept - accept - yes 4 4 6.8 +1515 0 accept - accept - yes 0 0 8.6 +1510 0 reject a' reject a' yes 10 10 9.9 +1510 1 reject a' reject a' yes 10 10 9.9 +1510 2 reject a' reject a' yes 10 10 9.9 +1510 3 reject a' reject a' yes 10 10 9.9 +1510 4 reject a' reject a' yes 10 10 9.9 +1510 5 reject a' reject a' yes 10 10 9.9 +1510 6 reject a' reject a' yes 10 10 9.9 +1510 7 reject a' reject a' yes 10 10 9.9 +1510 8 reject a' reject a' yes 10 10 9.9 +1510 9 reject a' reject a' yes 10 10 9.9 +1510 10 accept - accept - yes 10 10 9.9 +1519 0 accept - accept - yes 0 0 6.5 +1511 0 reject a' reject a' yes 1 1 10.4 +1511 1 accept - accept - yes 1 1 10.4 +1493 0 reject c'' reject c'' yes 4 4 19.8 +1493 1 reject a' reject a' yes 4 4 19.8 +1493 2 reject a' reject a' yes 4 4 19.8 +1493 3 reject a' reject a' yes 4 4 19.8 +1493 4 accept - accept - yes 4 4 19.8 +1516 0 accept - accept - yes 0 0 9.5 +1521 0 reject a' reject a' yes 6 6 6.4 +1521 1 reject a' reject a' yes 6 6 6.4 +1521 2 reject a' reject a' yes 6 6 6.4 +1521 3 reject a' reject a' yes 6 6 6.4 +1521 4 reject a' reject a' yes 6 6 6.4 +1521 5 reject a' reject a' yes 6 6 6.4 +1521 6 accept - accept - yes 6 6 6.4 +1520 0 reject a' reject a' yes 2 2 7.2 +1520 1 reject a reject a yes 2 2 7.2 +1520 2 accept - accept - yes 2 2 7.2 +1523 0 accept - accept - yes 0 0 6.6 +1522 0 accept - accept - yes 0 0 7.2 +1526 0 reject a' reject a' yes 11 11 6.5 +1526 1 reject a' reject a' yes 11 11 6.5 +1526 2 reject a' reject a' yes 11 11 6.5 +1526 3 reject a' reject a' yes 11 11 6.5 +1526 4 reject a' reject a' yes 11 11 6.5 +1526 5 reject a' reject a' yes 11 11 6.5 +1526 6 reject a' reject a' yes 11 11 6.5 +1526 7 reject a' reject a' yes 11 11 6.5 +1526 8 reject a' reject a' yes 11 11 6.5 +1526 9 reject a' reject a' yes 11 11 6.5 +1526 10 reject a' reject a' yes 11 11 6.5 +1526 11 accept - accept - yes 11 11 6.5 +1512 0 reject a' reject a' yes 2 2 14.3 +1512 1 reject c'' reject c'' yes 2 2 14.3 +1512 2 accept - accept - yes 2 2 14.3 +1525 0 reject a' reject a' yes 4 4 7.9 +1525 1 reject a' reject a' yes 4 4 7.9 +1525 2 reject a' reject a' yes 4 4 7.9 +1525 3 reject a' reject a' yes 4 4 7.9 +1525 4 accept - accept - yes 4 4 7.9 +1527 0 accept - accept - yes 0 0 6.9 +1530 0 reject a reject a yes 2 2 6.9 +1530 1 reject a reject a yes 2 2 6.9 +1530 2 accept - accept - yes 2 2 6.9 +1528 0 reject a' reject a' yes 3 3 7.1 +1528 1 reject a reject a yes 3 3 7.1 +1528 2 reject a' reject a' yes 3 3 7.1 +1528 3 accept - accept - yes 3 3 7.1 +1529 0 accept - accept - yes 0 0 7.1 +1532 0 reject a' reject a' yes 2 2 7.3 +1532 1 reject a' reject a' yes 2 2 7.3 +1532 2 accept - accept - yes 2 2 7.3 +1524 0 reject a' reject a' yes 2 2 10.5 +1524 1 reject a' reject a' yes 2 2 10.5 +1524 2 accept - accept - yes 2 2 10.5 +1536 0 reject a' reject a' yes 4 4 7.8 +1536 1 reject a' reject a' yes 4 4 7.8 +1536 2 reject a' reject a' yes 4 4 7.8 +1536 3 reject a' reject a' yes 4 4 7.8 +1536 4 accept - accept - yes 4 4 7.8 +1538 0 reject a reject a yes 2 2 7.9 +1538 1 reject a' reject a' yes 2 2 7.9 +1538 2 accept - accept - yes 2 2 7.9 +1537 0 reject a' reject a' yes 4 4 8.0 +1537 1 reject a' reject a' yes 4 4 8.0 +1537 2 reject a' reject a' yes 4 4 8.0 +1537 3 reject a' reject a' yes 4 4 8.0 +1537 4 accept - accept - yes 4 4 8.0 +1539 0 reject a reject a yes 2 2 8.1 +1539 1 reject a' reject a' yes 2 2 8.1 +1539 2 accept - accept - yes 2 2 8.1 +1531 0 reject a reject a yes 1 1 11.2 +1531 1 accept - accept - yes 1 1 11.2 +1534 0 reject a' reject a' yes 4 4 10.6 +1534 1 reject a' reject a' yes 4 4 10.6 +1534 2 reject a' reject a' yes 4 4 10.6 +1534 3 reject a' reject a' yes 4 4 10.6 +1534 4 accept - accept - yes 4 4 10.6 +1533 0 reject a' reject a' yes 5 5 11.2 +1533 1 reject a' reject a' yes 5 5 11.2 +1533 2 reject a' reject a' yes 5 5 11.2 +1533 3 reject a' reject a' yes 5 5 11.2 +1533 4 reject a' reject a' yes 5 5 11.2 +1533 5 accept - accept - yes 5 5 11.2 +1541 0 reject a' reject a' yes 1 1 7.8 +1541 1 accept - accept - yes 1 1 7.8 +1535 0 reject a' reject a' yes 11 11 11.2 +1535 1 reject a' reject a' yes 11 11 11.2 +1535 2 reject a' reject a' yes 11 11 11.2 +1535 3 reject a' reject a' yes 11 11 11.2 +1535 4 reject a reject a yes 11 11 11.2 +1535 5 reject a' reject a' yes 11 11 11.2 +1535 6 reject a' reject a' yes 11 11 11.2 +1535 7 reject a reject a yes 11 11 11.2 +1535 8 reject a' reject a' yes 11 11 11.2 +1535 9 reject a' reject a' yes 11 11 11.2 +1535 10 reject a' reject a' yes 11 11 11.2 +1535 11 accept - accept - yes 11 11 11.2 +1542 0 accept - accept - yes 0 0 8.6 +1540 0 reject a' reject a' yes 3 3 10.0 +1540 1 reject a reject a yes 3 3 10.0 +1540 2 reject a' reject a' yes 3 3 10.0 +1540 3 accept - accept - yes 3 3 10.0 +1543 0 reject a' reject a' yes 4 4 9.1 +1543 1 reject a reject a yes 4 4 9.1 +1543 2 reject a' reject a' yes 4 4 9.1 +1543 3 reject a' reject a' yes 4 4 9.1 +1543 4 accept - accept - yes 4 4 9.1 +1544 0 reject a' reject a' yes 1 1 8.9 +1544 1 accept - accept - yes 1 1 8.9 +1546 0 accept - accept - yes 0 0 8.8 +1545 0 reject a' reject a' yes 1 1 9.0 +1545 1 accept - accept - yes 1 1 9.0 +1547 0 accept - accept - yes 0 0 8.9 +1548 0 reject a' reject a' yes 3 3 10.5 +1548 1 reject a reject a yes 3 3 10.5 +1548 2 reject a' reject a' yes 3 3 10.5 +1548 3 accept - accept - yes 3 3 10.5 +1549 0 reject a' reject a' yes 9 9 8.6 +1549 1 reject a' reject a' yes 9 9 8.6 +1549 2 reject a reject a yes 9 9 8.6 +1549 3 reject a' reject a' yes 9 9 8.6 +1549 4 reject a' reject a' yes 9 9 8.6 +1549 5 reject a' reject a' yes 9 9 8.6 +1549 6 reject a' reject a' yes 9 9 8.6 +1549 7 reject a' reject a' yes 9 9 8.6 +1549 8 reject a' reject a' yes 9 9 8.6 +1549 9 accept - accept - yes 9 9 8.6 +1550 0 reject a' reject a' yes 5 5 9.4 +1550 1 reject a' reject a' yes 5 5 9.4 +1550 2 reject a' reject a' yes 5 5 9.4 +1550 3 reject a' reject a' yes 5 5 9.4 +1550 4 reject a' reject a' yes 5 5 9.4 +1550 5 accept - accept - yes 5 5 9.4 +1551 0 reject a' reject a' yes 1 1 9.6 +1551 1 accept - accept - yes 1 1 9.6 +1552 0 reject a' reject a' yes 3 3 9.0 +1552 1 reject a reject a yes 3 3 9.0 +1552 2 reject a' reject a' yes 3 3 9.0 +1552 3 accept - accept - yes 3 3 9.0 +1556 0 accept - accept - yes 0 0 8.9 +1553 0 accept - accept - yes 0 0 10.8 +1558 0 reject a' reject a' yes 1 1 8.2 +1558 1 accept - accept - yes 1 1 8.2 +1559 0 reject a' reject a' yes 8 8 8.5 +1559 1 reject a' reject a' yes 8 8 8.5 +1559 2 reject a' reject a' yes 8 8 8.5 +1559 3 reject a' reject a' yes 8 8 8.5 +1559 4 reject a' reject a' yes 8 8 8.5 +1559 5 reject a' reject a' yes 8 8 8.5 +1559 6 reject a' reject a' yes 8 8 8.5 +1559 7 reject a reject a yes 8 8 8.5 +1559 8 accept - accept - yes 8 8 8.5 +1555 0 accept - accept - yes 0 0 11.0 +1554 0 accept - accept - yes 0 0 11.3 +1557 0 reject a' reject a' yes 6 6 10.7 +1557 1 reject a' reject a' yes 6 6 10.7 +1557 2 reject a' reject a' yes 6 6 10.7 +1557 3 reject a' reject a' yes 6 6 10.7 +1557 4 reject a' reject a' yes 6 6 10.7 +1557 5 reject a' reject a' yes 6 6 10.7 +1557 6 accept - accept - yes 6 6 10.7 +1560 0 reject a' reject a' yes 7 7 8.5 +1560 1 reject a' reject a' yes 7 7 8.5 +1560 2 reject a' reject a' yes 7 7 8.5 +1560 3 reject a' reject a' yes 7 7 8.5 +1560 4 reject a' reject a' yes 7 7 8.5 +1560 5 reject a' reject a' yes 7 7 8.5 +1560 6 reject a' reject a' yes 7 7 8.5 +1560 7 accept - accept - yes 7 7 8.5 +1563 0 reject a' reject a' yes 2 2 8.3 +1563 1 reject a' reject a' yes 2 2 8.3 +1563 2 accept - accept - yes 2 2 8.3 +1562 0 accept - accept - yes 0 0 8.5 +1561 0 reject a reject a yes 1 1 8.8 +1561 1 accept - accept - yes 1 1 8.8 +1564 0 accept - accept - yes 0 0 8.4 +1565 0 reject a' reject a' yes 2 2 7.4 +1565 1 reject a' reject a' yes 2 2 7.4 +1565 2 accept - accept - yes 2 2 7.4 +1566 0 reject a' reject a' yes 2 2 8.2 +1566 1 reject b reject b yes 2 2 8.2 +1566 2 accept - accept - yes 2 2 8.2 +1569 0 reject a reject a yes 2 2 7.3 +1569 1 reject a' reject a' yes 2 2 7.3 +1569 2 accept - accept - yes 2 2 7.3 +1568 0 accept - accept - yes 0 0 7.9 +1567 0 reject a' reject a' yes 1 1 10.0 +1567 1 accept - accept - yes 1 1 10.0 +1572 0 accept - accept - yes 0 0 7.5 +1573 0 reject a' reject a' yes 2 2 7.7 +1573 1 reject a' reject a' yes 2 2 7.7 +1573 2 accept - accept - yes 2 2 7.7 +1578 0 reject a' reject a' yes 2 2 7.8 +1578 1 reject a' reject a' yes 2 2 7.8 +1578 2 accept - accept - yes 2 2 7.8 +1580 0 reject a reject a yes 13 13 7.9 +1580 1 reject a' reject a' yes 13 13 7.9 +1580 2 reject a' reject a' yes 13 13 7.9 +1580 3 reject a' reject a' yes 13 13 7.9 +1580 4 reject a' reject a' yes 13 13 7.9 +1580 5 reject a' reject a' yes 13 13 7.9 +1580 6 reject a' reject a' yes 13 13 7.9 +1580 7 reject a' reject a' yes 13 13 7.9 +1580 8 reject a' reject a' yes 13 13 7.9 +1580 9 reject a' reject a' yes 13 13 7.9 +1580 10 reject a' reject a' yes 13 13 7.9 +1580 11 reject a' reject a' yes 13 13 7.9 +1580 12 reject a' reject a' yes 13 13 7.9 +1580 13 accept - accept - yes 13 13 7.9 +1581 0 reject a' reject a' yes 1 1 7.7 +1581 1 accept - accept - yes 1 1 7.7 +1570 0 reject a' reject a' yes 3 3 11.3 +1570 1 reject a' reject a' yes 3 3 11.3 +1570 2 reject b reject b yes 3 3 11.3 +1570 3 accept - accept - yes 3 3 11.3 +1582 0 reject a' reject a' yes 2 2 7.6 +1582 1 reject a' reject a' yes 2 2 7.6 +1582 2 accept - accept - yes 2 2 7.6 +1571 0 reject a' reject a' yes 5 5 11.5 +1571 1 reject a' reject a' yes 5 5 11.5 +1571 2 reject a' reject a' yes 5 5 11.5 +1571 3 reject a' reject a' yes 5 5 11.5 +1571 4 reject a' reject a' yes 5 5 11.5 +1571 5 accept - accept - yes 5 5 11.5 +1575 0 accept - accept - yes 0 0 10.8 +1574 0 reject a' reject a' yes 5 5 11.0 +1574 1 reject a' reject a' yes 5 5 11.0 +1574 2 reject a' reject a' yes 5 5 11.0 +1574 3 reject a' reject a' yes 5 5 11.0 +1574 4 reject a' reject a' yes 5 5 11.0 +1574 5 accept - accept - yes 5 5 11.0 +1576 0 accept - accept - yes 0 0 11.0 +1583 0 reject a reject a yes 10 10 8.1 +1583 1 reject a' reject a' yes 10 10 8.1 +1583 2 reject a' reject a' yes 10 10 8.1 +1583 3 reject a' reject a' yes 10 10 8.1 +1583 4 reject a' reject a' yes 10 10 8.1 +1583 5 reject a' reject a' yes 10 10 8.1 +1583 6 reject a' reject a' yes 10 10 8.1 +1583 7 reject a' reject a' yes 10 10 8.1 +1583 8 reject a' reject a' yes 10 10 8.1 +1583 9 reject a' reject a' yes 10 10 8.1 +1583 10 accept - accept - yes 10 10 8.1 +1584 0 accept - accept - yes 0 0 7.2 +1585 0 accept - accept - yes 0 0 8.0 +1586 0 reject a' reject a' yes 2 2 7.7 +1586 1 reject a' reject a' yes 2 2 7.7 +1586 2 accept - accept - yes 2 2 7.7 +1587 0 accept - accept - yes 0 0 7.3 +1588 0 accept - accept - yes 0 0 7.5 +1589 0 accept - accept - yes 0 0 7.4 +1579 0 reject a' reject a' yes 2 2 15.2 +1579 1 reject c'' reject c'' yes 2 2 15.2 +1579 2 accept - accept - yes 2 2 15.2 +1590 0 reject a' reject a' yes 4 4 7.5 +1590 1 reject a' reject a' yes 4 4 7.5 +1590 2 reject a' reject a' yes 4 4 7.5 +1590 3 reject a' reject a' yes 4 4 7.5 +1590 4 accept - accept - yes 4 4 7.5 +1591 0 reject a' reject a' yes 2 2 7.3 +1591 1 reject a' reject a' yes 2 2 7.3 +1591 2 accept - accept - yes 2 2 7.3 +1593 0 accept - accept - yes 0 0 7.5 +1598 0 reject a' reject a' yes 4 4 7.0 +1598 1 reject a' reject a' yes 4 4 7.0 +1598 2 reject a reject a yes 4 4 7.0 +1598 3 reject a' reject a' yes 4 4 7.0 +1598 4 accept - accept - yes 4 4 7.0 +1599 0 accept - accept - yes 0 0 7.1 +1577 0 reject c'' reject c'' yes 2 2 18.3 +1577 1 reject a' reject a' yes 2 2 18.3 +1577 2 accept - accept - yes 2 2 18.3 +1592 0 reject a' reject a' yes 16 16 10.5 +1592 1 reject a reject a yes 16 16 10.5 +1592 2 reject a' reject a' yes 16 16 10.5 +1592 3 reject a' reject a' yes 16 16 10.5 +1592 4 reject a' reject a' yes 16 16 10.5 +1592 5 reject a' reject a' yes 16 16 10.5 +1592 6 reject a' reject a' yes 16 16 10.5 +1592 7 reject a reject a yes 16 16 10.5 +1592 8 reject a' reject a' yes 16 16 10.5 +1592 9 reject a' reject a' yes 16 16 10.5 +1592 10 reject a' reject a' yes 16 16 10.5 +1592 11 reject a' reject a' yes 16 16 10.5 +1592 12 reject a' reject a' yes 16 16 10.5 +1592 13 reject a' reject a' yes 16 16 10.5 +1592 14 reject a' reject a' yes 16 16 10.5 +1592 15 reject a' reject a' yes 16 16 10.5 +1592 16 accept - accept - yes 16 16 10.5 +1595 0 reject a reject a yes 1 1 10.9 +1595 1 accept - accept - yes 1 1 10.9 +1594 0 reject a' reject a' yes 2 2 11.4 +1594 1 reject a reject a yes 2 2 11.4 +1594 2 accept - accept - yes 2 2 11.4 +1597 0 reject a' reject a' yes 3 3 10.7 +1597 1 reject a' reject a' yes 3 3 10.7 +1597 2 reject a' reject a' yes 3 3 10.7 +1597 3 accept - accept - yes 3 3 10.7 +1596 0 reject a' reject a' yes 2 2 11.5 +1596 1 reject a' reject a' yes 2 2 11.5 +1596 2 accept - accept - yes 2 2 11.5 +lease: released 17 pool cores after 112 s, exit 0 +lease: holding 32 pool cores (21,33,34,35,36,37,38,39,40,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,89,90,91,92,93,94,95, waited 0 s, class adv): adv-accept-3 94-adv-accept-3-verdicts-faithful 1600 +# adv3 verdicts 2026-10-07T20:38:04Z variant faithful seeds 1600..1800 (internal adversarial pass, not an independent review) +seed attempt lib_verdict lib_part second_verdict second_part agree chosen_lib chosen_second secs +1601 0 reject a' reject a' yes 1 1 9.7 +1601 1 accept - accept - yes 1 1 9.7 +1618 0 accept - accept - yes 0 0 10.1 +1627 0 reject a' reject a' yes 1 1 10.4 +1627 1 accept - accept - yes 1 1 10.4 +1612 0 reject a' reject a' yes 1 1 10.6 +1612 1 accept - accept - yes 1 1 10.6 +1623 0 reject a' reject a' yes 3 3 10.6 +1623 1 reject a reject a yes 3 3 10.6 +1623 2 reject a' reject a' yes 3 3 10.6 +1623 3 accept - accept - yes 3 3 10.6 +1603 0 reject a' reject a' yes 1 1 10.6 +1603 1 accept - accept - yes 1 1 10.6 +1608 0 reject a' reject a' yes 4 4 10.7 +1608 1 reject a' reject a' yes 4 4 10.7 +1608 2 reject a' reject a' yes 4 4 10.7 +1608 3 reject a' reject a' yes 4 4 10.7 +1608 4 accept - accept - yes 4 4 10.7 +1613 0 accept - accept - yes 0 0 10.9 +1600 0 reject a' reject a' yes 1 1 10.9 +1600 1 accept - accept - yes 1 1 10.9 +1631 0 accept - accept - yes 0 0 11.0 +1626 0 reject a' reject a' yes 1 1 11.0 +1626 1 accept - accept - yes 1 1 11.0 +1617 0 reject a' reject a' yes 4 4 11.1 +1617 1 reject a' reject a' yes 4 4 11.1 +1617 2 reject a' reject a' yes 4 4 11.1 +1617 3 reject b reject b yes 4 4 11.1 +1617 4 accept - accept - yes 4 4 11.1 +1609 0 reject a' reject a' yes 1 1 11.1 +1609 1 accept - accept - yes 1 1 11.1 +1619 0 reject a reject a yes 1 1 11.3 +1619 1 accept - accept - yes 1 1 11.3 +1611 0 reject a' reject a' yes 3 3 11.4 +1611 1 reject a' reject a' yes 3 3 11.4 +1611 2 reject a' reject a' yes 3 3 11.4 +1611 3 accept - accept - yes 3 3 11.4 +1604 0 accept - accept - yes 0 0 11.4 +1616 0 reject a' reject a' yes 5 5 11.4 +1616 1 reject a' reject a' yes 5 5 11.4 +1616 2 reject a reject a yes 5 5 11.4 +1616 3 reject a' reject a' yes 5 5 11.4 +1616 4 reject a' reject a' yes 5 5 11.4 +1616 5 accept - accept - yes 5 5 11.4 +1610 0 reject a' reject a' yes 5 5 11.5 +1610 1 reject a' reject a' yes 5 5 11.5 +1610 2 reject a' reject a' yes 5 5 11.5 +1610 3 reject a' reject a' yes 5 5 11.5 +1610 4 reject a' reject a' yes 5 5 11.5 +1610 5 accept - accept - yes 5 5 11.5 +1615 0 accept - accept - yes 0 0 11.6 +1629 0 accept - accept - yes 0 0 11.6 +1622 0 reject a' reject a' yes 2 2 11.7 +1622 1 reject a' reject a' yes 2 2 11.7 +1622 2 accept - accept - yes 2 2 11.7 +1628 0 accept - accept - yes 0 0 11.7 +1614 0 accept - accept - yes 0 0 11.9 +1625 0 reject a' reject a' yes 5 5 11.9 +1625 1 reject a' reject a' yes 5 5 11.9 +1625 2 reject a' reject a' yes 5 5 11.9 +1625 3 reject a' reject a' yes 5 5 11.9 +1625 4 reject a' reject a' yes 5 5 11.9 +1625 5 accept - accept - yes 5 5 11.9 +1602 0 reject a' reject a' yes 2 2 11.9 +1602 1 reject a reject a yes 2 2 11.9 +1602 2 accept - accept - yes 2 2 11.9 +1620 0 reject a' reject a' yes 5 5 11.9 +1620 1 reject a' reject a' yes 5 5 11.9 +1620 2 reject a' reject a' yes 5 5 11.9 +1620 3 reject a' reject a' yes 5 5 11.9 +1620 4 reject a' reject a' yes 5 5 11.9 +1620 5 accept - accept - yes 5 5 11.9 +1607 0 accept - accept - yes 0 0 12.1 +1606 0 reject a' reject a' yes 3 3 12.3 +1606 1 reject a' reject a' yes 3 3 12.3 +1606 2 reject a' reject a' yes 3 3 12.3 +1606 3 accept - accept - yes 3 3 12.3 +1624 0 reject a' reject a' yes 2 2 12.3 +1624 1 reject a' reject a' yes 2 2 12.3 +1624 2 accept - accept - yes 2 2 12.3 +1605 0 accept - accept - yes 0 0 12.3 +1621 0 reject b reject b yes 4 4 12.5 +1621 1 reject a' reject a' yes 4 4 12.5 +1621 2 reject a' reject a' yes 4 4 12.5 +1621 3 reject a reject a yes 4 4 12.5 +1621 4 accept - accept - yes 4 4 12.5 +1633 0 reject a' reject a' yes 2 2 10.3 +1633 1 reject a' reject a' yes 2 2 10.3 +1633 2 accept - accept - yes 2 2 10.3 +1644 0 reject a' reject a' yes 1 1 9.3 +1644 1 accept - accept - yes 1 1 9.3 +1641 0 accept - accept - yes 0 0 10.2 +1657 0 reject a' reject a' yes 1 1 9.3 +1657 1 accept - accept - yes 1 1 9.3 +1643 0 reject a' reject a' yes 10 10 10.1 +1643 1 reject a' reject a' yes 10 10 10.1 +1643 2 reject a' reject a' yes 10 10 10.1 +1643 3 reject a' reject a' yes 10 10 10.1 +1643 4 reject a' reject a' yes 10 10 10.1 +1643 5 reject a' reject a' yes 10 10 10.1 +1643 6 reject a' reject a' yes 10 10 10.1 +1643 7 reject a' reject a' yes 10 10 10.1 +1643 8 reject a' reject a' yes 10 10 10.1 +1643 9 reject a' reject a' yes 10 10 10.1 +1643 10 accept - accept - yes 10 10 10.1 +1634 0 accept - accept - yes 0 0 10.8 +1635 0 reject a reject a yes 4 4 10.8 +1635 1 reject a' reject a' yes 4 4 10.8 +1635 2 reject a' reject a' yes 4 4 10.8 +1635 3 reject a' reject a' yes 4 4 10.8 +1635 4 accept - accept - yes 4 4 10.8 +1638 0 reject a' reject a' yes 1 1 10.7 +1638 1 accept - accept - yes 1 1 10.7 +1632 0 reject a' reject a' yes 1 1 11.9 +1632 1 accept - accept - yes 1 1 11.9 +1645 0 reject a' reject a' yes 1 1 10.5 +1645 1 accept - accept - yes 1 1 10.5 +1646 0 accept - accept - yes 0 0 10.5 +1637 0 reject a' reject a' yes 12 12 11.3 +1637 1 reject a' reject a' yes 12 12 11.3 +1637 2 reject a reject a yes 12 12 11.3 +1637 3 reject a reject a yes 12 12 11.3 +1637 4 reject a' reject a' yes 12 12 11.3 +1637 5 reject a reject a yes 12 12 11.3 +1637 6 reject a' reject a' yes 12 12 11.3 +1637 7 reject a' reject a' yes 12 12 11.3 +1637 8 reject b reject b yes 12 12 11.3 +1637 9 reject a reject a yes 12 12 11.3 +1637 10 reject a' reject a' yes 12 12 11.3 +1637 11 reject a' reject a' yes 12 12 11.3 +1637 12 accept - accept - yes 12 12 11.3 +1640 0 reject a' reject a' yes 1 1 11.1 +1640 1 accept - accept - yes 1 1 11.1 +1630 0 reject c'' reject c'' yes 2 2 22.1 +1630 1 reject a' reject a' yes 2 2 22.1 +1630 2 accept - accept - yes 2 2 22.1 +1647 0 reject a' reject a' yes 1 1 10.8 +1647 1 accept - accept - yes 1 1 10.8 +1660 0 reject a' reject a' yes 1 1 10.0 +1660 1 accept - accept - yes 1 1 10.0 +1636 0 accept - accept - yes 0 0 11.8 +1654 0 accept - accept - yes 0 0 10.5 +1648 0 accept - accept - yes 0 0 11.0 +1639 0 reject a' reject a' yes 3 3 11.6 +1639 1 reject a' reject a' yes 3 3 11.6 +1639 2 reject a' reject a' yes 3 3 11.6 +1639 3 accept - accept - yes 3 3 11.6 +1652 0 reject a' reject a' yes 9 9 11.0 +1652 1 reject a' reject a' yes 9 9 11.0 +1652 2 reject a' reject a' yes 9 9 11.0 +1652 3 reject a' reject a' yes 9 9 11.0 +1652 4 reject a' reject a' yes 9 9 11.0 +1652 5 reject a' reject a' yes 9 9 11.0 +1652 6 reject a' reject a' yes 9 9 11.0 +1652 7 reject a' reject a' yes 9 9 11.0 +1652 8 reject a' reject a' yes 9 9 11.0 +1652 9 accept - accept - yes 9 9 11.0 +1649 0 reject a' reject a' yes 4 4 11.3 +1649 1 reject a' reject a' yes 4 4 11.3 +1649 2 reject a' reject a' yes 4 4 11.3 +1649 3 reject a' reject a' yes 4 4 11.3 +1649 4 accept - accept - yes 4 4 11.3 +1653 0 accept - accept - yes 0 0 11.2 +1650 0 reject a reject a yes 8 8 11.4 +1650 1 reject a' reject a' yes 8 8 11.4 +1650 2 reject a reject a yes 8 8 11.4 +1650 3 reject a' reject a' yes 8 8 11.4 +1650 4 reject a' reject a' yes 8 8 11.4 +1650 5 reject a' reject a' yes 8 8 11.4 +1650 6 reject a' reject a' yes 8 8 11.4 +1650 7 reject a' reject a' yes 8 8 11.4 +1650 8 accept - accept - yes 8 8 11.4 +1651 0 reject a' reject a' yes 5 5 11.4 +1651 1 reject a' reject a' yes 5 5 11.4 +1651 2 reject a' reject a' yes 5 5 11.4 +1651 3 reject a' reject a' yes 5 5 11.4 +1651 4 reject a' reject a' yes 5 5 11.4 +1651 5 accept - accept - yes 5 5 11.4 +1655 0 reject a' reject a' yes 1 1 11.2 +1655 1 accept - accept - yes 1 1 11.2 +1659 0 reject a' reject a' yes 2 2 10.9 +1659 1 reject a' reject a' yes 2 2 10.9 +1659 2 accept - accept - yes 2 2 10.9 +1662 0 accept - accept - yes 0 0 10.8 +1642 0 accept - accept - yes 0 0 12.2 +1661 0 accept - accept - yes 0 0 11.3 +1656 0 reject a' reject a' yes 2 2 11.8 +1656 1 reject a' reject a' yes 2 2 11.8 +1656 2 accept - accept - yes 2 2 11.8 +1658 0 reject c-constbit reject c-constbit yes 5 5 12.1 +1658 1 reject a' reject a' yes 5 5 12.1 +1658 2 reject a' reject a' yes 5 5 12.1 +1658 3 reject a' reject a' yes 5 5 12.1 +1658 4 reject a reject a yes 5 5 12.1 +1658 5 accept - accept - yes 5 5 12.1 +1667 0 reject a' reject a' yes 1 1 10.7 +1667 1 accept - accept - yes 1 1 10.7 +1668 0 accept - accept - yes 0 0 10.9 +1664 0 reject a' reject a' yes 2 2 12.1 +1664 1 reject a' reject a' yes 2 2 12.1 +1664 2 accept - accept - yes 2 2 12.1 +1665 0 reject a' reject a' yes 2 2 11.6 +1665 1 reject a reject a yes 2 2 11.6 +1665 2 accept - accept - yes 2 2 11.6 +1663 0 reject a' reject a' yes 8 8 12.6 +1663 1 reject a' reject a' yes 8 8 12.6 +1663 2 reject a' reject a' yes 8 8 12.6 +1663 3 reject a' reject a' yes 8 8 12.6 +1663 4 reject a' reject a' yes 8 8 12.6 +1663 5 reject a' reject a' yes 8 8 12.6 +1663 6 reject a' reject a' yes 8 8 12.6 +1663 7 reject a' reject a' yes 8 8 12.6 +1663 8 accept - accept - yes 8 8 12.6 +1680 0 accept - accept - yes 0 0 11.2 +1677 0 reject a' reject a' yes 2 2 11.5 +1677 1 reject a' reject a' yes 2 2 11.5 +1677 2 accept - accept - yes 2 2 11.5 +1666 0 reject a' reject a' yes 2 2 12.8 +1666 1 reject a' reject a' yes 2 2 12.8 +1666 2 accept - accept - yes 2 2 12.8 +1672 0 reject c-constbit reject c-constbit yes 5 5 12.2 +1672 1 reject a' reject a' yes 5 5 12.2 +1672 2 reject a' reject a' yes 5 5 12.2 +1672 3 reject a' reject a' yes 5 5 12.2 +1672 4 reject a' reject a' yes 5 5 12.2 +1672 5 accept - accept - yes 5 5 12.2 +1669 0 accept - accept - yes 0 0 12.7 +1683 0 reject a' reject a' yes 5 5 11.5 +1683 1 reject a' reject a' yes 5 5 11.5 +1683 2 reject a' reject a' yes 5 5 11.5 +1683 3 reject a' reject a' yes 5 5 11.5 +1683 4 reject a reject a yes 5 5 11.5 +1683 5 accept - accept - yes 5 5 11.5 +1681 0 reject a' reject a' yes 2 2 12.0 +1681 1 reject a' reject a' yes 2 2 12.0 +1681 2 accept - accept - yes 2 2 12.0 +1673 0 accept - accept - yes 0 0 12.7 +1679 0 reject a' reject a' yes 3 3 12.1 +1679 1 reject a' reject a' yes 3 3 12.1 +1679 2 reject a' reject a' yes 3 3 12.1 +1679 3 accept - accept - yes 3 3 12.1 +1671 0 accept - accept - yes 0 0 12.9 +1675 0 reject a' reject a' yes 1 1 12.6 +1675 1 accept - accept - yes 1 1 12.6 +1692 0 reject a' reject a' yes 3 3 11.1 +1692 1 reject a' reject a' yes 3 3 11.1 +1692 2 reject a' reject a' yes 3 3 11.1 +1692 3 accept - accept - yes 3 3 11.1 +1682 0 accept - accept - yes 0 0 12.2 +1676 0 accept - accept - yes 0 0 12.6 +1678 0 reject a' reject a' yes 8 8 12.6 +1678 1 reject a' reject a' yes 8 8 12.6 +1678 2 reject b reject b yes 8 8 12.6 +1678 3 reject a' reject a' yes 8 8 12.6 +1678 4 reject a' reject a' yes 8 8 12.6 +1678 5 reject a' reject a' yes 8 8 12.6 +1678 6 reject a' reject a' yes 8 8 12.6 +1678 7 reject a reject a yes 8 8 12.6 +1678 8 accept - accept - yes 8 8 12.6 +1688 0 reject a' reject a' yes 3 3 11.9 +1688 1 reject a reject a yes 3 3 11.9 +1688 2 reject a' reject a' yes 3 3 11.9 +1688 3 accept - accept - yes 3 3 11.9 +1684 0 reject a' reject a' yes 4 4 12.3 +1684 1 reject a reject a yes 4 4 12.3 +1684 2 reject a reject a yes 4 4 12.3 +1684 3 reject a' reject a' yes 4 4 12.3 +1684 4 accept - accept - yes 4 4 12.3 +1674 0 reject a reject a yes 2 2 13.2 +1674 1 reject a' reject a' yes 2 2 13.2 +1674 2 accept - accept - yes 2 2 13.2 +1686 0 accept - accept - yes 0 0 12.2 +1693 0 reject a' reject a' yes 5 5 11.6 +1693 1 reject a' reject a' yes 5 5 11.6 +1693 2 reject b reject b yes 5 5 11.6 +1693 3 reject a' reject a' yes 5 5 11.6 +1693 4 reject a' reject a' yes 5 5 11.6 +1693 5 accept - accept - yes 5 5 11.6 +1685 0 reject a' reject a' yes 4 4 12.6 +1685 1 reject b reject b yes 4 4 12.6 +1685 2 reject a' reject a' yes 4 4 12.6 +1685 3 reject a' reject a' yes 4 4 12.6 +1685 4 accept - accept - yes 4 4 12.6 +1687 0 reject a' reject a' yes 1 1 12.8 +1687 1 accept - accept - yes 1 1 12.8 +1690 0 reject b reject b yes 4 4 12.6 +1690 1 reject a reject a yes 4 4 12.6 +1690 2 reject a' reject a' yes 4 4 12.6 +1690 3 reject a' reject a' yes 4 4 12.6 +1690 4 accept - accept - yes 4 4 12.6 +1691 0 reject a' reject a' yes 2 2 12.6 +1691 1 reject a' reject a' yes 2 2 12.6 +1691 2 accept - accept - yes 2 2 12.6 +1689 0 reject b reject b yes 8 8 12.8 +1689 1 reject a' reject a' yes 8 8 12.8 +1689 2 reject c-constbit reject c-constbit yes 8 8 12.8 +1689 3 reject a' reject a' yes 8 8 12.8 +1689 4 reject a' reject a' yes 8 8 12.8 +1689 5 reject a' reject a' yes 8 8 12.8 +1689 6 reject a reject a yes 8 8 12.8 +1689 7 reject a' reject a' yes 8 8 12.8 +1689 8 accept - accept - yes 8 8 12.8 +1694 0 reject a' reject a' yes 1 1 12.5 +1694 1 accept - accept - yes 1 1 12.5 +1695 0 reject a' reject a' yes 1 1 11.9 +1695 1 accept - accept - yes 1 1 11.9 +1696 0 accept - accept - yes 0 0 12.0 +1697 0 accept - accept - yes 0 0 12.0 +1698 0 reject a' reject a' yes 2 2 12.1 +1698 1 reject a' reject a' yes 2 2 12.1 +1698 2 accept - accept - yes 2 2 12.1 +1699 0 reject a' reject a' yes 1 1 12.2 +1699 1 accept - accept - yes 1 1 12.2 +1702 0 accept - accept - yes 0 0 11.4 +1704 0 reject a' reject a' yes 3 3 11.5 +1704 1 reject a' reject a' yes 3 3 11.5 +1704 2 reject a' reject a' yes 3 3 11.5 +1704 3 accept - accept - yes 3 3 11.5 +1705 0 accept - accept - yes 0 0 11.3 +1708 0 accept - accept - yes 0 0 11.0 +1711 0 reject a reject a yes 2 2 10.9 +1711 1 reject a' reject a' yes 2 2 10.9 +1711 2 accept - accept - yes 2 2 10.9 +1701 0 accept - accept - yes 0 0 11.9 +1700 0 accept - accept - yes 0 0 12.1 +1712 0 reject a' reject a' yes 1 1 11.1 +1712 1 accept - accept - yes 1 1 11.1 +1703 0 reject a' reject a' yes 1 1 12.1 +1703 1 accept - accept - yes 1 1 12.1 +1670 0 reject c'' reject c'' yes 3 3 24.7 +1670 1 reject a' reject a' yes 3 3 24.7 +1670 2 reject a reject a yes 3 3 24.7 +1670 3 accept - accept - yes 3 3 24.7 +1709 0 reject a' reject a' yes 1 1 11.7 +1709 1 accept - accept - yes 1 1 11.7 +1715 0 accept - accept - yes 0 0 11.3 +1706 0 reject a' reject a' yes 1 1 11.9 +1706 1 accept - accept - yes 1 1 11.9 +1714 0 accept - accept - yes 0 0 11.5 +1710 0 accept - accept - yes 0 0 11.8 +1713 0 reject a' reject a' yes 1 1 11.7 +1713 1 accept - accept - yes 1 1 11.7 +1707 0 reject a' reject a' yes 2 2 12.2 +1707 1 reject a' reject a' yes 2 2 12.2 +1707 2 accept - accept - yes 2 2 12.2 +1719 0 accept - accept - yes 0 0 11.4 +1718 0 reject a' reject a' yes 3 3 11.7 +1718 1 reject a' reject a' yes 3 3 11.7 +1718 2 reject a' reject a' yes 3 3 11.7 +1718 3 accept - accept - yes 3 3 11.7 +1717 0 accept - accept - yes 0 0 11.8 +1723 0 reject a' reject a' yes 1 1 11.1 +1723 1 accept - accept - yes 1 1 11.1 +1716 0 reject a' reject a' yes 1 1 11.9 +1716 1 accept - accept - yes 1 1 11.9 +1724 0 accept - accept - yes 0 0 11.2 +1722 0 reject a' reject a' yes 2 2 11.8 +1722 1 reject a' reject a' yes 2 2 11.8 +1722 2 accept - accept - yes 2 2 11.8 +1721 0 reject a' reject a' yes 3 3 11.9 +1721 1 reject a' reject a' yes 3 3 11.9 +1721 2 reject a reject a yes 3 3 11.9 +1721 3 accept - accept - yes 3 3 11.9 +1720 0 reject a' reject a' yes 4 4 12.2 +1720 1 reject a' reject a' yes 4 4 12.2 +1720 2 reject a' reject a' yes 4 4 12.2 +1720 3 reject a reject a yes 4 4 12.2 +1720 4 accept - accept - yes 4 4 12.2 +1725 0 reject a' reject a' yes 3 3 11.6 +1725 1 reject a' reject a' yes 3 3 11.6 +1725 2 reject a' reject a' yes 3 3 11.6 +1725 3 accept - accept - yes 3 3 11.6 +1726 0 reject a' reject a' yes 1 1 12.4 +1726 1 accept - accept - yes 1 1 12.4 +1727 0 reject a' reject a' yes 3 3 12.6 +1727 1 reject a reject a yes 3 3 12.6 +1727 2 reject a reject a yes 3 3 12.6 +1727 3 accept - accept - yes 3 3 12.6 +1734 0 reject a' reject a' yes 1 1 11.9 +1734 1 accept - accept - yes 1 1 11.9 +1732 0 accept - accept - yes 0 0 12.1 +1729 0 reject a' reject a' yes 3 3 13.0 +1729 1 reject a' reject a' yes 3 3 13.0 +1729 2 reject a' reject a' yes 3 3 13.0 +1729 3 accept - accept - yes 3 3 13.0 +1728 0 reject a' reject a' yes 5 5 13.7 +1728 1 reject a' reject a' yes 5 5 13.7 +1728 2 reject a' reject a' yes 5 5 13.7 +1728 3 reject a' reject a' yes 5 5 13.7 +1728 4 reject a reject a yes 5 5 13.7 +1728 5 accept - accept - yes 5 5 13.7 +1733 0 accept - accept - yes 0 0 12.8 +1735 0 reject a' reject a' yes 1 1 12.8 +1735 1 accept - accept - yes 1 1 12.8 +1731 0 accept - accept - yes 0 0 13.2 +1744 0 accept - accept - yes 0 0 12.2 +1740 0 reject a reject a yes 1 1 12.3 +1740 1 accept - accept - yes 1 1 12.3 +1739 0 reject a' reject a' yes 1 1 12.6 +1739 1 accept - accept - yes 1 1 12.6 +1730 0 accept - accept - yes 0 0 13.7 +1738 0 reject a' reject a' yes 2 2 13.1 +1738 1 reject a' reject a' yes 2 2 13.1 +1738 2 accept - accept - yes 2 2 13.1 +1747 0 reject a' reject a' yes 6 6 12.3 +1747 1 reject a' reject a' yes 6 6 12.3 +1747 2 reject a' reject a' yes 6 6 12.3 +1747 3 reject a' reject a' yes 6 6 12.3 +1747 4 reject a' reject a' yes 6 6 12.3 +1747 5 reject a' reject a' yes 6 6 12.3 +1747 6 accept - accept - yes 6 6 12.3 +1746 0 reject a' reject a' yes 1 1 12.5 +1746 1 accept - accept - yes 1 1 12.5 +1742 0 reject a' reject a' yes 5 5 12.9 +1742 1 reject a' reject a' yes 5 5 12.9 +1742 2 reject a' reject a' yes 5 5 12.9 +1742 3 reject a' reject a' yes 5 5 12.9 +1742 4 reject a' reject a' yes 5 5 12.9 +1742 5 accept - accept - yes 5 5 12.9 +1736 0 accept - accept - yes 0 0 13.8 +1752 0 reject a' reject a' yes 5 5 12.5 +1752 1 reject a' reject a' yes 5 5 12.5 +1752 2 reject a' reject a' yes 5 5 12.5 +1752 3 reject a' reject a' yes 5 5 12.5 +1752 4 reject a' reject a' yes 5 5 12.5 +1752 5 accept - accept - yes 5 5 12.5 +1748 0 accept - accept - yes 0 0 13.0 +1750 0 accept - accept - yes 0 0 13.0 +1756 0 accept - accept - yes 0 0 12.2 +1754 0 accept - accept - yes 0 0 12.4 +1749 0 reject a' reject a' yes 6 6 13.2 +1749 1 reject a' reject a' yes 6 6 13.2 +1749 2 reject b reject b yes 6 6 13.2 +1749 3 reject a' reject a' yes 6 6 13.2 +1749 4 reject a' reject a' yes 6 6 13.2 +1749 5 reject a' reject a' yes 6 6 13.2 +1749 6 accept - accept - yes 6 6 13.2 +1743 0 reject a' reject a' yes 2 2 13.8 +1743 1 reject a' reject a' yes 2 2 13.8 +1743 2 accept - accept - yes 2 2 13.8 +1741 0 reject a' reject a' yes 3 3 14.0 +1741 1 reject a' reject a' yes 3 3 14.0 +1741 2 reject a' reject a' yes 3 3 14.0 +1741 3 accept - accept - yes 3 3 14.0 +1755 0 accept - accept - yes 0 0 12.9 +1757 0 reject a' reject a' yes 1 1 12.5 +1757 1 accept - accept - yes 1 1 12.5 +1753 0 accept - accept - yes 0 0 13.7 +1759 0 reject a' reject a' yes 8 8 11.2 +1759 1 reject a' reject a' yes 8 8 11.2 +1759 2 reject a' reject a' yes 8 8 11.2 +1759 3 reject a' reject a' yes 8 8 11.2 +1759 4 reject a' reject a' yes 8 8 11.2 +1759 5 reject a' reject a' yes 8 8 11.2 +1759 6 reject a' reject a' yes 8 8 11.2 +1759 7 reject a' reject a' yes 8 8 11.2 +1759 8 accept - accept - yes 8 8 11.2 +1758 0 reject a' reject a' yes 6 6 12.0 +1758 1 reject a' reject a' yes 6 6 12.0 +1758 2 reject a' reject a' yes 6 6 12.0 +1758 3 reject a' reject a' yes 6 6 12.0 +1758 4 reject a' reject a' yes 6 6 12.0 +1758 5 reject a' reject a' yes 6 6 12.0 +1758 6 accept - accept - yes 6 6 12.0 +1763 0 reject a' reject a' yes 3 3 11.2 +1763 1 reject b reject b yes 3 3 11.2 +1763 2 reject a reject a yes 3 3 11.2 +1763 3 accept - accept - yes 3 3 11.2 +1761 0 reject a reject a yes 11 11 11.8 +1761 1 reject a' reject a' yes 11 11 11.8 +1761 2 reject a' reject a' yes 11 11 11.8 +1761 3 reject a' reject a' yes 11 11 11.8 +1761 4 reject a' reject a' yes 11 11 11.8 +1761 5 reject a' reject a' yes 11 11 11.8 +1761 6 reject a' reject a' yes 11 11 11.8 +1761 7 reject a' reject a' yes 11 11 11.8 +1761 8 reject a' reject a' yes 11 11 11.8 +1761 9 reject a' reject a' yes 11 11 11.8 +1761 10 reject a' reject a' yes 11 11 11.8 +1761 11 accept - accept - yes 11 11 11.8 +1762 0 reject a' reject a' yes 4 4 11.7 +1762 1 reject a reject a yes 4 4 11.7 +1762 2 reject a' reject a' yes 4 4 11.7 +1762 3 reject a' reject a' yes 4 4 11.7 +1762 4 accept - accept - yes 4 4 11.7 +1766 0 reject a' reject a' yes 2 2 11.2 +1766 1 reject a' reject a' yes 2 2 11.2 +1766 2 accept - accept - yes 2 2 11.2 +1765 0 accept - accept - yes 0 0 11.4 +1760 0 accept - accept - yes 0 0 12.7 +1764 0 accept - accept - yes 0 0 12.0 +1774 0 reject a' reject a' yes 5 5 11.1 +1774 1 reject a' reject a' yes 5 5 11.1 +1774 2 reject a' reject a' yes 5 5 11.1 +1774 3 reject a' reject a' yes 5 5 11.1 +1774 4 reject a' reject a' yes 5 5 11.1 +1774 5 accept - accept - yes 5 5 11.1 +1745 0 reject a' reject a' yes 8 8 24.2 +1745 1 reject a' reject a' yes 8 8 24.2 +1745 2 reject a' reject a' yes 8 8 24.2 +1745 3 reject a' reject a' yes 8 8 24.2 +1745 4 reject a' reject a' yes 8 8 24.2 +1745 5 reject a reject a yes 8 8 24.2 +1745 6 reject c-distinct reject c-distinct yes 8 8 24.2 +1745 7 reject a' reject a' yes 8 8 24.2 +1745 8 accept - accept - yes 8 8 24.2 +1775 0 accept - accept - yes 0 0 11.3 +1767 0 accept - accept - yes 0 0 12.3 +1771 0 accept - accept - yes 0 0 11.9 +1769 0 reject a' reject a' yes 2 2 12.2 +1769 1 reject a' reject a' yes 2 2 12.2 +1769 2 accept - accept - yes 2 2 12.2 +1781 0 reject a' reject a' yes 9 9 10.9 +1781 1 reject a' reject a' yes 9 9 10.9 +1781 2 reject a' reject a' yes 9 9 10.9 +1781 3 reject a' reject a' yes 9 9 10.9 +1781 4 reject a' reject a' yes 9 9 10.9 +1781 5 reject a' reject a' yes 9 9 10.9 +1781 6 reject a' reject a' yes 9 9 10.9 +1781 7 reject a' reject a' yes 9 9 10.9 +1781 8 reject a' reject a' yes 9 9 10.9 +1781 9 accept - accept - yes 9 9 10.9 +1768 0 reject a' reject a' yes 1 1 12.5 +1768 1 accept - accept - yes 1 1 12.5 +1770 0 accept - accept - yes 0 0 12.3 +1772 0 reject a' reject a' yes 4 4 12.2 +1772 1 reject a' reject a' yes 4 4 12.2 +1772 2 reject a' reject a' yes 4 4 12.2 +1772 3 reject a' reject a' yes 4 4 12.2 +1772 4 accept - accept - yes 4 4 12.2 +1776 0 reject a reject a yes 2 2 11.7 +1776 1 reject a' reject a' yes 2 2 11.7 +1776 2 accept - accept - yes 2 2 11.7 +1773 0 reject a' reject a' yes 1 1 12.4 +1773 1 accept - accept - yes 1 1 12.4 +1779 0 reject a reject a yes 9 9 11.6 +1779 1 reject a' reject a' yes 9 9 11.6 +1779 2 reject a' reject a' yes 9 9 11.6 +1779 3 reject a' reject a' yes 9 9 11.6 +1779 4 reject a' reject a' yes 9 9 11.6 +1779 5 reject a' reject a' yes 9 9 11.6 +1779 6 reject a' reject a' yes 9 9 11.6 +1779 7 reject b reject b yes 9 9 11.6 +1779 8 reject a' reject a' yes 9 9 11.6 +1779 9 accept - accept - yes 9 9 11.6 +1780 0 reject a' reject a' yes 1 1 11.7 +1780 1 accept - accept - yes 1 1 11.7 +1782 0 accept - accept - yes 0 0 11.6 +1737 0 reject a reject a yes 7 7 26.1 +1737 1 reject a reject a yes 7 7 26.1 +1737 2 reject a' reject a' yes 7 7 26.1 +1737 3 reject c'' reject c'' yes 7 7 26.1 +1737 4 reject a' reject a' yes 7 7 26.1 +1737 5 reject a' reject a' yes 7 7 26.1 +1737 6 reject a' reject a' yes 7 7 26.1 +1737 7 accept - accept - yes 7 7 26.1 +1778 0 reject a' reject a' yes 3 3 11.9 +1778 1 reject a' reject a' yes 3 3 11.9 +1778 2 reject a' reject a' yes 3 3 11.9 +1778 3 accept - accept - yes 3 3 11.9 +1783 0 reject a' reject a' yes 1 1 11.9 +1783 1 accept - accept - yes 1 1 11.9 +1777 0 reject a' reject a' yes 3 3 12.4 +1777 1 reject a' reject a' yes 3 3 12.4 +1777 2 reject a' reject a' yes 3 3 12.4 +1777 3 accept - accept - yes 3 3 12.4 +1784 0 reject a' reject a' yes 1 1 11.7 +1784 1 accept - accept - yes 1 1 11.7 +1786 0 reject a reject a yes 2 2 11.6 +1786 1 reject a reject a yes 2 2 11.6 +1786 2 accept - accept - yes 2 2 11.6 +1785 0 reject a' reject a' yes 2 2 11.8 +1785 1 reject a' reject a' yes 2 2 11.8 +1785 2 accept - accept - yes 2 2 11.8 +1788 0 reject a' reject a' yes 9 9 8.7 +1788 1 reject a' reject a' yes 9 9 8.7 +1788 2 reject a' reject a' yes 9 9 8.7 +1788 3 reject a' reject a' yes 9 9 8.7 +1788 4 reject a reject a yes 9 9 8.7 +1788 5 reject a' reject a' yes 9 9 8.7 +1788 6 reject a' reject a' yes 9 9 8.7 +1788 7 reject a' reject a' yes 9 9 8.7 +1788 8 reject a' reject a' yes 9 9 8.7 +1788 9 accept - accept - yes 9 9 8.7 +1790 0 accept - accept - yes 0 0 8.0 +1792 0 reject a' reject a' yes 1 1 7.9 +1792 1 accept - accept - yes 1 1 7.9 +1795 0 accept - accept - yes 0 0 7.5 +1796 0 accept - accept - yes 0 0 7.7 +1794 0 reject a' reject a' yes 1 1 8.0 +1794 1 accept - accept - yes 1 1 8.0 +1791 0 accept - accept - yes 0 0 9.5 +1798 0 accept - accept - yes 0 0 8.9 +1787 0 reject a' reject a' yes 6 6 11.7 +1787 1 reject a' reject a' yes 6 6 11.7 +1787 2 reject a' reject a' yes 6 6 11.7 +1787 3 reject a' reject a' yes 6 6 11.7 +1787 4 reject a' reject a' yes 6 6 11.7 +1787 5 reject a' reject a' yes 6 6 11.7 +1787 6 accept - accept - yes 6 6 11.7 +1789 0 reject a' reject a' yes 1 1 10.6 +1789 1 accept - accept - yes 1 1 10.6 +1793 0 reject a' reject a' yes 2 2 11.2 +1793 1 reject a' reject a' yes 2 2 11.2 +1793 2 accept - accept - yes 2 2 11.2 +1799 0 reject a' reject a' yes 2 2 10.5 +1799 1 reject a' reject a' yes 2 2 10.5 +1799 2 accept - accept - yes 2 2 10.5 +1751 0 reject c'' reject c'' yes 2 2 34.6 +1751 1 reject c'' reject c'' yes 2 2 34.6 +1751 2 accept - accept - yes 2 2 34.6 +1797 0 reject a' reject a' yes 2 2 11.3 +1797 1 reject a' reject a' yes 2 2 11.3 +1797 2 accept - accept - yes 2 2 11.3 +lease: released 32 pool cores after 82 s, exit 0 +lease: holding 32 pool cores (21,33,34,35,36,37,38,39,40,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,89,90,91,92,93,94,95, waited 0 s, class adv): adv-accept-3 94-adv-accept-3-verdicts-faithful 1800 +# adv3 verdicts 2026-10-07T20:39:26Z variant faithful seeds 1800..2000 (internal adversarial pass, not an independent review) +seed attempt lib_verdict lib_part second_verdict second_part agree chosen_lib chosen_second secs +1802 0 reject a' reject a' yes 2 2 11.3 +1802 1 reject a reject a yes 2 2 11.3 +1802 2 accept - accept - yes 2 2 11.3 +1811 0 accept - accept - yes 0 0 11.5 +1801 0 reject a' reject a' yes 1 1 11.6 +1801 1 accept - accept - yes 1 1 11.6 +1807 0 reject a' reject a' yes 2 2 11.6 +1807 1 reject a' reject a' yes 2 2 11.6 +1807 2 accept - accept - yes 2 2 11.6 +1825 0 reject a reject a yes 2 2 11.6 +1825 1 reject a' reject a' yes 2 2 11.6 +1825 2 accept - accept - yes 2 2 11.6 +1827 0 reject a' reject a' yes 5 5 11.7 +1827 1 reject a' reject a' yes 5 5 11.7 +1827 2 reject a' reject a' yes 5 5 11.7 +1827 3 reject a' reject a' yes 5 5 11.7 +1827 4 reject a' reject a' yes 5 5 11.7 +1827 5 accept - accept - yes 5 5 11.7 +1817 0 reject a reject a yes 3 3 11.7 +1817 1 reject a' reject a' yes 3 3 11.7 +1817 2 reject a reject a yes 3 3 11.7 +1817 3 accept - accept - yes 3 3 11.7 +1813 0 accept - accept - yes 0 0 11.9 +1800 0 accept - accept - yes 0 0 12.0 +1824 0 reject a' reject a' yes 3 3 12.1 +1824 1 reject a reject a yes 3 3 12.1 +1824 2 reject a' reject a' yes 3 3 12.1 +1824 3 accept - accept - yes 3 3 12.1 +1812 0 accept - accept - yes 0 0 12.1 +1808 0 reject a' reject a' yes 3 3 12.1 +1808 1 reject a' reject a' yes 3 3 12.1 +1808 2 reject a' reject a' yes 3 3 12.1 +1808 3 accept - accept - yes 3 3 12.1 +1809 0 reject b reject b yes 3 3 12.2 +1809 1 reject a' reject a' yes 3 3 12.2 +1809 2 reject a' reject a' yes 3 3 12.2 +1809 3 accept - accept - yes 3 3 12.2 +1818 0 reject a reject a yes 2 2 12.3 +1818 1 reject a' reject a' yes 2 2 12.3 +1818 2 accept - accept - yes 2 2 12.3 +1821 0 accept - accept - yes 0 0 12.3 +1819 0 reject a' reject a' yes 2 2 12.3 +1819 1 reject a' reject a' yes 2 2 12.3 +1819 2 accept - accept - yes 2 2 12.3 +1816 0 reject a' reject a' yes 1 1 12.4 +1816 1 accept - accept - yes 1 1 12.4 +1810 0 reject a' reject a' yes 2 2 12.4 +1810 1 reject a' reject a' yes 2 2 12.4 +1810 2 accept - accept - yes 2 2 12.4 +1820 0 reject a' reject a' yes 3 3 12.5 +1820 1 reject a' reject a' yes 3 3 12.5 +1820 2 reject a' reject a' yes 3 3 12.5 +1820 3 accept - accept - yes 3 3 12.5 +1804 0 reject a' reject a' yes 3 3 12.5 +1804 1 reject a' reject a' yes 3 3 12.5 +1804 2 reject a' reject a' yes 3 3 12.5 +1804 3 accept - accept - yes 3 3 12.5 +1815 0 accept - accept - yes 0 0 12.5 +1803 0 accept - accept - yes 0 0 12.5 +1826 0 reject a' reject a' yes 1 1 12.5 +1826 1 accept - accept - yes 1 1 12.5 +1829 0 accept - accept - yes 0 0 12.7 +1823 0 reject a' reject a' yes 1 1 12.7 +1823 1 accept - accept - yes 1 1 12.7 +1831 0 accept - accept - yes 0 0 12.7 +1828 0 reject a' reject a' yes 1 1 12.8 +1828 1 accept - accept - yes 1 1 12.8 +1814 0 reject a' reject a' yes 1 1 12.8 +1814 1 accept - accept - yes 1 1 12.8 +1822 0 reject a' reject a' yes 7 7 12.9 +1822 1 reject a' reject a' yes 7 7 12.9 +1822 2 reject a' reject a' yes 7 7 12.9 +1822 3 reject a' reject a' yes 7 7 12.9 +1822 4 reject a' reject a' yes 7 7 12.9 +1822 5 reject b reject b yes 7 7 12.9 +1822 6 reject a reject a yes 7 7 12.9 +1822 7 accept - accept - yes 7 7 12.9 +1830 0 accept - accept - yes 0 0 12.9 +1805 0 accept - accept - yes 0 0 13.0 +1839 0 reject a' reject a' yes 3 3 10.6 +1839 1 reject a' reject a' yes 3 3 10.6 +1839 2 reject a' reject a' yes 3 3 10.6 +1839 3 accept - accept - yes 3 3 10.6 +1832 0 reject a' reject a' yes 4 4 11.4 +1832 1 reject a' reject a' yes 4 4 11.4 +1832 2 reject a' reject a' yes 4 4 11.4 +1832 3 reject a' reject a' yes 4 4 11.4 +1832 4 accept - accept - yes 4 4 11.4 +1847 0 reject a' reject a' yes 1 1 10.5 +1847 1 accept - accept - yes 1 1 10.5 +1835 0 reject a' reject a' yes 6 6 11.3 +1835 1 reject a' reject a' yes 6 6 11.3 +1835 2 reject a' reject a' yes 6 6 11.3 +1835 3 reject a' reject a' yes 6 6 11.3 +1835 4 reject a' reject a' yes 6 6 11.3 +1835 5 reject a' reject a' yes 6 6 11.3 +1835 6 accept - accept - yes 6 6 11.3 +1853 0 reject a' reject a' yes 2 2 10.6 +1853 1 reject a' reject a' yes 2 2 10.6 +1853 2 accept - accept - yes 2 2 10.6 +1852 0 accept - accept - yes 0 0 10.6 +1846 0 reject a' reject a' yes 1 1 10.9 +1846 1 accept - accept - yes 1 1 10.9 +1842 0 reject a' reject a' yes 1 1 11.3 +1842 1 accept - accept - yes 1 1 11.3 +1837 0 reject a' reject a' yes 3 3 11.7 +1837 1 reject a' reject a' yes 3 3 11.7 +1837 2 reject a' reject a' yes 3 3 11.7 +1837 3 accept - accept - yes 3 3 11.7 +1806 0 reject a' reject a' yes 9 9 23.5 +1806 1 reject a reject a yes 9 9 23.5 +1806 2 reject c'' reject c'' yes 9 9 23.5 +1806 3 reject a reject a yes 9 9 23.5 +1806 4 reject a' reject a' yes 9 9 23.5 +1806 5 reject a' reject a' yes 9 9 23.5 +1806 6 reject a reject a yes 9 9 23.5 +1806 7 reject a' reject a' yes 9 9 23.5 +1806 8 reject a' reject a' yes 9 9 23.5 +1806 9 accept - accept - yes 9 9 23.5 +1833 0 reject a' reject a' yes 1 1 12.0 +1833 1 accept - accept - yes 1 1 12.0 +1838 0 accept - accept - yes 0 0 11.9 +1840 0 reject a' reject a' yes 3 3 11.7 +1840 1 reject a reject a yes 3 3 11.7 +1840 2 reject a' reject a' yes 3 3 11.7 +1840 3 accept - accept - yes 3 3 11.7 +1834 0 accept - accept - yes 0 0 12.3 +1836 0 reject a' reject a' yes 3 3 12.3 +1836 1 reject a' reject a' yes 3 3 12.3 +1836 2 reject a' reject a' yes 3 3 12.3 +1836 3 accept - accept - yes 3 3 12.3 +1854 0 reject b reject b yes 3 3 11.4 +1854 1 reject a reject a yes 3 3 11.4 +1854 2 reject a' reject a' yes 3 3 11.4 +1854 3 accept - accept - yes 3 3 11.4 +1845 0 reject a' reject a' yes 1 1 11.8 +1845 1 accept - accept - yes 1 1 11.8 +1843 0 reject a' reject a' yes 3 3 11.9 +1843 1 reject a' reject a' yes 3 3 11.9 +1843 2 reject a reject a yes 3 3 11.9 +1843 3 accept - accept - yes 3 3 11.9 +1844 0 accept - accept - yes 0 0 12.0 +1849 0 accept - accept - yes 0 0 11.8 +1857 0 reject a' reject a' yes 2 2 11.5 +1857 1 reject a' reject a' yes 2 2 11.5 +1857 2 accept - accept - yes 2 2 11.5 +1841 0 accept - accept - yes 0 0 12.2 +1848 0 reject a' reject a' yes 1 1 12.2 +1848 1 accept - accept - yes 1 1 12.2 +1862 0 accept - accept - yes 0 0 11.6 +1850 0 reject c-constbit reject c-constbit yes 3 3 12.2 +1850 1 reject a' reject a' yes 3 3 12.2 +1850 2 reject a' reject a' yes 3 3 12.2 +1850 3 accept - accept - yes 3 3 12.2 +1851 0 reject a' reject a' yes 1 1 12.2 +1851 1 accept - accept - yes 1 1 12.2 +1856 0 reject a' reject a' yes 5 5 12.0 +1856 1 reject a reject a yes 5 5 12.0 +1856 2 reject a' reject a' yes 5 5 12.0 +1856 3 reject a' reject a' yes 5 5 12.0 +1856 4 reject a' reject a' yes 5 5 12.0 +1856 5 accept - accept - yes 5 5 12.0 +1861 0 reject a' reject a' yes 7 7 11.8 +1861 1 reject a' reject a' yes 7 7 11.8 +1861 2 reject a' reject a' yes 7 7 11.8 +1861 3 reject a reject a yes 7 7 11.8 +1861 4 reject a' reject a' yes 7 7 11.8 +1861 5 reject a' reject a' yes 7 7 11.8 +1861 6 reject a' reject a' yes 7 7 11.8 +1861 7 accept - accept - yes 7 7 11.8 +1860 0 reject a' reject a' yes 8 8 12.2 +1860 1 reject a' reject a' yes 8 8 12.2 +1860 2 reject a reject a yes 8 8 12.2 +1860 3 reject a' reject a' yes 8 8 12.2 +1860 4 reject a' reject a' yes 8 8 12.2 +1860 5 reject a' reject a' yes 8 8 12.2 +1860 6 reject a' reject a' yes 8 8 12.2 +1860 7 reject a reject a yes 8 8 12.2 +1860 8 accept - accept - yes 8 8 12.2 +1859 0 accept - accept - yes 0 0 12.4 +1855 0 reject a' reject a' yes 5 5 12.5 +1855 1 reject a' reject a' yes 5 5 12.5 +1855 2 reject a' reject a' yes 5 5 12.5 +1855 3 reject a' reject a' yes 5 5 12.5 +1855 4 reject a' reject a' yes 5 5 12.5 +1855 5 accept - accept - yes 5 5 12.5 +1858 0 reject a' reject a' yes 1 1 12.7 +1858 1 accept - accept - yes 1 1 12.7 +1864 0 reject a' reject a' yes 10 10 10.8 +1864 1 reject a' reject a' yes 10 10 10.8 +1864 2 reject a' reject a' yes 10 10 10.8 +1864 3 reject a' reject a' yes 10 10 10.8 +1864 4 reject a' reject a' yes 10 10 10.8 +1864 5 reject a' reject a' yes 10 10 10.8 +1864 6 reject a' reject a' yes 10 10 10.8 +1864 7 reject a' reject a' yes 10 10 10.8 +1864 8 reject a' reject a' yes 10 10 10.8 +1864 9 reject a' reject a' yes 10 10 10.8 +1864 10 accept - accept - yes 10 10 10.8 +1863 0 reject a' reject a' yes 1 1 11.0 +1863 1 accept - accept - yes 1 1 11.0 +1866 0 accept - accept - yes 0 0 11.4 +1868 0 accept - accept - yes 0 0 11.3 +1865 0 accept - accept - yes 0 0 11.6 +1871 0 accept - accept - yes 0 0 11.0 +1867 0 accept - accept - yes 0 0 11.5 +1874 0 accept - accept - yes 0 0 11.1 +1870 0 reject a' reject a' yes 1 1 11.3 +1870 1 accept - accept - yes 1 1 11.3 +1884 0 reject a' reject a' yes 10 10 10.7 +1884 1 reject a' reject a' yes 10 10 10.7 +1884 2 reject a' reject a' yes 10 10 10.7 +1884 3 reject a' reject a' yes 10 10 10.7 +1884 4 reject a' reject a' yes 10 10 10.7 +1884 5 reject a reject a yes 10 10 10.7 +1884 6 reject a' reject a' yes 10 10 10.7 +1884 7 reject a' reject a' yes 10 10 10.7 +1884 8 reject a' reject a' yes 10 10 10.7 +1884 9 reject a' reject a' yes 10 10 10.7 +1884 10 accept - accept - yes 10 10 10.7 +1875 0 reject b reject b yes 2 2 11.3 +1875 1 reject a' reject a' yes 2 2 11.3 +1875 2 accept - accept - yes 2 2 11.3 +1890 0 reject a' reject a' yes 5 5 10.2 +1890 1 reject a' reject a' yes 5 5 10.2 +1890 2 reject a' reject a' yes 5 5 10.2 +1890 3 reject a' reject a' yes 5 5 10.2 +1890 4 reject a' reject a' yes 5 5 10.2 +1890 5 accept - accept - yes 5 5 10.2 +1877 0 reject a reject a yes 3 3 11.2 +1877 1 reject a' reject a' yes 3 3 11.2 +1877 2 reject a' reject a' yes 3 3 11.2 +1877 3 accept - accept - yes 3 3 11.2 +1873 0 reject a' reject a' yes 1 1 11.7 +1873 1 accept - accept - yes 1 1 11.7 +1886 0 reject a' reject a' yes 2 2 10.7 +1886 1 reject a' reject a' yes 2 2 10.7 +1886 2 accept - accept - yes 2 2 10.7 +1872 0 reject a' reject a' yes 5 5 11.9 +1872 1 reject a' reject a' yes 5 5 11.9 +1872 2 reject a reject a yes 5 5 11.9 +1872 3 reject a' reject a' yes 5 5 11.9 +1872 4 reject a' reject a' yes 5 5 11.9 +1872 5 accept - accept - yes 5 5 11.9 +1869 0 reject a' reject a' yes 1 1 12.3 +1869 1 accept - accept - yes 1 1 12.3 +1876 0 reject a' reject a' yes 9 9 11.7 +1876 1 reject a' reject a' yes 9 9 11.7 +1876 2 reject b reject b yes 9 9 11.7 +1876 3 reject a reject a yes 9 9 11.7 +1876 4 reject a' reject a' yes 9 9 11.7 +1876 5 reject a' reject a' yes 9 9 11.7 +1876 6 reject a' reject a' yes 9 9 11.7 +1876 7 reject a' reject a' yes 9 9 11.7 +1876 8 reject a' reject a' yes 9 9 11.7 +1876 9 accept - accept - yes 9 9 11.7 +1889 0 reject a' reject a' yes 1 1 10.8 +1889 1 accept - accept - yes 1 1 10.8 +1878 0 reject a reject a yes 6 6 11.8 +1878 1 reject a reject a yes 6 6 11.8 +1878 2 reject a reject a yes 6 6 11.8 +1878 3 reject a' reject a' yes 6 6 11.8 +1878 4 reject a reject a yes 6 6 11.8 +1878 5 reject a' reject a' yes 6 6 11.8 +1878 6 accept - accept - yes 6 6 11.8 +1881 0 reject a' reject a' yes 1 1 11.6 +1881 1 accept - accept - yes 1 1 11.6 +1882 0 reject a' reject a' yes 1 1 11.6 +1882 1 accept - accept - yes 1 1 11.6 +1880 0 reject a' reject a' yes 4 4 11.9 +1880 1 reject a' reject a' yes 4 4 11.9 +1880 2 reject a' reject a' yes 4 4 11.9 +1880 3 reject a' reject a' yes 4 4 11.9 +1880 4 accept - accept - yes 4 4 11.9 +1887 0 accept - accept - yes 0 0 11.5 +1888 0 reject a' reject a' yes 4 4 11.6 +1888 1 reject a' reject a' yes 4 4 11.6 +1888 2 reject a reject a yes 4 4 11.6 +1888 3 reject a' reject a' yes 4 4 11.6 +1888 4 accept - accept - yes 4 4 11.6 +1891 0 accept - accept - yes 0 0 11.3 +1885 0 reject a' reject a' yes 3 3 11.9 +1885 1 reject a' reject a' yes 3 3 11.9 +1885 2 reject a' reject a' yes 3 3 11.9 +1885 3 accept - accept - yes 3 3 11.9 +1893 0 reject a' reject a' yes 4 4 11.3 +1893 1 reject a' reject a' yes 4 4 11.3 +1893 2 reject a' reject a' yes 4 4 11.3 +1893 3 reject a' reject a' yes 4 4 11.3 +1893 4 accept - accept - yes 4 4 11.3 +1892 0 reject a' reject a' yes 3 3 11.4 +1892 1 reject a' reject a' yes 3 3 11.4 +1892 2 reject a' reject a' yes 3 3 11.4 +1892 3 accept - accept - yes 3 3 11.4 +1894 0 reject a' reject a' yes 4 4 11.8 +1894 1 reject a' reject a' yes 4 4 11.8 +1894 2 reject a' reject a' yes 4 4 11.8 +1894 3 reject a' reject a' yes 4 4 11.8 +1894 4 accept - accept - yes 4 4 11.8 +1898 0 reject a reject a yes 4 4 9.4 +1898 1 reject a' reject a' yes 4 4 9.4 +1898 2 reject a' reject a' yes 4 4 9.4 +1898 3 reject a reject a yes 4 4 9.4 +1898 4 accept - accept - yes 4 4 9.4 +1896 0 accept - accept - yes 0 0 10.8 +1883 0 reject a' reject a' yes 4 4 20.3 +1883 1 reject a reject a yes 4 4 20.3 +1883 2 reject c'' reject c'' yes 4 4 20.3 +1883 3 reject c-constbit reject c-constbit yes 4 4 20.3 +1883 4 accept - accept - yes 4 4 20.3 +1895 0 reject a' reject a' yes 2 2 11.7 +1895 1 reject b reject b yes 2 2 11.7 +1895 2 accept - accept - yes 2 2 11.7 +1912 0 accept - accept - yes 0 0 9.7 +1901 0 reject a' reject a' yes 3 3 10.9 +1901 1 reject a reject a yes 3 3 10.9 +1901 2 reject a' reject a' yes 3 3 10.9 +1901 3 accept - accept - yes 3 3 10.9 +1897 0 reject a' reject a' yes 1 1 11.5 +1897 1 accept - accept - yes 1 1 11.5 +1906 0 reject a' reject a' yes 11 11 10.8 +1906 1 reject a' reject a' yes 11 11 10.8 +1906 2 reject a' reject a' yes 11 11 10.8 +1906 3 reject a' reject a' yes 11 11 10.8 +1906 4 reject a' reject a' yes 11 11 10.8 +1906 5 reject a' reject a' yes 11 11 10.8 +1906 6 reject a reject a yes 11 11 10.8 +1906 7 reject a' reject a' yes 11 11 10.8 +1906 8 reject c-constbit reject c-constbit yes 11 11 10.8 +1906 9 reject a' reject a' yes 11 11 10.8 +1906 10 reject a reject a yes 11 11 10.8 +1906 11 accept - accept - yes 11 11 10.8 +1900 0 accept - accept - yes 0 0 11.4 +1899 0 reject a' reject a' yes 3 3 11.5 +1899 1 reject a' reject a' yes 3 3 11.5 +1899 2 reject a reject a yes 3 3 11.5 +1899 3 accept - accept - yes 3 3 11.5 +1913 0 accept - accept - yes 0 0 10.5 +1902 0 accept - accept - yes 0 0 11.5 +1915 0 reject a' reject a' yes 3 3 10.5 +1915 1 reject a' reject a' yes 3 3 10.5 +1915 2 reject a reject a yes 3 3 10.5 +1915 3 accept - accept - yes 3 3 10.5 +1905 0 accept - accept - yes 0 0 11.4 +1911 0 reject a' reject a' yes 1 1 11.0 +1911 1 accept - accept - yes 1 1 11.0 +1924 0 accept - accept - yes 0 0 9.2 +1904 0 reject a' reject a' yes 6 6 11.5 +1904 1 reject b reject b yes 6 6 11.5 +1904 2 reject a' reject a' yes 6 6 11.5 +1904 3 reject a' reject a' yes 6 6 11.5 +1904 4 reject b reject b yes 6 6 11.5 +1904 5 reject a' reject a' yes 6 6 11.5 +1904 6 accept - accept - yes 6 6 11.5 +1907 0 reject a reject a yes 1 1 11.3 +1907 1 accept - accept - yes 1 1 11.3 +1909 0 reject a' reject a' yes 1 1 11.2 +1909 1 accept - accept - yes 1 1 11.2 +1916 0 reject b reject b yes 3 3 10.8 +1916 1 reject a reject a yes 3 3 10.8 +1916 2 reject a reject a yes 3 3 10.8 +1916 3 accept - accept - yes 3 3 10.8 +1879 0 reject a' reject a' yes 10 10 22.7 +1879 1 reject a' reject a' yes 10 10 22.7 +1879 2 reject a' reject a' yes 10 10 22.7 +1879 3 reject a' reject a' yes 10 10 22.7 +1879 4 reject a' reject a' yes 10 10 22.7 +1879 5 reject c'' reject c'' yes 10 10 22.7 +1879 6 reject a' reject a' yes 10 10 22.7 +1879 7 reject a' reject a' yes 10 10 22.7 +1879 8 reject a' reject a' yes 10 10 22.7 +1879 9 reject a' reject a' yes 10 10 22.7 +1879 10 accept - accept - yes 10 10 22.7 +1917 0 accept - accept - yes 0 0 10.7 +1919 0 reject a' reject a' yes 1 1 10.4 +1919 1 accept - accept - yes 1 1 10.4 +1914 0 reject a' reject a' yes 2 2 11.1 +1914 1 reject a' reject a' yes 2 2 11.1 +1914 2 accept - accept - yes 2 2 11.1 +1923 0 reject a' reject a' yes 5 5 10.2 +1923 1 reject a' reject a' yes 5 5 10.2 +1923 2 reject a' reject a' yes 5 5 10.2 +1923 3 reject a' reject a' yes 5 5 10.2 +1923 4 reject a' reject a' yes 5 5 10.2 +1923 5 accept - accept - yes 5 5 10.2 +1910 0 reject a' reject a' yes 2 2 11.6 +1910 1 reject a' reject a' yes 2 2 11.6 +1910 2 accept - accept - yes 2 2 11.6 +1903 0 accept - accept - yes 0 0 12.3 +1922 0 accept - accept - yes 0 0 10.9 +1918 0 reject a' reject a' yes 5 5 11.4 +1918 1 reject a reject a yes 5 5 11.4 +1918 2 reject a' reject a' yes 5 5 11.4 +1918 3 reject a' reject a' yes 5 5 11.4 +1918 4 reject a' reject a' yes 5 5 11.4 +1918 5 accept - accept - yes 5 5 11.4 +1920 0 accept - accept - yes 0 0 11.6 +1925 0 accept - accept - yes 0 0 10.1 +1926 0 accept - accept - yes 0 0 9.8 +1927 0 accept - accept - yes 0 0 10.5 +1929 0 reject a' reject a' yes 2 2 10.4 +1929 1 reject a' reject a' yes 2 2 10.4 +1929 2 accept - accept - yes 2 2 10.4 +1931 0 reject a' reject a' yes 3 3 10.0 +1931 1 reject a' reject a' yes 3 3 10.0 +1931 2 reject a' reject a' yes 3 3 10.0 +1931 3 accept - accept - yes 3 3 10.0 +1908 0 reject c-distinct reject c-distinct yes 3 3 20.6 +1908 1 reject a' reject a' yes 3 3 20.6 +1908 2 reject a' reject a' yes 3 3 20.6 +1908 3 accept - accept - yes 3 3 20.6 +1934 0 reject a' reject a' yes 3 3 10.0 +1934 1 reject a' reject a' yes 3 3 10.0 +1934 2 reject a' reject a' yes 3 3 10.0 +1934 3 accept - accept - yes 3 3 10.0 +1937 0 accept - accept - yes 0 0 10.1 +1940 0 reject a' reject a' yes 1 1 9.9 +1940 1 accept - accept - yes 1 1 9.9 +1943 0 reject a' reject a' yes 4 4 10.0 +1943 1 reject a' reject a' yes 4 4 10.0 +1943 2 reject a reject a yes 4 4 10.0 +1943 3 reject a reject a yes 4 4 10.0 +1943 4 accept - accept - yes 4 4 10.0 +1942 0 reject a' reject a' yes 2 2 10.0 +1942 1 reject a' reject a' yes 2 2 10.0 +1942 2 accept - accept - yes 2 2 10.0 +1928 0 accept - accept - yes 0 0 11.6 +1930 0 reject a' reject a' yes 9 9 11.4 +1930 1 reject a' reject a' yes 9 9 11.4 +1930 2 reject a' reject a' yes 9 9 11.4 +1930 3 reject a' reject a' yes 9 9 11.4 +1930 4 reject a' reject a' yes 9 9 11.4 +1930 5 reject a' reject a' yes 9 9 11.4 +1930 6 reject a' reject a' yes 9 9 11.4 +1930 7 reject a' reject a' yes 9 9 11.4 +1930 8 reject a' reject a' yes 9 9 11.4 +1930 9 accept - accept - yes 9 9 11.4 +1941 0 reject a' reject a' yes 2 2 10.4 +1941 1 reject c-saturated reject c-saturated yes 2 2 10.4 +1941 2 accept - accept - yes 2 2 10.4 +1947 0 accept - accept - yes 0 0 10.2 +1938 0 reject a' reject a' yes 1 1 10.6 +1938 1 accept - accept - yes 1 1 10.6 +1951 0 reject a' reject a' yes 1 1 10.0 +1951 1 accept - accept - yes 1 1 10.0 +1935 0 reject a' reject a' yes 2 2 11.0 +1935 1 reject a' reject a' yes 2 2 11.0 +1935 2 accept - accept - yes 2 2 11.0 +1933 0 reject a' reject a' yes 1 1 11.3 +1933 1 accept - accept - yes 1 1 11.3 +1948 0 reject a' reject a' yes 4 4 10.4 +1948 1 reject a' reject a' yes 4 4 10.4 +1948 2 reject a reject a yes 4 4 10.4 +1948 3 reject a' reject a' yes 4 4 10.4 +1948 4 accept - accept - yes 4 4 10.4 +1932 0 accept - accept - yes 0 0 11.4 +1945 0 reject a' reject a' yes 2 2 10.9 +1945 1 reject a' reject a' yes 2 2 10.9 +1945 2 accept - accept - yes 2 2 10.9 +1921 0 reject a' reject a' yes 2 2 21.1 +1921 1 reject c'' reject c'' yes 2 2 21.1 +1921 2 accept - accept - yes 2 2 21.1 +1946 0 reject a' reject a' yes 3 3 10.9 +1946 1 reject a' reject a' yes 3 3 10.9 +1946 2 reject a' reject a' yes 3 3 10.9 +1946 3 accept - accept - yes 3 3 10.9 +1950 0 reject a' reject a' yes 2 2 10.8 +1950 1 reject a' reject a' yes 2 2 10.8 +1950 2 accept - accept - yes 2 2 10.8 +1944 0 reject a' reject a' yes 2 2 11.1 +1944 1 reject a' reject a' yes 2 2 11.1 +1944 2 accept - accept - yes 2 2 11.1 +1939 0 reject a' reject a' yes 10 10 11.4 +1939 1 reject a' reject a' yes 10 10 11.4 +1939 2 reject a' reject a' yes 10 10 11.4 +1939 3 reject a' reject a' yes 10 10 11.4 +1939 4 reject a' reject a' yes 10 10 11.4 +1939 5 reject c-saturated reject c-saturated yes 10 10 11.4 +1939 6 reject a' reject a' yes 10 10 11.4 +1939 7 reject a' reject a' yes 10 10 11.4 +1939 8 reject a' reject a' yes 10 10 11.4 +1939 9 reject a' reject a' yes 10 10 11.4 +1939 10 accept - accept - yes 10 10 11.4 +1953 0 reject a' reject a' yes 3 3 10.2 +1953 1 reject a' reject a' yes 3 3 10.2 +1953 2 reject a' reject a' yes 3 3 10.2 +1953 3 accept - accept - yes 3 3 10.2 +1936 0 reject a' reject a' yes 2 2 11.9 +1936 1 reject a' reject a' yes 2 2 11.9 +1936 2 accept - accept - yes 2 2 11.9 +1954 0 reject a reject a yes 1 1 10.0 +1954 1 accept - accept - yes 1 1 10.0 +1949 0 reject a' reject a' yes 4 4 11.2 +1949 1 reject a' reject a' yes 4 4 11.2 +1949 2 reject a reject a yes 4 4 11.2 +1949 3 reject a' reject a' yes 4 4 11.2 +1949 4 accept - accept - yes 4 4 11.2 +1952 0 reject a' reject a' yes 1 1 11.5 +1952 1 accept - accept - yes 1 1 11.5 +1956 0 reject a' reject a' yes 2 2 11.7 +1956 1 reject a' reject a' yes 2 2 11.7 +1956 2 accept - accept - yes 2 2 11.7 +1957 0 reject a' reject a' yes 14 14 11.0 +1957 1 reject a' reject a' yes 14 14 11.0 +1957 2 reject a' reject a' yes 14 14 11.0 +1957 3 reject a' reject a' yes 14 14 11.0 +1957 4 reject a' reject a' yes 14 14 11.0 +1957 5 reject a' reject a' yes 14 14 11.0 +1957 6 reject a' reject a' yes 14 14 11.0 +1957 7 reject a' reject a' yes 14 14 11.0 +1957 8 reject a' reject a' yes 14 14 11.0 +1957 9 reject a' reject a' yes 14 14 11.0 +1957 10 reject a' reject a' yes 14 14 11.0 +1957 11 reject a' reject a' yes 14 14 11.0 +1957 12 reject a reject a yes 14 14 11.0 +1957 13 reject a' reject a' yes 14 14 11.0 +1957 14 accept - accept - yes 14 14 11.0 +1959 0 reject a' reject a' yes 4 4 10.3 +1959 1 reject a' reject a' yes 4 4 10.3 +1959 2 reject a' reject a' yes 4 4 10.3 +1959 3 reject b reject b yes 4 4 10.3 +1959 4 accept - accept - yes 4 4 10.3 +1958 0 accept - accept - yes 0 0 10.9 +1965 0 reject a' reject a' yes 1 1 10.0 +1965 1 accept - accept - yes 1 1 10.0 +1955 0 reject a' reject a' yes 2 2 12.8 +1955 1 reject a' reject a' yes 2 2 12.8 +1955 2 accept - accept - yes 2 2 12.8 +1967 0 accept - accept - yes 0 0 10.0 +1963 0 accept - accept - yes 0 0 10.7 +1960 0 reject a' reject a' yes 2 2 11.4 +1960 1 reject a' reject a' yes 2 2 11.4 +1960 2 accept - accept - yes 2 2 11.4 +1968 0 reject a' reject a' yes 1 1 10.4 +1968 1 accept - accept - yes 1 1 10.4 +1961 0 reject a' reject a' yes 1 1 11.4 +1961 1 accept - accept - yes 1 1 11.4 +1971 0 reject a' reject a' yes 1 1 10.5 +1971 1 accept - accept - yes 1 1 10.5 +1962 0 reject a' reject a' yes 1 1 11.3 +1962 1 accept - accept - yes 1 1 11.3 +1964 0 reject a' reject a' yes 2 2 11.2 +1964 1 reject a' reject a' yes 2 2 11.2 +1964 2 accept - accept - yes 2 2 11.2 +1966 0 reject a' reject a' yes 2 2 11.5 +1966 1 reject a' reject a' yes 2 2 11.5 +1966 2 accept - accept - yes 2 2 11.5 +1978 0 accept - accept - yes 0 0 10.7 +1969 0 reject a' reject a' yes 1 1 11.6 +1969 1 accept - accept - yes 1 1 11.6 +1970 0 accept - accept - yes 0 0 11.5 +1976 0 reject a' reject a' yes 3 3 11.1 +1976 1 reject a reject a yes 3 3 11.1 +1976 2 reject a' reject a' yes 3 3 11.1 +1976 3 accept - accept - yes 3 3 11.1 +1977 0 accept - accept - yes 0 0 11.1 +1973 0 accept - accept - yes 0 0 11.6 +1974 0 reject a' reject a' yes 7 7 11.7 +1974 1 reject a' reject a' yes 7 7 11.7 +1974 2 reject a' reject a' yes 7 7 11.7 +1974 3 reject a' reject a' yes 7 7 11.7 +1974 4 reject a' reject a' yes 7 7 11.7 +1974 5 reject a' reject a' yes 7 7 11.7 +1974 6 reject a' reject a' yes 7 7 11.7 +1974 7 accept - accept - yes 7 7 11.7 +1972 0 reject a' reject a' yes 6 6 11.8 +1972 1 reject a' reject a' yes 6 6 11.8 +1972 2 reject a' reject a' yes 6 6 11.8 +1972 3 reject a' reject a' yes 6 6 11.8 +1972 4 reject a' reject a' yes 6 6 11.8 +1972 5 reject a' reject a' yes 6 6 11.8 +1972 6 accept - accept - yes 6 6 11.8 +1980 0 accept - accept - yes 0 0 11.3 +1975 0 accept - accept - yes 0 0 11.9 +1979 0 reject a' reject a' yes 1 1 11.5 +1979 1 accept - accept - yes 1 1 11.5 +1983 0 reject a' reject a' yes 3 3 11.5 +1983 1 reject a' reject a' yes 3 3 11.5 +1983 2 reject a reject a yes 3 3 11.5 +1983 3 accept - accept - yes 3 3 11.5 +1982 0 reject a' reject a' yes 1 1 11.9 +1982 1 accept - accept - yes 1 1 11.9 +1981 0 reject a reject a yes 4 4 12.0 +1981 1 reject a' reject a' yes 4 4 12.0 +1981 2 reject a' reject a' yes 4 4 12.0 +1981 3 reject a' reject a' yes 4 4 12.0 +1981 4 accept - accept - yes 4 4 12.0 +1986 0 accept - accept - yes 0 0 11.9 +1984 0 reject a reject a yes 2 2 13.3 +1984 1 reject a reject a yes 2 2 13.3 +1984 2 accept - accept - yes 2 2 13.3 +1989 0 accept - accept - yes 0 0 8.9 +1988 0 reject a reject a yes 1 1 9.1 +1988 1 accept - accept - yes 1 1 9.1 +1995 0 reject a' reject a' yes 3 3 8.0 +1995 1 reject a' reject a' yes 3 3 8.0 +1995 2 reject a' reject a' yes 3 3 8.0 +1995 3 accept - accept - yes 3 3 8.0 +1999 0 reject a reject a yes 1 1 8.1 +1999 1 accept - accept - yes 1 1 8.1 +1990 0 reject a' reject a' yes 3 3 9.4 +1990 1 reject a reject a yes 3 3 9.4 +1990 2 reject a' reject a' yes 3 3 9.4 +1990 3 accept - accept - yes 3 3 9.4 +1992 0 reject a' reject a' yes 4 4 9.3 +1992 1 reject a' reject a' yes 4 4 9.3 +1992 2 reject a' reject a' yes 4 4 9.3 +1992 3 reject a' reject a' yes 4 4 9.3 +1992 4 accept - accept - yes 4 4 9.3 +1987 0 reject a' reject a' yes 1 1 10.4 +1987 1 accept - accept - yes 1 1 10.4 +1994 0 accept - accept - yes 0 0 9.3 +1996 0 reject a reject a yes 1 1 9.2 +1996 1 accept - accept - yes 1 1 9.2 +1997 0 accept - accept - yes 0 0 10.0 +1991 0 reject a' reject a' yes 2 2 10.8 +1991 1 reject a' reject a' yes 2 2 10.8 +1991 2 accept - accept - yes 2 2 10.8 +1993 0 reject a' reject a' yes 7 7 10.6 +1993 1 reject a' reject a' yes 7 7 10.6 +1993 2 reject a' reject a' yes 7 7 10.6 +1993 3 reject a reject a yes 7 7 10.6 +1993 4 reject b reject b yes 7 7 10.6 +1993 5 reject a' reject a' yes 7 7 10.6 +1993 6 reject a' reject a' yes 7 7 10.6 +1993 7 accept - accept - yes 7 7 10.6 +1985 0 reject a' reject a' yes 10 10 19.8 +1985 1 reject a' reject a' yes 10 10 19.8 +1985 2 reject a' reject a' yes 10 10 19.8 +1985 3 reject a' reject a' yes 10 10 19.8 +1985 4 reject a' reject a' yes 10 10 19.8 +1985 5 reject a' reject a' yes 10 10 19.8 +1985 6 reject a' reject a' yes 10 10 19.8 +1985 7 reject a reject a yes 10 10 19.8 +1985 8 reject a' reject a' yes 10 10 19.8 +1985 9 reject c'' reject c'' yes 10 10 19.8 +1985 10 accept - accept - yes 10 10 19.8 +1998 0 reject a' reject a' yes 3 3 11.2 +1998 1 reject a' reject a' yes 3 3 11.2 +1998 2 reject a' reject a' yes 3 3 11.2 +1998 3 accept - accept - yes 3 3 11.2 +lease: released 32 pool cores after 79 s, exit 0 diff --git a/docs/analysis/cryptanalysis/logs/adv-accept-3/98-verdicts-floor97-part1.tsv b/docs/analysis/cryptanalysis/logs/adv-accept-3/98-verdicts-floor97-part1.tsv new file mode 100644 index 00000000..e82a83e4 --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-accept-3/98-verdicts-floor97-part1.tsv @@ -0,0 +1,830 @@ +lease: 0 of 16 pool cores free (88 leased); waiting +Terminated +lease: holding 32 pool cores (21,33,34,35,36,37,38,39,40,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,89,90,91,92,93,94,95, waited 0 s, class adv): adv-accept-3 98-adv-accept-3-verdicts-knownfailed 0 +# adv3 verdicts 2026-10-07T20:40:45Z variant floor97 seeds 0..150 (internal adversarial pass, not an independent review) +seed attempt lib_verdict lib_part second_verdict second_part agree chosen_lib chosen_second secs +11 0 reject a' reject a' yes 10 10 9.6 +11 1 reject a' reject a' yes 10 10 9.6 +11 2 reject a' reject a' yes 10 10 9.6 +11 3 reject a' reject a' yes 10 10 9.6 +11 4 reject a' reject a' yes 10 10 9.6 +11 5 reject c-constbit reject c-constbit yes 10 10 9.6 +11 6 reject a' reject a' yes 10 10 9.6 +11 7 reject a' reject a' yes 10 10 9.6 +11 8 reject a' reject a' yes 10 10 9.6 +11 9 reject a reject a yes 10 10 9.6 +11 10 accept - accept - yes 10 10 9.6 +1 0 reject a' reject a' yes 1 1 9.8 +1 1 accept - accept - yes 1 1 9.8 +30 0 reject b reject b yes 11 11 9.8 +30 1 reject c-saturated reject c-saturated yes 11 11 9.8 +30 2 reject a reject a yes 11 11 9.8 +30 3 reject b reject b yes 11 11 9.8 +30 4 reject a' reject a' yes 11 11 9.8 +30 5 reject a' reject a' yes 11 11 9.8 +30 6 reject a reject a yes 11 11 9.8 +30 7 reject a' reject a' yes 11 11 9.8 +30 8 reject a' reject a' yes 11 11 9.8 +30 9 reject a' reject a' yes 11 11 9.8 +30 10 reject a' reject a' yes 11 11 9.8 +30 11 accept - accept - yes 11 11 9.8 +2 0 reject a reject a yes 5 5 10.3 +2 1 reject a' reject a' yes 5 5 10.3 +2 2 reject a' reject a' yes 5 5 10.3 +2 3 reject a' reject a' yes 5 5 10.3 +2 4 reject a' reject a' yes 5 5 10.3 +2 5 accept - accept - yes 5 5 10.3 +18 0 reject a' reject a' yes 1 1 10.4 +18 1 accept - accept - yes 1 1 10.4 +26 0 accept - accept - yes 0 0 10.4 +29 0 reject a reject a yes 5 5 10.5 +29 1 reject a' reject a' yes 5 5 10.5 +29 2 reject b reject b yes 5 5 10.5 +29 3 reject a' reject a' yes 5 5 10.5 +29 4 reject a' reject a' yes 5 5 10.5 +29 5 accept - accept - yes 5 5 10.5 +14 0 reject a' reject a' yes 1 1 10.5 +14 1 accept - accept - yes 1 1 10.5 +21 0 reject a' reject a' yes 1 1 10.5 +21 1 accept - accept - yes 1 1 10.5 +10 0 reject a' reject a' yes 1 1 10.6 +10 1 accept - accept - yes 1 1 10.6 +19 0 accept - accept - yes 0 0 10.6 +3 0 reject a' reject a' yes 4 4 10.6 +3 1 reject a' reject a' yes 4 4 10.6 +3 2 reject a reject a yes 4 4 10.6 +3 3 reject c-saturated reject c-saturated yes 4 4 10.6 +3 4 accept - accept - yes 4 4 10.6 +23 0 reject a reject a yes 1 1 10.7 +23 1 accept - accept - yes 1 1 10.7 +25 0 accept - accept - yes 0 0 10.8 +8 0 accept - accept - yes 0 0 10.9 +27 0 reject a' reject a' yes 6 6 10.9 +27 1 reject a' reject a' yes 6 6 10.9 +27 2 reject a reject a yes 6 6 10.9 +27 3 reject a' reject a' yes 6 6 10.9 +27 4 reject a' reject a' yes 6 6 10.9 +27 5 reject a' reject a' yes 6 6 10.9 +27 6 accept - accept - yes 6 6 10.9 +4 0 reject a' reject a' yes 8 8 10.9 +4 1 reject b reject b yes 8 8 10.9 +4 2 reject a' reject a' yes 8 8 10.9 +4 3 reject a' reject a' yes 8 8 10.9 +4 4 reject a' reject a' yes 8 8 10.9 +4 5 reject c-constbit reject c-constbit yes 8 8 10.9 +4 6 reject a' reject a' yes 8 8 10.9 +4 7 reject a' reject a' yes 8 8 10.9 +4 8 accept - accept - yes 8 8 10.9 +16 0 reject a' reject a' yes 6 6 10.9 +16 1 reject b reject b yes 6 6 10.9 +16 2 reject a reject a yes 6 6 10.9 +16 3 reject a' reject a' yes 6 6 10.9 +16 4 reject a' reject a' yes 6 6 10.9 +16 5 reject a' reject a' yes 6 6 10.9 +16 6 accept - accept - yes 6 6 10.9 +22 0 reject a reject a yes 6 6 10.9 +22 1 reject a' reject a' yes 6 6 10.9 +22 2 reject a' reject a' yes 6 6 10.9 +22 3 reject a' reject a' yes 6 6 10.9 +22 4 reject a' reject a' yes 6 6 10.9 +22 5 reject a' reject a' yes 6 6 10.9 +22 6 accept - accept - yes 6 6 10.9 +9 0 reject a' reject a' yes 3 3 11.2 +9 1 reject a' reject a' yes 3 3 11.2 +9 2 reject a' reject a' yes 3 3 11.2 +9 3 accept - accept - yes 3 3 11.2 +31 0 accept - accept - yes 0 0 11.2 +6 0 accept - accept - yes 0 0 11.3 +17 0 accept - accept - yes 0 0 11.3 +13 0 accept - accept - yes 0 0 11.3 +15 0 reject a reject a yes 3 3 11.3 +15 1 reject a' reject a' yes 3 3 11.3 +15 2 reject a reject a yes 3 3 11.3 +15 3 accept - accept - yes 3 3 11.3 +24 0 accept - accept - yes 0 0 11.4 +7 0 accept - accept - yes 0 0 11.5 +0 0 reject a' reject a' yes 3 3 11.5 +0 1 reject a' reject a' yes 3 3 11.5 +0 2 reject a' reject a' yes 3 3 11.5 +0 3 accept - accept - yes 3 3 11.5 +20 0 reject a' reject a' yes 5 5 11.6 +20 1 reject a' reject a' yes 5 5 11.6 +20 2 reject a' reject a' yes 5 5 11.6 +20 3 reject a' reject a' yes 5 5 11.6 +20 4 reject a' reject a' yes 5 5 11.6 +20 5 accept - accept - yes 5 5 11.6 +12 0 reject a' reject a' yes 4 4 11.8 +12 1 reject a' reject a' yes 4 4 11.8 +12 2 reject b reject b yes 4 4 11.8 +12 3 reject a' reject a' yes 4 4 11.8 +12 4 accept - accept - yes 4 4 11.8 +5 0 reject a' reject a' yes 1 1 12.6 +5 1 accept - accept - yes 1 1 12.6 +34 0 accept - accept - yes 0 0 10.0 +36 0 reject a' reject a' yes 1 1 9.9 +36 1 accept - accept - yes 1 1 9.9 +48 0 accept - accept - yes 0 0 9.4 +50 0 reject b reject b yes 1 1 9.5 +50 1 accept - accept - yes 1 1 9.5 +32 0 accept - accept - yes 0 0 11.0 +37 0 reject a' reject a' yes 2 2 10.1 +37 1 reject a' reject a' yes 2 2 10.1 +37 2 accept - accept - yes 2 2 10.1 +28 0 reject a' reject a' yes 7 7 20.6 +28 1 reject a' reject a' yes 7 7 20.6 +28 2 reject a' reject a' yes 7 7 20.6 +28 3 reject a' reject a' yes 7 7 20.6 +28 4 reject a' reject a' yes 7 7 20.6 +28 5 reject c'' reject c'' yes 7 7 20.6 +28 6 reject a reject a yes 7 7 20.6 +28 7 accept - accept - yes 7 7 20.6 +35 0 reject a' reject a' yes 6 6 10.7 +35 1 reject a' reject a' yes 6 6 10.7 +35 2 reject a reject a yes 6 6 10.7 +35 3 reject a' reject a' yes 6 6 10.7 +35 4 reject a' reject a' yes 6 6 10.7 +35 5 reject a' reject a' yes 6 6 10.7 +35 6 accept - accept - yes 6 6 10.7 +43 0 accept - accept - yes 0 0 10.7 +33 0 reject a' reject a' yes 2 2 11.6 +33 1 reject a' reject a' yes 2 2 11.6 +33 2 accept - accept - yes 2 2 11.6 +47 0 reject a' reject a' yes 8 8 10.6 +47 1 reject a' reject a' yes 8 8 10.6 +47 2 reject a' reject a' yes 8 8 10.6 +47 3 reject a' reject a' yes 8 8 10.6 +47 4 reject a' reject a' yes 8 8 10.6 +47 5 reject a' reject a' yes 8 8 10.6 +47 6 reject a' reject a' yes 8 8 10.6 +47 7 reject a' reject a' yes 8 8 10.6 +47 8 accept - accept - yes 8 8 10.6 +38 0 reject a' reject a' yes 1 1 11.1 +38 1 accept - accept - yes 1 1 11.1 +39 0 accept - accept - yes 0 0 11.2 +40 0 accept - accept - yes 0 0 11.4 +53 0 reject a' reject a' yes 4 4 10.7 +53 1 reject a' reject a' yes 4 4 10.7 +53 2 reject a' reject a' yes 4 4 10.7 +53 3 reject a reject a yes 4 4 10.7 +53 4 accept - accept - yes 4 4 10.7 +46 0 accept - accept - yes 0 0 11.3 +45 0 reject b reject b yes 5 5 11.4 +45 1 reject a reject a yes 5 5 11.4 +45 2 reject a' reject a' yes 5 5 11.4 +45 3 reject a' reject a' yes 5 5 11.4 +45 4 reject a' reject a' yes 5 5 11.4 +45 5 accept - accept - yes 5 5 11.4 +49 0 accept - accept - yes 0 0 11.3 +54 0 reject a' reject a' yes 10 10 11.1 +54 1 reject a' reject a' yes 10 10 11.1 +54 2 reject a' reject a' yes 10 10 11.1 +54 3 reject a reject a yes 10 10 11.1 +54 4 reject a' reject a' yes 10 10 11.1 +54 5 reject a' reject a' yes 10 10 11.1 +54 6 reject a' reject a' yes 10 10 11.1 +54 7 reject a' reject a' yes 10 10 11.1 +54 8 reject a' reject a' yes 10 10 11.1 +54 9 reject a' reject a' yes 10 10 11.1 +54 10 accept - accept - yes 10 10 11.1 +58 0 reject a' reject a' yes 1 1 11.0 +58 1 accept - accept - yes 1 1 11.0 +52 0 reject a' reject a' yes 3 3 11.3 +52 1 reject a' reject a' yes 3 3 11.3 +52 2 reject a' reject a' yes 3 3 11.3 +52 3 accept - accept - yes 3 3 11.3 +56 0 reject a' reject a' yes 1 1 11.3 +56 1 accept - accept - yes 1 1 11.3 +42 0 reject a' reject a' yes 6 6 12.2 +42 1 reject a' reject a' yes 6 6 12.2 +42 2 reject a' reject a' yes 6 6 12.2 +42 3 reject a' reject a' yes 6 6 12.2 +42 4 reject a' reject a' yes 6 6 12.2 +42 5 reject a' reject a' yes 6 6 12.2 +42 6 accept - accept - yes 6 6 12.2 +44 0 accept - accept - yes 0 0 12.1 +55 0 accept - accept - yes 0 0 11.6 +51 0 reject a' reject a' yes 13 13 11.9 +51 1 reject a' reject a' yes 13 13 11.9 +51 2 reject a' reject a' yes 13 13 11.9 +51 3 reject a' reject a' yes 13 13 11.9 +51 4 reject a' reject a' yes 13 13 11.9 +51 5 reject a' reject a' yes 13 13 11.9 +51 6 reject a' reject a' yes 13 13 11.9 +51 7 reject a' reject a' yes 13 13 11.9 +51 8 reject a' reject a' yes 13 13 11.9 +51 9 reject a' reject a' yes 13 13 11.9 +51 10 reject a' reject a' yes 13 13 11.9 +51 11 reject a' reject a' yes 13 13 11.9 +51 12 reject a' reject a' yes 13 13 11.9 +51 13 accept - accept - yes 13 13 11.9 +59 0 reject a' reject a' yes 2 2 11.9 +59 1 reject a' reject a' yes 2 2 11.9 +59 2 accept - accept - yes 2 2 11.9 +61 0 reject a' reject a' yes 1 1 11.9 +61 1 accept - accept - yes 1 1 11.9 +62 0 reject a' reject a' yes 4 4 11.2 +62 1 reject a' reject a' yes 4 4 11.2 +62 2 reject a' reject a' yes 4 4 11.2 +62 3 reject a reject a yes 4 4 11.2 +62 4 accept - accept - yes 4 4 11.2 +60 0 reject a' reject a' yes 2 2 12.5 +60 1 reject a reject a yes 2 2 12.5 +60 2 accept - accept - yes 2 2 12.5 +66 0 reject a' reject a' yes 5 5 8.6 +66 1 reject a' reject a' yes 5 5 8.6 +66 2 reject a' reject a' yes 5 5 8.6 +66 3 reject a' reject a' yes 5 5 8.6 +66 4 reject a' reject a' yes 5 5 8.6 +66 5 accept - accept - yes 5 5 8.6 +65 0 reject a' reject a' yes 2 2 9.4 +65 1 reject a' reject a' yes 2 2 9.4 +65 2 accept - accept - yes 2 2 9.4 +67 0 reject a' reject a' yes 1 1 9.8 +67 1 accept - accept - yes 1 1 9.8 +57 0 reject a' reject a' yes 8 8 19.1 +57 1 reject a' reject a' yes 8 8 19.1 +57 2 reject a' reject a' yes 8 8 19.1 +57 3 reject c'' reject c'' yes 8 8 19.1 +57 4 reject a reject a yes 8 8 19.1 +57 5 reject a' reject a' yes 8 8 19.1 +57 6 reject a' reject a' yes 8 8 19.1 +57 7 reject a reject a yes 8 8 19.1 +57 8 accept - accept - yes 8 8 19.1 +64 0 reject a' reject a' yes 1 1 10.3 +64 1 accept - accept - yes 1 1 10.3 +63 0 reject a' reject a' yes 2 2 11.0 +63 1 reject a' reject a' yes 2 2 11.0 +63 2 accept - accept - yes 2 2 11.0 +68 0 accept - accept - yes 0 0 10.8 +69 0 reject a' reject a' yes 3 3 10.9 +69 1 reject a' reject a' yes 3 3 10.9 +69 2 reject a' reject a' yes 3 3 10.9 +69 3 accept - accept - yes 3 3 10.9 +73 0 reject a' reject a' yes 2 2 10.1 +73 1 reject a' reject a' yes 2 2 10.1 +73 2 accept - accept - yes 2 2 10.1 +82 0 reject a reject a yes 6 6 9.5 +82 1 reject a' reject a' yes 6 6 9.5 +82 2 reject a' reject a' yes 6 6 9.5 +82 3 reject a reject a yes 6 6 9.5 +82 4 reject a' reject a' yes 6 6 9.5 +82 5 reject a' reject a' yes 6 6 9.5 +82 6 accept - accept - yes 6 6 9.5 +79 0 reject a' reject a' yes 3 3 9.8 +79 1 reject a' reject a' yes 3 3 9.8 +79 2 reject a' reject a' yes 3 3 9.8 +79 3 accept - accept - yes 3 3 9.8 +74 0 reject a' reject a' yes 10 10 10.5 +74 1 reject a' reject a' yes 10 10 10.5 +74 2 reject a' reject a' yes 10 10 10.5 +74 3 reject a reject a yes 10 10 10.5 +74 4 reject a' reject a' yes 10 10 10.5 +74 5 reject a reject a yes 10 10 10.5 +74 6 reject a' reject a' yes 10 10 10.5 +74 7 reject a' reject a' yes 10 10 10.5 +74 8 reject a reject a yes 10 10 10.5 +74 9 reject a' reject a' yes 10 10 10.5 +74 10 accept - accept - yes 10 10 10.5 +71 0 reject a reject a yes 6 6 10.9 +71 1 reject a reject a yes 6 6 10.9 +71 2 reject b reject b yes 6 6 10.9 +71 3 reject a' reject a' yes 6 6 10.9 +71 4 reject a' reject a' yes 6 6 10.9 +71 5 reject a' reject a' yes 6 6 10.9 +71 6 accept - accept - yes 6 6 10.9 +77 0 reject a' reject a' yes 1 1 10.2 +77 1 accept - accept - yes 1 1 10.2 +80 0 reject a' reject a' yes 8 8 10.0 +80 1 reject a' reject a' yes 8 8 10.0 +80 2 reject a' reject a' yes 8 8 10.0 +80 3 reject a reject a yes 8 8 10.0 +80 4 reject a' reject a' yes 8 8 10.0 +80 5 reject a' reject a' yes 8 8 10.0 +80 6 reject a' reject a' yes 8 8 10.0 +80 7 reject a' reject a' yes 8 8 10.0 +80 8 accept - accept - yes 8 8 10.0 +85 0 reject a' reject a' yes 3 3 9.5 +85 1 reject a' reject a' yes 3 3 9.5 +85 2 reject a' reject a' yes 3 3 9.5 +85 3 accept - accept - yes 3 3 9.5 +70 0 reject a' reject a' yes 4 4 11.5 +70 1 reject a' reject a' yes 4 4 11.5 +70 2 reject a' reject a' yes 4 4 11.5 +70 3 reject a' reject a' yes 4 4 11.5 +70 4 accept - accept - yes 4 4 11.5 +75 0 reject a' reject a' yes 3 3 11.1 +75 1 reject a' reject a' yes 3 3 11.1 +75 2 reject a' reject a' yes 3 3 11.1 +75 3 accept - accept - yes 3 3 11.1 +81 0 reject a' reject a' yes 1 1 10.8 +81 1 accept - accept - yes 1 1 10.8 +76 0 reject a' reject a' yes 1 1 11.4 +76 1 accept - accept - yes 1 1 11.4 +83 0 accept - accept - yes 0 0 11.0 +72 0 reject a' reject a' yes 3 3 12.1 +72 1 reject a' reject a' yes 3 3 12.1 +72 2 reject a' reject a' yes 3 3 12.1 +72 3 accept - accept - yes 3 3 12.1 +41 0 reject b reject b yes 5 5 23.0 +41 1 reject a' reject a' yes 5 5 23.0 +41 2 reject a' reject a' yes 5 5 23.0 +41 3 reject a' reject a' yes 5 5 23.0 +41 4 reject c'' reject c'' yes 5 5 23.0 +41 5 accept - accept - yes 5 5 23.0 +88 0 reject a' reject a' yes 1 1 10.5 +88 1 accept - accept - yes 1 1 10.5 +91 0 reject a' reject a' yes 2 2 10.1 +91 1 reject a' reject a' yes 2 2 10.1 +91 2 accept - accept - yes 2 2 10.1 +90 0 accept - accept - yes 0 0 10.3 +86 0 reject a' reject a' yes 6 6 11.2 +86 1 reject a' reject a' yes 6 6 11.2 +86 2 reject a' reject a' yes 6 6 11.2 +86 3 reject a' reject a' yes 6 6 11.2 +86 4 reject a' reject a' yes 6 6 11.2 +86 5 reject a' reject a' yes 6 6 11.2 +86 6 accept - accept - yes 6 6 11.2 +89 0 reject a' reject a' yes 1 1 10.8 +89 1 accept - accept - yes 1 1 10.8 +84 0 accept - accept - yes 0 0 11.8 +92 0 accept - accept - yes 0 0 11.1 +93 0 accept - accept - yes 0 0 10.4 +97 0 reject a' reject a' yes 1 1 9.4 +97 1 accept - accept - yes 1 1 9.4 +95 0 reject a' reject a' yes 2 2 10.1 +95 1 reject a' reject a' yes 2 2 10.1 +95 2 accept - accept - yes 2 2 10.1 +94 0 accept - accept - yes 0 0 11.4 +101 0 accept - accept - yes 0 0 9.7 +102 0 reject a' reject a' yes 2 2 9.4 +102 1 reject a' reject a' yes 2 2 9.4 +102 2 accept - accept - yes 2 2 9.4 +98 0 accept - accept - yes 0 0 10.9 +96 0 reject a' reject a' yes 1 1 11.3 +96 1 accept - accept - yes 1 1 11.3 +99 0 reject a' reject a' yes 2 2 10.6 +99 1 reject a' reject a' yes 2 2 10.6 +99 2 accept - accept - yes 2 2 10.6 +100 0 reject b reject b yes 6 6 10.5 +100 1 reject a' reject a' yes 6 6 10.5 +100 2 reject a' reject a' yes 6 6 10.5 +100 3 reject a' reject a' yes 6 6 10.5 +100 4 reject a' reject a' yes 6 6 10.5 +100 5 reject a' reject a' yes 6 6 10.5 +100 6 accept - accept - yes 6 6 10.5 +106 0 reject a' reject a' yes 2 2 9.8 +106 1 reject a' reject a' yes 2 2 9.8 +106 2 accept - accept - yes 2 2 9.8 +108 0 reject a' reject a' yes 3 3 10.1 +108 1 reject a' reject a' yes 3 3 10.1 +108 2 reject a' reject a' yes 3 3 10.1 +108 3 accept - accept - yes 3 3 10.1 +105 0 reject a' reject a' yes 7 7 10.4 +105 1 reject a' reject a' yes 7 7 10.4 +105 2 reject a' reject a' yes 7 7 10.4 +105 3 reject a' reject a' yes 7 7 10.4 +105 4 reject a' reject a' yes 7 7 10.4 +105 5 reject a' reject a' yes 7 7 10.4 +105 6 reject a reject a yes 7 7 10.4 +105 7 accept - accept - yes 7 7 10.4 +78 0 reject a' reject a' yes 6 6 20.8 +78 1 reject a' reject a' yes 6 6 20.8 +78 2 reject a' reject a' yes 6 6 20.8 +78 3 reject b reject b yes 6 6 20.8 +78 4 reject c'' reject c'' yes 6 6 20.8 +78 5 reject a' reject a' yes 6 6 20.8 +78 6 accept - accept - yes 6 6 20.8 +107 0 accept - accept - yes 0 0 10.8 +117 0 reject a' reject a' yes 1 1 9.2 +117 1 accept - accept - yes 1 1 9.2 +104 0 reject a' reject a' yes 1 1 11.3 +104 1 accept - accept - yes 1 1 11.3 +103 0 reject a' reject a' yes 2 2 11.7 +103 1 reject a reject a yes 2 2 11.7 +103 2 accept - accept - yes 2 2 11.7 +109 0 accept - accept - yes 0 0 11.5 +110 0 accept - accept - yes 0 0 11.1 +112 0 accept - accept - yes 0 0 10.9 +115 0 accept - accept - yes 0 0 10.6 +111 0 accept - accept - yes 0 0 11.1 +120 0 accept - accept - yes 0 0 10.2 +87 0 reject a' reject a' yes 3 3 21.5 +87 1 reject a' reject a' yes 3 3 21.5 +87 2 reject c'' reject c'' yes 3 3 21.5 +87 3 accept - accept - yes 3 3 21.5 +114 0 reject a' reject a' yes 2 2 11.1 +114 1 reject a' reject a' yes 2 2 11.1 +114 2 accept - accept - yes 2 2 11.1 +113 0 reject a' reject a' yes 1 1 11.1 +113 1 accept - accept - yes 1 1 11.1 +118 0 accept - accept - yes 0 0 10.7 +119 0 reject a' reject a' yes 2 2 10.9 +119 1 reject a' reject a' yes 2 2 10.9 +119 2 accept - accept - yes 2 2 10.9 +116 0 reject a' reject a' yes 1 1 11.7 +116 1 accept - accept - yes 1 1 11.7 +121 0 reject a' reject a' yes 3 3 11.4 +121 1 reject a' reject a' yes 3 3 11.4 +121 2 reject a' reject a' yes 3 3 11.4 +121 3 accept - accept - yes 3 3 11.4 +122 0 reject a reject a yes 2 2 11.5 +122 1 reject a' reject a' yes 2 2 11.5 +122 2 accept - accept - yes 2 2 11.5 +126 0 reject a' reject a' yes 10 10 8.9 +126 1 reject a' reject a' yes 10 10 8.9 +126 2 reject a reject a yes 10 10 8.9 +126 3 reject a' reject a' yes 10 10 8.9 +126 4 reject a' reject a' yes 10 10 8.9 +126 5 reject a' reject a' yes 10 10 8.9 +126 6 reject a' reject a' yes 10 10 8.9 +126 7 reject a' reject a' yes 10 10 8.9 +126 8 reject a' reject a' yes 10 10 8.9 +126 9 reject a' reject a' yes 10 10 8.9 +126 10 accept - accept - yes 10 10 8.9 +129 0 reject a' reject a' yes 1 1 8.8 +129 1 accept - accept - yes 1 1 8.8 +125 0 reject a' reject a' yes 2 2 10.1 +125 1 reject c-constbit reject c-constbit yes 2 2 10.1 +125 2 accept - accept - yes 2 2 10.1 +127 0 reject a' reject a' yes 4 4 9.3 +127 1 reject a' reject a' yes 4 4 9.3 +127 2 reject a' reject a' yes 4 4 9.3 +127 3 reject a' reject a' yes 4 4 9.3 +127 4 accept - accept - yes 4 4 9.3 +123 0 accept - accept - yes 0 0 11.2 +131 0 accept - accept - yes 0 0 8.7 +128 0 reject a' reject a' yes 2 2 10.3 +128 1 reject a' reject a' yes 2 2 10.3 +128 2 accept - accept - yes 2 2 10.3 +130 0 accept - accept - yes 0 0 10.2 +124 0 reject a' reject a' yes 9 9 12.1 +124 1 reject a reject a yes 9 9 12.1 +124 2 reject a' reject a' yes 9 9 12.1 +124 3 reject a' reject a' yes 9 9 12.1 +124 4 reject b reject b yes 9 9 12.1 +124 5 reject a' reject a' yes 9 9 12.1 +124 6 reject a' reject a' yes 9 9 12.1 +124 7 reject a' reject a' yes 9 9 12.1 +124 8 reject a' reject a' yes 9 9 12.1 +124 9 accept - accept - yes 9 9 12.1 +137 0 reject a' reject a' yes 8 8 9.1 +137 1 reject a' reject a' yes 8 8 9.1 +137 2 reject a' reject a' yes 8 8 9.1 +137 3 reject a' reject a' yes 8 8 9.1 +137 4 reject a reject a yes 8 8 9.1 +137 5 reject a' reject a' yes 8 8 9.1 +137 6 reject a' reject a' yes 8 8 9.1 +137 7 reject a' reject a' yes 8 8 9.1 +137 8 accept - accept - yes 8 8 9.1 +133 0 accept - accept - yes 0 0 10.1 +143 0 accept - accept - yes 0 0 8.3 +136 0 reject a' reject a' yes 1 1 9.8 +136 1 accept - accept - yes 1 1 9.8 +138 0 accept - accept - yes 0 0 9.7 +148 0 accept - accept - yes 0 0 8.8 +132 0 accept - accept - yes 0 0 11.3 +146 0 accept - accept - yes 0 0 9.0 +145 0 reject a' reject a' yes 1 1 9.3 +145 1 accept - accept - yes 1 1 9.3 +147 0 accept - accept - yes 0 0 9.5 +139 0 accept - accept - yes 0 0 10.6 +134 0 reject a' reject a' yes 7 7 11.7 +134 1 reject a' reject a' yes 7 7 11.7 +134 2 reject a' reject a' yes 7 7 11.7 +134 3 reject a' reject a' yes 7 7 11.7 +134 4 reject a' reject a' yes 7 7 11.7 +134 5 reject a' reject a' yes 7 7 11.7 +134 6 reject a' reject a' yes 7 7 11.7 +134 7 accept - accept - yes 7 7 11.7 +135 0 reject a' reject a' yes 4 4 11.4 +135 1 reject a' reject a' yes 4 4 11.4 +135 2 reject a' reject a' yes 4 4 11.4 +135 3 reject a' reject a' yes 4 4 11.4 +135 4 accept - accept - yes 4 4 11.4 +144 0 reject b reject b yes 2 2 10.0 +144 1 reject a' reject a' yes 2 2 10.0 +144 2 accept - accept - yes 2 2 10.0 +141 0 reject a' reject a' yes 1 1 10.5 +141 1 accept - accept - yes 1 1 10.5 +142 0 reject a' reject a' yes 1 1 10.9 +142 1 accept - accept - yes 1 1 10.9 +140 0 reject a' reject a' yes 2 2 11.2 +140 1 reject a' reject a' yes 2 2 11.2 +140 2 accept - accept - yes 2 2 11.2 +149 0 reject a' reject a' yes 2 2 10.6 +149 1 reject a' reject a' yes 2 2 10.6 +149 2 accept - accept - yes 2 2 10.6 +Terminated +lease: released 32 pool cores after 56 s, exit 0 +lease: holding 32 pool cores (21,33,34,35,36,37,38,39,40,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,89,90,91,92,93,94,95, waited 0 s, class adv): adv-accept-3 98-adv-accept-3-verdicts-knownfailed 150 +# adv3 verdicts 2026-10-07T20:41:41Z variant floor97 seeds 150..300 (internal adversarial pass, not an independent review) +seed attempt lib_verdict lib_part second_verdict second_part agree chosen_lib chosen_second secs +177 0 reject a reject a yes 4 4 11.8 +177 1 reject a' reject a' yes 4 4 11.8 +177 2 reject a' reject a' yes 4 4 11.8 +177 3 reject a' reject a' yes 4 4 11.8 +177 4 accept - accept - yes 4 4 11.8 +166 0 reject a' reject a' yes 1 1 11.9 +166 1 accept - accept - yes 1 1 11.9 +153 0 reject a' reject a' yes 1 1 12.2 +153 1 accept - accept - yes 1 1 12.2 +173 0 reject a' reject a' yes 2 2 12.3 +173 1 reject a' reject a' yes 2 2 12.3 +173 2 accept - accept - yes 2 2 12.3 +160 0 reject a' reject a' yes 1 1 12.4 +160 1 accept - accept - yes 1 1 12.4 +171 0 reject a' reject a' yes 2 2 12.4 +171 1 reject a' reject a' yes 2 2 12.4 +171 2 accept - accept - yes 2 2 12.4 +167 0 accept - accept - yes 0 0 12.5 +168 0 reject a' reject a' yes 1 1 12.7 +168 1 accept - accept - yes 1 1 12.7 +156 0 reject a' reject a' yes 8 8 12.8 +156 1 reject a' reject a' yes 8 8 12.8 +156 2 reject a' reject a' yes 8 8 12.8 +156 3 reject a' reject a' yes 8 8 12.8 +156 4 reject a' reject a' yes 8 8 12.8 +156 5 reject a' reject a' yes 8 8 12.8 +156 6 reject a reject a yes 8 8 12.8 +156 7 reject a' reject a' yes 8 8 12.8 +156 8 accept - accept - yes 8 8 12.8 +158 0 accept - accept - yes 0 0 12.8 +159 0 reject a' reject a' yes 1 1 12.8 +159 1 accept - accept - yes 1 1 12.8 +154 0 reject a' reject a' yes 1 1 12.9 +154 1 accept - accept - yes 1 1 12.9 +161 0 reject a reject a yes 12 12 12.9 +161 1 reject a' reject a' yes 12 12 12.9 +161 2 reject a' reject a' yes 12 12 12.9 +161 3 reject a' reject a' yes 12 12 12.9 +161 4 reject a' reject a' yes 12 12 12.9 +161 5 reject a' reject a' yes 12 12 12.9 +161 6 reject a' reject a' yes 12 12 12.9 +161 7 reject a reject a yes 12 12 12.9 +161 8 reject a' reject a' yes 12 12 12.9 +161 9 reject a' reject a' yes 12 12 12.9 +161 10 reject a' reject a' yes 12 12 12.9 +161 11 reject a' reject a' yes 12 12 12.9 +161 12 accept - accept - yes 12 12 12.9 +174 0 reject a' reject a' yes 1 1 13.1 +174 1 accept - accept - yes 1 1 13.1 +165 0 reject a' reject a' yes 9 9 13.2 +165 1 reject a' reject a' yes 9 9 13.2 +165 2 reject a reject a yes 9 9 13.2 +165 3 reject a' reject a' yes 9 9 13.2 +165 4 reject a' reject a' yes 9 9 13.2 +165 5 reject a' reject a' yes 9 9 13.2 +165 6 reject a' reject a' yes 9 9 13.2 +165 7 reject a' reject a' yes 9 9 13.2 +165 8 reject a' reject a' yes 9 9 13.2 +165 9 accept - accept - yes 9 9 13.2 +151 0 reject a' reject a' yes 6 6 13.3 +151 1 reject a' reject a' yes 6 6 13.3 +151 2 reject a' reject a' yes 6 6 13.3 +151 3 reject a' reject a' yes 6 6 13.3 +151 4 reject a' reject a' yes 6 6 13.3 +151 5 reject a' reject a' yes 6 6 13.3 +151 6 accept - accept - yes 6 6 13.3 +157 0 reject a' reject a' yes 2 2 13.3 +157 1 reject a' reject a' yes 2 2 13.3 +157 2 accept - accept - yes 2 2 13.3 +150 0 reject a' reject a' yes 4 4 13.4 +150 1 reject a' reject a' yes 4 4 13.4 +150 2 reject a' reject a' yes 4 4 13.4 +150 3 reject a' reject a' yes 4 4 13.4 +150 4 accept - accept - yes 4 4 13.4 +176 0 accept - accept - yes 0 0 13.5 +175 0 reject a' reject a' yes 1 1 13.5 +175 1 accept - accept - yes 1 1 13.5 +169 0 reject a' reject a' yes 2 2 13.6 +169 1 reject a' reject a' yes 2 2 13.6 +169 2 accept - accept - yes 2 2 13.6 +152 0 accept - accept - yes 0 0 13.6 +179 0 reject a reject a yes 2 2 13.6 +179 1 reject a' reject a' yes 2 2 13.6 +179 2 accept - accept - yes 2 2 13.6 +164 0 reject a' reject a' yes 3 3 13.7 +164 1 reject a' reject a' yes 3 3 13.7 +164 2 reject a reject a yes 3 3 13.7 +164 3 accept - accept - yes 3 3 13.7 +162 0 reject a' reject a' yes 1 1 13.7 +162 1 accept - accept - yes 1 1 13.7 +178 0 reject a' reject a' yes 1 1 13.9 +178 1 accept - accept - yes 1 1 13.9 +181 0 accept - accept - yes 0 0 14.0 +180 0 reject a' reject a' yes 1 1 14.2 +180 1 accept - accept - yes 1 1 14.2 +170 0 reject a reject a yes 6 6 14.3 +170 1 reject a' reject a' yes 6 6 14.3 +170 2 reject a' reject a' yes 6 6 14.3 +170 3 reject a' reject a' yes 6 6 14.3 +170 4 reject a' reject a' yes 6 6 14.3 +170 5 reject a' reject a' yes 6 6 14.3 +170 6 accept - accept - yes 6 6 14.3 +155 0 reject a' reject a' yes 6 6 14.4 +155 1 reject a' reject a' yes 6 6 14.4 +155 2 reject a' reject a' yes 6 6 14.4 +155 3 reject a reject a yes 6 6 14.4 +155 4 reject a' reject a' yes 6 6 14.4 +155 5 reject a reject a yes 6 6 14.4 +155 6 accept - accept - yes 6 6 14.4 +188 0 reject a' reject a' yes 1 1 10.5 +188 1 accept - accept - yes 1 1 10.5 +182 0 reject a' reject a' yes 2 2 11.6 +182 1 reject a' reject a' yes 2 2 11.6 +182 2 accept - accept - yes 2 2 11.6 +183 0 reject a' reject a' yes 2 2 11.8 +183 1 reject a' reject a' yes 2 2 11.8 +183 2 accept - accept - yes 2 2 11.8 +184 0 reject a' reject a' yes 1 1 11.6 +184 1 accept - accept - yes 1 1 11.6 +191 0 accept - accept - yes 0 0 11.3 +163 0 reject c'' reject c'' yes 2 2 24.2 +163 1 reject a' reject a' yes 2 2 24.2 +163 2 accept - accept - yes 2 2 24.2 +185 0 reject a' reject a' yes 1 1 12.1 +185 1 accept - accept - yes 1 1 12.1 +187 0 accept - accept - yes 0 0 12.1 +199 0 reject a reject a yes 2 2 11.2 +199 1 reject a' reject a' yes 2 2 11.2 +199 2 accept - accept - yes 2 2 11.2 +194 0 accept - accept - yes 0 0 11.7 +172 0 reject c'' reject c'' yes 2 2 24.7 +172 1 reject a' reject a' yes 2 2 24.7 +172 2 accept - accept - yes 2 2 24.7 +196 0 accept - accept - yes 0 0 11.6 +190 0 reject a' reject a' yes 1 1 12.0 +190 1 accept - accept - yes 1 1 12.0 +208 0 reject a reject a yes 4 4 10.8 +208 1 reject a' reject a' yes 4 4 10.8 +208 2 reject a' reject a' yes 4 4 10.8 +208 3 reject a' reject a' yes 4 4 10.8 +208 4 accept - accept - yes 4 4 10.8 +192 0 accept - accept - yes 0 0 12.0 +193 0 reject a' reject a' yes 4 4 12.1 +193 1 reject b reject b yes 4 4 12.1 +193 2 reject a' reject a' yes 4 4 12.1 +193 3 reject a' reject a' yes 4 4 12.1 +193 4 accept - accept - yes 4 4 12.1 +200 0 accept - accept - yes 0 0 11.5 +203 0 reject a' reject a' yes 2 2 11.4 +203 1 reject a' reject a' yes 2 2 11.4 +203 2 accept - accept - yes 2 2 11.4 +205 0 reject a' reject a' yes 2 2 11.4 +205 1 reject a' reject a' yes 2 2 11.4 +205 2 accept - accept - yes 2 2 11.4 +189 0 reject a' reject a' yes 8 8 12.5 +189 1 reject a' reject a' yes 8 8 12.5 +189 2 reject a' reject a' yes 8 8 12.5 +189 3 reject a' reject a' yes 8 8 12.5 +189 4 reject a' reject a' yes 8 8 12.5 +189 5 reject a reject a yes 8 8 12.5 +189 6 reject a' reject a' yes 8 8 12.5 +189 7 reject a' reject a' yes 8 8 12.5 +189 8 accept - accept - yes 8 8 12.5 +186 0 reject a reject a yes 1 1 12.9 +186 1 accept - accept - yes 1 1 12.9 +202 0 accept - accept - yes 0 0 11.8 +195 0 reject a' reject a' yes 3 3 12.3 +195 1 reject a' reject a' yes 3 3 12.3 +195 2 reject a reject a yes 3 3 12.3 +195 3 accept - accept - yes 3 3 12.3 +197 0 reject a' reject a' yes 1 1 12.2 +197 1 accept - accept - yes 1 1 12.2 +211 0 reject a' reject a' yes 3 3 11.2 +211 1 reject a' reject a' yes 3 3 11.2 +211 2 reject a' reject a' yes 3 3 11.2 +211 3 accept - accept - yes 3 3 11.2 +204 0 reject a' reject a' yes 6 6 12.0 +204 1 reject b reject b yes 6 6 12.0 +204 2 reject a' reject a' yes 6 6 12.0 +204 3 reject a' reject a' yes 6 6 12.0 +204 4 reject a' reject a' yes 6 6 12.0 +204 5 reject a' reject a' yes 6 6 12.0 +204 6 accept - accept - yes 6 6 12.0 +206 0 reject a' reject a' yes 6 6 12.2 +206 1 reject a' reject a' yes 6 6 12.2 +206 2 reject a' reject a' yes 6 6 12.2 +206 3 reject a' reject a' yes 6 6 12.2 +206 4 reject a' reject a' yes 6 6 12.2 +206 5 reject a reject a yes 6 6 12.2 +206 6 accept - accept - yes 6 6 12.2 +201 0 reject a' reject a' yes 1 1 12.5 +201 1 accept - accept - yes 1 1 12.5 +207 0 reject a reject a yes 2 2 12.3 +207 1 reject a' reject a' yes 2 2 12.3 +207 2 accept - accept - yes 2 2 12.3 +210 0 accept - accept - yes 0 0 12.5 +215 0 reject a' reject a' yes 2 2 10.8 +215 1 reject a' reject a' yes 2 2 10.8 +215 2 accept - accept - yes 2 2 10.8 +213 0 accept - accept - yes 0 0 11.7 +198 0 reject c'' reject c'' yes 3 3 22.5 +198 1 reject a' reject a' yes 3 3 22.5 +198 2 reject a reject a yes 3 3 22.5 +198 3 accept - accept - yes 3 3 22.5 +216 0 reject a' reject a' yes 7 7 11.9 +216 1 reject a' reject a' yes 7 7 11.9 +216 2 reject a' reject a' yes 7 7 11.9 +216 3 reject a' reject a' yes 7 7 11.9 +216 4 reject a' reject a' yes 7 7 11.9 +216 5 reject a reject a yes 7 7 11.9 +216 6 reject a' reject a' yes 7 7 11.9 +216 7 accept - accept - yes 7 7 11.9 +212 0 accept - accept - yes 0 0 13.1 +228 0 reject a' reject a' yes 9 9 11.3 +228 1 reject a' reject a' yes 9 9 11.3 +228 2 reject a' reject a' yes 9 9 11.3 +228 3 reject a' reject a' yes 9 9 11.3 +228 4 reject a reject a yes 9 9 11.3 +228 5 reject a' reject a' yes 9 9 11.3 +228 6 reject a' reject a' yes 9 9 11.3 +228 7 reject a' reject a' yes 9 9 11.3 +228 8 reject a' reject a' yes 9 9 11.3 +228 9 accept - accept - yes 9 9 11.3 +225 0 accept - accept - yes 0 0 11.4 +218 0 reject a' reject a' yes 2 2 11.8 +218 1 reject a' reject a' yes 2 2 11.8 +218 2 accept - accept - yes 2 2 11.8 +217 0 reject a' reject a' yes 2 2 12.1 +217 1 reject a' reject a' yes 2 2 12.1 +217 2 accept - accept - yes 2 2 12.1 +226 0 reject a' reject a' yes 1 1 11.5 +226 1 accept - accept - yes 1 1 11.5 +220 0 accept - accept - yes 0 0 11.9 +232 0 accept - accept - yes 0 0 11.3 +227 0 reject a' reject a' yes 3 3 11.8 +227 1 reject a' reject a' yes 3 3 11.8 +227 2 reject a' reject a' yes 3 3 11.8 +227 3 accept - accept - yes 3 3 11.8 +219 0 accept - accept - yes 0 0 12.3 +229 0 reject a reject a yes 2 2 11.8 +229 1 reject a' reject a' yes 2 2 11.8 +229 2 accept - accept - yes 2 2 11.8 +214 0 accept - accept - yes 0 0 13.1 +234 0 reject a' reject a' yes 2 2 11.6 +234 1 reject a' reject a' yes 2 2 11.6 +234 2 accept - accept - yes 2 2 11.6 +221 0 accept - accept - yes 0 0 12.5 +235 0 reject b reject b yes 3 3 11.9 +235 1 reject a' reject a' yes 3 3 11.9 +235 2 reject a' reject a' yes 3 3 11.9 +235 3 accept - accept - yes 3 3 11.9 +237 0 accept - accept - yes 0 0 11.8 +222 0 accept - accept - yes 0 0 12.8 +230 0 reject a' reject a' yes 8 8 12.5 +230 1 reject a' reject a' yes 8 8 12.5 +230 2 reject a' reject a' yes 8 8 12.5 +230 3 reject a' reject a' yes 8 8 12.5 +230 4 reject a' reject a' yes 8 8 12.5 +230 5 reject a reject a yes 8 8 12.5 +230 6 reject a' reject a' yes 8 8 12.5 +230 7 reject a' reject a' yes 8 8 12.5 +230 8 accept - accept - yes 8 8 12.5 +240 0 reject a' reject a' yes 4 4 11.3 +240 1 reject a' reject a' yes 4 4 11.3 +240 2 reject a reject a yes 4 4 11.3 +240 3 reject a' reject a' yes 4 4 11.3 +240 4 accept - accept - yes 4 4 11.3 +233 0 reject a' reject a' yes 2 2 12.5 +233 1 reject a' reject a' yes 2 2 12.5 +233 2 accept - accept - yes 2 2 12.5 +224 0 reject a' reject a' yes 19 19 13.1 +224 1 reject b reject b yes 19 19 13.1 +224 2 reject a' reject a' yes 19 19 13.1 +224 3 reject a' reject a' yes 19 19 13.1 +224 4 reject a' reject a' yes 19 19 13.1 +224 5 reject a' reject a' yes 19 19 13.1 +224 6 reject a' reject a' yes 19 19 13.1 +224 7 reject a' reject a' yes 19 19 13.1 +224 8 reject a' reject a' yes 19 19 13.1 +224 9 reject a reject a yes 19 19 13.1 +224 10 reject a' reject a' yes 19 19 13.1 +224 11 reject a' reject a' yes 19 19 13.1 +224 12 reject a' reject a' yes 19 19 13.1 +224 13 reject a reject a yes 19 19 13.1 +224 14 reject a' reject a' yes 19 19 13.1 +224 15 reject a' reject a' yes 19 19 13.1 +224 16 reject a' reject a' yes 19 19 13.1 +224 17 reject a' reject a' yes 19 19 13.1 +224 18 reject a' reject a' yes 19 19 13.1 +224 19 accept - accept - yes 19 19 13.1 +239 0 accept - accept - yes 0 0 12.0 +209 0 reject a' reject a' yes 3 3 24.1 +209 1 reject a' reject a' yes 3 3 24.1 +209 2 reject c'' reject c'' yes 3 3 24.1 +209 3 accept - accept - yes 3 3 24.1 +223 0 reject a reject a yes 1 1 13.7 +223 1 accept - accept - yes 1 1 13.7 +238 0 accept - accept - yes 0 0 12.8 +236 0 reject a' reject a' yes 2 2 13.4 +236 1 reject a' reject a' yes 2 2 13.4 +236 2 accept - accept - yes 2 2 13.4 +231 0 reject a' reject a' yes 2 2 14.5 +231 1 reject a' reject a' yes 2 2 14.5 +231 2 accept - accept - yes 2 2 14.5 +241 0 reject a' reject a' yes 4 4 13.2 +241 1 reject a reject a yes 4 4 13.2 +241 2 reject a reject a yes 4 4 13.2 +241 3 reject a' reject a' yes 4 4 13.2 +241 4 accept - accept - yes 4 4 13.2 diff --git a/docs/analysis/cryptanalysis/report-acceptance-rule-3.md b/docs/analysis/cryptanalysis/report-acceptance-rule-3.md index f732cee8..842f092e 100644 --- a/docs/analysis/cryptanalysis/report-acceptance-rule-3.md +++ b/docs/analysis/cryptanalysis/report-acceptance-rule-3.md @@ -24,7 +24,7 @@ internal adversarial pass, not an independent review | Q2b | Static steering at 10^6 seeds | `adv3 static`: the first candidate passing (a), (b), (a') per seed, static properties, quantiles to 10^-6 | the plant of Q2 (the same property code) | the 10^-5 and 10^-6 quantiles of each property, priced | DONE: table in section 3; the best property at 1 in 10^6 tries is a shadow block with 38 multiplies of 256 (mean 74), worth about 2 to 3 percent of the f = 1 chip's energy per hash (approximate); the load critical path at 40 of 128 (median 72) is worth nothing at the memory activate ceiling | BOUND | | Q2c | Live hot set of the lowest-ratio steered seeds | f8 `warps` on the lowest-ratio seeds of Q2 | f8's own const-item plant | the worst steered seed's gain priced | plant FLAGGED (X_0.1% +6.25, 24.9x); control clear; the five lowest of 975 (ratio 0.998): within the 1.2x gate (1.01x to 1.13x), no hot set, 6-sigma flagged (+32 to +164); the three lowest of 4,975 (ratio 0.995: seeds 2653, 3296, 4388): PASS with no test fired (1.0007x to 1.0008x, X_0.1%/f 0.002, 6-sigma +4.3 to +4.8, the control's level); worst case over the eight: 1.0004x | BOUND (the 0.995 seeds also PASS at 2^24: 0.9998x to 1.0002x; seed 620 at 2^24 running) | | Q3 | Program id: collisions and derivation agreement | `adv3 ids` over 10^7 (seed, attempt) pairs; `adv3 idcheck` by three derivations | low-32 collision counts must match the birthday expectation; one attempt bit flipped must change the id | 0 collisions; the derivation that matches the packs named | 0 id collisions, 0 program-stream state collisions, 0 seed-word collisions over 10^7 pairs (control: 11,759 low-32 id collisions against 11,641 expected); FINDING: program.json's `program_id_derivation` string and spec 1.4.6 state a derivation WITHOUT the `"sub/" || 3_le16` suffix the code appends for generator 4; an implementation written from the text computes 30956569d8f3d8d7 for Devnet 3 where the pack carries fce15bf61030be57 | FINDING (interoperability, not consensus) | -| Q4 | Determinism traps | `adv3 margins`; a second interpretation of the rule (`adv3 verdicts`, 2,000 seeds, every attempt); a spec-1.4.6-only interpretation (400 seeds); the read list | `--variant floor97` must change at least one verdict | 0 disagreements between code and the faithful second interpretation; the spec-only disagreement rate measured; every divergence listed | margins: the f64 ratio compare of (c'') never disagrees with the integer rule `50 d >= 49 E` on any of the 2^20 + 1 values of d for any window (margins 0.32 to 0.44 counts); second interpretation: 3,411 of 3,411 attempt verdicts of 1,056 seeds agree with the code, part by part (the same 1,445 (a'), 204 (a), 70 (b), 20 (c''), 7 (c') saturated-source, 7 constant-bit, 1 distinct-sum rejections and 792 accepts), chosen attempt equal on every seed; read list in section 6 (the spec text is behind the code on six points; the CLI `accept` command caps at 32 with no last resort) | RUNNING (sweeps 94, 97, 98 chunked) | +| Q4 | Determinism traps | `adv3 margins`; a second interpretation of the rule (`adv3 verdicts`, 2,000 seeds, every attempt); a spec-1.4.6-only interpretation (400 seeds); the read list | `--variant floor97` must change at least one verdict | 0 disagreements between code and the faithful second interpretation; the spec-only disagreement rate measured; every divergence listed | margins: the f64 ratio compare of (c'') never disagrees with the integer rule `50 d >= 49 E` on any of the 2^20 + 1 values of d for any window (margins 0.32 to 0.44 counts); second interpretation DONE: 5,748 of 5,748 attempt verdicts of 1,792 seeds agree with the code, part by part (the same 1,445 (a'), 204 (a), 70 (b), 20 (c''), 7 (c') saturated-source, 7 constant-bit, 1 distinct-sum rejections and 792 accepts), chosen attempt equal on every seed; read list in section 6 (the spec text is behind the code on six points; the CLI `accept` command caps at 32 with no last resort) | RUNNING (sweeps 94, 97, 98 chunked) | | Q5 | Era steering | `adv3 era-steer` over 400 era seeds: stride, interleave, epoch 0's min ratio | none needed (a listing) | noted | queued | RUNNING (sweep 99) | ## 1. Q1: exhaustion (row 90, owner adv-accept, cited; this lane's static rates added) @@ -225,7 +225,7 @@ Spec 01 section 1.4.6 at 017e7037 describes (a), (b), (c), a 5.14 percent reject ### 6.4 The second interpretation (sweeps 94, 98) -`adv3 verdicts --variant faithful` re-implements (a) cyclic, (b), (a') to its fixpoint with the shared-operand idiom, (c), (c') and (c'') as a per-lane scalar interpreter with its own accumulators and an integer ratio compare, from the module table of accept.rs and the spec's instruction semantics (reusing the library's `splitmix32`, `dataset_elem` and `load_index` as primitives), and compares verdict by verdict with `accept::check` on every attempt of 2,000 seeds. `--variant floor97` (300 seeds) is the known-failed shape: the floor at 0.97 must change at least one verdict against the code, or the comparison is not reading the ratio. Parts 1 and 2 (seeds 0 to 791 before the kill, then 1,000 to 1,199 through the lease at 21:3x BST, logs 94-verdicts-faithful-part1.tsv and part2.tsv): 3,411 attempt verdicts over 1,056 seeds, 3,411 agree; the first failing part named by the second interpretation equals the code's on every row ((a') 1,947, (a) 269, (b) 90, (c'') 31, (c) saturated 9, constant bit 8, distinct sum 1, accept 1,056); the chosen attempt is the same on all 1,056 seeds. (Part 1 alone: 2,546 attempt verdicts, 2,546 agree; the first failing part named by the second interpretation equals the code's on every row ((a') 1,445, (a) 204, (b) 70, (c'') 20, (c') 7, constant bit 7, distinct sum 1, accept 792); the chosen attempt is the same on all 792 seeds. The known-failed variant (floor 0.97) runs as sweep 98. +`adv3 verdicts --variant faithful` re-implements (a) cyclic, (b), (a') to its fixpoint with the shared-operand idiom, (c), (c') and (c'') as a per-lane scalar interpreter with its own accumulators and an integer ratio compare, from the module table of accept.rs and the spec's instruction semantics (reusing the library's `splitmix32`, `dataset_elem` and `load_index` as primitives), and compares verdict by verdict with `accept::check` on every attempt of 2,000 seeds. `--variant floor97` (300 seeds) is the known-failed shape: the floor at 0.97 must change at least one verdict against the code, or the comparison is not reading the ratio. Sweep 94 DONE (seeds 0 to 791 at 88 threads before the kill, then 1,000 to 1,999 through the lease in 200-seed chunks, 20:43 to 21:40 BST; logs 94-verdicts-faithful-part1.tsv and part2.tsv): 5,748 attempt verdicts over 1,792 seeds, 5,748 agree; the first failing part named by the second interpretation equals the code's on every row ((a') 3,281, (a) 459, (b) 135, (c'') 50, (c) constant bit 16, (c) saturated 12, (c) distinct sum 3, accept 1,792); the chosen attempt is the same on all 1,792 seeds. Every part of the rule fired at least once in the sample except (c'), the saturated-source count (its rate is 2 in 15,714 candidates in the steer sweep, so 0 in 5,748 is expected), and the lane-constant-site test (never seen in any sweep of this lane; the draw's fresh-source rule makes a 32-lane-constant address need a constant register). (Part 1 alone: 2,546 attempt verdicts, 2,546 agree; the first failing part named by the second interpretation equals the code's on every row ((a') 1,445, (a) 204, (b) 70, (c'') 20, (c') 7, constant bit 7, distinct sum 1, accept 792); the chosen attempt is the same on all 792 seeds. The known-failed variant (floor 0.97) runs as sweep 98. ## 7. Q5: era steering (sweep 99)