Detail page for gttt-5x5-iterative-deepening


	Submitter:	Valentin Mayer-Eichberger

	Suite:	MayerEichberger-Saffidine

	Domain:	Miscellanea

	Description:

	Number of instances:	20

	Results:

	Instances:	game_1_gttt_L_5x5_k_02_m_07_2020 game_1_gttt_L_5x5_k_02_m_09_2020 game_1_gttt_L_5x5_k_03_m_08_2020 game_1_gttt_L_5x5_k_03_m_10_2020 game_1_gttt_L_5x5_k_04_m_09_2020 game_1_gttt_L_5x5_k_04_m_11_2020 game_1_gttt_L_5x5_k_05_m_08_2020 game_1_gttt_L_5x5_k_05_m_10_2020 game_1_gttt_L_5x5_k_06_m_09_2020 game_1_gttt_L_5x5_k_06_m_11_2020 game_1_gttt_L_5x5_k_06_m_13_2020 game_2_gttt_L_5x5_k_02_m_09_2020 game_2_gttt_L_5x5_k_03_m_08_2020 game_2_gttt_L_5x5_k_03_m_10_2020 game_2_gttt_L_5x5_k_04_m_09_2020 game_2_gttt_L_5x5_k_04_m_11_2020 game_2_gttt_L_5x5_k_05_m_08_2020 game_2_gttt_L_5x5_k_05_m_10_2020 game_2_gttt_L_5x5_k_06_m_11_2020 game_2_gttt_L_5x5_k_06_m_13_2020

The Quantified Boolean Formulas Satisfiability Library