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

qbflib.org

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

Instance	Result	Time
stmt7_33_34	SAT	0.02
stmt23_66_67	SAT	7.34
stmt17_63_70	SAT	8.35
stmt28_68_69	SAT	8.64
stmt23_66_76	SAT	9.73
stmt28_68_73	SAT	10
stmt23_72_76	SAT	10.13
stmt17_63_78	SAT	10.4
stmt17_62_78	SAT	10.66
stmt17_70_78	SAT	11.2
stmt17_63_82	SAT	11.48
stmt17_74_78	SAT	12.3
stmt19_64_87	SAT	12.32
stmt17_70_82	SAT	12.38
stmt28_68_81	SAT	12.51
stmt19_75_83	SAT	13.15
stmt19_65_87	SAT	13.45
stmt19_64_91	SAT	13.89
stmt23_67_92	SAT	14.25
stmt17_70_86	SAT	14.28
stmt19_79_83	SAT	14.68
stmt28_73_85	SAT	14.73
stmt17_70_90	SAT	15.04
stmt23_66_96	SAT	15.33
stmt17_82_86	SAT	15.4
stmt19_79_87	SAT	15.56
stmt19_65_95	SAT	15.65
stmt19_71_95	SAT	15.79
stmt17_74_90	SAT	16.16
stmt19_64_99	SAT	16.33
stmt17_78_90	SAT	16.35
stmt19_75_95	SAT	16.43
stmt17_62_98	SAT	17.13
stmt23_88_92	SAT	17.7
stmt19_83_91	SAT	17.72
stmt17_70_98	SAT	17.97
stmt28_73_97	SAT	18.06
stmt17_82_94	SAT	18.91
stmt17_78_98	SAT	19.14
stmt17_82_98	SAT	19.32
stmt17_78_94	SAT	19.5
stmt19_87_95	SAT	19.93
stmt23_92_96	SAT	20.42
stmt17_86_98	SAT	21.42
stmt17_94_98	SAT	21.97
stmt28_89_97	SAT	22.22

Contact | Organization | Links | Citing QBFLIB