Instances solved by <a href='solver_detail.php?solver=248'>xb-bid-qsts</a> <br> QBFEVAL'16

Instances solved by xb-bid-qsts
QBFEVAL'16 - 2QBF Track.

Instance	Result	Time
k_ph_n-1	SAT	0.01
stmt24_7_8	SAT	0.01
stmt1_20_21	SAT	0.01
stmt24_148_149	SAT	0.01
tree-exa10-20	SAT	0.01
stmt44_107_108	SAT	0.01
qshifter_4	SAT	0.01
tree-exa10-10	SAT	0.01
mutex-2-s	SAT	0.01
stmt1_145_146	SAT	0.01
tree-exa10-30	SAT	0.01
qshifter_3	SAT	0.01
tree-exa10-25	SAT	0.01
tree-exa10-15	SAT	0.01
mutex-4-s	SAT	0.03
stmt16_0_1	SAT	0.04
qshifter_5	SAT	0.04
stmt1_811_812	SAT	0.05
rankfunc28_signed_16	SAT	0.06
rankfunc5_unsigned_16	SAT	0.06
rankfunc56_unsigned_16	SAT	0.06
rankfunc27_signed_16	SAT	0.07
stmt9_350_351	SAT	0.07
stmt3_639_640	SAT	0.07
stmt44_435_436	SAT	0.09
rankfunc60_signed_16	SAT	0.09
mutex-8-s	SAT	0.09
rankfunc25_unsigned_16	SAT	0.09
stmt16_818_819	SAT	0.1
rankfunc37_signed_16	UNSAT	0.11
stmt2_649_647	SAT	0.11
stmt27_296_297	SAT	0.11
rankfunc45_unsigned_16	SAT	0.11
stmt18_258_260	SAT	0.11
stmt70_191_213	SAT	0.11
rankfunc43_signed_16	SAT	0.11
stmt24_292_293	SAT	0.11
stmt2_649_723	SAT	0.11
stmt82_224_225	SAT	0.12
stmt11_643_645	SAT	0.12
rankfunc17_unsigned_16	SAT	0.13
stmt2_480_551	SAT	0.14
stmt2_649_776	SAT	0.14
rankfunc27_signed_32	SAT	0.14
stmt21_326_327	SAT	0.14
rankfunc46_unsigned_16	SAT	0.14
rankfunc36_signed_32	SAT	0.14
stmt70_854_859	SAT	0.15
qshifter_6	SAT	0.15
rankfunc55_signed_16	SAT	0.15
stmt24_765_766	SAT	0.16
stmt44_916_917	SAT	0.16
stmt137_903_911	SAT	0.16
stmt41_738_737	SAT	0.16
stmt124_966_965	SAT	0.16
stmt72_696_721	SAT	0.16
stmt1_919_920	SAT	0.16
stmt16_285_286	SAT	0.16
rankfunc15_unsigned_16	SAT	0.17
rankfunc15_signed_16	SAT	0.17
stmt41_118_131	SAT	0.17
stmt27_946_955	SAT	0.17
stmt44_554_555	SAT	0.18
stmt70_495_501	SAT	0.18
stmt32_570_572	SAT	0.18
stmt44_554_604	SAT	0.18
rankfunc57_signed_16	SAT	0.19
stmt27_584_603	SAT	0.19
rankfunc2_signed_16	SAT	0.2
stmt86_889_890	SAT	0.2
stmt16_950_951	SAT	0.21
rankfunc34_unsigned_32	SAT	0.21
rankfunc22_signed_32	SAT	0.26
stmt7_33_34	SAT	0.26
rankfunc19_signed_16	SAT	0.27
rankfunc43_unsigned_32	SAT	0.28
rankfunc58_unsigned_32	SAT	0.3
rankfunc52_unsigned_32	SAT	0.3
rankfunc58_signed_32	SAT	0.31
rankfunc44_unsigned_64	SAT	0.31
rankfunc61_signed_32	SAT	0.32
stmt1_629_630	SAT	0.34
exquery_query04_1344n	UNSAT	0.35
stmt41_738_749	SAT	0.36
rankfunc1_signed_32	SAT	0.37
rankfunc45_signed_32	SAT	0.38
stmt41_566_580	SAT	0.4
rankfunc25_signed_64	SAT	0.42
stmt1_787_788	SAT	0.43
rankfunc18_signed_32	SAT	0.45
rankfunc57_signed_32	SAT	0.45
stmt22_6_72	UNSAT	0.55
axquery_query44_1344n	UNSAT	0.58
rankfunc21_signed_32	SAT	0.58
stmt37_941_942	SAT	0.59
stmt38_943_942	SAT	0.59
stmt1_60_61	SAT	0.6
eequery_query04_1344n	UNSAT	0.62
rankfunc16_signed_32	SAT	0.62
stmt16_47_48	SAT	0.63
rankfunc33_unsigned_64	SAT	0.63
stmt17_99_98	SAT	0.68
rankfunc22_unsigned_64	SAT	0.69
rankfunc60_signed_64	SAT	0.7
stmt27_16_97	UNSAT	0.73
rankfunc43_signed_64	SAT	0.75
rankfunc8_unsigned_64	SAT	0.77
mutex-32-s	SAT	0.78
mutex-16-s	SAT	0.82
rankfunc45_unsigned_64	SAT	0.84
rankfunc3_unsigned_32	SAT	0.85
qshifter_7	SAT	0.89
stmt41_37_108	UNSAT	0.94
query02_query58_1344n	UNSAT	0.95
rankfunc1_unsigned_64	SAT	0.98
rankfunc46_unsigned_64	SAT	1
rankfunc42_signed_64	SAT	1.03
rankfunc45_signed_64	SAT	1.08
stmt52_55_117	UNSAT	1.36
rankfunc26_unsigned_64	SAT	1.38
stmt21_84_215	UNSAT	1.56
rankfunc16_unsigned_64	SAT	1.71
rankfunc16_signed_64	SAT	1.71
rankfunc19_unsigned_64	SAT	1.84
mutex-64-s	SAT	2.02
stmt21_181_218	UNSAT	2.21
query21_query55_1344n	UNSAT	2.24
stmt39_107_197	UNSAT	2.33
rankfunc3_unsigned_64	SAT	2.65
stmt22_73_182	UNSAT	2.73
query07_query60_1344n	UNSAT	2.76
nxquery_query50_1344n	SAT	3
stmt19_3_214	UNSAT	3.28
query07_query64_1344n	UNSAT	3.33
sortnetsort8.AE.stepl.004	SAT	3.39
sortnetsort7.AE.stepl.006	UNSAT	3.67
query31_query26_1344n	SAT	3.75
stmt19_217_309	UNSAT	3.82
stmt23_66_67	SAT	3.83
stmt17_63_70	SAT	4.13
stmt19_90_266	UNSAT	4.46
sortnetsort7.AE.stepl.007	UNSAT	4.85
stmt21_354_403	SAT	4.85
mutex-128-s	SAT	5.19
query49_ntrivil_1344n	SAT	5.25
sortnetsort7.AE.stepl.008	UNSAT	5.9
stmt19_64_87	SAT	5.98
sortnetsort9.AE.stepl.004	SAT	6.07
sortnetsort8.AE.stepl.006	UNSAT	7.09
sortnetsort7.AE.stepl.009	UNSAT	7.26
stmt23_66_76	UNSAT	7.32
sortnetsort8.AE.stepl.005	SAT	7.37
query02_query44_1344n	UNSAT	9.51
stmt2_976_999	UNSAT	10.59
qshifter_8	SAT	10.86
sortnetsort9.AE.stepl.005	SAT	13.44
stmt23_92_96	UNSAT	13.88
query31_query50_1344n	SAT	14.71
sortnetsort5.AE.stepl.003	SAT	16.14
query33_query45_1344n	SAT	17.74
stmt19_217_302	UNSAT	19.09
sortnetsort5.AE.stepl.006	UNSAT	20.08
stmt27_16_149	UNSAT	21.78
query51_query57_1344n	SAT	25.99
sortnetsort8.AE.stepl.007	UNSAT	26.04
sortnetsort8.AE.stepl.003	SAT	26.97
query26_query57_1344n	SAT	27.17
query48_exquery_1344n	SAT	27.85
query34_query11_1344n	SAT	29.27
query33_query57_1344n	SAT	29.3
stmt22_92_263	SAT	29.75
stmt21_5_134	SAT	29.78
stmt19_67_318	SAT	30
sortnetsort8.AE.stepl.008	UNSAT	30.03
sortnetsort10.AE.stepl.004	SAT	30.6
stmt19_83_142	SAT	32.04
stmt46_111_238	SAT	32.5
stmt17_62_78	SAT	33.35
stmt21_138_304	SAT	33.38
query26_query34_1344n	SAT	33.75
stmt19_75_83	SAT	33.82
stmt19_65_95	SAT	34.46
sortnetsort9.AE.stepl.009	UNSAT	35.18
stmt28_68_81	SAT	35.37
stmt17_63_82	SAT	35.5
stmt17_74_78	SAT	35.58
stmt19_79_87	SAT	35.86
stmt19_64_91	SAT	36.03
sortnetsort9.AE.stepl.008	UNSAT	36.04
stmt19_79_83	SAT	36.47
stmt17_70_78	SAT	36.66
stmt19_66_214	SAT	37.14
sortnetsort7.AE.stepl.004	SAT	37.33
stmt17_78_98	SAT	37.8
axquery_query06_1344n	SAT	37.86
stmt28_73_85	SAT	38.54
stmt28_73_97	SAT	38.6
stmt17_82_86	SAT	38.67
stmt17_70_90	SAT	39.03
eequery_query64_1344n	SAT	39.07
stmt19_87_95	SAT	40.05
stmt17_82_94	SAT	40.16
stmt28_68_73	SAT	40.16
stmt17_70_98	SAT	40.57
stmt17_63_78	SAT	40.92
stmt17_82_98	SAT	41.51
stmt23_88_92	SAT	41.51
stmt19_83_91	SAT	41.83
sortnetsort5.AE.stepl.005	UNSAT	42.03
stmt19_65_87	SAT	42.19
stmt23_67_92	SAT	42.48
stmt17_70_82	SAT	42.61
stmt50_205_293	SAT	43.13
sortnetsort6.AE.stepl.007	UNSAT	43.32
stmt17_86_98	SAT	43.61
stmt17_74_90	SAT	44
stmt17_62_98	SAT	44.02
stmt19_71_95	SAT	44.69
sortnetsort6.AE.stepl.003	SAT	45.57
sortnetsort6.AE.stepl.004	SAT	45.64
stmt23_72_76	SAT	46.71
sortnetsort5.AE.stepl.007	UNSAT	46.76
sortnetsort5.AE.stepl.004	SAT	47.36
stmt17_78_90	SAT	47.47
sortnetsort9.AE.stepl.007	UNSAT	48.22
stmt17_94_98	SAT	50.37
sortnetsort7.AE.stepl.003	SAT	53.16
sortnetsort6.AE.stepl.005	UNSAT	53.16
query04_query25_1344n	SAT	65.88
sortnetsort6.AE.stepl.006	UNSAT	67.03
sortnetsort9.AE.stepl.011	UNSAT	68.7
sortnetsort10.AE.stepl.009	UNSAT	71
sortnetsort8.AE.stepl.009	UNSAT	71.01
sortnetsort7.AE.stepl.005	SAT	72.99
query60_query45_1344n	SAT	92.23
sortnetsort10.AE.stepl.011	UNSAT	98.11
sortnetsort9.AE.stepl.012	UNSAT	101.76
stmt41_160_235	UNSAT	121.84
sortnetsort9.AE.stepl.010	UNSAT	123.38
sortnetsort10.AE.stepl.012	UNSAT	139.61
query36_query25_1344n	SAT	150.82
query31_eequery_1344n	SAT	151.94
sortnetsort10.AE.stepl.008	UNSAT	168.74
query50_query06_1344n	SAT	174.45
sortnetsort10.AE.stepl.010	UNSAT	175.6
query52_query25_1344n	SAT	310.03
query10_query45_1344n	SAT	335.4
sortnetsort10.AE.stepl.005	SAT	342.64
query05_query31_1344n	SAT	358.63
query42_query45_1344n	SAT	478.97
sortnetsort10.AE.stepl.007	UNSAT	508.02
sortnetsort9.AE.stepl.006	SAT	556.72
stmt27_16_224	UNSAT	589.53
query60_query44_1344n	FAIL	599.61
query10_query06_1344n	FAIL	599.61
nreachq_query11_1344n	FAIL	599.62
query44_query26_1344n	FAIL	599.62
query42_query60_1344n	FAIL	599.62
query10_query34_1344n	FAIL	599.63
stmt21_71_413	FAIL	599.71
stmt19_133_217	FAIL	599.71
stmt44_41_288	FAIL	599.71
stmt52_244_394	FAIL	599.71
query71_query36_1344n	FAIL	599.71
query33_query51_1344n	FAIL	599.71
stmt21_71_354	FAIL	599.71
stmt21_84_364	FAIL	599.71
sortnetsort10.AE.stepl.006	FAIL	599.71
stmt21_178_258	FAIL	599.71
stmt19_137_408	FAIL	599.71
query54_query58_1344n	FAIL	599.71
query60_query10_1344n	FAIL	599.71
query64_query01_1344n	FAIL	599.71
query71_query34_1344n	FAIL	599.71
stmt21_319_418	FAIL	599.71
stmt19_177_309	FAIL	599.71
stmt28_68_69	FAIL	599.71
stmt17_70_86	FAIL	599.71
nreachq_query54_1344n	FAIL	599.71
stmt28_89_97	FAIL	599.71
stmt19_64_99	FAIL	599.71
stmt23_66_96	FAIL	599.71
query42_query06_1344n	FAIL	599.71
stmt17_78_94	FAIL	599.71
stmt44_40_387	FAIL	599.71
query31_reachqu_1344n	FAIL	599.71
stmt29_226_376	FAIL	599.71
stmt31_190_227	FAIL	599.71
stmt31_22_328	FAIL	599.71
query71_query31_1344n	FAIL	599.72
stmt21_262_319	FAIL	599.72
query60_query33_1344n	FAIL	599.72
stmt21_79_304	FAIL	599.72
stmt19_180_352	FAIL	599.72
stmt19_75_95	FAIL	599.72
stmt19_352_359	FAIL	599.72
stmt21_143_403	FAIL	599.72
stmt22_311_370	FAIL	599.72
stmt19_3_401	FAIL	599.81
query64_query11_1344n	FAIL	599.81
stmt22_73_311	FAIL	599.81
stmt19_90_408	FAIL	599.81
stmt21_70_369	FAIL	599.81
stmt19_83_412	FAIL	599.81
stmt22_6_414	FAIL	599.81

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by xb-bid-qsts
QBFEVAL'16 - 2QBF Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by xb-bid-qsts QBFEVAL'16 - 2QBF Track.

Instances solved by xb-bid-qsts
QBFEVAL'16 - 2QBF Track.