Detail page for bomb family


	Submitter:	Martin Kronegger

	Suite:	Kronegger-Pfandler-Pichler

	Domain:	Planning

	Description:

	Number of instances:	297

	Results:	2020 - Track 1 2018 - Track 2 2017 - Track 2 2016 - Track 1 2016 - Track 2 2016 - Track 5 2016 - Track 6 2016 - Track 7

	Instances:	p10-1.pddl_planlen=0 p10-1.pddl_planlen=1 p10-1.pddl_planlen=10 p10-1.pddl_planlen=11 p10-1.pddl_planlen=12 p10-1.pddl_planlen=13 p10-1.pddl_planlen=14 p10-1.pddl_planlen=15 p10-1.pddl_planlen=16 p10-1.pddl_planlen=17 p10-1.pddl_planlen=18 p10-1.pddl_planlen=19 p10-1.pddl_planlen=2 p10-1.pddl_planlen=20 p10-1.pddl_planlen=21 p10-1.pddl_planlen=22 p10-1.pddl_planlen=23 p10-1.pddl_planlen=24 p10-1.pddl_planlen=25 p10-1.pddl_planlen=26 p10-1.pddl_planlen=27 p10-1.pddl_planlen=28 p10-1.pddl_planlen=29 p10-1.pddl_planlen=3 p10-1.pddl_planlen=4 p10-1.pddl_planlen=5 p10-1.pddl_planlen=6 p10-1.pddl_planlen=7 p10-1.pddl_planlen=8 p10-1.pddl_planlen=9 p10-10.pddl_planlen=0 p10-10.pddl_planlen=1 p10-10.pddl_planlen=10 p10-10.pddl_planlen=11 p10-10.pddl_planlen=12 p10-10.pddl_planlen=13 p10-10.pddl_planlen=14 p10-10.pddl_planlen=15 p10-10.pddl_planlen=16 p10-10.pddl_planlen=17 p10-10.pddl_planlen=18 p10-10.pddl_planlen=19 p10-10.pddl_planlen=2 p10-10.pddl_planlen=20 p10-10.pddl_planlen=3 p10-10.pddl_planlen=4 p10-10.pddl_planlen=5 p10-10.pddl_planlen=6 p10-10.pddl_planlen=7 p10-10.pddl_planlen=8 p10-10.pddl_planlen=9 p10-5.pddl_planlen=0 p10-5.pddl_planlen=1 p10-5.pddl_planlen=10 p10-5.pddl_planlen=11 p10-5.pddl_planlen=12 p10-5.pddl_planlen=13 p10-5.pddl_planlen=14 p10-5.pddl_planlen=15 p10-5.pddl_planlen=16 p10-5.pddl_planlen=17 p10-5.pddl_planlen=18 p10-5.pddl_planlen=19 p10-5.pddl_planlen=2 p10-5.pddl_planlen=20 p10-5.pddl_planlen=21 p10-5.pddl_planlen=22 p10-5.pddl_planlen=23 p10-5.pddl_planlen=24 p10-5.pddl_planlen=25 p10-5.pddl_planlen=3 p10-5.pddl_planlen=4 p10-5.pddl_planlen=5 p10-5.pddl_planlen=6 p10-5.pddl_planlen=7 p10-5.pddl_planlen=8 p10-5.pddl_planlen=9 p20-1.pddl_planlen=0 p20-1.pddl_planlen=1 p20-1.pddl_planlen=10 p20-1.pddl_planlen=11 p20-1.pddl_planlen=12 p20-1.pddl_planlen=13 p20-1.pddl_planlen=14 p20-1.pddl_planlen=15 p20-1.pddl_planlen=16 p20-1.pddl_planlen=17 p20-1.pddl_planlen=18 p20-1.pddl_planlen=19 p20-1.pddl_planlen=2 p20-1.pddl_planlen=20 p20-1.pddl_planlen=21 p20-1.pddl_planlen=22 p20-1.pddl_planlen=23 p20-1.pddl_planlen=24 p20-1.pddl_planlen=25 p20-1.pddl_planlen=26 p20-1.pddl_planlen=27 p20-1.pddl_planlen=28 p20-1.pddl_planlen=29 p20-1.pddl_planlen=3 p20-1.pddl_planlen=30 p20-1.pddl_planlen=31 p20-1.pddl_planlen=32 p20-1.pddl_planlen=33 p20-1.pddl_planlen=34 p20-1.pddl_planlen=35 p20-1.pddl_planlen=36 p20-1.pddl_planlen=37 p20-1.pddl_planlen=38 p20-1.pddl_planlen=39 p20-1.pddl_planlen=4 p20-1.pddl_planlen=40 p20-1.pddl_planlen=41 p20-1.pddl_planlen=42 p20-1.pddl_planlen=43 p20-1.pddl_planlen=44 p20-1.pddl_planlen=45 p20-1.pddl_planlen=46 p20-1.pddl_planlen=47 p20-1.pddl_planlen=48 p20-1.pddl_planlen=49 p20-1.pddl_planlen=5 p20-1.pddl_planlen=6 p20-1.pddl_planlen=7 p20-1.pddl_planlen=8 p20-1.pddl_planlen=9 p20-10.pddl_planlen=0 p20-10.pddl_planlen=1 p20-10.pddl_planlen=10 p20-10.pddl_planlen=11 p20-10.pddl_planlen=12 p20-10.pddl_planlen=13 p20-10.pddl_planlen=14 p20-10.pddl_planlen=15 p20-10.pddl_planlen=16 p20-10.pddl_planlen=17 p20-10.pddl_planlen=18 p20-10.pddl_planlen=19 p20-10.pddl_planlen=2 p20-10.pddl_planlen=20 p20-10.pddl_planlen=21 p20-10.pddl_planlen=22 p20-10.pddl_planlen=23 p20-10.pddl_planlen=24 p20-10.pddl_planlen=25 p20-10.pddl_planlen=26 p20-10.pddl_planlen=27 p20-10.pddl_planlen=28 p20-10.pddl_planlen=29 p20-10.pddl_planlen=3 p20-10.pddl_planlen=30 p20-10.pddl_planlen=31 p20-10.pddl_planlen=32 p20-10.pddl_planlen=33 p20-10.pddl_planlen=34 p20-10.pddl_planlen=35 p20-10.pddl_planlen=36 p20-10.pddl_planlen=37 p20-10.pddl_planlen=38 p20-10.pddl_planlen=39 p20-10.pddl_planlen=4 p20-10.pddl_planlen=40 p20-10.pddl_planlen=5 p20-10.pddl_planlen=6 p20-10.pddl_planlen=7 p20-10.pddl_planlen=8 p20-10.pddl_planlen=9 p20-20.pddl_planlen=0 p20-20.pddl_planlen=1 p20-20.pddl_planlen=10 p20-20.pddl_planlen=11 p20-20.pddl_planlen=12 p20-20.pddl_planlen=13 p20-20.pddl_planlen=14 p20-20.pddl_planlen=15 p20-20.pddl_planlen=16 p20-20.pddl_planlen=17 p20-20.pddl_planlen=18 p20-20.pddl_planlen=19 p20-20.pddl_planlen=2 p20-20.pddl_planlen=20 p20-20.pddl_planlen=21 p20-20.pddl_planlen=22 p20-20.pddl_planlen=23 p20-20.pddl_planlen=24 p20-20.pddl_planlen=25 p20-20.pddl_planlen=26 p20-20.pddl_planlen=27 p20-20.pddl_planlen=28 p20-20.pddl_planlen=29 p20-20.pddl_planlen=3 p20-20.pddl_planlen=30 p20-20.pddl_planlen=4 p20-20.pddl_planlen=5 p20-20.pddl_planlen=6 p20-20.pddl_planlen=7 p20-20.pddl_planlen=8 p20-20.pddl_planlen=9 p20-5.pddl_planlen=0 p20-5.pddl_planlen=1 p20-5.pddl_planlen=10 p20-5.pddl_planlen=11 p20-5.pddl_planlen=12 p20-5.pddl_planlen=13 p20-5.pddl_planlen=14 p20-5.pddl_planlen=15 p20-5.pddl_planlen=16 p20-5.pddl_planlen=17 p20-5.pddl_planlen=18 p20-5.pddl_planlen=19 p20-5.pddl_planlen=2 p20-5.pddl_planlen=20 p20-5.pddl_planlen=21 p20-5.pddl_planlen=22 p20-5.pddl_planlen=23 p20-5.pddl_planlen=24 p20-5.pddl_planlen=25 p20-5.pddl_planlen=26 p20-5.pddl_planlen=27 p20-5.pddl_planlen=28 p20-5.pddl_planlen=29 p20-5.pddl_planlen=3 p20-5.pddl_planlen=30 p20-5.pddl_planlen=31 p20-5.pddl_planlen=32 p20-5.pddl_planlen=33 p20-5.pddl_planlen=34 p20-5.pddl_planlen=35 p20-5.pddl_planlen=36 p20-5.pddl_planlen=37 p20-5.pddl_planlen=38 p20-5.pddl_planlen=39 p20-5.pddl_planlen=4 p20-5.pddl_planlen=40 p20-5.pddl_planlen=41 p20-5.pddl_planlen=42 p20-5.pddl_planlen=43 p20-5.pddl_planlen=44 p20-5.pddl_planlen=45 p20-5.pddl_planlen=5 p20-5.pddl_planlen=6 p20-5.pddl_planlen=7 p20-5.pddl_planlen=8 p20-5.pddl_planlen=9 p5-1.pddl_planlen=0 p5-1.pddl_planlen=1 p5-1.pddl_planlen=10 p5-1.pddl_planlen=11 p5-1.pddl_planlen=12 p5-1.pddl_planlen=13 p5-1.pddl_planlen=14 p5-1.pddl_planlen=15 p5-1.pddl_planlen=16 p5-1.pddl_planlen=17 p5-1.pddl_planlen=18 p5-1.pddl_planlen=19 p5-1.pddl_planlen=2 p5-1.pddl_planlen=3 p5-1.pddl_planlen=4 p5-1.pddl_planlen=5 p5-1.pddl_planlen=6 p5-1.pddl_planlen=7 p5-1.pddl_planlen=8 p5-1.pddl_planlen=9 p5-10.pddl_planlen=0 p5-10.pddl_planlen=1 p5-10.pddl_planlen=10 p5-10.pddl_planlen=11 p5-10.pddl_planlen=12 p5-10.pddl_planlen=13 p5-10.pddl_planlen=14 p5-10.pddl_planlen=15 p5-10.pddl_planlen=2 p5-10.pddl_planlen=3 p5-10.pddl_planlen=4 p5-10.pddl_planlen=5 p5-10.pddl_planlen=6 p5-10.pddl_planlen=7 p5-10.pddl_planlen=8 p5-10.pddl_planlen=9 p5-5.pddl_planlen=0 p5-5.pddl_planlen=1 p5-5.pddl_planlen=10 p5-5.pddl_planlen=11 p5-5.pddl_planlen=12 p5-5.pddl_planlen=13 p5-5.pddl_planlen=14 p5-5.pddl_planlen=15 p5-5.pddl_planlen=2 p5-5.pddl_planlen=3 p5-5.pddl_planlen=4 p5-5.pddl_planlen=5 p5-5.pddl_planlen=6 p5-5.pddl_planlen=7 p5-5.pddl_planlen=8 p5-5.pddl_planlen=9

The Quantified Boolean Formulas Satisfiability Library

Detail page for bomb family