Sota solver results for family Model_instances
QBFEVAL'16 - Random QBFs Track.


InstanceSolverResultTime
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.aspdepqbf-v1SAT0.11
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.aspdepqbf-v1SAT0.21
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.aspdepqbf-v1SAT0.11
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspaqua-s3oSAT1.15
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.aspdepqbf-v1SAT0.31
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspaqua-s2vSAT0.69
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspaqua-s3oSAT0.98
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.aspaqua-s3oSAT0.89
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.aspaqua-s2vSAT3.92
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspxb-qstsSAT7.77
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.aspaqua-f3vSAT1.75
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.aspaqua-f3vSAT2.9
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.aspaqua-s2vSAT2.53
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspaqua-f3vSAT1.03
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspaqua-s2vSAT1.74
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.asprareqsSAT5.4
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspaqua-f3vSAT3.15
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspxb-qstsSAT19.86
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.aspaqua-f3vSAT1.29
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspxb-qstsSAT5.41
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.aspxb-bid-qstsSAT38.28
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.aspaqua-s2vSAT76.44
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.aspxb-bid-qstsSAT31.51
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.aspxb-bid-qstsSAT27.42
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.aspxb-qstsSAT301.29
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asprareqsSAT219.63
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspaqua-f3vUNSAT0.37
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.aspaqua-s2vUNSAT0.38
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.aspaqua-s2vUNSAT0.35
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspaqua-s2vUNSAT2.07
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspaqua-s2vUNSAT0.39
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.aspxb-bid-qstsSAT42.12
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspaqua-s2vUNSAT1.15
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.aspaqua-f3vUNSAT0.36
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#2.aspaqua-f3vUNSAT0.35
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.aspaqua-s2vUNSAT0.36
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.aspaqua-s2vUNSAT0.36
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.aspaqua-f3vUNSAT22.47
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.asphiqqer1ldsqUNSAT0.28
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.aspaqua-f3vUNSAT0.37
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#6.aspaqua-f3vUNSAT0.36
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.aspaqua-s3oUNSAT0.39
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.asprareqsUNSAT0.33