Detail page for RobotsD3 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_3_1.1 robots_1_5_3_1.10 robots_1_5_3_1.2 robots_1_5_3_1.3 robots_1_5_3_1.4 robots_1_5_3_1.5 robots_1_5_3_1.6 robots_1_5_3_1.7 robots_1_5_3_1.8 robots_1_5_3_1.9 robots_1_5_3_10.1 robots_1_5_3_10.10 robots_1_5_3_10.2 robots_1_5_3_10.3 robots_1_5_3_10.4 robots_1_5_3_10.5 robots_1_5_3_10.6 robots_1_5_3_10.7 robots_1_5_3_10.8 robots_1_5_3_10.9 robots_1_5_3_100.1 robots_1_5_3_100.10 robots_1_5_3_100.2 robots_1_5_3_100.3 robots_1_5_3_100.4 robots_1_5_3_100.5 robots_1_5_3_100.6 robots_1_5_3_100.7 robots_1_5_3_100.8 robots_1_5_3_100.9 robots_1_5_3_11.1 robots_1_5_3_11.10 robots_1_5_3_11.2 robots_1_5_3_11.3 robots_1_5_3_11.4 robots_1_5_3_11.5 robots_1_5_3_11.6 robots_1_5_3_11.7 robots_1_5_3_11.8 robots_1_5_3_11.9 robots_1_5_3_12.1 robots_1_5_3_12.10 robots_1_5_3_12.2 robots_1_5_3_12.3 robots_1_5_3_12.4 robots_1_5_3_12.5 robots_1_5_3_12.6 robots_1_5_3_12.7 robots_1_5_3_12.8 robots_1_5_3_12.9 robots_1_5_3_13.1 robots_1_5_3_13.10 robots_1_5_3_13.2 robots_1_5_3_13.3 robots_1_5_3_13.4 robots_1_5_3_13.5 robots_1_5_3_13.6 robots_1_5_3_13.7 robots_1_5_3_13.8 robots_1_5_3_13.9 robots_1_5_3_14.1 robots_1_5_3_14.10 robots_1_5_3_14.2 robots_1_5_3_14.3 robots_1_5_3_14.4 robots_1_5_3_14.5 robots_1_5_3_14.6 robots_1_5_3_14.7 robots_1_5_3_14.8 robots_1_5_3_14.9 robots_1_5_3_15.1 robots_1_5_3_15.10 robots_1_5_3_15.2 robots_1_5_3_15.3 robots_1_5_3_15.4 robots_1_5_3_15.5 robots_1_5_3_15.6 robots_1_5_3_15.7 robots_1_5_3_15.8 robots_1_5_3_15.9 robots_1_5_3_16.1 robots_1_5_3_16.10 robots_1_5_3_16.2 robots_1_5_3_16.3 robots_1_5_3_16.4 robots_1_5_3_16.5 robots_1_5_3_16.6 robots_1_5_3_16.7 robots_1_5_3_16.8 robots_1_5_3_16.9 robots_1_5_3_17.1 robots_1_5_3_17.10 robots_1_5_3_17.2 robots_1_5_3_17.3 robots_1_5_3_17.4 robots_1_5_3_17.5 robots_1_5_3_17.6 robots_1_5_3_17.7 robots_1_5_3_17.8 robots_1_5_3_17.9 robots_1_5_3_18.1 robots_1_5_3_18.10 robots_1_5_3_18.2 robots_1_5_3_18.3 robots_1_5_3_18.4 robots_1_5_3_18.5 robots_1_5_3_18.6 robots_1_5_3_18.7 robots_1_5_3_18.8 robots_1_5_3_18.9 robots_1_5_3_19.1 robots_1_5_3_19.10 robots_1_5_3_19.2 robots_1_5_3_19.3 robots_1_5_3_19.4 robots_1_5_3_19.5 robots_1_5_3_19.6 robots_1_5_3_19.7 robots_1_5_3_19.8 robots_1_5_3_19.9 robots_1_5_3_2.1 robots_1_5_3_2.10 robots_1_5_3_2.2 robots_1_5_3_2.3 robots_1_5_3_2.4 robots_1_5_3_2.5 robots_1_5_3_2.6 robots_1_5_3_2.7 robots_1_5_3_2.8 robots_1_5_3_2.9 robots_1_5_3_20.1 robots_1_5_3_20.10 robots_1_5_3_20.2 robots_1_5_3_20.3 robots_1_5_3_20.4 robots_1_5_3_20.5 robots_1_5_3_20.6 robots_1_5_3_20.7 robots_1_5_3_20.8 robots_1_5_3_20.9 robots_1_5_3_21.1 robots_1_5_3_21.10 robots_1_5_3_21.2 robots_1_5_3_21.3 robots_1_5_3_21.4 robots_1_5_3_21.5 robots_1_5_3_21.6 robots_1_5_3_21.7 robots_1_5_3_21.8 robots_1_5_3_21.9 robots_1_5_3_22.1 robots_1_5_3_22.10 robots_1_5_3_22.2 robots_1_5_3_22.3 robots_1_5_3_22.4 robots_1_5_3_22.5 robots_1_5_3_22.6 robots_1_5_3_22.7 robots_1_5_3_22.8 robots_1_5_3_22.9 robots_1_5_3_23.1 robots_1_5_3_23.10 robots_1_5_3_23.2 robots_1_5_3_23.3 robots_1_5_3_23.4 robots_1_5_3_23.5 robots_1_5_3_23.6 robots_1_5_3_23.7 robots_1_5_3_23.8 robots_1_5_3_23.9 robots_1_5_3_24.1 robots_1_5_3_24.10 robots_1_5_3_24.2 robots_1_5_3_24.3 robots_1_5_3_24.4 robots_1_5_3_24.5 robots_1_5_3_24.6 robots_1_5_3_24.7 robots_1_5_3_24.8 robots_1_5_3_24.9 robots_1_5_3_25.1 robots_1_5_3_25.10 robots_1_5_3_25.2 robots_1_5_3_25.3 robots_1_5_3_25.4 robots_1_5_3_25.5 robots_1_5_3_25.6 robots_1_5_3_25.7 robots_1_5_3_25.8 robots_1_5_3_25.9 robots_1_5_3_26.1 robots_1_5_3_26.10 robots_1_5_3_26.2 robots_1_5_3_26.3 robots_1_5_3_26.4 robots_1_5_3_26.5 robots_1_5_3_26.6 robots_1_5_3_26.7 robots_1_5_3_26.8 robots_1_5_3_26.9 robots_1_5_3_27.1 robots_1_5_3_27.10 robots_1_5_3_27.2 robots_1_5_3_27.3 robots_1_5_3_27.4 robots_1_5_3_27.5 robots_1_5_3_27.6 robots_1_5_3_27.7 robots_1_5_3_27.8 robots_1_5_3_27.9 robots_1_5_3_28.1 robots_1_5_3_28.10 robots_1_5_3_28.2 robots_1_5_3_28.3 robots_1_5_3_28.4 robots_1_5_3_28.5 robots_1_5_3_28.6 robots_1_5_3_28.7 robots_1_5_3_28.8 robots_1_5_3_28.9 robots_1_5_3_29.1 robots_1_5_3_29.10 robots_1_5_3_29.2 robots_1_5_3_29.3 robots_1_5_3_29.4 robots_1_5_3_29.5 robots_1_5_3_29.6 robots_1_5_3_29.7 robots_1_5_3_29.8 robots_1_5_3_29.9 robots_1_5_3_3.1 robots_1_5_3_3.10 robots_1_5_3_3.2 robots_1_5_3_3.3 robots_1_5_3_3.4 robots_1_5_3_3.5 robots_1_5_3_3.6 robots_1_5_3_3.7 robots_1_5_3_3.8 robots_1_5_3_3.9 robots_1_5_3_30.1 robots_1_5_3_30.10 robots_1_5_3_30.2 robots_1_5_3_30.3 robots_1_5_3_30.4 robots_1_5_3_30.5 robots_1_5_3_30.6 robots_1_5_3_30.7 robots_1_5_3_30.8 robots_1_5_3_30.9 robots_1_5_3_31.1 robots_1_5_3_31.10 robots_1_5_3_31.2 robots_1_5_3_31.3 robots_1_5_3_31.4 robots_1_5_3_31.5 robots_1_5_3_31.6 robots_1_5_3_31.7 robots_1_5_3_31.8 robots_1_5_3_31.9 robots_1_5_3_32.1 robots_1_5_3_32.10 robots_1_5_3_32.2 robots_1_5_3_32.3 robots_1_5_3_32.4 robots_1_5_3_32.5 robots_1_5_3_32.6 robots_1_5_3_32.7 robots_1_5_3_32.8 robots_1_5_3_32.9 robots_1_5_3_33.1 robots_1_5_3_33.10 robots_1_5_3_33.2 robots_1_5_3_33.3 robots_1_5_3_33.4 robots_1_5_3_33.5 robots_1_5_3_33.6 robots_1_5_3_33.7 robots_1_5_3_33.8 robots_1_5_3_33.9 robots_1_5_3_34.1 robots_1_5_3_34.10 robots_1_5_3_34.2 robots_1_5_3_34.3 robots_1_5_3_34.4 robots_1_5_3_34.5 robots_1_5_3_34.6 robots_1_5_3_34.7 robots_1_5_3_34.8 robots_1_5_3_34.9 robots_1_5_3_35.1 robots_1_5_3_35.10 robots_1_5_3_35.2 robots_1_5_3_35.3 robots_1_5_3_35.4 robots_1_5_3_35.5 robots_1_5_3_35.6 robots_1_5_3_35.7 robots_1_5_3_35.8 robots_1_5_3_35.9 robots_1_5_3_36.1 robots_1_5_3_36.10 robots_1_5_3_36.2 robots_1_5_3_36.3 robots_1_5_3_36.4 robots_1_5_3_36.5 robots_1_5_3_36.6 robots_1_5_3_36.7 robots_1_5_3_36.8 robots_1_5_3_36.9 robots_1_5_3_37.1 robots_1_5_3_37.10 robots_1_5_3_37.2 robots_1_5_3_37.3 robots_1_5_3_37.4 robots_1_5_3_37.5 robots_1_5_3_37.6 robots_1_5_3_37.7 robots_1_5_3_37.8 robots_1_5_3_37.9 robots_1_5_3_38.1 robots_1_5_3_38.10 robots_1_5_3_38.2 robots_1_5_3_38.3 robots_1_5_3_38.4 robots_1_5_3_38.5 robots_1_5_3_38.6 robots_1_5_3_38.7 robots_1_5_3_38.8 robots_1_5_3_38.9 robots_1_5_3_39.1 robots_1_5_3_39.10 robots_1_5_3_39.2 robots_1_5_3_39.3 robots_1_5_3_39.4 robots_1_5_3_39.5 robots_1_5_3_39.6 robots_1_5_3_39.7 robots_1_5_3_39.8 robots_1_5_3_39.9 robots_1_5_3_4.1 robots_1_5_3_4.10 robots_1_5_3_4.2 robots_1_5_3_4.3 robots_1_5_3_4.4 robots_1_5_3_4.5 robots_1_5_3_4.6 robots_1_5_3_4.7 robots_1_5_3_4.8 robots_1_5_3_4.9 robots_1_5_3_40.1 robots_1_5_3_40.10 robots_1_5_3_40.2 robots_1_5_3_40.3 robots_1_5_3_40.4 robots_1_5_3_40.5 robots_1_5_3_40.6 robots_1_5_3_40.7 robots_1_5_3_40.8 robots_1_5_3_40.9 robots_1_5_3_41.1 robots_1_5_3_41.10 robots_1_5_3_41.2 robots_1_5_3_41.3 robots_1_5_3_41.4 robots_1_5_3_41.5 robots_1_5_3_41.6 robots_1_5_3_41.7 robots_1_5_3_41.8 robots_1_5_3_41.9 robots_1_5_3_42.1 robots_1_5_3_42.10 robots_1_5_3_42.2 robots_1_5_3_42.3 robots_1_5_3_42.4 robots_1_5_3_42.5 robots_1_5_3_42.6 robots_1_5_3_42.7 robots_1_5_3_42.8 robots_1_5_3_42.9 robots_1_5_3_43.1 robots_1_5_3_43.10 robots_1_5_3_43.2 robots_1_5_3_43.3 robots_1_5_3_43.4 robots_1_5_3_43.5 robots_1_5_3_43.6 robots_1_5_3_43.7 robots_1_5_3_43.8 robots_1_5_3_43.9 robots_1_5_3_44.1 robots_1_5_3_44.10 robots_1_5_3_44.2 robots_1_5_3_44.3 robots_1_5_3_44.4 robots_1_5_3_44.5 robots_1_5_3_44.6 robots_1_5_3_44.7 robots_1_5_3_44.8 robots_1_5_3_44.9 robots_1_5_3_45.1 robots_1_5_3_45.10 robots_1_5_3_45.2 robots_1_5_3_45.3 robots_1_5_3_45.4 robots_1_5_3_45.5 robots_1_5_3_45.6 robots_1_5_3_45.7 robots_1_5_3_45.8 robots_1_5_3_45.9 robots_1_5_3_46.1 robots_1_5_3_46.10 robots_1_5_3_46.2 robots_1_5_3_46.3 robots_1_5_3_46.4 robots_1_5_3_46.5 robots_1_5_3_46.6 robots_1_5_3_46.7 robots_1_5_3_46.8 robots_1_5_3_46.9 robots_1_5_3_47.1 robots_1_5_3_47.10 robots_1_5_3_47.2 robots_1_5_3_47.3 robots_1_5_3_47.4 robots_1_5_3_47.5 robots_1_5_3_47.6 robots_1_5_3_47.7 robots_1_5_3_47.8 robots_1_5_3_47.9 robots_1_5_3_48.1 robots_1_5_3_48.10 robots_1_5_3_48.2 robots_1_5_3_48.3 robots_1_5_3_48.4 robots_1_5_3_48.5 robots_1_5_3_48.6 robots_1_5_3_48.7 robots_1_5_3_48.8 robots_1_5_3_48.9 robots_1_5_3_49.1 robots_1_5_3_49.10 robots_1_5_3_49.2 robots_1_5_3_49.3 robots_1_5_3_49.4 robots_1_5_3_49.5 robots_1_5_3_49.6 robots_1_5_3_49.7 robots_1_5_3_49.8 robots_1_5_3_49.9 robots_1_5_3_5.1 robots_1_5_3_5.10 robots_1_5_3_5.2 robots_1_5_3_5.3 robots_1_5_3_5.4 robots_1_5_3_5.5 robots_1_5_3_5.6 robots_1_5_3_5.7 robots_1_5_3_5.8 robots_1_5_3_5.9 robots_1_5_3_50.1 robots_1_5_3_50.10 robots_1_5_3_50.2 robots_1_5_3_50.3 robots_1_5_3_50.4 robots_1_5_3_50.5 robots_1_5_3_50.6 robots_1_5_3_50.7 robots_1_5_3_50.8 robots_1_5_3_50.9 robots_1_5_3_51.1 robots_1_5_3_51.10 robots_1_5_3_51.2 robots_1_5_3_51.3 robots_1_5_3_51.4 robots_1_5_3_51.5 robots_1_5_3_51.6 robots_1_5_3_51.7 robots_1_5_3_51.8 robots_1_5_3_51.9 robots_1_5_3_52.1 robots_1_5_3_52.10 robots_1_5_3_52.2 robots_1_5_3_52.3 robots_1_5_3_52.4 robots_1_5_3_52.5 robots_1_5_3_52.6 robots_1_5_3_52.7 robots_1_5_3_52.8 robots_1_5_3_52.9 robots_1_5_3_53.1 robots_1_5_3_53.10 robots_1_5_3_53.2 robots_1_5_3_53.3 robots_1_5_3_53.4 robots_1_5_3_53.5 robots_1_5_3_53.6 robots_1_5_3_53.7 robots_1_5_3_53.8 robots_1_5_3_53.9 robots_1_5_3_54.1 robots_1_5_3_54.10 robots_1_5_3_54.2 robots_1_5_3_54.3 robots_1_5_3_54.4 robots_1_5_3_54.5 robots_1_5_3_54.6 robots_1_5_3_54.7 robots_1_5_3_54.8 robots_1_5_3_54.9 robots_1_5_3_55.1 robots_1_5_3_55.10 robots_1_5_3_55.2 robots_1_5_3_55.3 robots_1_5_3_55.4 robots_1_5_3_55.5 robots_1_5_3_55.6 robots_1_5_3_55.7 robots_1_5_3_55.8 robots_1_5_3_55.9 robots_1_5_3_56.1 robots_1_5_3_56.10 robots_1_5_3_56.2 robots_1_5_3_56.3 robots_1_5_3_56.4 robots_1_5_3_56.5 robots_1_5_3_56.6 robots_1_5_3_56.7 robots_1_5_3_56.8 robots_1_5_3_56.9 robots_1_5_3_57.1 robots_1_5_3_57.10 robots_1_5_3_57.2 robots_1_5_3_57.3 robots_1_5_3_57.4 robots_1_5_3_57.5 robots_1_5_3_57.6 robots_1_5_3_57.7 robots_1_5_3_57.8 robots_1_5_3_57.9 robots_1_5_3_58.1 robots_1_5_3_58.10 robots_1_5_3_58.2 robots_1_5_3_58.3 robots_1_5_3_58.4 robots_1_5_3_58.5 robots_1_5_3_58.6 robots_1_5_3_58.7 robots_1_5_3_58.8 robots_1_5_3_58.9 robots_1_5_3_59.1 robots_1_5_3_59.10 robots_1_5_3_59.2 robots_1_5_3_59.3 robots_1_5_3_59.4 robots_1_5_3_59.5 robots_1_5_3_59.6 robots_1_5_3_59.7 robots_1_5_3_59.8 robots_1_5_3_59.9 robots_1_5_3_6.1 robots_1_5_3_6.10 robots_1_5_3_6.2 robots_1_5_3_6.3 robots_1_5_3_6.4 robots_1_5_3_6.5 robots_1_5_3_6.6 robots_1_5_3_6.7 robots_1_5_3_6.8 robots_1_5_3_6.9 robots_1_5_3_60.1 robots_1_5_3_60.10 robots_1_5_3_60.2 robots_1_5_3_60.3 robots_1_5_3_60.4 robots_1_5_3_60.5 robots_1_5_3_60.6 robots_1_5_3_60.7 robots_1_5_3_60.8 robots_1_5_3_60.9 robots_1_5_3_61.1 robots_1_5_3_61.10 robots_1_5_3_61.2 robots_1_5_3_61.3 robots_1_5_3_61.4 robots_1_5_3_61.5 robots_1_5_3_61.6 robots_1_5_3_61.7 robots_1_5_3_61.8 robots_1_5_3_61.9 robots_1_5_3_62.1 robots_1_5_3_62.10 robots_1_5_3_62.2 robots_1_5_3_62.3 robots_1_5_3_62.4 robots_1_5_3_62.5 robots_1_5_3_62.6 robots_1_5_3_62.7 robots_1_5_3_62.8 robots_1_5_3_62.9 robots_1_5_3_63.1 robots_1_5_3_63.10 robots_1_5_3_63.2 robots_1_5_3_63.3 robots_1_5_3_63.4 robots_1_5_3_63.5 robots_1_5_3_63.6 robots_1_5_3_63.7 robots_1_5_3_63.8 robots_1_5_3_63.9 robots_1_5_3_64.1 robots_1_5_3_64.10 robots_1_5_3_64.2 robots_1_5_3_64.3 robots_1_5_3_64.4 robots_1_5_3_64.5 robots_1_5_3_64.6 robots_1_5_3_64.7 robots_1_5_3_64.8 robots_1_5_3_64.9 robots_1_5_3_65.1 robots_1_5_3_65.10 robots_1_5_3_65.2 robots_1_5_3_65.3 robots_1_5_3_65.4 robots_1_5_3_65.5 robots_1_5_3_65.6 robots_1_5_3_65.7 robots_1_5_3_65.8 robots_1_5_3_65.9 robots_1_5_3_66.1 robots_1_5_3_66.10 robots_1_5_3_66.2 robots_1_5_3_66.3 robots_1_5_3_66.4 robots_1_5_3_66.5 robots_1_5_3_66.6 robots_1_5_3_66.7 robots_1_5_3_66.8 robots_1_5_3_66.9 robots_1_5_3_67.1 robots_1_5_3_67.10 robots_1_5_3_67.2 robots_1_5_3_67.3 robots_1_5_3_67.4 robots_1_5_3_67.5 robots_1_5_3_67.6 robots_1_5_3_67.7 robots_1_5_3_67.8 robots_1_5_3_67.9 robots_1_5_3_68.1 robots_1_5_3_68.10 robots_1_5_3_68.2 robots_1_5_3_68.3 robots_1_5_3_68.4 robots_1_5_3_68.5 robots_1_5_3_68.6 robots_1_5_3_68.7 robots_1_5_3_68.8 robots_1_5_3_68.9 robots_1_5_3_69.1 robots_1_5_3_69.10 robots_1_5_3_69.2 robots_1_5_3_69.3 robots_1_5_3_69.4 robots_1_5_3_69.5 robots_1_5_3_69.6 robots_1_5_3_69.7 robots_1_5_3_69.8 robots_1_5_3_69.9 robots_1_5_3_7.1 robots_1_5_3_7.10 robots_1_5_3_7.2 robots_1_5_3_7.3 robots_1_5_3_7.4 robots_1_5_3_7.5 robots_1_5_3_7.6 robots_1_5_3_7.7 robots_1_5_3_7.8 robots_1_5_3_7.9 robots_1_5_3_70.1 robots_1_5_3_70.10 robots_1_5_3_70.2 robots_1_5_3_70.3 robots_1_5_3_70.4 robots_1_5_3_70.5 robots_1_5_3_70.6 robots_1_5_3_70.7 robots_1_5_3_70.8 robots_1_5_3_70.9 robots_1_5_3_71.1 robots_1_5_3_71.10 robots_1_5_3_71.2 robots_1_5_3_71.3 robots_1_5_3_71.4 robots_1_5_3_71.5 robots_1_5_3_71.6 robots_1_5_3_71.7 robots_1_5_3_71.8 robots_1_5_3_71.9 robots_1_5_3_72.1 robots_1_5_3_72.10 robots_1_5_3_72.2 robots_1_5_3_72.3 robots_1_5_3_72.4 robots_1_5_3_72.5 robots_1_5_3_72.6 robots_1_5_3_72.7 robots_1_5_3_72.8 robots_1_5_3_72.9 robots_1_5_3_73.1 robots_1_5_3_73.10 robots_1_5_3_73.2 robots_1_5_3_73.3 robots_1_5_3_73.4 robots_1_5_3_73.5 robots_1_5_3_73.6 robots_1_5_3_73.7 robots_1_5_3_73.8 robots_1_5_3_73.9 robots_1_5_3_74.1 robots_1_5_3_74.10 robots_1_5_3_74.2 robots_1_5_3_74.3 robots_1_5_3_74.4 robots_1_5_3_74.5 robots_1_5_3_74.6 robots_1_5_3_74.7 robots_1_5_3_74.8 robots_1_5_3_74.9 robots_1_5_3_75.1 robots_1_5_3_75.10 robots_1_5_3_75.2 robots_1_5_3_75.3 robots_1_5_3_75.4 robots_1_5_3_75.5 robots_1_5_3_75.6 robots_1_5_3_75.7 robots_1_5_3_75.8 robots_1_5_3_75.9 robots_1_5_3_76.1 robots_1_5_3_76.10 robots_1_5_3_76.2 robots_1_5_3_76.3 robots_1_5_3_76.4 robots_1_5_3_76.5 robots_1_5_3_76.6 robots_1_5_3_76.7 robots_1_5_3_76.8 robots_1_5_3_76.9 robots_1_5_3_77.1 robots_1_5_3_77.10 robots_1_5_3_77.2 robots_1_5_3_77.3 robots_1_5_3_77.4 robots_1_5_3_77.5 robots_1_5_3_77.6 robots_1_5_3_77.7 robots_1_5_3_77.8 robots_1_5_3_77.9 robots_1_5_3_78.1 robots_1_5_3_78.10 robots_1_5_3_78.2 robots_1_5_3_78.3 robots_1_5_3_78.4 robots_1_5_3_78.5 robots_1_5_3_78.6 robots_1_5_3_78.7 robots_1_5_3_78.8 robots_1_5_3_78.9 robots_1_5_3_79.1 robots_1_5_3_79.10 robots_1_5_3_79.2 robots_1_5_3_79.3 robots_1_5_3_79.4 robots_1_5_3_79.5 robots_1_5_3_79.6 robots_1_5_3_79.7 robots_1_5_3_79.8 robots_1_5_3_79.9 robots_1_5_3_8.1 robots_1_5_3_8.10 robots_1_5_3_8.2 robots_1_5_3_8.3 robots_1_5_3_8.4 robots_1_5_3_8.5 robots_1_5_3_8.6 robots_1_5_3_8.7 robots_1_5_3_8.8 robots_1_5_3_8.9 robots_1_5_3_80.1 robots_1_5_3_80.10 robots_1_5_3_80.2 robots_1_5_3_80.3 robots_1_5_3_80.4 robots_1_5_3_80.5 robots_1_5_3_80.6 robots_1_5_3_80.7 robots_1_5_3_80.8 robots_1_5_3_80.9 robots_1_5_3_81.1 robots_1_5_3_81.10 robots_1_5_3_81.2 robots_1_5_3_81.3 robots_1_5_3_81.4 robots_1_5_3_81.5 robots_1_5_3_81.6 robots_1_5_3_81.7 robots_1_5_3_81.8 robots_1_5_3_81.9 robots_1_5_3_82.1 robots_1_5_3_82.10 robots_1_5_3_82.2 robots_1_5_3_82.3 robots_1_5_3_82.4 robots_1_5_3_82.5 robots_1_5_3_82.6 robots_1_5_3_82.7 robots_1_5_3_82.8 robots_1_5_3_82.9 robots_1_5_3_83.1 robots_1_5_3_83.10 robots_1_5_3_83.2 robots_1_5_3_83.3 robots_1_5_3_83.4 robots_1_5_3_83.5 robots_1_5_3_83.6 robots_1_5_3_83.7 robots_1_5_3_83.8 robots_1_5_3_83.9 robots_1_5_3_84.1 robots_1_5_3_84.10 robots_1_5_3_84.2 robots_1_5_3_84.3 robots_1_5_3_84.4 robots_1_5_3_84.5 robots_1_5_3_84.6 robots_1_5_3_84.7 robots_1_5_3_84.8 robots_1_5_3_84.9 robots_1_5_3_85.1 robots_1_5_3_85.10 robots_1_5_3_85.2 robots_1_5_3_85.3 robots_1_5_3_85.4 robots_1_5_3_85.5 robots_1_5_3_85.6 robots_1_5_3_85.7 robots_1_5_3_85.8 robots_1_5_3_85.9 robots_1_5_3_86.1 robots_1_5_3_86.10 robots_1_5_3_86.2 robots_1_5_3_86.3 robots_1_5_3_86.4 robots_1_5_3_86.5 robots_1_5_3_86.6 robots_1_5_3_86.7 robots_1_5_3_86.8 robots_1_5_3_86.9 robots_1_5_3_87.1 robots_1_5_3_87.10 robots_1_5_3_87.2 robots_1_5_3_87.3 robots_1_5_3_87.4 robots_1_5_3_87.5 robots_1_5_3_87.6 robots_1_5_3_87.7 robots_1_5_3_87.8 robots_1_5_3_87.9 robots_1_5_3_88.1 robots_1_5_3_88.10 robots_1_5_3_88.2 robots_1_5_3_88.3 robots_1_5_3_88.4 robots_1_5_3_88.5 robots_1_5_3_88.6 robots_1_5_3_88.7 robots_1_5_3_88.8 robots_1_5_3_88.9 robots_1_5_3_89.1 robots_1_5_3_89.10 robots_1_5_3_89.2 robots_1_5_3_89.3 robots_1_5_3_89.4 robots_1_5_3_89.5 robots_1_5_3_89.6 robots_1_5_3_89.7 robots_1_5_3_89.8 robots_1_5_3_89.9 robots_1_5_3_9.1 robots_1_5_3_9.10 robots_1_5_3_9.2 robots_1_5_3_9.3 robots_1_5_3_9.4 robots_1_5_3_9.5 robots_1_5_3_9.6 robots_1_5_3_9.7 robots_1_5_3_9.8 robots_1_5_3_9.9 robots_1_5_3_90.1 robots_1_5_3_90.10 robots_1_5_3_90.2 robots_1_5_3_90.3 robots_1_5_3_90.4 robots_1_5_3_90.5 robots_1_5_3_90.6 robots_1_5_3_90.7 robots_1_5_3_90.8 robots_1_5_3_90.9 robots_1_5_3_91.1 robots_1_5_3_91.10 robots_1_5_3_91.2 robots_1_5_3_91.3 robots_1_5_3_91.4 robots_1_5_3_91.5 robots_1_5_3_91.6 robots_1_5_3_91.7 robots_1_5_3_91.8 robots_1_5_3_91.9 robots_1_5_3_92.1 robots_1_5_3_92.10 robots_1_5_3_92.2 robots_1_5_3_92.3 robots_1_5_3_92.4 robots_1_5_3_92.5 robots_1_5_3_92.6 robots_1_5_3_92.7 robots_1_5_3_92.8 robots_1_5_3_92.9 robots_1_5_3_93.1 robots_1_5_3_93.10 robots_1_5_3_93.2 robots_1_5_3_93.3 robots_1_5_3_93.4 robots_1_5_3_93.5 robots_1_5_3_93.6 robots_1_5_3_93.7 robots_1_5_3_93.8 robots_1_5_3_93.9 robots_1_5_3_94.1 robots_1_5_3_94.10 robots_1_5_3_94.2 robots_1_5_3_94.3 robots_1_5_3_94.4 robots_1_5_3_94.5 robots_1_5_3_94.6 robots_1_5_3_94.7 robots_1_5_3_94.8 robots_1_5_3_94.9 robots_1_5_3_95.1 robots_1_5_3_95.10 robots_1_5_3_95.2 robots_1_5_3_95.3 robots_1_5_3_95.4 robots_1_5_3_95.5 robots_1_5_3_95.6 robots_1_5_3_95.7 robots_1_5_3_95.8 robots_1_5_3_95.9 robots_1_5_3_96.1 robots_1_5_3_96.10 robots_1_5_3_96.2 robots_1_5_3_96.3 robots_1_5_3_96.4 robots_1_5_3_96.5 robots_1_5_3_96.6 robots_1_5_3_96.7 robots_1_5_3_96.8 robots_1_5_3_96.9 robots_1_5_3_97.1 robots_1_5_3_97.10 robots_1_5_3_97.2 robots_1_5_3_97.3 robots_1_5_3_97.4 robots_1_5_3_97.5 robots_1_5_3_97.6 robots_1_5_3_97.7 robots_1_5_3_97.8 robots_1_5_3_97.9 robots_1_5_3_98.1 robots_1_5_3_98.10 robots_1_5_3_98.2 robots_1_5_3_98.3 robots_1_5_3_98.4 robots_1_5_3_98.5 robots_1_5_3_98.6 robots_1_5_3_98.7 robots_1_5_3_98.8 robots_1_5_3_98.9 robots_1_5_3_99.1 robots_1_5_3_99.10 robots_1_5_3_99.2 robots_1_5_3_99.3 robots_1_5_3_99.4 robots_1_5_3_99.5 robots_1_5_3_99.6 robots_1_5_3_99.7 robots_1_5_3_99.8 robots_1_5_3_99.9

The Quantified Boolean Formulas Satisfiability Library

Detail page for RobotsD3 family