-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathresults.log
17 lines (17 loc) · 24.4 KB
/
results.log
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
{"Instance": "C1065_064", "Time": "--", "Result": "--"}
{"Instance": "C1065_082", "Time": "--", "Result": "--"}
{"Instance": "C140.cnf", "Time": "1.95", "Result": "SAT", "Solution": "925 false 14 false 484 false 1451 false 1517 false 1021 false 1354 false 137 false 690 false 626 false 6 false 477 false 998 false 1006 false 37 false 568 false 852 false 1404 false 823 false 599 false 659 false 1677 false 1342 false 600 false 1402 false 1255 false 1490 false 1141 false 1568 false 828 false 1259 false 701 false 227 false 1372 false 999 false 1549 false 465 false 287 false 830 false 1408 false 1556 false 1789 false 336 false 253 false 916 false 1049 false 961 false 801 false 394 false 1536 false 1144 false 1275 false 871 false 1799 false 1711 false 1494 false 178 true 212 false 1104 false 196 false 530 false 930 false 1616 false 674 true 1515 false 915 false 1007 false 1658 false 347 false 1723 false 695 false 905 false 981 false 1423 false 908 false 1815 false 1387 false 174 true 1825 false 645 false 1356 false 956 false 1756 false 15 false 162 true 1481 false 32 false 1681 false 539 false 1676 false 300 false 1746 false 1418 false 589 false 582 false 439 false 1405 false 1236 false 1656 false 1164 false 339 false 35 false 1064 false 454 false 68 true 281 false 649 false 848 false 1693 false 885 false 559 true 132 false 1062 false 1061 false 783 false 474 false 1097 false 869 false 130 false 933 false 1544 false 809 false 169 false 1072 false 1305 false 1190 false 1619 false 621 false 1301 false 185 false 964 false 504 false 80 false 1796 false 204 false 1504 false 1477 false 354 false 563 false 886 false 711 false 220 false 797 false 1287 false 815 false 688 false 236 false 596 false 835 false 197 false 211 false 611 false 1057 false 1393 false 1111 false 1666 false 1129 false 378 false 1595 false 268 false 963 false 1767 false 1805 false 1113 false 176 true 1101 false 692 false 523 false 514 false 1429 false 1137 false 849 false 496 false 598 false 1367 false 303 false 541 false 389 false 544 false 640 false 616 false 1474 false 2 true 1092 false 693 false 475 false 338 false 235 false 1599 false 1505 false 158 true 592 false 1739 false 708 false 1540 false 879 false 1493 false 165 false 199 false 1520 false 1424 false 1773 false 1201 false 1348 false 134 false 116 false 1081 false 248 false 1027 false 1832 false 657 false 1209 false 1399 false 419 false 1203 false 526 false 1529 false 1398 false 1539 false 1838 false 1472 false 1139 false 1339 false 1553 false 127 false 1452 false 17 false 699 false 1659 false 1670 false 1369 false 256 false 1806 false 183 false 931 false 793 false 1094 false 1041 false 370 false 1735 false 1412 false 1308 false 1813 false 1604 false 1284 false 597 false 1105 false 437 false 1266 false 1721 false 1346 false 1392 false 1607 false 1016 false 967 false 1045 false 1535 false 358 false 1527 false 1118 false 1145 false 1000 false 1695 false 1514 false 29 false 355 true 1546 false 473 false 1454 false 968 false 251 true 1040 false 939 false 1217 false 1155 false 805 false 1336 false 903 false 940 false 1138 false 1663 false 832 false 1204 false 1195 false 637 false 364 false 804 false 651 false 1419 false 623 false 975 false 1779 false 85 false 353 false 948 false 1637 false 245 false 1253 false 1718 false 131 false 369 false 410 false 647 false 1690 false 1220 false 1828 false 1243 false 1440 false 1153 false 1485 false 812 false 1649 false 13 false 1112 false 380 false 457 false 209 false 1584 false 1821 false 862 false 796 false 1131 false 1427 false 790 false 866 false 1674 false 171 true 221 false 1251 false 1781 false 506 false 950 false 156 false 1703 false 1314 false 1302 false 1150 false 1734 false 426 false 83 false 466 false 379 false 1353 false 786 false 1510 false 1462 false 642 false 1653 false 375 false 408 false 8 false 1270 false 1248 false 1231 false 489 false 1407 false 707 false 331 true 1524 false 1441 false 1731 false 407 false 1468 false 1175 false 1617 false 798 false 1808 false 274 false 773 true 1286 false 1660 false 1228 false 1699 false 1388 false 1435 false 1465 false 894 false 492 false 839 false 714 false 617 false 1154 false 1324 false 511 false 1174 false 716 false 1696 false 1437 false 1579 false 1569 false 411 false 1222 false 1673 false 1425 false 1608 false 937 false 1501 false 1256 false 1614 false 1159 false 580 false 549 false 1002 false 922 false 634 false 949 false 229 false 654 false 1512 false 802 false 889 false 686 true 1560 false 423 false 1755 false 1189 false 1239 false 402 false 314 true 390 false 1358 false 86 false 1381 false 1442 false 1401 false 1359 false 799 false 1067 false 603 false 1685 false 1254 false 1434 false 567 false 333 false 1250 false 1594 false 1702 false 1795 false 1166 false 228 false 641 false 542 false 1554 false 40 false 1012 false 612 false 562 false 1060 false 669 false 1486 false 1708 false 1394 false 1213 false 1173 false 1582 false 696 false 983 false 817 false 872 false 298 false 1136 false 1447 false 1009 false 1172 false 297 false 1722 false 1476 false 214 false 545 false 367 false 631 false 435 false 1792 false 807 false 400 false 159 false 902 false 989 false 1312 false 203 false 1221 false 1180 false 1403 false 697 false 193 false 1534 false 1744 false 1522 false 414 false 780 false 417 false 583 false 1836 false 192 false 277 false 1497 false 362 false 401 false 1461 false 1096 false 1453 false 187 false 1840 false 1747 false 1561 false 959 false 825 false 870 false 295 false 888 false 1625 false 190 false 628 false 906 false 36 false 1581 false 88 false 1591 false 1692 false 1533 false 578 true 1420 false 1299 false 1200 false 257 false 1024 false 1661 false 1087 false 966 false 1833 false 892 false 1364 false 462 false 1296 false 1443 false 831 false 1360 false 781 false 720 false 299 false 374 false 495 false 270 false 987 false 442 false 829 false 1575 false 1380 false 1310 false 509 true 1290 false 195 false 1513 false 914 false 633 false 698 false 368 false 531 false 1088 false 350 false 1341 false 1571 false 1498 false 1471 false 1019 false 1576 false 1368 false 1491 false 125 false 899 false 1479 false 1742 false 1206 false 911 false 1048 false 1516 false 1797 false 864 false 1349 false 1347 false 118 true 1329 false 352 false 571 false 1414 false 16 false 1234 false 1605 false 453 false 521 false 1261 false 1586 false 683 false 632 false 718 false 1001 false 1280 false 1603 false 1130 false 691 false 926 false 372 false 1449 false 1720 false 896 false 1278 false 329 false 1152 false 819 false 254 false 577 false 627 false 1079 false 1244 false 324 false 175 true 404 false 524 false 1085 false 1601 false 1531 false 858 false 1530 false 1241 false 1198 false 1819 false 1068 false 1116 false 278 false 1433 false 208 false 232 false 1613 false 1709 false 371 false 27 false 1269 false 1351 false 157 false 874 false 913 false 114 false 11 false 1484 false 814 false 1317 false 1567 false 519 false 1791 false 1543 false 1023 false 1386 false 1171 false 1242 false 537 false 997 false 307 true 91 false 1651 false 974 false 422 false 1730 false 1361 false 1820 false 1566 false 1020 false 334 false 392 false 1330 false 471 false 1829 false 586 false 1014 false 469 false 1047 false 1383 false 1225 false 1495 false 1667 false 1264 false 246 false 1835 false 1212 false 154 false 1238 false 1185 false 1370 false 431 false 1277 false 1563 false 409 false 152 true 816 false 847 false 173 true 1682 false 535 false 1786 false 587 false 655 false 928 false 1340 false 405 false 1039 false 459 false 952 false 450 false 1165 false 570 true 385 false 1716 false 883 false 349 false 1509 false 1521 false 387 false 361 false 1157 false 827 false 1235 false 565 false 1327 false 1768 false 1710 false 1415 false 225 false 126 false 357 false 189 false 962 false 1777 false 1780 false 980 false 72 false 602 false 880 false 1817 false 1822 false 661 false 1218 false 1444 false 38 false 579 false 1733 false 590 false 1626 false 1787 false 1800 false 1782 false 653 false 1257 false 1445 false 1224 false 1125 false 510 false 1688 false 285 false 1597 false 1826 false 346 false 1320 false 1230 false 924 false 438 false 1343 false 255 true 1265 false 463 false 403 false 1135 false 1635 false 488 false 10 false 1337 false 22 false 481 false 494 false 135 false 606 true 1162 false 1778 false 1197 false 1785 false 301 false 166 true 985 false 1542 false 406 false 1426 false 585 false 415 false 180 true 1258 false 501 false 266 false 976 false 867 false 857 false 532 false 630 false 884 false 1273 false 1306 false 1573 false 841 false 843 false 1775 false 1717 false 1466 false 1705 false 1294 false 877 false 1126 false 1480 false 219 false 1478 false 979 false 177 true 821 false 951 false 1291 false 1134 false 1596 false 1293 false 1644 false 1319 false 1518 false 1790 false 1338 false 1511 false 1592 false 977 false 1142 false 1279 false 1018 false 231 false 284 false 1374 false 1247 false 181 false 1757 false 936 false 1210 false 1051 false 1065 false 1178 false 1475 false 1643 false 581 false 595 false 1053 false 1184 false 1719 false 1672 false 461 false 1548 false 887 false 113 false 685 false 242 false 525 false 620 false 973 false 900 false 1743 false 810 false 82 false 1648 false 1205 false 1801 false 1812 false 429 false 1609 false 1038 false 1760 false 499 false 1345 false 184 true 89 false 133 false 1431 false 1784 false 4 false 1382 false 1807 false 395 false 399 false 363 false 1683 false 1450 false 1214 false 476 false 1322 false 972 false 1083 false 1680 false 1389 false 1013 false 601 false 1689 false 564 false 1123 false 1559 false 1500 false 1010 false 365 false 920 false 1182 false 1071 false 1492 false 1207 false 237 false 1005 false 1620 false 850 false 705 false 1506 false 124 false 854 false 1025 false 1460 false 1837 false 1632 false 788 false 709 false 497 false 1066 false 217 false 424 false 1728 false 1606 false 1487 false 555 false 1665 false 416 false 715 false 1313 false 1208 false 512 false 1350 false 71 false 865 false 9 false 1227 false 890 false 855 false 420 false 1669 false 1598 false 845 false 1132 false 635 false 550 false 712 false 1793 false 1271 false 1084 false 1352 false 1679 false 1082 false 430 false 614 false 912 false 992 false 591 false 337 false 1467 false 1003 false 1249 false 1749 false 153 false 1233 false 1115 false 207 false 789 false 1285 false 1574 false 1794 false 1058 false 561 false 1754 false 1818 false 129 false 1223 false 421 true 18 false 1627 false 1745 false 478 false 1413 false 1464 false 1326 false 1706 false 262 true 833 false 818 false 636 false 960 false 164 true 1624 false 41 true 464 false 291 false 569 false 1276 false 1507 false 704 false 1052 false 1766 false 1432 false 1652 false 1448 false 1439 false 325 false 516 false 1700 false 1030 false 446 false 643 false 638 false 837 false 517 false 434 false 188 false 897 false 1737 false 1763 false 1541 false 1814 false 508 false 224 false 710 false 713 false 7 false 67 false 1489 false 470 false 455 false 1029 false 820 false 1834 false 1499 false 1555 false 1645 false 991 false 179 false 458 false 230 false 1600 false 986 false 1032 false 957 false 1100 false 1726 false 1325 false 1704 false 141 false 1562 false 1037 false 1086 false 490 false 1482 false 1363 false 1355 false 993 false 1602 false 109 false 1091 false 1831 false 803 false 1232 false 1151 false 846 false 468 false 90 false 1366 false 1103 false 1161 false 139 false 1748 false 218 false 1106 false 296 false 824 false 1245 false 703 false 689 false 639 false 944 false 1587 false 1300 false 240 false 1678 false 1328 false 1033 false 1406 false 1043 false 615 false 1647 false 1816 false 965 false 366 false 1752 false 241 false 1774 false 919 false 1274 false 343 false 618 false 702 false 151 false 970 false 1202 false 391 false 878 false 1712 false 1761 false 1798 false 776 false 1724 false 808 false 1729 false 1740 false 1664 false 1240 false 1031 false 1416 false 112 false 1483 false 1409 false 1769 false 791 false 1323 false 648 false 910 false 792 false 1176 false 260 true 376 false 1650 false 1307 false 918 false 1124 false 108 true 480 false 1321 false 1590 false 1694 false 1117 false 1446 false 433 false 588 false 142 false 1022 false 1417 false 460 false 873 false 24 false 144 false 1015 false 934 false 1646 false 1612 false 1577 false 1827 false 244 false 34 false 1215 false 70 false 932 false 1059 false 529 false 1390 false 393 false 1333 false 1558 false 575 false 1080 false 990 false 377 false 286 false 1578 false 483 false 665 false 938 false 31 false 1054 false 1436 false 1109 false 503 false 1304 false 1715 false 1309 false 958 false 1631 false 1183 false 210 false 806 false 1384 false 1824 false 784 false 660 false 533 false 822 false 1107 false 1194 false 882 false 1657 false 1377 false 1636 false 1753 false 1772 false 1170 false 1193 false 945 false 1470 false 520 false 658 false 619 false 1621 false 1630 false 1292 false 289 true 1422 false 1411 false 498 false 909 false 155 false 1551 false 327 true 84 false 222 false 1379 false 1090 false 500 false 1508 false 1167 false 1133 false 982 false 1400 false 1570 false 1289 false 170 false 794 false 1611 false 69 false 1572 false 1397 false 160 true 507 false 953 false 1146 false 149 false 1263 false 625 false 1841 false 1565 false 1026 false 1580 false 1455 false 1074 false 573 false 1811 false 348 false 1707 false 1671 false 1810 false 1365 false 1714 false 194 false 123 false 1272 false 1725 false 233 false 269 false 1378 false 1691 false 1457 false 1396 false 971 false 1583 false 502 false 283 false 1073 false 427 false 868 false 607 false 1488 false 518 false 356 false 290 false 1186 false 1128 false 969 false 12 false 1675 false 247 false 811 false 1421 false 594 false 1075 false 543 false 1564 false 680 true 397 false 604 false 250 false 546 false 941 false 39 false 1316 false 1589 false 923 false 694 false 1385 false 1698 false 418 false 1147 false 359 false 161 true 1552 false 163 true 1298 false 28 false 1804 false 859 false 1463 false 1169 false 663 false 1628 false 1523 false 1252 false 1089 false 1758 false 719 false 608 false 1297 false 875 false 206 false 258 false 787 false 1156 false 1099 false 994 false 1803 false 249 false 1216 false 662 false 826 false 644 false 891 false 1830 false 1459 false 1638 false 1765 false 168 false 1226 false 1662 false 23 false 1375 false 1503 false 893 false 1545 false 1163 false 21 false 527 false 202 false 1191 false 20 false 19 false 584 false 1654 false 117 true 30 false 1588 false 1764 false 1044 false 1127 false 1288 false 1344 false 1036 false 1121 false 1557 false 1143 false 1469 false 1108 false 1713 false 138 false 1093 false 1055 false 522 false 1371 false 398 false 292 false 1196 false 1004 false 1823 false 1357 false 528 false 146 false 487 false 1119 false 330 false 1771 false 1532 false 413 false 1458 false 1181 false 566 false 1017 false 700 false 302 false 182 false 259 false 5 false 785 false 344 false 1077 false 1102 false 1776 false 456 false 1179 false 1187 false 1063 false 425 false 1315 false 646 false 145 true 1802 false 1751 false 239 false 282 false 1281 false 576 false 111 false 493 false 1362 false 834 false 1069 false 1759 false 901 false 432 false 1229 false 1547 false 774 true 383 false 1008 false 1192 false 954 false 1046 false 1199 false 1430 false 609 false 856 false 1738 false 1335 false 1526 false 1438 false 1639 false 838 false 687 false 451 false 1149 false 1262 false 1634 false 907 false 205 true 946 false 200 false 482 false 795 false 304 false 1283 false 1525 false 1750 false 1668 false 1373 false 1056 false 486 false 1114 false 1623 false 1629 false 1410 false 1148 false 574 false 1140 false 1697 false 382 false 881 false 1519 false 3 false 1655 false 947 false 1076 false 1687 false 560 false 1110 false 656 false 1640 false 1219 false 895 false 1809 false 479 false 1727 false 943 false 1618 false 1537 false 191 false 1311 false 955 false 386 false 921 false 1615 false 1622 false 25 false 988 false 1267 false 373 false 1177 false 1 false 234 false 1160 false 467 false 238 false 33 false 610 false 1496 false 717 false 536 false 898 false 1701 false 1332 false 1736 false 1318 false 147 false 1120 false 1050 false 384 false 1095 false 1762 false 851 false 1391 false 1395 false 984 false 115 false 978 false 1839 false 863 false 1770 false 1028 false 1732 false 313 false 1641 false 452 false 1428 false 995 false 1078 false 929 false 1268 false 1260 false 1473 false 853 false 1528 false 1122 false 1295 false 622 false 629 false 87 false 1684 false 1282 false 1011 false 1593 false 1642 false 381 false 226 false 485 false 335 false 917 false 876 false 201 false 515 false 861 false 261 false 664 false 996 false 1168 false 1538 false 1502 false 252 false 1303 false 1456 false 513 false 1188 false 942 false 1042 false 1070 false 840 false 927 false 706 false 613 false 136 false 800 false 150 false 1741 false 836 false 1550 false 1334 false 396 false 440 false 684 true 491 false 1686 false 128 false 1610 false 345 false 110 false 1788 false 1158 false 472 false 1246 false 842 false 860 false 667 true 1098 false 1034 false 935 false 1585 false 1633 false 668 false 1783 false 26 false 279 false 213 false 1376 false 593 false 1331 false 551 false 904 false 572 false 844 false 1211 false 813 false 1237 false 1035 false"}
{"Instance": "C1597_024.cnf", "Time": "228.33", "Result": "SAT", "Solution": "55 false 70 true 46 false 59 false 40 true 39 true 51 true 34 true 36 true 61 true 35 true 75 true 47 false 33 true 27 true 43 false 50 false 8 false 62 false 41 true 9 true 16 true 22 true 13 true 29 true 31 false 49 false 52 true 38 true 6 true 14 true 63 true 37 false 58 true 44 true 42 true 73 true 25 false 1 true 10 true 7 true 69 true 71 true 65 true 67 false 48 true 66 true 11 true 21 false 64 true 26 false 53 false 5 true 17 true 4 false 24 true 72 true 45 false 23 false 68 false 3 false 32 false 74 true 30 true 15 false 18 true 19 true 56 true 12 true 20 false 57 false 60 false 28 true 2 false"}
{"Instance": "C1597_060", "Time": "--", "Result": "--"}
{"Instance": "C1597_081", "Time": "--", "Result": "--"}
{"Instance": "C168_128.cnf", "Time": "273.63", "Result": "UNSAT"}
{"Instance": "C181_3151.cnf", "Time": "18.96", "Result": "SAT", "Solution": "162 false 167 false 2 false 83 false 155 false 100 false 120 false 125 false 118 false 20 false 37 true 157 false 126 false 159 false 137 false 41 false 38 false 91 false 15 false 114 false 7 false 121 false 109 false 79 false 40 false 50 false 105 false 3 false 146 false 154 true 98 false 36 false 56 false 19 false 111 false 108 false 110 false 53 false 88 false 71 false 138 false 131 false 170 false 62 false 65 false 96 false 73 true 179 false 22 true 85 false 68 false 21 false 70 true 123 true 127 false 122 false 94 false 30 false 61 false 181 false 177 false 84 false 119 false 97 false 72 false 92 false 58 false 82 false 165 false 106 false 144 true 101 false 113 false 134 false 102 false 133 false 161 true 8 false 78 false 151 false 27 false 47 false 76 false 14 false 43 false 74 false 48 false 31 false 95 true 172 false 153 false 140 false 130 false 116 false 145 false 142 false 117 false 49 true 81 false 80 false 180 false 171 false 1 false 57 false 150 false 174 false 163 false 86 true 11 false 169 false 18 true 176 false 13 false 89 false 32 false 69 false 156 false 158 false 99 false 60 false 148 false 12 false 67 false 46 false 136 false 173 true 166 true 178 false 66 false 149 false 132 false 23 false 26 false 63 false 33 false 175 false 4 true 104 true 87 false 135 false 52 false 59 false 24 false 44 false 168 false 34 false 75 false 129 true 147 false 6 false 115 true 141 false 124 false 16 false 29 false 77 false 128 false 160 false 103 false 28 false 42 false 10 false 35 false 90 false 64 false 9 false 39 false 17 false 152 false 55 false 25 false 93 false 45 false 107 false 139 false 5 false 143 false 164 false 112 false 54 false 51 true"}
{"Instance": "C208_120.cnf", "Time": "186.18", "Result": "UNSAT"}
{"Instance": "C208_3254.cnf", "Time": "0.18", "Result": "UNSAT"}
{"Instance": "C210_30.cnf", "Time": "0.08", "Result": "UNSAT"}
{"Instance": "C210_55.cnf", "Time": "2.49", "Result": "UNSAT"}
{"Instance": "C459_4675.cnf", "Time": "0.22", "Result": "SAT", "Solution": "456 false 2 false 267 false 342 false 240 false 36 false 258 false 48 false 94 false 283 false 252 false 404 false 261 true 256 false 129 false 206 false 193 false 52 false 284 false 268 false 390 true 189 false 55 false 30 true 385 false 103 false 396 false 95 true 170 false 341 false 208 false 99 true 19 false 458 true 371 false 391 false 334 false 84 false 383 false 361 false 165 true 114 true 62 false 38 false 204 false 27 false 248 false 236 false 79 false 174 false 271 true 377 false 344 false 259 false 375 false 32 true 163 false 239 false 312 false 138 false 358 false 11 false 162 false 178 true 67 false 409 true 392 false 441 false 141 false 188 true 15 false 4 true 311 false 455 false 290 true 167 false 137 false 65 false 296 true 140 false 47 false 389 false 426 false 18 true 229 false 184 false 109 false 145 true 23 false 194 false 265 false 292 false 231 false 110 false 44 false 442 false 433 false 203 false 282 false 16 false 352 false 434 false 49 true 378 false 381 false 243 false 220 true 34 false 207 false 175 false 45 false 454 false 215 false 308 false 151 false 41 true 278 true 435 true 134 false 297 false 42 false 436 false 195 true 196 false 255 false 322 false 307 false 136 false 125 false 82 false 360 false 223 true 91 false 327 false 418 false 328 false 438 true 285 false 70 false 112 false 171 false 39 false 247 false 115 false 304 false 232 true 127 false 423 false 340 true 246 false 335 false 155 false 10 true 280 false 28 true 400 false 56 false 40 false 386 false 305 false 323 false 191 false 310 false 88 false 235 false 169 false 450 false 287 false 143 false 241 false 9 false 37 false 453 false 63 false 64 false 113 false 198 false 277 false 118 false 3 false 276 false 326 false 420 false 227 false 367 false 26 false 228 false 71 false 93 false 439 false 244 false 293 false 348 false 238 true 372 false 459 false 249 false 76 false 78 false 369 false 364 false 150 false 226 false 185 false 197 true 73 false 139 false 1 false 339 true 190 false 451 false 270 false 332 false 58 false 123 false 357 true 7 false 281 false 254 false 368 false 397 true 199 true 21 false 288 false 179 false 25 false 333 false 274 false 337 false 380 true 398 false 74 true 319 true 262 false 257 false 356 false 414 false 359 false 430 true 338 false 317 false 302 true 181 false 405 false 6 true 388 false 142 false 126 false 260 false 107 false 218 false 393 false 299 false 272 false 309 false 173 false 77 true 325 false 365 false 424 false 213 true 353 false 160 false 330 false 313 true 234 false 216 false 253 false 443 true 111 false 437 false 421 false 401 false 166 false 72 false 286 false 219 false 96 false 221 false 289 false 300 false 131 false 108 false 97 true 345 false 224 false 394 false 266 false 33 false 306 false 428 false 431 true 318 false 31 false 407 false 128 false 13 false 222 false 452 false 406 false 168 false 157 false 59 false 119 false 200 true 410 false 242 false 106 false 29 true 133 false 415 true 161 true 457 false 50 false 447 false 331 false 408 false 135 false 225 false 273 false 20 false 376 false 269 false 22 true 346 false 153 false 89 true 54 false 379 false 448 false 172 true 201 false 69 false 202 false 413 false 60 false 212 false 122 false 279 false 230 false 124 false 427 false 419 false 81 false 80 true 211 false 347 false 92 false 382 false 98 false 422 false 83 false 384 false 350 false 432 true 14 true 51 false 444 false 209 false 102 false 57 false 429 false 301 false 180 false 449 false 250 false 177 false 159 false 399 false 402 false 263 false 117 true 105 false 303 false 149 false 144 false 314 true 87 false 146 false 101 false 294 false 183 false 43 false 152 false 120 true 66 false 298 false 446 false 425 false 85 false 237 false 147 false 186 false 370 true 68 true 395 false 295 false 100 true 192 false 24 false 17 false 5 false 366 false 187 false 46 false 343 true 373 false 291 false 251 true 412 false 12 false 154 true 403 false 116 false 121 false 320 false 316 true 321 false 75 false 214 false 354 false 53 false 132 false 417 false 416 false 205 false 104 false 164 false 61 true 355 false 176 false 8 false 35 true 233 false 90 false 275 false 349 false 182 false 324 true 374 false 264 false 329 false 440 true 148 false 315 false 217 false 156 false 158 false 245 false 362 false 363 false 210 false 130 true 351 false 411 false 86 false 387 false 336 false 445 false"}
{"Instance": "U50_1065_038", "Time": "--", "Result": "--"}
{"Instance": "U50_1065_045", "Time": "--", "Result": "--"}
{"Instance": "U50_4450_035", "Time": "--", "Result": "--"}
{"Instance": "U75_1597_024", "Time": "--", "Result": "--"}