f | [Path 1]: | f | [Path 1]: |
n | 0: Start of execution: Beginning Search | n | 0: Start of execution: Beginning Search |
| 1: Searching: query | | 1: Searching: query |
| 2: Searching: minimum_upload_speed(1000, week, Candidate Variable_0) | | 2: Searching: minimum_upload_speed(Candidate Variable_0, Candidate Variable_1, Candidate Variable_2) |
| 3: Searching: data_volume(1000, gb) | | 3: Searching: data_volume(Candidate Variable_3, Candidate Variable_4) |
| 4: Searching: data_volume(1000, gb) | | 4: Found: data_volume(1000, gb) |
| 5: Searching: time_frame(2, week) | | 5: Searching: time_frame(Candidate Variable_5, Candidate Variable_6) |
| 6: Searching: time_frame(2, week) | | 6: Found: time_frame(2, week) |
| | | 7: Searching: gb_to_mb(Candidate Variable_7, Candidate Variable_8) |
| | | 8: Found: gb_to_mb(1, 1000) |
| | | 9: Searching: conversion_factor(gb, Candidate Variable_9, 1, Candidate Variable_10) |
| 7: Searching: conversion_factor(gb, week, _, 1) | | 10: Found: conversion_factor(gb, week, 1, 1) |
| 8: Searching: conversion_factor(gb, week, _, 1) | | 11: Searching: conversion_factor(week, week, 2, Candidate Variable_11) |
| 9: Searching: conversion_to_minutes(1, Candidate Variable_1, Candidate Variable_2, Candidate Variable_3) | | 12: Fail: conversion_factor(week, week, 2, Candidate Variable_11) | {'Result': 'Search Failed'} |
| 10: Searching: days_to_hours(7, Candidate Variable_4) | | |
| 11: Searching: days_to_hours(7, 24) | | |
| 12: Searching: hours_to_minutes(24, 60) | | |
| 13: Searching: hours_to_minutes(24, 60) | | |
| 14: Searching: 1000000000 = 1008000000 | | |
| 15: Fail: 1000000000 = 1008000000 | {'Result': 'Search Failed'} | | |
| | | |
n | Looking for other paths: Redo: conversion_factor(gb, week, _, 1) | n | Looking for other paths: Redo: conversion_factor(gb, Candidate Variable_9, 1, Candidate Variable_10) |
| | | |
| | | |
| [Path 2]: | | [Path 2]: |
n | 16: Searching: conversion_factor(gb, day, _, 7) | n | 13: Found: conversion_factor(gb, day, 1, 7) |
| 17: Searching: conversion_factor(gb, day, _, 7) | | 14: Searching: conversion_factor(week, week, 2, Candidate Variable_12) |
| 18: Searching: conversion_to_minutes(7, Candidate Variable_5, Candidate Variable_6, Candidate Variable_7) | | 15: Fail: conversion_factor(week, week, 2, Candidate Variable_12) | {'Result': 'Search Failed'} |
| 19: Searching: days_to_hours(7, Candidate Variable_8) | | |
| 20: Searching: days_to_hours(7, 24) | | |
| 21: Searching: hours_to_minutes(24, 60) | | |
| 22: Searching: hours_to_minutes(24, 60) | | |
| 23: Searching: 1000000000 = 1032240000 | | |
| 24: Fail: 1000000000 = 1032240000 | {'Result': 'Search Failed'} | | |
| | | |
n | Looking for other paths: Redo: conversion_factor(gb, week, _, 1) | n | Looking for other paths: Redo: conversion_factor(gb, Candidate Variable_9, 1, Candidate Variable_10) |
| | | |
| | | |
| [Path 3]: | | [Path 3]: |
n | 25: Searching: conversion_factor(gb, hour, _, 7*24) | n | |
| 26: Searching: conversion_factor(gb, hour, _, 7*24) | | 16: Found: conversion_factor(gb, hour, 1, 7*24) |
| 27: Searching: conversion_to_minutes(7*24, Candidate Variable_9, Candidate Variable_10, Candidate Variable_11) | | 17: Searching: conversion_factor(week, week, 2, Candidate Variable_13) |
| 28: Searching: hours_to_minutes(24*7, 60) | | 18: Fail: conversion_factor(week, week, 2, Candidate Variable_13) | {'Result': 'Search Failed'} |
| 29: Searching: hours_to_minutes(24*7, 60*7) | | |
| 30: Searching: 1000000000 = 1007884800 | | |
| 31: Fail: 1000000000 = 1007884800 | {'Result': 'Search Failed'} | | |
| | | |
n | Looking for other paths: Redo: conversion_factor(gb, week, _, 1) | n | Looking for other paths: Redo: conversion_factor(gb, Candidate Variable_9, 1, Candidate Variable_10) |
| | | |
| | | |
| [Path 4]: | | [Path 4]: |
t | 32: Searching: conversion_factor(gb, minute, _, 7*24*60) | t | 19: Found: conversion_factor(gb, minute, 1, 7*24*60) |
| 33: Searching: conversion_factor(gb, minute, _, 7*24*60) | | 20: Searching: conversion_factor(week, week, 2, Candidate Variable_14) |
| 34: Searching: conversion_to_minutes(7*24*60, Candidate Variable_12, Candidate Variable_13, 7*24*60) | | 21: Fail: conversion_factor(week, week, 2, Candidate Variable_14) | {'Result': 'Search Failed'} |
| 35: Searching: conversion_to_minutes(7*24*60, 7*24*60, 7*24*60, 7*24*60) | | 22: Fail: minimum_upload_speed(Candidate Variable_15, Candidate Variable_16, Candidate Variable_2) | {'Result': 'Search Failed'} |
| 36: Searching: minimum_upload_speed(1000, week, 10.714285714285714) | | 23: Fail: query | {'Result': 'Search Failed'} |
| 37: Searching: centurylink_max_plan_speed(100, mbps) | | |
| 38: Searching: centurylink_max_plan_speed(100, mbps) | | |
| 39: Searching: convert_speed(10.7142857142857 | | |