Instances solved by <a href='solver_detail.php?solver=103'>struqs-10</a> <br> QBFEVAL'10

Instances solved by struqs-10
QBFEVAL'10 - 2QBF Track.

Instance	Result	Time
qshifter_3	SAT	0
stmt44_107_108	SAT	0
stmt24_7_8	SAT	0
qshifter_4	SAT	0
stmt1_145_146	SAT	0
stmt44_107_113	SAT	0
qshifter_5	SAT	0.01
stmt6_13_14	SAT	0.01
stmt1_20_21	SAT	0.01
stmt24_148_149	SAT	0.01
stmt1_30_31	SAT	0.01
mutex-2-s	SAT	0.01
stmt32_122_129	SAT	0.01
rankfunc4_unsigned_16	SAT	0.02
rankfunc37_unsigned_32	UNSAT	0.02
mutex-4-s	SAT	0.02
rankfunc38_signed_32	SAT	0.02
rankfunc56_signed_16	SAT	0.02
mutex-8-s	SAT	0.02
rankfunc53_signed_16	SAT	0.04
rankfunc12_unsigned_16	SAT	0.04
rankfunc28_unsigned_16	SAT	0.05
qshifter_6	SAT	0.05
mutex-16-s	SAT	0.08
rankfunc29_signed_16	SAT	0.1
rankfunc7_signed_16	SAT	0.11
rankfunc44_unsigned_32	SAT	0.13
rankfunc17_unsigned_16	SAT	0.14
rankfunc31_unsigned_16	SAT	0.17
rankfunc19_unsigned_16	SAT	0.2
rankfunc49_signed_32	SAT	0.2
rankfunc59_unsigned_16	SAT	0.23
rankfunc20_unsigned_32	SAT	0.23
qshifter_7	SAT	0.28
rankfunc42_unsigned_16	SAT	0.3
mutex-32-s	SAT	0.32
rankfunc34_signed_32	SAT	0.34
rankfunc58_signed_32	SAT	0.34
rankfunc21_signed_16	SAT	0.36
rankfunc33_unsigned_32	SAT	0.42
rankfunc35_unsigned_32	SAT	0.46
rankfunc11_signed_32	SAT	0.5
rankfunc26_unsigned_32	SAT	0.57
rankfunc45_signed_16	SAT	0.58
stmt31_22_23	UNSAT	0.68
rankfunc5_signed_64	SAT	0.68
rankfunc51_signed_32	SAT	0.71
rankfunc54_signed_32	SAT	0.78
rankfunc46_unsigned_32	SAT	0.83
stmt41_36_37	UNSAT	0.87
rankfunc1_signed_32	SAT	0.91
rankfunc8_unsigned_32	SAT	0.93
stmt44_40_41	UNSAT	0.98
rankfunc36_signed_64	SAT	0.98
rankfunc41_signed_32	SAT	1.01
stmt52_54_55	UNSAT	1.08
rankfunc40_unsigned_64	SAT	1.1
rankfunc9_signed_64	SAT	1.11
rankfunc52_unsigned_32	SAT	1.19
rankfunc27_signed_64	SAT	1.21
mutex-64-s	SAT	1.31
stmt21_4_5	UNSAT	1.31
rankfunc15_unsigned_32	SAT	1.32
stmt21_71_70	UNSAT	1.36
rankfunc61_signed_32	SAT	1.38
stmt22_6_80	UNSAT	1.44
rankfunc22_unsigned_32	SAT	1.47
stmt19_2_83	UNSAT	1.52
stmt39_34_107	UNSAT	1.69
stmt19_3_83	UNSAT	1.86
stmt19_67_83	UNSAT	1.94
rankfunc14_signed_64	SAT	1.96
stmt19_3_78	UNSAT	1.96
stmt19_66_90	UNSAT	2.01
stmt21_79_91	UNSAT	2.02
stmt19_83_90	UNSAT	2.02
rankfunc25_signed_64	SAT	2.03
qshifter_8	SAT	2.17
rankfunc23_signed_64	SAT	2.27
rankfunc6_unsigned_16	SAT	2.4
stmt85_64_122	UNSAT	2.46
stmt19_90_133	UNSAT	3.1
rankfunc43_signed_64	SAT	3.2
stmt44_40_162	UNSAT	3.56
rankfunc50_signed_64	SAT	3.84
stmt19_2_180	UNSAT	3.91
rankfunc39_unsigned_64	SAT	4.44
rankfunc24_unsigned_64	SAT	4.78
stmt19_3_177	UNSAT	4.88
rankfunc10_unsigned_64	SAT	5.58
stmt16_0_1	SAT	5.77
stmt1_811_812	SAT	5.97
rankfunc18_signed_64	SAT	6.14
mutex-128-s	SAT	7.08
rankfunc47_signed_64	SAT	9.1
rankfunc32_signed_64	SAT	9.23
stmt21_70_258	UNSAT	9.79
stmt22_179_182	UNSAT	9.82
rankfunc16_signed_64	SAT	10.76
stmt22_92_259	UNSAT	10.95
stmt29_21_275	UNSAT	11.03
stmt21_71_304	UNSAT	11.13
rankfunc30_signed_64	SAT	11.65
stmt31_100_276	UNSAT	12.09
stmt19_3_309	UNSAT	12.41
stmt21_127_258	UNSAT	12.71
stmt19_83_302	UNSAT	12.91
stmt19_142_261	UNSAT	12.99
stmt21_143_258	UNSAT	12.99
stmt19_133_257	UNSAT	14.03
stmt52_117_295	UNSAT	14.28
stmt21_79_314	UNSAT	15.15
stmt19_217_250	UNSAT	15.15
stmt19_125_302	UNSAT	15.15
stmt32_153_277	UNSAT	15.44
stmt19_137_313	UNSAT	15.83
stmt46_163_289	UNSAT	16.14
stmt32_228_277	UNSAT	16.69
stmt50_167_293	UNSAT	16.88
stmt41_235_286	UNSAT	19.19
stmt19_177_302	UNSAT	20.06
stmt47_239_290	UNSAT	20.49
stmt19_66_318	UNSAT	21.51
stmt19_214_309	UNSAT	23.2
stmt19_261_266	UNSAT	25.84
rankfunc3_signed_64	SAT	27.45
stmt21_252_310	UNSAT	31.82
stmt17_18_19	SAT	36.81
stmt21_267_310	UNSAT	38.05
stmt19_313_318	UNSAT	68.52
stmt17_143_144	SAT	118.8
stmt7_33_34	SAT	501.66
stmt137_903_911	FAIL	1200.07
stmt16_818_819	FAIL	1200.07
stmt70_495_501	FAIL	1200.07
rankfunc60_unsigned_32	FAIL	1200.07
sortnetsort5.AE.stepl.003	FAIL	1200.07
stmt44_252_301	FAIL	1200.08
stmt1_919_920	FAIL	1200.08
rankfunc55_unsigned_32	FAIL	1200.08
stmt1_787_788	FAIL	1200.08
stmt27_296_297	FAIL	1200.08
stmt9_350_351	FAIL	1200.08
stmt25_597_598	FAIL	1200.08
stmt44_554_604	FAIL	1200.08
stmt25_52_53	FAIL	1200.08
stmt9_445_446	FAIL	1200.08
sortnetsort6.AE.stepl.006	FAIL	1200.08
sortnetsort7.AE.stepl.006	FAIL	1200.08
sortnetsort8.AE.stepl.009	FAIL	1200.08
sortnetsort9.AE.stepl.004	FAIL	1200.08
sortnetsort5.AE.stepl.005	FAIL	1200.08
sortnetsort9.AE.stepl.005	FAIL	1200.08
sortnetsort9.AE.stepl.012	FAIL	1200.08
sortnetsort8.AE.stepl.005	FAIL	1200.08
sortnetsort8.AE.stepl.007	FAIL	1200.08
stmt17_99_98	FAIL	1200.08
sortnetsort6.AE.stepl.003	FAIL	1200.08
stmt21_134_418	FAIL	1200.08
stmt124_966_965	FAIL	1200.08
stmt2_649_723	FAIL	1200.08
stmt18_258_260	FAIL	1200.08
stmt1_392_393	FAIL	1200.08
stmt72_696_721	FAIL	1200.08
stmt37_941_942	FAIL	1200.08
stmt82_224_225	FAIL	1200.08
stmt53_208_245	FAIL	1200.08
stmt70_191_213	FAIL	1200.08
stmt52_295_394	FAIL	1200.08
stmt16_47_48	FAIL	1200.08
rankfunc2_unsigned_64	FAIL	1200.08
stmt24_292_293	FAIL	1200.08
stmt24_765_766	FAIL	1200.08
stmt86_889_890	FAIL	1200.08
stmt11_643_645	FAIL	1200.08
stmt5_731_730	FAIL	1200.08
stmt41_262_275	FAIL	1200.08
rankfunc48_unsigned_16	FAIL	1200.08
stmt3_969_973	FAIL	1200.08
stmt2_649_776	FAIL	1200.08
stmt27_93_98	FAIL	1200.08
sortnetsort10.AE.stepl.005	FAIL	1200.09
stmt27_149_224	FAIL	1200.09
stmt19_313_412	FAIL	1200.09
sortnetsort5.AE.stepl.007	FAIL	1200.09
sortnetsort5.AE.stepl.006	FAIL	1200.09
stmt3_639_640	FAIL	1200.09
stmt41_336_385	FAIL	1200.09
sortnetsort10.AE.stepl.012	FAIL	1200.09
sortnetsort7.AE.stepl.003	FAIL	1200.09
stmt17_63_70	FAIL	1200.09
sortnetsort7.AE.stepl.009	FAIL	1200.09
stmt28_68_81	FAIL	1200.09
stmt21_310_360	FAIL	1200.09
rankfunc57_unsigned_64	FAIL	1200.09
stmt23_66_76	FAIL	1200.09
stmt19_79_87	FAIL	1200.09
stmt17_63_78	FAIL	1200.09
stmt2_976_999	FAIL	1200.1
stmt17_82_94	FAIL	1200.11

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by struqs-10
QBFEVAL'10 - 2QBF Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by struqs-10 QBFEVAL'10 - 2QBF Track.

Instances solved by struqs-10
QBFEVAL'10 - 2QBF Track.