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

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

Instance	Result	Time
k_ph_n-1	SAT	0
tree-exa10-20	SAT	0
stmt24_7_8	SAT	0
stmt1_20_21	SAT	0
rankfunc37_signed_16	UNSAT	0
tree-exa10-10	SAT	0
mutex-2-s	SAT	0
stmt1_145_146	SAT	0
stmt24_148_149	SAT	0
qshifter_3	SAT	0
tree-exa10-25	SAT	0
tree-exa10-15	SAT	0
stmt44_107_108	SAT	0
tree-exa10-30	SAT	0
rankfunc2_signed_16	SAT	0.01
rankfunc56_unsigned_16	SAT	0.01
rankfunc27_signed_16	SAT	0.01
stmt82_224_225	SAT	0.01
mutex-4-s	SAT	0.01
stmt18_258_260	SAT	0.01
rankfunc60_signed_16	SAT	0.01
stmt16_0_1	SAT	0.01
stmt70_191_213	SAT	0.01
qshifter_4	SAT	0.01
rankfunc55_signed_16	SAT	0.01
stmt16_285_286	SAT	0.02
rankfunc36_signed_32	SAT	0.02
stmt27_296_297	SAT	0.02
stmt1_811_812	SAT	0.02
stmt24_292_293	SAT	0.02
rankfunc57_signed_16	SAT	0.02
mutex-8-s	SAT	0.02
stmt3_639_640	SAT	0.03
stmt16_818_819	SAT	0.03
rankfunc27_signed_32	SAT	0.03
rankfunc45_unsigned_16	SAT	0.03
qshifter_5	SAT	0.03
rankfunc34_unsigned_32	SAT	0.03
stmt9_350_351	SAT	0.03
stmt22_6_72	UNSAT	0.03
stmt41_118_131	SAT	0.03
mutex-16-s	SAT	0.04
rankfunc43_signed_16	SAT	0.04
stmt2_649_723	SAT	0.04
stmt52_55_117	UNSAT	0.04
stmt27_16_97	UNSAT	0.04
stmt72_696_721	SAT	0.04
rankfunc22_signed_32	SAT	0.04
stmt2_649_647	SAT	0.04
stmt21_5_134	UNSAT	0.04
stmt44_435_436	SAT	0.04
rankfunc57_signed_32	SAT	0.04
stmt41_37_108	UNSAT	0.04
stmt27_16_149	UNSAT	0.04
rankfunc17_unsigned_16	SAT	0.04
rankfunc58_unsigned_32	SAT	0.05
rankfunc19_signed_16	SAT	0.05
rankfunc58_signed_32	SAT	0.05
stmt44_554_604	SAT	0.05
rankfunc15_signed_16	SAT	0.05
rankfunc61_signed_32	SAT	0.05
stmt24_765_766	SAT	0.05
stmt22_73_182	UNSAT	0.05
stmt2_480_551	SAT	0.05
stmt19_66_214	UNSAT	0.05
rankfunc15_unsigned_16	SAT	0.05
stmt39_107_197	UNSAT	0.05
stmt2_649_776	SAT	0.05
stmt19_83_142	UNSAT	0.05
stmt44_916_917	SAT	0.06
stmt27_16_224	UNSAT	0.06
stmt70_854_859	SAT	0.06
stmt19_3_214	UNSAT	0.06
stmt21_84_215	UNSAT	0.06
rankfunc60_signed_64	SAT	0.06
stmt46_111_238	UNSAT	0.06
stmt21_326_327	SAT	0.06
stmt86_889_890	SAT	0.06
stmt137_903_911	SAT	0.06
stmt1_60_61	SAT	0.07
rankfunc1_signed_32	SAT	0.07
stmt11_643_645	SAT	0.07
stmt22_92_263	UNSAT	0.07
stmt16_47_48	SAT	0.07
stmt19_90_266	UNSAT	0.07
stmt1_919_920	SAT	0.07
stmt21_178_258	UNSAT	0.08
rankfunc25_signed_64	SAT	0.08
rankfunc43_unsigned_32	SAT	0.08
rankfunc5_unsigned_16	SAT	0.08
stmt44_554_555	SAT	0.08
stmt41_738_737	SAT	0.08
stmt17_99_98	SAT	0.08
stmt32_570_572	SAT	0.08
stmt50_205_293	UNSAT	0.09
stmt22_73_311	UNSAT	0.09
stmt21_138_304	UNSAT	0.09
stmt44_41_288	UNSAT	0.09
mutex-32-s	SAT	0.09
stmt16_950_951	SAT	0.09
stmt19_217_309	UNSAT	0.09
stmt27_584_603	SAT	0.09
stmt19_67_318	UNSAT	0.09
stmt124_966_965	SAT	0.09
stmt19_177_309	UNSAT	0.09
stmt19_217_302	UNSAT	0.09
rankfunc22_unsigned_64	SAT	0.09
stmt21_79_304	UNSAT	0.09
stmt21_70_369	UNSAT	0.1
stmt21_262_319	UNSAT	0.1
stmt70_495_501	SAT	0.1
stmt31_22_328	UNSAT	0.1
stmt21_71_354	UNSAT	0.11
stmt52_244_394	UNSAT	0.11
stmt41_738_749	SAT	0.11
stmt21_84_364	UNSAT	0.11
stmt21_143_403	UNSAT	0.11
stmt29_226_376	UNSAT	0.11
stmt22_6_414	UNSAT	0.11
stmt19_137_408	UNSAT	0.11
stmt44_40_387	UNSAT	0.11
stmt19_352_359	UNSAT	0.11
stmt19_90_408	UNSAT	0.11
stmt19_180_352	UNSAT	0.11
rankfunc33_unsigned_64	SAT	0.11
stmt19_83_412	UNSAT	0.12
stmt19_3_401	UNSAT	0.12
stmt27_946_955	SAT	0.12
stmt1_629_630	SAT	0.12
stmt21_71_413	UNSAT	0.12
rankfunc18_signed_32	SAT	0.12
rankfunc8_unsigned_64	SAT	0.12
rankfunc44_unsigned_64	SAT	0.12
rankfunc25_unsigned_16	SAT	0.12
rankfunc16_signed_32	SAT	0.14
rankfunc21_signed_32	SAT	0.14
stmt41_566_580	SAT	0.14
rankfunc45_unsigned_64	SAT	0.15
stmt7_33_34	SAT	0.15
rankfunc28_signed_16	SAT	0.17
qshifter_6	SAT	0.17
rankfunc1_unsigned_64	SAT	0.19
stmt1_787_788	SAT	0.22
mutex-64-s	SAT	0.22
rankfunc26_unsigned_64	SAT	0.23
rankfunc3_unsigned_32	SAT	0.25
rankfunc43_signed_64	SAT	0.26
rankfunc19_unsigned_64	SAT	0.28
rankfunc46_unsigned_16	SAT	0.3
rankfunc42_signed_64	SAT	0.31
rankfunc52_unsigned_32	SAT	0.35
rankfunc16_signed_64	SAT	0.42
rankfunc16_unsigned_64	SAT	0.42
stmt38_943_942	SAT	0.45
stmt37_941_942	SAT	0.48
mutex-128-s	SAT	0.61
rankfunc45_signed_32	SAT	0.74
rankfunc3_unsigned_64	SAT	0.82
qshifter_7	SAT	1.17
rankfunc46_unsigned_64	SAT	2.28
rankfunc45_signed_64	SAT	2.35
stmt2_976_999	SAT	4.49
stmt19_133_217	UNSAT	8.57
stmt21_181_218	UNSAT	15.38
stmt41_160_235	UNSAT	15.39
qshifter_8	SAT	18.44
stmt31_190_227	UNSAT	40.73
stmt22_311_370	UNSAT	194.19
stmt21_319_418	SAT	472.5
query71_query31_1344n	FAIL	599.71
query71_query36_1344n	FAIL	599.71
query71_query34_1344n	FAIL	599.71
query50_query06_1344n	FAIL	599.71
query52_query25_1344n	FAIL	599.71
query60_query10_1344n	FAIL	599.71
query64_query11_1344n	FAIL	599.71
query60_query44_1344n	FAIL	599.71
query60_query33_1344n	FAIL	599.71
query54_query58_1344n	FAIL	599.71
query49_ntrivil_1344n	FAIL	599.71
query07_query64_1344n	FAIL	599.71
query07_query60_1344n	FAIL	599.71
query05_query31_1344n	FAIL	599.71
query04_query25_1344n	FAIL	599.71
query02_query58_1344n	FAIL	599.71
query02_query44_1344n	FAIL	599.71
nxquery_query50_1344n	FAIL	599.71
nreachq_query54_1344n	FAIL	599.71
nreachq_query11_1344n	FAIL	599.71
exquery_query04_1344n	FAIL	599.71
eequery_query04_1344n	FAIL	599.71
axquery_query06_1344n	FAIL	599.71
query10_query34_1344n	FAIL	599.71
query10_query45_1344n	FAIL	599.71
query48_exquery_1344n	FAIL	599.71
query42_query60_1344n	FAIL	599.71
query42_query45_1344n	FAIL	599.71
query36_query25_1344n	FAIL	599.71
query34_query11_1344n	FAIL	599.71
query33_query57_1344n	FAIL	599.71
query33_query51_1344n	FAIL	599.71
query31_query50_1344n	FAIL	599.71
query31_query26_1344n	FAIL	599.71
query31_eequery_1344n	FAIL	599.71
query26_query34_1344n	FAIL	599.71
query21_query55_1344n	FAIL	599.71
query31_reachqu_1344n	FAIL	599.71
stmt28_73_85	FAIL	599.71
sortnetsort8.AE.stepl.009	FAIL	599.71
sortnetsort8.AE.stepl.007	FAIL	599.71
sortnetsort8.AE.stepl.006	FAIL	599.71
sortnetsort8.AE.stepl.005	FAIL	599.71
sortnetsort8.AE.stepl.004	FAIL	599.71
sortnetsort8.AE.stepl.003	FAIL	599.71
sortnetsort7.AE.stepl.009	FAIL	599.71
sortnetsort7.AE.stepl.008	FAIL	599.71
sortnetsort9.AE.stepl.004	FAIL	599.71
sortnetsort9.AE.stepl.005	FAIL	599.71
stmt19_79_83	FAIL	599.71
sortnetsort9.AE.stepl.012	FAIL	599.71
sortnetsort9.AE.stepl.011	FAIL	599.71
sortnetsort9.AE.stepl.010	FAIL	599.71
sortnetsort9.AE.stepl.009	FAIL	599.71
sortnetsort9.AE.stepl.008	FAIL	599.71
sortnetsort9.AE.stepl.007	FAIL	599.71
sortnetsort9.AE.stepl.006	FAIL	599.71
sortnetsort7.AE.stepl.007	FAIL	599.71
sortnetsort7.AE.stepl.006	FAIL	599.71
sortnetsort7.AE.stepl.005	FAIL	599.71
sortnetsort5.AE.stepl.003	FAIL	599.71
sortnetsort10.AE.stepl.012	FAIL	599.71
sortnetsort10.AE.stepl.011	FAIL	599.71
sortnetsort10.AE.stepl.010	FAIL	599.71
sortnetsort10.AE.stepl.008	FAIL	599.71
sortnetsort10.AE.stepl.007	FAIL	599.71
sortnetsort10.AE.stepl.006	FAIL	599.71
sortnetsort10.AE.stepl.005	FAIL	599.71
sortnetsort5.AE.stepl.004	FAIL	599.71
sortnetsort5.AE.stepl.005	FAIL	599.71
sortnetsort7.AE.stepl.004	FAIL	599.71
sortnetsort6.AE.stepl.007	FAIL	599.71
sortnetsort6.AE.stepl.006	FAIL	599.71
sortnetsort6.AE.stepl.005	FAIL	599.71
sortnetsort6.AE.stepl.004	FAIL	599.71
sortnetsort6.AE.stepl.003	FAIL	599.71
sortnetsort5.AE.stepl.007	FAIL	599.71
sortnetsort5.AE.stepl.006	FAIL	599.71
sortnetsort10.AE.stepl.004	FAIL	599.71
stmt17_78_98	FAIL	599.71
stmt21_354_403	FAIL	599.71
stmt23_92_96	FAIL	599.71
stmt19_75_95	FAIL	599.71
stmt17_94_98	FAIL	599.71
stmt19_65_87	FAIL	599.71
stmt17_82_98	FAIL	599.71
stmt28_68_69	FAIL	599.71
stmt28_68_81	FAIL	599.71
stmt17_82_94	FAIL	599.71
stmt17_62_78	FAIL	599.71
stmt23_66_96	FAIL	599.71
stmt17_70_82	FAIL	599.71
stmt19_71_95	FAIL	599.71
stmt19_83_91	FAIL	599.71
stmt17_74_78	FAIL	599.71
stmt17_70_78	FAIL	599.71
stmt17_82_86	FAIL	599.71
stmt17_63_70	FAIL	599.71
stmt17_70_90	FAIL	599.71
stmt17_78_94	FAIL	599.71
stmt17_86_98	FAIL	599.71
stmt19_65_95	FAIL	599.71
stmt28_89_97	FAIL	599.71
stmt23_88_92	FAIL	599.71
stmt17_70_86	FAIL	599.71
stmt19_79_87	FAIL	599.71
stmt17_74_90	FAIL	599.71
stmt17_62_98	FAIL	599.71
stmt19_75_83	FAIL	599.71
stmt19_64_91	FAIL	599.71
stmt17_70_98	FAIL	599.71
stmt23_72_76	FAIL	599.71
stmt19_87_95	FAIL	599.71
stmt17_63_78	FAIL	599.71
stmt17_78_90	FAIL	599.71
sortnetsort7.AE.stepl.003	FAIL	599.72
stmt23_66_67	FAIL	599.72
query44_query26_1344n	FAIL	599.72
stmt23_67_92	FAIL	599.72
stmt19_64_87	FAIL	599.81
query60_query45_1344n	FAIL	599.81
query64_query01_1344n	FAIL	599.81
sortnetsort10.AE.stepl.009	FAIL	599.81
query51_query57_1344n	FAIL	599.81
stmt17_63_82	FAIL	599.81
stmt23_66_76	FAIL	599.81
query42_query06_1344n	FAIL	599.81
axquery_query44_1344n	FAIL	599.81
eequery_query64_1344n	FAIL	599.81
sortnetsort8.AE.stepl.008	FAIL	599.81
stmt28_73_97	FAIL	599.81
query10_query06_1344n	FAIL	599.81
stmt19_64_99	FAIL	599.81
query26_query57_1344n	FAIL	599.81
query33_query45_1344n	FAIL	599.81
stmt28_68_73	FAIL	599.81

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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