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