MathServe 0.80 Results
COL003-10 20828 22171 EP_0_91 Unsatisfiable
LCL253-1 274739 275251 Vampire_8_0 Unsatisfiable
SWV254-1 312937 314124 DCTP_10_21p Unsatisfiable
SET863-2 874 1359 Vampire_8_0 Unsatisfiable
GRP070-1 777 1253 EP_0_91 Unsatisfiable
LCL222-3 43107 43536 EP_0_91 Unsatisfiable
PLA014-1 787 1208 Vampire_8_0 Unsatisfiable
SWV315-1 9936 10740 EP_0_91 Unsatisfiable
SWV329-2 859 1316 Vampire_8_0 Unsatisfiable
LAT005-4 1816 2232 EP_0_91 Unsatisfiable
SWV249-2 399826 400236 EP_0_91 Timeout
NUM017-1 160916 161344 Vampire_8_0 Unsatisfiable
SWV264-1 10188 10790 DCTP_10_21p Unsatisfiable
SET834-2 863 1270 Vampire_8_0 Unsatisfiable
GRP085-1 1050 1451 EP_0_91 Unsatisfiable
SWV251-2 936 1378 EP_0_91 Unsatisfiable
LCL423-1 203962 204380 Vampire_8_0 Unsatisfiable
SWC169-1 226943 227404 EP_0_91 Unsatisfiable
PUZ035-4 842 1314 Vampire_8_0 Unsatisfiable
HWV003-2 66902 67354 EP_0_91 Unsatisfiable
COL003-2 1132 1553 EP_0_91 Unsatisfiable
SYN600-1 13744 14146 Vampire_8_0 Unsatisfiable
SET827-1 9694 10249 DCTP_10_21p Unsatisfiable
LCL442-2 770 1176 Vampire_8_0 Unsatisfiable
GRP110-1 790 1205 EP_0_91 Unsatisfiable
HWV002-1 33400 33818 EP_0_91 Unsatisfiable
LCL249-1 155398 155797 Vampire_8_0 Unsatisfiable
SWV270-1 11890 12723 EP_0_91 Unsatisfiable
COM005-1 5485 5982 Vampire_8_0 Unsatisfiable
GRP102-1 767 1180 EP_0_91 Unsatisfiable
ANA040-2 827 1243 EP_0_91 Unsatisfiable
SYN707-1 2048 2464 Vampire_8_0 Unsatisfiable
GEO051-3 1309 1748 EP_0_91 Unsatisfiable
ANA004-5 400801 401206 Vampire_8_0 Unknown
BOO020-1 8797 9566 EP_0_91 Unsatisfiable
LCL237-3 1132 1549 EP_0_91 Unsatisfiable
PLA010-1 1012 1427 Vampire_8_0 Unsatisfiable
SWV343-1 445529 446306 DCTP_10_21p GaveUp
SWV248-2 890 1594 Vampire_8_0 Unsatisfiable
RNG029-3 6046 6468 EP_0_91 Unsatisfiable
LCL185-3 1271 1709 EP_0_91 Unsatisfiable
SWV014-1 1215 1620 Vampire_8_0 Unsatisfiable
SWV355-1 20821 21626 EP_0_91 Unsatisfiable
FLD060-3 400828 401254 Vampire_8_0 Unknown
LAT198-1 3778 4443 EP_0_91 Unsatisfiable
LAT277-2 770 1186 EP_0_91 Unsatisfiable
SYN640-1 119901 120318 Vampire_8_0 Unsatisfiable
SWV349-1 3509 4317 EP_0_91 Unsatisfiable
SYN036-3 791 1226 Vampire_8_0 Unsatisfiable
GRP311-1 2240 2664 EP_0_91 Unsatisfiable
ANA044-2 767 1177 EP_0_91 Unsatisfiable
LCL444-2 213531 213942 Vampire_8_0 Unsatisfiable
SWV243-1 438189 439250 DCTP_10_21p Unknown
SWV291-2 859 1297 Vampire_8_0 Unsatisfiable
LAT201-1 6300 6714 EP_0_91 Unsatisfiable
LCL145-1 755 1176 EP_0_91 Unsatisfiable
ANA003-2 35801 36226 Vampire_8_0 Unsatisfiable
SET853-1 402768 403378 DCTP_10_21p GaveUp
LAT273-2 774 1340 Vampire_8_0 Unsatisfiable
GRP103-1 1466 1877 EP_0_91 Unsatisfiable
ANA030-2 2637 3113 EP_0_91 Unsatisfiable
LCL230-1 804 1206 Vampire_8_0 Unsatisfiable
SWV267-1 311861 312594 DCTP_10_21p Unsatisfiable
ANA002-1 38276 38936 Vampire_8_0 Unsatisfiable
SET838-2 760 1203 EP_0_91 Unsatisfiable
ANA045-2 762 1177 EP_0_91 Unsatisfiable
RNG004-3 116166 116577 Vampire_8_0 Unsatisfiable
ANA016-2 794 1483 EP_0_91 Unsatisfiable
SET013-1 930 1369 Vampire_8_0 Unsatisfiable
GRP074-1 969 1392 EP_0_91 Unsatisfiable
ANA008-2 842 1260 EP_0_91 Unsatisfiable
LCL125-1 399784 400200 Vampire_8_0 Unknown
SET861-2 399937 400407 EP_0_91 Timeout
SYN067-3 2496 2939 Vampire_8_0 Unsatisfiable
GRP061-1 1365 1782 EP_0_91 Unsatisfiable
LAT263-2 801 1224 EP_0_91 Unsatisfiable
PLA018-1 843 1299 Vampire_8_0 Unsatisfiable
LAT003-1 53500 53919 EP_0_91 Unsatisfiable
SWV323-2 858 1279 Vampire_8_0 Unsatisfiable
GRP086-1 802 1222 EP_0_91 Unsatisfiable
LCL109-4 1228 1683 EP_0_91 Unsatisfiable
SYN708-1 8063 8492 Vampire_8_0 Unsatisfiable
SWV302-1 13507 14095 DCTP_10_21p Unsatisfiable
NLP080-1 844 1286 Vampire_8_0 Unsatisfiable
LAT219-1 400943 401393 EP_0_91 ResourceOut
COL042-3 5390 5936 EP_0_91 Unsatisfiable
LCL124-1 400788 401205 Vampire_8_0 Unknown
SYN014-1 782 1240 EP_0_91 Unsatisfiable
SWV305-2 765 1208 Vampire_8_0 Unsatisfiable
GRP082-1 914 1356 EP_0_91 Unsatisfiable
LCL151-1 400974 401400 EP_0_91 ResourceOut
LCL028-1 68877 69365 Vampire_8_0 Unsatisfiable
SWV319-2 776 1249 EP_0_91 Unsatisfiable
FLD013-1 1759 2172 Vampire_8_0 Unsatisfiable
LAT209-1 3381 3807 EP_0_91 Unsatisfiable
ANA017-2 793 1221 EP_0_91 Unsatisfiable
PLA016-1 794 1242 Vampire_8_0 Unsatisfiable
GEO006-1 802 1229 EP_0_91 Unsatisfiable
SET830-2 777 1195 Vampire_8_0 Unsatisfiable
RNG027-2 400977 401403 EP_0_91 ResourceOut
SET834-1 403884 404557 DCTP_10_21p Unknown
NUM010-1 400079 400580 EP_0_91 Timeout
SET831-2 965 1431 EP_0_91 Unsatisfiable
SET823-1 403378 403961 DCTP_10_21p Unknown
GEO011-1 1211 1739 EP_0_91 Unsatisfiable
GEO007-1 99524 99958 EP_0_91 Unsatisfiable
SET035-3 401070 401568 EP_0_91 ResourceOut
SET022-3 2840 3332 EP_0_91 Unsatisfiable
NUM058-1 400016 400504 EP_0_91 Timeout
SET018-3 2430 2920 EP_0_91 Unsatisfiable
SWV281-2 808 1239 EP_0_91 Unsatisfiable
SWV247-1 403706 404394 DCTP_10_21p Unknown
SWV325-2 1189 1857 EP_0_91 Unsatisfiable
GEO076-4 1132 1575 EP_0_91 Unsatisfiable
MGT034-2 1202 1642 EP_0_91 Unsatisfiable
SWV242-1 124448 125036 DCTP_10_21p Unsatisfiable
GEO089-1 399954 401054 EP_0_91 Timeout
SWV282-2 1386 2048 EP_0_91 Unsatisfiable
COL119-1 2008 2572 EP_0_91 Unsatisfiable
LCL434-2 772 1219 EP_0_91 Unsatisfiable
SWV354-1 402529 403438 EP_0_91 ResourceOut
GEO083-1 22437 23126 EP_0_91 Unsatisfiable
SWV274-2 961 1399 EP_0_91 Unsatisfiable
ANA022-1 402444 403247 EP_0_91 ResourceOut
SET841-1 9830 10533 DCTP_10_21p Unsatisfiable
SWC225-1 1079 1570 EP_0_91 Unsatisfiable
SET028-3 401124 401639 EP_0_91 ResourceOut
COM009-1 10213 10909 DCTP_10_21p Unsatisfiable
ANA014-2 776 1266 EP_0_91 Unsatisfiable
SWV256-1 307527 308292 DCTP_10_21p Unsatisfiable
SYN015-1 808 1365 EP_0_91 Unsatisfiable
GRP039-5 784 1236 EP_0_91 Unsatisfiable
SET787-2 959 1462 EP_0_91 Unsatisfiable
SET018-4 2295 2752 EP_0_91 Unsatisfiable
SET016-3 1085 1541 EP_0_91 Unsatisfiable
SWV341-1 17215 18022 EP_0_91 Unsatisfiable
SWV342-1 117968 118847 EP_0_91 Unsatisfiable
SET027-3 1071 1597 EP_0_91 Unsatisfiable
SET208-6 401014 401503 EP_0_91 ResourceOut
SWV239-1 403514 404223 DCTP_10_21p Unknown
SWV317-1 8159 9039 EP_0_91 Unsatisfiable
COL093-2 1038 1533 EP_0_91 Unsatisfiable
SWV354-2 856 1314 EP_0_91 Unsatisfiable
SWV275-2 829 1282 EP_0_91 Unsatisfiable
HWV016-1 1045 1553 EP_0_91 Unsatisfiable
SWV273-1 9150 9892 EP_0_91 Unsatisfiable
COL112-1 2027 2635 EP_0_91 Unsatisfiable
SET820-2 824 1293 EP_0_91 Unsatisfiable
ANA037-1 402394 403254 EP_0_91 ResourceOut
LCL439-1 403369 403995 DCTP_10_21p Unknown
SYN888-1 4328 5275 DCTP_10_21p Satisfiable
SYN113-1 1539 2061 DCTP_10_21p Unsatisfiable
SYN830-1 230321 244535 DCTP_10_21p Satisfiable
SYN269-1 1594 2439 DCTP_10_21p Unsatisfiable
PUZ028-3 1297 1932 DCTP_10_21p Satisfiable
SYN834-1 4762 5644 DCTP_10_21p Unsatisfiable
GRP128-2.004 1064 1523 DCTP_10_21p Satisfiable
SYN260-1 1518 2185 DCTP_10_21p Unsatisfiable
SYN322-1 952 1395 DCTP_10_21p Satisfiable
SYN226-1 1463 1951 DCTP_10_21p Unsatisfiable
SYN539-1 1075 1554 DCTP_10_21p Satisfiable
PUZ036-1.005 10694 11283 DCTP_10_21p Unknown
MGT066-1 976 1423 DCTP_10_21p Satisfiable
SYN897-1 3066 3763 DCTP_10_21p Unsatisfiable
PUZ028-4 1236 1727 DCTP_10_21p Satisfiable
SYN168-1 1568 2202 DCTP_10_21p Unsatisfiable
NLP023-1 1195 1658 DCTP_10_21p Satisfiable
LAT005-2 1307 1759 DCTP_10_21p Unsatisfiable
SYN494-1 994 1450 DCTP_10_21p Satisfiable
SYN193-1 1471 2105 DCTP_10_21p Unsatisfiable
SYN720-1 1448 1950 DCTP_10_21p Satisfiable
PUZ018-1 1029 1484 DCTP_10_21p Unsatisfiable
GRP124-4.005 987 1438 DCTP_10_21p Satisfiable
SYN297-1 1078 1713 DCTP_10_21p Unsatisfiable
NLP005-1 1024 1482 DCTP_10_21p Satisfiable
PUZ037-3 52435 52987 DCTP_10_21p Unknown
SYN872-1 3084 3892 DCTP_10_21p Satisfiable
SYN201-1 1656 2322 DCTP_10_21p Unsatisfiable
GRP133-1.004 982 1439 DCTP_10_21p Satisfiable
PUZ035-1 1072 1526 DCTP_10_21p Unsatisfiable
SYN307-1 944 1397 DCTP_10_21p Satisfiable
SYN203-1 1670 2317 DCTP_10_21p Unsatisfiable
NLP116-1 1096 1558 DCTP_10_21p Satisfiable
SYN874-1 1286 1793 DCTP_10_21p Unsatisfiable
SYN464-1 50482 50983 DCTP_10_21p Satisfiable
SYN138-1 1517 2173 DCTP_10_21p Unsatisfiable
NLP120-1 949 1415 DCTP_10_21p Satisfiable
SYN501-1 10141 10634 DCTP_10_21p Unsatisfiable
NLP006-1 991 1461 DCTP_10_21p Satisfiable
SYN121-1 1626 2279 DCTP_10_21p Unsatisfiable
GRP123-3.004 1093 1561 DCTP_10_21p Satisfiable
SYN894-1 1930 2492 DCTP_10_21p Unsatisfiable
PUZ028-2 958 1426 DCTP_10_21p Satisfiable
SYN886-1 2578 3406 DCTP_10_21p Unsatisfiable
SYN419-1 1601 2130 DCTP_10_21p Satisfiable
SYN847-1 17935 19501 DCTP_10_21p Unsatisfiable
NLP012-1 1026 1531 DCTP_10_21p Satisfiable
SYN071-1 1015 1637 DCTP_10_21p Unsatisfiable
SYN433-1 2285 2814 DCTP_10_21p Satisfiable
LAT267-2 944 1410 DCTP_10_21p Unsatisfiable
NLP115-1 1079 1549 DCTP_10_21p Satisfiable
KRS004-1 949 1572 DCTP_10_21p Unsatisfiable
SYN534-1 1017 1491 DCTP_10_21p Satisfiable
SYN291-1 1179 1690 DCTP_10_21p Unsatisfiable
SYN840-1 256454 269824 DCTP_10_21p Satisfiable
SYN856-1 7285 9011 DCTP_10_21p Unsatisfiable
SYN854-1 338862 352944 DCTP_10_21p Satisfiable
SYN170-1 1599 2853 DCTP_10_21p Unsatisfiable
GRP135-2.005 1359 1970 DCTP_10_21p Satisfiable
SYN892-1 1651 2181 DCTP_10_21p Unsatisfiable
NLP118-1 1108 1907 DCTP_10_21p Satisfiable
SYN268-1 1590 2107 DCTP_10_21p Unsatisfiable
PUZ018-2 1084 1555 DCTP_10_21p Satisfiable
SYN052-1 1068 1541 DCTP_10_21p Unsatisfiable
SYN059-1 1123 1924 DCTP_10_21p Satisfiable
SYN144-1 1634 2152 DCTP_10_21p Unsatisfiable
GRP126-1.005 1109 1581 DCTP_10_21p Satisfiable
SYN473-1 13526 14026 DCTP_10_21p Unsatisfiable
GRP127-1.005 1105 1902 DCTP_10_21p Satisfiable
MGT014-1 1167 1639 DCTP_10_21p Unsatisfiable
SYN521-1 1180 1665 DCTP_10_21p Satisfiable
SYN227-1 1594 2113 DCTP_10_21p Unsatisfiable
GRP128-1.004 1222 2004 DCTP_10_21p Satisfiable
SYN882-1 2049 2618 DCTP_10_21p Unsatisfiable
NLP013-1 1208 1688 DCTP_10_21p Satisfiable
SYN898-1 3613 4305 DCTP_10_21p Unsatisfiable
GRP123-8.004 1234 2051 DCTP_10_21p Satisfiable
SYN440-1 154957 155473 DCTP_10_21p Unsatisfiable
PUZ001-3 1082 1587 DCTP_10_21p Satisfiable
SYN232-1 1633 2156 DCTP_10_21p Unsatisfiable
SYN831-1 212933 224362 DCTP_10_21p Satisfiable
SYN474-1 16086 17321 DCTP_10_21p Unsatisfiable
SYN832-1 172916 183102 DCTP_10_21p Satisfiable
GRP129-3.004 1570 2368 DCTP_10_21p Unsatisfiable
SYN541-1 1205 1792 DCTP_10_21p Satisfiable
SYN845-1 6159 7037 DCTP_10_21p Unsatisfiable
SYN056-1 1110 2035 DCTP_10_21p Satisfiable
PUZ037-2 1759 2248 DCTP_10_21p Unsatisfiable
SYN317-1 1034 1511 DCTP_10_21p Satisfiable
SYN875-1 1397 1923 DCTP_10_21p Unsatisfiable
SYN823-1 3007 4192 DCTP_10_21p Satisfiable
PUZ037-1 1162 1658 DCTP_10_21p Unsatisfiable
NLP129-1 1065 1552 DCTP_10_21p Satisfiable
LAT005-1 1474 1958 DCTP_10_21p Unsatisfiable
SYN423-1 2015 3025 DCTP_10_21p Satisfiable
SYN485-1 9003 9520 DCTP_10_21p Unsatisfiable
SYN852-1 347300 362180 DCTP_10_21p Satisfiable
SYN233-1 1649 2643 DCTP_10_21p Unsatisfiable
PUZ028-1 1181 1809 DCTP_10_21p Satisfiable
SYN857-1 7792 8718 DCTP_10_21p Unsatisfiable
SWV234+2 1095 2116 EP_0_91 Theorem
GRP012+5 1118 1611 EP_0_91 Theorem
SWV209+1 1536 2049 EP_0_91 Theorem
SYN084+1 1071 1566 EP_0_91 Theorem
SET806+4 1048 2051 EP_0_91 Unknown
SET588+3 1134 1629 EP_0_91 Theorem
SWV177+1 1173 1679 EP_0_91 Theorem
SYN941+1 1057 1550 EP_0_91 Theorem
SET815+4 400443 410266 EP_0_91 Unknown
SET631+3 2026 3171 EP_0_91 Theorem
SET067+1 1571 2073 EP_0_91 Theorem
SYN728+1 1100 1597 EP_0_91 Theorem
SET935+1 1187 2217 EP_0_91 Theorem
SYN364+1 1083 1577 EP_0_91 Theorem
SET796+4 400294 400800 EP_0_91 Timeout
SYN365+1 1083 1620 EP_0_91 Theorem
SEU086+1 401286 402377 EP_0_91 ResourceOut
SWV014+1 1138 1671 EP_0_91 Theorem
GRA008+1 1067 1560 EP_0_91 Unknown
PUZ047+1 1076 1629 EP_0_91 Theorem
SET795+4 401302 402335 EP_0_91 ResourceOut
SET939+1 1241 1819 EP_0_91 Theorem
SET808+4 401582 402079 EP_0_91 ResourceOut
SYN943+1 1105 1636 EP_0_91 Theorem
ALG074+1 1093 2111 EP_0_91 Unknown
SET913+1 1063 1573 EP_0_91 Theorem
SWV236+1 1191 1690 EP_0_91 Theorem
ALG211+1 1114 1618 EP_0_91 Theorem
SWC239+1 1301 2368 EP_0_91 Theorem
LCL414+1 1076 1577 EP_0_91 Theorem
SET811+4 401281 401782 EP_0_91 ResourceOut
SYN940+1 1082 1966 EP_0_91 Theorem
SWV050+1 1141 2198 EP_0_91 Theorem
MGT036+3 1108 1613 EP_0_91 Theorem
SET669+3 1343 1852 EP_0_91 Theorem
SET590+3 1111 1614 EP_0_91 Theorem
SWV094+1 401336 402379 EP_0_91 ResourceOut
GRP001+6 1456 1996 EP_0_91 Theorem
CSR022+1 1112 1622 EP_0_91 Unknown
SYN980+1 1075 1603 EP_0_91 Theorem
SET584+3 1246 2289 EP_0_91 Theorem
SET966+1 1112 1621 EP_0_91 Theorem
SWV036+1 401410 401941 EP_0_91 ResourceOut
MGT036+1 1083 1648 EP_0_91 Theorem
GRA006+1 1069 2114 EP_0_91 Unknown
SET915+1 1148 1654 EP_0_91 Theorem
SWV039+1 401292 401815 EP_0_91 ResourceOut
SET589+3 1188 1757 EP_0_91 Theorem
SWV235+1 1249 2302 EP_0_91 Theorem
SET009+3 1079 1592 EP_0_91 Theorem
GRA002+1 1110 1616 EP_0_91 Unknown
MGT022+1 1075 1584 EP_0_91 Theorem
SET593+3 1220 2272 EP_0_91 Theorem
MGT022+2 1087 1601 EP_0_91 Theorem
SWV030+1 1954 2486 EP_0_91 Theorem
MGT028+1 1177 1713 EP_0_91 Theorem
SWV098+1 1273 2352 EP_0_91 Theorem
SYN938+1 1099 1628 EP_0_91 Unknown
SET014+3 1101 1613 EP_0_91 Theorem
SYN939+1 1101 1675 EP_0_91 Theorem
SET657+3 2660 3717 EP_0_91 Theorem
SYN730+1 1101 1622 EP_0_91 Theorem
SWV048+1 1168 1702 EP_0_91 Theorem
SET899+1 1102 1616 EP_0_91 Theorem
SET805+4 401298 402354 EP_0_91 ResourceOut
SWV011+1 1152 1699 EP_0_91 Theorem
SEU075+1 401252 401770 EP_0_91 ResourceOut
SET896+1 1153 1702 EP_0_91 Theorem
SET814+4 401279 402332 EP_0_91 ResourceOut
SYN081+1 1273 1824 EP_0_91 Theorem
SWV092+1 1256 1790 EP_0_91 Theorem
GRA004+1 1077 1624 EP_0_91 Unknown
NUM334+1 401282 402381 EP_0_91 ResourceOut
SET812+4 401285 401832 EP_0_91 ResourceOut
SET624+3 1095 1669 EP_0_91 Theorem
NUM400+1 1558 2171 EP_0_91 Theorem
SWV038+1 401329 402400 EP_0_91 ResourceOut
SWV173+1 1239 1815 EP_0_91 Theorem
SWV237+1 1288 1811 EP_0_91 Theorem
SET099+1 401351 401891 EP_0_91 ResourceOut
CSR024+1.009 1139 2248 EP_0_91 Unknown
GEO085+1 1122 1639 EP_0_91 Unknown
SWV233+1 1209 1734 EP_0_91 Theorem
AGT024+2 401503 402288 EP_0_91 ResourceOut
SWV103+1 401294 402402 EP_0_91 ResourceOut
CSR002+1 1189 1749 EP_0_91 Unknown
SET951+1 401353 401877 EP_0_91 ResourceOut
GRA007+2 1114 1764 EP_0_91 Unknown
SWV117+1 400393 401473 EP_0_91 Timeout
SWV090+1 401324 401891 EP_0_91 ResourceOut
SET982+1 150251 150808 EP_0_91 Theorem
SET919+1 401266 401951 EP_0_91 ResourceOut
CSR007+1 1091 2388 EP_0_91 Unknown
SWV096+1 3494 4042 EP_0_91 Theorem
SET008+3 1117 1644 EP_0_91 Theorem
GRA011+1 1074 1603 EP_0_91 Unknown
SET594+3 1958 3101 EP_0_91 Theorem
SET094+1 1164 1700 EP_0_91 Theorem
MGT060+1 1202 1731 EP_0_91 Theorem
SEU003+1 400100 400633 EP_0_91 Timeout
SWV053+1 11853 13113 EP_0_91 Theorem
AGT015+1 2163 2751 EP_0_91 Theorem
CSR001+1 1091 1620 EP_0_91 Unknown
GRA002+4 1327 1916 EP_0_91 Unknown
SET656+3 1540 2627 EP_0_91 Theorem
SWV033+1 400456 401084 EP_0_91 Timeout
SWC078+1 87997 88707 EP_0_91 Theorem
GRA012+1 1088 1682 EP_0_91 Unknown
CSR005+2 1198 2282 EP_0_91 Unknown
GRA007+1 1075 1613 EP_0_91 Unknown
CSR019+1 1086 1620 EP_0_91 Unknown
SET816+4 401392 401925 EP_0_91 ResourceOut
SWV026+1 401395 402641 EP_0_91 ResourceOut
MSC010+1 61321 62206 EP_0_91 ResourceOut
SWC231+1 3917 4544 EP_0_91 Theorem
AGT005+2 401422 402678 EP_0_91 ResourceOut
NUM327+1 400504 405969 EP_0_91 Timeout
SEU014+1 400782 401833 EP_0_91 Timeout
CSR021+1 2220 4253 EP_0_91 Unknown
GRA009+2 885 1425 EP_0_91 Unknown
SET798+4 1252 2362 EP_0_91 Theorem
SET144+3 400077 400688 EP_0_91 Timeout
GEO088+1 1557 2387 EP_0_91 Unknown
SWV234+1 400927 401465 EP_0_91 ResourceOut
SET942+1 923 2213 EP_0_91 Theorem
SWV200+1 1376 1930 EP_0_91 Theorem
SET603+3 892 1429 EP_0_91 Theorem
SET582+3 37550 38088 EP_0_91 Theorem
GEO109+1 893 1978 EP_0_91 Unknown
NUM398+1 914 1461 EP_0_91 Theorem
AGT018+1 401074 401695 EP_0_91 ResourceOut
MGT042+1 401074 401849 EP_0_91 ResourceOut
SET595+3 5433 6634 EP_0_91 Theorem
SET680+3 921 1476 EP_0_91 Theorem
SET655+3 1137 1687 EP_0_91 Theorem
SET623+3 401078 401658 EP_0_91 ResourceOut
NUM310+1 400095 401358 EP_0_91 Timeout
AGT007+2 400173 400847 EP_0_91 Timeout
GRA010+1 1181 2554 EP_0_91 Unknown
SET579+3 881 1432 EP_0_91 Theorem
SET587+3 927 2018 EP_0_91 Theorem
GRA002+2 870 1421 EP_0_91 Unknown
SET200+3 893 1442 EP_0_91 Theorem
SWV161+1 925 1495 EP_0_91 Theorem
SET802+4 400091 401212 EP_0_91 Timeout
SET171+3 400313 400955 EP_0_91 Timeout
NUM329+1 401073 401789 EP_0_91 ResourceOut
SEU009+1 899 1515 EP_0_91 Theorem
SWV041+1 1090 2207 EP_0_91 Theorem
SET577+3 1110 1656 EP_0_91 Theorem
NLP069-1 979 1537 EP_0_91 Satisfiable
PUZ059-1 399964 400522 Vampire_8_0 Unknown
SYN305-1 934 2337 Waldmeister_704 Satisfiable
NUM288-1 6013 6553 Vampire_8_0 Unknown
GRP026-2 401124 401704 EP_0_91 ResourceOut
TOP012-1 400963 401556 Vampire_8_0 Unknown
NLP052-1 944 2086 EP_0_91 Satisfiable
LCL245-1 400931 401480 Vampire_8_0 Unknown
LCL280-3 401023 401686 EP_0_91 ResourceOut
NLP196-1 400972 401560 Vampire_8_0 Unknown
PUZ070-1 401018 402166 EP_0_91 ResourceOut
SYN792-1 400955 401567 Vampire_8_0 Unknown
CAT019-4 401052 401633 EP_0_91 ResourceOut
GRP394-2 400940 401535 Vampire_8_0 Unknown
NLP071-1 983 2132 EP_0_91 Satisfiable
PUZ015-3 399912 400463 Vampire_8_0 Unknown
BOO033-1 401138 401802 Waldmeister_704 Timeout
SYN324-1 841 1587 Vampire_8_0 Satisfiable
CAT019-5 401126 402221 EP_0_91 ResourceOut
SYN911-1 401066 403118 Vampire_8_0 Unknown
ROB012-2 400035 400644 EP_0_91 Timeout
SYN904-1 178763 179519 Vampire_8_0 Unknown
LAT053-1 400950 402219 Waldmeister_704 Timeout
NLP034-1 400936 401526 Vampire_8_0 Unknown
GEO078-6 401079 401669 EP_0_91 ResourceOut
NUM287-1 6198 7222 Vampire_8_0 Unknown
LAT047-1 401090 402380 Waldmeister_704 Timeout
TOP013-1 400964 401638 Vampire_8_0 Unknown
GRP026-4 401028 401637 EP_0_91 ResourceOut
SYN810-1 400007 400647 Vampire_8_0 Unknown
LAT051-1 399970 401229 Waldmeister_704 Timeout
LCL183-1 400905 401503 Vampire_8_0 Unknown
LAT121-1 401027 401951 Waldmeister_704 Timeout
SYN765-1 400937 401805 Vampire_8_0 Unknown
GRP112-1 401051 402200 EP_0_91 ResourceOut
SYN908-1 323929 324747 Vampire_8_0 Unknown
COL005-1 401189 401853 Waldmeister_704 Timeout
TOP005-1 400964 401649 Vampire_8_0 Unknown
LAT117-1 400936 402508 Waldmeister_704 Timeout
TOP014-1 399951 400564 Vampire_8_0 Unknown
GRP025-2 401037 401631 EP_0_91 ResourceOut
GRP025-3 400927 401522 Vampire_8_0 Unknown
GRP207-1 400863 402052 Waldmeister_704 Timeout
SYN779-1 400915 401510 Vampire_8_0 Unknown
COL073-1 399916 400503 Waldmeister_704 Timeout
LCL179-1 400907 401497 Vampire_8_0 Unknown
LCL292-3 401029 402232 EP_0_91 ResourceOut
TOP010-1 400970 401571 Vampire_8_0 Unknown
RNG031-6 399861 400454 Waldmeister_704 Timeout
SYN335-1 875 1458 Vampire_8_0 Satisfiable
LAT106-1 401131 402408 Waldmeister_704 Timeout
SYN754-1 400926 401573 Vampire_8_0 Unknown
LAT118-1 400869 401465 Waldmeister_704 Timeout
NLP164-1 399984 400592 Vampire_8_0 Unknown
LAT129-1 401020 402337 Waldmeister_704 Timeout
SYN790-1 3915 4550 Vampire_8_0 Satisfiable
PUZ071-1 401037 401618 EP_0_91 ResourceOut
NLP193-1 401035 401675 Vampire_8_0 Unknown
NLP072-1 935 2109 EP_0_91 Satisfiable
LCL078-1 400898 401463 Vampire_8_0 Unknown
LCL165-1 401135 401927 Waldmeister_704 Timeout
SYN316-1 851 1690 Vampire_8_0 Satisfiable
NLP087-1 1014 2158 EP_0_91 Satisfiable
SYN910-1 401759 402675 Vampire_8_0 Unknown
LCL267-3 400988 401668 EP_0_91 ResourceOut
LCL247-1 401177 401883 Vampire_8_0 Unknown
LAT048-1 400877 402241 Waldmeister_704 Timeout
SYN330-1 841 1433 Vampire_8_0 Satisfiable
BOO058-1 400944 401515 EP_0_91 ResourceOut
SWV018-1 400917 401523 Vampire_8_0 Unknown
PUZ072-1 401107 402293 EP_0_91 ResourceOut
NLP028-1 400927 401556 Vampire_8_0 Unknown
BOO057-1 401067 401672 EP_0_91 ResourceOut
TOP008-1 400961 401577 Vampire_8_0 Unknown
BOO061-1 400962 402132 EP_0_91 ResourceOut
NLP167-1 400947 401559 Vampire_8_0 Unknown
ALG008-1 401071 401675 EP_0_91 ResourceOut
LCL411-1 400922 401552 Vampire_8_0 Unknown
BOO030-1 401060 402593 Waldmeister_704 Timeout
GRP027-2 400923 401563 Vampire_8_0 Unknown
BOO019-1 400871 401475 Waldmeister_704 Timeout
TOP007-1 400991 401871 Vampire_8_0 Unknown
GEO163-1 401152 402327 EP_0_91 ResourceOut
LCL252-1 400940 401544 Vampire_8_0 Unknown
ANA006-1 401099 401705 EP_0_91 ResourceOut
LCL246-1 400016 400636 Vampire_8_0 Unknown
GRP081-1 400082 401295 EP_0_91 Timeout
SYN905-1 284220 285231 Vampire_8_0 Unknown
NLP211-1 401053 401779 EP_0_91 ResourceOut
SYN783-1 399971 400683 Vampire_8_0 Unknown
LAT046-1 400919 402074 Waldmeister_704 Timeout
TOP018-1 399992 400623 Vampire_8_0 Unknown
MGT038-2 401059 401712 EP_0_91 ResourceOut
LCL168-1 400950 401682 Vampire_8_0 Unknown
LAT112-1 401043 402302 Waldmeister_704 Timeout
SYN780-1 401028 401658 Vampire_8_0 Unknown
LAT049-1 401003 401616 Waldmeister_704 Timeout
SYN751-1 400923 401542 Vampire_8_0 Unknown
LAT133-1 401030 402508 Waldmeister_704 Timeout
SYN906-1 401211 402389 Vampire_8_0 Unknown
GRP453-1 871 1493 Waldmeister_704 Unsatisfiable
LAT176-1 377715 378329 Waldmeister_704 Unsatisfiable
LCL138-1 1035 2215 Waldmeister_704 Unsatisfiable
GRP164-1 18412 19080 Waldmeister_704 Unsatisfiable
COL004-3 891 1493 Waldmeister_704 Unsatisfiable
COL041-1 971 1553 Waldmeister_704 Unsatisfiable
LAT145-1 400928 402155 Waldmeister_704 Timeout
BOO073-1 2118 2779 Waldmeister_704 Unsatisfiable
COL044-9 949 1542 Waldmeister_704 Unsatisfiable
COL065-1 1383 1982 Waldmeister_704 Unsatisfiable
COL006-5 941 2114 Waldmeister_704 Unsatisfiable
GRP181-3 4493 5087 Waldmeister_704 Unsatisfiable
RNG026-6 880 1478 Waldmeister_704 Unsatisfiable
LAT168-1 1111 1704 Waldmeister_704 Unsatisfiable
GRP186-2 1296 2476 Waldmeister_704 Unsatisfiable
GRP477-1 1009 1615 Waldmeister_704 Unsatisfiable
GRP179-3 1195 1799 Waldmeister_704 Unsatisfiable
GRP185-3 954 1554 Waldmeister_704 Unsatisfiable
LAT087-1 3547 4741 Waldmeister_704 Unsatisfiable
GRP423-1 941 1556 Waldmeister_704 Unsatisfiable
LAT018-1 399875 400475 Waldmeister_704 Timeout
LAT007-1 898 1826 Waldmeister_704 Unsatisfiable
COL044-8 870 2054 Waldmeister_704 Unsatisfiable
LAT157-1 195018 195623 Waldmeister_704 Unsatisfiable
RNG020-6 918 1547 Waldmeister_704 Unsatisfiable
GRP181-4 4282 4880 Waldmeister_704 Unsatisfiable
RNG027-5 2826 4076 Waldmeister_704 Unsatisfiable
LAT172-1 167641 168260 Waldmeister_704 Unsatisfiable
GRP185-2 934 1617 Waldmeister_704 Unsatisfiable
GRP411-1 1222 1954 Waldmeister_704 Unsatisfiable
RNG025-4 1189 2387 Waldmeister_704 Unsatisfiable
LAT020-1 16613 17283 Waldmeister_704 Unsatisfiable
GRP183-4 1229 1858 Waldmeister_704 Unsatisfiable
LAT148-1 401057 401783 Waldmeister_704 Timeout
LAT155-1 202316 203586 Waldmeister_704 Unsatisfiable
COL035-1 851 1477 Waldmeister_704 Unsatisfiable
COL003-1 1172 1768 Waldmeister_704 Unsatisfiable
GRP186-1 1358 1986 Waldmeister_704 Unsatisfiable
COL057-1 869 2044 Waldmeister_704 Unsatisfiable
GRP167-2 1389 1996 Waldmeister_704 Unsatisfiable
LAT038-1 1831 2431 Waldmeister_704 Unsatisfiable
COL034-1 982 1579 Waldmeister_704 Unsatisfiable
RNG027-8 3585 4840 Waldmeister_704 Unsatisfiable
LAT174-1 306841 307484 Waldmeister_704 Unsatisfiable
GRP470-1 1101 1846 Waldmeister_704 Unsatisfiable
GRP420-1 1064 1753 Waldmeister_704 Unsatisfiable
RNG028-9 3289 4568 Waldmeister_704 Unsatisfiable
COL042-1 1045 1665 Waldmeister_704 Unsatisfiable
LAT023-1 1807 2428 Waldmeister_704 Unsatisfiable
GRP164-2 18526 19262 Waldmeister_704 Unsatisfiable
GRP476-1 1133 2345 Waldmeister_704 Unsatisfiable
COL046-1 1047 1654 Waldmeister_704 Unsatisfiable
RNG025-6 912 1522 Waldmeister_704 Unsatisfiable
RNG025-7 915 1576 Waldmeister_704 Unsatisfiable
GRP480-1 946 2147 Waldmeister_704 Unsatisfiable
LAT080-1 3483 4105 Waldmeister_704 Unsatisfiable
LAT158-1 217429 218045 Waldmeister_704 Unsatisfiable
RNG035-7 3156 3889 Waldmeister_704 Unsatisfiable
GRP202-1 1070 2282 Waldmeister_704 Unsatisfiable
BOO023-1 1162 1798 Waldmeister_704 Unsatisfiable
GRP184-1 981 1659 Waldmeister_704 Unsatisfiable
GRP440-1 1134 1796 Waldmeister_704 Unsatisfiable
LAT175-1 166727 167942 Waldmeister_704 Unsatisfiable
COL036-1 960 1598 Waldmeister_704 Unsatisfiable
LCL109-2 1120 1736 Waldmeister_704 Unsatisfiable
COL062-1 873 1486 Waldmeister_704 Unsatisfiable
COL044-1 943 2123 Waldmeister_704 Unsatisfiable
GRP196-1 400997 401631 Waldmeister_704 Timeout
GRP404-1 967 1625 Waldmeister_704 Unsatisfiable
COL043-3 960 1575 Waldmeister_704 Unsatisfiable
ROB026-1 6588 7846 Waldmeister_704 Unsatisfiable
LAT147-1 4914 5539 Waldmeister_704 Unsatisfiable
COL006-7 1274 1892 Waldmeister_704 Unsatisfiable
LAT156-1 400934 401689 Waldmeister_704 Timeout
LAT086-1 3480 4754 Waldmeister_704 Unsatisfiable
LAT160-1 5215 5832 Waldmeister_704 Unsatisfiable
LAT166-1 256983 257601 Waldmeister_704 Unsatisfiable
RNG027-9 3564 4363 Waldmeister_704 Unsatisfiable
GRP444-1 911 2138 Waldmeister_704 Unsatisfiable
RNG009-5 1586 2238 Waldmeister_704 Unsatisfiable
RNG025-5 1241 1874 Waldmeister_704 Unsatisfiable
GRP419-1 1195 1874 Waldmeister_704 Unsatisfiable
GRP441-1 935 2161 Waldmeister_704 Unsatisfiable
RNG028-5 2361 3001 Waldmeister_704 Unsatisfiable
LAT096-1 2329 2972 Waldmeister_704 Unsatisfiable
GRP180-2 1337 1968 Waldmeister_704 Unsatisfiable
COL063-1 893 2115 Waldmeister_704 Unsatisfiable
BOO067-1 26295 26918 Waldmeister_704 Unsatisfiable
COL002-5 400930 401547 Waldmeister_704 Timeout
GRP167-3 4883 5555 Waldmeister_704 Unsatisfiable
GRP478-1 932 2159 Waldmeister_704 Unsatisfiable
GRP178-1 1332 1952 Waldmeister_704 Unsatisfiable
LAT171-1 30718 31348 Waldmeister_704 Unsatisfiable
LAT143-1 1113 1749 Waldmeister_704 Unsatisfiable
LAT170-1 400041 401324 Waldmeister_704 Timeout
COL006-1 1034 1697 Waldmeister_704 Unsatisfiable
GRP181-1 3717 4362 Waldmeister_704 Unsatisfiable
LAT146-1 136762 137545 Waldmeister_704 Unsatisfiable
GRP179-1 3076 4551 Waldmeister_704 Unsatisfiable
RNG027-7 2724 3422 Waldmeister_704 Unsatisfiable