Sota solver results for family PositionalGames_hex
QBFEVAL'17 - Random QBFs Track


InstanceSolverResultTime
hex_hein_4x4_04prefix-opt-depqbfSAT0
hex_hein_4x4_06heretiqSAT57.05
hex_hein_4x4_07heretiqSAT300.1
hex_hein_4x4_09prefix-opt-depqbfSAT4.97
hex_hein_4x4_12caqe_2017_v2SAT9.36
hex_hein_7x7_18rev_qfun0.1SAT0.2
hex_rand_6x6-20m-1xb-qsts_xbqsts1.0SAT443.93
hex_rand_6x6-20m-3xb-qsts_xbqsts2.0SAT482.55
hex_rand_6x6-20m-4heretiqUNSAT47.4
hex_rand_6x6-20m-5xb-qsts_xbqsts1.0SAT355.37
hex_rand_6x6-20m-6caqe_2017_v3SAT442.84
hex_rand_6x6-20m-7heretiqUNSAT120.08
hex_rand_6x6-20m-8heretiqUNSAT392.9