X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=blobdiff_plain;f=main.py;h=e3fd9f0c37696a878b50f578d4d44c9141e1b0b2;hb=a3211f96c7426a613b82a2de87d4dd70640e8f46;hp=e18887b1998adc31da6c914519b2ba7ff049aece;hpb=0f580d4facb4b4b485d0a38d62d06c0639715b77;p=picoclvr.git diff --git a/main.py b/main.py index e18887b..e3fd9f0 100755 --- a/main.py +++ b/main.py @@ -266,6 +266,8 @@ picoclvr_pruner_eval = ( if args.task == "sandbox": task = tasks.SandBox( + tasks.ProblemLevel2(), + # tasks.ProblemAddition(zero_padded=False, inverted_result=False), nb_train_samples=args.nb_train_samples, nb_test_samples=args.nb_test_samples, batch_size=args.batch_size,