report

2021-01-29

unexplained-errors

info

Used nodes: {ase01, ..., ase11, ase13, ..., ase24}

summary

error

error-critical-error

error-search-out-of-memory

error-search-out-of-time

error-search-unsolvable

error-search-unsolvable-incomplete

error-search-unsupported

error-translate-critical-error

3unsat

bag-barman

bag-gripper

bag-transport

bottleneck

cave-diving

chessboard-pebbling

diagnosis

document-transfer

mystery

over-nomystery

over-rovers

over-tpp

pegsol

pegsol-row5

sliding-tiles

tetris

unsat-nomystery

unsat-rovers

unsat-tpp