Instances of family q2k3k3 solved by depqbf-pre
QBFEVAL'10 - Random QBFs Track.

InstanceResultTime
Qq2k3k3v20v20m80s10SAT0
Qq2k3k3v20v20m80s7SAT0
Qq2k3k3v20v20m80s4SAT0
Qq2k3k3v20v20m80s8SAT0.01
Qq2k3k3v20v20m80s1SAT0.01
Qq2k3k3v20v20m80s2SAT0.01
Qq2k3k3v20v20m80s6SAT0.01
Qq2k3k3v20v20m80s3SAT0.01
Qq2k3k3v20v20m80s9SAT0.02
Qq2k3k3v20v20m80s5SAT0.02
Qq2k3k3v20v20m120s3SAT0.02
Qq2k3k3v20v20m400s5UNSAT0.02
Qq2k3k3v20v20m120s10SAT0.04
Qq2k3k3v20v20m120s6SAT0.04
Qq2k3k3v20v20m120s7SAT0.05
Qq2k3k3v20v20m120s5SAT0.06
Qq2k3k3v20v20m120s4SAT0.07
Qq2k3k3v20v20m120s2SAT0.07
Qq2k3k3v20v20m120s1SAT0.08
Qq2k3k3v20v20m120s8SAT0.08
Qq2k3k3v20v20m400s4UNSAT0.1
Qq2k3k3v20v20m120s9SAT0.1
Qq2k3k3v20v20m400s10UNSAT0.12
Qq2k3k3v20v20m400s6UNSAT0.13
Qq2k3k3v20v20m360s4UNSAT0.15
Qq2k3k3v20v20m400s2UNSAT0.16
Qq2k3k3v20v20m160s3SAT0.22
Qq2k3k3v20v20m160s7SAT0.26
Qq2k3k3v20v20m400s7UNSAT0.29
Qq2k3k3v20v20m160s10SAT0.29
Qq2k3k3v20v20m360s5UNSAT0.29
Qq2k3k3v20v20m160s8SAT0.32
Qq2k3k3v20v20m160s1SAT0.36
Qq2k3k3v20v20m160s5SAT0.39
Qq2k3k3v20v20m160s4SAT0.4
Qq2k3k3v20v20m160s9SAT0.4
Qq2k3k3v20v20m160s6SAT0.49
Qq2k3k3v20v20m160s2SAT0.5
Qq2k3k3v20v20m400s9UNSAT0.65
Qq2k3k3v20v20m400s8UNSAT0.76
Qq2k3k3v20v20m400s1UNSAT0.77
Qq2k3k3v20v20m200s3SAT0.83
Qq2k3k3v20v20m200s8SAT1.02
Qq2k3k3v20v20m200s7SAT1.17
Qq2k3k3v20v20m200s5SAT1.18
Qq2k3k3v20v20m360s3UNSAT1.42
Qq2k3k3v20v20m200s4SAT1.5
Qq2k3k3v20v20m200s9SAT1.56
Qq2k3k3v20v20m400s3UNSAT1.58
Qq2k3k3v20v20m320s4UNSAT1.62
Qq2k3k3v20v20m200s10SAT1.66
Qq2k3k3v20v20m200s1SAT1.68
Qq2k3k3v50v50m200s7SAT1.7
Qq2k3k3v20v20m200s2SAT1.71
Qq2k3k3v50v50m200s10SAT1.79
Qq2k3k3v20v20m200s6SAT2.14
Qq2k3k3v20v20m360s6UNSAT2.23
Qq2k3k3v50v50m200s8SAT2.7
Qq2k3k3v20v20m240s3SAT3
Qq2k3k3v50v50m200s9SAT3.01
Qq2k3k3v20v20m360s1UNSAT3.59
Qq2k3k3v20v20m360s2UNSAT3.88
Qq2k3k3v20v20m240s7SAT3.92
Qq2k3k3v20v20m320s2UNSAT4.44
Qq2k3k3v20v20m240s10SAT4.52
Qq2k3k3v20v20m360s9UNSAT4.58
Qq2k3k3v20v20m240s5SAT4.75
Qq2k3k3v20v20m240s1SAT5.09
Qq2k3k3v20v20m240s9SAT5.18
Qq2k3k3v20v20m240s2SAT5.44
Qq2k3k3v20v20m240s8SAT5.58
Qq2k3k3v20v20m360s10UNSAT5.89
Qq2k3k3v50v50m200s3SAT5.95
Qq2k3k3v20v20m240s4SAT5.97
Qq2k3k3v20v20m240s6SAT8.12
Qq2k3k3v20v20m320s6UNSAT8.31
Qq2k3k3v20v20m280s1SAT10.17
Qq2k3k3v20v20m280s7SAT10.67
Qq2k3k3v20v20m280s3SAT11.33
Qq2k3k3v20v20m320s7UNSAT11.75
Qq2k3k3v50v50m200s6SAT12.61
Qq2k3k3v20v20m280s10SAT12.74
Qq2k3k3v20v20m280s5SAT13.4
Qq2k3k3v20v20m280s9SAT13.67
Qq2k3k3v20v20m320s9UNSAT14.85
Qq2k3k3v50v50m200s2SAT15.05
Qq2k3k3v20v20m280s8SAT15.26
Qq2k3k3v20v20m280s2SAT18.44
Qq2k3k3v20v20m280s4SAT18.81
Qq2k3k3v20v20m320s8UNSAT18.91
Qq2k3k3v20v20m280s6SAT19
Qq2k3k3v20v20m360s7UNSAT20.45
Qq2k3k3v50v50m200s1SAT20.83
Qq2k3k3v20v20m320s1SAT21.81
Qq2k3k3v20v20m320s3SAT22.68
Qq2k3k3v20v20m320s10SAT26.06
Qq2k3k3v20v20m360s8UNSAT27.86
Qq2k3k3v50v50m200s4SAT29.63
Qq2k3k3v20v20m320s5SAT30.3
Qq2k3k3v50v50m200s5SAT62.22
Qq2k3k3v100v100m1200s4FAIL1200.06
Qq2k3k3v50v50m800s4FAIL1200.06
Qq2k3k3v100v100m400s8FAIL1200.06
Qq2k3k3v100v100m2000s2FAIL1200.09
Qq2k3k3v50v50m400s2FAIL1200.1
Qq2k3k3v100v100m600s7FAIL1200.11
Qq2k3k3v50v50m500s5FAIL1200.11
Qq2k3k3v50v50m400s3FAIL1200.11
Qq2k3k3v100v100m1800s3FAIL1200.12
Qq2k3k3v100v100m400s4FAIL1200.12
Qq2k3k3v100v100m1000s10FAIL1200.12
Qq2k3k3v100v100m800s7FAIL1200.12
Qq2k3k3v100v100m1600s6FAIL1200.12
Qq2k3k3v50v50m800s2FAIL1200.12
Qq2k3k3v50v50m300s7FAIL1200.12
Qq2k3k3v50v50m600s6FAIL1200.12
Qq2k3k3v100v100m400s10FAIL1200.12
Qq2k3k3v50v50m500s9FAIL1200.12
Qq2k3k3v100v100m1600s10FAIL1200.13
Qq2k3k3v50v50m1000s7FAIL1200.13
Qq2k3k3v50v50m500s6FAIL1200.13
Qq2k3k3v50v50m700s9FAIL1200.13
Qq2k3k3v50v50m500s2FAIL1200.13
Qq2k3k3v50v50m600s1FAIL1200.13
Qq2k3k3v100v100m1600s3FAIL1200.13
Qq2k3k3v50v50m600s5FAIL1200.13
Qq2k3k3v50v50m900s2FAIL1200.13
Qq2k3k3v50v50m700s8FAIL1200.13
Qq2k3k3v50v50m500s1FAIL1200.13
Qq2k3k3v100v100m1400s5FAIL1200.13
Qq2k3k3v100v100m1800s7FAIL1200.13
Qq2k3k3v100v100m1800s10FAIL1200.13
Qq2k3k3v50v50m1000s2FAIL1200.13
Qq2k3k3v50v50m900s7FAIL1200.13
Qq2k3k3v50v50m300s4FAIL1200.13
Qq2k3k3v50v50m800s5FAIL1200.13
Qq2k3k3v50v50m500s7FAIL1200.13
Qq2k3k3v50v50m300s8FAIL1200.13
Qq2k3k3v50v50m300s9FAIL1200.13
Qq2k3k3v100v100m800s6FAIL1200.13
Qq2k3k3v50v50m400s1FAIL1200.13
Qq2k3k3v100v100m1400s6FAIL1200.13
Qq2k3k3v100v100m1000s7FAIL1200.13
Qq2k3k3v50v50m700s6FAIL1200.13
Qq2k3k3v50v50m300s3FAIL1200.13
Qq2k3k3v100v100m600s10FAIL1200.13
Qq2k3k3v50v50m800s6FAIL1200.13
Qq2k3k3v50v50m600s9FAIL1200.13
Qq2k3k3v100v100m400s6FAIL1200.13
Qq2k3k3v100v100m1800s8FAIL1200.13
Qq2k3k3v50v50m600s4FAIL1200.13
Qq2k3k3v100v100m400s3FAIL1200.13
Qq2k3k3v100v100m400s7FAIL1200.13
Qq2k3k3v50v50m600s10FAIL1200.13
Qq2k3k3v100v100m800s4FAIL1200.13
Qq2k3k3v50v50m400s7FAIL1200.13
Qq2k3k3v50v50m700s5FAIL1200.13
Qq2k3k3v100v100m1200s7FAIL1200.13
Qq2k3k3v100v100m1600s5FAIL1200.13
Qq2k3k3v100v100m600s3FAIL1200.13
Qq2k3k3v100v100m2000s8FAIL1200.13
Qq2k3k3v50v50m700s3FAIL1200.13
Qq2k3k3v100v100m1600s4FAIL1200.13
Qq2k3k3v100v100m2000s5FAIL1200.13
Qq2k3k3v100v100m1600s2FAIL1200.13
Qq2k3k3v50v50m300s10FAIL1200.13
Qq2k3k3v50v50m1000s9FAIL1200.13
Qq2k3k3v50v50m700s10FAIL1200.13
Qq2k3k3v100v100m400s9FAIL1200.13
Qq2k3k3v50v50m500s4FAIL1200.13
Qq2k3k3v100v100m2000s7FAIL1200.13
Qq2k3k3v100v100m1200s10FAIL1200.13
Qq2k3k3v100v100m600s1FAIL1200.13
Qq2k3k3v50v50m300s2FAIL1200.13
Qq2k3k3v50v50m900s1FAIL1200.13
Qq2k3k3v100v100m1800s6FAIL1200.13
Qq2k3k3v100v100m600s2FAIL1200.13
Qq2k3k3v100v100m1600s8FAIL1200.13
Qq2k3k3v100v100m1400s10FAIL1200.13
Qq2k3k3v50v50m700s7FAIL1200.13
Qq2k3k3v100v100m600s5FAIL1200.13
Qq2k3k3v100v100m2000s6FAIL1200.13
Qq2k3k3v100v100m800s5FAIL1200.13
Qq2k3k3v50v50m1000s4FAIL1200.13
Qq2k3k3v100v100m400s5FAIL1200.13
Qq2k3k3v100v100m600s9FAIL1200.13
Qq2k3k3v100v100m1000s5FAIL1200.13
Qq2k3k3v50v50m800s3FAIL1200.13
Qq2k3k3v50v50m800s8FAIL1200.13
Qq2k3k3v50v50m1000s6FAIL1200.13
Qq2k3k3v50v50m700s2FAIL1200.13
Qq2k3k3v50v50m800s9FAIL1200.13
Qq2k3k3v50v50m1000s8FAIL1200.13
Qq2k3k3v50v50m600s8FAIL1200.14
Qq2k3k3v100v100m1400s4FAIL1200.14
Qq2k3k3v100v100m1200s1FAIL1200.14
Qq2k3k3v50v50m300s6FAIL1200.14
Qq2k3k3v100v100m1200s8FAIL1200.14
Qq2k3k3v100v100m1200s5FAIL1200.14
Qq2k3k3v100v100m2000s4FAIL1200.14
Qq2k3k3v50v50m500s3FAIL1200.14
Qq2k3k3v100v100m800s9FAIL1200.14
Qq2k3k3v100v100m1400s8FAIL1200.14
Qq2k3k3v100v100m1400s9FAIL1200.14
Qq2k3k3v50v50m900s9FAIL1200.14
Qq2k3k3v50v50m700s1FAIL1200.14
Qq2k3k3v100v100m600s4FAIL1200.14
Qq2k3k3v50v50m500s10FAIL1200.14
Qq2k3k3v100v100m800s10FAIL1200.14
Qq2k3k3v100v100m1400s1FAIL1200.14
Qq2k3k3v50v50m900s10FAIL1200.14
Qq2k3k3v100v100m1600s9FAIL1200.14
Qq2k3k3v100v100m800s2FAIL1200.14
Qq2k3k3v50v50m1000s1FAIL1200.14
Qq2k3k3v100v100m1000s4FAIL1200.14
Qq2k3k3v50v50m800s10FAIL1200.14
Qq2k3k3v50v50m900s3FAIL1200.14
Qq2k3k3v50v50m600s3FAIL1200.14
Qq2k3k3v50v50m900s8FAIL1200.14
Qq2k3k3v100v100m1600s7FAIL1200.14
Qq2k3k3v50v50m400s5FAIL1200.14
Qq2k3k3v100v100m2000s9FAIL1200.14
Qq2k3k3v100v100m1800s4FAIL1200.14
Qq2k3k3v100v100m1000s6FAIL1200.14
Qq2k3k3v50v50m300s1FAIL1200.14
Qq2k3k3v100v100m400s2FAIL1200.14
Qq2k3k3v100v100m1200s6FAIL1200.14
Qq2k3k3v100v100m800s1FAIL1200.14
Qq2k3k3v100v100m1400s7FAIL1200.14
Qq2k3k3v50v50m400s10FAIL1200.14
Qq2k3k3v50v50m1000s10FAIL1200.14
Qq2k3k3v50v50m300s5FAIL1200.14
Qq2k3k3v100v100m1000s8FAIL1200.14
Qq2k3k3v50v50m700s4FAIL1200.14
Qq2k3k3v50v50m900s6FAIL1200.14
Qq2k3k3v50v50m900s5FAIL1200.14
Qq2k3k3v100v100m2000s1FAIL1200.14
Qq2k3k3v100v100m400s1FAIL1200.14
Qq2k3k3v50v50m900s4FAIL1200.14
Qq2k3k3v50v50m1000s5FAIL1200.14
Qq2k3k3v50v50m800s1FAIL1200.14
Qq2k3k3v100v100m1200s9FAIL1200.14
Qq2k3k3v50v50m600s7FAIL1200.14
Qq2k3k3v50v50m400s6FAIL1200.14
Qq2k3k3v50v50m600s2FAIL1200.14
Qq2k3k3v50v50m400s8FAIL1200.14
Qq2k3k3v100v100m1000s1FAIL1200.14
Qq2k3k3v50v50m1000s3FAIL1200.14
Qq2k3k3v50v50m400s4FAIL1200.14
Qq2k3k3v100v100m600s8FAIL1200.14
Qq2k3k3v100v100m1000s3FAIL1200.14
Qq2k3k3v100v100m600s6FAIL1200.14
Qq2k3k3v100v100m1800s2FAIL1200.14
Qq2k3k3v50v50m400s9FAIL1200.14
Qq2k3k3v100v100m1800s1FAIL1200.14
Qq2k3k3v100v100m800s8FAIL1200.14
Qq2k3k3v50v50m800s7FAIL1200.14
Qq2k3k3v100v100m1200s3FAIL1200.14
Qq2k3k3v100v100m1200s2FAIL1200.14
Qq2k3k3v100v100m1600s1FAIL1200.14
Qq2k3k3v100v100m800s3FAIL1200.14
Qq2k3k3v100v100m1000s2FAIL1200.14
Qq2k3k3v50v50m500s8FAIL1200.14
Qq2k3k3v100v100m1800s5FAIL1200.14
Qq2k3k3v100v100m1800s9FAIL1200.14
Qq2k3k3v100v100m2000s10FAIL1200.14
Qq2k3k3v100v100m1400s3FAIL1200.14
Qq2k3k3v100v100m1000s9FAIL1200.15
Qq2k3k3v100v100m2000s3FAIL1200.15
Qq2k3k3v100v100m1400s2FAIL1200.15