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

qbflib.org

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

Instance	Result	Time
stmt17_63_70	SAT	4.77
stmt23_66_76	SAT	5.82
stmt17_63_78	SAT	6.31
stmt17_63_82	SAT	6.81
stmt17_74_78	SAT	8.84
stmt28_68_69	SAT	9.78
stmt19_64_99	SAT	9.88
stmt28_73_85	SAT	10.07
stmt19_79_83	SAT	10.45
stmt17_62_98	SAT	10.84
stmt19_79_87	SAT	11.01
stmt28_68_81	SAT	11.18
stmt19_64_91	SAT	12.12
stmt17_70_82	SAT	12.18
stmt23_66_96	SAT	12.35
stmt19_83_91	SAT	12.37
stmt23_67_92	SAT	12.4
stmt17_70_78	SAT	12.63
stmt28_73_97	SAT	12.85
stmt17_74_90	SAT	13.2
stmt17_70_90	SAT	13.32
stmt17_82_94	SAT	14.21
stmt19_65_87	SAT	14.36
stmt19_75_83	SAT	14.7
stmt17_86_98	SAT	15.36
stmt19_71_95	SAT	15.61
stmt28_68_73	SAT	15.61
stmt17_78_90	SAT	16.37
stmt17_78_94	SAT	16.68
stmt17_94_98	SAT	16.86
stmt23_66_67	SAT	16.93
stmt17_82_98	SAT	18.38
stmt28_89_97	SAT	21.06
stmt17_82_86	SAT	25.58
stmt17_62_78	SAT	43.35
stmt17_70_86	SAT	45.81
stmt23_72_76	SAT	45.87
stmt19_65_95	SAT	47.28
stmt17_70_98	SAT	51.06
stmt17_78_98	SAT	61.96
stmt19_87_95	SAT	64.66
stmt19_75_95	SAT	111.78
stmt23_88_92	SAT	126.82
stmt23_92_96	SAT	131.54
stmt19_64_87	FAIL	900.03

Contact | Organization | Links | Citing QBFLIB