| HierarchicalClustering/xy.11.x.11.r.3.712566045.949579.data_k=3_l=3_unsat.gph.smt2 |
| HierarchicalClustering/xy.12.x.12.r.3.274440616.806497.data_k=4_l=3_unsat.gph.smt2 |
| HierarchicalClustering/xy.12.x.12.r.3.274440616.806497.data_k=3_l=4_sat.gph.smt2 |
| ConnectedDominatingSet/rand_90_600_1235859689_0_k=10_sat.gph.smt2 |
| ConnectedDominatingSet/rand_150_500_1235354638_0_k=15_unsat.gph.smt2 |
| ConnectedDominatingSet/rand_50_250_1235842610_0_k=7_sat.gph.smt2 |
| HierarchicalClustering/xy.10.x.10.r.2.565627391.127944.data_k=4_l=6_unsat.gph.smt2 |
| HierarchicalClustering/xy.12.x.12.r.4.274529373.784913.data_k=3_l=3_unsat.gph.smt2 |
| ConnectedDominatingSet/rand_40_200_1235844018_0_k=4_unsat.gph.smt2 |
| HierarchicalClustering/xy.12.x.12.r.4.274529373.784913.data_k=4_l=4_sat.gph.smt2 |
| ConnectedDominatingSet/rand_55_250_1235855873_0_k=8_sat.gph.smt2 |
| ConnectedDominatingSet/rand_45_250_1235855661_0_k=4_unsat.gph.smt2 |
| ConnectedDominatingSet/rand_65_500_1235857888_0_k=5_unsat.gph.smt2 |
| HierarchicalClustering/xy.10.x.10.r.3.1268203948.99614.data_k=2_l=5_sat.gph.smt2 |
| ConnectedDominatingSet/rand_80_500_1235848939_0_k=9_sat.gph.smt2 |
| HierarchicalClustering/xy.10.x.10.r.3.1268203948.99614.data_k=4_l=7_sat.gph.smt2 |
| ConnectedDominatingSet/rand_70_250_1235844252_0_k=10_unsat.gph.smt2 |
| ConnectedDominatingSet/rand_90_600_1235859689_0_k=6_unsat.gph.smt2 |
| ConnectedDominatingSet/rand_80_500_1235848939_0_k=6_unsat.gph.smt2 |
| ConnectedDominatingSet/rand_50_250_1235345753_0_k=6_unsat.gph.smt2 |
| ConnectedDominatingSet/rand_50_250_1235842610_0_k=6_unsat.gph.smt2 |
| ConnectedDominatingSet/rand_70_250_1235844252_0_k=13_sat.gph.smt2 |
| ConnectedDominatingSet/rand_40_200_1235844018_0_k=5_sat.gph.smt2 |
| ConnectedDominatingSet/rand_45_250_1235855661_0_k=5_sat.gph.smt2 |
| ConnectedDominatingSet/rand_50_250_1235336870_0_k=8_sat.gph.smt2 |
| HierarchicalClustering/xy.14.x.14.r.3.886831626.391915.data_k=3_l=5_sat.gph.smt2 |
| ConnectedDominatingSet/rand_55_250_1235855873_0_k=7_unsat.gph.smt2 |
| ConnectedDominatingSet/rand_60_400_1235843083_0_k=5_unsat.gph.smt2 |
| HierarchicalClustering/xy.13.x.13.r.3.541669225.993881.data_k=2_l=6_sat.gph.smt2 |
| ConnectedDominatingSet/rand_65_500_1235857888_0_k=6_sat.gph.smt2 |
| ConnectedDominatingSet/rand_60_400_1235843083_0_k=7_sat.gph.smt2 |
| HierarchicalClustering/xy.14.x.14.r.3.886831626.391915.data_k=2_l=6_sat.gph.smt2 |
| HierarchicalClustering/xy.15.x.15.r.4.10790636.1242605.data_k=4_l=4_sat.gph.smt2 |
| GeneralizedSlitherlink/penrose.12.asp.smt2 |
| GeneralizedSlitherlink/penrosesmall.5.asp.smt2 |
| GeneralizedSlitherlink/penrose.34.asp.smt2 |
| GeneralizedSlitherlink/penrose.48.asp.smt2 |
| GeneralizedSlitherlink/penrose.35.asp.smt2 |
| GeneralizedSlitherlink/penrose.11.asp.smt2 |
| GeneralizedSlitherlink/penrose.31.asp.smt2 |
| GeneralizedSlitherlink/penrose.44.asp.smt2 |
| GeneralizedSlitherlink/penrose.45.asp.smt2 |
| GeneralizedSlitherlink/altair1.54.asp.smt2 |
| GeneralizedSlitherlink/altair1.42.asp.smt2 |
| GeneralizedSlitherlink/penrose.60.asp.smt2 |
| GeneralizedSlitherlink/trisquares.54.asp.smt2 |
| GeneralizedSlitherlink/trisquares.43.asp.smt2 |
| GeneralizedSlitherlink/altair1.16.asp.smt2 |
| GeneralizedSlitherlink/altair1.37.asp.smt2 |
| GeneralizedSlitherlink/altair1.9.asp.smt2 |
| GeneralizedSlitherlink/altair1.48.asp.smt2 |
| GeneralizedSlitherlink/trisquares.47.asp.smt2 |
| GeneralizedSlitherlink/altair1.20.asp.smt2 |
| HamiltonianPath/gryzzles.42.lp.smt2 |
| HamiltonianPath/gryzzles.32.lp.smt2 |
| HamiltonianPath/gryzzles.26.lp.smt2 |
| HamiltonianPath/random.5.lp.smt2 |
| HamiltonianPath/gryzzles.19.lp.smt2 |
| HamiltonianPath/gryzzles.23.lp.smt2 |
| GeneralizedSlitherlink/trisquares.59.asp.smt2 |
| HamiltonianPath/random.8.lp.smt2 |
| HamiltonianPath/gryzzles.40.lp.smt2 |
| HamiltonianPath/gryzzles.48.lp.smt2 |
| HamiltonianPath/random.2.lp.smt2 |
| HamiltonianPath/gryzzles.7.lp.smt2 |
| HamiltonianPath/gryzzles.6.lp.smt2 |
| HamiltonianPath/gryzzles.44.lp.smt2 |
| HamiltonianPath/gryzzles.37.lp.smt2 |
| HamiltonianPath/gryzzles.46.lp.smt2 |
| HamiltonianPath/gryzzles.2.lp.smt2 |
| HamiltonianPath/gryzzles.33.lp.smt2 |
| HamiltonianPath/gryzzles.16.lp.smt2 |
| GeneralizedSlitherlink/penrose.50.asp.smt2 |
| HamiltonianPath/gryzzles.22.lp.smt2 |
| HamiltonianPath/gryzzles.31.lp.smt2 |
| HamiltonianPath/gryzzles.21.lp.smt2 |
| HamiltonianPath/gryzzles.12.lp.smt2 |
| HamiltonianPath/gryzzles.8.lp.smt2 |
| HamiltonianPath/gryzzles.15.lp.smt2 |
| HamiltonianPath/gryzzles.30.lp.smt2 |
| GeneralizedSlitherlink/altair1.10.asp.smt2 |
| GeneralizedSlitherlink/trisquares.19.asp.smt2 |
| HamiltonianPath/gryzzles.20.lp.smt2 |
| HamiltonianPath/gryzzles.18.lp.smt2 |
| HamiltonianPath/gryzzles.41.lp.smt2 |
| Sudoku/sudoku.in2.smt2 |
| HamiltonianPath/gryzzles.39.lp.smt2 |
| GeneralizedSlitherlink/trisquares.40.asp.smt2 |
| GeneralizedSlitherlink/trisquares.41.asp.smt2 |
| GeneralizedSlitherlink/trisquares.11.asp.smt2 |
| GeneralizedSlitherlink/trisquares.35.asp.smt2 |
| GeneralizedSlitherlink/trisquares.49.asp.smt2 |
| BlockedNQueens/156.48.1960.36.1721301641.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721286911.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721297189.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721326970.dat.smt2 |
| Sudoku/sudoku.in1.smt2 |
| BlockedNQueens/156.48.1960.36.1721315836.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721325133.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721303981.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721259656.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721343626.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721284464.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721277539.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721310593.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721325287.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721310106.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721326070.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721351180.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721330060.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721328612.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721329185.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721347806.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721325949.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721350404.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721327521.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721332568.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721349794.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721319768.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721262093.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721345259.dat.smt2 |
| BlockedNQueens/156.48.1960.36.1721246615.dat.smt2 |
| Sudoku/sudoku.in4.smt2 |
| Sudoku/sudoku.in7.smt2 |
| Sudoku/sudoku.in8.smt2 |
| Sudoku/sudoku.in10.smt2 |
| Sudoku/sudoku.in6.smt2 |
| Sudoku/sudoku.in3.smt2 |
| Sudoku/sudoku.in9.smt2 |
| Sudoku/sudoku.in5.smt2 |
| EdgeMatching/edge-matching-width=7-height=7-colours=12.smt2 |
| EdgeMatching/edge-matching-width=7-height=7-colours=14.smt2 |
| EdgeMatching/edge-matching-width=8-height=8-colours=15.smt2 |
| EdgeMatching/edge-matching-width=9-height=9-colours=10.smt2 |
| EdgeMatching/edge-matching-width=9-height=9-colours=7.smt2 |
| EdgeMatching/edge-matching-width=8-height=8-colours=14.smt2 |
| EdgeMatching/edge-matching-width=9-height=9-colours=12.smt2 |
| EdgeMatching/edge-matching-width=9-height=9-colours=15.smt2 |
| EdgeMatching/edge-matching-width=9-height=9-colours=8.smt2 |
| EdgeMatching/edge-matching-width=9-height=9-colours=13.smt2 |
| EdgeMatching/edge-matching-width=9-height=9-colours=9.smt2 |
| EdgeMatching/edge-matching-width=8-height=8-colours=11.smt2 |
| EdgeMatching/edge-matching-width=7-height=7-colours=13.smt2 |
| EdgeMatching/edge-matching-width=7-height=7-colours=11.smt2 |
| EdgeMatching/edge-matching-width=10-height=10-colours=9.smt2 |
| EdgeMatching/edge-matching-width=10-height=10-colours=15.smt2 |
| EdgeMatching/edge-matching-width=10-height=10-colours=11.smt2 |
| EdgeMatching/edge-matching-width=8-height=8-colours=13.smt2 |
| GraphColouring/graph-colouring-nodes=150-density=0.1-instance=10.smt2 |
| EdgeMatching/edge-matching-width=9-height=9-colours=6.smt2 |
| GraphColouring/graph-colouring-nodes=150-density=0.1-instance=2.smt2 |
| GraphColouring/graph-colouring-nodes=145-density=0.1-instance=4.smt2 |
| EdgeMatching/edge-matching-width=10-height=10-colours=7.smt2 |
| EdgeMatching/edge-matching-width=10-height=10-colours=13.smt2 |
| GraphColouring/graph-colouring-nodes=125-density=0.1-instance=9.smt2 |
| GraphColouring/graph-colouring-nodes=125-density=0.1-instance=7.smt2 |
| GraphColouring/graph-colouring-nodes=130-density=0.1-instance=7.smt2 |
| GraphColouring/graph-colouring-nodes=140-density=0.1-instance=7.smt2 |
| GraphColouring/graph-colouring-nodes=135-density=0.1-instance=7.smt2 |
| GraphColouring/graph-colouring-nodes=140-density=0.1-instance=4.smt2 |
| GraphColouring/graph-colouring-nodes=140-density=0.1-instance=8.smt2 |
| GraphColouring/graph-colouring-nodes=135-density=0.1-instance=2.smt2 |
| GraphColouring/graph-colouring-nodes=130-density=0.1-instance=10.smt2 |
| GraphColouring/graph-colouring-nodes=145-density=0.1-instance=7.smt2 |
| GraphColouring/graph-colouring-nodes=140-density=0.1-instance=2.smt2 |
| EdgeMatching/edge-matching-width=10-height=10-colours=12.smt2 |
| GraphColouring/graph-colouring-nodes=145-density=0.1-instance=10.smt2 |
| GraphColouring/graph-colouring-nodes=145-density=0.1-instance=8.smt2 |
| GraphColouring/graph-colouring-nodes=130-density=0.1-instance=2.smt2 |
| GraphColouring/graph-colouring-nodes=130-density=0.1-instance=3.smt2 |
| GraphColouring/graph-colouring-nodes=145-density=0.1-instance=5.smt2 |
| GraphColouring/graph-colouring-nodes=130-density=0.1-instance=4.smt2 |
| GraphColouring/graph-colouring-nodes=130-density=0.1-instance=5.smt2 |
| GraphColouring/graph-colouring-nodes=125-density=0.1-instance=2.smt2 |
| GraphColouring/graph-colouring-nodes=140-density=0.1-instance=9.smt2 |
| GraphColouring/graph-colouring-nodes=150-density=0.1-instance=5.smt2 |
| GraphColouring/graph-colouring-nodes=150-density=0.1-instance=3.smt2 |
| GraphColouring/graph-colouring-nodes=125-density=0.1-instance=5.smt2 |
| GraphColouring/graph-colouring-nodes=125-density=0.1-instance=4.smt2 |
| GraphColouring/graph-colouring-nodes=125-density=0.1-instance=3.smt2 |
| GraphColouring/graph-colouring-nodes=145-density=0.1-instance=2.smt2 |
| EdgeMatching/edge-matching-width=7-height=7-colours=15.smt2 |
| SchurNumbers/20.10.schur.lp.smt2 |
| SchurNumbers/20.3.schur.lp.smt2 |
| SchurNumbers/20.14.schur.lp.smt2 |
| SchurNumbers/20.17.schur.lp.smt2 |
| SchurNumbers/20.11.schur.lp.smt2 |
| SchurNumbers/15.1.schur.lp.smt2 |
| SchurNumbers/20.13.schur.lp.smt2 |
| EdgeMatching/edge-matching-width=10-height=10-colours=5.smt2 |
| SchurNumbers/20.2.schur.lp.smt2 |
| SchurNumbers/15.16.schur.lp.smt2 |
| EdgeMatching/edge-matching-width=8-height=8-colours=12.smt2 |
| SchurNumbers/15.8.schur.lp.smt2 |
| SchurNumbers/20.5.schur.lp.smt2 |
| SchurNumbers/15.14.schur.lp.smt2 |
| SchurNumbers/15.5.schur.lp.smt2 |
| SchurNumbers/20.9.schur.lp.smt2 |
| SchurNumbers/15.13.schur.lp.smt2 |
| EdgeMatching/edge-matching-width=9-height=9-colours=11.smt2 |
| SchurNumbers/15.19.schur.lp.smt2 |
| SchurNumbers/20.6.schur.lp.smt2 |
| SchurNumbers/20.8.schur.lp.smt2 |
| SchurNumbers/15.4.schur.lp.smt2 |
| EdgeMatching/edge-matching-width=10-height=10-colours=10.smt2 |
| SchurNumbers/20.18.schur.lp.smt2 |
| SchurNumbers/15.17.schur.lp.smt2 |
| SchurNumbers/20.1.schur.lp.smt2 |
| SchurNumbers/20.12.schur.lp.smt2 |
| TravellingSalesperson/tsp_rand_70_300_1155482584_7.lp.smt2 |
| TravellingSalesperson/rand_80_340_1159656267_13.lp.smt2 |
| TravellingSalesperson/rand_80_340_1159656267_10.lp.smt2 |
| SchurNumbers/15.6.schur.lp.smt2 |
| SchurNumbers/15.20.schur.lp.smt2 |
| SchurNumbers/15.10.schur.lp.smt2 |
| TravellingSalesperson/rand_80_340_1159656267_18.lp.smt2 |
| SchurNumbers/15.3.schur.lp.smt2 |
| EdgeMatching/edge-matching-width=9-height=9-colours=14.smt2 |
| SchurNumbers/20.7.schur.lp.smt2 |
| TravellingSalesperson/rand_70_300_1155482584_3.lp.smt2 |
| TravellingSalesperson/rand_80_340_1159656267_11.lp.smt2 |
| TravellingSalesperson/tsp_rand_70_300_1155482584_0.lp.smt2 |
| TravellingSalesperson/rand_70_300_1155482584_7.lp.smt2 |
| SchurNumbers/20.20.schur.lp.smt2 |
| TravellingSalesperson/rand_80_340_1159656267_0.lp.smt2 |
| TravellingSalesperson/tsp_rand_70_300_1155482584_9.lp.smt2 |
| TravellingSalesperson/rand_70_300_1155482584_9.lp.smt2 |
| TravellingSalesperson/dom_rand_70_300_1155482584_3.lp.smt2 |
| TravellingSalesperson/tsp_rand_70_300_1155482584_5.lp.smt2 |
| TravellingSalesperson/rand_70_300_1155482584_8.lp.smt2 |
| TravellingSalesperson/rand_70_300_1155482584_12.lp.smt2 |
| TravellingSalesperson/rand_70_300_1155482584_14.lp.smt2 |
| TravellingSalesperson/tsp_rand_70_300_1155482584_8.lp.smt2 |
| TravellingSalesperson/rand_80_340_1159656267_6.lp.smt2 |
| TravellingSalesperson/tsp_rand_70_300_1155482584_11.lp.smt2 |
| TravellingSalesperson/rand_70_300_1155482584_5.lp.smt2 |
| TravellingSalesperson/rand_80_340_1159656267_16.lp.smt2 |
| TravellingSalesperson/rand_80_340_1159656267_15.lp.smt2 |
| TravellingSalesperson/tsp_rand_70_300_1155482584_4.lp.smt2 |
| TravellingSalesperson/tsp_rand_70_300_1155482584_14.lp.smt2 |
| TravellingSalesperson/tsp_rand_70_300_1155482584_12.lp.smt2 |
| TravellingSalesperson/rand_80_340_1159656267_17.lp.smt2 |
| TravellingSalesperson/rand_70_300_1155482584_4.lp.smt2 |
| TravellingSalesperson/rand_70_300_1155482584_11.lp.smt2 |
| TravellingSalesperson/rand_80_340_1159656267_4.lp.smt2 |
| EdgeMatching/edge-matching-width=10-height=10-colours=8.smt2 |
| 15Puzzle/15-puzzle.init4.smt2 |
| 15Puzzle/15-puzzle.init9.smt2 |
| 15Puzzle/15puzzle_ins.lp.smt2 |
| 15Puzzle/15-puzzle.init6.smt2 |
| 15Puzzle/15-puzzle.init2.smt2 |
| ChannelRouting/channelRoute.in1.smt2 |
| 15Puzzle/15-puzzle.init5.smt2 |
| ChannelRouting/channelRoute.in2.smt2 |
| 15Puzzle/15-puzzle.init13.smt2 |
| 15Puzzle/15-puzzle.init10.smt2 |
| 15Puzzle/15-puzzle.init8.smt2 |
| 15Puzzle/15-puzzle.init7.smt2 |
| 15Puzzle/15-puzzle.init3.smt2 |
| 15Puzzle/15-puzzle.init12.smt2 |
| 15Puzzle/15-puzzle.init15.smt2 |
| 15Puzzle/15-puzzle.init14.smt2 |
| 15Puzzle/15-puzzle.init11.smt2 |
| ChannelRouting/channelRoute.in7.smt2 |
| Sokoban/duthen-990602.36.steps.10.asp.smt2 |
| Sokoban/dimitri_yorick.55.steps.9.asp.smt2 |
| Sokoban/duthen-990602.57.steps.12.asp.smt2 |
| ChannelRouting/channelRoute.in9.smt2 |
| ChannelRouting/channelRoute.in8.smt2 |
| Sokoban/duthen-990602.37.steps.13.asp.smt2 |
| Sokoban/duthen-990602.37.steps.10.asp.smt2 |
| Sokoban/duthen-990602.50.steps.10.asp.smt2 |
| Sokoban/duthen-990602.57.steps.15.asp.smt2 |
| Sokoban/duthen-990602.40.steps.14.asp.smt2 |
| ChannelRouting/channrlRoute.in6.smt2 |
| Sokoban/duthen-990602.52.steps.15.asp.smt2 |
| Sokoban/duthen-990602.70.steps.13.asp.smt2 |
| Sokoban/duthen-990602.51.steps.12.asp.smt2 |
| Sokoban/duthen-990602.29.steps.11.asp.smt2 |
| Sokoban/duthen-990602.37.steps.14.asp.smt2 |
| Sokoban/duthen-990602.49.steps.13.asp.smt2 |
| Sokoban/dimitri_yorick.54.steps.12.asp.smt2 |
| Sokoban/duthen-990602.67.steps.10.asp.smt2 |
| ChannelRouting/channelRoute.in5.smt2 |
| ChannelRouting/channelRoute.in10.smt2 |
| Sokoban/duthen-990602.63.steps.14.asp.smt2 |
| Sokoban/duthen-990602.50.steps.9.asp.smt2 |
| Sokoban/duthen-990602.76.steps.13.asp.smt2 |
| Sokoban/duthen-990602.34.steps.14.asp.smt2 |
| Sokoban/duthen-990602.73.steps.9.asp.smt2 |
| Sokoban/duthen-990602.77.steps.9.asp.smt2 |
| Sokoban/duthen-990602.74.steps.13.asp.smt2 |
| Sokoban/duthen-990602.75.steps.10.asp.smt2 |
| Sokoban/dimitri_yorick.57.steps.7.asp.smt2 |
| Sokoban/duthen-990602.45.steps.12.asp.smt2 |
| KnightTour/knightTour.in01.smt2 |
| ChannelRouting/channelRoute.in4.smt2 |
| Sokoban/dimitri_yorick.59.steps.8.asp.smt2 |
| Sokoban/dimitri_yorick.51.steps.11.asp.smt2 |
| Sokoban/duthen-990602.69.steps.14.asp.smt2 |
| ChannelRouting/channelRoute.in3.smt2 |
| MazeGeneration/maze-generation-width=12-height=12-density=0.01-run=5.smt2 |
| MazeGeneration/maze-generation-width=15-height=15-density=0.01-run=3.smt2 |
| MazeGeneration/maze-generation-width=10-height=10-density=0.01-run=1.smt2 |
| MazeGeneration/maze-generation-width=15-height=15-density=0.01-run=1.smt2 |
| KnightTour/knightTour.in02.smt2 |
| MazeGeneration/maze-generation-width=10-height=10-density=0.01-run=3.smt2 |
| MazeGeneration/maze-generation-width=19-height=19-density=0.01-run=3.smt2 |
| MazeGeneration/maze-generation-width=16-height=16-density=0.01-run=5.smt2 |
| KnightTour/knightTour.in04.smt2 |
| MazeGeneration/maze-generation-width=16-height=16-density=0.01-run=1.smt2 |
| MazeGeneration/maze-generation-width=16-height=16-density=0.01-run=3.smt2 |
| MazeGeneration/maze-generation-width=15-height=15-density=0.01-run=4.smt2 |
| MazeGeneration/maze-generation-width=19-height=19-density=0.01-run=1.smt2 |
| MazeGeneration/maze-generation-width=14-height=14-density=0.01-run=3.smt2 |
| KnightTour/knightTour.in03.smt2 |
| KnightTour/knightTour.in05.smt2 |
| KnightTour/knightTour.in06.smt2 |
| MazeGeneration/maze-generation-width=17-height=17-density=0.01-run=3.smt2 |
| MazeGeneration/maze-generation-width=18-height=18-density=0.01-run=2.smt2 |
| MazeGeneration/maze-generation-width=16-height=16-density=0.01-run=4.smt2 |
| MazeGeneration/maze-generation-width=10-height=10-density=0.01-run=2.smt2 |
| MazeGeneration/maze-generation-width=15-height=15-density=0.01-run=2.smt2 |
| MazeGeneration/maze-generation-width=10-height=10-density=0.01-run=4.smt2 |
| MazeGeneration/maze-generation-width=17-height=17-density=0.01-run=1.smt2 |
| MazeGeneration/maze-generation-width=21-height=21-density=0.01-run=2.smt2 |
| MazeGeneration/maze-generation-width=21-height=21-density=0.01-run=1.smt2 |
| MazeGeneration/maze-generation-width=19-height=19-density=0.01-run=4.smt2 |
| MazeGeneration/maze-generation-width=21-height=21-density=0.01-run=4.smt2 |
| MazeGeneration/maze-generation-width=12-height=12-density=0.01-run=3.smt2 |
| MazeGeneration/maze-generation-width=19-height=19-density=0.01-run=5.smt2 |
| MazeGeneration/maze-generation-width=12-height=12-density=0.01-run=1.smt2 |
| MazeGeneration/maze-generation-width=15-height=15-density=0.01-run=5.smt2 |
| MazeGeneration/maze-generation-width=18-height=18-density=0.01-run=4.smt2 |
| MazeGeneration/maze-generation-width=18-height=18-density=0.01-run=3.smt2 |
| WireRouting/wire.10.x.10.b.5.a.25_sat.data.smt2 |
| WireRouting/wire.10.x.10.b.5.a.20_unsat.data.smt2 |
| KnightTour/knightTour.in07.smt2 |
| WireRouting/wire.10.x.10.b.5.a.35_sat.data.smt2 |
| WireRouting/wire.12.x.12.b.5.a.15_unsat.data.smt2 |
| KnightTour/knightTour.in08.smt2 |
| WireRouting/wire.14.x.14.b.8.a.20_unsat.data.smt2 |
| WireRouting/wire.15.x.15.b.10.a.10_unsat.data.smt2 |
| WireRouting/wire.15.x.15.b.10.a.20_sat.data.smt2 |
| WireRouting/wire.15.x.15.b.11.25.a.45_sat.data.smt2 |
| WireRouting/wire.15.x.15.b.2.a.25_sat.data.smt2 |
| KnightTour/knightTour.in09.smt2 |
| WireRouting/wire.13.x.13.b.7.a.30_sat.data.smt2 |
| WireRouting/wire.13.x.13.b.7.a.15_sat.data.smt2 |
| WeightBoundedDominatingSet/rand_200_800_1159728969_11.lp.smt2 |
| WireRouting/wire.13.x.13.b.5.a.30_sat.data.smt2 |
| WireRouting/wire.14.x.14.b.8.a.30_unsat.data.smt2 |
| WireRouting/wire.14.x.14.b.8.a.40_unsat.data.smt2 |
| WeightBoundedDominatingSet/rand_100_400_1159666138_1.lp.smt2 |
| WeightBoundedDominatingSet/rand_150_600_1159731678_5.lp.smt2 |
| WeightBoundedDominatingSet/rand_150_600_1159731678_3.lp.smt2 |
| WeightBoundedDominatingSet/rand_150_600_1159731678_7.lp.smt2 |
| WeightBoundedDominatingSet/rand_200_800_1159728969_9.lp.smt2 |
| WeightBoundedDominatingSet/rand_100_400_1159666138_3.lp.smt2 |
| WeightBoundedDominatingSet/rand_100_400_1159666138_6.lp.smt2 |
| WireRouting/wire.15.x.15.b.10.a.30_sat.data.smt2 |
| WeightBoundedDominatingSet/rand_100_400_1159666138_5.lp.smt2 |
| WeightBoundedDominatingSet/rand_150_600_1159731678_14.lp.smt2 |
| WeightBoundedDominatingSet/rand_200_800_1159728969_8.lp.smt2 |
| WeightBoundedDominatingSet/rand_200_800_1159728969_6.lp.smt2 |
| WireRouting/wire.17.x.17.b.10.a.25_unsat.data.smt2 |
| KnightTour/knightTour.in10.smt2 |
| WeightBoundedDominatingSet/rand_100_400_1159666138_2.lp.smt2 |
| WeightBoundedDominatingSet/rand_200_800_1159728969_4.lp.smt2 |
| WireRouting/wire.16.x.16.b.5.a.30_sat.data.smt2 |
| WeightBoundedDominatingSet/rand_200_800_1159728969_14.lp.smt2 |
| WeightBoundedDominatingSet/rand_200_800_1159728969_2.lp.smt2 |
| WeightBoundedDominatingSet/rand_150_600_1159731678_11.lp.smt2 |
| WeightBoundedDominatingSet/rand_150_600_1159731678_12.lp.smt2 |
| WeightBoundedDominatingSet/rand_200_800_1159728969_10.lp.smt2 |
| WeightBoundedDominatingSet/rand_100_400_1159666138_8.lp.smt2 |
| WeightBoundedDominatingSet/rand_100_400_1159666138_13.lp.smt2 |
| WeightBoundedDominatingSet/rand_100_400_1159666138_9.lp.smt2 |
| WireRouting/wire.16.x.16.b.5.a.25_sat.data.smt2 |
| WeightBoundedDominatingSet/rand_100_400_1159666138_19.lp.smt2 |
| WeightBoundedDominatingSet/rand_100_400_1159666138_7.lp.smt2 |
| WeightBoundedDominatingSet/rand_150_600_1159731678_8.lp.smt2 |
| WeightBoundedDominatingSet/rand_150_600_1159731678_15.lp.smt2 |
| WeightBoundedDominatingSet/rand_200_800_1159728969_7.lp.smt2 |
| WeightBoundedDominatingSet/rand_150_600_1159731678_6.lp.smt2 |
| WeightBoundedDominatingSet/rand_150_600_1159731678_17.lp.smt2 |
| WireRouting/wire.13.x.13.b.7.a.10_unsat.data.smt2 |
| WireRouting/wire.12.x.12.b.5.a.20_unsat.data.smt2 |
| WireRouting/wire.13.x.13.b.5.a.15_sat.data.smt2 |
| Hanoi/mgs_towers-hanoi.30_7.smt2 |
| Hanoi/mgs_towers-hanoi.32_7.smt2 |
| WireRouting/wire.16.x.16.b.10.a.20_unsat.data.smt2 |
| WireRouting/wire.16.x.16.b.10.a.25_unsat.data.smt2 |
| Hanoi/mgs_towers-hanoi.70_7.smt2 |
| Hanoi/mgs_towers-hanoi.80_7.smt2 |
| Hanoi/mgs_towers-hanoi.93_7.smt2 |
| Hanoi/mgs_towers-hanoi.87_7.smt2 |
| Hanoi/mgs_towers-hanoi.120_7.smt2 |
| Hanoi/mgs_towers-hanoi.83_7.smt2 |
| Hanoi/mgs_towers-hanoi.97_7.smt2 |
| Hanoi/mgs_towers-hanoi.73_7.smt2 |
| Hanoi/mgs_towers-hanoi.77_7.smt2 |
| Hanoi/mgs_towers-hanoi.90_7.smt2 |
| Hanoi/mgs_towers-hanoi.113_7.smt2 |
| Hanoi/mgs_towers-hanoi.110_7.smt2 |
| Hanoi/mgs_towers-hanoi.127_7.smt2 |
| Labyrinth/laby_17_17_09.lp.smt2 |
| Labyrinth/laby_17_17_07.lp.smt2 |
| Labyrinth/laby_18_18_14.lp.smt2 |
| DisjunctiveScheduling/disjunctiveScheduling.in1.smt2 |
| Labyrinth/laby_19_19_16.lp.smt2 |
| Labyrinth/laby_19_19_15.lp.smt2 |
| Labyrinth/laby_20_20_15.lp.smt2 |
| DisjunctiveScheduling/disjunctiveScheduling.in7.smt2 |
| Labyrinth/laby_18_18_04.lp.smt2 |
| Labyrinth/laby_21_21_16.lp.smt2 |
| Labyrinth/laby_22_22_09.lp.smt2 |
| Labyrinth/laby_21_21_12.lp.smt2 |
| Labyrinth/laby_21_21_07.lp.smt2 |
| DisjunctiveScheduling/disjunctiveScheduling.in8.smt2 |
| Labyrinth/laby_22_22_08.lp.smt2 |
| Labyrinth/laby_19_19_17.lp.smt2 |
| DisjunctiveScheduling/disjunctiveScheduling.in9.smt2 |
| Labyrinth/laby_19_19_14.lp.smt2 |
| Labyrinth/laby_21_21_15.lp.smt2 |
| Labyrinth/laby_21_21_19.lp.smt2 |
| Fastfood/a3.3.0.asp.smt2 |
| Fastfood/a7.3.4.tweaked.5.asp.smt2 |
| Labyrinth/laby_18_18_13.lp.smt2 |
| Fastfood/a7.3.3.asp.smt2 |
| Fastfood/a7.3.0.tweaked.5.asp.smt2 |
| Labyrinth/laby_18_18_11.lp.smt2 |
| Fastfood/a5.8.80.asp.smt2 |
| Fastfood/a9.8.11.asp.smt2 |
| Fastfood/a7.3.5.tweaked.2.asp.smt2 |
| Fastfood/a8.7.5.asp.smt2 |
| Fastfood/a3.3.2.asp.smt2 |
| Fastfood/a2.9.38.asp.smt2 |
| Labyrinth/laby_19_19_19.lp.smt2 |
| Fastfood/a7.3.5.tweaked.4.asp.smt2 |
| Fastfood/a7.3.1.tweaked.5.asp.smt2 |
| Labyrinth/laby_21_21_05.lp.smt2 |
| Fastfood/a7.3.0.tweaked.3.asp.smt2 |
| GraphPartitioning/rand_25_300_1235843609_0_k=3_v=8_e=15_unsat.gph.smt2 |
| GraphPartitioning/rand_15_75_1235849326_0_k=3_v=7_e=20_unsat.gph.smt2 |
| GraphPartitioning/rand_20_100_1235851242_0_k=3_v=15_e=25_sat.gph.smt2 |
| Fastfood/a7.3.3.tweaked.3.asp.smt2 |
| Fastfood/a7.3.5.tweaked.5.asp.smt2 |
| GraphPartitioning/rand_24_250_1235873539_0_k=3_v=9_e=15_unsat.gph.smt2 |
| GraphPartitioning/rand_25_200_1235404333_0_k=5_v=5_e=4_unsat.gph.smt2 |
| Fastfood/a7.3.4.tweaked.4.asp.smt2 |
| GraphPartitioning/rand_15_75_1235849326_0_k=3_v=7_e=30_sat.gph.smt2 |
| Labyrinth/laby_20_20_16.lp.smt2 |
| GraphPartitioning/rand_20_100_1235402004_0_k=6_v=4_e=4_sat.gph.smt2 |
| GraphPartitioning/rand_20_100_1235851242_0_k=3_v=10_e=20_unsat.gph.smt2 |
| GraphPartitioning/rand_24_250_1235873539_0_k=6_v=9_e=25_sat.gph.smt2 |
| GraphPartitioning/rand_30_300_1235855358_0_k=6_v=6_e=30_sat.gph.smt2 |
| GraphPartitioning/rand_21_150_1235870252_0_k=6_v=5_e=25_sat.gph.smt2 |
| Fastfood/a7.3.8.tweaked.1.asp.smt2 |
| GraphPartitioning/rand_25_300_1235843609_0_k=5_v=7_e=40_sat.gph.smt2 |
| GraphPartitioning/rand_21_150_1235870252_0_k=3_v=10_e=20_unsat.gph.smt2 |
| Solitaire/solitaire-edge-time=27.smt2 |
| Solitaire/solitaire-asymmetric-time=28.smt2 |
| Solitaire/solitaire-asymmetric-time=25.smt2 |
| Solitaire/solitaire-edge-time=26.smt2 |
| Solitaire/solitaire-center-time=26.smt2 |
| Solitaire/solitaire-center-time=32.smt2 |
| Solitaire/solitaire-center-time=31.smt2 |
| Solitaire/solitaire-center-time=25.smt2 |
| Solitaire/solitaire-edge-time=29.smt2 |
| Solitaire/solitaire-asymmetric-time=26.smt2 |
| Solitaire/solitaire-center-time=24.smt2 |
| Labyrinth/laby_17_17_02.lp.smt2 |
| Solitaire/solitaire-edge-time=25.smt2 |
| Solitaire/solitaire-edge-time=28.smt2 |
| Solitaire/solitaire-edge-time=32.smt2 |
| Solitaire/solitaire-asymmetric-time=32.smt2 |
| Solitaire/solitaire-center-time=29.smt2 |
| Solitaire/solitaire-edge-time=30.smt2 |
| Solitaire/solitaire-asymmetric-time=24.smt2 |
| Solitaire/solitaire-edge-time=31.smt2 |
| Solitaire/solitaire-center-time=30.smt2 |
| Solitaire/solitaire-asymmetric-time=29.smt2 |
| Solitaire/solitaire-center-time=28.smt2 |
| Solitaire/solitaire-center-time=27.smt2 |
| Solitaire/solitaire-edge-time=24.smt2 |
| Solitaire/solitaire-asymmetric-time=30.smt2 |
| Solitaire/solitaire-asymmetric-time=27.smt2 |
| Solitaire/solitaire-asymmetric-time=31.smt2 |
| Labyrinth/laby_20_20_04.lp.smt2 |
| Labyrinth/laby_21_21_01.lp.smt2 |
| Labyrinth/laby_21_21_18.lp.smt2 |
| Labyrinth/laby_22_22_19.lp.smt2 |
| Labyrinth/laby_22_22_17.lp.smt2 |
| Labyrinth/laby_22_22_11.lp.smt2 |
| Labyrinth/laby_22_22_13.lp.smt2 |