Detail page for RobotsD5 family


	Submitter:	Massimo Narizzano

	Suite:	Narizzano

	Domain:	Planning

	Description:

	Number of instances:	1000

	Results:	2016 - Track 8 2010 - Track 4 2006 - Track 1 2005 - Track 1 2004 - Track 1

	Instances:	robots_1_5_5_1.1 robots_1_5_5_1.10 robots_1_5_5_1.2 robots_1_5_5_1.3 robots_1_5_5_1.4 robots_1_5_5_1.5 robots_1_5_5_1.6 robots_1_5_5_1.7 robots_1_5_5_1.8 robots_1_5_5_1.9 robots_1_5_5_10.1 robots_1_5_5_10.10 robots_1_5_5_10.2 robots_1_5_5_10.3 robots_1_5_5_10.4 robots_1_5_5_10.5 robots_1_5_5_10.6 robots_1_5_5_10.7 robots_1_5_5_10.8 robots_1_5_5_10.9 robots_1_5_5_100.1 robots_1_5_5_100.10 robots_1_5_5_100.2 robots_1_5_5_100.3 robots_1_5_5_100.4 robots_1_5_5_100.5 robots_1_5_5_100.6 robots_1_5_5_100.7 robots_1_5_5_100.8 robots_1_5_5_100.9 robots_1_5_5_11.1 robots_1_5_5_11.10 robots_1_5_5_11.2 robots_1_5_5_11.3 robots_1_5_5_11.4 robots_1_5_5_11.5 robots_1_5_5_11.6 robots_1_5_5_11.7 robots_1_5_5_11.8 robots_1_5_5_11.9 robots_1_5_5_12.1 robots_1_5_5_12.10 robots_1_5_5_12.2 robots_1_5_5_12.3 robots_1_5_5_12.4 robots_1_5_5_12.5 robots_1_5_5_12.6 robots_1_5_5_12.7 robots_1_5_5_12.8 robots_1_5_5_12.9 robots_1_5_5_13.1 robots_1_5_5_13.10 robots_1_5_5_13.2 robots_1_5_5_13.3 robots_1_5_5_13.4 robots_1_5_5_13.5 robots_1_5_5_13.6 robots_1_5_5_13.7 robots_1_5_5_13.8 robots_1_5_5_13.9 robots_1_5_5_14.1 robots_1_5_5_14.10 robots_1_5_5_14.2 robots_1_5_5_14.3 robots_1_5_5_14.4 robots_1_5_5_14.5 robots_1_5_5_14.6 robots_1_5_5_14.7 robots_1_5_5_14.8 robots_1_5_5_14.9 robots_1_5_5_15.1 robots_1_5_5_15.10 robots_1_5_5_15.2 robots_1_5_5_15.3 robots_1_5_5_15.4 robots_1_5_5_15.5 robots_1_5_5_15.6 robots_1_5_5_15.7 robots_1_5_5_15.8 robots_1_5_5_15.9 robots_1_5_5_16.1 robots_1_5_5_16.10 robots_1_5_5_16.2 robots_1_5_5_16.3 robots_1_5_5_16.4 robots_1_5_5_16.5 robots_1_5_5_16.6 robots_1_5_5_16.7 robots_1_5_5_16.8 robots_1_5_5_16.9 robots_1_5_5_17.1 robots_1_5_5_17.10 robots_1_5_5_17.2 robots_1_5_5_17.3 robots_1_5_5_17.4 robots_1_5_5_17.5 robots_1_5_5_17.6 robots_1_5_5_17.7 robots_1_5_5_17.8 robots_1_5_5_17.9 robots_1_5_5_18.1 robots_1_5_5_18.10 robots_1_5_5_18.2 robots_1_5_5_18.3 robots_1_5_5_18.4 robots_1_5_5_18.5 robots_1_5_5_18.6 robots_1_5_5_18.7 robots_1_5_5_18.8 robots_1_5_5_18.9 robots_1_5_5_19.1 robots_1_5_5_19.10 robots_1_5_5_19.2 robots_1_5_5_19.3 robots_1_5_5_19.4 robots_1_5_5_19.5 robots_1_5_5_19.6 robots_1_5_5_19.7 robots_1_5_5_19.8 robots_1_5_5_19.9 robots_1_5_5_2.1 robots_1_5_5_2.10 robots_1_5_5_2.2 robots_1_5_5_2.3 robots_1_5_5_2.4 robots_1_5_5_2.5 robots_1_5_5_2.6 robots_1_5_5_2.7 robots_1_5_5_2.8 robots_1_5_5_2.9 robots_1_5_5_20.1 robots_1_5_5_20.10 robots_1_5_5_20.2 robots_1_5_5_20.3 robots_1_5_5_20.4 robots_1_5_5_20.5 robots_1_5_5_20.6 robots_1_5_5_20.7 robots_1_5_5_20.8 robots_1_5_5_20.9 robots_1_5_5_21.1 robots_1_5_5_21.10 robots_1_5_5_21.2 robots_1_5_5_21.3 robots_1_5_5_21.4 robots_1_5_5_21.5 robots_1_5_5_21.6 robots_1_5_5_21.7 robots_1_5_5_21.8 robots_1_5_5_21.9 robots_1_5_5_22.1 robots_1_5_5_22.10 robots_1_5_5_22.2 robots_1_5_5_22.3 robots_1_5_5_22.4 robots_1_5_5_22.5 robots_1_5_5_22.6 robots_1_5_5_22.7 robots_1_5_5_22.8 robots_1_5_5_22.9 robots_1_5_5_23.1 robots_1_5_5_23.10 robots_1_5_5_23.2 robots_1_5_5_23.3 robots_1_5_5_23.4 robots_1_5_5_23.5 robots_1_5_5_23.6 robots_1_5_5_23.7 robots_1_5_5_23.8 robots_1_5_5_23.9 robots_1_5_5_24.1 robots_1_5_5_24.10 robots_1_5_5_24.2 robots_1_5_5_24.3 robots_1_5_5_24.4 robots_1_5_5_24.5 robots_1_5_5_24.6 robots_1_5_5_24.7 robots_1_5_5_24.8 robots_1_5_5_24.9 robots_1_5_5_25.1 robots_1_5_5_25.10 robots_1_5_5_25.2 robots_1_5_5_25.3 robots_1_5_5_25.4 robots_1_5_5_25.5 robots_1_5_5_25.6 robots_1_5_5_25.7 robots_1_5_5_25.8 robots_1_5_5_25.9 robots_1_5_5_26.1 robots_1_5_5_26.10 robots_1_5_5_26.2 robots_1_5_5_26.3 robots_1_5_5_26.4 robots_1_5_5_26.5 robots_1_5_5_26.6 robots_1_5_5_26.7 robots_1_5_5_26.8 robots_1_5_5_26.9 robots_1_5_5_27.1 robots_1_5_5_27.10 robots_1_5_5_27.2 robots_1_5_5_27.3 robots_1_5_5_27.4 robots_1_5_5_27.5 robots_1_5_5_27.6 robots_1_5_5_27.7 robots_1_5_5_27.8 robots_1_5_5_27.9 robots_1_5_5_28.1 robots_1_5_5_28.10 robots_1_5_5_28.2 robots_1_5_5_28.3 robots_1_5_5_28.4 robots_1_5_5_28.5 robots_1_5_5_28.6 robots_1_5_5_28.7 robots_1_5_5_28.8 robots_1_5_5_28.9 robots_1_5_5_29.1 robots_1_5_5_29.10 robots_1_5_5_29.2 robots_1_5_5_29.3 robots_1_5_5_29.4 robots_1_5_5_29.5 robots_1_5_5_29.6 robots_1_5_5_29.7 robots_1_5_5_29.8 robots_1_5_5_29.9 robots_1_5_5_3.1 robots_1_5_5_3.10 robots_1_5_5_3.2 robots_1_5_5_3.3 robots_1_5_5_3.4 robots_1_5_5_3.5 robots_1_5_5_3.6 robots_1_5_5_3.7 robots_1_5_5_3.8 robots_1_5_5_3.9 robots_1_5_5_30.1 robots_1_5_5_30.10 robots_1_5_5_30.2 robots_1_5_5_30.3 robots_1_5_5_30.4 robots_1_5_5_30.5 robots_1_5_5_30.6 robots_1_5_5_30.7 robots_1_5_5_30.8 robots_1_5_5_30.9 robots_1_5_5_31.1 robots_1_5_5_31.10 robots_1_5_5_31.2 robots_1_5_5_31.3 robots_1_5_5_31.4 robots_1_5_5_31.5 robots_1_5_5_31.6 robots_1_5_5_31.7 robots_1_5_5_31.8 robots_1_5_5_31.9 robots_1_5_5_32.1 robots_1_5_5_32.10 robots_1_5_5_32.2 robots_1_5_5_32.3 robots_1_5_5_32.4 robots_1_5_5_32.5 robots_1_5_5_32.6 robots_1_5_5_32.7 robots_1_5_5_32.8 robots_1_5_5_32.9 robots_1_5_5_33.1 robots_1_5_5_33.10 robots_1_5_5_33.2 robots_1_5_5_33.3 robots_1_5_5_33.4 robots_1_5_5_33.5 robots_1_5_5_33.6 robots_1_5_5_33.7 robots_1_5_5_33.8 robots_1_5_5_33.9 robots_1_5_5_34.1 robots_1_5_5_34.10 robots_1_5_5_34.2 robots_1_5_5_34.3 robots_1_5_5_34.4 robots_1_5_5_34.5 robots_1_5_5_34.6 robots_1_5_5_34.7 robots_1_5_5_34.8 robots_1_5_5_34.9 robots_1_5_5_35.1 robots_1_5_5_35.10 robots_1_5_5_35.2 robots_1_5_5_35.3 robots_1_5_5_35.4 robots_1_5_5_35.5 robots_1_5_5_35.6 robots_1_5_5_35.7 robots_1_5_5_35.8 robots_1_5_5_35.9 robots_1_5_5_36.1 robots_1_5_5_36.10 robots_1_5_5_36.2 robots_1_5_5_36.3 robots_1_5_5_36.4 robots_1_5_5_36.5 robots_1_5_5_36.6 robots_1_5_5_36.7 robots_1_5_5_36.8 robots_1_5_5_36.9 robots_1_5_5_37.1 robots_1_5_5_37.10 robots_1_5_5_37.2 robots_1_5_5_37.3 robots_1_5_5_37.4 robots_1_5_5_37.5 robots_1_5_5_37.6 robots_1_5_5_37.7 robots_1_5_5_37.8 robots_1_5_5_37.9 robots_1_5_5_38.1 robots_1_5_5_38.10 robots_1_5_5_38.2 robots_1_5_5_38.3 robots_1_5_5_38.4 robots_1_5_5_38.5 robots_1_5_5_38.6 robots_1_5_5_38.7 robots_1_5_5_38.8 robots_1_5_5_38.9 robots_1_5_5_39.1 robots_1_5_5_39.10 robots_1_5_5_39.2 robots_1_5_5_39.3 robots_1_5_5_39.4 robots_1_5_5_39.5 robots_1_5_5_39.6 robots_1_5_5_39.7 robots_1_5_5_39.8 robots_1_5_5_39.9 robots_1_5_5_4.1 robots_1_5_5_4.10 robots_1_5_5_4.2 robots_1_5_5_4.3 robots_1_5_5_4.4 robots_1_5_5_4.5 robots_1_5_5_4.6 robots_1_5_5_4.7 robots_1_5_5_4.8 robots_1_5_5_4.9 robots_1_5_5_40.1 robots_1_5_5_40.10 robots_1_5_5_40.2 robots_1_5_5_40.3 robots_1_5_5_40.4 robots_1_5_5_40.5 robots_1_5_5_40.6 robots_1_5_5_40.7 robots_1_5_5_40.8 robots_1_5_5_40.9 robots_1_5_5_41.1 robots_1_5_5_41.10 robots_1_5_5_41.2 robots_1_5_5_41.3 robots_1_5_5_41.4 robots_1_5_5_41.5 robots_1_5_5_41.6 robots_1_5_5_41.7 robots_1_5_5_41.8 robots_1_5_5_41.9 robots_1_5_5_42.1 robots_1_5_5_42.10 robots_1_5_5_42.2 robots_1_5_5_42.3 robots_1_5_5_42.4 robots_1_5_5_42.5 robots_1_5_5_42.6 robots_1_5_5_42.7 robots_1_5_5_42.8 robots_1_5_5_42.9 robots_1_5_5_43.1 robots_1_5_5_43.10 robots_1_5_5_43.2 robots_1_5_5_43.3 robots_1_5_5_43.4 robots_1_5_5_43.5 robots_1_5_5_43.6 robots_1_5_5_43.7 robots_1_5_5_43.8 robots_1_5_5_43.9 robots_1_5_5_44.1 robots_1_5_5_44.10 robots_1_5_5_44.2 robots_1_5_5_44.3 robots_1_5_5_44.4 robots_1_5_5_44.5 robots_1_5_5_44.6 robots_1_5_5_44.7 robots_1_5_5_44.8 robots_1_5_5_44.9 robots_1_5_5_45.1 robots_1_5_5_45.10 robots_1_5_5_45.2 robots_1_5_5_45.3 robots_1_5_5_45.4 robots_1_5_5_45.5 robots_1_5_5_45.6 robots_1_5_5_45.7 robots_1_5_5_45.8 robots_1_5_5_45.9 robots_1_5_5_46.1 robots_1_5_5_46.10 robots_1_5_5_46.2 robots_1_5_5_46.3 robots_1_5_5_46.4 robots_1_5_5_46.5 robots_1_5_5_46.6 robots_1_5_5_46.7 robots_1_5_5_46.8 robots_1_5_5_46.9 robots_1_5_5_47.1 robots_1_5_5_47.10 robots_1_5_5_47.2 robots_1_5_5_47.3 robots_1_5_5_47.4 robots_1_5_5_47.5 robots_1_5_5_47.6 robots_1_5_5_47.7 robots_1_5_5_47.8 robots_1_5_5_47.9 robots_1_5_5_48.1 robots_1_5_5_48.10 robots_1_5_5_48.2 robots_1_5_5_48.3 robots_1_5_5_48.4 robots_1_5_5_48.5 robots_1_5_5_48.6 robots_1_5_5_48.7 robots_1_5_5_48.8 robots_1_5_5_48.9 robots_1_5_5_49.1 robots_1_5_5_49.10 robots_1_5_5_49.2 robots_1_5_5_49.3 robots_1_5_5_49.4 robots_1_5_5_49.5 robots_1_5_5_49.6 robots_1_5_5_49.7 robots_1_5_5_49.8 robots_1_5_5_49.9 robots_1_5_5_5.1 robots_1_5_5_5.10 robots_1_5_5_5.2 robots_1_5_5_5.3 robots_1_5_5_5.4 robots_1_5_5_5.5 robots_1_5_5_5.6 robots_1_5_5_5.7 robots_1_5_5_5.8 robots_1_5_5_5.9 robots_1_5_5_50.1 robots_1_5_5_50.10 robots_1_5_5_50.2 robots_1_5_5_50.3 robots_1_5_5_50.4 robots_1_5_5_50.5 robots_1_5_5_50.6 robots_1_5_5_50.7 robots_1_5_5_50.8 robots_1_5_5_50.9 robots_1_5_5_51.1 robots_1_5_5_51.10 robots_1_5_5_51.2 robots_1_5_5_51.3 robots_1_5_5_51.4 robots_1_5_5_51.5 robots_1_5_5_51.6 robots_1_5_5_51.7 robots_1_5_5_51.8 robots_1_5_5_51.9 robots_1_5_5_52.1 robots_1_5_5_52.10 robots_1_5_5_52.2 robots_1_5_5_52.3 robots_1_5_5_52.4 robots_1_5_5_52.5 robots_1_5_5_52.6 robots_1_5_5_52.7 robots_1_5_5_52.8 robots_1_5_5_52.9 robots_1_5_5_53.1 robots_1_5_5_53.10 robots_1_5_5_53.2 robots_1_5_5_53.3 robots_1_5_5_53.4 robots_1_5_5_53.5 robots_1_5_5_53.6 robots_1_5_5_53.7 robots_1_5_5_53.8 robots_1_5_5_53.9 robots_1_5_5_54.1 robots_1_5_5_54.10 robots_1_5_5_54.2 robots_1_5_5_54.3 robots_1_5_5_54.4 robots_1_5_5_54.5 robots_1_5_5_54.6 robots_1_5_5_54.7 robots_1_5_5_54.8 robots_1_5_5_54.9 robots_1_5_5_55.1 robots_1_5_5_55.10 robots_1_5_5_55.2 robots_1_5_5_55.3 robots_1_5_5_55.4 robots_1_5_5_55.5 robots_1_5_5_55.6 robots_1_5_5_55.7 robots_1_5_5_55.8 robots_1_5_5_55.9 robots_1_5_5_56.1 robots_1_5_5_56.10 robots_1_5_5_56.2 robots_1_5_5_56.3 robots_1_5_5_56.4 robots_1_5_5_56.5 robots_1_5_5_56.6 robots_1_5_5_56.7 robots_1_5_5_56.8 robots_1_5_5_56.9 robots_1_5_5_57.1 robots_1_5_5_57.10 robots_1_5_5_57.2 robots_1_5_5_57.3 robots_1_5_5_57.4 robots_1_5_5_57.5 robots_1_5_5_57.6 robots_1_5_5_57.7 robots_1_5_5_57.8 robots_1_5_5_57.9 robots_1_5_5_58.1 robots_1_5_5_58.10 robots_1_5_5_58.2 robots_1_5_5_58.3 robots_1_5_5_58.4 robots_1_5_5_58.5 robots_1_5_5_58.6 robots_1_5_5_58.7 robots_1_5_5_58.8 robots_1_5_5_58.9 robots_1_5_5_59.1 robots_1_5_5_59.10 robots_1_5_5_59.2 robots_1_5_5_59.3 robots_1_5_5_59.4 robots_1_5_5_59.5 robots_1_5_5_59.6 robots_1_5_5_59.7 robots_1_5_5_59.8 robots_1_5_5_59.9 robots_1_5_5_6.1 robots_1_5_5_6.10 robots_1_5_5_6.2 robots_1_5_5_6.3 robots_1_5_5_6.4 robots_1_5_5_6.5 robots_1_5_5_6.6 robots_1_5_5_6.7 robots_1_5_5_6.8 robots_1_5_5_6.9 robots_1_5_5_60.1 robots_1_5_5_60.10 robots_1_5_5_60.2 robots_1_5_5_60.3 robots_1_5_5_60.4 robots_1_5_5_60.5 robots_1_5_5_60.6 robots_1_5_5_60.7 robots_1_5_5_60.8 robots_1_5_5_60.9 robots_1_5_5_61.1 robots_1_5_5_61.10 robots_1_5_5_61.2 robots_1_5_5_61.3 robots_1_5_5_61.4 robots_1_5_5_61.5 robots_1_5_5_61.6 robots_1_5_5_61.7 robots_1_5_5_61.8 robots_1_5_5_61.9 robots_1_5_5_62.1 robots_1_5_5_62.10 robots_1_5_5_62.2 robots_1_5_5_62.3 robots_1_5_5_62.4 robots_1_5_5_62.5 robots_1_5_5_62.6 robots_1_5_5_62.7 robots_1_5_5_62.8 robots_1_5_5_62.9 robots_1_5_5_63.1 robots_1_5_5_63.10 robots_1_5_5_63.2 robots_1_5_5_63.3 robots_1_5_5_63.4 robots_1_5_5_63.5 robots_1_5_5_63.6 robots_1_5_5_63.7 robots_1_5_5_63.8 robots_1_5_5_63.9 robots_1_5_5_64.1 robots_1_5_5_64.10 robots_1_5_5_64.2 robots_1_5_5_64.3 robots_1_5_5_64.4 robots_1_5_5_64.5 robots_1_5_5_64.6 robots_1_5_5_64.7 robots_1_5_5_64.8 robots_1_5_5_64.9 robots_1_5_5_65.1 robots_1_5_5_65.10 robots_1_5_5_65.2 robots_1_5_5_65.3 robots_1_5_5_65.4 robots_1_5_5_65.5 robots_1_5_5_65.6 robots_1_5_5_65.7 robots_1_5_5_65.8 robots_1_5_5_65.9 robots_1_5_5_66.1 robots_1_5_5_66.10 robots_1_5_5_66.2 robots_1_5_5_66.3 robots_1_5_5_66.4 robots_1_5_5_66.5 robots_1_5_5_66.6 robots_1_5_5_66.7 robots_1_5_5_66.8 robots_1_5_5_66.9 robots_1_5_5_67.1 robots_1_5_5_67.10 robots_1_5_5_67.2 robots_1_5_5_67.3 robots_1_5_5_67.4 robots_1_5_5_67.5 robots_1_5_5_67.6 robots_1_5_5_67.7 robots_1_5_5_67.8 robots_1_5_5_67.9 robots_1_5_5_68.1 robots_1_5_5_68.10 robots_1_5_5_68.2 robots_1_5_5_68.3 robots_1_5_5_68.4 robots_1_5_5_68.5 robots_1_5_5_68.6 robots_1_5_5_68.7 robots_1_5_5_68.8 robots_1_5_5_68.9 robots_1_5_5_69.1 robots_1_5_5_69.10 robots_1_5_5_69.2 robots_1_5_5_69.3 robots_1_5_5_69.4 robots_1_5_5_69.5 robots_1_5_5_69.6 robots_1_5_5_69.7 robots_1_5_5_69.8 robots_1_5_5_69.9 robots_1_5_5_7.1 robots_1_5_5_7.10 robots_1_5_5_7.2 robots_1_5_5_7.3 robots_1_5_5_7.4 robots_1_5_5_7.5 robots_1_5_5_7.6 robots_1_5_5_7.7 robots_1_5_5_7.8 robots_1_5_5_7.9 robots_1_5_5_70.1 robots_1_5_5_70.10 robots_1_5_5_70.2 robots_1_5_5_70.3 robots_1_5_5_70.4 robots_1_5_5_70.5 robots_1_5_5_70.6 robots_1_5_5_70.7 robots_1_5_5_70.8 robots_1_5_5_70.9 robots_1_5_5_71.1 robots_1_5_5_71.10 robots_1_5_5_71.2 robots_1_5_5_71.3 robots_1_5_5_71.4 robots_1_5_5_71.5 robots_1_5_5_71.6 robots_1_5_5_71.7 robots_1_5_5_71.8 robots_1_5_5_71.9 robots_1_5_5_72.1 robots_1_5_5_72.10 robots_1_5_5_72.2 robots_1_5_5_72.3 robots_1_5_5_72.4 robots_1_5_5_72.5 robots_1_5_5_72.6 robots_1_5_5_72.7 robots_1_5_5_72.8 robots_1_5_5_72.9 robots_1_5_5_73.1 robots_1_5_5_73.10 robots_1_5_5_73.2 robots_1_5_5_73.3 robots_1_5_5_73.4 robots_1_5_5_73.5 robots_1_5_5_73.6 robots_1_5_5_73.7 robots_1_5_5_73.8 robots_1_5_5_73.9 robots_1_5_5_74.1 robots_1_5_5_74.10 robots_1_5_5_74.2 robots_1_5_5_74.3 robots_1_5_5_74.4 robots_1_5_5_74.5 robots_1_5_5_74.6 robots_1_5_5_74.7 robots_1_5_5_74.8 robots_1_5_5_74.9 robots_1_5_5_75.1 robots_1_5_5_75.10 robots_1_5_5_75.2 robots_1_5_5_75.3 robots_1_5_5_75.4 robots_1_5_5_75.5 robots_1_5_5_75.6 robots_1_5_5_75.7 robots_1_5_5_75.8 robots_1_5_5_75.9 robots_1_5_5_76.1 robots_1_5_5_76.10 robots_1_5_5_76.2 robots_1_5_5_76.3 robots_1_5_5_76.4 robots_1_5_5_76.5 robots_1_5_5_76.6 robots_1_5_5_76.7 robots_1_5_5_76.8 robots_1_5_5_76.9 robots_1_5_5_77.1 robots_1_5_5_77.10 robots_1_5_5_77.2 robots_1_5_5_77.3 robots_1_5_5_77.4 robots_1_5_5_77.5 robots_1_5_5_77.6 robots_1_5_5_77.7 robots_1_5_5_77.8 robots_1_5_5_77.9 robots_1_5_5_78.1 robots_1_5_5_78.10 robots_1_5_5_78.2 robots_1_5_5_78.3 robots_1_5_5_78.4 robots_1_5_5_78.5 robots_1_5_5_78.6 robots_1_5_5_78.7 robots_1_5_5_78.8 robots_1_5_5_78.9 robots_1_5_5_79.1 robots_1_5_5_79.10 robots_1_5_5_79.2 robots_1_5_5_79.3 robots_1_5_5_79.4 robots_1_5_5_79.5 robots_1_5_5_79.6 robots_1_5_5_79.7 robots_1_5_5_79.8 robots_1_5_5_79.9 robots_1_5_5_8.1 robots_1_5_5_8.10 robots_1_5_5_8.2 robots_1_5_5_8.3 robots_1_5_5_8.4 robots_1_5_5_8.5 robots_1_5_5_8.6 robots_1_5_5_8.7 robots_1_5_5_8.8 robots_1_5_5_8.9 robots_1_5_5_80.1 robots_1_5_5_80.10 robots_1_5_5_80.2 robots_1_5_5_80.3 robots_1_5_5_80.4 robots_1_5_5_80.5 robots_1_5_5_80.6 robots_1_5_5_80.7 robots_1_5_5_80.8 robots_1_5_5_80.9 robots_1_5_5_81.1 robots_1_5_5_81.10 robots_1_5_5_81.2 robots_1_5_5_81.3 robots_1_5_5_81.4 robots_1_5_5_81.5 robots_1_5_5_81.6 robots_1_5_5_81.7 robots_1_5_5_81.8 robots_1_5_5_81.9 robots_1_5_5_82.1 robots_1_5_5_82.10 robots_1_5_5_82.2 robots_1_5_5_82.3 robots_1_5_5_82.4 robots_1_5_5_82.5 robots_1_5_5_82.6 robots_1_5_5_82.7 robots_1_5_5_82.8 robots_1_5_5_82.9 robots_1_5_5_83.1 robots_1_5_5_83.10 robots_1_5_5_83.2 robots_1_5_5_83.3 robots_1_5_5_83.4 robots_1_5_5_83.5 robots_1_5_5_83.6 robots_1_5_5_83.7 robots_1_5_5_83.8 robots_1_5_5_83.9 robots_1_5_5_84.1 robots_1_5_5_84.10 robots_1_5_5_84.2 robots_1_5_5_84.3 robots_1_5_5_84.4 robots_1_5_5_84.5 robots_1_5_5_84.6 robots_1_5_5_84.7 robots_1_5_5_84.8 robots_1_5_5_84.9 robots_1_5_5_85.1 robots_1_5_5_85.10 robots_1_5_5_85.2 robots_1_5_5_85.3 robots_1_5_5_85.4 robots_1_5_5_85.5 robots_1_5_5_85.6 robots_1_5_5_85.7 robots_1_5_5_85.8 robots_1_5_5_85.9 robots_1_5_5_86.1 robots_1_5_5_86.10 robots_1_5_5_86.2 robots_1_5_5_86.3 robots_1_5_5_86.4 robots_1_5_5_86.5 robots_1_5_5_86.6 robots_1_5_5_86.7 robots_1_5_5_86.8 robots_1_5_5_86.9 robots_1_5_5_87.1 robots_1_5_5_87.10 robots_1_5_5_87.2 robots_1_5_5_87.3 robots_1_5_5_87.4 robots_1_5_5_87.5 robots_1_5_5_87.6 robots_1_5_5_87.7 robots_1_5_5_87.8 robots_1_5_5_87.9 robots_1_5_5_88.1 robots_1_5_5_88.10 robots_1_5_5_88.2 robots_1_5_5_88.3 robots_1_5_5_88.4 robots_1_5_5_88.5 robots_1_5_5_88.6 robots_1_5_5_88.7 robots_1_5_5_88.8 robots_1_5_5_88.9 robots_1_5_5_89.1 robots_1_5_5_89.10 robots_1_5_5_89.2 robots_1_5_5_89.3 robots_1_5_5_89.4 robots_1_5_5_89.5 robots_1_5_5_89.6 robots_1_5_5_89.7 robots_1_5_5_89.8 robots_1_5_5_89.9 robots_1_5_5_9.1 robots_1_5_5_9.10 robots_1_5_5_9.2 robots_1_5_5_9.3 robots_1_5_5_9.4 robots_1_5_5_9.5 robots_1_5_5_9.6 robots_1_5_5_9.7 robots_1_5_5_9.8 robots_1_5_5_9.9 robots_1_5_5_90.1 robots_1_5_5_90.10 robots_1_5_5_90.2 robots_1_5_5_90.3 robots_1_5_5_90.4 robots_1_5_5_90.5 robots_1_5_5_90.6 robots_1_5_5_90.7 robots_1_5_5_90.8 robots_1_5_5_90.9 robots_1_5_5_91.1 robots_1_5_5_91.10 robots_1_5_5_91.2 robots_1_5_5_91.3 robots_1_5_5_91.4 robots_1_5_5_91.5 robots_1_5_5_91.6 robots_1_5_5_91.7 robots_1_5_5_91.8 robots_1_5_5_91.9 robots_1_5_5_92.1 robots_1_5_5_92.10 robots_1_5_5_92.2 robots_1_5_5_92.3 robots_1_5_5_92.4 robots_1_5_5_92.5 robots_1_5_5_92.6 robots_1_5_5_92.7 robots_1_5_5_92.8 robots_1_5_5_92.9 robots_1_5_5_93.1 robots_1_5_5_93.10 robots_1_5_5_93.2 robots_1_5_5_93.3 robots_1_5_5_93.4 robots_1_5_5_93.5 robots_1_5_5_93.6 robots_1_5_5_93.7 robots_1_5_5_93.8 robots_1_5_5_93.9 robots_1_5_5_94.1 robots_1_5_5_94.10 robots_1_5_5_94.2 robots_1_5_5_94.3 robots_1_5_5_94.4 robots_1_5_5_94.5 robots_1_5_5_94.6 robots_1_5_5_94.7 robots_1_5_5_94.8 robots_1_5_5_94.9 robots_1_5_5_95.1 robots_1_5_5_95.10 robots_1_5_5_95.2 robots_1_5_5_95.3 robots_1_5_5_95.4 robots_1_5_5_95.5 robots_1_5_5_95.6 robots_1_5_5_95.7 robots_1_5_5_95.8 robots_1_5_5_95.9 robots_1_5_5_96.1 robots_1_5_5_96.10 robots_1_5_5_96.2 robots_1_5_5_96.3 robots_1_5_5_96.4 robots_1_5_5_96.5 robots_1_5_5_96.6 robots_1_5_5_96.7 robots_1_5_5_96.8 robots_1_5_5_96.9 robots_1_5_5_97.1 robots_1_5_5_97.10 robots_1_5_5_97.2 robots_1_5_5_97.3 robots_1_5_5_97.4 robots_1_5_5_97.5 robots_1_5_5_97.6 robots_1_5_5_97.7 robots_1_5_5_97.8 robots_1_5_5_97.9 robots_1_5_5_98.1 robots_1_5_5_98.10 robots_1_5_5_98.2 robots_1_5_5_98.3 robots_1_5_5_98.4 robots_1_5_5_98.5 robots_1_5_5_98.6 robots_1_5_5_98.7 robots_1_5_5_98.8 robots_1_5_5_98.9 robots_1_5_5_99.1 robots_1_5_5_99.10 robots_1_5_5_99.2 robots_1_5_5_99.3 robots_1_5_5_99.4 robots_1_5_5_99.5 robots_1_5_5_99.6 robots_1_5_5_99.7 robots_1_5_5_99.8 robots_1_5_5_99.9

The Quantified Boolean Formulas Satisfiability Library

Detail page for RobotsD5 family