Unique instances for aspq3_hit18 <br> QBFEVAL'18 - Hard Instances Track

qbflib.org

Unique instances for aspq3_hit18
QBFEVAL'18 - Hard Instances Track

Instance	Time	Result
query71_query34_1344n	2411.5	SAT
Q_2-3_v-80-100_r-5.0	68.32	SAT
Q_2-3_v-80-100_r-5.1	4.8	SAT
Q_2-3_v-80-100_r-5.2	40.36	SAT
Q_2-3_v-80-100_r-5.3	51.52	SAT
Q_2-3_v-80-100_r-5.4	27.2	SAT
Q_2-3_v-80-100_r-5.5	87.52	SAT
Q_2-3_v-80-100_r-5.6	4.08	SAT
Q_2-3_v-80-100_r-5.7	258.64	SAT
Q_2-3_v-80-100_r-5.8	754.46	SAT
Q_2-3_v-80-100_r-5.9	9.6	SAT
ProjectService3	2886.5	UNSAT
ctrl.e#1.a#3.E#118.A#48.c#.w#5.s#7.asp	18.47	SAT
ctrl.e#1.a#3.E#122.A#48.c#.w#3.s#51.asp	942.84	SAT
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#7.asp	89.9	SAT
ctrl.e#1.a#3.E#134.A#48.c#.w#9.s#40.asp	437.08	SAT
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#1.asp	1601.04	SAT
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#11.asp	313.5	SAT
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#20.asp	2021.04	SAT
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#10.asp	1703.88	SAT
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#11.asp	310.4	SAT
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#14.asp	75.49	SAT
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#15.asp	289.84	SAT
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#18.asp	2961.5	SAT
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#19.asp	18.9	SAT
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#11.asp	33.95	SAT
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#12.asp	41.63	SAT
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#13.asp	56.9	SAT
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#14.asp	30.97	SAT
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#15.asp	148.56	SAT
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#17.asp	27.13	SAT

Contact | Organization | Links | Citing QBFLIB