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

InstanceResultTime
Qq2k3k3v20v20m80s3SAT0.01
Qq2k3k3v20v20m80s7SAT0.01
Qq2k3k3v20v20m80s5SAT0.01
Qq2k3k3v20v20m80s6SAT0.01
Qq2k3k3v20v20m80s1SAT0.01
Qq2k3k3v20v20m80s9SAT0.02
Qq2k3k3v20v20m80s2SAT0.02
Qq2k3k3v20v20m80s8SAT0.02
Qq2k3k3v20v20m80s10SAT0.02
Qq2k3k3v20v20m80s4SAT0.02
Qq2k3k3v20v20m120s3SAT0.07
Qq2k3k3v20v20m120s7SAT0.12
Qq2k3k3v20v20m120s4SAT0.12
Qq2k3k3v20v20m120s10SAT0.17
Qq2k3k3v20v20m120s2SAT0.19
Qq2k3k3v20v20m120s1SAT0.2
Qq2k3k3v20v20m120s6SAT0.22
Qq2k3k3v20v20m120s8SAT0.24
Qq2k3k3v20v20m120s5SAT0.26
Qq2k3k3v20v20m120s9SAT0.26
Qq2k3k3v20v20m160s7SAT1.1
Qq2k3k3v20v20m160s4SAT1.3
Qq2k3k3v20v20m160s3SAT1.43
Qq2k3k3v20v20m160s1SAT1.62
Qq2k3k3v20v20m160s2SAT1.81
Qq2k3k3v20v20m160s9SAT2.09
Qq2k3k3v20v20m160s10SAT2.18
Qq2k3k3v20v20m160s5SAT2.38
Qq2k3k3v20v20m160s8SAT2.78
Qq2k3k3v20v20m160s6SAT3.76
Qq2k3k3v20v20m200s7SAT6.76
Qq2k3k3v20v20m200s4SAT9.61
Qq2k3k3v20v20m200s2SAT9.89
Qq2k3k3v20v20m200s3SAT10.01
Qq2k3k3v20v20m200s1SAT11.41
Qq2k3k3v20v20m200s8SAT11.45
Qq2k3k3v20v20m200s10SAT12.54
Qq2k3k3v20v20m200s5SAT12.95
Qq2k3k3v20v20m200s9SAT15.85
Qq2k3k3v20v20m200s6SAT18.75
Qq2k3k3v100v100m600s10FAIL22.16
Qq2k3k3v100v100m600s1FAIL22.16
Qq2k3k3v100v100m600s7FAIL22.24
Qq2k3k3v100v100m600s5FAIL22.27
Qq2k3k3v100v100m600s6FAIL22.33
Qq2k3k3v100v100m600s2FAIL22.43
Qq2k3k3v100v100m600s4FAIL22.45
Qq2k3k3v100v100m600s9FAIL22.51
Qq2k3k3v50v50m400s9FAIL22.56
Qq2k3k3v100v100m600s3FAIL22.68
Qq2k3k3v100v100m1400s9FAIL22.84
Qq2k3k3v100v100m1400s8FAIL22.85
Qq2k3k3v100v100m600s8FAIL22.89
Qq2k3k3v100v100m1400s1FAIL22.91
Qq2k3k3v100v100m1400s5FAIL22.94
Qq2k3k3v100v100m800s1FAIL22.96
Qq2k3k3v100v100m800s10FAIL23.01
Qq2k3k3v100v100m800s9FAIL23.05
Qq2k3k3v100v100m800s2FAIL23.13
Qq2k3k3v100v100m800s8FAIL23.21
Qq2k3k3v50v50m400s6FAIL23.27
Qq2k3k3v50v50m500s3FAIL23.49
Qq2k3k3v50v50m500s4FAIL23.58
Qq2k3k3v50v50m500s8FAIL23.77
Qq2k3k3v100v100m1400s7FAIL23.77
Qq2k3k3v100v100m1400s2FAIL23.82
Qq2k3k3v100v100m1400s6FAIL23.83
Qq2k3k3v100v100m800s3FAIL23.88
Qq2k3k3v100v100m1400s3FAIL23.89
Qq2k3k3v100v100m1400s10FAIL23.9
Qq2k3k3v100v100m1400s4FAIL23.91
Qq2k3k3v100v100m800s6FAIL23.91
Qq2k3k3v100v100m800s5FAIL23.93
Qq2k3k3v100v100m800s7FAIL24
Qq2k3k3v50v50m400s8FAIL24.09
Qq2k3k3v100v100m1600s9FAIL24.11
Qq2k3k3v50v50m400s5FAIL24.12
Qq2k3k3v100v100m800s4FAIL24.13
Qq2k3k3v50v50m400s4FAIL24.17
Qq2k3k3v100v100m1600s5FAIL24.32
Qq2k3k3v50v50m900s8FAIL24.54
Qq2k3k3v50v50m900s5FAIL24.63
Qq2k3k3v50v50m500s1FAIL24.66
Qq2k3k3v50v50m500s5FAIL24.7
Qq2k3k3v50v50m500s6FAIL24.78
Qq2k3k3v50v50m500s7FAIL24.78
Qq2k3k3v50v50m200s10SAT24.92
Qq2k3k3v100v100m1000s5FAIL24.94
Qq2k3k3v100v100m1000s8FAIL24.97
Qq2k3k3v50v50m500s2FAIL25.01
Qq2k3k3v50v50m500s10FAIL25.04
Qq2k3k3v100v100m1000s9FAIL25.06
Qq2k3k3v50v50m500s9FAIL25.12
Qq2k3k3v50v50m600s9FAIL25.17
Qq2k3k3v100v100m1600s6FAIL25.25
Qq2k3k3v100v100m1600s7FAIL25.34
Qq2k3k3v100v100m1600s1FAIL25.35
Qq2k3k3v100v100m1600s10FAIL25.36
Qq2k3k3v100v100m1600s2FAIL25.36
Qq2k3k3v100v100m1600s8FAIL25.39
Qq2k3k3v100v100m1600s3FAIL25.41
Qq2k3k3v100v100m1800s1FAIL25.47
Qq2k3k3v100v100m1600s4FAIL25.48
Qq2k3k3v50v50m900s6FAIL25.53
Qq2k3k3v100v100m1800s9FAIL25.56
Qq2k3k3v100v100m1000s1FAIL25.62
Qq2k3k3v50v50m900s7FAIL25.73
Qq2k3k3v50v50m900s2FAIL25.79
Qq2k3k3v50v50m900s3FAIL25.79
Qq2k3k3v50v50m900s1FAIL25.8
Qq2k3k3v100v100m400s4FAIL25.83
Qq2k3k3v100v100m1000s10FAIL25.85
Qq2k3k3v50v50m900s9FAIL25.87
Qq2k3k3v100v100m1000s3FAIL25.92
Qq2k3k3v50v50m900s4FAIL25.93
Qq2k3k3v50v50m900s10FAIL26.01
Qq2k3k3v100v100m1000s7FAIL26.03
Qq2k3k3v50v50m600s3FAIL26.04
Qq2k3k3v50v50m600s6FAIL26.1
Qq2k3k3v100v100m1000s4FAIL26.11
Qq2k3k3v100v100m1000s2FAIL26.11
Qq2k3k3v50v50m600s2FAIL26.12
Qq2k3k3v50v50m600s7FAIL26.14
Qq2k3k3v50v50m600s1FAIL26.17
Qq2k3k3v50v50m600s4FAIL26.2
Qq2k3k3v50v50m600s5FAIL26.21
Qq2k3k3v50v50m600s8FAIL26.23
Qq2k3k3v100v100m1000s6FAIL26.26
Qq2k3k3v50v50m700s9FAIL26.28
Qq2k3k3v50v50m700s10FAIL26.28
Qq2k3k3v50v50m600s10FAIL26.39
Qq2k3k3v50v50m400s3FAIL26.42
Qq2k3k3v100v100m400s7FAIL26.5
Qq2k3k3v50v50m700s2FAIL26.51
Qq2k3k3v100v100m400s8FAIL26.69
Qq2k3k3v100v100m400s9FAIL26.79
Qq2k3k3v100v100m400s3FAIL26.85
Qq2k3k3v100v100m1800s6FAIL26.91
Qq2k3k3v50v50m1000s2FAIL26.95
Qq2k3k3v100v100m1800s5FAIL26.95
Qq2k3k3v100v100m1800s4FAIL26.97
Qq2k3k3v100v100m1800s7FAIL26.97
Qq2k3k3v100v100m1800s8FAIL26.99
Qq2k3k3v50v50m1000s6FAIL26.99
Qq2k3k3v100v100m1800s10FAIL27.01
Qq2k3k3v100v100m1800s2FAIL27.01
Qq2k3k3v50v50m1000s3FAIL27.03
Qq2k3k3v50v50m1000s1FAIL27.07
Qq2k3k3v50v50m1000s8FAIL27.07
Qq2k3k3v100v100m1800s3FAIL27.09
Qq2k3k3v50v50m1000s5FAIL27.12
Qq2k3k3v50v50m1000s4FAIL27.12
Qq2k3k3v50v50m1000s9FAIL27.13
Qq2k3k3v50v50m1000s7FAIL27.13
Qq2k3k3v100v100m1200s6FAIL27.15
Qq2k3k3v100v100m1200s1FAIL27.16
Qq2k3k3v100v100m1200s10FAIL27.16
Qq2k3k3v50v50m1000s10FAIL27.19
Qq2k3k3v100v100m1200s2FAIL27.21
Qq2k3k3v100v100m1200s9FAIL27.25
Qq2k3k3v100v100m2000s7FAIL27.27
Qq2k3k3v100v100m1200s5FAIL27.3
Qq2k3k3v100v100m2000s10FAIL27.37
Qq2k3k3v100v100m1200s8FAIL27.39
Qq2k3k3v100v100m1200s4FAIL27.39
Qq2k3k3v100v100m400s1FAIL27.45
Qq2k3k3v100v100m1200s3FAIL27.55
Qq2k3k3v50v50m700s3FAIL27.66
Qq2k3k3v50v50m700s1FAIL27.79
Qq2k3k3v50v50m700s6FAIL27.8
Qq2k3k3v50v50m700s7FAIL27.88
Qq2k3k3v50v50m700s5FAIL27.91
Qq2k3k3v50v50m700s8FAIL28
Qq2k3k3v100v100m400s2FAIL28.05
Qq2k3k3v100v100m1200s7FAIL28.05
Qq2k3k3v50v50m700s4FAIL28.06
Qq2k3k3v100v100m400s10FAIL28.26
Qq2k3k3v100v100m400s5FAIL28.28
Qq2k3k3v100v100m400s6FAIL28.33
Qq2k3k3v100v100m2000s4FAIL28.58
Qq2k3k3v100v100m2000s6FAIL28.6
Qq2k3k3v50v50m800s9FAIL28.61
Qq2k3k3v100v100m2000s1FAIL28.63
Qq2k3k3v50v50m300s9FAIL28.65
Qq2k3k3v100v100m2000s9FAIL28.68
Qq2k3k3v100v100m2000s5FAIL28.69
Qq2k3k3v100v100m2000s2FAIL28.78
Qq2k3k3v100v100m2000s3FAIL28.89
Qq2k3k3v100v100m2000s8FAIL28.91
Qq2k3k3v50v50m800s1FAIL29.33
Qq2k3k3v50v50m800s3FAIL29.45
Qq2k3k3v50v50m400s2FAIL29.65
Qq2k3k3v50v50m800s10FAIL29.68
Qq2k3k3v50v50m300s4FAIL29.68
Qq2k3k3v50v50m800s2FAIL29.7
Qq2k3k3v50v50m800s6FAIL29.72
Qq2k3k3v50v50m800s7FAIL29.72
Qq2k3k3v50v50m800s5FAIL29.85
Qq2k3k3v50v50m800s4FAIL29.9
Qq2k3k3v50v50m800s8FAIL29.94
Qq2k3k3v50v50m300s8FAIL29.99
Qq2k3k3v50v50m300s3FAIL30.02
Qq2k3k3v50v50m300s5FAIL30.22
Qq2k3k3v50v50m300s2FAIL30.68
Qq2k3k3v50v50m400s7FAIL30.73
Qq2k3k3v50v50m300s10FAIL30.74
Qq2k3k3v50v50m400s10FAIL30.88
Qq2k3k3v50v50m300s6FAIL31.07
Qq2k3k3v50v50m400s1FAIL31.13
Qq2k3k3v50v50m300s7FAIL31.44
Qq2k3k3v50v50m300s1FAIL31.61
Qq2k3k3v50v50m200s7FAIL33.54
Qq2k3k3v50v50m200s9FAIL34.03
Qq2k3k3v20v20m240s7SAT36.37
Qq2k3k3v20v20m320s9FAIL39.22
Qq2k3k3v20v20m360s5FAIL40.84
Qq2k3k3v20v20m360s6FAIL42.84
Qq2k3k3v20v20m360s8FAIL43.12
Qq2k3k3v20v20m360s9FAIL43.44
Qq2k3k3v20v20m400s5FAIL43.51
Qq2k3k3v20v20m360s3FAIL43.56
Qq2k3k3v20v20m240s3SAT43.7
Qq2k3k3v20v20m360s10FAIL43.88
Qq2k3k3v20v20m360s1FAIL44
Qq2k3k3v20v20m360s7FAIL44.18
Qq2k3k3v20v20m360s4FAIL44.34
Qq2k3k3v20v20m360s2FAIL44.64
Qq2k3k3v20v20m400s6FAIL45.46
Qq2k3k3v20v20m400s3FAIL45.87
Qq2k3k3v20v20m400s8FAIL45.9
Qq2k3k3v20v20m400s2FAIL45.98
Qq2k3k3v20v20m400s10FAIL46.3
Qq2k3k3v20v20m400s4FAIL46.35
Qq2k3k3v20v20m400s1FAIL46.4
Qq2k3k3v20v20m400s9FAIL46.43
Qq2k3k3v20v20m400s7FAIL46.84
Qq2k3k3v20v20m240s4SAT47.09
Qq2k3k3v20v20m240s5SAT48.68
Qq2k3k3v50v50m200s3SAT48.95
Qq2k3k3v20v20m240s2SAT49.34
Qq2k3k3v20v20m240s1SAT49.38
Qq2k3k3v20v20m240s8SAT51.55
Qq2k3k3v20v20m320s3FAIL57.92
Qq2k3k3v20v20m320s8FAIL58.96
Qq2k3k3v20v20m240s10SAT59.14
Qq2k3k3v20v20m320s7FAIL60.82
Qq2k3k3v20v20m320s6FAIL61.47
Qq2k3k3v20v20m320s4FAIL61.71
Qq2k3k3v20v20m320s1FAIL62.2
Qq2k3k3v20v20m320s10FAIL62.25
Qq2k3k3v50v50m200s5FAIL63
Qq2k3k3v20v20m320s2FAIL63.6
Qq2k3k3v20v20m320s5FAIL64.77
Qq2k3k3v20v20m280s6FAIL65.64
Qq2k3k3v20v20m280s9FAIL66.77
Qq2k3k3v20v20m240s9SAT66.89
Qq2k3k3v20v20m240s6SAT69.03
Qq2k3k3v50v50m200s6FAIL71.89
Qq2k3k3v50v50m200s8SAT95.97
Qq2k3k3v50v50m200s2SAT105.66
Qq2k3k3v20v20m280s7SAT120.62
Qq2k3k3v20v20m280s1SAT129.46
Qq2k3k3v20v20m280s3SAT150.67
Qq2k3k3v20v20m280s5SAT159.59
Qq2k3k3v20v20m280s4SAT159.95
Qq2k3k3v20v20m280s10SAT163.13
Qq2k3k3v50v50m200s4SAT163.72
Qq2k3k3v20v20m280s2SAT171.23
Qq2k3k3v20v20m280s8SAT178.4
Qq2k3k3v50v50m200s1SAT180.98