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

InstanceResultTime
Qq2k3k3v20v20m80s3SAT4.42
Qq2k3k3v20v20m80s7SAT22.49
Qq2k3k3v20v20m80s2SAT33.94
Qq2k3k3v20v20m80s4SAT36.15
Qq2k3k3v20v20m80s1SAT37.11
Qq2k3k3v20v20m80s8SAT55.87
Qq2k3k3v20v20m80s6SAT64.1
Qq2k3k3v20v20m80s10SAT64.38
Qq2k3k3v20v20m80s9SAT66.94
Qq2k3k3v20v20m80s5SAT71.49
Qq2k3k3v20v20m400s6FAIL82.71
Qq2k3k3v20v20m400s8FAIL83.26
Qq2k3k3v50v50m1000s3FAIL84.61
Qq2k3k3v50v50m1000s10FAIL85.21
Qq2k3k3v50v50m1000s2FAIL87.97
Qq2k3k3v20v20m400s2FAIL89.39
Qq2k3k3v20v20m400s4FAIL89.65
Qq2k3k3v20v20m400s9FAIL90.2
Qq2k3k3v50v50m600s6FAIL90.5
Qq2k3k3v50v50m600s10FAIL91.82
Qq2k3k3v50v50m600s9FAIL92.77
Qq2k3k3v50v50m900s8FAIL93.17
Qq2k3k3v20v20m400s5FAIL93.18
Qq2k3k3v50v50m700s3FAIL96.85
Qq2k3k3v50v50m700s2FAIL98.41
Qq2k3k3v20v20m400s7FAIL98.48
Qq2k3k3v50v50m700s7FAIL98.92
Qq2k3k3v20v20m320s4FAIL99.18
Qq2k3k3v50v50m700s8FAIL99.54
Qq2k3k3v50v50m700s10FAIL100
Qq2k3k3v50v50m700s9FAIL100.01
Qq2k3k3v50v50m700s5FAIL100.75
Qq2k3k3v50v50m400s4FAIL100.93
Qq2k3k3v50v50m400s1FAIL101.53
Qq2k3k3v50v50m400s10FAIL102.2
Qq2k3k3v50v50m500s5FAIL102.25
Qq2k3k3v20v20m360s7FAIL102.39
Qq2k3k3v50v50m1000s7FAIL103.29
Qq2k3k3v50v50m1000s1FAIL103.71
Qq2k3k3v50v50m400s9FAIL103.98
Qq2k3k3v50v50m1000s4FAIL104.56
Qq2k3k3v50v50m600s1FAIL104.61
Qq2k3k3v50v50m1000s5FAIL105.9
Qq2k3k3v50v50m600s4FAIL106.02
Qq2k3k3v50v50m600s7FAIL106.32
Qq2k3k3v20v20m320s9FAIL106.57
Qq2k3k3v50v50m600s8FAIL106.91
Qq2k3k3v50v50m600s5FAIL107.02
Qq2k3k3v50v50m1000s8FAIL107.28
Qq2k3k3v50v50m300s4FAIL107.33
Qq2k3k3v50v50m900s4FAIL107.46
Qq2k3k3v50v50m1000s6FAIL108.51
Qq2k3k3v50v50m600s3FAIL108.79
Qq2k3k3v50v50m1000s9FAIL109.36
Qq2k3k3v20v20m360s2FAIL109.59
Qq2k3k3v50v50m600s2FAIL110.56
Qq2k3k3v50v50m300s10FAIL111.44
Qq2k3k3v50v50m300s8FAIL112.06
Qq2k3k3v20v20m320s7FAIL112.31
Qq2k3k3v50v50m500s8FAIL112.33
Qq2k3k3v50v50m800s2FAIL112.46
Qq2k3k3v50v50m800s9FAIL112.68
Qq2k3k3v20v20m360s5FAIL114.08
Qq2k3k3v50v50m800s10FAIL114.36
Qq2k3k3v50v50m300s5FAIL114.74
Qq2k3k3v20v20m320s6FAIL114.84
Qq2k3k3v50v50m400s7FAIL115.1
Qq2k3k3v20v20m280s10FAIL115.3
Qq2k3k3v20v20m360s9FAIL115.4
Qq2k3k3v50v50m800s8FAIL116.2
Qq2k3k3v50v50m300s6FAIL116.34
Qq2k3k3v50v50m900s6FAIL116.72
Qq2k3k3v50v50m700s4FAIL117.48
Qq2k3k3v50v50m900s1FAIL117.48
Qq2k3k3v50v50m700s6FAIL118.08
Qq2k3k3v50v50m700s1FAIL118.42
Qq2k3k3v50v50m400s8FAIL118.48
Qq2k3k3v20v20m280s4FAIL118.5
Qq2k3k3v20v20m320s8FAIL119.19
Qq2k3k3v20v20m120s7SAT119.26
Qq2k3k3v50v50m900s5FAIL119.75
Qq2k3k3v20v20m280s9FAIL120.07
Qq2k3k3v50v50m800s4FAIL120.3
Qq2k3k3v50v50m400s6FAIL121.13
Qq2k3k3v50v50m400s3FAIL121.29
Qq2k3k3v50v50m400s5FAIL121.9
Qq2k3k3v50v50m500s3FAIL122.95
Qq2k3k3v50v50m500s1FAIL123.4
Qq2k3k3v50v50m900s7FAIL124.1
Qq2k3k3v50v50m500s7FAIL124.78
Qq2k3k3v50v50m900s9FAIL125
Qq2k3k3v20v20m360s4FAIL125.49
Qq2k3k3v50v50m500s10FAIL125.51
Qq2k3k3v50v50m400s2FAIL126.66
Qq2k3k3v20v20m360s6FAIL126.84
Qq2k3k3v20v20m280s7FAIL126.96
Qq2k3k3v20v20m320s1FAIL129.28
Qq2k3k3v20v20m400s1FAIL129.55
Qq2k3k3v50v50m800s6FAIL129.87
Qq2k3k3v20v20m320s10FAIL129.87
Qq2k3k3v50v50m500s4FAIL129.9
Qq2k3k3v20v20m360s10FAIL130.36
Qq2k3k3v50v50m300s1FAIL130.8
Qq2k3k3v50v50m800s7FAIL131.39
Qq2k3k3v20v20m280s8FAIL132.63
Qq2k3k3v50v50m500s2FAIL133.96
Qq2k3k3v50v50m200s6FAIL134.11
Qq2k3k3v20v20m400s10FAIL134.18
Qq2k3k3v50v50m200s4FAIL134.19
Qq2k3k3v100v100m1400s2FAIL134.8
Qq2k3k3v20v20m240s9FAIL134.83
Qq2k3k3v50v50m800s3FAIL134.99
Qq2k3k3v100v100m1400s4FAIL135.44
Qq2k3k3v50v50m800s5FAIL135.46
Qq2k3k3v100v100m1400s8FAIL135.52
Qq2k3k3v100v100m1400s5FAIL136.3
Qq2k3k3v50v50m300s9FAIL136.77
Qq2k3k3v50v50m800s1FAIL137.34
Qq2k3k3v100v100m1400s1FAIL137.41
Qq2k3k3v20v20m320s2FAIL138.75
Qq2k3k3v100v100m1400s6FAIL138.93
Qq2k3k3v20v20m400s3FAIL139.97
Qq2k3k3v100v100m1600s4FAIL140.17
Qq2k3k3v50v50m300s7FAIL140.17
Qq2k3k3v100v100m1600s10FAIL140.17
Qq2k3k3v50v50m500s9FAIL141.09
Qq2k3k3v50v50m900s10FAIL141.31
Qq2k3k3v20v20m120s2SAT141.64
Qq2k3k3v100v100m1600s9FAIL141.91
Qq2k3k3v100v100m1600s6FAIL142.39
Qq2k3k3v50v50m300s3FAIL142.49
Qq2k3k3v100v100m1600s1FAIL142.68
Qq2k3k3v20v20m360s3FAIL144
Qq2k3k3v50v50m500s6FAIL144.36
Qq2k3k3v50v50m900s3FAIL144.41
Qq2k3k3v100v100m800s1FAIL145.67
Qq2k3k3v100v100m800s4FAIL145.81
Qq2k3k3v100v100m800s10FAIL145.92
Qq2k3k3v100v100m800s9FAIL146.85
Qq2k3k3v100v100m800s8FAIL146.98
Qq2k3k3v50v50m900s2FAIL147.39
Qq2k3k3v20v20m360s8FAIL148.43
Qq2k3k3v100v100m800s5FAIL151.05
Qq2k3k3v50v50m200s8FAIL151.29
Qq2k3k3v50v50m200s10FAIL151.85
Qq2k3k3v100v100m1400s10FAIL152.49
Qq2k3k3v50v50m300s2FAIL153.04
Qq2k3k3v20v20m120s3SAT153.33
Qq2k3k3v100v100m400s7FAIL154.5
Qq2k3k3v20v20m320s5FAIL154.5
Qq2k3k3v100v100m1800s10FAIL154.52
Qq2k3k3v20v20m280s2FAIL155.29
Qq2k3k3v100v100m1400s3FAIL155.74
Qq2k3k3v100v100m1400s9FAIL155.84
Qq2k3k3v100v100m1400s7FAIL157.14
Qq2k3k3v100v100m1800s9FAIL158.73
Qq2k3k3v50v50m200s5FAIL159.75
Qq2k3k3v100v100m1800s1FAIL159.97
Qq2k3k3v20v20m280s1FAIL160.17
Qq2k3k3v100v100m1600s2FAIL162.68
Qq2k3k3v100v100m1800s2FAIL162.97
Qq2k3k3v20v20m120s4SAT163.03
Qq2k3k3v100v100m1600s5FAIL163.79
Qq2k3k3v100v100m1600s3FAIL164.35
Qq2k3k3v100v100m1600s7FAIL164.87
Qq2k3k3v100v100m1000s1FAIL166.23
Qq2k3k3v50v50m200s1FAIL166.32
Qq2k3k3v100v100m1200s4FAIL166.65
Qq2k3k3v20v20m320s3FAIL166.77
Qq2k3k3v100v100m800s2FAIL166.8
Qq2k3k3v100v100m800s6FAIL168.82
Qq2k3k3v100v100m1600s8FAIL169.25
Qq2k3k3v100v100m1000s4FAIL169.49
Qq2k3k3v100v100m800s3FAIL170.05
Qq2k3k3v100v100m800s7FAIL170.07
Qq2k3k3v100v100m1000s9FAIL170.19
Qq2k3k3v100v100m400s8FAIL170.28
Qq2k3k3v100v100m1000s2FAIL170.33
Qq2k3k3v20v20m280s6FAIL171.6
Qq2k3k3v100v100m1200s1FAIL174.77
Qq2k3k3v20v20m120s6SAT175.75
Qq2k3k3v100v100m2000s3FAIL176.9
Qq2k3k3v20v20m360s1FAIL178.2
Qq2k3k3v100v100m2000s7FAIL178.48
Qq2k3k3v100v100m2000s6FAIL178.58
Qq2k3k3v100v100m2000s4FAIL178.7
Qq2k3k3v100v100m2000s2FAIL179.14
Qq2k3k3v50v50m200s7FAIL179.35
Qq2k3k3v20v20m240s2FAIL179.95
Qq2k3k3v100v100m1800s4FAIL180.64
Qq2k3k3v100v100m1800s7FAIL181.04
Qq2k3k3v20v20m240s5FAIL182.09
Qq2k3k3v100v100m1800s5FAIL182.95
Qq2k3k3v20v20m120s10SAT184.08
Qq2k3k3v100v100m1800s3FAIL185.47
Qq2k3k3v100v100m1800s6FAIL185.6
Qq2k3k3v100v100m400s6FAIL186.1
Qq2k3k3v100v100m400s4FAIL186.98
Qq2k3k3v20v20m240s7FAIL186.98
Qq2k3k3v100v100m1800s8FAIL187.78
Qq2k3k3v20v20m120s1SAT189.24
Qq2k3k3v100v100m400s9FAIL189.24
Qq2k3k3v20v20m280s5FAIL190.48
Qq2k3k3v20v20m280s3FAIL190.96
Qq2k3k3v100v100m400s3FAIL191.9
Qq2k3k3v100v100m1000s6FAIL192.1
Qq2k3k3v20v20m120s9SAT192.28
Qq2k3k3v100v100m400s2FAIL192.28
Qq2k3k3v100v100m1200s2FAIL192.67
Qq2k3k3v100v100m1000s7FAIL192.74
Qq2k3k3v100v100m1200s3FAIL193.85
Qq2k3k3v100v100m400s1FAIL194.21
Qq2k3k3v100v100m600s10FAIL194.57
Qq2k3k3v100v100m1200s7FAIL194.58
Qq2k3k3v100v100m1000s10FAIL195.6
Qq2k3k3v100v100m1000s3FAIL196.41
Qq2k3k3v100v100m1000s5FAIL197.08
Qq2k3k3v100v100m1200s9FAIL197.43
Qq2k3k3v100v100m600s5FAIL197.72
Qq2k3k3v100v100m1200s5FAIL197.73
Qq2k3k3v50v50m200s3FAIL197.76
Qq2k3k3v100v100m600s7FAIL198.08
Qq2k3k3v100v100m1000s8FAIL198.52
Qq2k3k3v100v100m1200s10FAIL198.52
Qq2k3k3v100v100m1200s6FAIL199
Qq2k3k3v100v100m2000s10FAIL200.13
Qq2k3k3v100v100m1200s8FAIL200.49
Qq2k3k3v100v100m600s1FAIL200.54
Qq2k3k3v100v100m600s6FAIL200.72
Qq2k3k3v100v100m2000s9FAIL202.45
Qq2k3k3v100v100m2000s5FAIL202.53
Qq2k3k3v100v100m2000s1FAIL202.63
Qq2k3k3v100v100m2000s8FAIL203.14
Qq2k3k3v50v50m200s2FAIL209.27
Qq2k3k3v20v20m120s8SAT210.78
Qq2k3k3v20v20m240s6FAIL216.34
Qq2k3k3v20v20m120s5SAT219.85
Qq2k3k3v100v100m600s8FAIL221.22
Qq2k3k3v100v100m600s9FAIL227.09
Qq2k3k3v100v100m600s3FAIL228.43
Qq2k3k3v100v100m600s2FAIL229.27
Qq2k3k3v100v100m600s4FAIL231.57
Qq2k3k3v50v50m200s9FAIL245.24
Qq2k3k3v20v20m240s8FAIL246.94
Qq2k3k3v20v20m240s10FAIL263.84
Qq2k3k3v100v100m400s5FAIL280.14
Qq2k3k3v100v100m400s10FAIL282.72
Qq2k3k3v20v20m240s1FAIL420.66
Qq2k3k3v20v20m240s4FAIL432.95
Qq2k3k3v20v20m160s7SAT453.6
Qq2k3k3v20v20m200s9FAIL463.74
Qq2k3k3v20v20m200s6FAIL489.07
Qq2k3k3v20v20m240s3FAIL525.9
Qq2k3k3v20v20m160s3SAT526.28
Qq2k3k3v20v20m160s2SAT560.11
Qq2k3k3v20v20m160s10SAT566.77
Qq2k3k3v20v20m160s4SAT572.85
Qq2k3k3v20v20m160s1SAT630.86
Qq2k3k3v20v20m160s5SAT677.22
Qq2k3k3v20v20m160s8SAT744.95
Qq2k3k3v20v20m160s9SAT810.85
Qq2k3k3v20v20m160s6SAT997.25
Qq2k3k3v20v20m200s5FAIL1082.66
Qq2k3k3v20v20m200s7FAIL1200.23
Qq2k3k3v20v20m200s8FAIL1200.23
Qq2k3k3v20v20m200s2FAIL1200.23
Qq2k3k3v20v20m200s3FAIL1200.24
Qq2k3k3v20v20m200s4FAIL1200.24
Qq2k3k3v20v20m200s1FAIL1200.25
Qq2k3k3v20v20m200s10FAIL1200.26