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