Instances of family Planning-CTE solved by Hiqqer2019_1
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
driverlog10_6UNSAT325.75
pipesnotankage17_7FAIL900.01
depots09_12FAIL900.01
pipesnotankage13_5FAIL900.01
pipesnotankage18_7FAIL900.01
depots13_9FAIL900.02
pipesnotankage18_8FAIL900.02
freecell02_6FAIL900.02
pipesnotankage17_5FAIL900.02
pipesnotankage11_8FAIL900.04
freecell03_5FAIL900.04
pipesnotankage17_6FAIL900.04
freecell03_7FAIL900.05
pipesnotankage19_7FAIL900.05
pipesnotankage15_10FAIL900.05
depots07_8FAIL900.05
depots09_11FAIL900.06
depots09_13FAIL900.06
pipesnotankage16_10FAIL900.06
depots03_9FAIL900.07
pipesnotankage19_9FAIL900.07
depots16_5FAIL900.07
freecell03_6FAIL900.09
pipesnotankage14_10FAIL900.09
freecell02_4FAIL900.09
depots08_6FAIL900.09