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

qbflib.org

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

Instance	Result	Time
stmt23_66_67	SAT	2.1
stmt17_63_70	SAT	2.44
stmt23_66_76	SAT	2.5
stmt28_68_69	SAT	2.58
stmt28_68_73	SAT	2.8
stmt17_63_78	SAT	2.88
stmt23_72_76	SAT	3.01
stmt17_62_78	SAT	3.02
stmt17_63_82	SAT	3.18
stmt17_70_78	SAT	3.2
stmt28_68_81	SAT	3.3
stmt19_65_87	SAT	3.33
stmt19_64_87	SAT	3.36
stmt17_74_78	SAT	3.37
stmt17_70_82	SAT	3.51
stmt19_75_83	SAT	3.72
stmt28_73_85	SAT	3.74
stmt19_64_91	SAT	3.77
stmt23_67_92	SAT	3.85
stmt19_79_83	SAT	3.88
stmt17_70_86	SAT	3.95
stmt17_74_90	SAT	4.07
stmt19_65_95	SAT	4.1
stmt19_79_87	SAT	4.1
stmt23_66_96	SAT	4.14
stmt17_70_90	SAT	4.14
stmt19_64_99	SAT	4.16
stmt19_71_95	SAT	4.33
stmt19_75_95	SAT	4.45
stmt17_78_90	SAT	4.5
stmt17_82_86	SAT	4.5
stmt19_83_91	SAT	4.51
stmt17_62_98	SAT	4.55
stmt17_78_94	SAT	4.6
stmt28_73_97	SAT	4.7
stmt23_88_92	SAT	4.81
stmt17_78_98	SAT	4.88
stmt17_70_98	SAT	4.9
stmt17_82_94	SAT	5.11
stmt23_92_96	SAT	5.28
stmt17_86_98	SAT	5.35
stmt19_87_95	SAT	5.38
stmt17_82_98	SAT	5.44
stmt28_89_97	SAT	5.77
stmt17_94_98	SAT	6.08

Contact | Organization | Links | Citing QBFLIB