QBFuzz
is a grammar-based black box fuzzer for generating random Quantified Boolean Formulas (QBF) in QDIMACS format. Further, it may also be used for generating random CNF formulas in DIMACS format.
QBFuzz is known to support any operating system running Python 3.0 or later.
SHOW FULL COLUMNS FROM `jrk_downrecords` [ RunTime:0.001161s ]
SELECT `a`.`aid`,`a`.`title`,`a`.`create_time`,`m`.`username` FROM `jrk_downrecords` `a` INNER JOIN `jrk_member` `m` ON `a`.`uid`=`m`.`id` WHERE `a`.`status` = 1 GROUP BY `a`.`aid` ORDER BY `a`.`create_time` DESC LIMIT 10 [ RunTime:0.110607s ]
SHOW FULL COLUMNS FROM `jrk_tagrecords` [ RunTime:0.000957s ]
SELECT * FROM `jrk_tagrecords` WHERE `status` = 1 ORDER BY `num` DESC LIMIT 20 [ RunTime:0.001175s ]
SHOW FULL COLUMNS FROM `jrk_member` [ RunTime:0.001038s ]
SELECT `id`,`username`,`userhead`,`usertime` FROM `jrk_member` WHERE `status` = 1 ORDER BY `usertime` DESC LIMIT 10 [ RunTime:0.003188s ]
SHOW FULL COLUMNS FROM `jrk_searchrecords` [ RunTime:0.000945s ]
SELECT * FROM `jrk_searchrecords` WHERE `status` = 1 ORDER BY `num` DESC LIMIT 5 [ RunTime:0.003792s ]
SELECT aid,title,count(aid) as c FROM `jrk_downrecords` GROUP BY `aid` ORDER BY `c` DESC LIMIT 10 [ RunTime:0.015707s ]
SHOW FULL COLUMNS FROM `jrk_articles` [ RunTime:0.001163s ]
UPDATE `jrk_articles` SET `hits` = 2 WHERE `id` = 86727 [ RunTime:0.019179s ]
