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

qbflib.org

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

Instance	Result	Time
stmt23_66_67	SAT	74.8
stmt17_63_70	SAT	79.9
stmt28_68_69	SAT	84.24
stmt17_63_78	SAT	87.01
stmt17_63_82	SAT	87.34
stmt23_66_76	SAT	89.36
stmt17_62_78	SAT	89.75
stmt23_72_76	SAT	91.76
stmt28_68_73	SAT	92.71
stmt17_70_78	SAT	97.71
stmt17_74_78	SAT	100.16
stmt19_64_87	SAT	101.41
stmt28_68_81	SAT	103.43
stmt23_67_92	SAT	107.2
stmt19_79_87	SAT	113.69
stmt19_64_91	SAT	114.72
stmt19_75_83	SAT	115.86
stmt17_70_82	SAT	117.67
stmt17_70_90	SAT	120.51
stmt17_82_86	SAT	121.99
stmt19_79_83	SAT	123.71
stmt17_82_94	SAT	124.69
stmt23_88_92	SAT	127.19
stmt17_70_86	SAT	127.87
stmt19_65_87	SAT	129.09
stmt17_78_94	SAT	130.79
stmt28_73_85	SAT	131.35
stmt23_66_96	SAT	132.61
stmt17_74_90	SAT	134.98
stmt19_87_95	SAT	139.79
stmt23_92_96	FAIL	900
stmt17_78_98	FAIL	900.02
stmt19_65_95	FAIL	900.03
stmt17_94_98	FAIL	900.03
stmt17_86_98	FAIL	900.04
stmt28_73_97	FAIL	900.05
stmt19_75_95	FAIL	900.05
stmt17_78_90	FAIL	900.05
stmt19_64_99	FAIL	900.06
stmt17_82_98	FAIL	900.06
stmt19_71_95	FAIL	900.07
stmt17_70_98	FAIL	900.07
stmt19_83_91	FAIL	900.07
stmt17_62_98	FAIL	900.09
stmt28_89_97	FAIL	900.09

Contact | Organization | Links | Citing QBFLIB