data/depqbf-5.01/qdpll.c:7: Linz ==> Lines
data/depqbf-5.01/qdpll.c:10: Linz ==> Lines
data/depqbf-5.01/qdpll.c:282: lits ==> list
data/depqbf-5.01/qdpll.c:286: lits ==> list
data/depqbf-5.01/qdpll.c:331: lits ==> list
data/depqbf-5.01/qdpll.c:336: lits ==> list
data/depqbf-5.01/qdpll.c:370: lits ==> list
data/depqbf-5.01/qdpll.c:388: lits ==> list
data/depqbf-5.01/qdpll.c:395: lits ==> list
data/depqbf-5.01/qdpll.c:608: lits ==> list
data/depqbf-5.01/qdpll.c:678: lits ==> list
data/depqbf-5.01/qdpll.c:933: lits ==> list
data/depqbf-5.01/qdpll.c:965: lits ==> list
data/depqbf-5.01/qdpll.c:1046: lits ==> list
data/depqbf-5.01/qdpll.c:1046: lits ==> list
data/depqbf-5.01/qdpll.c:1047: lits ==> list
data/depqbf-5.01/qdpll.c:1048: lits ==> list
data/depqbf-5.01/qdpll.c:1166: lits ==> list
data/depqbf-5.01/qdpll.c:1166: lits ==> list
data/depqbf-5.01/qdpll.c:1168: lits ==> list
data/depqbf-5.01/qdpll.c:1169: lits ==> list
data/depqbf-5.01/qdpll.c:1176: lits ==> list
data/depqbf-5.01/qdpll.c:1177: lits ==> list
data/depqbf-5.01/qdpll.c:1180: lits ==> list
data/depqbf-5.01/qdpll.c:1180: lits ==> list
data/depqbf-5.01/qdpll.c:1255: lits ==> list
data/depqbf-5.01/qdpll.c:1465: lits ==> list
data/depqbf-5.01/qdpll.c:1478: lits ==> list
data/depqbf-5.01/qdpll.c:1479: lits ==> list
data/depqbf-5.01/qdpll.c:1527: lits ==> list
data/depqbf-5.01/qdpll.c:1533: lits ==> list
data/depqbf-5.01/qdpll.c:1533: lits ==> list
data/depqbf-5.01/qdpll.c:1545: lits ==> list
data/depqbf-5.01/qdpll.c:1551: lits ==> list
data/depqbf-5.01/qdpll.c:1551: lits ==> list
data/depqbf-5.01/qdpll.c:1567: lits ==> list
data/depqbf-5.01/qdpll.c:1574: lits ==> list
data/depqbf-5.01/qdpll.c:1577: lits ==> list
data/depqbf-5.01/qdpll.c:1577: lits ==> list
data/depqbf-5.01/qdpll.c:1587: lits ==> list
data/depqbf-5.01/qdpll.c:1594: lits ==> list
data/depqbf-5.01/qdpll.c:1597: lits ==> list
data/depqbf-5.01/qdpll.c:1597: lits ==> list
data/depqbf-5.01/qdpll.c:1658: accroding ==> according
data/depqbf-5.01/qdpll.c:1671: lits ==> list
data/depqbf-5.01/qdpll.c:2133: lits ==> list
data/depqbf-5.01/qdpll.c:2197: lits ==> list
data/depqbf-5.01/qdpll.c:2241: lits ==> list
data/depqbf-5.01/qdpll.c:2288: lits ==> list
data/depqbf-5.01/qdpll.c:2320: funtion ==> function
data/depqbf-5.01/qdpll.c:2343: lits ==> list
data/depqbf-5.01/qdpll.c:2373: lits ==> list
data/depqbf-5.01/qdpll.c:2406: lits ==> list
data/depqbf-5.01/qdpll.c:2447: lits ==> list
data/depqbf-5.01/qdpll.c:2497: lits ==> list
data/depqbf-5.01/qdpll.c:2545: lits ==> list
data/depqbf-5.01/qdpll.c:2592: lits ==> list
data/depqbf-5.01/qdpll.c:2630: lits ==> list
data/depqbf-5.01/qdpll.c:2939: lits ==> list
data/depqbf-5.01/qdpll.c:3014: lits ==> list
data/depqbf-5.01/qdpll.c:3169: lits ==> list
data/depqbf-5.01/qdpll.c:3248: lits ==> list
data/depqbf-5.01/qdpll.c:3572: lits ==> list
data/depqbf-5.01/qdpll.c:3604: lits ==> list
data/depqbf-5.01/qdpll.c:3686: lits ==> list
data/depqbf-5.01/qdpll.c:3691: lits ==> list
data/depqbf-5.01/qdpll.c:3751: lits ==> list
data/depqbf-5.01/qdpll.c:3873: lits ==> list
data/depqbf-5.01/qdpll.c:3873: lits ==> list
data/depqbf-5.01/qdpll.c:3874: lits ==> list
data/depqbf-5.01/qdpll.c:3914: lits ==> list
data/depqbf-5.01/qdpll.c:3974: lits ==> list
data/depqbf-5.01/qdpll.c:3974: lits ==> list
data/depqbf-5.01/qdpll.c:3981: lits ==> list
data/depqbf-5.01/qdpll.c:3999: lits ==> list
data/depqbf-5.01/qdpll.c:3999: lits ==> list
data/depqbf-5.01/qdpll.c:4011: lits ==> list
data/depqbf-5.01/qdpll.c:4011: lits ==> list
data/depqbf-5.01/qdpll.c:4025: lits ==> list
data/depqbf-5.01/qdpll.c:4033: lits ==> list
data/depqbf-5.01/qdpll.c:4046: lits ==> list
data/depqbf-5.01/qdpll.c:4095: lits ==> list
data/depqbf-5.01/qdpll.c:4095: lits ==> list
data/depqbf-5.01/qdpll.c:4105: lits ==> list
data/depqbf-5.01/qdpll.c:4105: lits ==> list
data/depqbf-5.01/qdpll.c:4120: lits ==> list
data/depqbf-5.01/qdpll.c:4126: lits ==> list
data/depqbf-5.01/qdpll.c:4137: lits ==> list
data/depqbf-5.01/qdpll.c:4157: lits ==> list
data/depqbf-5.01/qdpll.c:4160: lits ==> list
data/depqbf-5.01/qdpll.c:4203: lits ==> list
data/depqbf-5.01/qdpll.c:4204: lits ==> list
data/depqbf-5.01/qdpll.c:4205: lits ==> list
data/depqbf-5.01/qdpll.c:4241: lits ==> list
data/depqbf-5.01/qdpll.c:4243: lits ==> list
data/depqbf-5.01/qdpll.c:4244: lits ==> list
data/depqbf-5.01/qdpll.c:4283: lits ==> list
data/depqbf-5.01/qdpll.c:4303: lits ==> list
data/depqbf-5.01/qdpll.c:4334: lits ==> list
data/depqbf-5.01/qdpll.c:4373: lits ==> list
data/depqbf-5.01/qdpll.c:4374: lits ==> list
data/depqbf-5.01/qdpll.c:4374: lits ==> list
data/depqbf-5.01/qdpll.c:4389: lits ==> list
data/depqbf-5.01/qdpll.c:4390: lits ==> list
data/depqbf-5.01/qdpll.c:4390: lits ==> list
data/depqbf-5.01/qdpll.c:4394: lits ==> list
data/depqbf-5.01/qdpll.c:4395: lits ==> list
data/depqbf-5.01/qdpll.c:5233: lits ==> list
data/depqbf-5.01/qdpll.c:5254: lits ==> list
data/depqbf-5.01/qdpll.c:5254: lits ==> list
data/depqbf-5.01/qdpll.c:5258: lits ==> list
data/depqbf-5.01/qdpll.c:5273: lits ==> list
data/depqbf-5.01/qdpll.c:5292: lits ==> list
data/depqbf-5.01/qdpll.c:5326: lits ==> list
data/depqbf-5.01/qdpll.c:5345: lits ==> list
data/depqbf-5.01/qdpll.c:5352: lits ==> list
data/depqbf-5.01/qdpll.c:5358: lits ==> list
data/depqbf-5.01/qdpll.c:5397: lits ==> list
data/depqbf-5.01/qdpll.c:5425: lits ==> list
data/depqbf-5.01/qdpll.c:5442: lits ==> list
data/depqbf-5.01/qdpll.c:5576: lits ==> list
data/depqbf-5.01/qdpll.c:5599: lits ==> list
data/depqbf-5.01/qdpll.c:5623: lits ==> list
data/depqbf-5.01/qdpll.c:5624: lits ==> list
data/depqbf-5.01/qdpll.c:6292: ocurrence ==> occurrence
data/depqbf-5.01/qdpll.c:6315: lits ==> list
data/depqbf-5.01/qdpll.c:6352: lits ==> list
data/depqbf-5.01/qdpll.c:6479: lits ==> list
data/depqbf-5.01/qdpll.c:6568: lits ==> list
data/depqbf-5.01/qdpll.c:6605: lits ==> list
data/depqbf-5.01/qdpll.c:6676: lits ==> list
data/depqbf-5.01/qdpll.c:6827: lits ==> list
data/depqbf-5.01/qdpll.c:7099: lits ==> list
data/depqbf-5.01/qdpll.c:7218: lits ==> list
data/depqbf-5.01/qdpll.c:7243: lits ==> list
data/depqbf-5.01/qdpll.c:7246: lits ==> list
data/depqbf-5.01/qdpll.c:7287: lits ==> list
data/depqbf-5.01/qdpll.c:7430: lits ==> list
data/depqbf-5.01/qdpll.c:7549: lits ==> list
data/depqbf-5.01/qdpll.c:7762: lits ==> list
data/depqbf-5.01/qdpll.c:7780: lits ==> list
data/depqbf-5.01/qdpll.c:7988: lits ==> list
data/depqbf-5.01/qdpll.c:8547: lits ==> list
data/depqbf-5.01/qdpll.c:8548: lits ==> list
data/depqbf-5.01/qdpll.c:8776: lits ==> list
data/depqbf-5.01/qdpll.c:8923: lits ==> list
data/depqbf-5.01/qdpll.c:8924: lits ==> list
data/depqbf-5.01/qdpll.c:9028: lits ==> list
data/depqbf-5.01/qdpll.c:9032: lits ==> list
data/depqbf-5.01/qdpll.c:9033: lits ==> list
data/depqbf-5.01/qdpll.c:9335: lits ==> list
data/depqbf-5.01/qdpll.c:9614: lits ==> list
data/depqbf-5.01/qdpll.c:9621: lits ==> list
data/depqbf-5.01/qdpll.c:9621: lits ==> list
data/depqbf-5.01/qdpll.c:9640: lits ==> list
data/depqbf-5.01/qdpll.c:9667: lits ==> list
data/depqbf-5.01/qdpll.c:9728: lits ==> list
data/depqbf-5.01/qdpll.c:9770: lits ==> list
data/depqbf-5.01/qdpll.c:9774: lits ==> list
data/depqbf-5.01/qdpll.c:9774: lits ==> list
data/depqbf-5.01/qdpll.c:9813: lits ==> list
data/depqbf-5.01/qdpll.c:9821: lits ==> list
data/depqbf-5.01/qdpll.c:9823: lits ==> list
data/depqbf-5.01/qdpll.c:9823: lits ==> list
data/depqbf-5.01/qdpll.c:9853: lits ==> list
data/depqbf-5.01/qdpll.c:10034: lits ==> list
data/depqbf-5.01/qdpll.c:10040: lits ==> list
data/depqbf-5.01/qdpll.c:10041: lits ==> list
data/depqbf-5.01/qdpll.c:10042: lits ==> list
data/depqbf-5.01/qdpll.c:10043: lits ==> list
data/depqbf-5.01/qdpll.c:10044: lits ==> list
data/depqbf-5.01/qdpll.c:10045: lits ==> list
data/depqbf-5.01/qdpll.c:10049: lits ==> list
data/depqbf-5.01/qdpll.c:10050: lits ==> list
data/depqbf-5.01/qdpll.c:10052: lits ==> list
data/depqbf-5.01/qdpll.c:10053: lits ==> list
data/depqbf-5.01/qdpll.c:10059: lits ==> list
data/depqbf-5.01/qdpll.c:10060: lits ==> list
data/depqbf-5.01/qdpll.c:10212: lits ==> list
data/depqbf-5.01/qdpll.c:10213: lits ==> list
data/depqbf-5.01/qdpll.c:10221: lits ==> list
data/depqbf-5.01/qdpll.c:10222: lits ==> list
data/depqbf-5.01/qdpll.c:10335: lits ==> list
data/depqbf-5.01/qdpll.c:10339: lits ==> list
data/depqbf-5.01/qdpll.c:10454: lits ==> list
data/depqbf-5.01/qdpll.c:10857: lits ==> list
data/depqbf-5.01/qdpll.c:11193: Othwerwise ==> Otherwise
data/depqbf-5.01/qdpll.c:11236: lits ==> list
data/depqbf-5.01/qdpll.c:11436: lits ==> list
data/depqbf-5.01/qdpll.c:11524: lits ==> list
data/depqbf-5.01/qdpll.c:11638: lits ==> list
data/depqbf-5.01/qdpll.c:11640: lits ==> list
data/depqbf-5.01/qdpll.c:11781: lits ==> list
data/depqbf-5.01/qdpll.c:11937: lits ==> list
data/depqbf-5.01/qdpll.c:12036: lits ==> list
data/depqbf-5.01/qdpll.c:12066: lits ==> list
data/depqbf-5.01/qdpll.c:12139: lits ==> list
data/depqbf-5.01/qdpll.c:12140: lits ==> list
data/depqbf-5.01/qdpll.c:12175: lits ==> list
data/depqbf-5.01/qdpll.c:12176: lits ==> list
data/depqbf-5.01/qdpll.c:12248: unifrom ==> uniform
data/depqbf-5.01/qdpll.c:12382: lits ==> list
data/depqbf-5.01/qdpll.c:12435: lits ==> list
data/depqbf-5.01/qdpll.c:12436: lits ==> list
data/depqbf-5.01/qdpll.c:12441: lits ==> list
data/depqbf-5.01/qdpll.c:12478: lits ==> list
data/depqbf-5.01/qdpll.c:12594: lits ==> list
data/depqbf-5.01/qdpll.c:12664: lits ==> list
data/depqbf-5.01/qdpll.c:12679: lits ==> list
data/depqbf-5.01/qdpll.c:12972: lits ==> list
data/depqbf-5.01/qdpll.c:13031: contraint ==> constraint
data/depqbf-5.01/qdpll.c:13055: lits ==> list
data/depqbf-5.01/qdpll.c:13057: lits ==> list
data/depqbf-5.01/qdpll.c:13135: lits ==> list
data/depqbf-5.01/qdpll.c:13589: lits ==> list
data/depqbf-5.01/qdpll.c:13767: lits ==> list
data/depqbf-5.01/qdpll.c:13794: lits ==> list
data/depqbf-5.01/qdpll.c:13831: lits ==> list
data/depqbf-5.01/qdpll.c:13831: lits ==> list
data/depqbf-5.01/qdpll.c:13849: lits ==> list
data/depqbf-5.01/qdpll.c:13849: lits ==> list
data/depqbf-5.01/qdpll.c:13924: lits ==> list
data/depqbf-5.01/qdpll.c:13940: lits ==> list
data/depqbf-5.01/qdpll.c:13966: lits ==> list
data/depqbf-5.01/qdpll.c:13966: lits ==> list
data/depqbf-5.01/qdpll.c:13972: lits ==> list
data/depqbf-5.01/qdpll.c:14008: lits ==> list
data/depqbf-5.01/qdpll.c:14068: lits ==> list
data/depqbf-5.01/qdpll.c:14091: lits ==> list
data/depqbf-5.01/qdpll.c:14094: lits ==> list
data/depqbf-5.01/qdpll.c:14198: lits ==> list
data/depqbf-5.01/qdpll.c:14199: lits ==> list
data/depqbf-5.01/qdpll.c:14324: lits ==> list
data/depqbf-5.01/qdpll.c:14339: lits ==> list
data/depqbf-5.01/qdpll.c:14371: lits ==> list
data/depqbf-5.01/qdpll.c:14439: lits ==> list
data/depqbf-5.01/qdpll.c:14517: lits ==> list
data/depqbf-5.01/qdpll.c:15148: lits ==> list
data/depqbf-5.01/qdpll.c:15350: lits ==> list
data/depqbf-5.01/qdpll.c:15354: lits ==> list
data/depqbf-5.01/qdpll.c:15357: lits ==> list
data/depqbf-5.01/qdpll.c:15360: lits ==> list
data/depqbf-5.01/qdpll.c:15372: lits ==> list
data/depqbf-5.01/qdpll.c:15405: lits ==> list
data/depqbf-5.01/qdpll.c:15505: lits ==> list
data/depqbf-5.01/qdpll.c:15534: lits ==> list
data/depqbf-5.01/qdpll.c:15615: mutliple ==> multiple
data/depqbf-5.01/qdpll.c:15681: cound ==> could, count
data/depqbf-5.01/qdpll.c:15720: lits ==> list
data/depqbf-5.01/qdpll.c:15771: lits ==> list
data/depqbf-5.01/qdpll.c:15807: assigment ==> assignment
data/depqbf-5.01/qdpll.c:15809: inout ==> input, in out
data/depqbf-5.01/qdpll.c:15813: assigment ==> assignment
data/depqbf-5.01/qdpll.c:16991: lits ==> list
data/depqbf-5.01/qdpll.c:17660: lits ==> list
data/depqbf-5.01/qdpll.c:18129: disabe ==> disable
data/depqbf-5.01/qdpll.c:18156: disabe ==> disable
data/depqbf-5.01/qdpll.c:18336: lits ==> list
data/depqbf-5.01/qdpll.c:18338: lits ==> list
data/depqbf-5.01/qdpll.c:18392: lits ==> list
data/depqbf-5.01/qdpll.c:18394: lits ==> list
data/depqbf-5.01/qdpll.c:18437: lits ==> list
data/depqbf-5.01/qdpll.c:18451: lits ==> list
data/depqbf-5.01/qdpll.c:18451: lits ==> list
data/depqbf-5.01/qdpll.c:18458: lits ==> list
data/depqbf-5.01/qdpll.c:18458: lits ==> list
data/depqbf-5.01/qdpll.c:18480: lits ==> list
data/depqbf-5.01/qdpll.c:18669: previosuly ==> previously
data/depqbf-5.01/qdpll.c:18678: savely ==> safely
data/depqbf-5.01/qdpll.c:18688: previosuly ==> previously
data/depqbf-5.01/qdpll.c:18734: lits ==> list
data/depqbf-5.01/qdpll.h:7: Linz ==> Lines
data/depqbf-5.01/qdpll.h:10: Linz ==> Lines
data/depqbf-5.01/qdpll_app.c:7: Linz ==> Lines
data/depqbf-5.01/qdpll_app.c:10: Linz ==> Lines
data/depqbf-5.01/qdpll_app.c:44: Linz ==> Lines
data/depqbf-5.01/qdpll_app.c:47: Linz ==> Lines
data/depqbf-5.01/qdpll_config.h:7: Linz ==> Lines
data/depqbf-5.01/qdpll_config.h:10: Linz ==> Lines
data/depqbf-5.01/qdpll_dep_man_generic.h:7: Linz ==> Lines
data/depqbf-5.01/qdpll_dep_man_generic.h:10: Linz ==> Lines
data/depqbf-5.01/qdpll_dep_man_qdag.c:7: Linz ==> Lines
data/depqbf-5.01/qdpll_dep_man_qdag.c:10: Linz ==> Lines
data/depqbf-5.01/qdpll_dep_man_qdag.c:1506: lits ==> list
data/depqbf-5.01/qdpll_dep_man_qdag.c:1507: lits ==> list
data/depqbf-5.01/qdpll_dep_man_qdag.c:1514: lits ==> list
data/depqbf-5.01/qdpll_dep_man_qdag.c:2030: lits ==> list
data/depqbf-5.01/qdpll_dep_man_qdag.c:2033: lits ==> list
data/depqbf-5.01/qdpll_dep_man_qdag.c:2038: lits ==> list
data/depqbf-5.01/qdpll_dep_man_qdag.c:2047: lits ==> list
data/depqbf-5.01/qdpll_dep_man_qdag.c:2060: lits ==> list
data/depqbf-5.01/qdpll_dep_man_qdag.c:2061: lits ==> list
data/depqbf-5.01/qdpll_dep_man_qdag.c:2063: lits ==> list
data/depqbf-5.01/qdpll_dep_man_qdag.c:2069: lits ==> list
data/depqbf-5.01/qdpll_dep_man_qdag.c:2072: lits ==> list
data/depqbf-5.01/qdpll_dep_man_qdag.c:2074: lits ==> list
data/depqbf-5.01/qdpll_dep_man_qdag.c:2074: lits ==> list
data/depqbf-5.01/qdpll_dep_man_qdag.c:2075: lits ==> list
data/depqbf-5.01/qdpll_dep_man_qdag.c:2089: lits ==> list
data/depqbf-5.01/qdpll_dep_man_qdag.c:2817: lits ==> list
data/depqbf-5.01/qdpll_dep_man_qdag.c:3007: lits ==> list
data/depqbf-5.01/qdpll_dep_man_qdag.c:3008: lits ==> list
data/depqbf-5.01/qdpll_dep_man_qdag.c:4526: travering ==> traversing
data/depqbf-5.01/qdpll_dep_man_qdag.c:4819: Lits ==> List
data/depqbf-5.01/qdpll_dep_man_qdag.h:7: Linz ==> Lines
data/depqbf-5.01/qdpll_dep_man_qdag.h:10: Linz ==> Lines
data/depqbf-5.01/qdpll_dep_man_qdag_types.h:7: Linz ==> Lines
data/depqbf-5.01/qdpll_dep_man_qdag_types.h:10: Linz ==> Lines
data/depqbf-5.01/qdpll_exit.h:7: Linz ==> Lines
data/depqbf-5.01/qdpll_exit.h:10: Linz ==> Lines
data/depqbf-5.01/qdpll_internals.h:7: Linz ==> Lines
data/depqbf-5.01/qdpll_internals.h:10: Linz ==> Lines
data/depqbf-5.01/qdpll_internals.h:139: lits ==> list
data/depqbf-5.01/qdpll_main.c:7: Linz ==> Lines
data/depqbf-5.01/qdpll_main.c:10: Linz ==> Lines
data/depqbf-5.01/qdpll_mem.c:7: Linz ==> Lines
data/depqbf-5.01/qdpll_mem.c:10: Linz ==> Lines
data/depqbf-5.01/qdpll_mem.h:7: Linz ==> Lines
data/depqbf-5.01/qdpll_mem.h:10: Linz ==> Lines
data/depqbf-5.01/qdpll_pcnf.h:7: Linz ==> Lines
data/depqbf-5.01/qdpll_pcnf.h:382: lits ==> list
data/depqbf-5.01/qdpll_pqueue.c:7: Linz ==> Lines
data/depqbf-5.01/qdpll_pqueue.h:7: Linz ==> Lines
data/depqbf-5.01/qdpll_stack.h:7: Linz ==> Lines
data/depqbf-5.01/qdpll_stack.h:10: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:282: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:286: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:331: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:336: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:370: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:388: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:395: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:608: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:678: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:933: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:965: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1046: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1046: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1047: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1048: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1166: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1166: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1168: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1169: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1176: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1177: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1180: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1180: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1255: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1465: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1478: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1479: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1527: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1533: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1533: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1545: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1551: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1551: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1567: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1574: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1577: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1577: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1587: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1594: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1597: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1597: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1658: accroding ==> according
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1671: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:2133: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:2197: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:2241: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:2288: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:2320: funtion ==> function
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:2343: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:2373: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:2406: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:2447: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:2497: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:2545: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:2592: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:2630: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:2939: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:3014: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:3169: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:3248: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:3572: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:3604: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:3686: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:3691: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:3751: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:3873: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:3873: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:3874: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:3914: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:3974: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:3974: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:3981: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:3999: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:3999: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4011: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4011: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4025: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4033: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4046: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4095: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4095: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4105: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4105: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4120: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4126: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4137: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4157: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4160: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4203: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4204: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4205: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4241: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4243: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4244: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4283: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4303: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4334: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4373: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4374: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4374: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4389: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4390: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4390: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4394: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4395: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5233: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5254: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5254: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5258: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5273: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5292: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5326: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5345: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5352: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5358: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5397: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5425: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5442: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5576: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5599: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5623: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5624: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6292: ocurrence ==> occurrence
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6315: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6352: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6479: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6568: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6605: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6676: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6827: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7099: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7218: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7243: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7246: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7287: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7430: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7549: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7762: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7780: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7988: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8547: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8548: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8776: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8923: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8924: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9028: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9032: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9033: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9335: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9614: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9621: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9621: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9640: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9667: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9728: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9770: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9774: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9774: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9813: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9821: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9823: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9823: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9853: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10034: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10040: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10041: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10042: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10043: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10044: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10045: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10049: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10050: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10052: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10053: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10059: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10060: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10212: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10213: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10221: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10222: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10335: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10339: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10454: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10857: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11193: Othwerwise ==> Otherwise
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11236: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11436: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11524: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11638: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11640: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11781: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11937: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12036: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12066: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12139: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12140: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12175: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12176: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12248: unifrom ==> uniform
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12382: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12435: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12436: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12441: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12478: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12594: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12664: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12679: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12972: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13031: contraint ==> constraint
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13055: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13057: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13135: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13589: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13767: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13794: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13831: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13831: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13849: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13849: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13924: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13940: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13966: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13966: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13972: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14008: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14068: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14091: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14094: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14198: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14199: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14324: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14339: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14371: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14439: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14517: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15148: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15350: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15354: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15357: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15360: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15372: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15405: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15505: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15534: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15615: mutliple ==> multiple
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15681: cound ==> could, count
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15720: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15771: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15807: assigment ==> assignment
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15809: inout ==> input, in out
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15813: assigment ==> assignment
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:16991: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:17660: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:18129: disabe ==> disable
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:18156: disabe ==> disable
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:18336: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:18338: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:18392: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:18394: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:18437: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:18451: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:18451: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:18458: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:18458: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:18480: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:18669: previosuly ==> previously
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:18678: savely ==> safely
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:18688: previosuly ==> previously
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:18734: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.h:7: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.h:10: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_app.c:7: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_app.c:10: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_app.c:44: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_app.c:47: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_config.h:7: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_config.h:10: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_generic.h:7: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_generic.h:10: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:7: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:10: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1506: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1507: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1514: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2030: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2033: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2038: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2047: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2060: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2061: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2063: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2069: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2072: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2074: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2074: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2075: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2089: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2817: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:3007: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:3008: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:4526: travering ==> traversing
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:4819: Lits ==> List
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.h:7: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.h:10: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag_types.h:7: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag_types.h:10: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_exit.h:7: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_exit.h:10: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_internals.h:7: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_internals.h:10: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_internals.h:139: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_main.c:7: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_main.c:10: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_mem.c:7: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_mem.c:10: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_mem.h:7: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_mem.h:10: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_pcnf.h:7: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_pcnf.h:382: lits ==> list
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_pqueue.c:7: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_pqueue.h:7: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_stack.h:7: Linz ==> Lines
data/depqbf-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_stack.h:10: Linz ==> Lines