Instances solved by <a href='solver_detail.php?solver=239'>hiqqer3</a> <br> QBFEVAL'16

Instances solved by hiqqer3
QBFEVAL'16 - 2QBF Track.

Instance	Result	Time
k_ph_n-1	SAT	0.03
stmt24_148_149	SAT	0.03
stmt24_7_8	SAT	0.03
stmt1_145_146	SAT	0.03
stmt44_107_108	SAT	0.03
tree-exa10-20	SAT	0.03
qshifter_4	SAT	0.03
rankfunc37_signed_16	UNSAT	0.03
tree-exa10-10	SAT	0.03
mutex-2-s	SAT	0.03
tree-exa10-15	SAT	0.03
tree-exa10-25	SAT	0.03
qshifter_3	SAT	0.03
mutex-4-s	SAT	0.03
tree-exa10-30	SAT	0.03
stmt1_20_21	SAT	0.03
rankfunc56_unsigned_16	SAT	0.04
stmt2_649_647	SAT	0.04
stmt1_811_812	SAT	0.04
stmt3_639_640	SAT	0.04
stmt9_350_351	SAT	0.04
stmt44_435_436	SAT	0.04
rankfunc28_signed_16	SAT	0.04
rankfunc5_unsigned_16	SAT	0.04
stmt70_191_213	SAT	0.04
rankfunc27_signed_16	SAT	0.04
rankfunc36_signed_32	SAT	0.04
rankfunc45_unsigned_16	SAT	0.04
rankfunc25_unsigned_16	SAT	0.04
stmt27_296_297	SAT	0.04
mutex-8-s	SAT	0.04
stmt16_0_1	SAT	0.04
stmt16_285_286	SAT	0.05
stmt41_738_737	SAT	0.05
rankfunc17_unsigned_16	SAT	0.05
rankfunc46_unsigned_16	SAT	0.05
stmt27_946_955	SAT	0.05
stmt72_696_721	SAT	0.05
stmt18_258_260	SAT	0.05
rankfunc34_unsigned_32	SAT	0.05
rankfunc27_signed_32	SAT	0.05
stmt41_118_131	SAT	0.05
rankfunc43_signed_16	SAT	0.05
rankfunc15_signed_16	SAT	0.05
qshifter_5	SAT	0.05
mutex-16-s	SAT	0.05
stmt24_292_293	SAT	0.05
stmt2_480_551	SAT	0.05
rankfunc15_unsigned_16	SAT	0.05
stmt24_765_766	SAT	0.05
rankfunc60_signed_16	SAT	0.05
stmt86_889_890	SAT	0.05
stmt44_916_917	SAT	0.05
stmt32_570_572	SAT	0.05
stmt137_903_911	SAT	0.05
stmt44_554_555	SAT	0.05
stmt124_966_965	SAT	0.05
stmt70_854_859	SAT	0.05
stmt1_919_920	SAT	0.05
stmt70_495_501	SAT	0.05
stmt11_643_645	SAT	0.05
stmt82_224_225	SAT	0.05
stmt16_818_819	SAT	0.05
stmt2_649_776	SAT	0.05
stmt21_326_327	SAT	0.05
stmt44_554_604	SAT	0.05
stmt2_649_723	SAT	0.05
stmt27_584_603	SAT	0.05
rankfunc44_unsigned_64	SAT	0.06
stmt7_33_34	SAT	0.06
stmt16_950_951	SAT	0.06
rankfunc22_signed_32	SAT	0.06
rankfunc43_unsigned_32	SAT	0.06
exquery_query04_1344n	UNSAT	0.06
rankfunc19_signed_16	SAT	0.06
rankfunc2_signed_16	SAT	0.07
rankfunc25_signed_64	SAT	0.07
rankfunc61_signed_32	SAT	0.07
rankfunc52_unsigned_32	SAT	0.07
rankfunc58_signed_32	SAT	0.07
rankfunc45_signed_32	SAT	0.07
stmt1_629_630	SAT	0.07
rankfunc58_unsigned_32	SAT	0.07
rankfunc1_signed_32	SAT	0.07
rankfunc18_signed_32	SAT	0.08
rankfunc16_signed_32	SAT	0.08
stmt41_566_580	SAT	0.08
rankfunc33_unsigned_64	SAT	0.08
mutex-32-s	SAT	0.08
rankfunc21_signed_32	SAT	0.08
stmt41_738_749	SAT	0.08
rankfunc3_unsigned_32	SAT	0.09
rankfunc43_signed_64	SAT	0.09
stmt1_787_788	SAT	0.09
qshifter_6	SAT	0.09
eequery_query04_1344n	SAT	0.1
rankfunc42_signed_64	SAT	0.1
rankfunc46_unsigned_64	SAT	0.1
rankfunc45_unsigned_64	SAT	0.1
stmt37_941_942	SAT	0.11
rankfunc22_unsigned_64	SAT	0.11
rankfunc1_unsigned_64	SAT	0.11
stmt1_60_61	SAT	0.11
stmt38_943_942	SAT	0.11
rankfunc45_signed_64	SAT	0.12
stmt17_99_98	SAT	0.12
stmt16_47_48	SAT	0.12
rankfunc16_unsigned_64	SAT	0.13
query31_query26_1344n	SAT	0.13
rankfunc55_signed_16	SAT	0.13
rankfunc26_unsigned_64	SAT	0.13
rankfunc60_signed_64	SAT	0.14
rankfunc16_signed_64	SAT	0.14
rankfunc8_unsigned_64	SAT	0.14
mutex-64-s	SAT	0.15
rankfunc19_unsigned_64	SAT	0.16
rankfunc3_unsigned_64	SAT	0.16
mutex-128-s	SAT	0.25
query07_query60_1344n	UNSAT	0.26
qshifter_7	SAT	0.46
stmt27_16_97	UNSAT	0.66
stmt22_92_263	UNSAT	0.81
axquery_query44_1344n	UNSAT	0.88
stmt28_68_73	SAT	1.1
query26_query57_1344n	UNSAT	1.14
axquery_query06_1344n	UNSAT	1.21
stmt23_66_67	SAT	1.44
stmt23_72_76	SAT	1.45
stmt19_64_91	SAT	1.92
query02_query58_1344n	UNSAT	2
stmt17_74_78	SAT	3.14
query26_query34_1344n	UNSAT	3.96
sortnetsort8.AE.stepl.004	SAT	4.61
sortnetsort5.AE.stepl.007	UNSAT	4.86
qshifter_8	SAT	5.71
sortnetsort5.AE.stepl.004	SAT	6.13
sortnetsort5.AE.stepl.005	UNSAT	6.19
sortnetsort7.AE.stepl.007	UNSAT	6.27
sortnetsort6.AE.stepl.003	SAT	6.5
query31_query50_1344n	SAT	6.66
sortnetsort7.AE.stepl.006	UNSAT	6.68
sortnetsort5.AE.stepl.006	UNSAT	6.98
sortnetsort7.AE.stepl.008	UNSAT	8.09
stmt17_63_70	SAT	8.22
sortnetsort6.AE.stepl.005	UNSAT	8.33
query21_query55_1344n	UNSAT	8.38
sortnetsort7.AE.stepl.003	SAT	9.09
sortnetsort9.AE.stepl.004	SAT	9.1
sortnetsort7.AE.stepl.009	UNSAT	9.53
nxquery_query50_1344n	SAT	9.64
query07_query64_1344n	UNSAT	9.75
sortnetsort5.AE.stepl.003	SAT	9.87
sortnetsort6.AE.stepl.006	UNSAT	10.48
stmt2_976_999	SAT	11.78
query02_query44_1344n	UNSAT	12
sortnetsort6.AE.stepl.007	UNSAT	12.52
sortnetsort6.AE.stepl.004	SAT	15
sortnetsort7.AE.stepl.004	SAT	15.87
sortnetsort10.AE.stepl.004	SAT	18.03
sortnetsort8.AE.stepl.005	SAT	18.18
sortnetsort8.AE.stepl.007	UNSAT	18.24
sortnetsort8.AE.stepl.003	SAT	19.78
sortnetsort8.AE.stepl.008	UNSAT	21.42
sortnetsort8.AE.stepl.006	UNSAT	22.66
sortnetsort8.AE.stepl.009	UNSAT	26.42
sortnetsort9.AE.stepl.005	SAT	38
stmt28_68_81	SAT	49.48
sortnetsort9.AE.stepl.010	UNSAT	54.12
sortnetsort9.AE.stepl.011	UNSAT	59.67
sortnetsort7.AE.stepl.005	SAT	65.06
sortnetsort10.AE.stepl.009	UNSAT	67.17
sortnetsort9.AE.stepl.012	UNSAT	75.13
query33_query45_1344n	SAT	82.33
sortnetsort10.AE.stepl.010	UNSAT	86.72
sortnetsort10.AE.stepl.011	UNSAT	92.65
query36_query25_1344n	SAT	105.42
query31_eequery_1344n	SAT	105.63
sortnetsort10.AE.stepl.012	UNSAT	109.06
query52_query25_1344n	SAT	131.89
query50_query06_1344n	SAT	234.11
sortnetsort10.AE.stepl.008	UNSAT	246.53
query05_query31_1344n	SAT	283.56
query04_query25_1344n	SAT	291.27
query49_ntrivil_1344n	SAT	322.74
sortnetsort10.AE.stepl.005	SAT	335.04
rankfunc57_signed_32	FAIL	599.71
stmt17_70_86	FAIL	599.71
stmt17_63_78	FAIL	599.71
stmt17_62_98	FAIL	599.71
stmt17_70_98	FAIL	599.71
stmt17_78_90	FAIL	599.71
stmt19_65_95	FAIL	599.71
stmt19_87_95	FAIL	599.71
stmt17_78_94	FAIL	599.71
query64_query11_1344n	FAIL	599.71
stmt17_82_94	FAIL	599.71
stmt23_88_92	FAIL	599.71
stmt19_64_99	FAIL	599.71
stmt23_66_76	FAIL	599.71
query31_reachqu_1344n	FAIL	599.71
eequery_query64_1344n	FAIL	599.71
nreachq_query54_1344n	FAIL	599.71
sortnetsort10.AE.stepl.007	FAIL	599.71
query33_query51_1344n	FAIL	599.71
query71_query36_1344n	FAIL	599.71
query48_exquery_1344n	FAIL	599.71
query51_query57_1344n	FAIL	599.71
query54_query58_1344n	FAIL	599.71
query64_query01_1344n	FAIL	599.71
stmt19_79_83	FAIL	599.71
stmt23_92_96	FAIL	599.71
stmt19_352_359	FAIL	599.71
stmt21_71_354	FAIL	599.71
stmt27_16_224	FAIL	599.71
stmt19_137_408	FAIL	599.71
stmt22_6_72	FAIL	599.71
stmt19_180_352	FAIL	599.71
stmt41_160_235	FAIL	599.71
stmt21_178_258	FAIL	599.71
stmt46_111_238	FAIL	599.71
stmt21_84_215	FAIL	599.71
stmt41_37_108	FAIL	599.71
stmt39_107_197	FAIL	599.71
stmt21_79_304	FAIL	599.71
stmt19_64_87	FAIL	599.71
stmt17_70_82	FAIL	599.71
stmt17_63_82	FAIL	599.71
stmt19_83_142	FAIL	599.71
stmt21_5_134	FAIL	599.71
stmt19_66_214	FAIL	599.71
stmt19_177_309	FAIL	599.71
stmt21_319_418	FAIL	599.71
stmt19_217_302	FAIL	599.71
stmt19_3_401	FAIL	599.71
stmt17_70_78	FAIL	599.71
stmt19_83_412	FAIL	599.71
stmt50_205_293	FAIL	599.71
stmt27_16_149	FAIL	599.71
stmt19_133_217	FAIL	599.71
stmt21_138_304	FAIL	599.71
stmt52_244_394	FAIL	599.71
stmt21_84_364	FAIL	599.71
stmt21_181_218	FAIL	599.71
stmt44_41_288	FAIL	599.71
stmt52_55_117	FAIL	599.71
stmt22_73_311	FAIL	599.71
stmt19_90_266	FAIL	599.81
stmt31_190_227	FAIL	599.81
stmt28_68_69	FAIL	599.81
stmt29_226_376	FAIL	599.81
stmt22_73_182	FAIL	599.81
stmt22_311_370	FAIL	599.81
sortnetsort10.AE.stepl.006	FAIL	599.81
stmt17_62_78	FAIL	599.81
stmt23_66_96	FAIL	599.81
query10_query34_1344n	FAIL	599.81
query34_query11_1344n	FAIL	599.81
stmt17_82_98	FAIL	599.81
query33_query57_1344n	FAIL	599.81
query71_query34_1344n	FAIL	599.81
query71_query31_1344n	FAIL	599.81
stmt23_67_92	FAIL	599.81
stmt17_86_98	FAIL	599.81
query60_query44_1344n	FAIL	599.81
query60_query33_1344n	FAIL	599.81
query60_query10_1344n	FAIL	599.81
stmt17_94_98	FAIL	599.81
stmt19_83_91	FAIL	599.81
stmt17_74_90	FAIL	599.81
stmt19_65_87	FAIL	599.81
stmt19_71_95	FAIL	599.81
query42_query60_1344n	FAIL	599.81
query42_query45_1344n	FAIL	599.81
query10_query06_1344n	FAIL	599.81
stmt44_40_387	FAIL	599.81
stmt17_70_90	FAIL	599.81
stmt17_82_86	FAIL	599.81
stmt28_89_97	FAIL	599.81
stmt21_262_319	FAIL	599.81
stmt21_354_403	FAIL	599.81
stmt17_78_98	FAIL	599.81
stmt22_6_414	FAIL	599.81
stmt19_75_95	FAIL	599.81
stmt28_73_85	FAIL	599.81
sortnetsort9.AE.stepl.007	FAIL	599.81
sortnetsort9.AE.stepl.008	FAIL	599.81
sortnetsort9.AE.stepl.009	FAIL	599.81
stmt31_22_328	FAIL	599.81
stmt19_90_408	FAIL	599.81
stmt19_3_214	FAIL	599.81
stmt19_67_318	FAIL	599.81
stmt28_73_97	FAIL	599.81
stmt21_71_413	FAIL	599.81
stmt19_217_309	FAIL	599.81
rankfunc57_signed_16	FAIL	599.81
nreachq_query11_1344n	FAIL	599.81
stmt21_70_369	FAIL	599.81
stmt19_75_83	FAIL	599.81
query44_query26_1344n	FAIL	599.81
query42_query06_1344n	FAIL	599.81
stmt19_79_87	FAIL	599.81
stmt21_143_403	FAIL	599.81
query60_query45_1344n	FAIL	599.91
sortnetsort9.AE.stepl.006	FAIL	599.91
query10_query45_1344n	FAIL	600.01

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by hiqqer3
QBFEVAL'16 - 2QBF Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by hiqqer3 QBFEVAL'16 - 2QBF Track.

Instances solved by hiqqer3
QBFEVAL'16 - 2QBF Track.