@relation featureRunstatus_ASP_Potassco @attribute instance_id string @attribute repetition numeric @attribute Static {ok,timeout,memout,crash,presolved,other,unknown} @attribute Dynamic-1 {ok,timeout,memout,crash,presolved,other,unknown} @attribute Dynamic-2 {ok,timeout,memout,crash,presolved,other,unknown} @attribute Dynamic-3 {ok,timeout,memout,crash,presolved,other,unknown} @attribute Dynamic-4 {ok,timeout,memout,crash,presolved,other,unknown} @data FolioSuite/ASP-Comp-2007-Lparse/SLparse/15-PuzzleCompetition/15-puzzle.init6.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/BlockedN-QueensCompetition/156.48.1960.36.1721326970.dat.data.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/BlockedN-QueensCompetition/156.48.1960.36.1721310106.dat.data.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/BlockedN-QueensCompetition/156.48.1960.36.1721283013.dat.data.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/BlockedN-QueensCompetition/156.48.1960.36.1721351180.dat.data.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/BoundedSpanningTree/104_rand_45_250_1727044175_0.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/BoundedSpanningTree/122_rand_35_250_1700139777_0.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/BoundedSpanningTree/122_rand_35_250_1700137086_0.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/BoundedSpanningTree/104_rand_45_250_1727042043_0.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/BoundedSpanningTree/122_rand_35_250_1700165461_0.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/CarSequencing/benchmark1_15classes.dlv.dat.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/CarSequencing/001.benchmark1_17classes.dlv.dat.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/Factoring/fact.grnd.sat.24.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/HamiltonianCycle/rand_200_1800_1154991214_9.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/HamiltonianCycle/rand_100_800_1155012316_11.gph.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2007-Lparse/SLparse/HamiltonianCycle/rand_150_1200_1154711577_4.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/HamiltonianPath/gryzzles.48.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/HamiltonianPath/gryzzles.30.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/HamiltonianPath/gryzzles.41.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/HamiltonianPath/hampath.ngrnd.6.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/HamiltonianPath/gryzzles.15.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/Hashiwokakero/hashiwokakero-size11-puzzle5.gz,1,other,other,other,other,other FolioSuite/ASP-Comp-2007-Lparse/SLparse/KnightsTour/knights_13_13_t17.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2007-Lparse/SLparse/KnightsTour/knights_20_20_t19.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2007-Lparse/SLparse/KnightsTour/knights_18_18_t8.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2007-Lparse/SLparse/KnightsTour/knights_17_17_t9.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2007-Lparse/SLparse/KnightsTour/knights_15_15_t9.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2007-Lparse/SLparse/RLP-150/lp.150.00750.23.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/RLP-150/lp.150.00675.13.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/RLP-150/lp.150.00825.25.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/RLP-150/lp.150.00675.26.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/RLP-200/lp.200.00700.1.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/RLP-200/lp.200.00700.15.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/RLP-200/lp.200.01100.8.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/RandomNonTight/n50-unsat-b16.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/RandomNonTight/n50-unsat-b6.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/RandomNonTight/n60-sat-b18.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/SchurCompetition/20.1.schur.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/SchurCompetition/15.10.schur.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/SchurCompetition/20.13.schur.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/SchurCompetition/15.17.schur.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/SchurCompetition/15.16.schur.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/SocialGolfer/csp010-SocialGolfer_w4_g6_s4.dlv.dat.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/SocialGolfer/csp010-SocialGolfer_w8_g4_s2.dlv.dat.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/SocialGolfer/csp010-SocialGolfer_w6_g6_s3.dlv.dat.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/SolitaireBackward2/t31.dat.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/SolitaireBackward2/t29.dat.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/SolitaireForward/solitare_forward_t24.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/Su-Doku/sudoku378.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2007-Lparse/SLparse/TowersOfHanoiCompetition/mgs_towers-hanoi.39_6.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/TowersOfHanoiCompetition/mgs_towers-hanoi.36_6.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/TowersOfHanoiCompetition/mgs_towers-hanoi.33_6.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/TowersOfHanoiCompetition/mgs_towers-hanoi.41_7.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/TowersOfHanoiCompetition/mgs_towers-hanoi.16_50.6.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/TravelingSalespersonSuite/tsp_rand_70_300_1155482584_11.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/TravelingSalespersonSuite/tsp_rand_70_300_1155482584_8.gph.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2007-Lparse/SLparse/TravelingSalespersonSuite/rand_80_340_1159656267_13.gph.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2007-Lparse/SLparse/TravelingSalespersonSuite/tsp_rand_70_300_1155482584_5.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/WeightBoundedDominatingSetSuite/rand_200_800_1159728969_10.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/WeightBoundedDominatingSetSuite/rand_150_600_1159731678_7.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/WeightedLatinSquareCompetition/505.6.1976043347.dat.data.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2007-Lparse/SLparse/WeightedLatinSquareCompetition/505.6.1976049584.dat.data.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2007-Lparse/SLparse/WeightedLatinSquareCompetition/505.6.1976048738.dat.data.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/WeightedLatinSquareCompetition/505.6.1976048051.dat.data.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2007-Lparse/SLparse/WeightedSpanningTree/209_rand_45_138_1119571853_0.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/WeightedSpanningTree/207_rand_35_138_2077119725_0.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/searchTest-plain/stp_sequence3-ss2.gz,1,other,other,other,other,other FolioSuite/ASP-Comp-2007-Lparse/SLparse/searchTest-plain/stp_sequence4-ss1.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2007-Lparse/SLparse/searchTest-plain/stp_sequence1-ss1.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2007-Lparse/SLparse/searchTest-plain/stp_sequence4-ss4.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/searchTest-verbose/stv_sequence2-ss2.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/searchTest-verbose/stv_sequence4-ss1.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2007-Lparse/SLparse/searchTest-verbose/stv_sequence3-ss3.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/searchTest-verbose/stv_sequence4-ss2.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/verifyTest-variableSearchSpace/vtvss_test13.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2007-Lparse/SLparse/verifyTest-variableSearchSpace/vtvss_test16.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2007-Lparse/SLparse/verifyTest-variableSearchSpace/vtvss_test19.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2007-Lparse/SLparse/verifyTest-variableSearchSpace/vtvss_test22.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2007-Lparse/SLparse/verifyTest-variableSearchSpace/vtvss_test24.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/Comp15Puzzle/15-puzzle.init13.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/Comp15Puzzle/15-puzzle.init12.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/Comp15Puzzle/15-puzzle.init11.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/Comp15Puzzle/15-puzzle.init2.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/Comp15Puzzle/15-puzzle.init3.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/Comp15Puzzle/15-puzzle.init7.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/Comp15Puzzle/15-puzzle.init1.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/Comp15Puzzle/15-puzzle.init5.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompBlockedNQueens/156.48.1960.36.1721286911.dat.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompBlockedNQueens/156.48.1960.36.1721329185.dat.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompBlockedNQueens/156.48.1960.36.1721347806.dat.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompBlockedNQueens/156.48.1960.36.1721301641.dat.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompBlockedNQueens/156.48.1960.36.1721349794.dat.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompBlockedNQueens/156.48.1960.36.1721327521.dat.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompBlockedNQueens/156.48.1960.36.1721326070.dat.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompBlockedNQueens/156.48.1960.36.1721297189.dat.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompBlockedNQueens/156.48.1960.36.1721325287.dat.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompBlockedNQueens/156.48.1960.36.1721330060.dat.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompChannelRouting/channelRoute.in4.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompChannelRouting/channelRoute.in2.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompChannelRouting/channelRoute.in8.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompChannelRouting/channelRoute.in5.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompChannelRouting/channelRoute.in10.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompConnectedDominatingSet/rand_50_250_1235345753_0_k=6_unsat.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompConnectedDominatingSet/rand_70_250_1235844252_0_k=13_sat.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompConnectedDominatingSet/rand_50_250_1235842610_0_k=7_sat.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompConnectedDominatingSet/rand_50_250_1235842610_0_k=6_unsat.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompConnectedDominatingSet/rand_40_200_1235844018_0_k=5_sat.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompConnectedDominatingSet/rand_60_400_1235843083_0_k=7_sat.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompConnectedDominatingSet/rand_55_250_1235855873_0_k=8_sat.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompConnectedDominatingSet/rand_65_500_1235857888_0_k=5_unsat.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompConnectedDominatingSet/rand_150_500_1235354638_0_k=15_unsat.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompEdgeMatching/edge-matching-width=10-height=10-colours=11.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompEdgeMatching/edge-matching-width=8-height=8-colours=15.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompEdgeMatching/edge-matching-width=9-height=9-colours=12.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompEdgeMatching/edge-matching-width=7-height=7-colours=13.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompEdgeMatching/edge-matching-width=7-height=7-colours=15.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompEdgeMatching/edge-matching-width=9-height=9-colours=8.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompEdgeMatching/edge-matching-width=9-height=9-colours=10.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompEdgeMatching/edge-matching-width=8-height=8-colours=14.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompEdgeMatching/edge-matching-width=10-height=10-colours=9.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompEdgeMatching/edge-matching-width=9-height=9-colours=15.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompEdgeMatching/edge-matching-width=7-height=7-colours=14.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompEdgeMatching/edge-matching-width=8-height=8-colours=12.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompEdgeMatching/edge-matching-width=8-height=8-colours=13.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompEdgeMatching/edge-matching-width=10-height=10-colours=13.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompEdgeMatching/edge-matching-width=7-height=7-colours=12.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompFastfood/a7.3.4.tweaked.5.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompFastfood/a2.9.32.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompFastfood/a3.3.0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompFastfood/a9.8.71.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompFastfood/a8.7.3.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompFastfood/a7.3.5.tweaked.5.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompFastfood/a3.3.2.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompFastfood/a7.3.0.tweaked.3.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompFastfood/a7.3.4.tweaked.4.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompGeneralizedSlitherlink/trisquares.59.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompGeneralizedSlitherlink/altair1.42.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompGeneralizedSlitherlink/penrose.50.asp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompGeneralizedSlitherlink/penrose.31.asp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompGeneralizedSlitherlink/penrose.11.asp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompGeneralizedSlitherlink/penrose.35.asp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompGeneralizedSlitherlink/trisquares.11.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompGeneralizedSlitherlink/penrosesmall.5.asp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompGeneralizedSlitherlink/trisquares.41.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompGeneralizedSlitherlink/altair1.54.asp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompGeneralizedSlitherlink/altair1.9.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompGeneralizedSlitherlink/trisquares.47.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompGeneralizedSlitherlink/trisquares.49.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompGraphColouring/graph-colouring-nodes=140-density=0.1-instance=8.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompGraphColouring/graph-colouring-nodes=145-density=0.1-instance=5.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompGraphColouring/graph-colouring-nodes=145-density=0.1-instance=7.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompGraphColouring/graph-colouring-nodes=140-density=0.1-instance=9.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompGraphColouring/graph-colouring-nodes=125-density=0.1-instance=3.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompGraphColouring/graph-colouring-nodes=150-density=0.1-instance=5.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompGraphColouring/graph-colouring-nodes=150-density=0.1-instance=3.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompGraphColouring/graph-colouring-nodes=145-density=0.1-instance=8.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompGraphColouring/graph-colouring-nodes=145-density=0.1-instance=2.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompGraphColouring/graph-colouring-nodes=140-density=0.1-instance=7.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompGraphColouring/graph-colouring-nodes=130-density=0.1-instance=7.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompGraphColouring/graph-colouring-nodes=145-density=0.1-instance=10.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompGraphColouring/graph-colouring-nodes=125-density=0.1-instance=2.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompGraphColouring/graph-colouring-nodes=130-density=0.1-instance=2.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompGraphColouring/graph-colouring-nodes=140-density=0.1-instance=2.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompGraphPartitioning/rand_30_300_1235855358_0_k=6_v=6_e=30_sat.gph.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompGraphPartitioning/rand_20_100_1235851242_0_k=3_v=10_e=20_unsat.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompGraphPartitioning/rand_25_300_1235843609_0_k=3_v=8_e=15_unsat.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHamiltonianPath/gryzzles.8.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHamiltonianPath/gryzzles.46.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHamiltonianPath/random.5.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompHamiltonianPath/gryzzles.22.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHamiltonianPath/gryzzles.32.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHamiltonianPath/gryzzles.44.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHamiltonianPath/gryzzles.30.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHamiltonianPath/gryzzles.23.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHamiltonianPath/gryzzles.48.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHamiltonianPath/gryzzles.37.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHamiltonianPath/gryzzles.18.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHamiltonianPath/gryzzles.12.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHamiltonianPath/gryzzles.6.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHamiltonianPath/gryzzles.16.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHamiltonianPath/random.2.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHanoi/mgs_towers-hanoi.97_7.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHanoi/mgs_towers-hanoi.113_7.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHanoi/mgs_towers-hanoi.93_7.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHanoi/mgs_towers-hanoi.80_7.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHanoi/mgs_towers-hanoi.83_7.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHanoi/mgs_towers-hanoi.90_7.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHanoi/mgs_towers-hanoi.70_7.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHanoi/mgs_towers-hanoi.77_7.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHierarchicalClustering/xy.12.x.12.r.3.274440616.806497.data_k=4_l=3_unsat.gph.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompHierarchicalClustering/xy.12.x.12.r.3.274440616.806497.data_k=3_l=4_sat.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHierarchicalClustering/xy.12.x.12.r.4.274529373.784913.data_k=4_l=4_sat.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompHierarchicalClustering/xy.11.x.11.r.3.712566045.949579.data_k=3_l=3_unsat.gph.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompHierarchicalClustering/xy.10.x.10.r.3.1268203948.99614.data_k=2_l=5_sat.gph.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompKnightTour/knightTour.in3.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompKnightTour/knightTour.in2.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompKnightTour/knightTour.in5.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompKnightTour/knightTour.in4.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompLabyrinth/laby_21_21_16.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompLabyrinth/laby_21_21_15.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompLabyrinth/laby_19_19_14.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompLabyrinth/laby_19_19_19.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompLabyrinth/laby_18_18_11.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompLabyrinth/laby_17_17_07.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompLabyrinth/laby_19_19_15.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompLabyrinth/laby_17_17_09.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompLabyrinth/laby_22_22_08.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompLabyrinth/laby_21_21_18.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompLabyrinth/laby_20_20_16.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompLabyrinth/laby_19_19_16.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompLabyrinth/laby_20_20_04.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompLabyrinth/laby_21_21_19.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompLabyrinth/laby_18_18_04.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompLabyrinth/laby_22_22_09.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompMazeGeneration/maze-generation-width=16-height=16-density=0.01-run=3.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompMazeGeneration/maze-generation-width=17-height=17-density=0.01-run=1.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompMazeGeneration/maze-generation-width=15-height=15-density=0.01-run=4.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompMazeGeneration/maze-generation-width=12-height=12-density=0.01-run=3.gz,1,other,other,other,other,other FolioSuite/ASP-Comp-2009-Lparse/CompMazeGeneration/maze-generation-width=17-height=17-density=0.01-run=3.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompMazeGeneration/maze-generation-width=15-height=15-density=0.01-run=5.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompMazeGeneration/maze-generation-width=14-height=14-density=0.01-run=3.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompMazeGeneration/maze-generation-width=10-height=10-density=0.01-run=1.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompMazeGeneration/maze-generation-width=19-height=19-density=0.01-run=4.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompMazeGeneration/maze-generation-width=21-height=21-density=0.01-run=2.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompMazeGeneration/maze-generation-width=12-height=12-density=0.01-run=1.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSchurNumbers/20.18.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSchurNumbers/20.6.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSchurNumbers/15.10.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSchurNumbers/20.13.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSchurNumbers/20.14.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSchurNumbers/20.10.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSchurNumbers/15.1.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSchurNumbers/15.8.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSchurNumbers/15.6.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSchurNumbers/15.20.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSchurNumbers/20.8.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSchurNumbers/15.13.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSchurNumbers/20.2.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSchurNumbers/20.1.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSchurNumbers/20.5.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSokoban/duthen-990602.50.steps.10.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSokoban/duthen-990602.75.steps.10.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSokoban/duthen-990602.73.steps.9.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSokoban/duthen-990602.37.steps.10.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSokoban/duthen-990602.76.steps.13.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSokoban/dimitri_yorick.57.steps.7.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSokoban/duthen-990602.49.steps.13.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSokoban/duthen-990602.34.steps.14.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSokoban/duthen-990602.70.steps.13.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSokoban/duthen-990602.69.steps.14.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSolitaire/solitaire-edge-time=29.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSolitaire/solitaire-edge-time=26.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSolitaire/solitaire-edge-time=27.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSolitaire/solitaire-edge-time=28.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSolitaire/solitaire-asymmetric-time=25.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompSolitaire/solitaire-asymmetric-time=24.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompSolitaire/solitaire-center-time=28.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSolitaire/solitaire-edge-time=25.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompSolitaire/solitaire-asymmetric-time=29.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSolitaire/solitaire-center-time=26.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSolitaire/solitaire-center-time=27.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSudoku/sudoku.in1.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompSudoku/sudoku.in7.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompSudoku/sudoku.in6.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompSudoku/sudoku.in10.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompSudoku/sudoku.in4.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompTravellingSalesperson/tsp_rand_70_300_1155482584_5.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompTravellingSalesperson/rand_80_340_1159656267_11.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompTravellingSalesperson/tsp_rand_70_300_1155482584_11.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompTravellingSalesperson/rand_70_300_1155482584_3.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompTravellingSalesperson/rand_70_300_1155482584_7.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompTravellingSalesperson/rand_80_340_1159656267_16.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompTravellingSalesperson/tsp_rand_70_300_1155482584_9.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompTravellingSalesperson/rand_80_340_1159656267_17.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompTravellingSalesperson/rand_80_340_1159656267_4.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompTravellingSalesperson/rand_70_300_1155482584_14.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompTravellingSalesperson/rand_80_340_1159656267_18.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompTravellingSalesperson/rand_70_300_1155482584_9.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompTravellingSalesperson/rand_70_300_1155482584_4.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompTravellingSalesperson/rand_80_340_1159656267_13.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2009-Lparse/CompWeightBoundedDominatingSet/rand_200_800_1159728969_14.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWeightBoundedDominatingSet/rand_100_400_1159666138_19.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWeightBoundedDominatingSet/rand_200_800_1159728969_9.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWeightBoundedDominatingSet/rand_150_600_1159731678_12.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWeightBoundedDominatingSet/rand_100_400_1159666138_2.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWeightBoundedDominatingSet/rand_150_600_1159731678_5.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWeightBoundedDominatingSet/rand_100_400_1159666138_3.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWeightBoundedDominatingSet/rand_200_800_1159728969_6.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWeightBoundedDominatingSet/rand_100_400_1159666138_9.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWeightBoundedDominatingSet/rand_100_400_1159666138_7.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWeightBoundedDominatingSet/rand_150_600_1159731678_6.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWeightBoundedDominatingSet/rand_150_600_1159731678_15.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWeightBoundedDominatingSet/rand_200_800_1159728969_7.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWeightBoundedDominatingSet/rand_100_400_1159666138_5.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWeightBoundedDominatingSet/rand_150_600_1159731678_17.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWireRouting/wire.15.x.15.b.10.a.30_sat.data.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWireRouting/wire.14.x.14.b.8.a.20_unsat.data.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWireRouting/wire.14.x.14.b.8.a.40_unsat.data.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWireRouting/wire.13.x.13.b.5.a.30_sat.data.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWireRouting/wire.16.x.16.b.10.a.20_unsat.data.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWireRouting/wire.16.x.16.b.5.a.30_sat.data.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWireRouting/wire.13.x.13.b.7.a.10_unsat.data.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWireRouting/wire.10.x.10.b.5.a.35_sat.data.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWireRouting/wire.12.x.12.b.5.a.15_unsat.data.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWireRouting/wire.15.x.15.b.2.a.25_sat.data.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWireRouting/wire.13.x.13.b.7.a.15_sat.data.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWireRouting/wire.13.x.13.b.7.a.30_sat.data.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2009-Lparse/CompWireRouting/wire.14.x.14.b.8.a.30_unsat.data.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/10-SokobanDecision/12-sokoban_decision-0-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/10-SokobanDecision/49-sokoban_decision-0-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/10-SokobanDecision/50-sokoban_decision-0-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/10-SokobanDecision/16-sokoban_decision-0-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/10-SokobanDecision/6-sokoban_decision-0-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/10-SokobanDecision/4-sokoban_decision-0-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/12-KnightTour/01-knight_tour-8-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/12-KnightTour/06-knight_tour-20-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/12-KnightTour/09-knight_tour-46-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/12-KnightTour/08-knight_tour-40-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/12-KnightTour/02-knight_tour-10-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/13-DisjunctiveScheduling/01-disjunctive_scheduling-1000-0.asp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2011-Lparse/13-DisjunctiveScheduling/10-disjunctive_scheduling-205-0.asp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2011-Lparse/17-Labyrinth/147-labyrinth-18-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/17-Labyrinth/225-labyrinth-22-0.asp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2011-Lparse/17-Labyrinth/169-labyrinth-19-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/17-Labyrinth/123-labyrinth-17-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/17-Labyrinth/131-labyrinth-17-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/19-MultiContextSystemQuerying/39-multi_context_system_querying-0-0.asp.gz,1,other,other,other,other,other FolioSuite/ASP-Comp-2011-Lparse/19-MultiContextSystemQuerying/60-multi_context_system_querying-0-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/19-MultiContextSystemQuerying/32-multi_context_system_querying-0-0.asp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2011-Lparse/19-MultiContextSystemQuerying/64-multi_context_system_querying-0-0.asp.gz,1,other,other,other,other,other FolioSuite/ASP-Comp-2011-Lparse/19-MultiContextSystemQuerying/00-multi_context_system_querying-0-0.asp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2011-Lparse/20-Numberlink/2-numberlink-0-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/20-Numberlink/87-numberlink-0-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/20-Numberlink/9-numberlink-0-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/20-Numberlink/94-numberlink-0-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/22-HanoiTower/56-hanoi_tower-120-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/22-HanoiTower/09-hanoi_tower-28-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/22-HanoiTower/51-hanoi_tower-120-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/22-HanoiTower/10-hanoi_tower-29-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/22-HanoiTower/57-hanoi_tower-120-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/22-HanoiTower/59-hanoi_tower-120-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/25-GraphColouring/53-graph_colouring-150-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/25-GraphColouring/9-graph_colouring-125-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/25-GraphColouring/58-graph_colouring-150-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/25-GraphColouring/59-graph_colouring-150-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/26-Solitaire/15-solitaire-50-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/26-Solitaire/3-solitaire-19-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/26-Solitaire/16-solitaire-50-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/26-Solitaire/25-solitaire-50-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/26-Solitaire/1-solitaire-20-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/26-Solitaire/17-solitaire-50-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/26-Solitaire/4-solitaire-100-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/33-MazeGeneration/14-maze_generation-0-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/33-MazeGeneration/41-maze_generation-0-0.asp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2011-Lparse/33-MazeGeneration/22-maze_generation-0-0.asp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2011-Lparse/33-MazeGeneration/10-maze_generation-0-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/ASP-Comp-2011-Lparse/33-MazeGeneration/31-maze_generation-0-0.asp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ASP-Comp-2011-Lparse/33-MazeGeneration/37-maze_generation-0-0.asp.gz,1,ok,ok,ok,ok,ok FolioSuite/BoundedSpanningTree/104_rand_45_250_1727052928_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/BoundedSpanningTree/122_rand_35_250_1700138097_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/BoundedSpanningTree/122_rand_35_250_1700167469_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/BoundedSpanningTree/104_rand_45_250_1727044175_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/BoundedSpanningTree/104_rand_45_250_1727047830_0.gph.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/BoundedSpanningTree/104_rand_45_250_1727042043_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/BoundedSpanningTree/122_rand_35_250_1700138821_0.gph.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/BoundedSpanningTree/122_rand_35_250_1700167407_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/BoundedSpanningTree/104_rand_45_250_1727068712_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/BoundedSpanningTree/104_rand_45_250_1727040917_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/BoundedSpanningTree/104_rand_45_250_1727038210_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/BoundedSpanningTree/104_rand_45_250_1727050284_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/BoundedSpanningTree/122_rand_35_250_1700139777_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/BoundedSpanningTree/104_rand_45_250_1727040059_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/BoundedSpanningTree/122_rand_35_250_1700137086_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/BoundedSpanningTree/122_rand_35_250_1700163981_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/BoundedSpanningTree/122_rand_35_250_1700137959_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/CarSequencing/benchmark1_9classes.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/CarSequencing/benchmark3_15classes.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/CarSequencing/benchmark2_13classes.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/CarSequencing/benchmark3_14classes.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/CarSequencing/benchmark3_13classes.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/CarSequencing/001.benchmark2_12classes.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/CarSequencing/benchmark1_17classes.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/CarSequencing/benchmark3_6classes.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/CarSequencing/001.benchmark2_10classes.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/CarSequencing/benchmark3_9classes.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/CarSequencing/001.benchmark2_8classes.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/CarSequencing/benchmark1_5classes.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/CarSequencing/001.benchmark2_16classes.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/CarSequencing/benchmark2_14classes.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/CarSequencing/benchmark1_14classes.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/CarSequencing/001.benchmark2_11classes.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/CarSequencing/benchmark2_9classes.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/CarSequencing/benchmark1_8classes.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/CarSequencing/benchmark2_18classes..dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/EqTest/qeq.12.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/EqTest/qeq.13.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/EqTest/qeq.06.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/EqTest/qeq.09.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/EqTest/qeq.10.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/Factoring/fact.grnd.sat.15.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/Factoring/fact.grnd.unsat.15.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/Factoring/fact.grnd.sat.20.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/Factoring/fact.grnd.unsat.20.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/Fastfood/a4.7.10.sm.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/Fastfood/a2.9.22.sm.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/Fastfood/a8.7.0.sm.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/Fastfood/a3.3.3.sm.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/Fastfood/a5.10.10.sm.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/Fastfood/a7.3.5.sm.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/Fastfood/a9.8.61.sm.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/HamiltonClumpy/08/clumpy-08x08_03.sm.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/HamiltonClumpy/08/clumpy-08x08_10.sm.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/HamiltonClumpy/08/clumpy-08x08_09.sm.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/HamiltonClumpy/08/clumpy-08x08_01.sm.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/HamiltonClumpy/08/clumpy-08x08_05.sm.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/HamiltonClumpy/18/clumpy-18x18_08.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonClumpy/18/clumpy-18x18_01.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonClumpy/18/clumpy-18x18_02.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonClumpy/18/clumpy-18x18_07.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonClumpy/18/clumpy-18x18_10.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonClumpy/20/clumpy-20x20_09.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonClumpy/20/clumpy-20x20_04.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonClumpy/20/clumpy-20x20_05.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonClumpy/21/clumpy-21x21_08.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonClumpy/21/clumpy-21x21_03.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonClumpy/21/clumpy-21x21_06.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonClumpy/21/clumpy-21x21_07.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonClumpy/21/clumpy-21x21_01.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonClumpy/21/clumpy-21x21_02.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonClumpy/22/clumpy-22x22_06.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonClumpy/22/clumpy-22x22_02.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonClumpy/22/clumpy-22x22_10.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonClumpy/22/clumpy-22x22_07.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonClumpy/22/clumpy-22x22_04.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonClumpy/22/clumpy-22x22_05.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianCycle/rand_100_800_1155012316_3.gph.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/HamiltonianCycle/rand_150_1200_1154711577_12.gph.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/HamiltonianCycle/rand_100_800_1155012316_5.gph.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/HamiltonianCycle/rand_150_1200_1154711577_8.gph.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/HamiltonianCycle/rand_150_1200_1154711577_9.gph.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/HamiltonianCycle/rand_200_1800_1154991214_12.gph.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/HamiltonianCycle/rand_200_1800_1154991214_6.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianCycle/rand_200_1800_1154991214_4.gph.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/HamiltonianCycle/rand_100_800_1155012316_7.gph.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/HamiltonianCycle/rand_100_800_1155012316_1.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianCycle/rand_100_800_1155012316_4.gph.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/HamiltonianCycle/rand_150_1200_1154711577_4.gph.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/HamiltonianCycle/rand_200_1800_1154991214_7.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianCycle/rand_200_1800_1154991214_9.gph.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/HamiltonianCycle/rand_150_1200_1154711577_0.gph.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/HamiltonianCycle/rand_100_800_1155012316_12.gph.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/HamiltonianCycle/rand_150_1200_1154711577_6.gph.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/HamiltonianCycle/rand_100_800_1155012316_9.gph.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/HamiltonianCycle/rand_150_1200_1154711577_3.gph.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/HamiltonianCycle/rand_200_1800_1154991214_18.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/gryzzles.39.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/hampath.ngrnd.2.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/HamiltonianPath/gryzzles.3.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/gryzzles.1.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/gryzzles.19.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/gryzzles.49.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/gryzzles.25.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/gryzzles.29.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/gryzzles.26.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/gryzzles.2.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/gryzzles.8.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/gryzzles.21.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/gryzzles.9.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/gryzzles.47.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/gryzzles.17.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/gryzzles.11.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/gryzzles.34.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/hampath.ngrnd.6.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/gryzzles.12.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/HamiltonianPath/gryzzles.36.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/gryzzles.15.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/hampath.ngrnd.1.lp.gz,1,other,other,other,other,other FolioSuite/HamiltonianPath/gryzzles.32.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/gryzzles.30.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/gryzzles.5.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/gryzzles.18.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/gryzzles.28.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/gryzzles.4.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/HamiltonianPath/gryzzles.33.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/LTL-BMC/dp_10.formula1-i-O2-b12.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/LTL-BMC/dp_8.formula1-i-O2-b10.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/LTL-BMC/dp_10.formula1-s-O2-b9.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/robo38.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr08-13.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr16-12.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr10-07.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr05-05.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr08-09.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr01-05.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr13-09.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr01-07.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr06-08.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr13-08.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr02-10.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr05-11.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr04-07.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr02-08.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr01-09.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr05-06.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr11-06.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/robo27.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/robo33.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr10-11.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/robo39.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr07-03.sm.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/RicochetRobots/rr02-05.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/robo28.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr08-08.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr03-07.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr08-12.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr09-02.sm.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/RicochetRobots/rr10-09.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr05-08.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr08-11.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr12-07.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/robo2.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/robo3.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr05-10.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr11-09.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr16-06.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr02-06.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/robo25.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/RicochetRobots/rr11-07.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/SchurCompetition/20.18.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SchurCompetition/20.6.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SchurCompetition/15.14.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SchurCompetition/20.19.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SchurCompetition/20.4.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SchurCompetition/15.10.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SchurCompetition/20.16.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SchurCompetition/20.7.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SchurCompetition/15.6.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SchurCompetition/20.20.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SchurCompetition/15.5.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SchurCompetition/20.2.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SchurCompetition/15.1.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SchurCompetition/15.4.schur.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SchurNumbers/15.3.schur.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/SchurNumbers/15.1.schur.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/SchurNumbers/15.20.schur.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w5_g4_s2.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w3_g4_s2.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w8_g2_s2.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w8_g4_s2.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w5_g6_s3.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w8_g5_s5.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w2_g4_s5.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w4_g6_s4.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w8_g4_s3.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w5_g5_s2.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w3_g4_s5.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w6_g5_s3.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w4_g6_s5.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w7_g2_s4.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w3_g4_s4.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w2_g6_s4.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w5_g5_s5.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w5_g3_s3.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w8_g2_s5.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w2_g2_s4.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w5_g4_s4.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w8_g5_s2.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w5_g6_s4.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w7_g5_s6.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w4_g2_s4.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w6_g3_s3.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w3_g5_s2.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w6_g4_s5.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w7_g5_s5.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w4_g2_s5.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w7_g4_s5.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w3_g5_s3.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w6_g6_s5.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w3_g5_s6.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w6_g3_s6.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w3_g3_s4.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w7_g2_s5.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w5_g6_s2.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w2_g4_s4.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w3_g2_s6.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w3_g3_s2.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w6_g5_s4.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w2_g2_s6.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w3_g3_s5.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w7_g3_s2.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w3_g6_s4.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w8_g4_s4.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w6_g3_s4.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w4_g4_s4.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w2_g4_s2.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w4_g2_s3.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w5_g3_s5.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w8_g4_s5.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w6_g2_s2.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w5_g4_s3.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w6_g3_s5.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w2_g2_s3.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w7_g6_s4.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w8_g3_s6.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w6_g2_s3.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w6_g6_s4.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w2_g2_s2.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w2_g6_s6.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w5_g4_s6.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w2_g3_s4.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w8_g4_s6.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w5_g5_s3.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w4_g5_s4.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w6_g4_s2.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w8_g5_s6.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w7_g6_s3.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w3_g6_s6.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w8_g2_s6.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w7_g2_s3.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w6_g4_s3.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w6_g5_s6.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w3_g6_s2.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w2_g4_s6.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SocialGolfer/csp010-SocialGolfer_w4_g6_s3.dlv.dat.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SocialGolfer/csp010-SocialGolfer_w6_g4_s6.dlv.dat.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko013.lp-34-861.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko033.lp-17-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko049.lp-15-1630.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko022.lp-20-14778.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko035.lp-21-269.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko026.lp-17-524.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko029.lp-33-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko009.lp-16-290.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko021.lp-17-1565.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko022.lp-16-259.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko035.lp-25-1574.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko008.lp-32-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko013.lp-36-9550.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko025.lp-22-13878.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko035.lp-27-4470.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko046.lp-19-19503.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko051.lp-14-2378.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko035.lp-26-2574.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko019.lp-20-836.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko001.lp-17-4145.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko042.lp-14-1747.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko047.lp-19-8149.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko013.lp-31-337.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko031.lp-17-547.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko025.lp-23-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko032.lp-15-488.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko026.lp-20-4343.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko027.lp-16-343.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko035.lp-22-542.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko034.lp-13-207.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko044.lp-20-321.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko049.lp-17-8160.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko019.lp-17-231.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko043.lp-18-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko041.lp-14-1048.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko033.lp-16-10568.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko018.lp-20-8966.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko014.lp-22-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko029.lp-32-6805.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko008.lp-30-5732.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko046.lp-16-372.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko021.lp-20-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko047.lp-17-967.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko047.lp-18-2698.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko008.lp-28-452.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko049.lp-14-734.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko051.lp-13-542.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko035.lp-30-14416.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko013.lp-30-298.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko022.lp-18-1963.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko042.lp-16-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko029.lp-28-261.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko026.lp-19-2385.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko041.lp-16-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko025.lp-18-937.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko013.lp-35-893.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko046.lp-18-5132.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko049.lp-18-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko013.lp-32-637.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko020.lp-27-482.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko018.lp-21-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko029.lp-30-1707.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko001.lp-18-10105.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko042.lp-13-321.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko008.lp-29-1306.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko013.lp-39-16163.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko020.lp-28-1933.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko031.lp-18-1992.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko018.lp-19-3046.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko020.lp-29-710.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko036.lp-18-1640.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko034.lp-16-5765.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko043.lp-15-248.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko043.lp-17-8747.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko031.lp-21-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko021.lp-18-7747.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko021.lp-16-955.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Sokoban-Hard/handmade_soko027.lp-17-859.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireBackward/solitare_backward_t38_p39.lp.lp.gz,1,other,other,other,other,other FolioSuite/SolitaireBackward/solitare_backward_t26_p27.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireBackward/solitare_backward_t36_p37.lp.lp.gz,1,other,other,other,other,other FolioSuite/SolitaireBackward/solitare_backward_t34_p35.lp.lp.gz,1,other,other,other,other,other FolioSuite/SolitaireBackward/solitare_backward_t32_p33.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SolitaireBackward/solitare_backward_t37_p38.lp.lp.gz,1,other,other,other,other,other FolioSuite/SolitaireBackward/solitare_backward_t15_p16.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireBackward/solitare_backward_t18_p19.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireBackward/solitare_backward_t12_p13.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireBackward/solitare_backward_t31_p32.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireBackward/solitare_backward_t20_p21.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireBackward/solitare_backward_t27_p28.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireBackward/solitare_backward_t28_p29.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireBackward/solitare_backward_t5_p6.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireBackward/solitare_backward_t39_p40.lp.lp.gz,1,other,other,other,other,other FolioSuite/SolitaireBackward/solitare_backward_t21_p22.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireBackward/solitare_backward_t9_p10.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireBackward2/t25.dat.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireBackward2/t27.3.dat.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireBackward2/t22.dat.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireBackward2/t29.dat.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireBackward2/t23.dat.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireForward/solitare_forward_t28.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireForward/solitare_forward_t45.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireForward/solitare_forward_t43.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireForward/solitare_forward_t21.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireForward/solitare_forward_t33.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireForward/solitare_forward_t15.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SolitaireForward/solitare_forward_t30.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireForward/solitare_forward_t11.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SolitaireForward/solitare_forward_t20.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SolitaireForward/solitare_forward_t40.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireForward/solitare_forward_t18.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireForward/solitare_forward_t41.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireForward/solitare_forward_t26.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireForward/solitare_forward_t47.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireForward/solitare_forward_t19.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SolitaireForward/solitare_forward_t22.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireForward/solitare_forward_t36.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireForward/solitare_forward_t25.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireForward/solitare_forward_t49.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/SolitaireForward/solitare_forward_t17.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/SolitaireForward/solitare_forward_t50.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/Su-Doku/sudoku378.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/Su-Doku/puzzle-easy.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/Su-Doku/puzzle-possiblebroken.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/Su-Doku/sudoku368.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/Synthesis/mutex3AsyncNondet.sm.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/Synthesis/phi2AsyncDet.sm.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/Synthesis/mutex4IDFD.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Synthesis/phi3AsyncNondet.sm.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/Synthesis/mutex2AsyncNondet.sm.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/Synthesis/phi4IDFD.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/Synthesis/mutex3AsyncDet.sm.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/TowersOfHanoiCompetition/mgs_towers-hanoi.20_55.7.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/TowersOfHanoiCompetition/mgs_towers-hanoi.38_6.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/TowersOfHanoiCompetition/mgs_towers-hanoi.35_6.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/TowersOfHanoiCompetition/mgs_towers-hanoi.37_6.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/TowersOfHanoiCompetition/mgs_towers-hanoi.16_54.6.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/TowersOfHanoiCompetition/mgs_towers-hanoi.32_63.6.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/TowersOfHanoiCompetition/mgs_towers-hanoi.21_53_6.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/TowersOfHanoiCompetition/mgs_towers-hanoi.40_7.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/TowersOfHanoiCompetition/mgs_towers-hanoi.40_6.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/TowersOfHanoiCompetition/mgs_towers-hanoi.16_56.6.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/TowersOfHanoiCompetition/mgs_towers-hanoi.41_6.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/TowersOfHanoiCompetition/mgs_towers-hanoi.42_6.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightBoundedDominatingSetSuite/rand_200_800_1159728969_2.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightBoundedDominatingSetSuite/rand_150_600_1159731678_12.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightBoundedDominatingSetSuite/rand_150_600_1159731678_7.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightBoundedDominatingSetSuite/rand_200_800_1159728969_1.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightBoundedDominatingSetSuite/rand_200_800_1159728969_8.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightBoundedDominatingSetSuite/rand_100_400_1159666138_1.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightBoundedDominatingSetSuite/rand_100_400_1159666138_8.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightBoundedDominatingSetSuite/rand_150_600_1159731678_8.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightBoundedDominatingSetSuite/rand_200_800_1159728969_4.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightBoundedDominatingSetSuite/rand_100_400_1159666138_3.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightBoundedDominatingSetSuite/rand_200_800_1159728969_6.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightBoundedDominatingSetSuite/rand_150_600_1159731678_11.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightBoundedDominatingSetSuite/rand_100_400_1159666138_5.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightBoundedDominatingSetSuite/rand_100_400_1159666138_13.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightBoundedDominatingSetSuite/rand_200_800_1159728969_11.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightBoundedDominatingSetSuite/rand_150_600_1159731678_17.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightBoundedDominatingSetSuite/rand_100_400_1159666138_7.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightBoundedDominatingSetSuite/rand_100_400_1159666138_6.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightBoundedDominatingSetSuite/rand_150_600_1159731678_6.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightBoundedDominatingSetSuite/rand_200_800_1159728969_9.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightBoundedDominatingSetSuite/rand_100_400_1159666138_2.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightedSpanningTree/205_rand_32_140_1344655193_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightedSpanningTree/205_rand_32_140_1344634881_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightedSpanningTree/206_rand_32_145_1872928657_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightedSpanningTree/206_rand_32_145_1872937623_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightedSpanningTree/207_rand_35_138_2077101081_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightedSpanningTree/207_rand_35_138_2077119725_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightedSpanningTree/206_rand_32_145_1872928606_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightedSpanningTree/206_rand_32_145_1872937399_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightedSpanningTree/207_rand_35_138_2077113361_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightedSpanningTree/209_rand_45_138_1119566817_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightedSpanningTree/206_rand_32_145_1872947197_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightedSpanningTree/209_rand_45_138_1119567351_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightedSpanningTree/207_rand_35_138_2077111672_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/WeightedSpanningTree/207_rand_35_138_2077106370_0.gph.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/benchmarks/schur.4-45.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/benchmarks/qeq.11.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/benchmarks/knight-53.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/benchmarks/15-puzzle.18.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/benchmarks/qeq.10.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/benchmarks/15-puzzle.20.lp.gz,1,other,other,other,other,other FolioSuite/benchmarks/prime-18-18.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/coala/blocksworld/coala_b13_19.lparse.gz,1,ok,ok,ok,ok,ok FolioSuite/coala/blocksworld/coala_b14_21.lparse.gz,1,ok,ok,ok,ok,ok FolioSuite/coala/blocksworld/coala_b14_20.lparse.gz,1,ok,ok,ok,ok,ok FolioSuite/coala/blocksworld/coala_b15_22.lparse.gz,1,ok,ok,ok,ok,ok FolioSuite/coala/blocksworld/coala_b15_21.lparse.gz,1,ok,ok,ok,ok,ok FolioSuite/coala/hanoi/coala_h05_126.lparse.gz,1,ok,ok,ok,ok,ok FolioSuite/ggp/slidingpieces.gdlclingo.pl.gr.gz,1,other,other,other,other,other FolioSuite/ggp/statespacelarge.gdlclingo.pl.gr.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ggp/knightmove.gdlclingo.pl.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/ggp/troublemaker02.gdlclingo.pl.gr.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ggp/buttons.gdlclingo.pl.gr.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ggp/max_knights.gdlclingo.pl.gr.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ggp/queens.gdlclingo.pl.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/ggp/chinesecheckers1.gdlclingo.pl.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/ggp/statespacesmall.gdlclingo.pl.gr.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ggp/wargame01.gdlclingo.pl.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/ggp/hanoi7.gdlclingo.pl.gr.gz,1,other,other,other,other,other FolioSuite/ggp/pancakes88.gdlclingo.pl.gr.gz,1,other,other,other,other,other FolioSuite/ggp/snake_2008.gdlclingo.pl.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/ggp/asteroids.gdlclingo.pl.gr.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ggp/peg.gdlclingo.pl.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/ggp/hanoi.gdlclingo.pl.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/ggp/lightsout2.gdlclingo.pl.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/ggp/troublemaker01.gdlclingo.pl.gr.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ggp/twisty-passages.gdlclingo.pl.gr.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ggp/duplicatestatelarge.gdlclingo.pl.gr.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ggp/duplicatestatesmall.gdlclingo.pl.gr.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ggp/firefighter.gdlclingo.pl.gr.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ggp/hanoi7_bugfix.gdlclingo.pl.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/ggp/brain_teaser_extended.gdlclingo.pl.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/ggp/8puzzle.gdlclingo.pl.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/ggp/statespacemedium.gdlclingo.pl.gr.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ggp/tpeg.gdlclingo.pl.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/ggp/aipsrovers01.gdlclingo.pl.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/ggp/ruledepthlinear.gdlclingo.pl.gr.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ggp/blocksworldserial.gdlclingo.pl.gr.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ggp/maze.gdlclingo.pl.gr.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/ggp/blocks.gdlclingo.pl.gr.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/graph_colouring/graph-colouring-nodes=135-density=0.1-instance=7.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=130-density=0.1-instance=2.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=135-density=0.1-instance=2.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=150-density=0.1-instance=6.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=150-density=0.1-instance=9.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=150-density=0.1-instance=3.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=140-density=0.1-instance=7.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=140-density=0.1-instance=9.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=140-density=0.1-instance=5.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=130-density=0.1-instance=4.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=140-density=0.1-instance=8.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=145-density=0.1-instance=7.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=150-density=0.1-instance=8.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=125-density=0.1-instance=6.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=135-density=0.1-instance=9.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=150-density=0.1-instance=2.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=125-density=0.1-instance=1.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=125-density=0.1-instance=2.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=150-density=0.1-instance=1.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=130-density=0.1-instance=3.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=140-density=0.1-instance=1.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=140-density=0.1-instance=10.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=145-density=0.1-instance=9.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=135-density=0.1-instance=1.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=125-density=0.1-instance=10.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=135-density=0.1-instance=8.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=145-density=0.1-instance=10.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/graph_colouring/graph-colouring-nodes=150-density=0.1-instance=4.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/gridpuzzle/masyu-6.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/gridpuzzle/masyu-1.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/gridpuzzle/heyawake-7.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/gridpuzzle/nurikabe-10.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/gridpuzzle/heyawake-10.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/gridpuzzle/heyawake-4.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/gridpuzzle/nurikabe-7.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/gridpuzzle/nurikabe-6.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/gridpuzzle/nurikabe-2.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/gridpuzzle/masyu-3.lp.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/gridpuzzle/heyawake-3.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/gridpuzzle/heyawake-2.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/gridpuzzle/heyawake-9.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/gridpuzzle/nurikabe-9.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/gridpuzzle/nurikabe-1.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/gridpuzzle/heyawake-6.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/gridpuzzle/nurikabe-8.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/gridpuzzle/nurikabe-4.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/gridpuzzle/nurikabe-3.lp.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_11_12_18060.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_12_8_10087.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_8_5_15086.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_8_6_7697.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_9_10_20668.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_10_8_21390.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_10_6_6870.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_8_12_29466.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_5_12_32132.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_8_5_3208.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_11_5_6587.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_9_6_18867.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_11_10_24491.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_9_12_7268.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_12_6_20395.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_6_5_4849.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_5_8_9696.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_8_7_28061.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_10_8_8756.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_9_9_8242.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_11_12_18926.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_12_7_7410.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_5_8_22173.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_5_9_11305.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_7_6_1974.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_6_11_20080.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_6_12_13512.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_5_6_21684.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_10_9_10448.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_7_5_10755.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_9_10_27391.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_9_7_6566.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_9_12_21990.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_7_11_15374.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_8_5_11214.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_7_8_23798.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_10_8_4281.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_9_8_2565.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_11_11_6617.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_7_8_27873.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_7_9_533.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_11_7_24468.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_8_9_18928.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_5_12_7218.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_6_11_28693.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_11_8_22827.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_6_10_31516.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_11_7_23062.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_6_12_24774.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_12_11_13514.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_12_8_11588.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_5_11_13077.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_10_5_23026.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_9_8_6082.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_11_9_2657.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_5_12_16376.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_6_7_22666.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_7_12_28095.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_10_6_31235.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_6_5_18711.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_6_8_2039.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_11_10_4218.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_5_7_28562.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_5_6_1498.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_10_9_28340.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_11_6_7393.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_12_6_15744.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_5_11_20848.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_8_11_20372.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_9_5_25105.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_9_7_11850.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_7_10_24634.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_11_11_15854.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_12_7_2539.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_10_7_26892.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_11_10_29476.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_12_10_31636.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_12_12_22669.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_10_12_3879.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_11_6_12999.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_8_9_21601.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_8_11_14130.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_8_7_11562.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_7_5_1923.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_12_5_4301.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_6_12_26485.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_6_9_32144.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_5_8_13347.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/hardwareASP/hard_inst_12_12_17302.gr.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_21_21_01.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_13_13_02.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_10_10_13.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_12_12_08.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_15_15_03.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_18_18_04.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_10_10_18.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/laby/laby_16_16_10.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_10_10_12.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_11_11_04.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_22_22_03.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_19_19_10.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_21_21_07.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_19_19_02.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_11_11_16.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_10_10_04.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_18_18_02.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_14_14_06.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_16_16_09.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_21_21_15.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_12_12_17.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_17_17_16.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_20_20_20.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_16_16_07.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_19_19_15.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_22_22_08.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_12_12_12.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_10_10_17.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_18_18_20.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_15_15_07.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_10_10_08.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_18_18_01.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_20_20_19.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_14_14_16.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_16_16_05.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_17_17_18.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_22_22_13.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_20_20_07.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_20_20_18.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_15_15_20.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/laby/laby_17_17_13.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_14_14_12.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_12_12_10.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_17_17_17.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_11_11_18.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_13_13_15.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_21_21_06.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_18_18_07.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_20_20_04.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_19_19_19.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_11_11_17.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_20_20_08.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_18_18_17.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_19_19_09.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_11_11_02.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_20_20_11.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_15_15_17.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_15_15_10.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_11_11_06.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_13_13_10.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_16_16_17.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_21_21_14.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_19_19_16.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_20_20_15.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_13_13_06.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_10_10_06.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_16_16_13.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_19_19_11.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_14_14_14.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_18_18_11.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_15_15_16.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_22_22_17.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_15_15_04.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_13_13_03.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_15_15_11.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_14_14_19.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_20_20_03.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_19_19_05.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_12_12_06.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_21_21_13.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_20_20_09.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_13_13_17.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/laby/laby_19_19_17.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_17_17_02.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_18_18_06.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_14_14_10.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_21_21_18.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_11_11_08.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_16_16_12.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_16_16_14.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_13_13_19.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_21_21_09.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_22_22_20.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_14_14_05.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_19_19_18.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_17_17_01.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_15_15_08.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_10_10_05.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_15_15_05.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_14_14_15.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_18_18_05.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_19_19_04.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_10_10_15.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_21_21_11.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_15_15_18.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_17_17_19.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_22_22_19.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_20_20_16.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_15_15_09.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_17_17_05.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_22_22_07.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_22_22_18.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_17_17_07.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_15_15_15.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_16_16_15.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_14_14_08.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_16_16_08.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_18_18_14.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_10_10_16.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/laby/laby_22_22_04.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_12_12_15.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_12_12_20.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_13_13_13.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_19_19_14.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_20_20_01.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_16_16_06.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_12_12_07.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_17_17_15.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_12_12_11.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_12_12_16.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_10_10_20.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_13_13_05.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_18_18_03.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/laby/laby_19_19_13.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins13.lp-23-1847.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins07.lp-21-429.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins06.lp-17-102.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins07.lp-19-523.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins12.lp-25-423.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins11.lp-23-2361.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins07.lp-25-1853.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins09.lp-20-2239.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins08.lp-23-848.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins10.lp-19-827.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins13.lp-26-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins10.lp-23-7197.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins12.lp-27-6063.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins07.lp-22-7117.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins07.lp-18-458.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins08.lp-24-424.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins14.lp-26-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins14.lp-21-108.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins15.lp-22-733.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins12.lp-29-20025.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins14.lp-25-15526.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins10.lp-20-726.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins10.lp-24-14145.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins13.lp-20-169.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins11.lp-22-391.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins11.lp-25-15366.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins07.lp-20-2290.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins09.lp-21-9252.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins08.lp-25-8121.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins07.lp-26-1722.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins06.lp-20-2947.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/coins/coins08.lp-18-108.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p05.lp-25-357.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p17.lp-47-3283.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p16.lp-41-197.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p15.lp-38-3780.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p05.lp-30-2175.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p01.lp-55-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p15.lp-41-8724.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p05.lp-29-2631.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p05.lp-32-501.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p08.lp-29-178.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p19.lp-53-150.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p19.lp-60-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p07.lp-28-437.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p04.lp-24-293.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p15.lp-40-4750.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p19.lp-56-269.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p08.lp-30-925.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p14.lp-38-2612.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p13.lp-32-105.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p00.lp-50-229.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p14.lp-40-11058.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p10.lp-30-159.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p04.lp-29-1003.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p16.lp-39-156.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p09.lp-29-197.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p04.lp-23-113.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p06.lp-27-510.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p05.lp-31-558.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p14.lp-35-245.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p17.lp-46-522.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p05.lp-34-3915.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p15.lp-42-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p12.lp-31-113.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p16.lp-45-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p09.lp-34-12551.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p10.lp-34-1158.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p12.lp-34-473.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p18.lp-48-176.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p06.lp-28-1317.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p07.lp-31-12002.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p11.lp-33-860.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p13.lp-34-324.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p13.lp-35-1260.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p15.lp-37-485.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p06.lp-30-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p10.lp-36-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p19.lp-55-226.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p08.lp-31-644.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p12.lp-32-264.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p07.lp-32-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p07.lp-29-1010.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p05.lp-27-512.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p04.lp-25-794.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p11.lp-32-814.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p19.lp-57-3476.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p10.lp-33-1004.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p01.lp-54-12451.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p12.lp-38-8145.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/comm/p04.lp-26-1676.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p04_08.lp-17-380.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_08.lp-21-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_10.lp-20-1358.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_10.lp-22-1479.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_03.lp-19-10780.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_07.lp-19-11885.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p04_10.lp-17-739.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_03.lp-15-526.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_06.lp-20-17833.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p04_06.lp-20-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_04.lp-16-606.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p04_03.lp-15-516.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p04_05.lp-19-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p04_01.lp-19-13841.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_06.lp-16-1163.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p04_01.lp-16-482.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_08.lp-14-409.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_06.lp-21-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_10.lp-18-15474.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p04_02.lp-18-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_05.lp-14-168.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_02.lp-15-183.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p04_04.lp-18-5484.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p04_07.lp-18-3588.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_06.lp-15-279.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_05.lp-16-480.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_04.lp-20-899.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_04.lp-17-3896.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_01.lp-15-220.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p04_07.lp-17-1971.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p04_01.lp-15-129.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p04_08.lp-16-919.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_09.lp-19-19193.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_05.lp-24-3447.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p04_04.lp-19-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_07.lp-18-5600.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p04_02.lp-15-115.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_05.lp-16-274.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_03.lp-20-13936.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_04.lp-19-15341.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_05.lp-25-9011.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_03.lp-16-633.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p04_09.lp-17-409.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p04_02.lp-17-876.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_05.lp-22-380.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p04_05.lp-17-1552.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_03.lp-18-1472.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_10.lp-15-172.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_07.lp-17-324.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_03.lp-14-403.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p05_01.lp-17-5711.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p04_04.lp-16-531.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_09.lp-18-9569.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_07.lp-18-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_01.lp-16-905.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p05_01.lp-15-445.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_10.lp-16-4450.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_01.lp-14-182.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_06.lp-17-5563.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_02.lp-18-3426.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_02.lp-19-7213.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p04_04.lp-17-3609.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_08.lp-15-432.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_07.lp-15-335.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_05.lp-21-1841.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_08.lp-18-7252.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_10.lp-23-1789.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_06.lp-18-6661.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_09.lp-15-323.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p04_03.lp-17-9681.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p04_05.lp-16-349.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p04_03.lp-16-648.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_09.lp-18-7247.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p02_07.lp-16-209.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/planning/dispose/p03_03.lp-21-20100.sm.gz,1,ok,ok,ok,ok,ok FolioSuite/searchTest-plain/stp_sequence3-ss1.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/searchTest-plain/stp_sequence3-ss2.lp.gz,1,other,other,other,other,other FolioSuite/searchTest-plain/stp_sequence2-ss2.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/searchTest-plain/stp_sequence4-ss1.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/searchTest-verbose/stv_sequence4-ss1.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/searchTest-verbose/stv_sequence3-ss1.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/searchTest-verbose/stv_sequence2-ss1.lp.gz,1,ok,presolved,presolved,presolved,presolved FolioSuite/searchTest-verbose/stv_sequence4-ss2.lp.gz,1,ok,ok,ok,ok,ok FolioSuite/searchTest-verbose/stv_sequence4-ss3.lp.gz,1,ok,ok,ok,ok,ok