Instances of family irqlkeapclte solved by <a href='solver_detail.php?solver=224'>aspQ</a> <br> QBFEVAL'16 - 2QBF Track.

qbflib.org

Instances of family irqlkeapclte solved by aspQ
QBFEVAL'16 - 2QBF Track.

Instance	Result	Time
stmt7_33_34	SAT	0.03
stmt19_75_95	FAIL	1.3
stmt17_70_98	FAIL	1.3
stmt19_83_91	FAIL	1.33
stmt19_71_95	FAIL	1.33
stmt17_82_98	FAIL	1.39
stmt19_87_95	FAIL	1.39
stmt17_78_98	FAIL	1.4
stmt23_88_92	FAIL	1.41
stmt17_82_94	FAIL	1.44
stmt23_92_96	FAIL	1.47
stmt17_86_98	FAIL	1.61
stmt28_89_97	FAIL	1.65
stmt28_68_69	FAIL	60.68
stmt17_63_78	FAIL	60.73
stmt28_68_73	FAIL	60.74
stmt23_72_76	FAIL	60.77
stmt17_63_82	FAIL	60.77
stmt17_62_78	FAIL	60.79
stmt19_64_87	FAIL	60.8
stmt17_70_78	FAIL	60.82
stmt17_63_70	FAIL	60.83
stmt28_68_81	FAIL	60.84
stmt19_64_91	FAIL	60.86
stmt17_74_78	FAIL	60.87
stmt17_70_82	FAIL	60.87
stmt19_65_87	FAIL	60.88
stmt23_66_96	FAIL	60.88
stmt23_67_92	FAIL	60.89
stmt23_66_67	FAIL	60.89
stmt17_70_86	FAIL	60.9
stmt19_75_83	FAIL	60.92
stmt19_65_95	FAIL	60.95
stmt19_79_83	FAIL	60.96
stmt19_64_99	FAIL	60.96
stmt17_70_90	FAIL	60.96
stmt28_73_85	FAIL	60.97
stmt23_66_76	FAIL	60.99
stmt17_74_90	FAIL	60.99
stmt19_79_87	FAIL	61
stmt17_62_98	FAIL	61.03
stmt17_78_90	FAIL	61.05
stmt17_82_86	FAIL	61.06
stmt28_73_97	FAIL	61.08
stmt17_78_94	FAIL	61.08
stmt17_94_98	FAIL	61.31

Contact | Organization | Links | Citing QBFLIB