Unsolved instances

The following instances have not been solved by any solver in this experiment.
Name category subcategories source used since SC07 eval status SC12 rating MD5 before cleanup Results
SATBench/SC13_submissions/kummling_grosmann--pesp/b04_s_2_unknown_pre.cnf application scheduling;PESP kummling_grosmann 0 SAT ? Results
SATBench/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_6_unsat.cnf application scheduling;PESP kummling_grosmann 0 UNSAT ? Results
SATBench/SC13_submissions/kummling_grosmann--pesp/k_unsat.cnf application scheduling;PESP kummling_grosmann 0 UNSAT ? Results
SATBench/SC13_submissions/nossum--sha1/22-160/001.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/heule_weaver--arc4/arcfour_initialPermutation_6_56.cnf application hardware-verification;cec heule_weaver 0 UNSAT ? Results
SATBench/satcomp13-random/unsat/unsat-unif-k4/unif-k4-r9.931-v200-c1986-S7066879022108160826.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k5/unif-k5-r21.117-v116-c2450-S5599744740323658965.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k4/unif-k4-r9.931-v198-c1966-S471338013466781683.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k4/unif-k4-r9.931-v190-c1887-S3697192526635500631.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k4/unif-k4-r9.931-v197-c1956-S4328469478675688340.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k4/unif-k4-r9.931-v192-c1907-S1546931844924024988.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k7/unif-k7-r87.79-v75-c6584-S8373712916641488574.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k7/unif-k7-r87.79-v79-c6935-S9165399389680574897.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k6/unif-k6-r43.37-v93-c4033-S345558756088461415.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k6/unif-k6-r43.37-v92-c3990-S6964313110423871301.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k3/unif-k3-r4.267-v556-c2372-S6570533402317562721.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k3/unif-k3-r4.267-v562-c2398-S1483723458108255144.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k3/unif-k3-r4.267-v584-c2492-S1963911186507530234.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k3/unif-k3-r4.267-v573-c2445-S5619847215788846608.cnf Results
SATBench/satcomp13-random/sat/threshold/4SAT/unif-k4-r9.931-v860-c8541-S3085326446053949717.cnf Results
SATBench/satcomp13-random/sat/huge/7SAT/unif-k7-r65.0-v50000-c3250000-S1684775775790722294.cnf Results
SATBench/satcomp13-random/sat/huge/7SAT/unif-k7-r70.0-v50000-c3500000-S8366760535027957472.cnf Results
SATBench/satcomp13-random/sat/huge/5SAT/unif-k5-r18.0-v250000-c4500000-S7644564236294475836.cnf Results
SATBench/satcomp13-random/sat/threshold/6SAT/unif-k6-r43.37-v222-c9628-S3558064909567317272.cnf Results
SATBench/satcomp13-random/sat/threshold/6SAT/unif-k6-r43.37-v229-c9932-S776753279236542088.cnf Results
SATBench/satcomp13-random/sat/threshold/6SAT/unif-k6-r43.37-v214-c9281-S5123760364756529069.cnf Results
SATBench/satcomp13-random/sat/threshold/6SAT/unif-k6-r43.37-v227-c9845-S4760526070390720854.cnf Results
SATBench/satcomp13-random/sat/threshold/5SAT/unif-k5-r21.117-v355-c7497-S4730954766715524351.cnf Results
SATBench/satcomp13-random/sat/threshold/6SAT/unif-k6-r43.37-v234-c10149-S422181473771211599.cnf Results
SATBench/satcomp13-random/sat/threshold/3SAT/unif-k3-r4.267-v8600-c36696-S4335745267510317426.cnf Results
SATBench/satcomp13-random/sat/threshold/3SAT/unif-k3-r4.267-v6000-c25602-S2702893370182692242.cnf Results
SATBench/satcomp13-random/sat/threshold/3SAT/unif-k3-r4.267-v12800-c54618-S3439055989040791792.cnf Results
SATBench/satcomp13-random/sat/threshold/3SAT/unif-k3-r4.267-v9600-c40963-S1293977122244037204.cnf Results
SATBench/satcomp13-random/sat/threshold/3SAT/unif-k3-r4.267-v7200-c30722-S1122780994569580424.cnf Results
SATBench/satcomp13-random/sat/threshold/3SAT/unif-k3-r4.267-v8800-c37550-S5498618338999640267.cnf Results
SATBench/satcomp13-random/sat/threshold/3SAT/unif-k3-r4.267-v7800-c33283-S6512079356222749837.cnf Results
SATBench/satcomp13-random/sat/threshold/3SAT/unif-k3-r4.267-v5400-c23042-S2531158649528953834.cnf Results
SATBench/satcomp13-random/sat/threshold/4SAT/unif-k4-r9.931-v1490-c14797-S4870999669626952114.cnf Results
SATBench/satcomp13-random/sat/threshold/7SAT/unif-k7-r87.79-v123-c10798-S1082538658906206701.cnf Results
SATBench/satcomp13-random/sat/threshold/4SAT/unif-k4-r9.931-v1700-c16883-S6215371047310357404.cnf Results
SATBench/satcomp13-random/sat/threshold/4SAT/unif-k4-r9.931-v2120-c21054-S7750144811561922141.cnf Results
SATBench/satcomp13-random/sat/threshold/4SAT/unif-k4-r9.931-v1880-c18670-S1936564096554789370.cnf Results
SATBench/satcomp13-random/sat/threshold/5SAT/unif-k5-r21.117-v420-c8869-S5865360219333636568.cnf Results
SATBench/satcomp13-random/sat/threshold/5SAT/unif-k5-r21.117-v470-c9925-S7525275731776300642.cnf Results
SATBench/satcomp13-random/sat/threshold/5SAT/unif-k5-r21.117-v390-c8236-S1107697643360473778.cnf Results
SATBench/satcomp13-random/sat/threshold/7SAT/unif-k7-r87.79-v115-c10096-S2692340039502104726.cnf Results
SATBench/satcomp13-random/sat/threshold/7SAT/unif-k7-r87.79-v120-c10535-S1178274968572764292.cnf Results