The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for SAT family
Download (12 Kb)
Submitter:
SAT Competition 2005
Suite:
SAT_competition_2005
Domain:
Miscellanea
Description:
Some benchmarks from the set sabharwal05 of the SAT competition 2005.
Number of instances:
21
Results:
Instances:
logistics-rotate-06t6.shuffled-as.sat05-1130-qd
logistics-rotate-07t6.shuffled-as.sat05-1131-qd
logistics-rotate-08t6.shuffled-as.sat05-1132-qd
logistics-rotate-09t6.shuffled-as.sat05-1133-qd
logistics-rotate-10t6.shuffled-as.sat05-1134-qd
logistics-rotate-11t6.shuffled-as.sat05-1135-qd
php-010-010.shuffled-as.sat05-1157-qd
php-012-012.shuffled-as.sat05-1158-qd
php-014-014.shuffled-as.sat05-1159-qd
php-016-016.shuffled-as.sat05-1160-qd
php-018-018.shuffled-as.sat05-1161-qd
php-020-020.shuffled-as.sat05-1162-qd
php-025-025.shuffled-as.sat05-1163-qd
php-030-030.shuffled-as.sat05-1164-qd
php-035-035.shuffled-as.sat05-1165-qd
php-040-040.shuffled-as.sat05-1166-qd
strips-gripper-08t15.shuffled-as.sat05-1149-qd
strips-gripper-10t19.shuffled-as.sat05-1143-qd
strips-gripper-12t23.shuffled-as.sat05-1144-qd
strips-gripper-14t27.shuffled-as.sat05-1145-qd
strips-gripper-16t31.shuffled-as.sat05-1146-qd
Contact
|
Organization
|
Links
|
Citing QBFLIB