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


InstanceSolverResultTime
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspQute_randomSAT4.1
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspQute_defaultSAT1.79
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspQute_opt500SAT2.34
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.aspQute_defaultSAT1.9
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.aspQute_opt500SAT1.86
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspcaqe_2017_v2SAT5.61
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.aspQute_opt500SAT2.38
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.aspQute_opt500SAT4.25
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.aspQute_randomSAT2.31
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspQute_randomSAT5.67
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspcaqe_2017_v3SAT7.63
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.asprareqsSAT5.41
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspQute_opt500SAT3.7
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspQute_opt500SAT2.51
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.aspQute_opt500SAT11.35
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspqestoSAT6.5
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.aspcaqe_2017_v3SAT737.17
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.aspqestoSAT256.45
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.aspQute_randomSAT128.66
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.aspcaqe_2017_v1SAT824.68
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.aspxb-qsts_bqsts2.0SAT181
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.aspxb-qsts_bqsts2.0SAT482.49
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asprareqsSAT220.93
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspQute_defaultUNSAT2.56
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.aspQute_defaultUNSAT3.32
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspheretiqUNSAT44.79
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asprareqsUNSAT48.24
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspQute_defaultUNSAT7.28