% 813,486,620 inferences, 296.670 CPU in 298.033 seconds (100% CPU, 2742059 Lips) solve([2, 1, 0, 0, 2, 2, 1], [0, 2, 2, 1, 1, 0, 2], 40916, 4909920) searching... % 76,087,028 inferences, 25.970 CPU in 26.092 seconds (100% CPU, 2929805 Lips) solve([2, 0, 0, 2, 2, 1, 1], [2, 0, 1, 2, 2, 1, 0], 4230, 507600) searching... % 126,148,718 inferences, 43.040 CPU in 43.119 seconds (100% CPU, 2930965 Lips) solve([2, 1, 0, 1, 2, 0, 2], [2, 2, 1, 1, 2, 0, 0], 6049, 725880) searching... % 177,009,601 inferences, 60.300 CPU in 60.680 seconds (99% CPU, 2935483 Lips) solve([2, 1, 0, 1, 2, 2, 0], [1, 2, 0, 2, 1, 2, 0], 8372, 1004640) searching... % 392,855,329 inferences, 132.700 CPU in 133.397 seconds (99% CPU, 2960477 Lips) solve([0, 2, 0, 1, 2, 1, 2], [1, 2, 0, 2, 1, 0, 2], 11227, 1347240) ...