[INFO 2020-09-18 19:15:47,993] {'exp': 1, 'dataset': 'mnist', 'dataset_dir': '/home/chawin/data/', 'random': True, 'seed': 1, 'partial': False, 'label_domain': (0, 1), 'num_test': 10}
[INFO 2020-09-18 19:15:47,994] {'k': 1, 'exact': True, 'method': 'gca', 'dtype': <class 'numpy.float32'>, 'parallel': False, 'num_cores': 32, 'tol': 1e-07, 'device': 'cpu', 'time_limit': 1000, 'neighbor_method': 'all', 'm': 40, 'save_1nn_nb': False, 'compute_dist_to_cell': True, 'treat_facet_as_cell': False, 'use_potential': False, 'max_proj_iters': 2000, 'early_stop': True, 'check_obj_steps': 200, 'upperbound': inf, 'div_counter': 8, 'div_ratio': 0.999, 'div_step': 10}
[INFO 2020-09-18 19:15:51,240] Setting up a quick attack for computing loose upperbound...
[INFO 2020-09-18 19:16:12,943] Running the attack...
[INFO 2020-09-18 19:16:38,833] Upper bound found by a quick attack: [0.51554745 0.01067852 2.4632492  2.0907726  2.3273644  2.3038378
 2.3696768  0.8123795  1.860176   1.5659893 ]
[INFO 2020-09-18 19:16:38,834] Setting up GeoCert...
[INFO 2020-09-18 19:16:38,947] Start running...
[INFO 2020-09-18 19:16:38,947] # ====================== SAMPLE 0 ===================== #
[INFO 2020-09-18 19:16:38,947] Upper bound: 0.4882
[DEBUG 2020-09-18 19:16:39,737] Computing lb_dist...
[DEBUG 2020-09-18 19:16:39,948] done.
[DEBUG 2020-09-18 19:16:39,955] After lb screening | num adv facets: 1, num benign facets: 4
[DEBUG 2020-09-18 19:17:25,764] ((9698,), (0.36748245, ((49403,), (49403, 9698), 1, 0)))
[DEBUG 2020-09-18 19:17:25,764] >>>>>>>>>> new ub_facet: 0.3675 <<<<<<<<<<
[DEBUG 2020-09-18 19:17:25,765] Computing distance to benign facets...
[DEBUG 2020-09-18 19:18:23,435] (array([26551]), (0.30653095, ((49403,), (49403, 26551), 0, 0)))
[DEBUG 2020-09-18 19:19:51,663] (array([46045]), (0.31242755, ((49403,), (49403, 46045), 0, 0)))
[DEBUG 2020-09-18 19:19:52,561] Computing lb_dist...
[DEBUG 2020-09-18 19:19:52,851] done.
[DEBUG 2020-09-18 19:19:52,859] After lb screening | num adv facets: 2, num benign facets: 5
[DEBUG 2020-09-18 19:19:53,913] Screened.
[DEBUG 2020-09-18 19:19:53,929] ((58726,), None)
[DEBUG 2020-09-18 19:19:54,868] Screened.
[DEBUG 2020-09-18 19:19:54,879] ((46810,), None)
[DEBUG 2020-09-18 19:19:54,879] Computing distance to benign facets...
[DEBUG 2020-09-18 19:19:55,982] Screened.
[DEBUG 2020-09-18 19:19:55,994] (array([40010]), None)
[DEBUG 2020-09-18 19:19:56,737] Screened.
[DEBUG 2020-09-18 19:19:56,747] (array([46043]), None)
[DEBUG 2020-09-18 19:19:57,506] Screened.
[DEBUG 2020-09-18 19:19:57,515] (array([3115]), None)
[DEBUG 2020-09-18 19:19:58,257] Screened.
[DEBUG 2020-09-18 19:19:58,266] (array([53793]), None)
[DEBUG 2020-09-18 19:19:59,008] Screened.
[DEBUG 2020-09-18 19:19:59,017] (array([49769]), None)
[DEBUG 2020-09-18 19:19:59,750] Computing lb_dist...
[DEBUG 2020-09-18 19:19:59,981] done.
[DEBUG 2020-09-18 19:19:59,988] After lb screening | num adv facets: 1, num benign facets: 6
[DEBUG 2020-09-18 19:20:00,885] Screened.
[DEBUG 2020-09-18 19:20:00,894] ((58726,), None)
[DEBUG 2020-09-18 19:20:00,894] Computing distance to benign facets...
[DEBUG 2020-09-18 19:20:01,779] Screened.
[DEBUG 2020-09-18 19:20:01,794] (array([40010]), None)
[DEBUG 2020-09-18 19:20:02,695] Screened.
[DEBUG 2020-09-18 19:20:02,706] (array([3115]), None)
[DEBUG 2020-09-18 19:20:03,474] Screened.
[DEBUG 2020-09-18 19:20:03,483] (array([46043]), None)
[DEBUG 2020-09-18 19:20:05,238] Screened.
[DEBUG 2020-09-18 19:20:05,260] (array([49769]), None)
[DEBUG 2020-09-18 19:20:06,206] Screened.
[DEBUG 2020-09-18 19:20:06,248] (array([53793]), None)
[DEBUG 2020-09-18 19:20:08,348] Screened.
[DEBUG 2020-09-18 19:20:08,375] (array([13881]), None)
[INFO 2020-09-18 19:21:05,662] FINISHED: adv cell found! main loop time: 266.65
[INFO 2020-09-18 19:21:05,663] num cells visited: 4, num cells computed: 4
[INFO 2020-09-18 19:21:05,663] dist: 0.3675
[INFO 2020-09-18 19:21:05,676] # ====================== SAMPLE 1 ===================== #
[INFO 2020-09-18 19:21:05,676] Upper bound: 0.0014
[INFO 2020-09-18 19:21:05,767] Finished: query is already misclassified.
[INFO 2020-09-18 19:21:05,767] # ====================== SAMPLE 2 ===================== #
[INFO 2020-09-18 19:21:05,767] Upper bound: 2.4632
[DEBUG 2020-09-18 19:21:08,488] Computing lb_dist...
[DEBUG 2020-09-18 19:21:08,588] done.
[DEBUG 2020-09-18 19:21:08,595] After lb screening | num adv facets: 7, num benign facets: 106
[DEBUG 2020-09-18 19:21:51,795] ((25800,), (2.1458235, ((24430,), (24430, 25800), 1, 0)))
[DEBUG 2020-09-18 19:21:51,796] >>>>>>>>>> new ub_facet: 2.1458 <<<<<<<<<<
[DEBUG 2020-09-18 19:21:52,193] Screened.
[DEBUG 2020-09-18 19:21:52,203] ((2410,), None)
[DEBUG 2020-09-18 19:21:52,595] Screened.
[DEBUG 2020-09-18 19:21:52,605] ((42986,), None)
[DEBUG 2020-09-18 19:21:52,997] Screened.
[DEBUG 2020-09-18 19:21:53,007] ((55190,), None)
[DEBUG 2020-09-18 19:21:53,402] Screened.
[DEBUG 2020-09-18 19:21:53,412] ((27527,), None)
[DEBUG 2020-09-18 19:21:53,812] Screened.
[DEBUG 2020-09-18 19:21:53,822] ((46389,), None)
[DEBUG 2020-09-18 19:21:54,256] Screened.
[DEBUG 2020-09-18 19:21:54,265] ((5640,), None)
[DEBUG 2020-09-18 19:21:54,266] Computing distance to benign facets...
[DEBUG 2020-09-18 19:22:34,719] (array([34558]), (0.290129, ((24430,), (24430, 34558), 0, 0)))
[DEBUG 2020-09-18 19:23:17,284] (array([25564]), (0.5072899, ((24430,), (24430, 25564), 0, 0)))
[DEBUG 2020-09-18 19:23:54,372] (array([12844]), (0.5863725, ((24430,), (24430, 12844), 0, 0)))
[DEBUG 2020-09-18 19:24:36,710] (array([32981]), (0.6922392, ((24430,), (24430, 32981), 0, 0)))
[DEBUG 2020-09-18 19:25:15,562] (array([57442]), (0.71607167, ((24430,), (24430, 57442), 0, 0)))
[DEBUG 2020-09-18 19:25:58,695] (array([44414]), (0.94955677, ((24430,), (24430, 44414), 0, 0)))
[DEBUG 2020-09-18 19:26:34,266] (array([56917]), (0.95735794, ((24430,), (24430, 56917), 0, 0)))
[DEBUG 2020-09-18 19:27:06,657] (array([22922]), (0.97312236, ((24430,), (24430, 22922), 0, 0)))
[DEBUG 2020-09-18 19:27:35,448] (array([6386]), (1.0802095, ((24430,), (24430, 6386), 0, 0)))
[DEBUG 2020-09-18 19:28:03,965] (array([1609]), (1.2529538, ((24430,), (24430, 1609), 0, 0)))
[DEBUG 2020-09-18 19:28:33,972] (array([26357]), (1.3513428, ((24430,), (24430, 26357), 0, 0)))
[DEBUG 2020-09-18 19:29:05,136] (array([30710]), (1.4879278, ((24430,), (24430, 30710), 0, 0)))
[DEBUG 2020-09-18 19:29:37,421] (array([7473]), (1.5919284, ((24430,), (24430, 7473), 0, 0)))
[DEBUG 2020-09-18 19:30:07,709] (array([3224]), (1.5981314, ((24430,), (24430, 3224), 0, 0)))
[DEBUG 2020-09-18 19:30:39,939] (array([20414]), (1.6241366, ((24430,), (24430, 20414), 0, 0)))
[DEBUG 2020-09-18 19:31:11,091] (array([32872]), (1.5635797, ((24430,), (24430, 32872), 0, 0)))
[DEBUG 2020-09-18 19:31:46,782] (array([42328]), (1.7784011, ((24430,), (24430, 42328), 0, 0)))
[DEBUG 2020-09-18 19:32:22,305] (array([27535]), (1.7461779, ((24430,), (24430, 27535), 0, 0)))
[DEBUG 2020-09-18 19:33:03,404] (array([37610]), (1.753942, ((24430,), (24430, 37610), 0, 0)))
[DEBUG 2020-09-18 19:33:36,627] (array([53367]), (1.7120317, ((24430,), (24430, 53367), 0, 0)))
[DEBUG 2020-09-18 19:34:11,020] (array([46556]), (1.8874724, ((24430,), (24430, 46556), 0, 0)))
[DEBUG 2020-09-18 19:34:42,550] (array([29853]), (1.7706031, ((24430,), (24430, 29853), 0, 0)))
[DEBUG 2020-09-18 19:35:18,581] (array([41766]), (1.9114375, ((24430,), (24430, 41766), 0, 0)))
[DEBUG 2020-09-18 19:35:56,505] (array([28686]), (1.7919673, ((24430,), (24430, 28686), 0, 0)))
[DEBUG 2020-09-18 19:36:37,107] (array([38417]), (1.7492324, ((24430,), (24430, 38417), 0, 0)))
[DEBUG 2020-09-18 19:37:17,709] (array([46966]), (1.9251624, ((24430,), (24430, 46966), 0, 0)))
[DEBUG 2020-09-18 19:38:02,875] (array([38108]), (1.9397547, ((24430,), (24430, 38108), 0, 0)))
[DEBUG 2020-09-18 19:38:42,939] (array([27470]), (1.9498516, ((24430,), (24430, 27470), 0, 0)))
[DEBUG 2020-09-18 19:39:21,528] (array([39794]), (1.9084263, ((24430,), (24430, 39794), 0, 0)))
[DEBUG 2020-09-18 19:39:57,399] (array([42958]), (2.0286098, ((24430,), (24430, 42958), 0, 0)))
[DEBUG 2020-09-18 19:40:28,622] (array([31956]), (1.941138, ((24430,), (24430, 31956), 0, 0)))
[DEBUG 2020-09-18 19:41:02,455] (array([21537]), (2.0740168, ((24430,), (24430, 21537), 0, 0)))
[DEBUG 2020-09-18 19:41:40,180] (array([23468]), (1.9950618, ((24430,), (24430, 23468), 0, 0)))
[DEBUG 2020-09-18 19:42:22,838] (array([10406]), (2.057654, ((24430,), (24430, 10406), 0, 0)))
[DEBUG 2020-09-18 19:42:57,655] (array([52694]), None)
[DEBUG 2020-09-18 19:43:34,069] (array([410]), (2.0476263, ((24430,), (24430, 410), 0, 0)))
[DEBUG 2020-09-18 19:44:17,794] (array([32678]), (2.0316825, ((24430,), (24430, 32678), 0, 0)))
[DEBUG 2020-09-18 19:44:58,317] (array([22198]), None)
[DEBUG 2020-09-18 19:45:32,217] (array([24406]), (2.029488, ((24430,), (24430, 24406), 0, 0)))
[DEBUG 2020-09-18 19:46:15,298] (array([24612]), (2.127916, ((24430,), (24430, 24612), 0, 0)))
[DEBUG 2020-09-18 19:46:54,879] (array([9672]), None)
[DEBUG 2020-09-18 19:47:26,075] (array([54956]), None)
[DEBUG 2020-09-18 19:48:01,923] (array([17078]), (2.1395807, ((24430,), (24430, 17078), 0, 0)))
[DEBUG 2020-09-18 19:48:44,484] (array([18117]), (2.0569155, ((24430,), (24430, 18117), 0, 0)))
[DEBUG 2020-09-18 19:49:20,328] (array([7537]), None)
[DEBUG 2020-09-18 19:50:02,575] (array([56355]), None)
[DEBUG 2020-09-18 19:50:03,052] Screened.
[DEBUG 2020-09-18 19:50:03,060] (array([5908]), None)
[DEBUG 2020-09-18 19:50:42,278] (array([57878]), None)
[DEBUG 2020-09-18 19:51:18,388] (array([17047]), None)
[INFO 2020-09-18 19:51:18,389] FINISHED: hit the time limit.
[INFO 2020-09-18 19:51:18,389] verifying seen adv cell...
[INFO 2020-09-18 19:52:05,942] num cells visited: 2, num cells computed: 42
[INFO 2020-09-18 19:52:05,943] dist: 2.1458
[INFO 2020-09-18 19:52:05,955] # ====================== SAMPLE 3 ===================== #
[INFO 2020-09-18 19:52:05,955] Upper bound: 2.0888
[DEBUG 2020-09-18 19:52:06,757] Computing lb_dist...
[DEBUG 2020-09-18 19:52:06,947] done.
[DEBUG 2020-09-18 19:52:06,955] After lb screening | num adv facets: 1, num benign facets: 270
[DEBUG 2020-09-18 19:52:52,807] ((14740,), (1.8438965, ((50921,), (50921, 14740), 1, 0)))
[DEBUG 2020-09-18 19:52:52,808] >>>>>>>>>> new ub_facet: 1.8439 <<<<<<<<<<
[DEBUG 2020-09-18 19:52:52,809] Computing distance to benign facets...
[DEBUG 2020-09-18 19:53:43,329] (array([26092]), (0.21447289, ((50921,), (50921, 26092), 0, 0)))
[DEBUG 2020-09-18 19:54:21,458] (array([22384]), (0.31124505, ((50921,), (50921, 22384), 0, 0)))
[DEBUG 2020-09-18 19:55:02,396] (array([47265]), (0.4724621, ((50921,), (50921, 47265), 0, 0)))
[DEBUG 2020-09-18 19:55:40,772] (array([39206]), (0.60050595, ((50921,), (50921, 39206), 0, 0)))
[DEBUG 2020-09-18 19:56:22,288] (array([56455]), (0.6389216, ((50921,), (50921, 56455), 0, 0)))
[DEBUG 2020-09-18 19:56:59,608] (array([57719]), (0.73900455, ((50921,), (50921, 57719), 0, 0)))
[DEBUG 2020-09-18 19:57:34,393] (array([8911]), (0.73568535, ((50921,), (50921, 8911), 0, 0)))
[DEBUG 2020-09-18 19:58:11,778] (array([21485]), (0.7662995, ((50921,), (50921, 21485), 0, 0)))
[DEBUG 2020-09-18 19:58:50,376] (array([51525]), (0.7883972, ((50921,), (50921, 51525), 0, 0)))
[DEBUG 2020-09-18 19:59:23,568] (array([21411]), (0.79481894, ((50921,), (50921, 21411), 0, 0)))
[DEBUG 2020-09-18 19:59:56,513] (array([55307]), (0.8059926, ((50921,), (50921, 55307), 0, 0)))
[DEBUG 2020-09-18 20:00:41,099] (array([299]), (0.8285753, ((50921,), (50921, 299), 0, 0)))
[DEBUG 2020-09-18 20:01:20,104] (array([28496]), (0.87164927, ((50921,), (50921, 28496), 0, 0)))
[DEBUG 2020-09-18 20:02:08,012] (array([33269]), (0.8613341, ((50921,), (50921, 33269), 0, 0)))
[DEBUG 2020-09-18 20:02:50,386] (array([59121]), (0.9179503, ((50921,), (50921, 59121), 0, 0)))
[DEBUG 2020-09-18 20:03:29,851] (array([11800]), (0.90790844, ((50921,), (50921, 11800), 0, 0)))
[DEBUG 2020-09-18 20:04:21,120] (array([47824]), (0.9205199, ((50921,), (50921, 47824), 0, 0)))
[DEBUG 2020-09-18 20:05:02,026] (array([15441]), (0.9856113, ((50921,), (50921, 15441), 0, 0)))
[DEBUG 2020-09-18 20:05:47,731] (array([14190]), (1.0601202, ((50921,), (50921, 14190), 0, 0)))
[DEBUG 2020-09-18 20:06:38,717] (array([32633]), (1.093673, ((50921,), (50921, 32633), 0, 0)))
[DEBUG 2020-09-18 20:07:26,497] (array([32623]), (1.0261123, ((50921,), (50921, 32623), 0, 0)))
[DEBUG 2020-09-18 20:08:07,293] (array([2214]), (1.0446234, ((50921,), (50921, 2214), 0, 0)))
[DEBUG 2020-09-18 20:09:01,377] (array([10550]), (1.2045158, ((50921,), (50921, 10550), 0, 0)))
[DEBUG 2020-09-18 20:09:52,764] (array([56463]), (1.0449207, ((50921,), (50921, 56463), 0, 0)))
[DEBUG 2020-09-18 20:10:30,536] (array([54370]), (1.0791106, ((50921,), (50921, 54370), 0, 0)))
[DEBUG 2020-09-18 20:11:17,540] (array([52957]), (1.0811698, ((50921,), (50921, 52957), 0, 0)))
[DEBUG 2020-09-18 20:12:09,793] (array([50220]), (1.1383541, ((50921,), (50921, 50220), 0, 0)))
[DEBUG 2020-09-18 20:12:50,750] (array([48052]), (1.1575277, ((50921,), (50921, 48052), 0, 0)))
[DEBUG 2020-09-18 20:13:32,971] (array([53625]), (1.1156963, ((50921,), (50921, 53625), 0, 0)))
[DEBUG 2020-09-18 20:14:25,161] (array([13759]), (1.2708782, ((50921,), (50921, 13759), 0, 0)))
[DEBUG 2020-09-18 20:14:58,004] (array([47277]), (1.1821362, ((50921,), (50921, 47277), 0, 0)))
[DEBUG 2020-09-18 20:15:30,880] (array([21237]), (1.3068255, ((50921,), (50921, 21237), 0, 0)))
[DEBUG 2020-09-18 20:16:17,917] (array([21257]), (1.2106414, ((50921,), (50921, 21257), 0, 0)))
[DEBUG 2020-09-18 20:17:20,381] (array([51152]), (1.4692591, ((50921,), (50921, 51152), 0, 0)))
[DEBUG 2020-09-18 20:18:10,933] (array([48338]), (1.3788399, ((50921,), (50921, 48338), 0, 0)))
[DEBUG 2020-09-18 20:18:43,693] (array([2291]), (1.3364708, ((50921,), (50921, 2291), 0, 0)))
[DEBUG 2020-09-18 20:19:17,503] (array([42700]), (1.3008927, ((50921,), (50921, 42700), 0, 0)))
[DEBUG 2020-09-18 20:19:53,403] (array([2259]), (1.348963, ((50921,), (50921, 2259), 0, 0)))
[DEBUG 2020-09-18 20:20:30,747] (array([21239]), (1.3050692, ((50921,), (50921, 21239), 0, 0)))
[DEBUG 2020-09-18 20:21:14,184] (array([36769]), (1.4333895, ((50921,), (50921, 36769), 0, 0)))
[DEBUG 2020-09-18 20:21:49,486] (array([55627]), (1.4278352, ((50921,), (50921, 55627), 0, 0)))
[DEBUG 2020-09-18 20:22:24,233] (array([48071]), (1.359305, ((50921,), (50921, 48071), 0, 0)))
[DEBUG 2020-09-18 20:22:59,817] (array([25340]), (1.7356999, ((50921,), (50921, 25340), 0, 0)))
[DEBUG 2020-09-18 20:23:36,873] (array([9928]), (1.398561, ((50921,), (50921, 9928), 0, 0)))
