allsquaresUnsat

Lecoutre's category

Lecoutre's tooltips

Source

Comments



Number of instances: 37 (0 processed, 0 partially processed, 37 failed)

Processing completed

Partially processed

Processing failed
normalized-squaresUnsat-10-10
normalized-squaresUnsat-11-11
normalized-squaresUnsat-12-12
normalized-squaresUnsat-13-13
normalized-squaresUnsat-14-14
normalized-squaresUnsat-15-15
normalized-squaresUnsat-16-16
normalized-squaresUnsat-17-17
normalized-squaresUnsat-18-18
normalized-squaresUnsat-19-19
normalized-squaresUnsat-2-2
normalized-squaresUnsat-20-20
normalized-squaresUnsat-21-21
normalized-squaresUnsat-22-22
normalized-squaresUnsat-23-23
normalized-squaresUnsat-24-24
normalized-squaresUnsat-25-25
normalized-squaresUnsat-26-26
normalized-squaresUnsat-27-27
normalized-squaresUnsat-28-28
normalized-squaresUnsat-29-29
normalized-squaresUnsat-3-3
normalized-squaresUnsat-30-30
normalized-squaresUnsat-31-31
normalized-squaresUnsat-32-32
normalized-squaresUnsat-33-33
normalized-squaresUnsat-34-34
normalized-squaresUnsat-35-35
normalized-squaresUnsat-36-36
normalized-squaresUnsat-37-37
normalized-squaresUnsat-38-38
normalized-squaresUnsat-4-4
normalized-squaresUnsat-5-5
normalized-squaresUnsat-6-6
normalized-squaresUnsat-7-7
normalized-squaresUnsat-8-8
normalized-squaresUnsat-9-9