Instances of family irqlkeapclte solved by <a href='solver_detail.php?solver=73'>quantor3.0</a> <br> QBFEVAL'08

qbflib.org

Instances of family irqlkeapclte solved by quantor3.0
QBFEVAL'08

Instance	Result	Time
stmt7_33_34	SAT	1.45
stmt23_66_76	FAIL	34.58
stmt17_63_78	FAIL	35.16
stmt28_68_73	FAIL	35.59
stmt17_62_78	FAIL	36.59
stmt23_88_92	FAIL	37.43
stmt19_87_95	FAIL	38.48
stmt23_72_76	FAIL	38.48
stmt17_82_94	FAIL	38.55
stmt28_68_81	FAIL	38.62
stmt17_63_82	FAIL	38.8
stmt23_92_96	FAIL	39.15
stmt19_64_87	FAIL	39.26
stmt17_78_98	FAIL	39.4
stmt17_82_98	FAIL	39.99
stmt23_66_67	FAIL	40.13
stmt17_86_98	FAIL	40.37
stmt28_89_97	FAIL	40.91
stmt17_94_98	FAIL	41.14
stmt19_64_91	FAIL	41.42
stmt17_70_78	FAIL	41.66
stmt28_68_69	FAIL	42.04
stmt23_66_96	FAIL	42.69
stmt19_65_87	FAIL	44.37
stmt17_63_70	FAIL	44.64
stmt17_74_78	FAIL	45.52
stmt19_64_99	FAIL	45.63
stmt17_70_82	FAIL	46.82
stmt23_67_92	FAIL	49.07
stmt17_70_86	FAIL	49.2
stmt17_82_86	FAIL	50.35
stmt19_75_83	FAIL	50.36
stmt19_65_95	FAIL	51.25
stmt19_79_83	FAIL	51.93
stmt19_83_91	FAIL	53.45
stmt19_79_87	FAIL	53.77
stmt17_70_90	FAIL	54.13
stmt28_73_85	FAIL	54.6
stmt17_78_90	FAIL	54.68
stmt17_62_98	FAIL	56.86
stmt17_74_90	FAIL	57.37
stmt17_78_94	FAIL	57.6
stmt19_75_95	FAIL	57.68
stmt19_71_95	FAIL	59.2
stmt28_73_97	FAIL	61.03
stmt17_70_98	FAIL	64.56

Contact | Organization | Links | Citing QBFLIB