Instances of family Model_instances solved by Quabs_2018
Prenex non-CNF Track

InstanceResultTime
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.aspSAT0
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.aspSAT0
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.aspSAT2.4
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.aspUNSAT5.27
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.aspUNSAT8.07
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspSAT64.59
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.aspSAT162.18
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspSAT171.53
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspSAT184.94
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspSAT191.95
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspSAT223.69
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspSAT233.38
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspSAT269.38
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspSAT430.64
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspUNSAT510.91
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspFAIL900