{"kind":"call","purpose":"measurement","fixture":"signed-grid","round":0,"warmup":true,"problem":"opt11-signed-grid","method":"baseline","elapsed_ns":3945600,"points":[[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4]],"status":"complete","retained":[29,30,31,32],"support":[4,4,4,4,8,8],"removed":[{"point":0,"program_problem":"opt11-signed-grid","program":"hull-membership-0","terms":[[32,1]]},{"point":1,"program_problem":"opt11-signed-grid","program":"hull-membership-1","terms":[[16,0.5],[23,0.5]]},{"point":2,"program_problem":"opt11-signed-grid","program":"hull-membership-2","terms":[[26,1]]},{"point":3,"program_problem":"opt11-signed-grid","program":"hull-membership-3","terms":[[30,0.5],[32,0.5]]},{"point":4,"program_problem":"opt11-signed-grid","program":"hull-membership-4","terms":[[13,0.5],[22,0.5]]},{"point":5,"program_problem":"opt11-signed-grid","program":"hull-membership-5","terms":[[29,1]]},{"point":6,"program_problem":"opt11-signed-grid","program":"hull-membership-6","terms":[[22,1]]},{"point":7,"program_problem":"opt11-signed-grid","program":"hull-membership-7","terms":[[31,1]]},{"point":8,"program_problem":"opt11-signed-grid","program":"hull-membership-8","terms":[[16,1]]},{"point":9,"program_problem":"opt11-signed-grid","program":"hull-membership-9","terms":[[25,1]]},{"point":10,"program_problem":"opt11-signed-grid","program":"hull-membership-10","terms":[[13,0.5],[31,0.5]]},{"point":11,"program_problem":"opt11-signed-grid","program":"hull-membership-11","terms":[[19,1]]},{"point":12,"program_problem":"opt11-signed-grid","program":"hull-membership-12","terms":[[13,0.5],[14,0.5]]},{"point":13,"program_problem":"opt11-signed-grid","program":"hull-membership-13","terms":[[21,1]]},{"point":14,"program_problem":"opt11-signed-grid","program":"hull-membership-14","terms":[[22,1]]},{"point":15,"program_problem":"opt11-signed-grid","program":"hull-membership-15","terms":[[31,1]]},{"point":16,"program_problem":"opt11-signed-grid","program":"hull-membership-16","terms":[[32,1]]},{"point":17,"program_problem":"opt11-signed-grid","program":"hull-membership-17","terms":[[23,0.5],[32,0.5]]},{"point":18,"program_problem":"opt11-signed-grid","program":"hull-membership-18","terms":[[21,0.5],[23,0.5]]},{"point":19,"program_problem":"opt11-signed-grid","program":"hull-membership-19","terms":[[30,0.5],[32,0.5]]},{"point":20,"program_problem":"opt11-signed-grid","program":"hull-membership-20","terms":[[22,0.5],[29,0.5]]},{"point":21,"program_problem":"opt11-signed-grid","program":"hull-membership-21","terms":[[29,1]]},{"point":22,"program_problem":"opt11-signed-grid","program":"hull-membership-22","terms":[[30,1]]},{"point":23,"program_problem":"opt11-signed-grid","program":"hull-membership-23","terms":[[31,1]]},{"point":24,"program_problem":"opt11-signed-grid","program":"hull-membership-24","terms":[[32,1]]},{"point":25,"program_problem":"opt11-signed-grid","program":"hull-membership-25","terms":[[31,0.5],[32,0.5]]},{"point":26,"program_problem":"opt11-signed-grid","program":"hull-membership-26","terms":[[29,0.5],[31,0.5]]},{"point":27,"program_problem":"opt11-signed-grid","program":"hull-membership-27","terms":[[30,0.5],[32,0.5]]},{"point":28,"program_problem":"opt11-signed-grid","program":"hull-membership-28","terms":[[29,0.5],[30,0.5]]}],"lp_calls":33,"attempts":[[0,"feasible"],[1,"feasible"],[2,"feasible"],[3,"feasible"],[4,"feasible"],[5,"feasible"],[6,"feasible"],[7,"feasible"],[8,"feasible"],[9,"feasible"],[10,"feasible"],[11,"feasible"],[12,"feasible"],[13,"feasible"],[14,"feasible"],[15,"feasible"],[16,"feasible"],[17,"feasible"],[18,"feasible"],[19,"feasible"],[20,"feasible"],[21,"feasible"],[22,"feasible"],[23,"feasible"],[24,"feasible"],[25,"feasible"],[26,"feasible"],[27,"feasible"],[28,"feasible"],[29,"infeasible"],[30,"infeasible"],[31,"infeasible"],[32,"infeasible"]],"recursive":null}
{"kind":"call","purpose":"measurement","fixture":"signed-grid","round":0,"warmup":true,"problem":"opt11-signed-grid","method":"recursive","elapsed_ns":3557100,"points":[[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4]],"status":"complete","retained":[32,30,31,29],"support":[4,4,4,4,8,8],"removed":[{"point":0,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-0","terms":[[16,1]]},{"point":8,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-8","terms":[[16,1]]},{"point":16,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-16","terms":[[32,1]]},{"point":24,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-24","terms":[[32,1]]},{"point":3,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-3","terms":[[19,1]]},{"point":11,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-11","terms":[[27,1]]},{"point":19,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-19","terms":[[32,0.5],[6,0.5]]},{"point":27,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-27","terms":[[32,0.5],[6,0.5]]},{"point":6,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-6","terms":[[14,1]]},{"point":14,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-14","terms":[[30,1]]},{"point":22,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-22","terms":[[30,1]]},{"point":1,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-1","terms":[[17,1]]},{"point":9,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-9","terms":[[17,1]]},{"point":4,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-4","terms":[[12,1]]},{"point":12,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-12","terms":[[28,1]]},{"point":20,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-20","terms":[[28,1]]},{"point":7,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-7","terms":[[23,1]]},{"point":15,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-15","terms":[[23,1]]},{"point":2,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-2","terms":[[10,1]]},{"point":10,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-10","terms":[[31,0.5],[29,0.5]]},{"point":18,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-18","terms":[[31,0.5],[29,0.5]]},{"point":26,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-26","terms":[[31,0.5],[5,0.5]]},{"point":5,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-5","terms":[[29,1]]},{"point":13,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-13","terms":[[29,1]]},{"point":21,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-21","terms":[[29,1]]},{"point":23,"program_problem":"opt11-signed-grid","program":"hull-membership-r1m-23","terms":[[31,1]]},{"point":17,"program_problem":"opt11-signed-grid","program":"hull-membership-rm-17","terms":[[25,1]]},{"point":25,"program_problem":"opt11-signed-grid","program":"hull-membership-rm-25","terms":[[32,0.5],[31,0.5]]},{"point":28,"program_problem":"opt11-signed-grid","program":"hull-membership-rm-28","terms":[[30,0.5],[29,0.5]]}],"lp_calls":45,"attempts":[[0,"feasible"],[8,"feasible"],[16,"feasible"],[24,"feasible"],[32,"infeasible"],[3,"feasible"],[11,"feasible"],[19,"feasible"],[27,"feasible"],[6,"feasible"],[14,"feasible"],[22,"feasible"],[30,"infeasible"],[1,"feasible"],[9,"feasible"],[17,"infeasible"],[25,"infeasible"],[4,"feasible"],[12,"feasible"],[20,"feasible"],[28,"infeasible"],[7,"feasible"],[15,"feasible"],[23,"infeasible"],[31,"infeasible"],[2,"feasible"],[10,"feasible"],[18,"feasible"],[26,"feasible"],[5,"feasible"],[13,"feasible"],[21,"feasible"],[29,"infeasible"],[25,"infeasible"],[28,"infeasible"],[23,"feasible"],[31,"infeasible"],[29,"infeasible"],[32,"infeasible"],[30,"infeasible"],[17,"feasible"],[25,"feasible"],[28,"feasible"],[31,"infeasible"],[29,"infeasible"]],"recursive":{"leaf_nodes":3,"merge_nodes":2,"leaf_lp_calls":33,"merge_lp_calls":12,"peak_merge_points":7,"concurrent_child_subtrees":2,"parallel_overhead_microseconds":816}}
{"kind":"pair","purpose":"measurement","fixture":"signed-grid","round":0,"warmup":true,"recursive_first":false}
{"kind":"call","purpose":"measurement","fixture":"signed-grid","round":1,"warmup":false,"problem":"opt11-signed-grid","method":"recursive","elapsed_ns":2849600,"points":[[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4]],"status":"complete","retained":[32,30,31,29],"support":[4,4,4,4,8,8],"removed":[{"point":0,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-0","terms":[[16,1]]},{"point":8,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-8","terms":[[16,1]]},{"point":16,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-16","terms":[[32,1]]},{"point":24,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-24","terms":[[32,1]]},{"point":3,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-3","terms":[[19,1]]},{"point":11,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-11","terms":[[27,1]]},{"point":19,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-19","terms":[[32,0.5],[6,0.5]]},{"point":27,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-27","terms":[[32,0.5],[6,0.5]]},{"point":6,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-6","terms":[[14,1]]},{"point":14,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-14","terms":[[30,1]]},{"point":22,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-22","terms":[[30,1]]},{"point":1,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-1","terms":[[17,1]]},{"point":9,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-9","terms":[[17,1]]},{"point":4,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-4","terms":[[12,1]]},{"point":12,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-12","terms":[[28,1]]},{"point":20,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-20","terms":[[28,1]]},{"point":7,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-7","terms":[[23,1]]},{"point":15,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-15","terms":[[23,1]]},{"point":2,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-2","terms":[[10,1]]},{"point":10,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-10","terms":[[31,0.5],[29,0.5]]},{"point":18,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-18","terms":[[31,0.5],[29,0.5]]},{"point":26,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-26","terms":[[31,0.5],[5,0.5]]},{"point":5,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-5","terms":[[29,1]]},{"point":13,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-13","terms":[[29,1]]},{"point":21,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-21","terms":[[29,1]]},{"point":23,"program_problem":"opt11-signed-grid","program":"hull-membership-r1m-23","terms":[[31,1]]},{"point":17,"program_problem":"opt11-signed-grid","program":"hull-membership-rm-17","terms":[[25,1]]},{"point":25,"program_problem":"opt11-signed-grid","program":"hull-membership-rm-25","terms":[[32,0.5],[31,0.5]]},{"point":28,"program_problem":"opt11-signed-grid","program":"hull-membership-rm-28","terms":[[30,0.5],[29,0.5]]}],"lp_calls":45,"attempts":[[0,"feasible"],[8,"feasible"],[16,"feasible"],[24,"feasible"],[32,"infeasible"],[3,"feasible"],[11,"feasible"],[19,"feasible"],[27,"feasible"],[6,"feasible"],[14,"feasible"],[22,"feasible"],[30,"infeasible"],[1,"feasible"],[9,"feasible"],[17,"infeasible"],[25,"infeasible"],[4,"feasible"],[12,"feasible"],[20,"feasible"],[28,"infeasible"],[7,"feasible"],[15,"feasible"],[23,"infeasible"],[31,"infeasible"],[2,"feasible"],[10,"feasible"],[18,"feasible"],[26,"feasible"],[5,"feasible"],[13,"feasible"],[21,"feasible"],[29,"infeasible"],[25,"infeasible"],[28,"infeasible"],[23,"feasible"],[31,"infeasible"],[29,"infeasible"],[32,"infeasible"],[30,"infeasible"],[17,"feasible"],[25,"feasible"],[28,"feasible"],[31,"infeasible"],[29,"infeasible"]],"recursive":{"leaf_nodes":3,"merge_nodes":2,"leaf_lp_calls":33,"merge_lp_calls":12,"peak_merge_points":7,"concurrent_child_subtrees":2,"parallel_overhead_microseconds":650}}
{"kind":"call","purpose":"measurement","fixture":"signed-grid","round":1,"warmup":false,"problem":"opt11-signed-grid","method":"baseline","elapsed_ns":2715300,"points":[[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4]],"status":"complete","retained":[29,30,31,32],"support":[4,4,4,4,8,8],"removed":[{"point":0,"program_problem":"opt11-signed-grid","program":"hull-membership-0","terms":[[32,1]]},{"point":1,"program_problem":"opt11-signed-grid","program":"hull-membership-1","terms":[[16,0.5],[23,0.5]]},{"point":2,"program_problem":"opt11-signed-grid","program":"hull-membership-2","terms":[[26,1]]},{"point":3,"program_problem":"opt11-signed-grid","program":"hull-membership-3","terms":[[30,0.5],[32,0.5]]},{"point":4,"program_problem":"opt11-signed-grid","program":"hull-membership-4","terms":[[13,0.5],[22,0.5]]},{"point":5,"program_problem":"opt11-signed-grid","program":"hull-membership-5","terms":[[29,1]]},{"point":6,"program_problem":"opt11-signed-grid","program":"hull-membership-6","terms":[[22,1]]},{"point":7,"program_problem":"opt11-signed-grid","program":"hull-membership-7","terms":[[31,1]]},{"point":8,"program_problem":"opt11-signed-grid","program":"hull-membership-8","terms":[[16,1]]},{"point":9,"program_problem":"opt11-signed-grid","program":"hull-membership-9","terms":[[25,1]]},{"point":10,"program_problem":"opt11-signed-grid","program":"hull-membership-10","terms":[[13,0.5],[31,0.5]]},{"point":11,"program_problem":"opt11-signed-grid","program":"hull-membership-11","terms":[[19,1]]},{"point":12,"program_problem":"opt11-signed-grid","program":"hull-membership-12","terms":[[13,0.5],[14,0.5]]},{"point":13,"program_problem":"opt11-signed-grid","program":"hull-membership-13","terms":[[21,1]]},{"point":14,"program_problem":"opt11-signed-grid","program":"hull-membership-14","terms":[[22,1]]},{"point":15,"program_problem":"opt11-signed-grid","program":"hull-membership-15","terms":[[31,1]]},{"point":16,"program_problem":"opt11-signed-grid","program":"hull-membership-16","terms":[[32,1]]},{"point":17,"program_problem":"opt11-signed-grid","program":"hull-membership-17","terms":[[23,0.5],[32,0.5]]},{"point":18,"program_problem":"opt11-signed-grid","program":"hull-membership-18","terms":[[21,0.5],[23,0.5]]},{"point":19,"program_problem":"opt11-signed-grid","program":"hull-membership-19","terms":[[30,0.5],[32,0.5]]},{"point":20,"program_problem":"opt11-signed-grid","program":"hull-membership-20","terms":[[22,0.5],[29,0.5]]},{"point":21,"program_problem":"opt11-signed-grid","program":"hull-membership-21","terms":[[29,1]]},{"point":22,"program_problem":"opt11-signed-grid","program":"hull-membership-22","terms":[[30,1]]},{"point":23,"program_problem":"opt11-signed-grid","program":"hull-membership-23","terms":[[31,1]]},{"point":24,"program_problem":"opt11-signed-grid","program":"hull-membership-24","terms":[[32,1]]},{"point":25,"program_problem":"opt11-signed-grid","program":"hull-membership-25","terms":[[31,0.5],[32,0.5]]},{"point":26,"program_problem":"opt11-signed-grid","program":"hull-membership-26","terms":[[29,0.5],[31,0.5]]},{"point":27,"program_problem":"opt11-signed-grid","program":"hull-membership-27","terms":[[30,0.5],[32,0.5]]},{"point":28,"program_problem":"opt11-signed-grid","program":"hull-membership-28","terms":[[29,0.5],[30,0.5]]}],"lp_calls":33,"attempts":[[0,"feasible"],[1,"feasible"],[2,"feasible"],[3,"feasible"],[4,"feasible"],[5,"feasible"],[6,"feasible"],[7,"feasible"],[8,"feasible"],[9,"feasible"],[10,"feasible"],[11,"feasible"],[12,"feasible"],[13,"feasible"],[14,"feasible"],[15,"feasible"],[16,"feasible"],[17,"feasible"],[18,"feasible"],[19,"feasible"],[20,"feasible"],[21,"feasible"],[22,"feasible"],[23,"feasible"],[24,"feasible"],[25,"feasible"],[26,"feasible"],[27,"feasible"],[28,"feasible"],[29,"infeasible"],[30,"infeasible"],[31,"infeasible"],[32,"infeasible"]],"recursive":null}
{"kind":"pair","purpose":"measurement","fixture":"signed-grid","round":1,"warmup":false,"recursive_first":true}
{"kind":"call","purpose":"measurement","fixture":"signed-grid","round":2,"warmup":false,"problem":"opt11-signed-grid","method":"baseline","elapsed_ns":2649700,"points":[[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4]],"status":"complete","retained":[29,30,31,32],"support":[4,4,4,4,8,8],"removed":[{"point":0,"program_problem":"opt11-signed-grid","program":"hull-membership-0","terms":[[32,1]]},{"point":1,"program_problem":"opt11-signed-grid","program":"hull-membership-1","terms":[[16,0.5],[23,0.5]]},{"point":2,"program_problem":"opt11-signed-grid","program":"hull-membership-2","terms":[[26,1]]},{"point":3,"program_problem":"opt11-signed-grid","program":"hull-membership-3","terms":[[30,0.5],[32,0.5]]},{"point":4,"program_problem":"opt11-signed-grid","program":"hull-membership-4","terms":[[13,0.5],[22,0.5]]},{"point":5,"program_problem":"opt11-signed-grid","program":"hull-membership-5","terms":[[29,1]]},{"point":6,"program_problem":"opt11-signed-grid","program":"hull-membership-6","terms":[[22,1]]},{"point":7,"program_problem":"opt11-signed-grid","program":"hull-membership-7","terms":[[31,1]]},{"point":8,"program_problem":"opt11-signed-grid","program":"hull-membership-8","terms":[[16,1]]},{"point":9,"program_problem":"opt11-signed-grid","program":"hull-membership-9","terms":[[25,1]]},{"point":10,"program_problem":"opt11-signed-grid","program":"hull-membership-10","terms":[[13,0.5],[31,0.5]]},{"point":11,"program_problem":"opt11-signed-grid","program":"hull-membership-11","terms":[[19,1]]},{"point":12,"program_problem":"opt11-signed-grid","program":"hull-membership-12","terms":[[13,0.5],[14,0.5]]},{"point":13,"program_problem":"opt11-signed-grid","program":"hull-membership-13","terms":[[21,1]]},{"point":14,"program_problem":"opt11-signed-grid","program":"hull-membership-14","terms":[[22,1]]},{"point":15,"program_problem":"opt11-signed-grid","program":"hull-membership-15","terms":[[31,1]]},{"point":16,"program_problem":"opt11-signed-grid","program":"hull-membership-16","terms":[[32,1]]},{"point":17,"program_problem":"opt11-signed-grid","program":"hull-membership-17","terms":[[23,0.5],[32,0.5]]},{"point":18,"program_problem":"opt11-signed-grid","program":"hull-membership-18","terms":[[21,0.5],[23,0.5]]},{"point":19,"program_problem":"opt11-signed-grid","program":"hull-membership-19","terms":[[30,0.5],[32,0.5]]},{"point":20,"program_problem":"opt11-signed-grid","program":"hull-membership-20","terms":[[22,0.5],[29,0.5]]},{"point":21,"program_problem":"opt11-signed-grid","program":"hull-membership-21","terms":[[29,1]]},{"point":22,"program_problem":"opt11-signed-grid","program":"hull-membership-22","terms":[[30,1]]},{"point":23,"program_problem":"opt11-signed-grid","program":"hull-membership-23","terms":[[31,1]]},{"point":24,"program_problem":"opt11-signed-grid","program":"hull-membership-24","terms":[[32,1]]},{"point":25,"program_problem":"opt11-signed-grid","program":"hull-membership-25","terms":[[31,0.5],[32,0.5]]},{"point":26,"program_problem":"opt11-signed-grid","program":"hull-membership-26","terms":[[29,0.5],[31,0.5]]},{"point":27,"program_problem":"opt11-signed-grid","program":"hull-membership-27","terms":[[30,0.5],[32,0.5]]},{"point":28,"program_problem":"opt11-signed-grid","program":"hull-membership-28","terms":[[29,0.5],[30,0.5]]}],"lp_calls":33,"attempts":[[0,"feasible"],[1,"feasible"],[2,"feasible"],[3,"feasible"],[4,"feasible"],[5,"feasible"],[6,"feasible"],[7,"feasible"],[8,"feasible"],[9,"feasible"],[10,"feasible"],[11,"feasible"],[12,"feasible"],[13,"feasible"],[14,"feasible"],[15,"feasible"],[16,"feasible"],[17,"feasible"],[18,"feasible"],[19,"feasible"],[20,"feasible"],[21,"feasible"],[22,"feasible"],[23,"feasible"],[24,"feasible"],[25,"feasible"],[26,"feasible"],[27,"feasible"],[28,"feasible"],[29,"infeasible"],[30,"infeasible"],[31,"infeasible"],[32,"infeasible"]],"recursive":null}
{"kind":"call","purpose":"measurement","fixture":"signed-grid","round":2,"warmup":false,"problem":"opt11-signed-grid","method":"recursive","elapsed_ns":2809800,"points":[[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4]],"status":"complete","retained":[32,30,31,29],"support":[4,4,4,4,8,8],"removed":[{"point":0,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-0","terms":[[16,1]]},{"point":8,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-8","terms":[[16,1]]},{"point":16,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-16","terms":[[32,1]]},{"point":24,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-24","terms":[[32,1]]},{"point":3,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-3","terms":[[19,1]]},{"point":11,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-11","terms":[[27,1]]},{"point":19,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-19","terms":[[32,0.5],[6,0.5]]},{"point":27,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-27","terms":[[32,0.5],[6,0.5]]},{"point":6,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-6","terms":[[14,1]]},{"point":14,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-14","terms":[[30,1]]},{"point":22,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-22","terms":[[30,1]]},{"point":1,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-1","terms":[[17,1]]},{"point":9,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-9","terms":[[17,1]]},{"point":4,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-4","terms":[[12,1]]},{"point":12,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-12","terms":[[28,1]]},{"point":20,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-20","terms":[[28,1]]},{"point":7,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-7","terms":[[23,1]]},{"point":15,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-15","terms":[[23,1]]},{"point":2,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-2","terms":[[10,1]]},{"point":10,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-10","terms":[[31,0.5],[29,0.5]]},{"point":18,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-18","terms":[[31,0.5],[29,0.5]]},{"point":26,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-26","terms":[[31,0.5],[5,0.5]]},{"point":5,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-5","terms":[[29,1]]},{"point":13,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-13","terms":[[29,1]]},{"point":21,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-21","terms":[[29,1]]},{"point":23,"program_problem":"opt11-signed-grid","program":"hull-membership-r1m-23","terms":[[31,1]]},{"point":17,"program_problem":"opt11-signed-grid","program":"hull-membership-rm-17","terms":[[25,1]]},{"point":25,"program_problem":"opt11-signed-grid","program":"hull-membership-rm-25","terms":[[32,0.5],[31,0.5]]},{"point":28,"program_problem":"opt11-signed-grid","program":"hull-membership-rm-28","terms":[[30,0.5],[29,0.5]]}],"lp_calls":45,"attempts":[[0,"feasible"],[8,"feasible"],[16,"feasible"],[24,"feasible"],[32,"infeasible"],[3,"feasible"],[11,"feasible"],[19,"feasible"],[27,"feasible"],[6,"feasible"],[14,"feasible"],[22,"feasible"],[30,"infeasible"],[1,"feasible"],[9,"feasible"],[17,"infeasible"],[25,"infeasible"],[4,"feasible"],[12,"feasible"],[20,"feasible"],[28,"infeasible"],[7,"feasible"],[15,"feasible"],[23,"infeasible"],[31,"infeasible"],[2,"feasible"],[10,"feasible"],[18,"feasible"],[26,"feasible"],[5,"feasible"],[13,"feasible"],[21,"feasible"],[29,"infeasible"],[25,"infeasible"],[28,"infeasible"],[23,"feasible"],[31,"infeasible"],[29,"infeasible"],[32,"infeasible"],[30,"infeasible"],[17,"feasible"],[25,"feasible"],[28,"feasible"],[31,"infeasible"],[29,"infeasible"]],"recursive":{"leaf_nodes":3,"merge_nodes":2,"leaf_lp_calls":33,"merge_lp_calls":12,"peak_merge_points":7,"concurrent_child_subtrees":2,"parallel_overhead_microseconds":652}}
{"kind":"pair","purpose":"measurement","fixture":"signed-grid","round":2,"warmup":false,"recursive_first":false}
{"kind":"call","purpose":"measurement","fixture":"signed-grid","round":3,"warmup":false,"problem":"opt11-signed-grid","method":"recursive","elapsed_ns":2717100,"points":[[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4]],"status":"complete","retained":[32,30,31,29],"support":[4,4,4,4,8,8],"removed":[{"point":0,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-0","terms":[[16,1]]},{"point":8,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-8","terms":[[16,1]]},{"point":16,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-16","terms":[[32,1]]},{"point":24,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-24","terms":[[32,1]]},{"point":3,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-3","terms":[[19,1]]},{"point":11,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-11","terms":[[27,1]]},{"point":19,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-19","terms":[[32,0.5],[6,0.5]]},{"point":27,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-27","terms":[[32,0.5],[6,0.5]]},{"point":6,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-6","terms":[[14,1]]},{"point":14,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-14","terms":[[30,1]]},{"point":22,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-22","terms":[[30,1]]},{"point":1,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-1","terms":[[17,1]]},{"point":9,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-9","terms":[[17,1]]},{"point":4,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-4","terms":[[12,1]]},{"point":12,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-12","terms":[[28,1]]},{"point":20,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-20","terms":[[28,1]]},{"point":7,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-7","terms":[[23,1]]},{"point":15,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-15","terms":[[23,1]]},{"point":2,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-2","terms":[[10,1]]},{"point":10,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-10","terms":[[31,0.5],[29,0.5]]},{"point":18,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-18","terms":[[31,0.5],[29,0.5]]},{"point":26,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-26","terms":[[31,0.5],[5,0.5]]},{"point":5,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-5","terms":[[29,1]]},{"point":13,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-13","terms":[[29,1]]},{"point":21,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-21","terms":[[29,1]]},{"point":23,"program_problem":"opt11-signed-grid","program":"hull-membership-r1m-23","terms":[[31,1]]},{"point":17,"program_problem":"opt11-signed-grid","program":"hull-membership-rm-17","terms":[[25,1]]},{"point":25,"program_problem":"opt11-signed-grid","program":"hull-membership-rm-25","terms":[[32,0.5],[31,0.5]]},{"point":28,"program_problem":"opt11-signed-grid","program":"hull-membership-rm-28","terms":[[30,0.5],[29,0.5]]}],"lp_calls":45,"attempts":[[0,"feasible"],[8,"feasible"],[16,"feasible"],[24,"feasible"],[32,"infeasible"],[3,"feasible"],[11,"feasible"],[19,"feasible"],[27,"feasible"],[6,"feasible"],[14,"feasible"],[22,"feasible"],[30,"infeasible"],[1,"feasible"],[9,"feasible"],[17,"infeasible"],[25,"infeasible"],[4,"feasible"],[12,"feasible"],[20,"feasible"],[28,"infeasible"],[7,"feasible"],[15,"feasible"],[23,"infeasible"],[31,"infeasible"],[2,"feasible"],[10,"feasible"],[18,"feasible"],[26,"feasible"],[5,"feasible"],[13,"feasible"],[21,"feasible"],[29,"infeasible"],[25,"infeasible"],[28,"infeasible"],[23,"feasible"],[31,"infeasible"],[29,"infeasible"],[32,"infeasible"],[30,"infeasible"],[17,"feasible"],[25,"feasible"],[28,"feasible"],[31,"infeasible"],[29,"infeasible"]],"recursive":{"leaf_nodes":3,"merge_nodes":2,"leaf_lp_calls":33,"merge_lp_calls":12,"peak_merge_points":7,"concurrent_child_subtrees":2,"parallel_overhead_microseconds":644}}
{"kind":"call","purpose":"measurement","fixture":"signed-grid","round":3,"warmup":false,"problem":"opt11-signed-grid","method":"baseline","elapsed_ns":2712200,"points":[[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4]],"status":"complete","retained":[29,30,31,32],"support":[4,4,4,4,8,8],"removed":[{"point":0,"program_problem":"opt11-signed-grid","program":"hull-membership-0","terms":[[32,1]]},{"point":1,"program_problem":"opt11-signed-grid","program":"hull-membership-1","terms":[[16,0.5],[23,0.5]]},{"point":2,"program_problem":"opt11-signed-grid","program":"hull-membership-2","terms":[[26,1]]},{"point":3,"program_problem":"opt11-signed-grid","program":"hull-membership-3","terms":[[30,0.5],[32,0.5]]},{"point":4,"program_problem":"opt11-signed-grid","program":"hull-membership-4","terms":[[13,0.5],[22,0.5]]},{"point":5,"program_problem":"opt11-signed-grid","program":"hull-membership-5","terms":[[29,1]]},{"point":6,"program_problem":"opt11-signed-grid","program":"hull-membership-6","terms":[[22,1]]},{"point":7,"program_problem":"opt11-signed-grid","program":"hull-membership-7","terms":[[31,1]]},{"point":8,"program_problem":"opt11-signed-grid","program":"hull-membership-8","terms":[[16,1]]},{"point":9,"program_problem":"opt11-signed-grid","program":"hull-membership-9","terms":[[25,1]]},{"point":10,"program_problem":"opt11-signed-grid","program":"hull-membership-10","terms":[[13,0.5],[31,0.5]]},{"point":11,"program_problem":"opt11-signed-grid","program":"hull-membership-11","terms":[[19,1]]},{"point":12,"program_problem":"opt11-signed-grid","program":"hull-membership-12","terms":[[13,0.5],[14,0.5]]},{"point":13,"program_problem":"opt11-signed-grid","program":"hull-membership-13","terms":[[21,1]]},{"point":14,"program_problem":"opt11-signed-grid","program":"hull-membership-14","terms":[[22,1]]},{"point":15,"program_problem":"opt11-signed-grid","program":"hull-membership-15","terms":[[31,1]]},{"point":16,"program_problem":"opt11-signed-grid","program":"hull-membership-16","terms":[[32,1]]},{"point":17,"program_problem":"opt11-signed-grid","program":"hull-membership-17","terms":[[23,0.5],[32,0.5]]},{"point":18,"program_problem":"opt11-signed-grid","program":"hull-membership-18","terms":[[21,0.5],[23,0.5]]},{"point":19,"program_problem":"opt11-signed-grid","program":"hull-membership-19","terms":[[30,0.5],[32,0.5]]},{"point":20,"program_problem":"opt11-signed-grid","program":"hull-membership-20","terms":[[22,0.5],[29,0.5]]},{"point":21,"program_problem":"opt11-signed-grid","program":"hull-membership-21","terms":[[29,1]]},{"point":22,"program_problem":"opt11-signed-grid","program":"hull-membership-22","terms":[[30,1]]},{"point":23,"program_problem":"opt11-signed-grid","program":"hull-membership-23","terms":[[31,1]]},{"point":24,"program_problem":"opt11-signed-grid","program":"hull-membership-24","terms":[[32,1]]},{"point":25,"program_problem":"opt11-signed-grid","program":"hull-membership-25","terms":[[31,0.5],[32,0.5]]},{"point":26,"program_problem":"opt11-signed-grid","program":"hull-membership-26","terms":[[29,0.5],[31,0.5]]},{"point":27,"program_problem":"opt11-signed-grid","program":"hull-membership-27","terms":[[30,0.5],[32,0.5]]},{"point":28,"program_problem":"opt11-signed-grid","program":"hull-membership-28","terms":[[29,0.5],[30,0.5]]}],"lp_calls":33,"attempts":[[0,"feasible"],[1,"feasible"],[2,"feasible"],[3,"feasible"],[4,"feasible"],[5,"feasible"],[6,"feasible"],[7,"feasible"],[8,"feasible"],[9,"feasible"],[10,"feasible"],[11,"feasible"],[12,"feasible"],[13,"feasible"],[14,"feasible"],[15,"feasible"],[16,"feasible"],[17,"feasible"],[18,"feasible"],[19,"feasible"],[20,"feasible"],[21,"feasible"],[22,"feasible"],[23,"feasible"],[24,"feasible"],[25,"feasible"],[26,"feasible"],[27,"feasible"],[28,"feasible"],[29,"infeasible"],[30,"infeasible"],[31,"infeasible"],[32,"infeasible"]],"recursive":null}
{"kind":"pair","purpose":"measurement","fixture":"signed-grid","round":3,"warmup":false,"recursive_first":true}
{"kind":"call","purpose":"measurement","fixture":"signed-grid","round":4,"warmup":false,"problem":"opt11-signed-grid","method":"baseline","elapsed_ns":2803700,"points":[[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4]],"status":"complete","retained":[29,30,31,32],"support":[4,4,4,4,8,8],"removed":[{"point":0,"program_problem":"opt11-signed-grid","program":"hull-membership-0","terms":[[32,1]]},{"point":1,"program_problem":"opt11-signed-grid","program":"hull-membership-1","terms":[[16,0.5],[23,0.5]]},{"point":2,"program_problem":"opt11-signed-grid","program":"hull-membership-2","terms":[[26,1]]},{"point":3,"program_problem":"opt11-signed-grid","program":"hull-membership-3","terms":[[30,0.5],[32,0.5]]},{"point":4,"program_problem":"opt11-signed-grid","program":"hull-membership-4","terms":[[13,0.5],[22,0.5]]},{"point":5,"program_problem":"opt11-signed-grid","program":"hull-membership-5","terms":[[29,1]]},{"point":6,"program_problem":"opt11-signed-grid","program":"hull-membership-6","terms":[[22,1]]},{"point":7,"program_problem":"opt11-signed-grid","program":"hull-membership-7","terms":[[31,1]]},{"point":8,"program_problem":"opt11-signed-grid","program":"hull-membership-8","terms":[[16,1]]},{"point":9,"program_problem":"opt11-signed-grid","program":"hull-membership-9","terms":[[25,1]]},{"point":10,"program_problem":"opt11-signed-grid","program":"hull-membership-10","terms":[[13,0.5],[31,0.5]]},{"point":11,"program_problem":"opt11-signed-grid","program":"hull-membership-11","terms":[[19,1]]},{"point":12,"program_problem":"opt11-signed-grid","program":"hull-membership-12","terms":[[13,0.5],[14,0.5]]},{"point":13,"program_problem":"opt11-signed-grid","program":"hull-membership-13","terms":[[21,1]]},{"point":14,"program_problem":"opt11-signed-grid","program":"hull-membership-14","terms":[[22,1]]},{"point":15,"program_problem":"opt11-signed-grid","program":"hull-membership-15","terms":[[31,1]]},{"point":16,"program_problem":"opt11-signed-grid","program":"hull-membership-16","terms":[[32,1]]},{"point":17,"program_problem":"opt11-signed-grid","program":"hull-membership-17","terms":[[23,0.5],[32,0.5]]},{"point":18,"program_problem":"opt11-signed-grid","program":"hull-membership-18","terms":[[21,0.5],[23,0.5]]},{"point":19,"program_problem":"opt11-signed-grid","program":"hull-membership-19","terms":[[30,0.5],[32,0.5]]},{"point":20,"program_problem":"opt11-signed-grid","program":"hull-membership-20","terms":[[22,0.5],[29,0.5]]},{"point":21,"program_problem":"opt11-signed-grid","program":"hull-membership-21","terms":[[29,1]]},{"point":22,"program_problem":"opt11-signed-grid","program":"hull-membership-22","terms":[[30,1]]},{"point":23,"program_problem":"opt11-signed-grid","program":"hull-membership-23","terms":[[31,1]]},{"point":24,"program_problem":"opt11-signed-grid","program":"hull-membership-24","terms":[[32,1]]},{"point":25,"program_problem":"opt11-signed-grid","program":"hull-membership-25","terms":[[31,0.5],[32,0.5]]},{"point":26,"program_problem":"opt11-signed-grid","program":"hull-membership-26","terms":[[29,0.5],[31,0.5]]},{"point":27,"program_problem":"opt11-signed-grid","program":"hull-membership-27","terms":[[30,0.5],[32,0.5]]},{"point":28,"program_problem":"opt11-signed-grid","program":"hull-membership-28","terms":[[29,0.5],[30,0.5]]}],"lp_calls":33,"attempts":[[0,"feasible"],[1,"feasible"],[2,"feasible"],[3,"feasible"],[4,"feasible"],[5,"feasible"],[6,"feasible"],[7,"feasible"],[8,"feasible"],[9,"feasible"],[10,"feasible"],[11,"feasible"],[12,"feasible"],[13,"feasible"],[14,"feasible"],[15,"feasible"],[16,"feasible"],[17,"feasible"],[18,"feasible"],[19,"feasible"],[20,"feasible"],[21,"feasible"],[22,"feasible"],[23,"feasible"],[24,"feasible"],[25,"feasible"],[26,"feasible"],[27,"feasible"],[28,"feasible"],[29,"infeasible"],[30,"infeasible"],[31,"infeasible"],[32,"infeasible"]],"recursive":null}
{"kind":"call","purpose":"measurement","fixture":"signed-grid","round":4,"warmup":false,"problem":"opt11-signed-grid","method":"recursive","elapsed_ns":2614400,"points":[[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4]],"status":"complete","retained":[32,30,31,29],"support":[4,4,4,4,8,8],"removed":[{"point":0,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-0","terms":[[16,1]]},{"point":8,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-8","terms":[[16,1]]},{"point":16,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-16","terms":[[32,1]]},{"point":24,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-24","terms":[[32,1]]},{"point":3,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-3","terms":[[19,1]]},{"point":11,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-11","terms":[[27,1]]},{"point":19,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-19","terms":[[32,0.5],[6,0.5]]},{"point":27,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-27","terms":[[32,0.5],[6,0.5]]},{"point":6,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-6","terms":[[14,1]]},{"point":14,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-14","terms":[[30,1]]},{"point":22,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-22","terms":[[30,1]]},{"point":1,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-1","terms":[[17,1]]},{"point":9,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-9","terms":[[17,1]]},{"point":4,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-4","terms":[[12,1]]},{"point":12,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-12","terms":[[28,1]]},{"point":20,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-20","terms":[[28,1]]},{"point":7,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-7","terms":[[23,1]]},{"point":15,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-15","terms":[[23,1]]},{"point":2,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-2","terms":[[10,1]]},{"point":10,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-10","terms":[[31,0.5],[29,0.5]]},{"point":18,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-18","terms":[[31,0.5],[29,0.5]]},{"point":26,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-26","terms":[[31,0.5],[5,0.5]]},{"point":5,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-5","terms":[[29,1]]},{"point":13,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-13","terms":[[29,1]]},{"point":21,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-21","terms":[[29,1]]},{"point":23,"program_problem":"opt11-signed-grid","program":"hull-membership-r1m-23","terms":[[31,1]]},{"point":17,"program_problem":"opt11-signed-grid","program":"hull-membership-rm-17","terms":[[25,1]]},{"point":25,"program_problem":"opt11-signed-grid","program":"hull-membership-rm-25","terms":[[32,0.5],[31,0.5]]},{"point":28,"program_problem":"opt11-signed-grid","program":"hull-membership-rm-28","terms":[[30,0.5],[29,0.5]]}],"lp_calls":45,"attempts":[[0,"feasible"],[8,"feasible"],[16,"feasible"],[24,"feasible"],[32,"infeasible"],[3,"feasible"],[11,"feasible"],[19,"feasible"],[27,"feasible"],[6,"feasible"],[14,"feasible"],[22,"feasible"],[30,"infeasible"],[1,"feasible"],[9,"feasible"],[17,"infeasible"],[25,"infeasible"],[4,"feasible"],[12,"feasible"],[20,"feasible"],[28,"infeasible"],[7,"feasible"],[15,"feasible"],[23,"infeasible"],[31,"infeasible"],[2,"feasible"],[10,"feasible"],[18,"feasible"],[26,"feasible"],[5,"feasible"],[13,"feasible"],[21,"feasible"],[29,"infeasible"],[25,"infeasible"],[28,"infeasible"],[23,"feasible"],[31,"infeasible"],[29,"infeasible"],[32,"infeasible"],[30,"infeasible"],[17,"feasible"],[25,"feasible"],[28,"feasible"],[31,"infeasible"],[29,"infeasible"]],"recursive":{"leaf_nodes":3,"merge_nodes":2,"leaf_lp_calls":33,"merge_lp_calls":12,"peak_merge_points":7,"concurrent_child_subtrees":2,"parallel_overhead_microseconds":613}}
{"kind":"pair","purpose":"measurement","fixture":"signed-grid","round":4,"warmup":false,"recursive_first":false}
{"kind":"call","purpose":"measurement","fixture":"signed-grid","round":5,"warmup":false,"problem":"opt11-signed-grid","method":"recursive","elapsed_ns":3028500,"points":[[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4]],"status":"complete","retained":[32,30,31,29],"support":[4,4,4,4,8,8],"removed":[{"point":0,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-0","terms":[[16,1]]},{"point":8,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-8","terms":[[16,1]]},{"point":16,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-16","terms":[[32,1]]},{"point":24,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-24","terms":[[32,1]]},{"point":3,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-3","terms":[[19,1]]},{"point":11,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-11","terms":[[27,1]]},{"point":19,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-19","terms":[[32,0.5],[6,0.5]]},{"point":27,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-27","terms":[[32,0.5],[6,0.5]]},{"point":6,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-6","terms":[[14,1]]},{"point":14,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-14","terms":[[30,1]]},{"point":22,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-22","terms":[[30,1]]},{"point":1,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-1","terms":[[17,1]]},{"point":9,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-9","terms":[[17,1]]},{"point":4,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-4","terms":[[12,1]]},{"point":12,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-12","terms":[[28,1]]},{"point":20,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-20","terms":[[28,1]]},{"point":7,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-7","terms":[[23,1]]},{"point":15,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-15","terms":[[23,1]]},{"point":2,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-2","terms":[[10,1]]},{"point":10,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-10","terms":[[31,0.5],[29,0.5]]},{"point":18,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-18","terms":[[31,0.5],[29,0.5]]},{"point":26,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-26","terms":[[31,0.5],[5,0.5]]},{"point":5,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-5","terms":[[29,1]]},{"point":13,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-13","terms":[[29,1]]},{"point":21,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-21","terms":[[29,1]]},{"point":23,"program_problem":"opt11-signed-grid","program":"hull-membership-r1m-23","terms":[[31,1]]},{"point":17,"program_problem":"opt11-signed-grid","program":"hull-membership-rm-17","terms":[[25,1]]},{"point":25,"program_problem":"opt11-signed-grid","program":"hull-membership-rm-25","terms":[[32,0.5],[31,0.5]]},{"point":28,"program_problem":"opt11-signed-grid","program":"hull-membership-rm-28","terms":[[30,0.5],[29,0.5]]}],"lp_calls":45,"attempts":[[0,"feasible"],[8,"feasible"],[16,"feasible"],[24,"feasible"],[32,"infeasible"],[3,"feasible"],[11,"feasible"],[19,"feasible"],[27,"feasible"],[6,"feasible"],[14,"feasible"],[22,"feasible"],[30,"infeasible"],[1,"feasible"],[9,"feasible"],[17,"infeasible"],[25,"infeasible"],[4,"feasible"],[12,"feasible"],[20,"feasible"],[28,"infeasible"],[7,"feasible"],[15,"feasible"],[23,"infeasible"],[31,"infeasible"],[2,"feasible"],[10,"feasible"],[18,"feasible"],[26,"feasible"],[5,"feasible"],[13,"feasible"],[21,"feasible"],[29,"infeasible"],[25,"infeasible"],[28,"infeasible"],[23,"feasible"],[31,"infeasible"],[29,"infeasible"],[32,"infeasible"],[30,"infeasible"],[17,"feasible"],[25,"feasible"],[28,"feasible"],[31,"infeasible"],[29,"infeasible"]],"recursive":{"leaf_nodes":3,"merge_nodes":2,"leaf_lp_calls":33,"merge_lp_calls":12,"peak_merge_points":7,"concurrent_child_subtrees":2,"parallel_overhead_microseconds":975}}
{"kind":"call","purpose":"measurement","fixture":"signed-grid","round":5,"warmup":false,"problem":"opt11-signed-grid","method":"baseline","elapsed_ns":2696000,"points":[[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4]],"status":"complete","retained":[29,30,31,32],"support":[4,4,4,4,8,8],"removed":[{"point":0,"program_problem":"opt11-signed-grid","program":"hull-membership-0","terms":[[32,1]]},{"point":1,"program_problem":"opt11-signed-grid","program":"hull-membership-1","terms":[[16,0.5],[23,0.5]]},{"point":2,"program_problem":"opt11-signed-grid","program":"hull-membership-2","terms":[[26,1]]},{"point":3,"program_problem":"opt11-signed-grid","program":"hull-membership-3","terms":[[30,0.5],[32,0.5]]},{"point":4,"program_problem":"opt11-signed-grid","program":"hull-membership-4","terms":[[13,0.5],[22,0.5]]},{"point":5,"program_problem":"opt11-signed-grid","program":"hull-membership-5","terms":[[29,1]]},{"point":6,"program_problem":"opt11-signed-grid","program":"hull-membership-6","terms":[[22,1]]},{"point":7,"program_problem":"opt11-signed-grid","program":"hull-membership-7","terms":[[31,1]]},{"point":8,"program_problem":"opt11-signed-grid","program":"hull-membership-8","terms":[[16,1]]},{"point":9,"program_problem":"opt11-signed-grid","program":"hull-membership-9","terms":[[25,1]]},{"point":10,"program_problem":"opt11-signed-grid","program":"hull-membership-10","terms":[[13,0.5],[31,0.5]]},{"point":11,"program_problem":"opt11-signed-grid","program":"hull-membership-11","terms":[[19,1]]},{"point":12,"program_problem":"opt11-signed-grid","program":"hull-membership-12","terms":[[13,0.5],[14,0.5]]},{"point":13,"program_problem":"opt11-signed-grid","program":"hull-membership-13","terms":[[21,1]]},{"point":14,"program_problem":"opt11-signed-grid","program":"hull-membership-14","terms":[[22,1]]},{"point":15,"program_problem":"opt11-signed-grid","program":"hull-membership-15","terms":[[31,1]]},{"point":16,"program_problem":"opt11-signed-grid","program":"hull-membership-16","terms":[[32,1]]},{"point":17,"program_problem":"opt11-signed-grid","program":"hull-membership-17","terms":[[23,0.5],[32,0.5]]},{"point":18,"program_problem":"opt11-signed-grid","program":"hull-membership-18","terms":[[21,0.5],[23,0.5]]},{"point":19,"program_problem":"opt11-signed-grid","program":"hull-membership-19","terms":[[30,0.5],[32,0.5]]},{"point":20,"program_problem":"opt11-signed-grid","program":"hull-membership-20","terms":[[22,0.5],[29,0.5]]},{"point":21,"program_problem":"opt11-signed-grid","program":"hull-membership-21","terms":[[29,1]]},{"point":22,"program_problem":"opt11-signed-grid","program":"hull-membership-22","terms":[[30,1]]},{"point":23,"program_problem":"opt11-signed-grid","program":"hull-membership-23","terms":[[31,1]]},{"point":24,"program_problem":"opt11-signed-grid","program":"hull-membership-24","terms":[[32,1]]},{"point":25,"program_problem":"opt11-signed-grid","program":"hull-membership-25","terms":[[31,0.5],[32,0.5]]},{"point":26,"program_problem":"opt11-signed-grid","program":"hull-membership-26","terms":[[29,0.5],[31,0.5]]},{"point":27,"program_problem":"opt11-signed-grid","program":"hull-membership-27","terms":[[30,0.5],[32,0.5]]},{"point":28,"program_problem":"opt11-signed-grid","program":"hull-membership-28","terms":[[29,0.5],[30,0.5]]}],"lp_calls":33,"attempts":[[0,"feasible"],[1,"feasible"],[2,"feasible"],[3,"feasible"],[4,"feasible"],[5,"feasible"],[6,"feasible"],[7,"feasible"],[8,"feasible"],[9,"feasible"],[10,"feasible"],[11,"feasible"],[12,"feasible"],[13,"feasible"],[14,"feasible"],[15,"feasible"],[16,"feasible"],[17,"feasible"],[18,"feasible"],[19,"feasible"],[20,"feasible"],[21,"feasible"],[22,"feasible"],[23,"feasible"],[24,"feasible"],[25,"feasible"],[26,"feasible"],[27,"feasible"],[28,"feasible"],[29,"infeasible"],[30,"infeasible"],[31,"infeasible"],[32,"infeasible"]],"recursive":null}
{"kind":"pair","purpose":"measurement","fixture":"signed-grid","round":5,"warmup":false,"recursive_first":true}
{"kind":"call","purpose":"measurement","fixture":"signed-grid","round":6,"warmup":false,"problem":"opt11-signed-grid","method":"baseline","elapsed_ns":2662100,"points":[[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4]],"status":"complete","retained":[29,30,31,32],"support":[4,4,4,4,8,8],"removed":[{"point":0,"program_problem":"opt11-signed-grid","program":"hull-membership-0","terms":[[32,1]]},{"point":1,"program_problem":"opt11-signed-grid","program":"hull-membership-1","terms":[[16,0.5],[23,0.5]]},{"point":2,"program_problem":"opt11-signed-grid","program":"hull-membership-2","terms":[[26,1]]},{"point":3,"program_problem":"opt11-signed-grid","program":"hull-membership-3","terms":[[30,0.5],[32,0.5]]},{"point":4,"program_problem":"opt11-signed-grid","program":"hull-membership-4","terms":[[13,0.5],[22,0.5]]},{"point":5,"program_problem":"opt11-signed-grid","program":"hull-membership-5","terms":[[29,1]]},{"point":6,"program_problem":"opt11-signed-grid","program":"hull-membership-6","terms":[[22,1]]},{"point":7,"program_problem":"opt11-signed-grid","program":"hull-membership-7","terms":[[31,1]]},{"point":8,"program_problem":"opt11-signed-grid","program":"hull-membership-8","terms":[[16,1]]},{"point":9,"program_problem":"opt11-signed-grid","program":"hull-membership-9","terms":[[25,1]]},{"point":10,"program_problem":"opt11-signed-grid","program":"hull-membership-10","terms":[[13,0.5],[31,0.5]]},{"point":11,"program_problem":"opt11-signed-grid","program":"hull-membership-11","terms":[[19,1]]},{"point":12,"program_problem":"opt11-signed-grid","program":"hull-membership-12","terms":[[13,0.5],[14,0.5]]},{"point":13,"program_problem":"opt11-signed-grid","program":"hull-membership-13","terms":[[21,1]]},{"point":14,"program_problem":"opt11-signed-grid","program":"hull-membership-14","terms":[[22,1]]},{"point":15,"program_problem":"opt11-signed-grid","program":"hull-membership-15","terms":[[31,1]]},{"point":16,"program_problem":"opt11-signed-grid","program":"hull-membership-16","terms":[[32,1]]},{"point":17,"program_problem":"opt11-signed-grid","program":"hull-membership-17","terms":[[23,0.5],[32,0.5]]},{"point":18,"program_problem":"opt11-signed-grid","program":"hull-membership-18","terms":[[21,0.5],[23,0.5]]},{"point":19,"program_problem":"opt11-signed-grid","program":"hull-membership-19","terms":[[30,0.5],[32,0.5]]},{"point":20,"program_problem":"opt11-signed-grid","program":"hull-membership-20","terms":[[22,0.5],[29,0.5]]},{"point":21,"program_problem":"opt11-signed-grid","program":"hull-membership-21","terms":[[29,1]]},{"point":22,"program_problem":"opt11-signed-grid","program":"hull-membership-22","terms":[[30,1]]},{"point":23,"program_problem":"opt11-signed-grid","program":"hull-membership-23","terms":[[31,1]]},{"point":24,"program_problem":"opt11-signed-grid","program":"hull-membership-24","terms":[[32,1]]},{"point":25,"program_problem":"opt11-signed-grid","program":"hull-membership-25","terms":[[31,0.5],[32,0.5]]},{"point":26,"program_problem":"opt11-signed-grid","program":"hull-membership-26","terms":[[29,0.5],[31,0.5]]},{"point":27,"program_problem":"opt11-signed-grid","program":"hull-membership-27","terms":[[30,0.5],[32,0.5]]},{"point":28,"program_problem":"opt11-signed-grid","program":"hull-membership-28","terms":[[29,0.5],[30,0.5]]}],"lp_calls":33,"attempts":[[0,"feasible"],[1,"feasible"],[2,"feasible"],[3,"feasible"],[4,"feasible"],[5,"feasible"],[6,"feasible"],[7,"feasible"],[8,"feasible"],[9,"feasible"],[10,"feasible"],[11,"feasible"],[12,"feasible"],[13,"feasible"],[14,"feasible"],[15,"feasible"],[16,"feasible"],[17,"feasible"],[18,"feasible"],[19,"feasible"],[20,"feasible"],[21,"feasible"],[22,"feasible"],[23,"feasible"],[24,"feasible"],[25,"feasible"],[26,"feasible"],[27,"feasible"],[28,"feasible"],[29,"infeasible"],[30,"infeasible"],[31,"infeasible"],[32,"infeasible"]],"recursive":null}
{"kind":"call","purpose":"measurement","fixture":"signed-grid","round":6,"warmup":false,"problem":"opt11-signed-grid","method":"recursive","elapsed_ns":2763700,"points":[[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4],[0,-4],[4,0],[-4,0],[0,4],[4,4],[-4,4],[4,-4],[-4,-4]],"status":"complete","retained":[32,30,31,29],"support":[4,4,4,4,8,8],"removed":[{"point":0,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-0","terms":[[16,1]]},{"point":8,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-8","terms":[[16,1]]},{"point":16,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-16","terms":[[32,1]]},{"point":24,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-24","terms":[[32,1]]},{"point":3,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-3","terms":[[19,1]]},{"point":11,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-11","terms":[[27,1]]},{"point":19,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-19","terms":[[32,0.5],[6,0.5]]},{"point":27,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-27","terms":[[32,0.5],[6,0.5]]},{"point":6,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-6","terms":[[14,1]]},{"point":14,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-14","terms":[[30,1]]},{"point":22,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-22","terms":[[30,1]]},{"point":1,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-1","terms":[[17,1]]},{"point":9,"program_problem":"opt11-signed-grid","program":"hull-membership-r0-9","terms":[[17,1]]},{"point":4,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-4","terms":[[12,1]]},{"point":12,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-12","terms":[[28,1]]},{"point":20,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-20","terms":[[28,1]]},{"point":7,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-7","terms":[[23,1]]},{"point":15,"program_problem":"opt11-signed-grid","program":"hull-membership-r10-15","terms":[[23,1]]},{"point":2,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-2","terms":[[10,1]]},{"point":10,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-10","terms":[[31,0.5],[29,0.5]]},{"point":18,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-18","terms":[[31,0.5],[29,0.5]]},{"point":26,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-26","terms":[[31,0.5],[5,0.5]]},{"point":5,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-5","terms":[[29,1]]},{"point":13,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-13","terms":[[29,1]]},{"point":21,"program_problem":"opt11-signed-grid","program":"hull-membership-r11-21","terms":[[29,1]]},{"point":23,"program_problem":"opt11-signed-grid","program":"hull-membership-r1m-23","terms":[[31,1]]},{"point":17,"program_problem":"opt11-signed-grid","program":"hull-membership-rm-17","terms":[[25,1]]},{"point":25,"program_problem":"opt11-signed-grid","program":"hull-membership-rm-25","terms":[[32,0.5],[31,0.5]]},{"point":28,"program_problem":"opt11-signed-grid","program":"hull-membership-rm-28","terms":[[30,0.5],[29,0.5]]}],"lp_calls":45,"attempts":[[0,"feasible"],[8,"feasible"],[16,"feasible"],[24,"feasible"],[32,"infeasible"],[3,"feasible"],[11,"feasible"],[19,"feasible"],[27,"feasible"],[6,"feasible"],[14,"feasible"],[22,"feasible"],[30,"infeasible"],[1,"feasible"],[9,"feasible"],[17,"infeasible"],[25,"infeasible"],[4,"feasible"],[12,"feasible"],[20,"feasible"],[28,"infeasible"],[7,"feasible"],[15,"feasible"],[23,"infeasible"],[31,"infeasible"],[2,"feasible"],[10,"feasible"],[18,"feasible"],[26,"feasible"],[5,"feasible"],[13,"feasible"],[21,"feasible"],[29,"infeasible"],[25,"infeasible"],[28,"infeasible"],[23,"feasible"],[31,"infeasible"],[29,"infeasible"],[32,"infeasible"],[30,"infeasible"],[17,"feasible"],[25,"feasible"],[28,"feasible"],[31,"infeasible"],[29,"infeasible"]],"recursive":{"leaf_nodes":3,"merge_nodes":2,"leaf_lp_calls":33,"merge_lp_calls":12,"peak_merge_points":7,"concurrent_child_subtrees":2,"parallel_overhead_microseconds":642}}
{"kind":"pair","purpose":"measurement","fixture":"signed-grid","round":6,"warmup":false,"recursive_first":false}
{"kind":"call","purpose":"measurement","fixture":"duplicate-collinear","round":0,"warmup":true,"problem":"opt11-duplicate-collinear","method":"recursive","elapsed_ns":2402200,"points":[[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32]],"status":"complete","retained":[30,32],"support":[16,16,32,32,48,48],"removed":[{"point":0,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-0","terms":[[6,1]]},{"point":3,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-3","terms":[[15,1]]},{"point":6,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-6","terms":[[18,1]]},{"point":9,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-9","terms":[[18,1]]},{"point":12,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-12","terms":[[21,1]]},{"point":15,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-15","terms":[[24,1]]},{"point":18,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-18","terms":[[21,1]]},{"point":21,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-21","terms":[[27,1]]},{"point":24,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-24","terms":[[27,1]]},{"point":27,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-27","terms":[[30,1]]},{"point":1,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-1","terms":[[4,1]]},{"point":4,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-4","terms":[[13,1]]},{"point":7,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-7","terms":[[13,1]]},{"point":10,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-10","terms":[[13,1]]},{"point":16,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-16","terms":[[19,1]]},{"point":19,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-19","terms":[[31,1]]},{"point":22,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-22","terms":[[28,1]]},{"point":25,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-25","terms":[[28,1]]},{"point":28,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-28","terms":[[31,1]]},{"point":2,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-2","terms":[[5,1]]},{"point":8,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-8","terms":[[26,1]]},{"point":11,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-11","terms":[[32,1]]},{"point":14,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-14","terms":[[32,1]]},{"point":17,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-17","terms":[[23,1]]},{"point":20,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-20","terms":[[23,1]]},{"point":23,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-23","terms":[[26,1]]},{"point":26,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-26","terms":[[32,1]]},{"point":29,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-29","terms":[[32,1]]},{"point":5,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r1m-5","terms":[[32,1]]},{"point":13,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-rm-13","terms":[[30,0.5],[32,0.5]]},{"point":31,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-rm-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":39,"attempts":[[0,"feasible"],[3,"feasible"],[6,"feasible"],[9,"feasible"],[12,"feasible"],[15,"feasible"],[18,"feasible"],[21,"feasible"],[24,"feasible"],[27,"feasible"],[30,"infeasible"],[1,"feasible"],[4,"feasible"],[7,"feasible"],[10,"feasible"],[13,"infeasible"],[16,"feasible"],[19,"feasible"],[22,"feasible"],[25,"feasible"],[28,"feasible"],[31,"infeasible"],[2,"feasible"],[5,"infeasible"],[8,"feasible"],[11,"feasible"],[14,"feasible"],[17,"feasible"],[20,"feasible"],[23,"feasible"],[26,"feasible"],[29,"feasible"],[31,"infeasible"],[5,"feasible"],[32,"infeasible"],[30,"infeasible"],[13,"feasible"],[31,"feasible"],[32,"infeasible"]],"recursive":{"leaf_nodes":3,"merge_nodes":2,"leaf_lp_calls":32,"merge_lp_calls":7,"peak_merge_points":4,"concurrent_child_subtrees":2,"parallel_overhead_microseconds":590}}
{"kind":"call","purpose":"measurement","fixture":"duplicate-collinear","round":0,"warmup":true,"problem":"opt11-duplicate-collinear","method":"baseline","elapsed_ns":2742800,"points":[[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32]],"status":"complete","retained":[30,32],"support":[16,16,32,32,48,48],"removed":[{"point":0,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-0","terms":[[15,1]]},{"point":1,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-1","terms":[[21,0.5],[26,0.5]]},{"point":2,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-2","terms":[[32,1]]},{"point":3,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-3","terms":[[30,1]]},{"point":4,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-4","terms":[[13,1]]},{"point":5,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-5","terms":[[29,1]]},{"point":6,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-6","terms":[[27,1]]},{"point":7,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-7","terms":[[31,1]]},{"point":8,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-8","terms":[[32,1]]},{"point":9,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-9","terms":[[18,1]]},{"point":10,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-10","terms":[[13,1]]},{"point":11,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-11","terms":[[23,1]]},{"point":12,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-12","terms":[[15,1]]},{"point":13,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-13","terms":[[31,1]]},{"point":14,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-14","terms":[[17,1]]},{"point":15,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-15","terms":[[30,1]]},{"point":16,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-16","terms":[[26,0.5],[27,0.5]]},{"point":17,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-17","terms":[[32,1]]},{"point":18,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-18","terms":[[24,1]]},{"point":19,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-19","terms":[[28,1]]},{"point":20,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-20","terms":[[23,1]]},{"point":21,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-21","terms":[[30,1]]},{"point":22,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-22","terms":[[25,1]]},{"point":23,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-23","terms":[[26,1]]},{"point":24,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-24","terms":[[30,1]]},{"point":25,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-25","terms":[[27,0.5],[32,0.5]]},{"point":26,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-26","terms":[[32,1]]},{"point":27,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-27","terms":[[30,1]]},{"point":28,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-28","terms":[[29,0.5],[30,0.5]]},{"point":29,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-29","terms":[[32,1]]},{"point":31,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":33,"attempts":[[0,"feasible"],[1,"feasible"],[2,"feasible"],[3,"feasible"],[4,"feasible"],[5,"feasible"],[6,"feasible"],[7,"feasible"],[8,"feasible"],[9,"feasible"],[10,"feasible"],[11,"feasible"],[12,"feasible"],[13,"feasible"],[14,"feasible"],[15,"feasible"],[16,"feasible"],[17,"feasible"],[18,"feasible"],[19,"feasible"],[20,"feasible"],[21,"feasible"],[22,"feasible"],[23,"feasible"],[24,"feasible"],[25,"feasible"],[26,"feasible"],[27,"feasible"],[28,"feasible"],[29,"feasible"],[30,"infeasible"],[31,"feasible"],[32,"infeasible"]],"recursive":null}
{"kind":"pair","purpose":"measurement","fixture":"duplicate-collinear","round":0,"warmup":true,"recursive_first":true}
{"kind":"call","purpose":"measurement","fixture":"duplicate-collinear","round":1,"warmup":false,"problem":"opt11-duplicate-collinear","method":"baseline","elapsed_ns":2834700,"points":[[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32]],"status":"complete","retained":[30,32],"support":[16,16,32,32,48,48],"removed":[{"point":0,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-0","terms":[[15,1]]},{"point":1,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-1","terms":[[21,0.5],[26,0.5]]},{"point":2,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-2","terms":[[32,1]]},{"point":3,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-3","terms":[[30,1]]},{"point":4,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-4","terms":[[13,1]]},{"point":5,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-5","terms":[[29,1]]},{"point":6,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-6","terms":[[27,1]]},{"point":7,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-7","terms":[[31,1]]},{"point":8,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-8","terms":[[32,1]]},{"point":9,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-9","terms":[[18,1]]},{"point":10,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-10","terms":[[13,1]]},{"point":11,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-11","terms":[[23,1]]},{"point":12,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-12","terms":[[15,1]]},{"point":13,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-13","terms":[[31,1]]},{"point":14,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-14","terms":[[17,1]]},{"point":15,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-15","terms":[[30,1]]},{"point":16,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-16","terms":[[26,0.5],[27,0.5]]},{"point":17,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-17","terms":[[32,1]]},{"point":18,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-18","terms":[[24,1]]},{"point":19,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-19","terms":[[28,1]]},{"point":20,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-20","terms":[[23,1]]},{"point":21,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-21","terms":[[30,1]]},{"point":22,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-22","terms":[[25,1]]},{"point":23,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-23","terms":[[26,1]]},{"point":24,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-24","terms":[[30,1]]},{"point":25,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-25","terms":[[27,0.5],[32,0.5]]},{"point":26,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-26","terms":[[32,1]]},{"point":27,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-27","terms":[[30,1]]},{"point":28,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-28","terms":[[29,0.5],[30,0.5]]},{"point":29,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-29","terms":[[32,1]]},{"point":31,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":33,"attempts":[[0,"feasible"],[1,"feasible"],[2,"feasible"],[3,"feasible"],[4,"feasible"],[5,"feasible"],[6,"feasible"],[7,"feasible"],[8,"feasible"],[9,"feasible"],[10,"feasible"],[11,"feasible"],[12,"feasible"],[13,"feasible"],[14,"feasible"],[15,"feasible"],[16,"feasible"],[17,"feasible"],[18,"feasible"],[19,"feasible"],[20,"feasible"],[21,"feasible"],[22,"feasible"],[23,"feasible"],[24,"feasible"],[25,"feasible"],[26,"feasible"],[27,"feasible"],[28,"feasible"],[29,"feasible"],[30,"infeasible"],[31,"feasible"],[32,"infeasible"]],"recursive":null}
{"kind":"call","purpose":"measurement","fixture":"duplicate-collinear","round":1,"warmup":false,"problem":"opt11-duplicate-collinear","method":"recursive","elapsed_ns":2118300,"points":[[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32]],"status":"complete","retained":[30,32],"support":[16,16,32,32,48,48],"removed":[{"point":0,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-0","terms":[[6,1]]},{"point":3,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-3","terms":[[15,1]]},{"point":6,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-6","terms":[[18,1]]},{"point":9,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-9","terms":[[18,1]]},{"point":12,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-12","terms":[[21,1]]},{"point":15,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-15","terms":[[24,1]]},{"point":18,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-18","terms":[[21,1]]},{"point":21,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-21","terms":[[27,1]]},{"point":24,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-24","terms":[[27,1]]},{"point":27,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-27","terms":[[30,1]]},{"point":1,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-1","terms":[[4,1]]},{"point":4,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-4","terms":[[13,1]]},{"point":7,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-7","terms":[[13,1]]},{"point":10,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-10","terms":[[13,1]]},{"point":16,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-16","terms":[[19,1]]},{"point":19,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-19","terms":[[31,1]]},{"point":22,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-22","terms":[[28,1]]},{"point":25,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-25","terms":[[28,1]]},{"point":28,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-28","terms":[[31,1]]},{"point":2,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-2","terms":[[5,1]]},{"point":8,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-8","terms":[[26,1]]},{"point":11,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-11","terms":[[32,1]]},{"point":14,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-14","terms":[[32,1]]},{"point":17,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-17","terms":[[23,1]]},{"point":20,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-20","terms":[[23,1]]},{"point":23,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-23","terms":[[26,1]]},{"point":26,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-26","terms":[[32,1]]},{"point":29,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-29","terms":[[32,1]]},{"point":5,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r1m-5","terms":[[32,1]]},{"point":13,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-rm-13","terms":[[30,0.5],[32,0.5]]},{"point":31,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-rm-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":39,"attempts":[[0,"feasible"],[3,"feasible"],[6,"feasible"],[9,"feasible"],[12,"feasible"],[15,"feasible"],[18,"feasible"],[21,"feasible"],[24,"feasible"],[27,"feasible"],[30,"infeasible"],[1,"feasible"],[4,"feasible"],[7,"feasible"],[10,"feasible"],[13,"infeasible"],[16,"feasible"],[19,"feasible"],[22,"feasible"],[25,"feasible"],[28,"feasible"],[31,"infeasible"],[2,"feasible"],[5,"infeasible"],[8,"feasible"],[11,"feasible"],[14,"feasible"],[17,"feasible"],[20,"feasible"],[23,"feasible"],[26,"feasible"],[29,"feasible"],[31,"infeasible"],[5,"feasible"],[32,"infeasible"],[30,"infeasible"],[13,"feasible"],[31,"feasible"],[32,"infeasible"]],"recursive":{"leaf_nodes":3,"merge_nodes":2,"leaf_lp_calls":32,"merge_lp_calls":7,"peak_merge_points":4,"concurrent_child_subtrees":2,"parallel_overhead_microseconds":406}}
{"kind":"pair","purpose":"measurement","fixture":"duplicate-collinear","round":1,"warmup":false,"recursive_first":false}
{"kind":"call","purpose":"measurement","fixture":"duplicate-collinear","round":2,"warmup":false,"problem":"opt11-duplicate-collinear","method":"recursive","elapsed_ns":2311700,"points":[[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32]],"status":"complete","retained":[30,32],"support":[16,16,32,32,48,48],"removed":[{"point":0,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-0","terms":[[6,1]]},{"point":3,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-3","terms":[[15,1]]},{"point":6,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-6","terms":[[18,1]]},{"point":9,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-9","terms":[[18,1]]},{"point":12,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-12","terms":[[21,1]]},{"point":15,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-15","terms":[[24,1]]},{"point":18,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-18","terms":[[21,1]]},{"point":21,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-21","terms":[[27,1]]},{"point":24,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-24","terms":[[27,1]]},{"point":27,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-27","terms":[[30,1]]},{"point":1,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-1","terms":[[4,1]]},{"point":4,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-4","terms":[[13,1]]},{"point":7,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-7","terms":[[13,1]]},{"point":10,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-10","terms":[[13,1]]},{"point":16,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-16","terms":[[19,1]]},{"point":19,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-19","terms":[[31,1]]},{"point":22,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-22","terms":[[28,1]]},{"point":25,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-25","terms":[[28,1]]},{"point":28,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-28","terms":[[31,1]]},{"point":2,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-2","terms":[[5,1]]},{"point":8,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-8","terms":[[26,1]]},{"point":11,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-11","terms":[[32,1]]},{"point":14,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-14","terms":[[32,1]]},{"point":17,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-17","terms":[[23,1]]},{"point":20,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-20","terms":[[23,1]]},{"point":23,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-23","terms":[[26,1]]},{"point":26,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-26","terms":[[32,1]]},{"point":29,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-29","terms":[[32,1]]},{"point":5,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r1m-5","terms":[[32,1]]},{"point":13,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-rm-13","terms":[[30,0.5],[32,0.5]]},{"point":31,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-rm-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":39,"attempts":[[0,"feasible"],[3,"feasible"],[6,"feasible"],[9,"feasible"],[12,"feasible"],[15,"feasible"],[18,"feasible"],[21,"feasible"],[24,"feasible"],[27,"feasible"],[30,"infeasible"],[1,"feasible"],[4,"feasible"],[7,"feasible"],[10,"feasible"],[13,"infeasible"],[16,"feasible"],[19,"feasible"],[22,"feasible"],[25,"feasible"],[28,"feasible"],[31,"infeasible"],[2,"feasible"],[5,"infeasible"],[8,"feasible"],[11,"feasible"],[14,"feasible"],[17,"feasible"],[20,"feasible"],[23,"feasible"],[26,"feasible"],[29,"feasible"],[31,"infeasible"],[5,"feasible"],[32,"infeasible"],[30,"infeasible"],[13,"feasible"],[31,"feasible"],[32,"infeasible"]],"recursive":{"leaf_nodes":3,"merge_nodes":2,"leaf_lp_calls":32,"merge_lp_calls":7,"peak_merge_points":4,"concurrent_child_subtrees":2,"parallel_overhead_microseconds":557}}
{"kind":"call","purpose":"measurement","fixture":"duplicate-collinear","round":2,"warmup":false,"problem":"opt11-duplicate-collinear","method":"baseline","elapsed_ns":2760900,"points":[[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32]],"status":"complete","retained":[30,32],"support":[16,16,32,32,48,48],"removed":[{"point":0,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-0","terms":[[15,1]]},{"point":1,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-1","terms":[[21,0.5],[26,0.5]]},{"point":2,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-2","terms":[[32,1]]},{"point":3,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-3","terms":[[30,1]]},{"point":4,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-4","terms":[[13,1]]},{"point":5,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-5","terms":[[29,1]]},{"point":6,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-6","terms":[[27,1]]},{"point":7,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-7","terms":[[31,1]]},{"point":8,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-8","terms":[[32,1]]},{"point":9,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-9","terms":[[18,1]]},{"point":10,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-10","terms":[[13,1]]},{"point":11,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-11","terms":[[23,1]]},{"point":12,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-12","terms":[[15,1]]},{"point":13,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-13","terms":[[31,1]]},{"point":14,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-14","terms":[[17,1]]},{"point":15,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-15","terms":[[30,1]]},{"point":16,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-16","terms":[[26,0.5],[27,0.5]]},{"point":17,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-17","terms":[[32,1]]},{"point":18,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-18","terms":[[24,1]]},{"point":19,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-19","terms":[[28,1]]},{"point":20,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-20","terms":[[23,1]]},{"point":21,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-21","terms":[[30,1]]},{"point":22,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-22","terms":[[25,1]]},{"point":23,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-23","terms":[[26,1]]},{"point":24,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-24","terms":[[30,1]]},{"point":25,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-25","terms":[[27,0.5],[32,0.5]]},{"point":26,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-26","terms":[[32,1]]},{"point":27,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-27","terms":[[30,1]]},{"point":28,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-28","terms":[[29,0.5],[30,0.5]]},{"point":29,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-29","terms":[[32,1]]},{"point":31,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":33,"attempts":[[0,"feasible"],[1,"feasible"],[2,"feasible"],[3,"feasible"],[4,"feasible"],[5,"feasible"],[6,"feasible"],[7,"feasible"],[8,"feasible"],[9,"feasible"],[10,"feasible"],[11,"feasible"],[12,"feasible"],[13,"feasible"],[14,"feasible"],[15,"feasible"],[16,"feasible"],[17,"feasible"],[18,"feasible"],[19,"feasible"],[20,"feasible"],[21,"feasible"],[22,"feasible"],[23,"feasible"],[24,"feasible"],[25,"feasible"],[26,"feasible"],[27,"feasible"],[28,"feasible"],[29,"feasible"],[30,"infeasible"],[31,"feasible"],[32,"infeasible"]],"recursive":null}
{"kind":"pair","purpose":"measurement","fixture":"duplicate-collinear","round":2,"warmup":false,"recursive_first":true}
{"kind":"call","purpose":"measurement","fixture":"duplicate-collinear","round":3,"warmup":false,"problem":"opt11-duplicate-collinear","method":"baseline","elapsed_ns":2748000,"points":[[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32]],"status":"complete","retained":[30,32],"support":[16,16,32,32,48,48],"removed":[{"point":0,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-0","terms":[[15,1]]},{"point":1,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-1","terms":[[21,0.5],[26,0.5]]},{"point":2,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-2","terms":[[32,1]]},{"point":3,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-3","terms":[[30,1]]},{"point":4,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-4","terms":[[13,1]]},{"point":5,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-5","terms":[[29,1]]},{"point":6,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-6","terms":[[27,1]]},{"point":7,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-7","terms":[[31,1]]},{"point":8,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-8","terms":[[32,1]]},{"point":9,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-9","terms":[[18,1]]},{"point":10,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-10","terms":[[13,1]]},{"point":11,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-11","terms":[[23,1]]},{"point":12,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-12","terms":[[15,1]]},{"point":13,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-13","terms":[[31,1]]},{"point":14,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-14","terms":[[17,1]]},{"point":15,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-15","terms":[[30,1]]},{"point":16,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-16","terms":[[26,0.5],[27,0.5]]},{"point":17,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-17","terms":[[32,1]]},{"point":18,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-18","terms":[[24,1]]},{"point":19,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-19","terms":[[28,1]]},{"point":20,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-20","terms":[[23,1]]},{"point":21,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-21","terms":[[30,1]]},{"point":22,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-22","terms":[[25,1]]},{"point":23,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-23","terms":[[26,1]]},{"point":24,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-24","terms":[[30,1]]},{"point":25,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-25","terms":[[27,0.5],[32,0.5]]},{"point":26,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-26","terms":[[32,1]]},{"point":27,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-27","terms":[[30,1]]},{"point":28,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-28","terms":[[29,0.5],[30,0.5]]},{"point":29,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-29","terms":[[32,1]]},{"point":31,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":33,"attempts":[[0,"feasible"],[1,"feasible"],[2,"feasible"],[3,"feasible"],[4,"feasible"],[5,"feasible"],[6,"feasible"],[7,"feasible"],[8,"feasible"],[9,"feasible"],[10,"feasible"],[11,"feasible"],[12,"feasible"],[13,"feasible"],[14,"feasible"],[15,"feasible"],[16,"feasible"],[17,"feasible"],[18,"feasible"],[19,"feasible"],[20,"feasible"],[21,"feasible"],[22,"feasible"],[23,"feasible"],[24,"feasible"],[25,"feasible"],[26,"feasible"],[27,"feasible"],[28,"feasible"],[29,"feasible"],[30,"infeasible"],[31,"feasible"],[32,"infeasible"]],"recursive":null}
{"kind":"call","purpose":"measurement","fixture":"duplicate-collinear","round":3,"warmup":false,"problem":"opt11-duplicate-collinear","method":"recursive","elapsed_ns":3141500,"points":[[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32]],"status":"complete","retained":[30,32],"support":[16,16,32,32,48,48],"removed":[{"point":0,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-0","terms":[[6,1]]},{"point":3,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-3","terms":[[15,1]]},{"point":6,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-6","terms":[[18,1]]},{"point":9,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-9","terms":[[18,1]]},{"point":12,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-12","terms":[[21,1]]},{"point":15,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-15","terms":[[24,1]]},{"point":18,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-18","terms":[[21,1]]},{"point":21,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-21","terms":[[27,1]]},{"point":24,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-24","terms":[[27,1]]},{"point":27,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-27","terms":[[30,1]]},{"point":1,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-1","terms":[[4,1]]},{"point":4,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-4","terms":[[13,1]]},{"point":7,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-7","terms":[[13,1]]},{"point":10,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-10","terms":[[13,1]]},{"point":16,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-16","terms":[[19,1]]},{"point":19,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-19","terms":[[31,1]]},{"point":22,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-22","terms":[[28,1]]},{"point":25,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-25","terms":[[28,1]]},{"point":28,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-28","terms":[[31,1]]},{"point":2,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-2","terms":[[5,1]]},{"point":8,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-8","terms":[[26,1]]},{"point":11,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-11","terms":[[32,1]]},{"point":14,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-14","terms":[[32,1]]},{"point":17,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-17","terms":[[23,1]]},{"point":20,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-20","terms":[[23,1]]},{"point":23,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-23","terms":[[26,1]]},{"point":26,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-26","terms":[[32,1]]},{"point":29,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-29","terms":[[32,1]]},{"point":5,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r1m-5","terms":[[32,1]]},{"point":13,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-rm-13","terms":[[30,0.5],[32,0.5]]},{"point":31,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-rm-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":39,"attempts":[[0,"feasible"],[3,"feasible"],[6,"feasible"],[9,"feasible"],[12,"feasible"],[15,"feasible"],[18,"feasible"],[21,"feasible"],[24,"feasible"],[27,"feasible"],[30,"infeasible"],[1,"feasible"],[4,"feasible"],[7,"feasible"],[10,"feasible"],[13,"infeasible"],[16,"feasible"],[19,"feasible"],[22,"feasible"],[25,"feasible"],[28,"feasible"],[31,"infeasible"],[2,"feasible"],[5,"infeasible"],[8,"feasible"],[11,"feasible"],[14,"feasible"],[17,"feasible"],[20,"feasible"],[23,"feasible"],[26,"feasible"],[29,"feasible"],[31,"infeasible"],[5,"feasible"],[32,"infeasible"],[30,"infeasible"],[13,"feasible"],[31,"feasible"],[32,"infeasible"]],"recursive":{"leaf_nodes":3,"merge_nodes":2,"leaf_lp_calls":32,"merge_lp_calls":7,"peak_merge_points":4,"concurrent_child_subtrees":2,"parallel_overhead_microseconds":397}}
{"kind":"pair","purpose":"measurement","fixture":"duplicate-collinear","round":3,"warmup":false,"recursive_first":false}
{"kind":"call","purpose":"measurement","fixture":"duplicate-collinear","round":4,"warmup":false,"problem":"opt11-duplicate-collinear","method":"recursive","elapsed_ns":2601900,"points":[[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32]],"status":"complete","retained":[30,32],"support":[16,16,32,32,48,48],"removed":[{"point":0,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-0","terms":[[6,1]]},{"point":3,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-3","terms":[[15,1]]},{"point":6,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-6","terms":[[18,1]]},{"point":9,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-9","terms":[[18,1]]},{"point":12,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-12","terms":[[21,1]]},{"point":15,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-15","terms":[[24,1]]},{"point":18,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-18","terms":[[21,1]]},{"point":21,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-21","terms":[[27,1]]},{"point":24,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-24","terms":[[27,1]]},{"point":27,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-27","terms":[[30,1]]},{"point":1,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-1","terms":[[4,1]]},{"point":4,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-4","terms":[[13,1]]},{"point":7,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-7","terms":[[13,1]]},{"point":10,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-10","terms":[[13,1]]},{"point":16,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-16","terms":[[19,1]]},{"point":19,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-19","terms":[[31,1]]},{"point":22,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-22","terms":[[28,1]]},{"point":25,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-25","terms":[[28,1]]},{"point":28,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-28","terms":[[31,1]]},{"point":2,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-2","terms":[[5,1]]},{"point":8,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-8","terms":[[26,1]]},{"point":11,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-11","terms":[[32,1]]},{"point":14,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-14","terms":[[32,1]]},{"point":17,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-17","terms":[[23,1]]},{"point":20,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-20","terms":[[23,1]]},{"point":23,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-23","terms":[[26,1]]},{"point":26,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-26","terms":[[32,1]]},{"point":29,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-29","terms":[[32,1]]},{"point":5,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r1m-5","terms":[[32,1]]},{"point":13,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-rm-13","terms":[[30,0.5],[32,0.5]]},{"point":31,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-rm-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":39,"attempts":[[0,"feasible"],[3,"feasible"],[6,"feasible"],[9,"feasible"],[12,"feasible"],[15,"feasible"],[18,"feasible"],[21,"feasible"],[24,"feasible"],[27,"feasible"],[30,"infeasible"],[1,"feasible"],[4,"feasible"],[7,"feasible"],[10,"feasible"],[13,"infeasible"],[16,"feasible"],[19,"feasible"],[22,"feasible"],[25,"feasible"],[28,"feasible"],[31,"infeasible"],[2,"feasible"],[5,"infeasible"],[8,"feasible"],[11,"feasible"],[14,"feasible"],[17,"feasible"],[20,"feasible"],[23,"feasible"],[26,"feasible"],[29,"feasible"],[31,"infeasible"],[5,"feasible"],[32,"infeasible"],[30,"infeasible"],[13,"feasible"],[31,"feasible"],[32,"infeasible"]],"recursive":{"leaf_nodes":3,"merge_nodes":2,"leaf_lp_calls":32,"merge_lp_calls":7,"peak_merge_points":4,"concurrent_child_subtrees":2,"parallel_overhead_microseconds":436}}
{"kind":"call","purpose":"measurement","fixture":"duplicate-collinear","round":4,"warmup":false,"problem":"opt11-duplicate-collinear","method":"baseline","elapsed_ns":2795400,"points":[[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32]],"status":"complete","retained":[30,32],"support":[16,16,32,32,48,48],"removed":[{"point":0,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-0","terms":[[15,1]]},{"point":1,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-1","terms":[[21,0.5],[26,0.5]]},{"point":2,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-2","terms":[[32,1]]},{"point":3,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-3","terms":[[30,1]]},{"point":4,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-4","terms":[[13,1]]},{"point":5,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-5","terms":[[29,1]]},{"point":6,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-6","terms":[[27,1]]},{"point":7,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-7","terms":[[31,1]]},{"point":8,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-8","terms":[[32,1]]},{"point":9,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-9","terms":[[18,1]]},{"point":10,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-10","terms":[[13,1]]},{"point":11,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-11","terms":[[23,1]]},{"point":12,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-12","terms":[[15,1]]},{"point":13,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-13","terms":[[31,1]]},{"point":14,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-14","terms":[[17,1]]},{"point":15,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-15","terms":[[30,1]]},{"point":16,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-16","terms":[[26,0.5],[27,0.5]]},{"point":17,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-17","terms":[[32,1]]},{"point":18,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-18","terms":[[24,1]]},{"point":19,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-19","terms":[[28,1]]},{"point":20,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-20","terms":[[23,1]]},{"point":21,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-21","terms":[[30,1]]},{"point":22,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-22","terms":[[25,1]]},{"point":23,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-23","terms":[[26,1]]},{"point":24,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-24","terms":[[30,1]]},{"point":25,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-25","terms":[[27,0.5],[32,0.5]]},{"point":26,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-26","terms":[[32,1]]},{"point":27,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-27","terms":[[30,1]]},{"point":28,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-28","terms":[[29,0.5],[30,0.5]]},{"point":29,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-29","terms":[[32,1]]},{"point":31,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":33,"attempts":[[0,"feasible"],[1,"feasible"],[2,"feasible"],[3,"feasible"],[4,"feasible"],[5,"feasible"],[6,"feasible"],[7,"feasible"],[8,"feasible"],[9,"feasible"],[10,"feasible"],[11,"feasible"],[12,"feasible"],[13,"feasible"],[14,"feasible"],[15,"feasible"],[16,"feasible"],[17,"feasible"],[18,"feasible"],[19,"feasible"],[20,"feasible"],[21,"feasible"],[22,"feasible"],[23,"feasible"],[24,"feasible"],[25,"feasible"],[26,"feasible"],[27,"feasible"],[28,"feasible"],[29,"feasible"],[30,"infeasible"],[31,"feasible"],[32,"infeasible"]],"recursive":null}
{"kind":"pair","purpose":"measurement","fixture":"duplicate-collinear","round":4,"warmup":false,"recursive_first":true}
{"kind":"call","purpose":"measurement","fixture":"duplicate-collinear","round":5,"warmup":false,"problem":"opt11-duplicate-collinear","method":"baseline","elapsed_ns":2594600,"points":[[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32]],"status":"complete","retained":[30,32],"support":[16,16,32,32,48,48],"removed":[{"point":0,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-0","terms":[[15,1]]},{"point":1,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-1","terms":[[21,0.5],[26,0.5]]},{"point":2,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-2","terms":[[32,1]]},{"point":3,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-3","terms":[[30,1]]},{"point":4,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-4","terms":[[13,1]]},{"point":5,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-5","terms":[[29,1]]},{"point":6,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-6","terms":[[27,1]]},{"point":7,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-7","terms":[[31,1]]},{"point":8,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-8","terms":[[32,1]]},{"point":9,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-9","terms":[[18,1]]},{"point":10,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-10","terms":[[13,1]]},{"point":11,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-11","terms":[[23,1]]},{"point":12,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-12","terms":[[15,1]]},{"point":13,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-13","terms":[[31,1]]},{"point":14,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-14","terms":[[17,1]]},{"point":15,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-15","terms":[[30,1]]},{"point":16,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-16","terms":[[26,0.5],[27,0.5]]},{"point":17,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-17","terms":[[32,1]]},{"point":18,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-18","terms":[[24,1]]},{"point":19,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-19","terms":[[28,1]]},{"point":20,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-20","terms":[[23,1]]},{"point":21,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-21","terms":[[30,1]]},{"point":22,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-22","terms":[[25,1]]},{"point":23,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-23","terms":[[26,1]]},{"point":24,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-24","terms":[[30,1]]},{"point":25,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-25","terms":[[27,0.5],[32,0.5]]},{"point":26,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-26","terms":[[32,1]]},{"point":27,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-27","terms":[[30,1]]},{"point":28,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-28","terms":[[29,0.5],[30,0.5]]},{"point":29,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-29","terms":[[32,1]]},{"point":31,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":33,"attempts":[[0,"feasible"],[1,"feasible"],[2,"feasible"],[3,"feasible"],[4,"feasible"],[5,"feasible"],[6,"feasible"],[7,"feasible"],[8,"feasible"],[9,"feasible"],[10,"feasible"],[11,"feasible"],[12,"feasible"],[13,"feasible"],[14,"feasible"],[15,"feasible"],[16,"feasible"],[17,"feasible"],[18,"feasible"],[19,"feasible"],[20,"feasible"],[21,"feasible"],[22,"feasible"],[23,"feasible"],[24,"feasible"],[25,"feasible"],[26,"feasible"],[27,"feasible"],[28,"feasible"],[29,"feasible"],[30,"infeasible"],[31,"feasible"],[32,"infeasible"]],"recursive":null}
{"kind":"call","purpose":"measurement","fixture":"duplicate-collinear","round":5,"warmup":false,"problem":"opt11-duplicate-collinear","method":"recursive","elapsed_ns":3043400,"points":[[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32]],"status":"complete","retained":[30,32],"support":[16,16,32,32,48,48],"removed":[{"point":0,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-0","terms":[[6,1]]},{"point":3,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-3","terms":[[15,1]]},{"point":6,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-6","terms":[[18,1]]},{"point":9,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-9","terms":[[18,1]]},{"point":12,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-12","terms":[[21,1]]},{"point":15,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-15","terms":[[24,1]]},{"point":18,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-18","terms":[[21,1]]},{"point":21,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-21","terms":[[27,1]]},{"point":24,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-24","terms":[[27,1]]},{"point":27,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-27","terms":[[30,1]]},{"point":1,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-1","terms":[[4,1]]},{"point":4,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-4","terms":[[13,1]]},{"point":7,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-7","terms":[[13,1]]},{"point":10,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-10","terms":[[13,1]]},{"point":16,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-16","terms":[[19,1]]},{"point":19,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-19","terms":[[31,1]]},{"point":22,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-22","terms":[[28,1]]},{"point":25,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-25","terms":[[28,1]]},{"point":28,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-28","terms":[[31,1]]},{"point":2,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-2","terms":[[5,1]]},{"point":8,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-8","terms":[[26,1]]},{"point":11,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-11","terms":[[32,1]]},{"point":14,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-14","terms":[[32,1]]},{"point":17,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-17","terms":[[23,1]]},{"point":20,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-20","terms":[[23,1]]},{"point":23,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-23","terms":[[26,1]]},{"point":26,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-26","terms":[[32,1]]},{"point":29,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-29","terms":[[32,1]]},{"point":5,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r1m-5","terms":[[32,1]]},{"point":13,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-rm-13","terms":[[30,0.5],[32,0.5]]},{"point":31,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-rm-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":39,"attempts":[[0,"feasible"],[3,"feasible"],[6,"feasible"],[9,"feasible"],[12,"feasible"],[15,"feasible"],[18,"feasible"],[21,"feasible"],[24,"feasible"],[27,"feasible"],[30,"infeasible"],[1,"feasible"],[4,"feasible"],[7,"feasible"],[10,"feasible"],[13,"infeasible"],[16,"feasible"],[19,"feasible"],[22,"feasible"],[25,"feasible"],[28,"feasible"],[31,"infeasible"],[2,"feasible"],[5,"infeasible"],[8,"feasible"],[11,"feasible"],[14,"feasible"],[17,"feasible"],[20,"feasible"],[23,"feasible"],[26,"feasible"],[29,"feasible"],[31,"infeasible"],[5,"feasible"],[32,"infeasible"],[30,"infeasible"],[13,"feasible"],[31,"feasible"],[32,"infeasible"]],"recursive":{"leaf_nodes":3,"merge_nodes":2,"leaf_lp_calls":32,"merge_lp_calls":7,"peak_merge_points":4,"concurrent_child_subtrees":2,"parallel_overhead_microseconds":385}}
{"kind":"pair","purpose":"measurement","fixture":"duplicate-collinear","round":5,"warmup":false,"recursive_first":false}
{"kind":"call","purpose":"measurement","fixture":"duplicate-collinear","round":6,"warmup":false,"problem":"opt11-duplicate-collinear","method":"recursive","elapsed_ns":3063100,"points":[[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32]],"status":"complete","retained":[30,32],"support":[16,16,32,32,48,48],"removed":[{"point":0,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-0","terms":[[6,1]]},{"point":3,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-3","terms":[[15,1]]},{"point":6,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-6","terms":[[18,1]]},{"point":9,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-9","terms":[[18,1]]},{"point":12,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-12","terms":[[21,1]]},{"point":15,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-15","terms":[[24,1]]},{"point":18,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-18","terms":[[21,1]]},{"point":21,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-21","terms":[[27,1]]},{"point":24,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-24","terms":[[27,1]]},{"point":27,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-27","terms":[[30,1]]},{"point":1,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-1","terms":[[4,1]]},{"point":4,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-4","terms":[[13,1]]},{"point":7,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-7","terms":[[13,1]]},{"point":10,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r0-10","terms":[[13,1]]},{"point":16,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-16","terms":[[19,1]]},{"point":19,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-19","terms":[[31,1]]},{"point":22,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-22","terms":[[28,1]]},{"point":25,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-25","terms":[[28,1]]},{"point":28,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-28","terms":[[31,1]]},{"point":2,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r10-2","terms":[[5,1]]},{"point":8,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-8","terms":[[26,1]]},{"point":11,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-11","terms":[[32,1]]},{"point":14,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-14","terms":[[32,1]]},{"point":17,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-17","terms":[[23,1]]},{"point":20,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-20","terms":[[23,1]]},{"point":23,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-23","terms":[[26,1]]},{"point":26,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-26","terms":[[32,1]]},{"point":29,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r11-29","terms":[[32,1]]},{"point":5,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-r1m-5","terms":[[32,1]]},{"point":13,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-rm-13","terms":[[30,0.5],[32,0.5]]},{"point":31,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-rm-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":39,"attempts":[[0,"feasible"],[3,"feasible"],[6,"feasible"],[9,"feasible"],[12,"feasible"],[15,"feasible"],[18,"feasible"],[21,"feasible"],[24,"feasible"],[27,"feasible"],[30,"infeasible"],[1,"feasible"],[4,"feasible"],[7,"feasible"],[10,"feasible"],[13,"infeasible"],[16,"feasible"],[19,"feasible"],[22,"feasible"],[25,"feasible"],[28,"feasible"],[31,"infeasible"],[2,"feasible"],[5,"infeasible"],[8,"feasible"],[11,"feasible"],[14,"feasible"],[17,"feasible"],[20,"feasible"],[23,"feasible"],[26,"feasible"],[29,"feasible"],[31,"infeasible"],[5,"feasible"],[32,"infeasible"],[30,"infeasible"],[13,"feasible"],[31,"feasible"],[32,"infeasible"]],"recursive":{"leaf_nodes":3,"merge_nodes":2,"leaf_lp_calls":32,"merge_lp_calls":7,"peak_merge_points":4,"concurrent_child_subtrees":2,"parallel_overhead_microseconds":424}}
{"kind":"call","purpose":"measurement","fixture":"duplicate-collinear","round":6,"warmup":false,"problem":"opt11-duplicate-collinear","method":"baseline","elapsed_ns":2879400,"points":[[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32],[-16,-32],[0,0],[16,32]],"status":"complete","retained":[30,32],"support":[16,16,32,32,48,48],"removed":[{"point":0,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-0","terms":[[15,1]]},{"point":1,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-1","terms":[[21,0.5],[26,0.5]]},{"point":2,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-2","terms":[[32,1]]},{"point":3,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-3","terms":[[30,1]]},{"point":4,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-4","terms":[[13,1]]},{"point":5,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-5","terms":[[29,1]]},{"point":6,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-6","terms":[[27,1]]},{"point":7,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-7","terms":[[31,1]]},{"point":8,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-8","terms":[[32,1]]},{"point":9,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-9","terms":[[18,1]]},{"point":10,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-10","terms":[[13,1]]},{"point":11,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-11","terms":[[23,1]]},{"point":12,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-12","terms":[[15,1]]},{"point":13,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-13","terms":[[31,1]]},{"point":14,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-14","terms":[[17,1]]},{"point":15,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-15","terms":[[30,1]]},{"point":16,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-16","terms":[[26,0.5],[27,0.5]]},{"point":17,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-17","terms":[[32,1]]},{"point":18,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-18","terms":[[24,1]]},{"point":19,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-19","terms":[[28,1]]},{"point":20,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-20","terms":[[23,1]]},{"point":21,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-21","terms":[[30,1]]},{"point":22,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-22","terms":[[25,1]]},{"point":23,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-23","terms":[[26,1]]},{"point":24,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-24","terms":[[30,1]]},{"point":25,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-25","terms":[[27,0.5],[32,0.5]]},{"point":26,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-26","terms":[[32,1]]},{"point":27,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-27","terms":[[30,1]]},{"point":28,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-28","terms":[[29,0.5],[30,0.5]]},{"point":29,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-29","terms":[[32,1]]},{"point":31,"program_problem":"opt11-duplicate-collinear","program":"hull-membership-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":33,"attempts":[[0,"feasible"],[1,"feasible"],[2,"feasible"],[3,"feasible"],[4,"feasible"],[5,"feasible"],[6,"feasible"],[7,"feasible"],[8,"feasible"],[9,"feasible"],[10,"feasible"],[11,"feasible"],[12,"feasible"],[13,"feasible"],[14,"feasible"],[15,"feasible"],[16,"feasible"],[17,"feasible"],[18,"feasible"],[19,"feasible"],[20,"feasible"],[21,"feasible"],[22,"feasible"],[23,"feasible"],[24,"feasible"],[25,"feasible"],[26,"feasible"],[27,"feasible"],[28,"feasible"],[29,"feasible"],[30,"infeasible"],[31,"feasible"],[32,"infeasible"]],"recursive":null}
{"kind":"pair","purpose":"measurement","fixture":"duplicate-collinear","round":6,"warmup":false,"recursive_first":true}
{"kind":"call","purpose":"measurement","fixture":"rank-one-offset","round":0,"warmup":true,"problem":"opt11-rank-one-offset","method":"baseline","elapsed_ns":2700500,"points":[[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26]],"status":"complete","retained":[30,32],"support":[8,8,26,22,34,30],"removed":[{"point":0,"program_problem":"opt11-rank-one-offset","program":"hull-membership-0","terms":[[15,1]]},{"point":1,"program_problem":"opt11-rank-one-offset","program":"hull-membership-1","terms":[[19,1]]},{"point":2,"program_problem":"opt11-rank-one-offset","program":"hull-membership-2","terms":[[32,1]]},{"point":3,"program_problem":"opt11-rank-one-offset","program":"hull-membership-3","terms":[[30,1]]},{"point":4,"program_problem":"opt11-rank-one-offset","program":"hull-membership-4","terms":[[13,1]]},{"point":5,"program_problem":"opt11-rank-one-offset","program":"hull-membership-5","terms":[[29,1]]},{"point":6,"program_problem":"opt11-rank-one-offset","program":"hull-membership-6","terms":[[27,1]]},{"point":7,"program_problem":"opt11-rank-one-offset","program":"hull-membership-7","terms":[[31,1]]},{"point":8,"program_problem":"opt11-rank-one-offset","program":"hull-membership-8","terms":[[32,1]]},{"point":9,"program_problem":"opt11-rank-one-offset","program":"hull-membership-9","terms":[[18,1]]},{"point":10,"program_problem":"opt11-rank-one-offset","program":"hull-membership-10","terms":[[13,1]]},{"point":11,"program_problem":"opt11-rank-one-offset","program":"hull-membership-11","terms":[[23,1]]},{"point":12,"program_problem":"opt11-rank-one-offset","program":"hull-membership-12","terms":[[15,1]]},{"point":13,"program_problem":"opt11-rank-one-offset","program":"hull-membership-13","terms":[[31,1]]},{"point":14,"program_problem":"opt11-rank-one-offset","program":"hull-membership-14","terms":[[17,1]]},{"point":15,"program_problem":"opt11-rank-one-offset","program":"hull-membership-15","terms":[[30,1]]},{"point":16,"program_problem":"opt11-rank-one-offset","program":"hull-membership-16","terms":[[19,1]]},{"point":17,"program_problem":"opt11-rank-one-offset","program":"hull-membership-17","terms":[[32,1]]},{"point":18,"program_problem":"opt11-rank-one-offset","program":"hull-membership-18","terms":[[24,1]]},{"point":19,"program_problem":"opt11-rank-one-offset","program":"hull-membership-19","terms":[[28,1]]},{"point":20,"program_problem":"opt11-rank-one-offset","program":"hull-membership-20","terms":[[23,1]]},{"point":21,"program_problem":"opt11-rank-one-offset","program":"hull-membership-21","terms":[[30,1]]},{"point":22,"program_problem":"opt11-rank-one-offset","program":"hull-membership-22","terms":[[25,1]]},{"point":23,"program_problem":"opt11-rank-one-offset","program":"hull-membership-23","terms":[[26,1]]},{"point":24,"program_problem":"opt11-rank-one-offset","program":"hull-membership-24","terms":[[30,1]]},{"point":25,"program_problem":"opt11-rank-one-offset","program":"hull-membership-25","terms":[[28,1]]},{"point":26,"program_problem":"opt11-rank-one-offset","program":"hull-membership-26","terms":[[32,1]]},{"point":27,"program_problem":"opt11-rank-one-offset","program":"hull-membership-27","terms":[[30,1]]},{"point":28,"program_problem":"opt11-rank-one-offset","program":"hull-membership-28","terms":[[31,1]]},{"point":29,"program_problem":"opt11-rank-one-offset","program":"hull-membership-29","terms":[[32,1]]},{"point":31,"program_problem":"opt11-rank-one-offset","program":"hull-membership-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":33,"attempts":[[0,"feasible"],[1,"feasible"],[2,"feasible"],[3,"feasible"],[4,"feasible"],[5,"feasible"],[6,"feasible"],[7,"feasible"],[8,"feasible"],[9,"feasible"],[10,"feasible"],[11,"feasible"],[12,"feasible"],[13,"feasible"],[14,"feasible"],[15,"feasible"],[16,"feasible"],[17,"feasible"],[18,"feasible"],[19,"feasible"],[20,"feasible"],[21,"feasible"],[22,"feasible"],[23,"feasible"],[24,"feasible"],[25,"feasible"],[26,"feasible"],[27,"feasible"],[28,"feasible"],[29,"feasible"],[30,"infeasible"],[31,"feasible"],[32,"infeasible"]],"recursive":null}
{"kind":"call","purpose":"measurement","fixture":"rank-one-offset","round":0,"warmup":true,"problem":"opt11-rank-one-offset","method":"recursive","elapsed_ns":3096100,"points":[[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26]],"status":"complete","retained":[30,32],"support":[8,8,26,22,34,30],"removed":[{"point":0,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-0","terms":[[6,1]]},{"point":3,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-3","terms":[[15,1]]},{"point":6,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-6","terms":[[18,1]]},{"point":9,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-9","terms":[[18,1]]},{"point":12,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-12","terms":[[21,1]]},{"point":15,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-15","terms":[[24,1]]},{"point":18,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-18","terms":[[21,1]]},{"point":21,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-21","terms":[[27,1]]},{"point":24,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-24","terms":[[27,1]]},{"point":27,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-27","terms":[[30,1]]},{"point":1,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-1","terms":[[4,1]]},{"point":4,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-4","terms":[[13,1]]},{"point":7,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-7","terms":[[13,1]]},{"point":10,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-10","terms":[[13,1]]},{"point":16,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-16","terms":[[19,1]]},{"point":19,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-19","terms":[[31,1]]},{"point":22,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-22","terms":[[28,1]]},{"point":25,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-25","terms":[[28,1]]},{"point":28,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-28","terms":[[31,1]]},{"point":2,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-2","terms":[[5,1]]},{"point":8,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-8","terms":[[26,1]]},{"point":11,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-11","terms":[[32,1]]},{"point":14,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-14","terms":[[32,1]]},{"point":17,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-17","terms":[[23,1]]},{"point":20,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-20","terms":[[23,1]]},{"point":23,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-23","terms":[[26,1]]},{"point":26,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-26","terms":[[32,1]]},{"point":29,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-29","terms":[[32,1]]},{"point":5,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r1m-5","terms":[[32,1]]},{"point":13,"program_problem":"opt11-rank-one-offset","program":"hull-membership-rm-13","terms":[[31,1]]},{"point":31,"program_problem":"opt11-rank-one-offset","program":"hull-membership-rm-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":39,"attempts":[[0,"feasible"],[3,"feasible"],[6,"feasible"],[9,"feasible"],[12,"feasible"],[15,"feasible"],[18,"feasible"],[21,"feasible"],[24,"feasible"],[27,"feasible"],[30,"infeasible"],[1,"feasible"],[4,"feasible"],[7,"feasible"],[10,"feasible"],[13,"infeasible"],[16,"feasible"],[19,"feasible"],[22,"feasible"],[25,"feasible"],[28,"feasible"],[31,"infeasible"],[2,"feasible"],[5,"infeasible"],[8,"feasible"],[11,"feasible"],[14,"feasible"],[17,"feasible"],[20,"feasible"],[23,"feasible"],[26,"feasible"],[29,"feasible"],[31,"infeasible"],[5,"feasible"],[32,"infeasible"],[30,"infeasible"],[13,"feasible"],[31,"feasible"],[32,"infeasible"]],"recursive":{"leaf_nodes":3,"merge_nodes":2,"leaf_lp_calls":32,"merge_lp_calls":7,"peak_merge_points":4,"concurrent_child_subtrees":2,"parallel_overhead_microseconds":375}}
{"kind":"pair","purpose":"measurement","fixture":"rank-one-offset","round":0,"warmup":true,"recursive_first":false}
{"kind":"call","purpose":"measurement","fixture":"rank-one-offset","round":1,"warmup":false,"problem":"opt11-rank-one-offset","method":"recursive","elapsed_ns":3164600,"points":[[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26]],"status":"complete","retained":[30,32],"support":[8,8,26,22,34,30],"removed":[{"point":0,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-0","terms":[[6,1]]},{"point":3,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-3","terms":[[15,1]]},{"point":6,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-6","terms":[[18,1]]},{"point":9,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-9","terms":[[18,1]]},{"point":12,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-12","terms":[[21,1]]},{"point":15,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-15","terms":[[24,1]]},{"point":18,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-18","terms":[[21,1]]},{"point":21,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-21","terms":[[27,1]]},{"point":24,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-24","terms":[[27,1]]},{"point":27,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-27","terms":[[30,1]]},{"point":1,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-1","terms":[[4,1]]},{"point":4,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-4","terms":[[13,1]]},{"point":7,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-7","terms":[[13,1]]},{"point":10,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-10","terms":[[13,1]]},{"point":16,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-16","terms":[[19,1]]},{"point":19,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-19","terms":[[31,1]]},{"point":22,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-22","terms":[[28,1]]},{"point":25,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-25","terms":[[28,1]]},{"point":28,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-28","terms":[[31,1]]},{"point":2,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-2","terms":[[5,1]]},{"point":8,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-8","terms":[[26,1]]},{"point":11,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-11","terms":[[32,1]]},{"point":14,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-14","terms":[[32,1]]},{"point":17,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-17","terms":[[23,1]]},{"point":20,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-20","terms":[[23,1]]},{"point":23,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-23","terms":[[26,1]]},{"point":26,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-26","terms":[[32,1]]},{"point":29,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-29","terms":[[32,1]]},{"point":5,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r1m-5","terms":[[32,1]]},{"point":13,"program_problem":"opt11-rank-one-offset","program":"hull-membership-rm-13","terms":[[31,1]]},{"point":31,"program_problem":"opt11-rank-one-offset","program":"hull-membership-rm-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":39,"attempts":[[0,"feasible"],[3,"feasible"],[6,"feasible"],[9,"feasible"],[12,"feasible"],[15,"feasible"],[18,"feasible"],[21,"feasible"],[24,"feasible"],[27,"feasible"],[30,"infeasible"],[1,"feasible"],[4,"feasible"],[7,"feasible"],[10,"feasible"],[13,"infeasible"],[16,"feasible"],[19,"feasible"],[22,"feasible"],[25,"feasible"],[28,"feasible"],[31,"infeasible"],[2,"feasible"],[5,"infeasible"],[8,"feasible"],[11,"feasible"],[14,"feasible"],[17,"feasible"],[20,"feasible"],[23,"feasible"],[26,"feasible"],[29,"feasible"],[31,"infeasible"],[5,"feasible"],[32,"infeasible"],[30,"infeasible"],[13,"feasible"],[31,"feasible"],[32,"infeasible"]],"recursive":{"leaf_nodes":3,"merge_nodes":2,"leaf_lp_calls":32,"merge_lp_calls":7,"peak_merge_points":4,"concurrent_child_subtrees":2,"parallel_overhead_microseconds":417}}
{"kind":"call","purpose":"measurement","fixture":"rank-one-offset","round":1,"warmup":false,"problem":"opt11-rank-one-offset","method":"baseline","elapsed_ns":2704100,"points":[[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26]],"status":"complete","retained":[30,32],"support":[8,8,26,22,34,30],"removed":[{"point":0,"program_problem":"opt11-rank-one-offset","program":"hull-membership-0","terms":[[15,1]]},{"point":1,"program_problem":"opt11-rank-one-offset","program":"hull-membership-1","terms":[[19,1]]},{"point":2,"program_problem":"opt11-rank-one-offset","program":"hull-membership-2","terms":[[32,1]]},{"point":3,"program_problem":"opt11-rank-one-offset","program":"hull-membership-3","terms":[[30,1]]},{"point":4,"program_problem":"opt11-rank-one-offset","program":"hull-membership-4","terms":[[13,1]]},{"point":5,"program_problem":"opt11-rank-one-offset","program":"hull-membership-5","terms":[[29,1]]},{"point":6,"program_problem":"opt11-rank-one-offset","program":"hull-membership-6","terms":[[27,1]]},{"point":7,"program_problem":"opt11-rank-one-offset","program":"hull-membership-7","terms":[[31,1]]},{"point":8,"program_problem":"opt11-rank-one-offset","program":"hull-membership-8","terms":[[32,1]]},{"point":9,"program_problem":"opt11-rank-one-offset","program":"hull-membership-9","terms":[[18,1]]},{"point":10,"program_problem":"opt11-rank-one-offset","program":"hull-membership-10","terms":[[13,1]]},{"point":11,"program_problem":"opt11-rank-one-offset","program":"hull-membership-11","terms":[[23,1]]},{"point":12,"program_problem":"opt11-rank-one-offset","program":"hull-membership-12","terms":[[15,1]]},{"point":13,"program_problem":"opt11-rank-one-offset","program":"hull-membership-13","terms":[[31,1]]},{"point":14,"program_problem":"opt11-rank-one-offset","program":"hull-membership-14","terms":[[17,1]]},{"point":15,"program_problem":"opt11-rank-one-offset","program":"hull-membership-15","terms":[[30,1]]},{"point":16,"program_problem":"opt11-rank-one-offset","program":"hull-membership-16","terms":[[19,1]]},{"point":17,"program_problem":"opt11-rank-one-offset","program":"hull-membership-17","terms":[[32,1]]},{"point":18,"program_problem":"opt11-rank-one-offset","program":"hull-membership-18","terms":[[24,1]]},{"point":19,"program_problem":"opt11-rank-one-offset","program":"hull-membership-19","terms":[[28,1]]},{"point":20,"program_problem":"opt11-rank-one-offset","program":"hull-membership-20","terms":[[23,1]]},{"point":21,"program_problem":"opt11-rank-one-offset","program":"hull-membership-21","terms":[[30,1]]},{"point":22,"program_problem":"opt11-rank-one-offset","program":"hull-membership-22","terms":[[25,1]]},{"point":23,"program_problem":"opt11-rank-one-offset","program":"hull-membership-23","terms":[[26,1]]},{"point":24,"program_problem":"opt11-rank-one-offset","program":"hull-membership-24","terms":[[30,1]]},{"point":25,"program_problem":"opt11-rank-one-offset","program":"hull-membership-25","terms":[[28,1]]},{"point":26,"program_problem":"opt11-rank-one-offset","program":"hull-membership-26","terms":[[32,1]]},{"point":27,"program_problem":"opt11-rank-one-offset","program":"hull-membership-27","terms":[[30,1]]},{"point":28,"program_problem":"opt11-rank-one-offset","program":"hull-membership-28","terms":[[31,1]]},{"point":29,"program_problem":"opt11-rank-one-offset","program":"hull-membership-29","terms":[[32,1]]},{"point":31,"program_problem":"opt11-rank-one-offset","program":"hull-membership-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":33,"attempts":[[0,"feasible"],[1,"feasible"],[2,"feasible"],[3,"feasible"],[4,"feasible"],[5,"feasible"],[6,"feasible"],[7,"feasible"],[8,"feasible"],[9,"feasible"],[10,"feasible"],[11,"feasible"],[12,"feasible"],[13,"feasible"],[14,"feasible"],[15,"feasible"],[16,"feasible"],[17,"feasible"],[18,"feasible"],[19,"feasible"],[20,"feasible"],[21,"feasible"],[22,"feasible"],[23,"feasible"],[24,"feasible"],[25,"feasible"],[26,"feasible"],[27,"feasible"],[28,"feasible"],[29,"feasible"],[30,"infeasible"],[31,"feasible"],[32,"infeasible"]],"recursive":null}
{"kind":"pair","purpose":"measurement","fixture":"rank-one-offset","round":1,"warmup":false,"recursive_first":true}
{"kind":"call","purpose":"measurement","fixture":"rank-one-offset","round":2,"warmup":false,"problem":"opt11-rank-one-offset","method":"baseline","elapsed_ns":2667200,"points":[[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26]],"status":"complete","retained":[30,32],"support":[8,8,26,22,34,30],"removed":[{"point":0,"program_problem":"opt11-rank-one-offset","program":"hull-membership-0","terms":[[15,1]]},{"point":1,"program_problem":"opt11-rank-one-offset","program":"hull-membership-1","terms":[[19,1]]},{"point":2,"program_problem":"opt11-rank-one-offset","program":"hull-membership-2","terms":[[32,1]]},{"point":3,"program_problem":"opt11-rank-one-offset","program":"hull-membership-3","terms":[[30,1]]},{"point":4,"program_problem":"opt11-rank-one-offset","program":"hull-membership-4","terms":[[13,1]]},{"point":5,"program_problem":"opt11-rank-one-offset","program":"hull-membership-5","terms":[[29,1]]},{"point":6,"program_problem":"opt11-rank-one-offset","program":"hull-membership-6","terms":[[27,1]]},{"point":7,"program_problem":"opt11-rank-one-offset","program":"hull-membership-7","terms":[[31,1]]},{"point":8,"program_problem":"opt11-rank-one-offset","program":"hull-membership-8","terms":[[32,1]]},{"point":9,"program_problem":"opt11-rank-one-offset","program":"hull-membership-9","terms":[[18,1]]},{"point":10,"program_problem":"opt11-rank-one-offset","program":"hull-membership-10","terms":[[13,1]]},{"point":11,"program_problem":"opt11-rank-one-offset","program":"hull-membership-11","terms":[[23,1]]},{"point":12,"program_problem":"opt11-rank-one-offset","program":"hull-membership-12","terms":[[15,1]]},{"point":13,"program_problem":"opt11-rank-one-offset","program":"hull-membership-13","terms":[[31,1]]},{"point":14,"program_problem":"opt11-rank-one-offset","program":"hull-membership-14","terms":[[17,1]]},{"point":15,"program_problem":"opt11-rank-one-offset","program":"hull-membership-15","terms":[[30,1]]},{"point":16,"program_problem":"opt11-rank-one-offset","program":"hull-membership-16","terms":[[19,1]]},{"point":17,"program_problem":"opt11-rank-one-offset","program":"hull-membership-17","terms":[[32,1]]},{"point":18,"program_problem":"opt11-rank-one-offset","program":"hull-membership-18","terms":[[24,1]]},{"point":19,"program_problem":"opt11-rank-one-offset","program":"hull-membership-19","terms":[[28,1]]},{"point":20,"program_problem":"opt11-rank-one-offset","program":"hull-membership-20","terms":[[23,1]]},{"point":21,"program_problem":"opt11-rank-one-offset","program":"hull-membership-21","terms":[[30,1]]},{"point":22,"program_problem":"opt11-rank-one-offset","program":"hull-membership-22","terms":[[25,1]]},{"point":23,"program_problem":"opt11-rank-one-offset","program":"hull-membership-23","terms":[[26,1]]},{"point":24,"program_problem":"opt11-rank-one-offset","program":"hull-membership-24","terms":[[30,1]]},{"point":25,"program_problem":"opt11-rank-one-offset","program":"hull-membership-25","terms":[[28,1]]},{"point":26,"program_problem":"opt11-rank-one-offset","program":"hull-membership-26","terms":[[32,1]]},{"point":27,"program_problem":"opt11-rank-one-offset","program":"hull-membership-27","terms":[[30,1]]},{"point":28,"program_problem":"opt11-rank-one-offset","program":"hull-membership-28","terms":[[31,1]]},{"point":29,"program_problem":"opt11-rank-one-offset","program":"hull-membership-29","terms":[[32,1]]},{"point":31,"program_problem":"opt11-rank-one-offset","program":"hull-membership-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":33,"attempts":[[0,"feasible"],[1,"feasible"],[2,"feasible"],[3,"feasible"],[4,"feasible"],[5,"feasible"],[6,"feasible"],[7,"feasible"],[8,"feasible"],[9,"feasible"],[10,"feasible"],[11,"feasible"],[12,"feasible"],[13,"feasible"],[14,"feasible"],[15,"feasible"],[16,"feasible"],[17,"feasible"],[18,"feasible"],[19,"feasible"],[20,"feasible"],[21,"feasible"],[22,"feasible"],[23,"feasible"],[24,"feasible"],[25,"feasible"],[26,"feasible"],[27,"feasible"],[28,"feasible"],[29,"feasible"],[30,"infeasible"],[31,"feasible"],[32,"infeasible"]],"recursive":null}
{"kind":"call","purpose":"measurement","fixture":"rank-one-offset","round":2,"warmup":false,"problem":"opt11-rank-one-offset","method":"recursive","elapsed_ns":3077800,"points":[[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26]],"status":"complete","retained":[30,32],"support":[8,8,26,22,34,30],"removed":[{"point":0,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-0","terms":[[6,1]]},{"point":3,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-3","terms":[[15,1]]},{"point":6,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-6","terms":[[18,1]]},{"point":9,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-9","terms":[[18,1]]},{"point":12,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-12","terms":[[21,1]]},{"point":15,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-15","terms":[[24,1]]},{"point":18,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-18","terms":[[21,1]]},{"point":21,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-21","terms":[[27,1]]},{"point":24,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-24","terms":[[27,1]]},{"point":27,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-27","terms":[[30,1]]},{"point":1,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-1","terms":[[4,1]]},{"point":4,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-4","terms":[[13,1]]},{"point":7,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-7","terms":[[13,1]]},{"point":10,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-10","terms":[[13,1]]},{"point":16,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-16","terms":[[19,1]]},{"point":19,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-19","terms":[[31,1]]},{"point":22,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-22","terms":[[28,1]]},{"point":25,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-25","terms":[[28,1]]},{"point":28,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-28","terms":[[31,1]]},{"point":2,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-2","terms":[[5,1]]},{"point":8,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-8","terms":[[26,1]]},{"point":11,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-11","terms":[[32,1]]},{"point":14,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-14","terms":[[32,1]]},{"point":17,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-17","terms":[[23,1]]},{"point":20,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-20","terms":[[23,1]]},{"point":23,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-23","terms":[[26,1]]},{"point":26,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-26","terms":[[32,1]]},{"point":29,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-29","terms":[[32,1]]},{"point":5,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r1m-5","terms":[[32,1]]},{"point":13,"program_problem":"opt11-rank-one-offset","program":"hull-membership-rm-13","terms":[[31,1]]},{"point":31,"program_problem":"opt11-rank-one-offset","program":"hull-membership-rm-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":39,"attempts":[[0,"feasible"],[3,"feasible"],[6,"feasible"],[9,"feasible"],[12,"feasible"],[15,"feasible"],[18,"feasible"],[21,"feasible"],[24,"feasible"],[27,"feasible"],[30,"infeasible"],[1,"feasible"],[4,"feasible"],[7,"feasible"],[10,"feasible"],[13,"infeasible"],[16,"feasible"],[19,"feasible"],[22,"feasible"],[25,"feasible"],[28,"feasible"],[31,"infeasible"],[2,"feasible"],[5,"infeasible"],[8,"feasible"],[11,"feasible"],[14,"feasible"],[17,"feasible"],[20,"feasible"],[23,"feasible"],[26,"feasible"],[29,"feasible"],[31,"infeasible"],[5,"feasible"],[32,"infeasible"],[30,"infeasible"],[13,"feasible"],[31,"feasible"],[32,"infeasible"]],"recursive":{"leaf_nodes":3,"merge_nodes":2,"leaf_lp_calls":32,"merge_lp_calls":7,"peak_merge_points":4,"concurrent_child_subtrees":2,"parallel_overhead_microseconds":372}}
{"kind":"pair","purpose":"measurement","fixture":"rank-one-offset","round":2,"warmup":false,"recursive_first":false}
{"kind":"call","purpose":"measurement","fixture":"rank-one-offset","round":3,"warmup":false,"problem":"opt11-rank-one-offset","method":"recursive","elapsed_ns":3228100,"points":[[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26]],"status":"complete","retained":[30,32],"support":[8,8,26,22,34,30],"removed":[{"point":0,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-0","terms":[[6,1]]},{"point":3,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-3","terms":[[15,1]]},{"point":6,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-6","terms":[[18,1]]},{"point":9,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-9","terms":[[18,1]]},{"point":12,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-12","terms":[[21,1]]},{"point":15,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-15","terms":[[24,1]]},{"point":18,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-18","terms":[[21,1]]},{"point":21,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-21","terms":[[27,1]]},{"point":24,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-24","terms":[[27,1]]},{"point":27,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-27","terms":[[30,1]]},{"point":1,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-1","terms":[[4,1]]},{"point":4,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-4","terms":[[13,1]]},{"point":7,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-7","terms":[[13,1]]},{"point":10,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-10","terms":[[13,1]]},{"point":16,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-16","terms":[[19,1]]},{"point":19,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-19","terms":[[31,1]]},{"point":22,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-22","terms":[[28,1]]},{"point":25,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-25","terms":[[28,1]]},{"point":28,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-28","terms":[[31,1]]},{"point":2,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-2","terms":[[5,1]]},{"point":8,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-8","terms":[[26,1]]},{"point":11,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-11","terms":[[32,1]]},{"point":14,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-14","terms":[[32,1]]},{"point":17,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-17","terms":[[23,1]]},{"point":20,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-20","terms":[[23,1]]},{"point":23,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-23","terms":[[26,1]]},{"point":26,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-26","terms":[[32,1]]},{"point":29,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-29","terms":[[32,1]]},{"point":5,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r1m-5","terms":[[32,1]]},{"point":13,"program_problem":"opt11-rank-one-offset","program":"hull-membership-rm-13","terms":[[31,1]]},{"point":31,"program_problem":"opt11-rank-one-offset","program":"hull-membership-rm-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":39,"attempts":[[0,"feasible"],[3,"feasible"],[6,"feasible"],[9,"feasible"],[12,"feasible"],[15,"feasible"],[18,"feasible"],[21,"feasible"],[24,"feasible"],[27,"feasible"],[30,"infeasible"],[1,"feasible"],[4,"feasible"],[7,"feasible"],[10,"feasible"],[13,"infeasible"],[16,"feasible"],[19,"feasible"],[22,"feasible"],[25,"feasible"],[28,"feasible"],[31,"infeasible"],[2,"feasible"],[5,"infeasible"],[8,"feasible"],[11,"feasible"],[14,"feasible"],[17,"feasible"],[20,"feasible"],[23,"feasible"],[26,"feasible"],[29,"feasible"],[31,"infeasible"],[5,"feasible"],[32,"infeasible"],[30,"infeasible"],[13,"feasible"],[31,"feasible"],[32,"infeasible"]],"recursive":{"leaf_nodes":3,"merge_nodes":2,"leaf_lp_calls":32,"merge_lp_calls":7,"peak_merge_points":4,"concurrent_child_subtrees":2,"parallel_overhead_microseconds":407}}
{"kind":"call","purpose":"measurement","fixture":"rank-one-offset","round":3,"warmup":false,"problem":"opt11-rank-one-offset","method":"baseline","elapsed_ns":2747500,"points":[[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26]],"status":"complete","retained":[30,32],"support":[8,8,26,22,34,30],"removed":[{"point":0,"program_problem":"opt11-rank-one-offset","program":"hull-membership-0","terms":[[15,1]]},{"point":1,"program_problem":"opt11-rank-one-offset","program":"hull-membership-1","terms":[[19,1]]},{"point":2,"program_problem":"opt11-rank-one-offset","program":"hull-membership-2","terms":[[32,1]]},{"point":3,"program_problem":"opt11-rank-one-offset","program":"hull-membership-3","terms":[[30,1]]},{"point":4,"program_problem":"opt11-rank-one-offset","program":"hull-membership-4","terms":[[13,1]]},{"point":5,"program_problem":"opt11-rank-one-offset","program":"hull-membership-5","terms":[[29,1]]},{"point":6,"program_problem":"opt11-rank-one-offset","program":"hull-membership-6","terms":[[27,1]]},{"point":7,"program_problem":"opt11-rank-one-offset","program":"hull-membership-7","terms":[[31,1]]},{"point":8,"program_problem":"opt11-rank-one-offset","program":"hull-membership-8","terms":[[32,1]]},{"point":9,"program_problem":"opt11-rank-one-offset","program":"hull-membership-9","terms":[[18,1]]},{"point":10,"program_problem":"opt11-rank-one-offset","program":"hull-membership-10","terms":[[13,1]]},{"point":11,"program_problem":"opt11-rank-one-offset","program":"hull-membership-11","terms":[[23,1]]},{"point":12,"program_problem":"opt11-rank-one-offset","program":"hull-membership-12","terms":[[15,1]]},{"point":13,"program_problem":"opt11-rank-one-offset","program":"hull-membership-13","terms":[[31,1]]},{"point":14,"program_problem":"opt11-rank-one-offset","program":"hull-membership-14","terms":[[17,1]]},{"point":15,"program_problem":"opt11-rank-one-offset","program":"hull-membership-15","terms":[[30,1]]},{"point":16,"program_problem":"opt11-rank-one-offset","program":"hull-membership-16","terms":[[19,1]]},{"point":17,"program_problem":"opt11-rank-one-offset","program":"hull-membership-17","terms":[[32,1]]},{"point":18,"program_problem":"opt11-rank-one-offset","program":"hull-membership-18","terms":[[24,1]]},{"point":19,"program_problem":"opt11-rank-one-offset","program":"hull-membership-19","terms":[[28,1]]},{"point":20,"program_problem":"opt11-rank-one-offset","program":"hull-membership-20","terms":[[23,1]]},{"point":21,"program_problem":"opt11-rank-one-offset","program":"hull-membership-21","terms":[[30,1]]},{"point":22,"program_problem":"opt11-rank-one-offset","program":"hull-membership-22","terms":[[25,1]]},{"point":23,"program_problem":"opt11-rank-one-offset","program":"hull-membership-23","terms":[[26,1]]},{"point":24,"program_problem":"opt11-rank-one-offset","program":"hull-membership-24","terms":[[30,1]]},{"point":25,"program_problem":"opt11-rank-one-offset","program":"hull-membership-25","terms":[[28,1]]},{"point":26,"program_problem":"opt11-rank-one-offset","program":"hull-membership-26","terms":[[32,1]]},{"point":27,"program_problem":"opt11-rank-one-offset","program":"hull-membership-27","terms":[[30,1]]},{"point":28,"program_problem":"opt11-rank-one-offset","program":"hull-membership-28","terms":[[31,1]]},{"point":29,"program_problem":"opt11-rank-one-offset","program":"hull-membership-29","terms":[[32,1]]},{"point":31,"program_problem":"opt11-rank-one-offset","program":"hull-membership-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":33,"attempts":[[0,"feasible"],[1,"feasible"],[2,"feasible"],[3,"feasible"],[4,"feasible"],[5,"feasible"],[6,"feasible"],[7,"feasible"],[8,"feasible"],[9,"feasible"],[10,"feasible"],[11,"feasible"],[12,"feasible"],[13,"feasible"],[14,"feasible"],[15,"feasible"],[16,"feasible"],[17,"feasible"],[18,"feasible"],[19,"feasible"],[20,"feasible"],[21,"feasible"],[22,"feasible"],[23,"feasible"],[24,"feasible"],[25,"feasible"],[26,"feasible"],[27,"feasible"],[28,"feasible"],[29,"feasible"],[30,"infeasible"],[31,"feasible"],[32,"infeasible"]],"recursive":null}
{"kind":"pair","purpose":"measurement","fixture":"rank-one-offset","round":3,"warmup":false,"recursive_first":true}
{"kind":"call","purpose":"measurement","fixture":"rank-one-offset","round":4,"warmup":false,"problem":"opt11-rank-one-offset","method":"baseline","elapsed_ns":2593400,"points":[[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26]],"status":"complete","retained":[30,32],"support":[8,8,26,22,34,30],"removed":[{"point":0,"program_problem":"opt11-rank-one-offset","program":"hull-membership-0","terms":[[15,1]]},{"point":1,"program_problem":"opt11-rank-one-offset","program":"hull-membership-1","terms":[[19,1]]},{"point":2,"program_problem":"opt11-rank-one-offset","program":"hull-membership-2","terms":[[32,1]]},{"point":3,"program_problem":"opt11-rank-one-offset","program":"hull-membership-3","terms":[[30,1]]},{"point":4,"program_problem":"opt11-rank-one-offset","program":"hull-membership-4","terms":[[13,1]]},{"point":5,"program_problem":"opt11-rank-one-offset","program":"hull-membership-5","terms":[[29,1]]},{"point":6,"program_problem":"opt11-rank-one-offset","program":"hull-membership-6","terms":[[27,1]]},{"point":7,"program_problem":"opt11-rank-one-offset","program":"hull-membership-7","terms":[[31,1]]},{"point":8,"program_problem":"opt11-rank-one-offset","program":"hull-membership-8","terms":[[32,1]]},{"point":9,"program_problem":"opt11-rank-one-offset","program":"hull-membership-9","terms":[[18,1]]},{"point":10,"program_problem":"opt11-rank-one-offset","program":"hull-membership-10","terms":[[13,1]]},{"point":11,"program_problem":"opt11-rank-one-offset","program":"hull-membership-11","terms":[[23,1]]},{"point":12,"program_problem":"opt11-rank-one-offset","program":"hull-membership-12","terms":[[15,1]]},{"point":13,"program_problem":"opt11-rank-one-offset","program":"hull-membership-13","terms":[[31,1]]},{"point":14,"program_problem":"opt11-rank-one-offset","program":"hull-membership-14","terms":[[17,1]]},{"point":15,"program_problem":"opt11-rank-one-offset","program":"hull-membership-15","terms":[[30,1]]},{"point":16,"program_problem":"opt11-rank-one-offset","program":"hull-membership-16","terms":[[19,1]]},{"point":17,"program_problem":"opt11-rank-one-offset","program":"hull-membership-17","terms":[[32,1]]},{"point":18,"program_problem":"opt11-rank-one-offset","program":"hull-membership-18","terms":[[24,1]]},{"point":19,"program_problem":"opt11-rank-one-offset","program":"hull-membership-19","terms":[[28,1]]},{"point":20,"program_problem":"opt11-rank-one-offset","program":"hull-membership-20","terms":[[23,1]]},{"point":21,"program_problem":"opt11-rank-one-offset","program":"hull-membership-21","terms":[[30,1]]},{"point":22,"program_problem":"opt11-rank-one-offset","program":"hull-membership-22","terms":[[25,1]]},{"point":23,"program_problem":"opt11-rank-one-offset","program":"hull-membership-23","terms":[[26,1]]},{"point":24,"program_problem":"opt11-rank-one-offset","program":"hull-membership-24","terms":[[30,1]]},{"point":25,"program_problem":"opt11-rank-one-offset","program":"hull-membership-25","terms":[[28,1]]},{"point":26,"program_problem":"opt11-rank-one-offset","program":"hull-membership-26","terms":[[32,1]]},{"point":27,"program_problem":"opt11-rank-one-offset","program":"hull-membership-27","terms":[[30,1]]},{"point":28,"program_problem":"opt11-rank-one-offset","program":"hull-membership-28","terms":[[31,1]]},{"point":29,"program_problem":"opt11-rank-one-offset","program":"hull-membership-29","terms":[[32,1]]},{"point":31,"program_problem":"opt11-rank-one-offset","program":"hull-membership-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":33,"attempts":[[0,"feasible"],[1,"feasible"],[2,"feasible"],[3,"feasible"],[4,"feasible"],[5,"feasible"],[6,"feasible"],[7,"feasible"],[8,"feasible"],[9,"feasible"],[10,"feasible"],[11,"feasible"],[12,"feasible"],[13,"feasible"],[14,"feasible"],[15,"feasible"],[16,"feasible"],[17,"feasible"],[18,"feasible"],[19,"feasible"],[20,"feasible"],[21,"feasible"],[22,"feasible"],[23,"feasible"],[24,"feasible"],[25,"feasible"],[26,"feasible"],[27,"feasible"],[28,"feasible"],[29,"feasible"],[30,"infeasible"],[31,"feasible"],[32,"infeasible"]],"recursive":null}
{"kind":"call","purpose":"measurement","fixture":"rank-one-offset","round":4,"warmup":false,"problem":"opt11-rank-one-offset","method":"recursive","elapsed_ns":3617200,"points":[[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26]],"status":"complete","retained":[30,32],"support":[8,8,26,22,34,30],"removed":[{"point":0,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-0","terms":[[6,1]]},{"point":3,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-3","terms":[[15,1]]},{"point":6,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-6","terms":[[18,1]]},{"point":9,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-9","terms":[[18,1]]},{"point":12,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-12","terms":[[21,1]]},{"point":15,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-15","terms":[[24,1]]},{"point":18,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-18","terms":[[21,1]]},{"point":21,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-21","terms":[[27,1]]},{"point":24,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-24","terms":[[27,1]]},{"point":27,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-27","terms":[[30,1]]},{"point":1,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-1","terms":[[4,1]]},{"point":4,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-4","terms":[[13,1]]},{"point":7,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-7","terms":[[13,1]]},{"point":10,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-10","terms":[[13,1]]},{"point":16,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-16","terms":[[19,1]]},{"point":19,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-19","terms":[[31,1]]},{"point":22,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-22","terms":[[28,1]]},{"point":25,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-25","terms":[[28,1]]},{"point":28,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-28","terms":[[31,1]]},{"point":2,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-2","terms":[[5,1]]},{"point":8,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-8","terms":[[26,1]]},{"point":11,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-11","terms":[[32,1]]},{"point":14,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-14","terms":[[32,1]]},{"point":17,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-17","terms":[[23,1]]},{"point":20,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-20","terms":[[23,1]]},{"point":23,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-23","terms":[[26,1]]},{"point":26,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-26","terms":[[32,1]]},{"point":29,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-29","terms":[[32,1]]},{"point":5,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r1m-5","terms":[[32,1]]},{"point":13,"program_problem":"opt11-rank-one-offset","program":"hull-membership-rm-13","terms":[[31,1]]},{"point":31,"program_problem":"opt11-rank-one-offset","program":"hull-membership-rm-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":39,"attempts":[[0,"feasible"],[3,"feasible"],[6,"feasible"],[9,"feasible"],[12,"feasible"],[15,"feasible"],[18,"feasible"],[21,"feasible"],[24,"feasible"],[27,"feasible"],[30,"infeasible"],[1,"feasible"],[4,"feasible"],[7,"feasible"],[10,"feasible"],[13,"infeasible"],[16,"feasible"],[19,"feasible"],[22,"feasible"],[25,"feasible"],[28,"feasible"],[31,"infeasible"],[2,"feasible"],[5,"infeasible"],[8,"feasible"],[11,"feasible"],[14,"feasible"],[17,"feasible"],[20,"feasible"],[23,"feasible"],[26,"feasible"],[29,"feasible"],[31,"infeasible"],[5,"feasible"],[32,"infeasible"],[30,"infeasible"],[13,"feasible"],[31,"feasible"],[32,"infeasible"]],"recursive":{"leaf_nodes":3,"merge_nodes":2,"leaf_lp_calls":32,"merge_lp_calls":7,"peak_merge_points":4,"concurrent_child_subtrees":2,"parallel_overhead_microseconds":459}}
{"kind":"pair","purpose":"measurement","fixture":"rank-one-offset","round":4,"warmup":false,"recursive_first":false}
{"kind":"call","purpose":"measurement","fixture":"rank-one-offset","round":5,"warmup":false,"problem":"opt11-rank-one-offset","method":"recursive","elapsed_ns":3356600,"points":[[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26]],"status":"complete","retained":[30,32],"support":[8,8,26,22,34,30],"removed":[{"point":0,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-0","terms":[[6,1]]},{"point":3,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-3","terms":[[15,1]]},{"point":6,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-6","terms":[[18,1]]},{"point":9,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-9","terms":[[18,1]]},{"point":12,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-12","terms":[[21,1]]},{"point":15,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-15","terms":[[24,1]]},{"point":18,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-18","terms":[[21,1]]},{"point":21,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-21","terms":[[27,1]]},{"point":24,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-24","terms":[[27,1]]},{"point":27,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-27","terms":[[30,1]]},{"point":1,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-1","terms":[[4,1]]},{"point":4,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-4","terms":[[13,1]]},{"point":7,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-7","terms":[[13,1]]},{"point":10,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-10","terms":[[13,1]]},{"point":16,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-16","terms":[[19,1]]},{"point":19,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-19","terms":[[31,1]]},{"point":22,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-22","terms":[[28,1]]},{"point":25,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-25","terms":[[28,1]]},{"point":28,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-28","terms":[[31,1]]},{"point":2,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-2","terms":[[5,1]]},{"point":8,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-8","terms":[[26,1]]},{"point":11,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-11","terms":[[32,1]]},{"point":14,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-14","terms":[[32,1]]},{"point":17,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-17","terms":[[23,1]]},{"point":20,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-20","terms":[[23,1]]},{"point":23,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-23","terms":[[26,1]]},{"point":26,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-26","terms":[[32,1]]},{"point":29,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-29","terms":[[32,1]]},{"point":5,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r1m-5","terms":[[32,1]]},{"point":13,"program_problem":"opt11-rank-one-offset","program":"hull-membership-rm-13","terms":[[31,1]]},{"point":31,"program_problem":"opt11-rank-one-offset","program":"hull-membership-rm-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":39,"attempts":[[0,"feasible"],[3,"feasible"],[6,"feasible"],[9,"feasible"],[12,"feasible"],[15,"feasible"],[18,"feasible"],[21,"feasible"],[24,"feasible"],[27,"feasible"],[30,"infeasible"],[1,"feasible"],[4,"feasible"],[7,"feasible"],[10,"feasible"],[13,"infeasible"],[16,"feasible"],[19,"feasible"],[22,"feasible"],[25,"feasible"],[28,"feasible"],[31,"infeasible"],[2,"feasible"],[5,"infeasible"],[8,"feasible"],[11,"feasible"],[14,"feasible"],[17,"feasible"],[20,"feasible"],[23,"feasible"],[26,"feasible"],[29,"feasible"],[31,"infeasible"],[5,"feasible"],[32,"infeasible"],[30,"infeasible"],[13,"feasible"],[31,"feasible"],[32,"infeasible"]],"recursive":{"leaf_nodes":3,"merge_nodes":2,"leaf_lp_calls":32,"merge_lp_calls":7,"peak_merge_points":4,"concurrent_child_subtrees":2,"parallel_overhead_microseconds":428}}
{"kind":"call","purpose":"measurement","fixture":"rank-one-offset","round":5,"warmup":false,"problem":"opt11-rank-one-offset","method":"baseline","elapsed_ns":2844400,"points":[[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26]],"status":"complete","retained":[30,32],"support":[8,8,26,22,34,30],"removed":[{"point":0,"program_problem":"opt11-rank-one-offset","program":"hull-membership-0","terms":[[15,1]]},{"point":1,"program_problem":"opt11-rank-one-offset","program":"hull-membership-1","terms":[[19,1]]},{"point":2,"program_problem":"opt11-rank-one-offset","program":"hull-membership-2","terms":[[32,1]]},{"point":3,"program_problem":"opt11-rank-one-offset","program":"hull-membership-3","terms":[[30,1]]},{"point":4,"program_problem":"opt11-rank-one-offset","program":"hull-membership-4","terms":[[13,1]]},{"point":5,"program_problem":"opt11-rank-one-offset","program":"hull-membership-5","terms":[[29,1]]},{"point":6,"program_problem":"opt11-rank-one-offset","program":"hull-membership-6","terms":[[27,1]]},{"point":7,"program_problem":"opt11-rank-one-offset","program":"hull-membership-7","terms":[[31,1]]},{"point":8,"program_problem":"opt11-rank-one-offset","program":"hull-membership-8","terms":[[32,1]]},{"point":9,"program_problem":"opt11-rank-one-offset","program":"hull-membership-9","terms":[[18,1]]},{"point":10,"program_problem":"opt11-rank-one-offset","program":"hull-membership-10","terms":[[13,1]]},{"point":11,"program_problem":"opt11-rank-one-offset","program":"hull-membership-11","terms":[[23,1]]},{"point":12,"program_problem":"opt11-rank-one-offset","program":"hull-membership-12","terms":[[15,1]]},{"point":13,"program_problem":"opt11-rank-one-offset","program":"hull-membership-13","terms":[[31,1]]},{"point":14,"program_problem":"opt11-rank-one-offset","program":"hull-membership-14","terms":[[17,1]]},{"point":15,"program_problem":"opt11-rank-one-offset","program":"hull-membership-15","terms":[[30,1]]},{"point":16,"program_problem":"opt11-rank-one-offset","program":"hull-membership-16","terms":[[19,1]]},{"point":17,"program_problem":"opt11-rank-one-offset","program":"hull-membership-17","terms":[[32,1]]},{"point":18,"program_problem":"opt11-rank-one-offset","program":"hull-membership-18","terms":[[24,1]]},{"point":19,"program_problem":"opt11-rank-one-offset","program":"hull-membership-19","terms":[[28,1]]},{"point":20,"program_problem":"opt11-rank-one-offset","program":"hull-membership-20","terms":[[23,1]]},{"point":21,"program_problem":"opt11-rank-one-offset","program":"hull-membership-21","terms":[[30,1]]},{"point":22,"program_problem":"opt11-rank-one-offset","program":"hull-membership-22","terms":[[25,1]]},{"point":23,"program_problem":"opt11-rank-one-offset","program":"hull-membership-23","terms":[[26,1]]},{"point":24,"program_problem":"opt11-rank-one-offset","program":"hull-membership-24","terms":[[30,1]]},{"point":25,"program_problem":"opt11-rank-one-offset","program":"hull-membership-25","terms":[[28,1]]},{"point":26,"program_problem":"opt11-rank-one-offset","program":"hull-membership-26","terms":[[32,1]]},{"point":27,"program_problem":"opt11-rank-one-offset","program":"hull-membership-27","terms":[[30,1]]},{"point":28,"program_problem":"opt11-rank-one-offset","program":"hull-membership-28","terms":[[31,1]]},{"point":29,"program_problem":"opt11-rank-one-offset","program":"hull-membership-29","terms":[[32,1]]},{"point":31,"program_problem":"opt11-rank-one-offset","program":"hull-membership-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":33,"attempts":[[0,"feasible"],[1,"feasible"],[2,"feasible"],[3,"feasible"],[4,"feasible"],[5,"feasible"],[6,"feasible"],[7,"feasible"],[8,"feasible"],[9,"feasible"],[10,"feasible"],[11,"feasible"],[12,"feasible"],[13,"feasible"],[14,"feasible"],[15,"feasible"],[16,"feasible"],[17,"feasible"],[18,"feasible"],[19,"feasible"],[20,"feasible"],[21,"feasible"],[22,"feasible"],[23,"feasible"],[24,"feasible"],[25,"feasible"],[26,"feasible"],[27,"feasible"],[28,"feasible"],[29,"feasible"],[30,"infeasible"],[31,"feasible"],[32,"infeasible"]],"recursive":null}
{"kind":"pair","purpose":"measurement","fixture":"rank-one-offset","round":5,"warmup":false,"recursive_first":true}
{"kind":"call","purpose":"measurement","fixture":"rank-one-offset","round":6,"warmup":false,"problem":"opt11-rank-one-offset","method":"baseline","elapsed_ns":2639900,"points":[[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26]],"status":"complete","retained":[30,32],"support":[8,8,26,22,34,30],"removed":[{"point":0,"program_problem":"opt11-rank-one-offset","program":"hull-membership-0","terms":[[15,1]]},{"point":1,"program_problem":"opt11-rank-one-offset","program":"hull-membership-1","terms":[[19,1]]},{"point":2,"program_problem":"opt11-rank-one-offset","program":"hull-membership-2","terms":[[32,1]]},{"point":3,"program_problem":"opt11-rank-one-offset","program":"hull-membership-3","terms":[[30,1]]},{"point":4,"program_problem":"opt11-rank-one-offset","program":"hull-membership-4","terms":[[13,1]]},{"point":5,"program_problem":"opt11-rank-one-offset","program":"hull-membership-5","terms":[[29,1]]},{"point":6,"program_problem":"opt11-rank-one-offset","program":"hull-membership-6","terms":[[27,1]]},{"point":7,"program_problem":"opt11-rank-one-offset","program":"hull-membership-7","terms":[[31,1]]},{"point":8,"program_problem":"opt11-rank-one-offset","program":"hull-membership-8","terms":[[32,1]]},{"point":9,"program_problem":"opt11-rank-one-offset","program":"hull-membership-9","terms":[[18,1]]},{"point":10,"program_problem":"opt11-rank-one-offset","program":"hull-membership-10","terms":[[13,1]]},{"point":11,"program_problem":"opt11-rank-one-offset","program":"hull-membership-11","terms":[[23,1]]},{"point":12,"program_problem":"opt11-rank-one-offset","program":"hull-membership-12","terms":[[15,1]]},{"point":13,"program_problem":"opt11-rank-one-offset","program":"hull-membership-13","terms":[[31,1]]},{"point":14,"program_problem":"opt11-rank-one-offset","program":"hull-membership-14","terms":[[17,1]]},{"point":15,"program_problem":"opt11-rank-one-offset","program":"hull-membership-15","terms":[[30,1]]},{"point":16,"program_problem":"opt11-rank-one-offset","program":"hull-membership-16","terms":[[19,1]]},{"point":17,"program_problem":"opt11-rank-one-offset","program":"hull-membership-17","terms":[[32,1]]},{"point":18,"program_problem":"opt11-rank-one-offset","program":"hull-membership-18","terms":[[24,1]]},{"point":19,"program_problem":"opt11-rank-one-offset","program":"hull-membership-19","terms":[[28,1]]},{"point":20,"program_problem":"opt11-rank-one-offset","program":"hull-membership-20","terms":[[23,1]]},{"point":21,"program_problem":"opt11-rank-one-offset","program":"hull-membership-21","terms":[[30,1]]},{"point":22,"program_problem":"opt11-rank-one-offset","program":"hull-membership-22","terms":[[25,1]]},{"point":23,"program_problem":"opt11-rank-one-offset","program":"hull-membership-23","terms":[[26,1]]},{"point":24,"program_problem":"opt11-rank-one-offset","program":"hull-membership-24","terms":[[30,1]]},{"point":25,"program_problem":"opt11-rank-one-offset","program":"hull-membership-25","terms":[[28,1]]},{"point":26,"program_problem":"opt11-rank-one-offset","program":"hull-membership-26","terms":[[32,1]]},{"point":27,"program_problem":"opt11-rank-one-offset","program":"hull-membership-27","terms":[[30,1]]},{"point":28,"program_problem":"opt11-rank-one-offset","program":"hull-membership-28","terms":[[31,1]]},{"point":29,"program_problem":"opt11-rank-one-offset","program":"hull-membership-29","terms":[[32,1]]},{"point":31,"program_problem":"opt11-rank-one-offset","program":"hull-membership-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":33,"attempts":[[0,"feasible"],[1,"feasible"],[2,"feasible"],[3,"feasible"],[4,"feasible"],[5,"feasible"],[6,"feasible"],[7,"feasible"],[8,"feasible"],[9,"feasible"],[10,"feasible"],[11,"feasible"],[12,"feasible"],[13,"feasible"],[14,"feasible"],[15,"feasible"],[16,"feasible"],[17,"feasible"],[18,"feasible"],[19,"feasible"],[20,"feasible"],[21,"feasible"],[22,"feasible"],[23,"feasible"],[24,"feasible"],[25,"feasible"],[26,"feasible"],[27,"feasible"],[28,"feasible"],[29,"feasible"],[30,"infeasible"],[31,"feasible"],[32,"infeasible"]],"recursive":null}
{"kind":"call","purpose":"measurement","fixture":"rank-one-offset","round":6,"warmup":false,"problem":"opt11-rank-one-offset","method":"recursive","elapsed_ns":2439500,"points":[[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26],[-8,-22],[0,2],[8,26]],"status":"complete","retained":[30,32],"support":[8,8,26,22,34,30],"removed":[{"point":0,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-0","terms":[[6,1]]},{"point":3,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-3","terms":[[15,1]]},{"point":6,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-6","terms":[[18,1]]},{"point":9,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-9","terms":[[18,1]]},{"point":12,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-12","terms":[[21,1]]},{"point":15,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-15","terms":[[24,1]]},{"point":18,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-18","terms":[[21,1]]},{"point":21,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-21","terms":[[27,1]]},{"point":24,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-24","terms":[[27,1]]},{"point":27,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-27","terms":[[30,1]]},{"point":1,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-1","terms":[[4,1]]},{"point":4,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-4","terms":[[13,1]]},{"point":7,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-7","terms":[[13,1]]},{"point":10,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r0-10","terms":[[13,1]]},{"point":16,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-16","terms":[[19,1]]},{"point":19,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-19","terms":[[31,1]]},{"point":22,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-22","terms":[[28,1]]},{"point":25,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-25","terms":[[28,1]]},{"point":28,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-28","terms":[[31,1]]},{"point":2,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r10-2","terms":[[5,1]]},{"point":8,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-8","terms":[[26,1]]},{"point":11,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-11","terms":[[32,1]]},{"point":14,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-14","terms":[[32,1]]},{"point":17,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-17","terms":[[23,1]]},{"point":20,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-20","terms":[[23,1]]},{"point":23,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-23","terms":[[26,1]]},{"point":26,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-26","terms":[[32,1]]},{"point":29,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r11-29","terms":[[32,1]]},{"point":5,"program_problem":"opt11-rank-one-offset","program":"hull-membership-r1m-5","terms":[[32,1]]},{"point":13,"program_problem":"opt11-rank-one-offset","program":"hull-membership-rm-13","terms":[[31,1]]},{"point":31,"program_problem":"opt11-rank-one-offset","program":"hull-membership-rm-31","terms":[[30,0.5],[32,0.5]]}],"lp_calls":39,"attempts":[[0,"feasible"],[3,"feasible"],[6,"feasible"],[9,"feasible"],[12,"feasible"],[15,"feasible"],[18,"feasible"],[21,"feasible"],[24,"feasible"],[27,"feasible"],[30,"infeasible"],[1,"feasible"],[4,"feasible"],[7,"feasible"],[10,"feasible"],[13,"infeasible"],[16,"feasible"],[19,"feasible"],[22,"feasible"],[25,"feasible"],[28,"feasible"],[31,"infeasible"],[2,"feasible"],[5,"infeasible"],[8,"feasible"],[11,"feasible"],[14,"feasible"],[17,"feasible"],[20,"feasible"],[23,"feasible"],[26,"feasible"],[29,"feasible"],[31,"infeasible"],[5,"feasible"],[32,"infeasible"],[30,"infeasible"],[13,"feasible"],[31,"feasible"],[32,"infeasible"]],"recursive":{"leaf_nodes":3,"merge_nodes":2,"leaf_lp_calls":32,"merge_lp_calls":7,"peak_merge_points":4,"concurrent_child_subtrees":2,"parallel_overhead_microseconds":575}}
{"kind":"pair","purpose":"measurement","fixture":"rank-one-offset","round":6,"warmup":false,"recursive_first":false}