Instances of family q2k3k3 solved by QuBE7-m
QBFEVAL'10 - Random QBFs Track.

InstanceResultTime
Qq2k3k3v20v20m80s8SAT0.01
Qq2k3k3v20v20m80s1SAT0.01
Qq2k3k3v20v20m80s4SAT0.01
Qq2k3k3v20v20m80s5SAT0.02
Qq2k3k3v20v20m80s6SAT0.02
Qq2k3k3v20v20m80s2SAT0.02
Qq2k3k3v20v20m80s3SAT0.02
Qq2k3k3v20v20m80s9SAT0.02
Qq2k3k3v20v20m120s3SAT0.02
Qq2k3k3v20v20m80s7SAT0.02
Qq2k3k3v20v20m80s10SAT0.03
Qq2k3k3v20v20m120s10SAT0.04
Qq2k3k3v20v20m400s4UNSAT0.04
Qq2k3k3v20v20m120s7SAT0.04
Qq2k3k3v20v20m120s2SAT0.04
Qq2k3k3v20v20m120s5SAT0.04
Qq2k3k3v20v20m120s9SAT0.05
Qq2k3k3v20v20m360s3UNSAT0.05
Qq2k3k3v20v20m400s3UNSAT0.06
Qq2k3k3v20v20m120s6SAT0.06
Qq2k3k3v20v20m120s8SAT0.06
Qq2k3k3v20v20m120s4SAT0.06
Qq2k3k3v20v20m400s10UNSAT0.07
Qq2k3k3v20v20m120s1SAT0.07
Qq2k3k3v20v20m400s1UNSAT0.08
Qq2k3k3v20v20m400s6UNSAT0.09
Qq2k3k3v20v20m160s3SAT0.17
Qq2k3k3v20v20m360s1UNSAT0.19
Qq2k3k3v20v20m400s9UNSAT0.21
Qq2k3k3v20v20m360s4UNSAT0.22
Qq2k3k3v20v20m160s8SAT0.24
Qq2k3k3v20v20m400s2UNSAT0.25
Qq2k3k3v20v20m400s5UNSAT0.26
Qq2k3k3v20v20m160s9SAT0.29
Qq2k3k3v20v20m160s7SAT0.31
Qq2k3k3v20v20m160s10SAT0.31
Qq2k3k3v20v20m160s5SAT0.36
Qq2k3k3v20v20m160s4SAT0.37
Qq2k3k3v20v20m160s1SAT0.45
Qq2k3k3v50v50m200s7SAT0.49
Qq2k3k3v50v50m200s10SAT0.61
Qq2k3k3v20v20m160s2SAT0.62
Qq2k3k3v20v20m400s8UNSAT0.69
Qq2k3k3v20v20m160s6SAT0.74
Qq2k3k3v20v20m360s6UNSAT0.84
Qq2k3k3v20v20m360s2UNSAT1.1
Qq2k3k3v20v20m200s8SAT1.11
Qq2k3k3v50v50m200s8SAT1.14
Qq2k3k3v50v50m200s9SAT1.16
Qq2k3k3v20v20m200s7SAT1.69
Qq2k3k3v20v20m200s3SAT1.96
Qq2k3k3v50v50m200s3SAT1.98
Qq2k3k3v20v20m200s9SAT2.4
Qq2k3k3v50v50m200s4SAT2.44
Qq2k3k3v20v20m200s4SAT2.52
Qq2k3k3v20v20m320s2UNSAT2.61
Qq2k3k3v20v20m200s5SAT2.71
Qq2k3k3v20v20m200s1SAT3
Qq2k3k3v20v20m200s10SAT3
Qq2k3k3v20v20m400s7UNSAT3.34
Qq2k3k3v50v50m200s6SAT3.76
Qq2k3k3v20v20m200s6SAT4
Qq2k3k3v20v20m200s2SAT4.18
Qq2k3k3v20v20m360s9UNSAT4.53
Qq2k3k3v50v50m200s1SAT4.99
Qq2k3k3v20v20m320s4UNSAT5.53
Qq2k3k3v20v20m360s10UNSAT7.24
Qq2k3k3v20v20m240s9SAT8.77
Qq2k3k3v20v20m240s8SAT10.54
Qq2k3k3v20v20m240s4SAT11.21
Qq2k3k3v20v20m240s5SAT11.84
Qq2k3k3v20v20m240s10SAT12.71
Qq2k3k3v20v20m240s7SAT12.75
Qq2k3k3v20v20m320s9UNSAT12.91
Qq2k3k3v50v50m200s5SAT13.88
Qq2k3k3v20v20m360s7UNSAT13.89
Qq2k3k3v20v20m240s3SAT13.99
Qq2k3k3v20v20m240s1SAT15.41
Qq2k3k3v50v50m200s2SAT15.63
Qq2k3k3v20v20m320s6UNSAT21.75
Qq2k3k3v20v20m240s2SAT22.52
Qq2k3k3v20v20m240s6SAT25.25
Qq2k3k3v20v20m280s10SAT25.76
Qq2k3k3v20v20m280s4SAT31
Qq2k3k3v20v20m280s5SAT31.78
Qq2k3k3v20v20m280s8SAT33.16
Qq2k3k3v20v20m280s7SAT33.45
Qq2k3k3v20v20m280s9SAT34.56
Qq2k3k3v20v20m280s1SAT43.05
Qq2k3k3v20v20m280s3SAT48.68
Qq2k3k3v20v20m280s6SAT49.91
Qq2k3k3v20v20m320s8UNSAT50.21
Qq2k3k3v20v20m280s2SAT51.76
Qq2k3k3v20v20m320s7UNSAT57.99
Qq2k3k3v20v20m360s5UNSAT63.72
Qq2k3k3v20v20m320s10SAT65.07
Qq2k3k3v20v20m320s5SAT69.15
Qq2k3k3v20v20m320s1SAT75.83
Qq2k3k3v20v20m360s8UNSAT84.58
Qq2k3k3v20v20m320s3SAT138.28
Qq2k3k3v50v50m300s9FAIL1200.01
Qq2k3k3v50v50m400s5FAIL1200.01
Qq2k3k3v50v50m1000s2FAIL1200.01
Qq2k3k3v50v50m900s7FAIL1200.01
Qq2k3k3v50v50m300s4FAIL1200.01
Qq2k3k3v50v50m600s3FAIL1200.01
Qq2k3k3v50v50m500s7FAIL1200.01
Qq2k3k3v50v50m300s8FAIL1200.01
Qq2k3k3v50v50m700s6FAIL1200.01
Qq2k3k3v100v100m400s7FAIL1200.01
Qq2k3k3v50v50m800s2FAIL1200.01
Qq2k3k3v50v50m1000s10FAIL1200.01
Qq2k3k3v50v50m300s7FAIL1200.01
Qq2k3k3v50v50m400s7FAIL1200.01
Qq2k3k3v50v50m700s4FAIL1200.01
Qq2k3k3v50v50m900s6FAIL1200.01
Qq2k3k3v50v50m400s6FAIL1200.01
Qq2k3k3v50v50m600s2FAIL1200.01
Qq2k3k3v100v100m400s1FAIL1200.01
Qq2k3k3v50v50m900s4FAIL1200.01
Qq2k3k3v50v50m300s10FAIL1200.01
Qq2k3k3v50v50m500s4FAIL1200.01
Qq2k3k3v100v100m400s10FAIL1200.01
Qq2k3k3v50v50m1000s3FAIL1200.01
Qq2k3k3v50v50m300s2FAIL1200.01
Qq2k3k3v50v50m600s8FAIL1200.01
Qq2k3k3v50v50m300s6FAIL1200.01
Qq2k3k3v50v50m1000s7FAIL1200.01
Qq2k3k3v50v50m700s9FAIL1200.01
Qq2k3k3v100v100m400s4FAIL1200.01
Qq2k3k3v50v50m700s8FAIL1200.01
Qq2k3k3v50v50m700s1FAIL1200.01
Qq2k3k3v100v100m800s6FAIL1200.02
Qq2k3k3v50v50m1000s1FAIL1200.02
Qq2k3k3v100v100m800s7FAIL1200.02
Qq2k3k3v100v100m1800s10FAIL1200.02
Qq2k3k3v50v50m800s10FAIL1200.02
Qq2k3k3v50v50m900s3FAIL1200.02
Qq2k3k3v50v50m800s5FAIL1200.02
Qq2k3k3v50v50m800s4FAIL1200.02
Qq2k3k3v50v50m900s8FAIL1200.02
Qq2k3k3v100v100m1800s8FAIL1200.02
Qq2k3k3v100v100m400s8FAIL1200.02
Qq2k3k3v100v100m1800s4FAIL1200.02
Qq2k3k3v50v50m400s1FAIL1200.02
Qq2k3k3v100v100m1400s6FAIL1200.02
Qq2k3k3v50v50m300s1FAIL1200.02
Qq2k3k3v100v100m400s2FAIL1200.02
Qq2k3k3v100v100m1000s7FAIL1200.02
Qq2k3k3v50v50m300s3FAIL1200.02
Qq2k3k3v100v100m600s10FAIL1200.02
Qq2k3k3v100v100m1200s6FAIL1200.02
Qq2k3k3v50v50m800s6FAIL1200.02
Qq2k3k3v50v50m600s9FAIL1200.02
Qq2k3k3v100v100m400s6FAIL1200.02
Qq2k3k3v100v100m2000s1FAIL1200.02
Qq2k3k3v100v100m1600s5FAIL1200.02
Qq2k3k3v100v100m600s3FAIL1200.02
Qq2k3k3v50v50m600s4FAIL1200.02
Qq2k3k3v100v100m400s3FAIL1200.02
Qq2k3k3v50v50m400s10FAIL1200.02
Qq2k3k3v50v50m600s10FAIL1200.02
Qq2k3k3v100v100m800s4FAIL1200.02
Qq2k3k3v50v50m300s5FAIL1200.02
Qq2k3k3v100v100m1000s8FAIL1200.02
Qq2k3k3v50v50m700s5FAIL1200.02
Qq2k3k3v100v100m1400s2FAIL1200.02
Qq2k3k3v100v100m1200s7FAIL1200.02
Qq2k3k3v50v50m900s5FAIL1200.02
Qq2k3k3v50v50m600s7FAIL1200.02
Qq2k3k3v100v100m2000s8FAIL1200.02
Qq2k3k3v50v50m600s6FAIL1200.02
Qq2k3k3v100v100m2000s2FAIL1200.02
Qq2k3k3v100v100m2000s5FAIL1200.02
Qq2k3k3v50v50m1000s5FAIL1200.02
Qq2k3k3v50v50m1000s9FAIL1200.02
Qq2k3k3v50v50m800s1FAIL1200.02
Qq2k3k3v50v50m500s5FAIL1200.02
Qq2k3k3v50v50m700s10FAIL1200.02
Qq2k3k3v100v100m400s9FAIL1200.02
Qq2k3k3v100v100m1200s9FAIL1200.02
Qq2k3k3v50v50m400s3FAIL1200.02
Qq2k3k3v50v50m800s7FAIL1200.02
Qq2k3k3v50v50m500s9FAIL1200.02
Qq2k3k3v100v100m1200s3FAIL1200.02
Qq2k3k3v50v50m400s8FAIL1200.02
Qq2k3k3v50v50m400s4FAIL1200.02
Qq2k3k3v100v100m600s8FAIL1200.02
Qq2k3k3v100v100m1000s3FAIL1200.02
Qq2k3k3v100v100m600s6FAIL1200.02
Qq2k3k3v100v100m1800s2FAIL1200.02
Qq2k3k3v50v50m400s9FAIL1200.02
Qq2k3k3v100v100m600s2FAIL1200.02
Qq2k3k3v100v100m1800s1FAIL1200.02
Qq2k3k3v100v100m1600s8FAIL1200.02
Qq2k3k3v50v50m1000s8FAIL1200.02
Qq2k3k3v100v100m1400s3FAIL1200.02
Qq2k3k3v100v100m1200s2FAIL1200.02
Qq2k3k3v50v50m700s7FAIL1200.02
Qq2k3k3v100v100m600s5FAIL1200.02
Qq2k3k3v100v100m800s5FAIL1200.02
Qq2k3k3v50v50m1000s4FAIL1200.02
Qq2k3k3v100v100m400s5FAIL1200.02
Qq2k3k3v100v100m800s3FAIL1200.02
Qq2k3k3v100v100m600s9FAIL1200.02
Qq2k3k3v100v100m1000s5FAIL1200.02
Qq2k3k3v50v50m800s3FAIL1200.02
Qq2k3k3v100v100m1000s2FAIL1200.02
Qq2k3k3v50v50m800s8FAIL1200.02
Qq2k3k3v50v50m1000s6FAIL1200.02
Qq2k3k3v50v50m500s8FAIL1200.02
Qq2k3k3v50v50m700s2FAIL1200.02
Qq2k3k3v50v50m800s9FAIL1200.02
Qq2k3k3v50v50m500s2FAIL1200.02
Qq2k3k3v100v100m1400s8FAIL1200.02
Qq2k3k3v50v50m600s1FAIL1200.02
Qq2k3k3v100v100m1600s3FAIL1200.02
Qq2k3k3v100v100m1400s4FAIL1200.02
Qq2k3k3v100v100m600s7FAIL1200.02
Qq2k3k3v100v100m1800s3FAIL1200.02
Qq2k3k3v50v50m500s6FAIL1200.02
Qq2k3k3v100v100m1200s5FAIL1200.02
Qq2k3k3v100v100m2000s4FAIL1200.02
Qq2k3k3v50v50m500s3FAIL1200.02
Qq2k3k3v100v100m800s9FAIL1200.02
Qq2k3k3v50v50m400s2FAIL1200.02
Qq2k3k3v100v100m800s2FAIL1200.02
Qq2k3k3v50v50m600s5FAIL1200.02
Qq2k3k3v50v50m900s2FAIL1200.02
Qq2k3k3v100v100m1200s4FAIL1200.02
Qq2k3k3v50v50m900s9FAIL1200.02
Qq2k3k3v100v100m1000s10FAIL1200.02
Qq2k3k3v50v50m500s10FAIL1200.02
Qq2k3k3v50v50m500s1FAIL1200.02
Qq2k3k3v100v100m800s10FAIL1200.02
Qq2k3k3v50v50m900s10FAIL1200.02
Qq2k3k3v100v100m1000s4FAIL1200.03
Qq2k3k3v100v100m2000s3FAIL1200.03
Qq2k3k3v100v100m1600s7FAIL1200.03
Qq2k3k3v100v100m800s1FAIL1200.03
Qq2k3k3v100v100m1400s7FAIL1200.03
Qq2k3k3v100v100m2000s9FAIL1200.03
Qq2k3k3v100v100m1000s6FAIL1200.03
Qq2k3k3v100v100m1600s6FAIL1200.03
Qq2k3k3v100v100m1200s10FAIL1200.03
Qq2k3k3v50v50m700s3FAIL1200.03
Qq2k3k3v100v100m1600s2FAIL1200.03
Qq2k3k3v100v100m2000s7FAIL1200.03
Qq2k3k3v100v100m1000s1FAIL1200.03
Qq2k3k3v100v100m600s1FAIL1200.03
Qq2k3k3v50v50m900s1FAIL1200.03
Qq2k3k3v100v100m1800s6FAIL1200.03
Qq2k3k3v100v100m1800s5FAIL1200.03
Qq2k3k3v100v100m1800s9FAIL1200.03
Qq2k3k3v100v100m2000s10FAIL1200.03
Qq2k3k3v100v100m1400s10FAIL1200.03
Qq2k3k3v100v100m1600s1FAIL1200.03
Qq2k3k3v100v100m2000s6FAIL1200.03
Qq2k3k3v100v100m1400s9FAIL1200.03
Qq2k3k3v100v100m1600s10FAIL1200.03
Qq2k3k3v100v100m1600s9FAIL1200.03
Qq2k3k3v100v100m1400s5FAIL1200.03
Qq2k3k3v100v100m1000s9FAIL1200.03
Qq2k3k3v100v100m600s4FAIL1200.03
Qq2k3k3v100v100m1400s1FAIL1200.03
Qq2k3k3v100v100m1600s4FAIL1200.04
Qq2k3k3v100v100m800s8FAIL1200.04
Qq2k3k3v100v100m1200s1FAIL1200.04
Qq2k3k3v100v100m1200s8FAIL1200.04
Qq2k3k3v100v100m1800s7FAIL1200.04