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

InstanceResultTime
Qq2k3k3v20v20m120s1SAT1.25
Qq2k3k3v20v20m160s4SAT1.72
Qq2k3k3v50v50m200s3SAT1.78
Qq2k3k3v20v20m80s9SAT1.78
Qq2k3k3v20v20m80s2SAT1.78
Qq2k3k3v20v20m200s1SAT1.79
Qq2k3k3v50v50m200s10SAT1.8
Qq2k3k3v20v20m80s8SAT1.8
Qq2k3k3v20v20m360s2UNSAT1.8
Qq2k3k3v20v20m80s7SAT1.8
Qq2k3k3v20v20m200s8SAT1.81
Qq2k3k3v20v20m80s6SAT1.82
Qq2k3k3v50v50m200s4SAT1.83
Qq2k3k3v20v20m200s4SAT1.83
Qq2k3k3v20v20m400s4UNSAT1.84
Qq2k3k3v50v50m200s2SAT1.85
Qq2k3k3v20v20m320s2UNSAT1.85
Qq2k3k3v20v20m400s7UNSAT1.86
Qq2k3k3v50v50m200s1SAT1.86
Qq2k3k3v50v50m200s9SAT1.86
Qq2k3k3v20v20m80s3SAT1.86
Qq2k3k3v20v20m80s4SAT1.86
Qq2k3k3v20v20m160s5SAT1.86
Qq2k3k3v20v20m80s5SAT1.87
Qq2k3k3v50v50m200s5SAT1.87
Qq2k3k3v20v20m120s9SAT1.87
Qq2k3k3v20v20m400s9UNSAT1.88
Qq2k3k3v20v20m120s7SAT1.88
Qq2k3k3v20v20m200s5SAT1.88
Qq2k3k3v20v20m240s10SAT1.88
Qq2k3k3v20v20m120s8SAT1.88
Qq2k3k3v50v50m200s6SAT1.88
Qq2k3k3v20v20m360s9UNSAT1.88
Qq2k3k3v20v20m240s6SAT1.88
Qq2k3k3v20v20m80s1SAT1.88
Qq2k3k3v20v20m400s2UNSAT1.88
Qq2k3k3v20v20m80s10SAT1.89
Qq2k3k3v20v20m240s7SAT1.89
Qq2k3k3v50v50m200s7SAT1.89
Qq2k3k3v20v20m360s4UNSAT1.89
Qq2k3k3v20v20m400s3UNSAT1.9
Qq2k3k3v50v50m300s10SAT1.9
Qq2k3k3v20v20m120s10SAT1.9
Qq2k3k3v20v20m200s7SAT1.9
Qq2k3k3v20v20m160s9SAT1.9
Qq2k3k3v20v20m200s9SAT1.9
Qq2k3k3v20v20m240s2SAT1.9
Qq2k3k3v20v20m360s5UNSAT1.9
Qq2k3k3v20v20m240s3SAT1.9
Qq2k3k3v50v50m200s8SAT1.9
Qq2k3k3v20v20m360s6UNSAT1.91
Qq2k3k3v20v20m360s10UNSAT1.92
Qq2k3k3v20v20m400s10UNSAT1.92
Qq2k3k3v20v20m160s2SAT1.92
Qq2k3k3v50v50m300s7SAT1.92
Qq2k3k3v20v20m200s2SAT1.92
Qq2k3k3v20v20m120s6SAT1.92
Qq2k3k3v20v20m200s6SAT1.92
Qq2k3k3v20v20m160s3SAT1.93
Qq2k3k3v20v20m200s10SAT1.93
Qq2k3k3v20v20m160s6SAT1.93
Qq2k3k3v20v20m320s9UNSAT1.93
Qq2k3k3v20v20m160s1SAT1.93
Qq2k3k3v20v20m160s8SAT1.93
Qq2k3k3v20v20m160s7SAT1.93
Qq2k3k3v100v100m400s2SAT1.94
Qq2k3k3v20v20m400s6UNSAT1.94
Qq2k3k3v20v20m320s4UNSAT1.94
Qq2k3k3v20v20m120s4SAT1.94
Qq2k3k3v100v100m400s5SAT1.94
Qq2k3k3v20v20m360s3UNSAT1.94
Qq2k3k3v100v100m400s7SAT1.94
Qq2k3k3v20v20m360s1UNSAT1.95
Qq2k3k3v20v20m120s3SAT1.95
Qq2k3k3v20v20m120s2SAT1.95
Qq2k3k3v20v20m200s3SAT1.96
Qq2k3k3v20v20m240s4SAT1.96
Qq2k3k3v20v20m240s5SAT1.96
Qq2k3k3v100v100m400s8SAT1.96
Qq2k3k3v20v20m400s1UNSAT1.97
Qq2k3k3v20v20m120s5SAT1.97
Qq2k3k3v20v20m240s1SAT1.97
Qq2k3k3v20v20m400s8UNSAT1.98
Qq2k3k3v100v100m400s6SAT1.98
Qq2k3k3v100v100m400s10SAT1.98
Qq2k3k3v20v20m240s8SAT1.98
Qq2k3k3v20v20m280s3SAT1.99
Qq2k3k3v100v100m400s1SAT1.99
Qq2k3k3v20v20m400s5UNSAT1.99
Qq2k3k3v20v20m240s9SAT2
Qq2k3k3v50v50m300s1SAT2
Qq2k3k3v100v100m400s3SAT2
Qq2k3k3v50v50m300s3SAT2.02
Qq2k3k3v20v20m160s10SAT2.02
Qq2k3k3v20v20m280s7SAT2.02
Qq2k3k3v100v100m400s4SAT2.02
Qq2k3k3v100v100m400s9SAT2.03
Qq2k3k3v20v20m280s5SAT2.06
Qq2k3k3v20v20m280s1SAT2.06
Qq2k3k3v20v20m360s8UNSAT2.07
Qq2k3k3v20v20m320s6UNSAT2.1
Qq2k3k3v50v50m300s2SAT2.1
Qq2k3k3v50v50m300s6SAT2.1
Qq2k3k3v20v20m280s10SAT2.15
Qq2k3k3v20v20m280s8SAT2.17
Qq2k3k3v20v20m280s9SAT2.18
Qq2k3k3v20v20m280s6SAT2.2
Qq2k3k3v20v20m280s2SAT2.22
Qq2k3k3v20v20m280s4SAT2.23
Qq2k3k3v50v50m300s8SAT2.24
Qq2k3k3v50v50m300s4SAT2.24
Qq2k3k3v50v50m300s9SAT2.26
Qq2k3k3v20v20m360s7UNSAT2.27
Qq2k3k3v20v20m320s3SAT2.28
Qq2k3k3v50v50m1000s10UNSAT2.28
Qq2k3k3v50v50m1000s4UNSAT2.32
Qq2k3k3v20v20m320s7UNSAT2.32
Qq2k3k3v50v50m300s5SAT2.37
Qq2k3k3v20v20m320s1SAT2.44
Qq2k3k3v20v20m320s5SAT2.46
Qq2k3k3v20v20m320s10SAT2.5
Qq2k3k3v20v20m320s8UNSAT2.5
Qq2k3k3v50v50m1000s7UNSAT2.52
Qq2k3k3v50v50m1000s5UNSAT2.64
Qq2k3k3v50v50m1000s8UNSAT2.79
Qq2k3k3v50v50m1000s1UNSAT2.93
Qq2k3k3v50v50m900s7UNSAT3.02
Qq2k3k3v50v50m1000s2UNSAT4.03
Qq2k3k3v50v50m1000s3UNSAT5.92
Qq2k3k3v50v50m900s6UNSAT6.65
Qq2k3k3v50v50m1000s9UNSAT9.13
Qq2k3k3v50v50m400s3SAT10.2
Qq2k3k3v50v50m900s10UNSAT12.65
Qq2k3k3v100v100m2000s7UNSAT15.53
Qq2k3k3v50v50m400s1SAT16.27
Qq2k3k3v50v50m400s10SAT17.78
Qq2k3k3v50v50m400s2SAT23.65
Qq2k3k3v50v50m400s4SAT24.53
Qq2k3k3v50v50m400s7SAT24.8
Qq2k3k3v100v100m600s8SAT25.11
Qq2k3k3v50v50m400s6SAT35.71
Qq2k3k3v50v50m400s9SAT36.73
Qq2k3k3v50v50m400s8SAT49.22
Qq2k3k3v100v100m2000s8UNSAT66.74
Qq2k3k3v50v50m400s5SAT70.45
Qq2k3k3v50v50m900s5UNSAT72.97
Qq2k3k3v50v50m900s3UNSAT73.15
Qq2k3k3v50v50m900s8UNSAT83.87
Qq2k3k3v50v50m1000s6UNSAT267.48
Qq2k3k3v100v100m600s10SAT685.2
Qq2k3k3v50v50m900s4UNSAT717.03
Qq2k3k3v50v50m900s2UNSAT736.21
Qq2k3k3v50v50m900s9UNSAT772.57
Qq2k3k3v100v100m600s6SAT798.53
Qq2k3k3v100v100m600s9SAT916.95
Qq2k3k3v100v100m600s3SAT960.35
Qq2k3k3v100v100m600s1SAT976.24
Qq2k3k3v50v50m500s3SAT1103.17
Qq2k3k3v100v100m600s7SAT1153.88
Qq2k3k3v50v50m900s1UNSAT1167.87
Qq2k3k3v50v50m800s4FAIL1200
Qq2k3k3v100v100m1600s7FAIL1200
Qq2k3k3v100v100m800s6FAIL1200
Qq2k3k3v100v100m800s7FAIL1200
Qq2k3k3v100v100m1800s10FAIL1200
Qq2k3k3v100v100m1000s4FAIL1200
Qq2k3k3v50v50m800s10FAIL1200
Qq2k3k3v50v50m800s5FAIL1200
Qq2k3k3v50v50m600s3FAIL1200
Qq2k3k3v50v50m500s7FAIL1200
Qq2k3k3v100v100m2000s3UNSAT1200
Qq2k3k3v100v100m1200s6FAIL1200
Qq2k3k3v50v50m800s6FAIL1200
Qq2k3k3v50v50m600s9FAIL1200
Qq2k3k3v100v100m800s1FAIL1200
Qq2k3k3v100v100m1800s8FAIL1200
Qq2k3k3v100v100m1400s7FAIL1200
Qq2k3k3v100v100m2000s9FAIL1200
Qq2k3k3v100v100m1800s4FAIL1200
Qq2k3k3v100v100m1400s6FAIL1200
Qq2k3k3v100v100m1000s6FAIL1200
Qq2k3k3v100v100m1000s7FAIL1200
Qq2k3k3v50v50m700s6FAIL1200
Qq2k3k3v100v100m1600s6FAIL1200
Qq2k3k3v100v100m1400s2FAIL1200
Qq2k3k3v100v100m1200s7FAIL1200
Qq2k3k3v100v100m2000s1FAIL1200
Qq2k3k3v100v100m1600s5FAIL1200
Qq2k3k3v50v50m600s4FAIL1200
Qq2k3k3v50v50m600s10FAIL1200
Qq2k3k3v100v100m800s4FAIL1200
Qq2k3k3v50v50m800s2FAIL1200
Qq2k3k3v100v100m1000s8FAIL1200
Qq2k3k3v50v50m700s4FAIL1200
Qq2k3k3v50v50m700s5FAIL1200
Qq2k3k3v50v50m500s5FAIL1200
Qq2k3k3v50v50m700s10FAIL1200
Qq2k3k3v50v50m500s4FAIL1200
Qq2k3k3v100v100m1200s9FAIL1200
Qq2k3k3v50v50m600s7FAIL1200
Qq2k3k3v100v100m1200s10FAIL1200
Qq2k3k3v50v50m600s2FAIL1200
Qq2k3k3v50v50m700s3FAIL1200
Qq2k3k3v50v50m600s6FAIL1200
Qq2k3k3v100v100m2000s2FAIL1200
Qq2k3k3v100v100m1600s4FAIL1200
Qq2k3k3v100v100m2000s5FAIL1200
Qq2k3k3v100v100m1600s2FAIL1200
Qq2k3k3v50v50m800s1FAIL1200
Qq2k3k3v100v100m1800s2FAIL1200
Qq2k3k3v100v100m600s2FAIL1200
Qq2k3k3v100v100m1800s1FAIL1200
Qq2k3k3v100v100m800s8FAIL1200
Qq2k3k3v100v100m1600s8FAIL1200
Qq2k3k3v50v50m800s7FAIL1200
Qq2k3k3v50v50m500s9FAIL1200
Qq2k3k3v100v100m1200s3FAIL1200
Qq2k3k3v100v100m1000s1FAIL1200
Qq2k3k3v100v100m1000s3FAIL1200
Qq2k3k3v100v100m1800s6FAIL1200
Qq2k3k3v50v50m800s8FAIL1200
Qq2k3k3v50v50m500s8FAIL1200
Qq2k3k3v50v50m700s2FAIL1200
Qq2k3k3v50v50m800s9FAIL1200
Qq2k3k3v100v100m1800s5FAIL1200
Qq2k3k3v100v100m1800s9FAIL1200
Qq2k3k3v100v100m2000s10FAIL1200
Qq2k3k3v100v100m1400s3FAIL1200
Qq2k3k3v100v100m1400s10FAIL1200
Qq2k3k3v100v100m1200s2FAIL1200
Qq2k3k3v50v50m700s7FAIL1200
Qq2k3k3v100v100m600s5FAIL1200
Qq2k3k3v100v100m1600s1FAIL1200
Qq2k3k3v100v100m2000s6FAIL1200
Qq2k3k3v100v100m800s5FAIL1200
Qq2k3k3v100v100m800s3FAIL1200
Qq2k3k3v100v100m1000s5FAIL1200
Qq2k3k3v50v50m800s3FAIL1200
Qq2k3k3v100v100m1000s2FAIL1200
Qq2k3k3v100v100m2000s4FAIL1200
Qq2k3k3v50v50m700s9FAIL1200
Qq2k3k3v100v100m800s9FAIL1200
Qq2k3k3v50v50m500s2FAIL1200
Qq2k3k3v100v100m1400s8FAIL1200
Qq2k3k3v50v50m600s1FAIL1200
Qq2k3k3v100v100m1400s9FAIL1200
Qq2k3k3v100v100m1600s3FAIL1200
Qq2k3k3v50v50m600s8FAIL1200
Qq2k3k3v100v100m1400s4FAIL1200
Qq2k3k3v100v100m1200s1FAIL1200
Qq2k3k3v100v100m1600s10FAIL1200
Qq2k3k3v100v100m1800s3FAIL1200
Qq2k3k3v100v100m1200s8FAIL1200
Qq2k3k3v50v50m500s6FAIL1200
Qq2k3k3v100v100m1200s5FAIL1200
Qq2k3k3v100v100m800s10FAIL1200
Qq2k3k3v100v100m1400s1FAIL1200
Qq2k3k3v100v100m1600s9FAIL1200
Qq2k3k3v100v100m1400s5FAIL1200
Qq2k3k3v100v100m800s2FAIL1200
Qq2k3k3v100v100m1800s7FAIL1200
Qq2k3k3v50v50m600s5FAIL1200
Qq2k3k3v100v100m1000s9FAIL1200
Qq2k3k3v50v50m700s8FAIL1200
Qq2k3k3v100v100m1200s4FAIL1200
Qq2k3k3v50v50m700s1FAIL1200
Qq2k3k3v100v100m1000s10FAIL1200
Qq2k3k3v100v100m600s4FAIL1200
Qq2k3k3v50v50m500s10FAIL1200
Qq2k3k3v50v50m500s1FAIL1200