Instances of family Planning-CTE solved by iprover_bloqqer_single
Prenex CNF Track

InstanceResultTime
driverlog10_7SAT269.5
driverlog10_6UNSAT305.89
pipesnotankage18_8FAIL900
depots16_5FAIL900
driverlog13_8FAIL900
freecell03_6FAIL900
pipesnotankage17_6FAIL900
depots07_8FAIL900
depots16_7FAIL900
driverlog14_8FAIL900
freecell03_7FAIL900
pipesnotankage17_7FAIL900
depots08_6FAIL900
driverlog14_9FAIL900
freecell04_7FAIL900
pipesnotankage19_7FAIL900
depots09_11FAIL900
driverlog11_8FAIL900
freecell01_6FAIL900
freecell04_8FAIL900
pipesnotankage19_9FAIL900
depots03_9FAIL900
depots09_12FAIL900
driverlog11_9FAIL900
freecell02_4FAIL900
freecell04_9FAIL900
depots09_13FAIL900
driverlog12_8FAIL900
freecell02_5FAIL900
pipesnotankage15_10FAIL900
pipesnotankage14_10FAIL900
depots10_8FAIL900
driverlog12_9FAIL900
freecell02_6FAIL900
pipesnotankage16_10FAIL900
pipesnotankage18_7FAIL900
depots13_9FAIL900
driverlog13_7FAIL900
freecell03_5FAIL900
pipesnotankage17_5FAIL900