Instances of family irqlkeapclte solved by <a href='solver_detail.php?solver=309'>Cued_3_2018</a> <br> QBFEVAL'18 - Prenex 2QBF Track

qbflib.org

Instances of family irqlkeapclte solved by Cued_3_2018
QBFEVAL'18 - Prenex 2QBF Track

Instance	Result	Time
stmt23_66_67	SAT	3.98
stmt17_63_70	SAT	4.5
stmt19_64_87	SAT	6.3
stmt17_63_78	SAT	362.02
stmt23_88_92	FAIL	900.01
stmt17_70_78	FAIL	900.01
stmt17_94_98	FAIL	900.01
stmt19_75_83	FAIL	900.01
stmt28_89_97	FAIL	900.02
stmt17_78_90	FAIL	900.02
stmt17_82_86	FAIL	900.02
stmt17_82_98	FAIL	900.02
stmt17_74_78	FAIL	900.02
stmt28_68_73	FAIL	900.02
stmt19_64_99	FAIL	900.02
stmt17_70_90	FAIL	900.02
stmt19_79_83	FAIL	900.03
stmt19_65_87	FAIL	900.03
stmt17_63_82	FAIL	900.03
stmt17_62_78	FAIL	900.03
stmt17_70_82	FAIL	900.03
stmt17_82_94	FAIL	900.03
stmt23_67_92	FAIL	900.03
stmt23_92_96	FAIL	900.04
stmt28_73_85	FAIL	900.04
stmt19_79_87	FAIL	900.04
stmt23_72_76	FAIL	900.04
stmt17_74_90	FAIL	900.04
stmt17_78_98	FAIL	900.04
stmt17_70_98	FAIL	900.04
stmt28_73_97	FAIL	900.05
stmt17_62_98	FAIL	900.05
stmt28_68_69	FAIL	900.06
stmt19_75_95	FAIL	900.06
stmt19_71_95	FAIL	900.06
stmt17_70_86	FAIL	900.07
stmt19_65_95	FAIL	900.08
stmt23_66_76	FAIL	900.08
stmt17_86_98	FAIL	900.08
stmt19_64_91	FAIL	900.08
stmt19_83_91	FAIL	900.09
stmt17_78_94	FAIL	900.09
stmt23_66_96	FAIL	900.09
stmt28_68_81	FAIL	900.09
stmt19_87_95	FAIL	900.1

Contact | Organization | Links | Citing QBFLIB