Instances of family Model_instances solved by caqe_hit18
QBFEVAL'18 - Hard Instances Track

InstanceResultTime
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.aspSAT705.34
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.aspSAT999.49
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.aspSAT1082.94
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.aspSAT1417.32
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.aspSAT1648.39
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.aspSAT2805.81
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.aspSAT3364.52
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.aspFAIL3600
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.aspFAIL3600
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.aspFAIL3600
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.aspFAIL3600
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.aspFAIL3600
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL3600
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.aspFAIL3600
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.aspFAIL3600
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.aspFAIL3600
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.aspFAIL3600
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.aspFAIL3600