Started looper Tuesday, Jun 05, 12:22 PM 2007 on host???. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% HEAD FILE %%%%%%%%% assign(max_minutes, 5). assign(max_weight,35). set(restrict_denials). assign(eq_defs, fold). clear(auto_denials). clear(print_given). list(weights). weight(g(_)) = 1. weight(g(x)) = 1000. weight(h(_)) = 1. weight(h(x)) = 1000. weight(f(_,_)) = 1. weight(f(x,y)) = 1000. end_of_list. formulas(assumptions). x + y = y + x # label(Commutativity). (x + y) + z = x + (y + z) # label(Associativity). ((x + y)' + (x + y')')' = x # label(Robbins). end_of_list. formulas(goals). (exists a exists b ((a + b)' = a')) # answer(Winker2a). (exists a exists b ((a + b)' = b')) # answer(Winker2b). (exists a exists b (a + b = a)) # answer(Winker1a). (exists a exists b (a + b = b)) # answer(Winker1b). (x + y')' + (x' + y')' = y # answer(Huntington). end_of_list. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% end of head file %%%%% ---------------------------------------------------------------------- x + (x' + x') = g(x). x + (g(x) + (x + (x + x))') = h(x). % Problem 1 Given=1212. Generated=3414409. Kept=23940. proofs=0. User_CPU=300.00, System_CPU=1.04, Wall_clock=301. Process 4297 exit (max_seconds) Tue Jun 5 12:27:16 2007 x + (x' + x') = g(x). x + (g(x) + (x + (x + x))') = h(x). % Failed 300.00 seconds PROBLEM 1 ---------------------------------------------------------------------- x + (x' + x') = g(x). x + (x + (x + (x + (x + g(x))))') = h(x). % Problem 2 Given=1164. Generated=3411516. Kept=23895. proofs=0. User_CPU=300.00, System_CPU=1.17, Wall_clock=301. Process 4308 exit (max_seconds) Tue Jun 5 12:32:17 2007 x + (x' + x') = g(x). x + (x + (x + (x + (x + g(x))))') = h(x). % Failed 300.00 seconds PROBLEM 2 ---------------------------------------------------------------------- x + (x' + x') = g(x). x + (x + (x + (x + g(x))))' = h(x). % Problem 3 Given=1190. Generated=3313251. Kept=24065. proofs=0. User_CPU=300.00, System_CPU=0.93, Wall_clock=301. Process 4313 exit (max_seconds) Tue Jun 5 12:37:18 2007 x + (x' + x') = g(x). x + (x + (x + (x + g(x))))' = h(x). % Failed 300.00 seconds PROBLEM 3 ---------------------------------------------------------------------- (x + x')' = g(x). x + g(x)' = h(x). % Problem 4 Given=1636. Generated=3418111. Kept=26907. proofs=0. User_CPU=300.00, System_CPU=1.12, Wall_clock=301. Process 4318 exit (max_seconds) Tue Jun 5 12:42:19 2007 (x + x')' = g(x). x + g(x)' = h(x). % Failed 300.00 seconds PROBLEM 4 ---------------------------------------------------------------------- (x + x')' = g(x). x + (x + g(x)') = h(x). % Problem 5 Given=1481. Generated=3391225. Kept=24814. proofs=0. User_CPU=300.00, System_CPU=1.24, Wall_clock=301. Process 4323 exit (max_seconds) Tue Jun 5 12:47:20 2007 (x + x')' = g(x). x + (x + g(x)') = h(x). % Failed 300.00 seconds PROBLEM 5 ---------------------------------------------------------------------- (x + x')' = g(x). x + (x + g(x)) = h(x). % Problem 6 Given=1405. Generated=3935436. Kept=27463. proofs=0. User_CPU=300.00, System_CPU=1.06, Wall_clock=301. Process 4328 exit (max_seconds) Tue Jun 5 12:52:21 2007 (x + x')' = g(x). x + (x + g(x)) = h(x). % Failed 300.00 seconds PROBLEM 6 ---------------------------------------------------------------------- (x + x')' = g(x). (x + g(x))' = h(x). % Problem 7 Given=1556. Generated=3280179. Kept=24247. proofs=0. User_CPU=300.00, System_CPU=0.98, Wall_clock=301. Process 4333 exit (max_seconds) Tue Jun 5 12:57:22 2007 (x + x')' = g(x). (x + g(x))' = h(x). % Failed 300.00 seconds PROBLEM 7 ---------------------------------------------------------------------- (x + x')' = g(x). x + (x + (x + g(x))) = h(x). % Problem 8 ============================== PROOF ================================= % Proof 1 at 31.74 (+ 0.12) seconds: Winker2b. % Length of proof is 39. % Level of proof is 12. % Maximum clause weight is 32. % Given clauses 535. 2 (exists a exists b (a + b)' = b') # answer(Winker2b) # label(non_clause) # label(goal). [goal]. 6 x + y = y + x # label(Commutativity). [assumption]. 7 (x + y) + z = x + (y + z) # label(Associativity). [assumption]. 8 ((x + y)' + (x + y')')' = x # label(Robbins). [assumption]. 9 (x + x')' = g(x). [assumption]. 10 x + (x + (x + g(x))) = h(x). [assumption]. 12 (x + y)' != y' # answer(Winker2b). [deny(2)]. 17 x + (y + z) = y + (x + z). [para(6(a,1),7(a,1,1)),rewrite([7(2)])]. 18 ((x + y)' + (y + x')')' = y. [para(6(a,1),8(a,1,1,1,1))]. 19 ((x + y)' + (y' + x)')' = x. [para(6(a,1),8(a,1,1,2,1))]. 26 (g(x) + (x + x)')' = x. [para(9(a,1),8(a,1,1,2)),rewrite([6(4)])]. 27 h(x) + y = x + (x + (x + (g(x) + y))). [para(10(a,1),7(a,1,1)),rewrite([7(6),7(5)])]. 28 x + h(y) = y + (y + (g(y) + (x + y))). [para(10(a,1),7(a,2,2)),rewrite([17(5),17(4),6(3)]),flip(a)]. 29 (h(x)' + (x + (x + (x + g(x)))')')' = x. [para(10(a,1),8(a,1,1,1,1))]. 30 ((x + (y + z))' + (y + (x + z)')')' = y. [para(17(a,1),8(a,1,1,1,1))]. 34 (x + (x + (x + g(x)))')' = g(x). [para(26(a,1),8(a,1,1,2)),rewrite([17(3),6(2),6(5)])]. 35 (g(x) + h(x)')' = x. [back_rewrite(29),rewrite([34(8),6(4)])]. 37 ((x + y)' + (x + (g(y) + h(y)'))')' = x. [para(35(a,1),8(a,1,1,2,1,2)),rewrite([6(9)])]. 38 (x + (g(x) + h(x))')' = g(x). [para(35(a,1),8(a,1,1,2)),rewrite([6(5)])]. 41 (g(x) + (x + (g(x) + h(x)))')' = x. [para(38(a,1),8(a,1,1,2)),rewrite([6(7)])]. 47 ((x + (y + z))' + (z + (x + y)')')' = z. [para(7(a,1),18(a,1,1,1,1))]. 49 (x + ((y + x)' + (x + y')'')')' = (y + x)'. [para(18(a,1),8(a,1,1,1))]. 93 (x + (x + (y + (x + y')'))')' = (x + y')'. [para(8(a,1),19(a,1,1,2)),rewrite([6(5),7(5),6(7)])]. 97 ((x + (g(y) + (y + y)'))' + (y + x)')' = x. [para(26(a,1),19(a,1,1,2,1,1))]. 98 ((x + (g(y) + h(y)'))' + (y + x)')' = x. [para(35(a,1),19(a,1,1,2,1,1))]. 107 ((x + (g(y) + (y + (g(y) + h(y)))'))' + (y + x)')' = x. [para(41(a,1),19(a,1,1,2,1,1))]. 648 (x + (x + (g(y) + (h(y)' + (x + y)')))')' = (x + y)'. [para(37(a,1),8(a,1,1,2)),rewrite([6(8),7(8),7(7),6(10)])]. 1133 (h(x)' + (x + (g(x) + (x + x)'))')' = x + g(x). [para(10(a,1),47(a,1,1,1,1)),rewrite([7(7)])]. 1430 (x + (x + (x + (g(x) + ((y + h(x))' + (x + (x + (x + (g(x) + y'))))'')'))))' = (y + h(x))'. [para(27(a,1),49(a,1,1,2,1,2,1,1)),rewrite([27(15)])]. 2267 (h(x)' + (x + (x + (g(x) + (g(x) + (x + x)'))))')' = x + (x + g(x)). [para(10(a,1),97(a,1,1,2,1)),rewrite([17(8),7(7),7(6),17(8),17(7),6(12)])]. 7055 (x + (g(x) + (x + (g(x) + (h(x)' + (x + x)')))'))' = h(x)'. [para(1133(a,1),8(a,1,1,2)),rewrite([17(8),17(7),6(12),7(12)])]. 21226 (x + h(x)')' = g(x). [para(7055(a,1),30(a,1,1,1)),rewrite([648(14),26(7),6(3)])]. 21290 (x + (x + (g(x) + h(x)))')' = g(x). [para(21226(a,1),93(a,1,1,2,1,2,2)),rewrite([6(3),21226(11)])]. 21297 (g(x) + (g(x) + (h(x)' + (x + (g(x) + h(x)))'))')' = h(x)'. [para(21226(a,1),107(a,1,1,2)),rewrite([17(10),6(13)])]. 21565 (x + (g(x) + h(x)))' = h(x)'. [para(21290(a,1),98(a,1,1,2)),rewrite([6(10),7(10),6(13),21297(14)]),flip(a)]. 21575 (x + (x + (x + (x + (g(x) + g(x))))))' = h(x)'. [para(28(a,1),21565(a,1,1,2)),rewrite([6(3),17(4)])]. 22597 x + (x + (g(x) + g(x))) = x + (x + g(x)). [para(21575(a,1),47(a,1,1,1)),rewrite([7(10),7(9),7(8),2267(13)]),flip(a)]. 22602 (x + h(x))' = h(x)'. [para(21575(a,1),49(a,2)),rewrite([22597(5),10(4),22597(6),10(5),22597(9),10(8),27(7),27(15),1430(19)])]. 22603 $F # answer(Winker2b). [resolve(22602,a,12,a)]. ============================== end of proof ========================== Given=535. Generated=345667. Kept=22597. proofs=1. User_CPU=31.74, System_CPU=0.12, Wall_clock=32. Process 4338 exit (max_proofs) Tue Jun 5 12:57:54 2007 (x + x')' = g(x). x + (x + (x + g(x))) = h(x). % Proved 31.74 seconds PROBLEM 8 ---------------------------------------------------------------------- (x + x')' = g(x). x + (g(x) + x') = h(x). % Problem 9 Given=1377. Generated=3181952. Kept=24560. proofs=0. User_CPU=300.00, System_CPU=1.11, Wall_clock=301. Process 4340 exit (max_seconds) Tue Jun 5 13:02:55 2007 (x + x')' = g(x). x + (g(x) + x') = h(x). % Failed 300.00 seconds PROBLEM 9 ---------------------------------------------------------------------- (x + x')' = g(x). x + (x + (x + g(x)')) = h(x). % Problem 10 Given=1357. Generated=3256780. Kept=23998. proofs=0. User_CPU=300.00, System_CPU=1.10, Wall_clock=302. Process 4350 exit (max_seconds) Tue Jun 5 13:07:57 2007 (x + x')' = g(x). x + (x + (x + g(x)')) = h(x). % Failed 300.00 seconds PROBLEM 10 ---------------------------------------------------------------------- (x + x')' = g(x). x + (x + (g(x) + x')) = h(x). % Problem 11 Given=1267. Generated=2996758. Kept=23875. proofs=0. User_CPU=300.00, System_CPU=0.98, Wall_clock=301. Process 4355 exit (max_seconds) Tue Jun 5 13:12:58 2007 (x + x')' = g(x). x + (x + (g(x) + x')) = h(x). % Failed 300.00 seconds PROBLEM 11 ---------------------------------------------------------------------- (x + x')' = g(x). x + (g(x) + (x + x)') = h(x). % Problem 12 Given=1459. Generated=3300626. Kept=24778. proofs=0. User_CPU=300.00, System_CPU=0.98, Wall_clock=300. Process 4360 exit (max_seconds) Tue Jun 5 13:17:58 2007 (x + x')' = g(x). x + (g(x) + (x + x)') = h(x). % Failed 300.00 seconds PROBLEM 12 ---------------------------------------------------------------------- (x + x')' = g(x). (x + (x + g(x)))' = h(x). % Problem 13 Given=1637. Generated=3351758. Kept=24651. proofs=0. User_CPU=300.00, System_CPU=1.06, Wall_clock=302. Process 4368 exit (max_seconds) Tue Jun 5 13:23:00 2007 (x + x')' = g(x). (x + (x + g(x)))' = h(x). % Failed 300.00 seconds PROBLEM 13 ---------------------------------------------------------------------- (x + x')' = g(x). x + (x + (g(x) + (x + x)')) = h(x). % Problem 14 Given=1371. Generated=3215104. Kept=24128. proofs=0. User_CPU=300.00, System_CPU=1.00, Wall_clock=301. Process 4373 exit (max_seconds) Tue Jun 5 13:28:01 2007 (x + x')' = g(x). x + (x + (g(x) + (x + x)')) = h(x). % Failed 300.00 seconds PROBLEM 14 ---------------------------------------------------------------------- (x + x')' = g(x). x + (x + (x + (x + g(x))')) = h(x). % Problem 15 Given=1346. Generated=3235276. Kept=24374. proofs=0. User_CPU=300.00, System_CPU=1.03, Wall_clock=301. Process 4378 exit (max_seconds) Tue Jun 5 13:33:02 2007 (x + x')' = g(x). x + (x + (x + (x + g(x))')) = h(x). % Failed 300.00 seconds PROBLEM 15 ---------------------------------------------------------------------- (x + x')' = g(x). x + (x + (x + (x + (x + g(x))'))) = h(x). % Problem 16 Given=1358. Generated=3260261. Kept=23917. proofs=0. User_CPU=300.00, System_CPU=0.88, Wall_clock=300. Process 4383 exit (max_seconds) Tue Jun 5 13:38:02 2007 (x + x')' = g(x). x + (x + (x + (x + (x + g(x))'))) = h(x). % Failed 300.00 seconds PROBLEM 16 ---------------------------------------------------------------------- (x + x')' = g(x). x + (x + (x + g(x))') = h(x). % Problem 17 Given=1353. Generated=3240509. Kept=24142. proofs=0. User_CPU=300.00, System_CPU=1.26, Wall_clock=302. Process 4388 exit (max_seconds) Tue Jun 5 13:43:04 2007 (x + x')' = g(x). x + (x + (x + g(x))') = h(x). % Failed 300.00 seconds PROBLEM 17 ---------------------------------------------------------------------- (x + x')' = g(x). x + (x + g(x))' = h(x). % Problem 18 Given=1443. Generated=3279933. Kept=24948. proofs=0. User_CPU=300.00, System_CPU=1.24, Wall_clock=301. Process 4410 exit (max_seconds) Tue Jun 5 13:48:05 2007 (x + x')' = g(x). x + (x + g(x))' = h(x). % Failed 300.00 seconds PROBLEM 18 ---------------------------------------------------------------------- (x + x')' = g(x). (x + (x + (x + g(x))))' = h(x). % Problem 19 ============================== PROOF ================================= % Proof 1 at 5.84 (+ 0.06) seconds: Winker2a. % Length of proof is 31. % Level of proof is 11. % Maximum clause weight is 23. % Given clauses 257. 1 (exists a exists b (a + b)' = a') # answer(Winker2a) # label(non_clause) # label(goal). [goal]. 6 x + y = y + x # label(Commutativity). [assumption]. 7 (x + y) + z = x + (y + z) # label(Associativity). [assumption]. 8 ((x + y)' + (x + y')')' = x # label(Robbins). [assumption]. 9 (x + x')' = g(x). [assumption]. 10 (x + (x + (x + g(x))))' = h(x). [assumption]. 11 (x + y)' != x' # answer(Winker2a). [deny(1)]. 17 x + (y + z) = y + (x + z). [para(6(a,1),7(a,1,1)),rewrite([7(2)])]. 18 ((x + y)' + (y + x')')' = y. [para(6(a,1),8(a,1,1,1,1))]. 19 ((x + y)' + (y' + x)')' = x. [para(6(a,1),8(a,1,1,2,1))]. 23 (x + (x + (y' + (x + y)'))')' = (x + y)'. [para(8(a,1),8(a,1,1,2)),rewrite([6(5),7(5),6(7)])]. 26 (g(x) + (x + x)')' = x. [para(9(a,1),8(a,1,1,2)),rewrite([6(4)])]. 27 (h(x) + (x + (x + (x + g(x)))')')' = x. [para(10(a,1),8(a,1,1,1))]. 29 ((x + (y + z))' + (y + (x + z)')')' = y. [para(17(a,1),8(a,1,1,1,1))]. 32 (x + (x + (x + g(x)))')' = g(x). [para(26(a,1),8(a,1,1,2)),rewrite([17(3),6(2),6(5)])]. 33 (g(x) + h(x))' = x. [back_rewrite(27),rewrite([32(7),6(3)])]. 34 (x + (g(x) + h(x)')')' = g(x). [para(33(a,1),8(a,1,1,1))]. 35 ((x + y)' + (x + (g(y) + h(y)))')' = x. [para(33(a,1),8(a,1,1,2,1,2)),rewrite([6(8)])]. 38 (g(x) + (x + (g(x) + h(x)'))')' = x. [para(34(a,1),8(a,1,1,2)),rewrite([6(8)])]. 44 ((x + (y + z))' + (z + (x + y)')')' = z. [para(7(a,1),18(a,1,1,1,1))]. 97 ((x + (g(y) + h(y)))' + (y + x)')' = x. [para(33(a,1),19(a,1,1,2,1,1))]. 106 ((x + (g(y) + (y + (g(y) + h(y)'))'))' + (y + x)')' = x. [para(38(a,1),19(a,1,1,2,1,1))]. 245 (x + (x + (g(y) + (h(y) + (x + y)')))')' = (x + y)'. [para(35(a,1),8(a,1,1,2)),rewrite([6(7),7(7),7(6),6(9)])]. 1225 (h(x) + (x + (g(x) + (x + x)'))')' = x + g(x). [para(10(a,1),44(a,1,1,1)),rewrite([7(6)])]. 1398 (x + (g(x) + (x + (g(x) + (h(x) + (x + x)')))'))' = h(x). [para(1225(a,1),8(a,1,1,2)),rewrite([17(7),17(6),6(11),7(11)])]. 5830 (x + h(x))' = g(x). [para(1398(a,1),29(a,1,1,1)),rewrite([245(12),26(6),6(2)])]. 5863 (x + (x + (g(x) + h(x)'))')' = g(x). [para(5830(a,1),23(a,1,1,2,1,2,2)),rewrite([6(4),5830(11)])]. 6069 (g(x) + (g(x) + (h(x) + (x + (g(x) + h(x)'))'))')' = (x + (g(x) + h(x)'))'. [para(5863(a,1),97(a,1,1,2)),rewrite([6(10),7(10),6(13)])]. 11711 (x + (g(x) + h(x)'))' = h(x). [para(5830(a,1),106(a,1,1,2)),rewrite([17(10),6(13),6069(14)])]. 11728 (h(x) + (h(x)' + (x + g(x))')')' = h(x)'. [para(11711(a,1),44(a,1,1,1))]. 11729 $F # answer(Winker2a). [resolve(11728,a,11,a)]. ============================== end of proof ========================== Given=257. Generated=68495. Kept=11723. proofs=1. User_CPU=5.84, System_CPU=0.06, Wall_clock=6. Process 4480 exit (max_proofs) Tue Jun 5 13:48:11 2007 (x + x')' = g(x). (x + (x + (x + g(x))))' = h(x). % Proved 5.84 seconds PROBLEM 19 ---------------------------------------------------------------------- (x + x')' = g(x). x + (x + (x + (x + (x + g(x)))')) = h(x). % Problem 20 Given=1346. Generated=3186116. Kept=24001. proofs=0. User_CPU=300.00, System_CPU=1.07, Wall_clock=301. Process 4481 exit (max_seconds) Tue Jun 5 13:53:12 2007 (x + x')' = g(x). x + (x + (x + (x + (x + g(x)))')) = h(x). % Failed 300.00 seconds PROBLEM 20 ---------------------------------------------------------------------- (x + x')' = g(x). x + (x + (x + (x + g(x)))') = h(x). % Problem 21 Given=1411. Generated=3281930. Kept=23969. proofs=0. User_CPU=300.00, System_CPU=1.00, Wall_clock=301. Process 4487 exit (max_seconds) Tue Jun 5 13:58:13 2007 (x + x')' = g(x). x + (x + (x + (x + g(x)))') = h(x). % Failed 300.00 seconds PROBLEM 21 ---------------------------------------------------------------------- (x + x')' = g(x). x + (x + (x + g(x)))' = h(x). % Problem 22 Given=1433. Generated=3406395. Kept=23813. proofs=0. User_CPU=300.00, System_CPU=1.34, Wall_clock=301. Process 4492 exit (max_seconds) Tue Jun 5 14:03:14 2007 (x + x')' = g(x). x + (x + (x + g(x)))' = h(x). % Failed 300.00 seconds PROBLEM 22 ---------------------------------------------------------------------- (x + x')' = g(x). x + (x + (x + (g(x) + (x + x)'))) = h(x). % Problem 23 Given=1351. Generated=3235003. Kept=24483. proofs=0. User_CPU=300.00, System_CPU=1.30, Wall_clock=302. Process 4497 exit (max_seconds) Tue Jun 5 14:08:16 2007 (x + x')' = g(x). x + (x + (x + (g(x) + (x + x)'))) = h(x). % Failed 300.00 seconds PROBLEM 23 ---------------------------------------------------------------------- (x + x')' = g(x). x + (g(x) + (x + (x + (x + x)))') = h(x). % Problem 24 Given=1367. Generated=3292085. Kept=23996. proofs=0. User_CPU=300.00, System_CPU=1.11, Wall_clock=301. Process 4502 exit (max_seconds) Tue Jun 5 14:13:17 2007 (x + x')' = g(x). x + (g(x) + (x + (x + (x + x)))') = h(x). % Failed 300.00 seconds PROBLEM 24 ---------------------------------------------------------------------- (x + x')' = g(x). x + (x + (g(x) + (x + (x + x))')) = h(x). % Problem 25 Given=1355. Generated=3243686. Kept=24364. proofs=0. User_CPU=300.00, System_CPU=1.10, Wall_clock=301. Process 4507 exit (max_seconds) Tue Jun 5 14:18:18 2007 (x + x')' = g(x). x + (x + (g(x) + (x + (x + x))')) = h(x). % Failed 300.00 seconds PROBLEM 25 ---------------------------------------------------------------------- (x + x')' = g(x). x + (g(x) + (x + (x + x))') = h(x). % Problem 26 Given=1373. Generated=3288414. Kept=24350. proofs=0. User_CPU=300.00, System_CPU=1.33, Wall_clock=301. Process 4515 exit (max_seconds) Tue Jun 5 14:23:19 2007 (x + x')' = g(x). x + (g(x) + (x + (x + x))') = h(x). % Failed 300.00 seconds PROBLEM 26 ---------------------------------------------------------------------- (x + x')' = g(x). x + (x + (x + (x + (x + g(x))))') = h(x). % Problem 27 Given=1347. Generated=3222085. Kept=24076. proofs=0. User_CPU=300.00, System_CPU=1.00, Wall_clock=301. Process 4520 exit (max_seconds) Tue Jun 5 14:28:20 2007 (x + x')' = g(x). x + (x + (x + (x + (x + g(x))))') = h(x). % Failed 300.00 seconds PROBLEM 27 ---------------------------------------------------------------------- (x + x')' = g(x). x + (x + (x + (x + g(x))))' = h(x). % Problem 28 Given=1346. Generated=3113585. Kept=24603. proofs=0. User_CPU=300.00, System_CPU=1.25, Wall_clock=302. Process 4525 exit (max_seconds) Tue Jun 5 14:33:22 2007 (x + x')' = g(x). x + (x + (x + (x + g(x))))' = h(x). % Failed 300.00 seconds PROBLEM 28 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). x + g(x)' = h(x). % Problem 29 Given=1562. Generated=2926565. Kept=30002. proofs=0. User_CPU=300.00, System_CPU=1.15, Wall_clock=301. Process 4530 exit (max_seconds) Tue Jun 5 14:38:23 2007 x + (x + (x + x')) = g(x). x + g(x)' = h(x). % Failed 300.00 seconds PROBLEM 29 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). x + (x + g(x)') = h(x). % Problem 30 Given=1470. Generated=2915903. Kept=25154. proofs=0. User_CPU=300.00, System_CPU=0.92, Wall_clock=301. Process 4535 exit (max_seconds) Tue Jun 5 14:43:24 2007 x + (x + (x + x')) = g(x). x + (x + g(x)') = h(x). % Failed 300.00 seconds PROBLEM 30 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). x + (x + g(x)) = h(x). % Problem 31 Given=1256. Generated=3651230. Kept=28568. proofs=0. User_CPU=300.00, System_CPU=1.32, Wall_clock=301. Process 4540 exit (max_seconds) Tue Jun 5 14:48:25 2007 x + (x + (x + x')) = g(x). x + (x + g(x)) = h(x). % Failed 300.00 seconds PROBLEM 31 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). (x + g(x))' = h(x). % Problem 32 Given=1503. Generated=3000343. Kept=24366. proofs=0. User_CPU=300.00, System_CPU=1.29, Wall_clock=301. Process 4545 exit (max_seconds) Tue Jun 5 14:53:26 2007 x + (x + (x + x')) = g(x). (x + g(x))' = h(x). % Failed 300.00 seconds PROBLEM 32 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). x + (x + (x + g(x))) = h(x). % Problem 33 Given=1015. Generated=2277144. Kept=25916. proofs=0. User_CPU=300.00, System_CPU=0.71, Wall_clock=301. Process 4550 exit (max_seconds) Tue Jun 5 14:58:27 2007 x + (x + (x + x')) = g(x). x + (x + (x + g(x))) = h(x). % Failed 300.00 seconds PROBLEM 33 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). x + (g(x) + x') = h(x). % Problem 34 Given=1428. Generated=3883420. Kept=35120. proofs=0. User_CPU=300.00, System_CPU=1.41, Wall_clock=301. Process 4555 exit (max_seconds) Tue Jun 5 15:03:28 2007 x + (x + (x + x')) = g(x). x + (g(x) + x') = h(x). % Failed 300.00 seconds PROBLEM 34 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). x + (x + (x + g(x)')) = h(x). % Problem 35 Given=1346. Generated=2794982. Kept=25037. proofs=0. User_CPU=300.00, System_CPU=1.02, Wall_clock=301. Process 4560 exit (max_seconds) Tue Jun 5 15:08:29 2007 x + (x + (x + x')) = g(x). x + (x + (x + g(x)')) = h(x). % Failed 300.00 seconds PROBLEM 35 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). x + (x + (g(x) + x')) = h(x). % Problem 36 Given=1536. Generated=3811047. Kept=35191. proofs=0. User_CPU=300.00, System_CPU=1.22, Wall_clock=302. Process 4565 exit (max_seconds) Tue Jun 5 15:13:31 2007 x + (x + (x + x')) = g(x). x + (x + (g(x) + x')) = h(x). % Failed 300.00 seconds PROBLEM 36 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). x + (g(x) + (x + x)') = h(x). % Problem 37 Given=1369. Generated=2843048. Kept=25323. proofs=0. User_CPU=300.00, System_CPU=1.07, Wall_clock=301. Process 4570 exit (max_seconds) Tue Jun 5 15:18:32 2007 x + (x + (x + x')) = g(x). x + (g(x) + (x + x)') = h(x). % Failed 300.00 seconds PROBLEM 37 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). (x + (x + g(x)))' = h(x). % Problem 38 Given=1464. Generated=2742946. Kept=24770. proofs=0. User_CPU=300.00, System_CPU=1.01, Wall_clock=301. Process 4578 exit (max_seconds) Tue Jun 5 15:23:33 2007 x + (x + (x + x')) = g(x). (x + (x + g(x)))' = h(x). % Failed 300.00 seconds PROBLEM 38 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). x + (x + (g(x) + (x + x)')) = h(x). % Problem 39 Given=1225. Generated=2702431. Kept=24167. proofs=0. User_CPU=300.00, System_CPU=1.10, Wall_clock=301. Process 4583 exit (max_seconds) Tue Jun 5 15:28:34 2007 x + (x + (x + x')) = g(x). x + (x + (g(x) + (x + x)')) = h(x). % Failed 300.00 seconds PROBLEM 39 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). x + (x + (x + (x + g(x))')) = h(x). % Problem 40 Given=1193. Generated=2638878. Kept=24045. proofs=0. User_CPU=300.00, System_CPU=0.95, Wall_clock=301. Process 4588 exit (max_seconds) Tue Jun 5 15:33:35 2007 x + (x + (x + x')) = g(x). x + (x + (x + (x + g(x))')) = h(x). % Failed 300.00 seconds PROBLEM 40 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). x + (x + (x + (x + (x + g(x))'))) = h(x). % Problem 41 Given=1176. Generated=2699348. Kept=23985. proofs=0. User_CPU=300.00, System_CPU=0.91, Wall_clock=301. Process 4593 exit (max_seconds) Tue Jun 5 15:38:36 2007 x + (x + (x + x')) = g(x). x + (x + (x + (x + (x + g(x))'))) = h(x). % Failed 300.00 seconds PROBLEM 41 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). x + (x + (x + g(x))') = h(x). % Problem 42 Given=1286. Generated=2726705. Kept=25051. proofs=0. User_CPU=300.00, System_CPU=1.09, Wall_clock=301. Process 4598 exit (max_seconds) Tue Jun 5 15:43:37 2007 x + (x + (x + x')) = g(x). x + (x + (x + g(x))') = h(x). % Failed 300.00 seconds PROBLEM 42 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). x + (x + g(x))' = h(x). % Problem 43 Given=1462. Generated=2895513. Kept=25487. proofs=0. User_CPU=300.00, System_CPU=1.10, Wall_clock=301. Process 4603 exit (max_seconds) Tue Jun 5 15:48:38 2007 x + (x + (x + x')) = g(x). x + (x + g(x))' = h(x). % Failed 300.00 seconds PROBLEM 43 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). (x + (x + (x + g(x))))' = h(x). % Problem 44 Given=1343. Generated=2753097. Kept=23903. proofs=0. User_CPU=300.00, System_CPU=1.02, Wall_clock=301. Process 4608 exit (max_seconds) Tue Jun 5 15:53:39 2007 x + (x + (x + x')) = g(x). (x + (x + (x + g(x))))' = h(x). % Failed 300.00 seconds PROBLEM 44 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). x + (x + (x + (x + (x + g(x)))')) = h(x). % Problem 45 Given=1176. Generated=2694411. Kept=23842. proofs=0. User_CPU=300.00, System_CPU=1.01, Wall_clock=301. Process 4613 exit (max_seconds) Tue Jun 5 15:58:40 2007 x + (x + (x + x')) = g(x). x + (x + (x + (x + (x + g(x)))')) = h(x). % Failed 300.00 seconds PROBLEM 45 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). x + (x + (x + (x + g(x)))') = h(x). % Problem 46 Given=1194. Generated=2638572. Kept=24136. proofs=0. User_CPU=300.00, System_CPU=0.90, Wall_clock=301. Process 4618 exit (max_seconds) Tue Jun 5 16:03:41 2007 x + (x + (x + x')) = g(x). x + (x + (x + (x + g(x)))') = h(x). % Failed 300.00 seconds PROBLEM 46 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). x + (x + (x + g(x)))' = h(x). % Problem 47 Given=1261. Generated=2688823. Kept=24958. proofs=0. User_CPU=300.00, System_CPU=1.00, Wall_clock=301. Process 4623 exit (max_seconds) Tue Jun 5 16:08:42 2007 x + (x + (x + x')) = g(x). x + (x + (x + g(x)))' = h(x). % Failed 300.00 seconds PROBLEM 47 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). x + (x + (x + (g(x) + (x + x)'))) = h(x). % Problem 48 Given=1200. Generated=2742385. Kept=24595. proofs=0. User_CPU=300.00, System_CPU=1.02, Wall_clock=301. Process 4629 exit (max_seconds) Tue Jun 5 16:13:43 2007 x + (x + (x + x')) = g(x). x + (x + (x + (g(x) + (x + x)'))) = h(x). % Failed 300.00 seconds PROBLEM 48 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). x + (g(x) + (x + (x + (x + x)))') = h(x). % Problem 49 Given=1186. Generated=2848111. Kept=23731. proofs=0. User_CPU=300.00, System_CPU=1.08, Wall_clock=301. Process 4634 exit (max_seconds) Tue Jun 5 16:18:44 2007 x + (x + (x + x')) = g(x). x + (g(x) + (x + (x + (x + x)))') = h(x). % Failed 300.00 seconds PROBLEM 49 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). x + (x + (g(x) + (x + (x + x))')) = h(x). % Problem 50 Given=1191. Generated=2817317. Kept=24205. proofs=0. User_CPU=300.00, System_CPU=1.07, Wall_clock=301. Process 4642 exit (max_seconds) Tue Jun 5 16:23:45 2007 x + (x + (x + x')) = g(x). x + (x + (g(x) + (x + (x + x))')) = h(x). % Failed 300.00 seconds PROBLEM 50 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). x + (g(x) + (x + (x + x))') = h(x). % Problem 51 Given=1230. Generated=2683829. Kept=24078. proofs=0. User_CPU=300.00, System_CPU=0.90, Wall_clock=301. Process 4647 exit (max_seconds) Tue Jun 5 16:28:46 2007 x + (x + (x + x')) = g(x). x + (g(x) + (x + (x + x))') = h(x). % Failed 300.00 seconds PROBLEM 51 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). x + (x + (x + (x + (x + g(x))))') = h(x). % Problem 52 Given=1176. Generated=2842182. Kept=23766. proofs=0. User_CPU=300.00, System_CPU=1.08, Wall_clock=301. Process 4652 exit (max_seconds) Tue Jun 5 16:33:47 2007 x + (x + (x + x')) = g(x). x + (x + (x + (x + (x + g(x))))') = h(x). % Failed 300.00 seconds PROBLEM 52 ---------------------------------------------------------------------- x + (x + (x + x')) = g(x). x + (x + (x + (x + g(x))))' = h(x). % Problem 53 Given=1185. Generated=2599292. Kept=24025. proofs=0. User_CPU=300.00, System_CPU=1.02, Wall_clock=301. Process 4657 exit (max_seconds) Tue Jun 5 16:38:48 2007 x + (x + (x + x')) = g(x). x + (x + (x + (x + g(x))))' = h(x). % Failed 300.00 seconds PROBLEM 53 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). x + g(x)' = h(x). % Problem 54 Given=2095. Generated=3847400. Kept=29507. proofs=0. User_CPU=300.00, System_CPU=1.53, Wall_clock=302. Process 4662 exit (max_seconds) Tue Jun 5 16:43:50 2007 (x + x)' + (x + x)' = g(x). x + g(x)' = h(x). % Failed 300.00 seconds PROBLEM 54 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). x + (x + g(x)') = h(x). % Problem 55 Given=1932. Generated=3824978. Kept=27983. proofs=0. User_CPU=300.00, System_CPU=1.42, Wall_clock=301. Process 4667 exit (max_seconds) Tue Jun 5 16:48:51 2007 (x + x)' + (x + x)' = g(x). x + (x + g(x)') = h(x). % Failed 300.00 seconds PROBLEM 55 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). x + (x + g(x)) = h(x). % Problem 56 Given=1322. Generated=4160076. Kept=28231. proofs=0. User_CPU=300.00, System_CPU=1.55, Wall_clock=302. Process 4672 exit (max_seconds) Tue Jun 5 16:53:53 2007 (x + x)' + (x + x)' = g(x). x + (x + g(x)) = h(x). % Failed 300.00 seconds PROBLEM 56 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). (x + g(x))' = h(x). % Problem 57 Given=1684. Generated=3422987. Kept=24775. proofs=0. User_CPU=300.00, System_CPU=1.07, Wall_clock=301. Process 4677 exit (max_seconds) Tue Jun 5 16:58:54 2007 (x + x)' + (x + x)' = g(x). (x + g(x))' = h(x). % Failed 300.00 seconds PROBLEM 57 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). x + (x + (x + g(x))) = h(x). % Problem 58 Given=1000. Generated=3042376. Kept=25197. proofs=0. User_CPU=300.00, System_CPU=1.12, Wall_clock=301. Process 4682 exit (max_seconds) Tue Jun 5 17:03:55 2007 (x + x)' + (x + x)' = g(x). x + (x + (x + g(x))) = h(x). % Failed 300.00 seconds PROBLEM 58 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). x + (g(x) + x') = h(x). % Problem 59 Given=1343. Generated=3242381. Kept=24688. proofs=0. User_CPU=300.00, System_CPU=1.07, Wall_clock=301. Process 4687 exit (max_seconds) Tue Jun 5 17:08:56 2007 (x + x)' + (x + x)' = g(x). x + (g(x) + x') = h(x). % Failed 300.00 seconds PROBLEM 59 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). x + (x + (x + g(x)')) = h(x). % Problem 60 Given=1598. Generated=4001662. Kept=28602. proofs=0. User_CPU=300.00, System_CPU=1.32, Wall_clock=301. Process 4692 exit (max_seconds) Tue Jun 5 17:13:57 2007 (x + x)' + (x + x)' = g(x). x + (x + (x + g(x)')) = h(x). % Failed 300.00 seconds PROBLEM 60 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). x + (x + (g(x) + x')) = h(x). % Problem 61 Given=1214. Generated=2690457. Kept=25110. proofs=0. User_CPU=300.00, System_CPU=0.94, Wall_clock=301. Process 4697 exit (max_seconds) Tue Jun 5 17:18:58 2007 (x + x)' + (x + x)' = g(x). x + (x + (g(x) + x')) = h(x). % Failed 300.00 seconds PROBLEM 61 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). x + (g(x) + (x + x)') = h(x). % Problem 62 Given=1721. Generated=3887824. Kept=27362. proofs=0. User_CPU=300.00, System_CPU=1.42, Wall_clock=301. Process 4713 exit (max_seconds) Tue Jun 5 17:23:59 2007 (x + x)' + (x + x)' = g(x). x + (g(x) + (x + x)') = h(x). % Failed 300.00 seconds PROBLEM 62 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). (x + (x + g(x)))' = h(x). % Problem 63 Given=1703. Generated=3611556. Kept=24896. proofs=0. User_CPU=300.00, System_CPU=1.27, Wall_clock=302. Process 4718 exit (max_seconds) Tue Jun 5 17:29:01 2007 (x + x)' + (x + x)' = g(x). (x + (x + g(x)))' = h(x). % Failed 300.00 seconds PROBLEM 63 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). x + (x + (g(x) + (x + x)')) = h(x). % Problem 64 Given=1457. Generated=3608941. Kept=27874. proofs=0. User_CPU=300.00, System_CPU=1.32, Wall_clock=301. Process 4723 exit (max_seconds) Tue Jun 5 17:34:02 2007 (x + x)' + (x + x)' = g(x). x + (x + (g(x) + (x + x)')) = h(x). % Failed 300.00 seconds PROBLEM 64 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). x + (x + (x + (x + g(x))')) = h(x). % Problem 65 Given=1475. Generated=4004993. Kept=25839. proofs=0. User_CPU=300.00, System_CPU=1.50, Wall_clock=302. Process 4728 exit (max_seconds) Tue Jun 5 17:39:04 2007 (x + x)' + (x + x)' = g(x). x + (x + (x + (x + g(x))')) = h(x). % Failed 300.00 seconds PROBLEM 65 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). x + (x + (x + (x + (x + g(x))'))) = h(x). % Problem 66 Given=1468. Generated=4089123. Kept=24719. proofs=0. User_CPU=300.00, System_CPU=1.43, Wall_clock=301. Process 4733 exit (max_seconds) Tue Jun 5 17:44:05 2007 (x + x)' + (x + x)' = g(x). x + (x + (x + (x + (x + g(x))'))) = h(x). % Failed 300.00 seconds PROBLEM 66 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). x + (x + (x + g(x))') = h(x). % Problem 67 Given=1655. Generated=4171954. Kept=27384. proofs=0. User_CPU=300.00, System_CPU=1.44, Wall_clock=302. Process 4738 exit (max_seconds) Tue Jun 5 17:49:07 2007 (x + x)' + (x + x)' = g(x). x + (x + (x + g(x))') = h(x). % Failed 300.00 seconds PROBLEM 67 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). x + (x + g(x))' = h(x). % Problem 68 Given=1817. Generated=3840597. Kept=26267. proofs=0. User_CPU=300.00, System_CPU=1.43, Wall_clock=301. Process 4743 exit (max_seconds) Tue Jun 5 17:54:08 2007 (x + x)' + (x + x)' = g(x). x + (x + g(x))' = h(x). % Failed 300.00 seconds PROBLEM 68 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). (x + (x + (x + g(x))))' = h(x). % Problem 69 Given=1716. Generated=4087023. Kept=24642. proofs=0. User_CPU=300.00, System_CPU=1.51, Wall_clock=302. Process 4748 exit (max_seconds) Tue Jun 5 17:59:10 2007 (x + x)' + (x + x)' = g(x). (x + (x + (x + g(x))))' = h(x). % Failed 300.00 seconds PROBLEM 69 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). x + (x + (x + (x + (x + g(x)))')) = h(x). % Problem 70 Given=1489. Generated=4136446. Kept=24632. proofs=0. User_CPU=300.00, System_CPU=1.52, Wall_clock=301. Process 4754 exit (max_seconds) Tue Jun 5 18:04:11 2007 (x + x)' + (x + x)' = g(x). x + (x + (x + (x + (x + g(x)))')) = h(x). % Failed 300.00 seconds PROBLEM 70 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). x + (x + (x + (x + g(x)))') = h(x). % Problem 71 Given=1516. Generated=4010022. Kept=25268. proofs=0. User_CPU=300.00, System_CPU=1.23, Wall_clock=301. Process 4759 exit (max_seconds) Tue Jun 5 18:09:12 2007 (x + x)' + (x + x)' = g(x). x + (x + (x + (x + g(x)))') = h(x). % Failed 300.00 seconds PROBLEM 71 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). x + (x + (x + g(x)))' = h(x). % Problem 72 Given=1621. Generated=4017416. Kept=25504. proofs=0. User_CPU=300.00, System_CPU=1.59, Wall_clock=302. Process 4764 exit (max_seconds) Tue Jun 5 18:14:14 2007 (x + x)' + (x + x)' = g(x). x + (x + (x + g(x)))' = h(x). % Failed 300.00 seconds PROBLEM 72 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). x + (x + (x + (g(x) + (x + x)'))) = h(x). % Problem 73 Given=1389. Generated=3691519. Kept=29963. proofs=0. User_CPU=300.00, System_CPU=1.27, Wall_clock=301. Process 4769 exit (max_seconds) Tue Jun 5 18:19:15 2007 (x + x)' + (x + x)' = g(x). x + (x + (x + (g(x) + (x + x)'))) = h(x). % Failed 300.00 seconds PROBLEM 73 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). x + (g(x) + (x + (x + (x + x)))') = h(x). % Problem 74 Given=1517. Generated=4216305. Kept=24560. proofs=0. User_CPU=300.00, System_CPU=1.49, Wall_clock=302. Process 4777 exit (max_seconds) Tue Jun 5 18:24:17 2007 (x + x)' + (x + x)' = g(x). x + (g(x) + (x + (x + (x + x)))') = h(x). % Failed 300.00 seconds PROBLEM 74 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). x + (x + (g(x) + (x + (x + x))')) = h(x). % Problem 75 Given=1482. Generated=4134670. Kept=25204. proofs=0. User_CPU=300.00, System_CPU=1.43, Wall_clock=301. Process 4782 exit (max_seconds) Tue Jun 5 18:29:18 2007 (x + x)' + (x + x)' = g(x). x + (x + (g(x) + (x + (x + x))')) = h(x). % Failed 300.00 seconds PROBLEM 75 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). x + (g(x) + (x + (x + x))') = h(x). % Problem 76 Given=1523. Generated=4079699. Kept=26012. proofs=0. User_CPU=300.00, System_CPU=1.60, Wall_clock=302. Process 4787 exit (max_seconds) Tue Jun 5 18:34:20 2007 (x + x)' + (x + x)' = g(x). x + (g(x) + (x + (x + x))') = h(x). % Failed 300.00 seconds PROBLEM 76 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). x + (x + (x + (x + (x + g(x))))') = h(x). % Problem 77 Given=1503. Generated=4150461. Kept=24411. proofs=0. User_CPU=300.00, System_CPU=1.42, Wall_clock=301. Process 4792 exit (max_seconds) Tue Jun 5 18:39:21 2007 (x + x)' + (x + x)' = g(x). x + (x + (x + (x + (x + g(x))))') = h(x). % Failed 300.00 seconds PROBLEM 77 ---------------------------------------------------------------------- (x + x)' + (x + x)' = g(x). x + (x + (x + (x + g(x))))' = h(x). % Problem 78 Given=1514. Generated=4018168. Kept=24311. proofs=0. User_CPU=300.00, System_CPU=1.37, Wall_clock=302. Process 4797 exit (max_seconds) Tue Jun 5 18:44:23 2007 (x + x)' + (x + x)' = g(x). x + (x + (x + (x + g(x))))' = h(x). % Failed 300.00 seconds PROBLEM 78 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). x + g(x)' = h(x). % Problem 79 Given=1736. Generated=3475054. Kept=30194. proofs=0. User_CPU=300.00, System_CPU=1.42, Wall_clock=301. Process 4802 exit (max_seconds) Tue Jun 5 18:49:24 2007 x + (x' + (x + x)') = g(x). x + g(x)' = h(x). % Failed 300.00 seconds PROBLEM 79 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). x + (x + g(x)') = h(x). % Problem 80 Given=1609. Generated=3226188. Kept=25091. proofs=0. User_CPU=300.00, System_CPU=1.14, Wall_clock=301. Process 4807 exit (max_seconds) Tue Jun 5 18:54:25 2007 x + (x' + (x + x)') = g(x). x + (x + g(x)') = h(x). % Failed 300.00 seconds PROBLEM 80 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). x + (x + g(x)) = h(x). % Problem 81 Given=1312. Generated=3854196. Kept=28027. proofs=0. User_CPU=300.00, System_CPU=1.30, Wall_clock=302. Process 4812 exit (max_seconds) Tue Jun 5 18:59:27 2007 x + (x' + (x + x)') = g(x). x + (x + g(x)) = h(x). % Failed 300.00 seconds PROBLEM 81 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). (x + g(x))' = h(x). % Problem 82 Given=1622. Generated=3281607. Kept=24572. proofs=0. User_CPU=300.00, System_CPU=1.14, Wall_clock=301. Process 4817 exit (max_seconds) Tue Jun 5 19:04:28 2007 x + (x' + (x + x)') = g(x). (x + g(x))' = h(x). % Failed 300.00 seconds PROBLEM 82 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). x + (x + (x + g(x))) = h(x). % Problem 83 Given=1038. Generated=2870645. Kept=25610. proofs=0. User_CPU=300.00, System_CPU=1.12, Wall_clock=301. Process 4822 exit (max_seconds) Tue Jun 5 19:09:29 2007 x + (x' + (x + x)') = g(x). x + (x + (x + g(x))) = h(x). % Failed 300.00 seconds PROBLEM 83 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). x + (g(x) + x') = h(x). % Problem 84 Given=1407. Generated=3144258. Kept=25743. proofs=0. User_CPU=300.00, System_CPU=1.20, Wall_clock=301. Process 4827 exit (max_seconds) Tue Jun 5 19:14:30 2007 x + (x' + (x + x)') = g(x). x + (g(x) + x') = h(x). % Failed 300.00 seconds PROBLEM 84 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). x + (x + (x + g(x)')) = h(x). % Problem 85 Given=1425. Generated=3021301. Kept=24572. proofs=0. User_CPU=300.00, System_CPU=1.16, Wall_clock=301. Process 4832 exit (max_seconds) Tue Jun 5 19:19:31 2007 x + (x' + (x + x)') = g(x). x + (x + (x + g(x)')) = h(x). % Failed 300.00 seconds PROBLEM 85 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). x + (x + (g(x) + x')) = h(x). % Problem 86 Given=1320. Generated=2786645. Kept=26926. proofs=0. User_CPU=300.00, System_CPU=0.98, Wall_clock=301. Process 4840 exit (max_seconds) Tue Jun 5 19:24:32 2007 x + (x' + (x + x)') = g(x). x + (x + (g(x) + x')) = h(x). % Failed 300.00 seconds PROBLEM 86 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). x + (g(x) + (x + x)') = h(x). % Problem 87 Given=1521. Generated=3260583. Kept=26111. proofs=0. User_CPU=300.00, System_CPU=1.30, Wall_clock=302. Process 4845 exit (max_seconds) Tue Jun 5 19:29:34 2007 x + (x' + (x + x)') = g(x). x + (g(x) + (x + x)') = h(x). % Failed 300.00 seconds PROBLEM 87 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). (x + (x + g(x)))' = h(x). % Problem 88 Given=1652. Generated=3181569. Kept=24082. proofs=0. User_CPU=300.00, System_CPU=1.17, Wall_clock=301. Process 4850 exit (max_seconds) Tue Jun 5 19:34:35 2007 x + (x' + (x + x)') = g(x). (x + (x + g(x)))' = h(x). % Failed 300.00 seconds PROBLEM 88 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). x + (x + (g(x) + (x + x)')) = h(x). % Problem 89 Given=1489. Generated=3164868. Kept=26059. proofs=0. User_CPU=300.00, System_CPU=1.04, Wall_clock=301. Process 4855 exit (max_seconds) Tue Jun 5 19:39:36 2007 x + (x' + (x + x)') = g(x). x + (x + (g(x) + (x + x)')) = h(x). % Failed 300.00 seconds PROBLEM 89 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). x + (x + (x + (x + g(x))')) = h(x). % Problem 90 Given=1453. Generated=3304297. Kept=22686. proofs=0. User_CPU=300.00, System_CPU=1.27, Wall_clock=301. Process 4860 exit (max_seconds) Tue Jun 5 19:44:37 2007 x + (x' + (x + x)') = g(x). x + (x + (x + (x + g(x))')) = h(x). % Failed 300.00 seconds PROBLEM 90 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). x + (x + (x + (x + (x + g(x))'))) = h(x). % Problem 91 Given=1343. Generated=3485691. Kept=26117. proofs=0. User_CPU=300.00, System_CPU=1.16, Wall_clock=301. Process 4865 exit (max_seconds) Tue Jun 5 19:49:38 2007 x + (x' + (x + x)') = g(x). x + (x + (x + (x + (x + g(x))'))) = h(x). % Failed 300.00 seconds PROBLEM 91 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). x + (x + (x + g(x))') = h(x). % Problem 92 Given=1605. Generated=3283881. Kept=24309. proofs=0. User_CPU=300.00, System_CPU=1.38, Wall_clock=302. Process 4870 exit (max_seconds) Tue Jun 5 19:54:40 2007 x + (x' + (x + x)') = g(x). x + (x + (x + g(x))') = h(x). % Failed 300.00 seconds PROBLEM 92 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). x + (x + g(x))' = h(x). % Problem 93 Given=1680. Generated=3262822. Kept=27307. proofs=0. User_CPU=300.00, System_CPU=1.16, Wall_clock=301. Process 4875 exit (max_seconds) Tue Jun 5 19:59:41 2007 x + (x' + (x + x)') = g(x). x + (x + g(x))' = h(x). % Failed 300.00 seconds PROBLEM 93 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). (x + (x + (x + g(x))))' = h(x). % Problem 94 Given=1555. Generated=3301128. Kept=22978. proofs=0. User_CPU=300.00, System_CPU=1.20, Wall_clock=301. Process 4880 exit (max_seconds) Tue Jun 5 20:04:42 2007 x + (x' + (x + x)') = g(x). (x + (x + (x + g(x))))' = h(x). % Failed 300.00 seconds PROBLEM 94 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). x + (x + (x + (x + (x + g(x)))')) = h(x). % Problem 95 Given=1341. Generated=3516522. Kept=26360. proofs=0. User_CPU=300.00, System_CPU=1.10, Wall_clock=301. Process 4885 exit (max_seconds) Tue Jun 5 20:09:43 2007 x + (x' + (x + x)') = g(x). x + (x + (x + (x + (x + g(x)))')) = h(x). % Failed 300.00 seconds PROBLEM 95 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). x + (x + (x + (x + g(x)))') = h(x). % Problem 96 Given=1368. Generated=3426456. Kept=25543. proofs=0. User_CPU=300.00, System_CPU=1.36, Wall_clock=302. Process 4890 exit (max_seconds) Tue Jun 5 20:14:45 2007 x + (x' + (x + x)') = g(x). x + (x + (x + (x + g(x)))') = h(x). % Failed 300.00 seconds PROBLEM 96 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). x + (x + (x + g(x)))' = h(x). % Problem 97 Given=1456. Generated=3331998. Kept=23680. proofs=0. User_CPU=300.00, System_CPU=1.36, Wall_clock=301. Process 4895 exit (max_seconds) Tue Jun 5 20:19:46 2007 x + (x' + (x + x)') = g(x). x + (x + (x + g(x)))' = h(x). % Failed 300.00 seconds PROBLEM 97 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). x + (x + (x + (g(x) + (x + x)'))) = h(x). % Problem 98 Given=1367. Generated=3110766. Kept=28315. proofs=0. User_CPU=300.00, System_CPU=1.19, Wall_clock=301. Process 4903 exit (max_seconds) Tue Jun 5 20:24:47 2007 x + (x' + (x + x)') = g(x). x + (x + (x + (g(x) + (x + x)'))) = h(x). % Failed 300.00 seconds PROBLEM 98 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). x + (g(x) + (x + (x + (x + x)))') = h(x). % Problem 99 Given=1356. Generated=3548548. Kept=26181. proofs=0. User_CPU=300.00, System_CPU=1.39, Wall_clock=301. Process 4908 exit (max_seconds) Tue Jun 5 20:29:48 2007 x + (x' + (x + x)') = g(x). x + (g(x) + (x + (x + (x + x)))') = h(x). % Failed 300.00 seconds PROBLEM 99 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). x + (x + (g(x) + (x + (x + x))')) = h(x). % Problem 100 Given=1353. Generated=3516182. Kept=26403. proofs=0. User_CPU=300.00, System_CPU=1.25, Wall_clock=302. Process 4913 exit (max_seconds) Tue Jun 5 20:34:50 2007 x + (x' + (x + x)') = g(x). x + (x + (g(x) + (x + (x + x))')) = h(x). % Failed 300.00 seconds PROBLEM 100 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). x + (g(x) + (x + (x + x))') = h(x). % Problem 101 Given=1397. Generated=3482288. Kept=25352. proofs=0. User_CPU=300.00, System_CPU=1.31, Wall_clock=301. Process 4918 exit (max_seconds) Tue Jun 5 20:39:51 2007 x + (x' + (x + x)') = g(x). x + (g(x) + (x + (x + x))') = h(x). % Failed 300.00 seconds PROBLEM 101 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). x + (x + (x + (x + (x + g(x))))') = h(x). % Problem 102 Given=1344. Generated=3511038. Kept=25868. proofs=0. User_CPU=300.00, System_CPU=1.31, Wall_clock=301. Process 4923 exit (max_seconds) Tue Jun 5 20:44:52 2007 x + (x' + (x + x)') = g(x). x + (x + (x + (x + (x + g(x))))') = h(x). % Failed 300.00 seconds PROBLEM 102 ---------------------------------------------------------------------- x + (x' + (x + x)') = g(x). x + (x + (x + (x + g(x))))' = h(x). % Problem 103 Given=1354. Generated=3390182. Kept=25398. proofs=0. User_CPU=300.00, System_CPU=1.20, Wall_clock=302. Process 4928 exit (max_seconds) Tue Jun 5 20:49:54 2007 x + (x' + (x + x)') = g(x). x + (x + (x + (x + g(x))))' = h(x). % Failed 300.00 seconds PROBLEM 103 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). x + g(x)' = h(x). % Problem 104 Given=2001. Generated=3874641. Kept=30405. proofs=0. User_CPU=300.00, System_CPU=1.50, Wall_clock=301. Process 4933 exit (max_seconds) Tue Jun 5 20:54:55 2007 x + (x + (x + x)') = g(x). x + g(x)' = h(x). % Failed 300.00 seconds PROBLEM 104 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). x + (x + g(x)') = h(x). % Problem 105 Given=1978. Generated=3718853. Kept=26166. proofs=0. User_CPU=300.00, System_CPU=1.16, Wall_clock=301. Process 4938 exit (max_seconds) Tue Jun 5 20:59:56 2007 x + (x + (x + x)') = g(x). x + (x + g(x)') = h(x). % Failed 300.00 seconds PROBLEM 105 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). x + (x + g(x)) = h(x). % Problem 106 Given=1200. Generated=3774635. Kept=30040. proofs=0. User_CPU=300.00, System_CPU=1.42, Wall_clock=302. Process 4943 exit (max_seconds) Tue Jun 5 21:04:58 2007 x + (x + (x + x)') = g(x). x + (x + g(x)) = h(x). % Failed 300.00 seconds PROBLEM 106 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). (x + g(x))' = h(x). % Problem 107 Given=1693. Generated=3410128. Kept=25185. proofs=0. User_CPU=300.00, System_CPU=1.31, Wall_clock=301. Process 4948 exit (max_seconds) Tue Jun 5 21:09:59 2007 x + (x + (x + x)') = g(x). (x + g(x))' = h(x). % Failed 300.00 seconds PROBLEM 107 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). x + (x + (x + g(x))) = h(x). % Problem 108 Given=1029. Generated=2669907. Kept=26249. proofs=0. User_CPU=300.00, System_CPU=1.04, Wall_clock=301. Process 4953 exit (max_seconds) Tue Jun 5 21:15:00 2007 x + (x + (x + x)') = g(x). x + (x + (x + g(x))) = h(x). % Failed 300.00 seconds PROBLEM 108 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). x + (g(x) + x') = h(x). % Problem 109 Given=1370. Generated=3195398. Kept=24841. proofs=0. User_CPU=300.00, System_CPU=1.15, Wall_clock=301. Process 4958 exit (max_seconds) Tue Jun 5 21:20:01 2007 x + (x + (x + x)') = g(x). x + (g(x) + x') = h(x). % Failed 300.00 seconds PROBLEM 109 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). x + (x + (x + g(x)')) = h(x). % Problem 110 Given=1841. Generated=3675736. Kept=25698. proofs=0. User_CPU=300.00, System_CPU=1.30, Wall_clock=301. Process 4966 exit (max_seconds) Tue Jun 5 21:25:02 2007 x + (x + (x + x)') = g(x). x + (x + (x + g(x)')) = h(x). % Failed 300.00 seconds PROBLEM 110 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). x + (x + (g(x) + x')) = h(x). % Problem 111 Given=1288. Generated=2769425. Kept=25006. proofs=0. User_CPU=300.00, System_CPU=1.11, Wall_clock=301. Process 4971 exit (max_seconds) Tue Jun 5 21:30:04 2007 x + (x + (x + x)') = g(x). x + (x + (g(x) + x')) = h(x). % Failed 300.00 seconds PROBLEM 111 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). x + (g(x) + (x + x)') = h(x). % Problem 112 Given=1593. Generated=4408346. Kept=34240. proofs=0. User_CPU=300.00, System_CPU=1.69, Wall_clock=301. Process 4976 exit (max_seconds) Tue Jun 5 21:35:05 2007 x + (x + (x + x)') = g(x). x + (g(x) + (x + x)') = h(x). % Failed 300.00 seconds PROBLEM 112 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). (x + (x + g(x)))' = h(x). % Problem 113 Given=1773. Generated=3314983. Kept=24838. proofs=0. User_CPU=300.00, System_CPU=1.24, Wall_clock=302. Process 4981 exit (max_seconds) Tue Jun 5 21:40:07 2007 x + (x + (x + x)') = g(x). (x + (x + g(x)))' = h(x). % Failed 300.00 seconds PROBLEM 113 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). x + (x + (g(x) + (x + x)')) = h(x). % Problem 114 Given=1599. Generated=4657796. Kept=28354. proofs=0. User_CPU=300.00, System_CPU=1.58, Wall_clock=301. Process 4986 exit (max_seconds) Tue Jun 5 21:45:08 2007 x + (x + (x + x)') = g(x). x + (x + (g(x) + (x + x)')) = h(x). % Failed 300.00 seconds PROBLEM 114 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). x + (x + (x + (x + g(x))')) = h(x). % Problem 115 Given=1573. Generated=3982538. Kept=27843. proofs=0. User_CPU=300.00, System_CPU=1.43, Wall_clock=302. Process 4991 exit (max_seconds) Tue Jun 5 21:50:10 2007 x + (x + (x + x)') = g(x). x + (x + (x + (x + g(x))')) = h(x). % Failed 300.00 seconds PROBLEM 115 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). x + (x + (x + (x + (x + g(x))'))) = h(x). % Problem 116 Given=1557. Generated=4114435. Kept=27847. proofs=0. User_CPU=300.00, System_CPU=1.62, Wall_clock=301. Process 4996 exit (max_seconds) Tue Jun 5 21:55:11 2007 x + (x + (x + x)') = g(x). x + (x + (x + (x + (x + g(x))'))) = h(x). % Failed 300.00 seconds PROBLEM 116 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). x + (x + (x + g(x))') = h(x). % Problem 117 Given=1736. Generated=4095955. Kept=25378. proofs=0. User_CPU=300.00, System_CPU=1.52, Wall_clock=302. Process 5001 exit (max_seconds) Tue Jun 5 22:00:13 2007 x + (x + (x + x)') = g(x). x + (x + (x + g(x))') = h(x). % Failed 300.00 seconds PROBLEM 117 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). x + (x + g(x))' = h(x). % Problem 118 Given=1856. Generated=3651917. Kept=27587. proofs=0. User_CPU=300.00, System_CPU=1.41, Wall_clock=301. Process 5006 exit (max_seconds) Tue Jun 5 22:05:14 2007 x + (x + (x + x)') = g(x). x + (x + g(x))' = h(x). % Failed 300.00 seconds PROBLEM 118 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). (x + (x + (x + g(x))))' = h(x). % Problem 119 Given=1778. Generated=3997813. Kept=24107. proofs=0. User_CPU=300.00, System_CPU=1.43, Wall_clock=302. Process 5012 exit (max_seconds) Tue Jun 5 22:10:16 2007 x + (x + (x + x)') = g(x). (x + (x + (x + g(x))))' = h(x). % Failed 300.00 seconds PROBLEM 119 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). x + (x + (x + (x + (x + g(x)))')) = h(x). % Problem 120 Given=1588. Generated=4182333. Kept=27801. proofs=0. User_CPU=300.00, System_CPU=1.61, Wall_clock=301. Process 5017 exit (max_seconds) Tue Jun 5 22:15:17 2007 x + (x + (x + x)') = g(x). x + (x + (x + (x + (x + g(x)))')) = h(x). % Failed 300.00 seconds PROBLEM 120 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). x + (x + (x + (x + g(x)))') = h(x). % Problem 121 Given=1609. Generated=4011436. Kept=27119. proofs=0. User_CPU=300.00, System_CPU=1.56, Wall_clock=302. Process 5030 exit (max_seconds) Tue Jun 5 22:20:19 2007 x + (x + (x + x)') = g(x). x + (x + (x + (x + g(x)))') = h(x). % Failed 300.00 seconds PROBLEM 121 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). x + (x + (x + g(x)))' = h(x). % Problem 122 Given=1631. Generated=3937480. Kept=25310. proofs=0. User_CPU=300.00, System_CPU=1.28, Wall_clock=301. Process 5038 exit (max_seconds) Tue Jun 5 22:25:20 2007 x + (x + (x + x)') = g(x). x + (x + (x + g(x)))' = h(x). % Failed 300.00 seconds PROBLEM 122 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). x + (x + (x + (g(x) + (x + x)'))) = h(x). % Problem 123 Given=1359. Generated=4062868. Kept=30237. proofs=0. User_CPU=300.00, System_CPU=1.46, Wall_clock=302. Process 5043 exit (max_seconds) Tue Jun 5 22:30:22 2007 x + (x + (x + x)') = g(x). x + (x + (x + (g(x) + (x + x)'))) = h(x). % Failed 300.00 seconds PROBLEM 123 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). x + (g(x) + (x + (x + (x + x)))') = h(x). % Problem 124 Given=1604. Generated=4193613. Kept=27574. proofs=0. User_CPU=300.00, System_CPU=1.32, Wall_clock=301. Process 5048 exit (max_seconds) Tue Jun 5 22:35:23 2007 x + (x + (x + x)') = g(x). x + (g(x) + (x + (x + (x + x)))') = h(x). % Failed 300.00 seconds PROBLEM 124 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). x + (x + (g(x) + (x + (x + x))')) = h(x). % Problem 125 Given=1567. Generated=4143079. Kept=28127. proofs=0. User_CPU=300.00, System_CPU=1.47, Wall_clock=301. Process 5053 exit (max_seconds) Tue Jun 5 22:40:24 2007 x + (x + (x + x)') = g(x). x + (x + (g(x) + (x + (x + x))')) = h(x). % Failed 300.00 seconds PROBLEM 125 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). x + (g(x) + (x + (x + x))') = h(x). % Problem 126 Given=1609. Generated=4043200. Kept=27798. proofs=0. User_CPU=300.00, System_CPU=1.41, Wall_clock=302. Process 5059 exit (max_seconds) Tue Jun 5 22:45:26 2007 x + (x + (x + x)') = g(x). x + (g(x) + (x + (x + x))') = h(x). % Failed 300.00 seconds PROBLEM 126 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). x + (x + (x + (x + (x + g(x))))') = h(x). % Problem 127 Given=1607. Generated=4193761. Kept=27393. proofs=0. User_CPU=300.00, System_CPU=1.54, Wall_clock=301. Process 5064 exit (max_seconds) Tue Jun 5 22:50:27 2007 x + (x + (x + x)') = g(x). x + (x + (x + (x + (x + g(x))))') = h(x). % Failed 300.00 seconds PROBLEM 127 ---------------------------------------------------------------------- x + (x + (x + x)') = g(x). x + (x + (x + (x + g(x))))' = h(x). % Problem 128 Given=1589. Generated=3982982. Kept=27017. proofs=0. User_CPU=300.00, System_CPU=1.39, Wall_clock=302. Process 5069 exit (max_seconds) Tue Jun 5 22:55:29 2007 x + (x + (x + x)') = g(x). x + (x + (x + (x + g(x))))' = h(x). % Failed 300.00 seconds PROBLEM 128 ---------------------------------------------------------------------- x' + (x + x)' = g(x). x + g(x)' = h(x). % Problem 129 Given=1676. Generated=3400931. Kept=29193. proofs=0. User_CPU=300.00, System_CPU=1.32, Wall_clock=301. Process 5074 exit (max_seconds) Tue Jun 5 23:00:30 2007 x' + (x + x)' = g(x). x + g(x)' = h(x). % Failed 300.00 seconds PROBLEM 129 ---------------------------------------------------------------------- x' + (x + x)' = g(x). x + (x + g(x)') = h(x). % Problem 130 Given=1523. Generated=3329895. Kept=24942. proofs=0. User_CPU=300.00, System_CPU=1.22, Wall_clock=301. Process 5079 exit (max_seconds) Tue Jun 5 23:05:31 2007 x' + (x + x)' = g(x). x + (x + g(x)') = h(x). % Failed 300.00 seconds PROBLEM 130 ---------------------------------------------------------------------- x' + (x + x)' = g(x). x + (x + g(x)) = h(x). % Problem 131 Given=1252. Generated=3952170. Kept=28230. proofs=0. User_CPU=300.00, System_CPU=1.24, Wall_clock=301. Process 5084 exit (max_seconds) Tue Jun 5 23:10:32 2007 x' + (x + x)' = g(x). x + (x + g(x)) = h(x). % Failed 300.00 seconds PROBLEM 131 ---------------------------------------------------------------------- x' + (x + x)' = g(x). (x + g(x))' = h(x). % Problem 132 Given=1555. Generated=3213262. Kept=24874. proofs=0. User_CPU=300.00, System_CPU=1.25, Wall_clock=302. Process 5089 exit (max_seconds) Tue Jun 5 23:15:34 2007 x' + (x + x)' = g(x). (x + g(x))' = h(x). % Failed 300.00 seconds PROBLEM 132 ---------------------------------------------------------------------- x' + (x + x)' = g(x). x + (x + (x + g(x))) = h(x). % Problem 133 Given=1056. Generated=3106462. Kept=26534. proofs=0. User_CPU=300.00, System_CPU=0.94, Wall_clock=301. Process 5094 exit (max_seconds) Tue Jun 5 23:20:35 2007 x' + (x + x)' = g(x). x + (x + (x + g(x))) = h(x). % Failed 300.00 seconds PROBLEM 133 ---------------------------------------------------------------------- x' + (x + x)' = g(x). x + (g(x) + x') = h(x). % Problem 134 Given=1352. Generated=3050841. Kept=27553. proofs=0. User_CPU=300.00, System_CPU=1.21, Wall_clock=301. Process 5102 exit (max_seconds) Tue Jun 5 23:25:36 2007 x' + (x + x)' = g(x). x + (g(x) + x') = h(x). % Failed 300.00 seconds PROBLEM 134 ---------------------------------------------------------------------- x' + (x + x)' = g(x). x + (x + (x + g(x)')) = h(x). % Problem 135 Given=1423. Generated=3198502. Kept=24671. proofs=0. User_CPU=300.00, System_CPU=1.17, Wall_clock=301. Process 5107 exit (max_seconds) Tue Jun 5 23:30:37 2007 x' + (x + x)' = g(x). x + (x + (x + g(x)')) = h(x). % Failed 300.00 seconds PROBLEM 135 ---------------------------------------------------------------------- x' + (x + x)' = g(x). x + (x + (g(x) + x')) = h(x). % Problem 136 Given=1223. Generated=2819521. Kept=24113. proofs=0. User_CPU=300.00, System_CPU=1.17, Wall_clock=301. Process 5112 exit (max_seconds) Tue Jun 5 23:35:38 2007 x' + (x + x)' = g(x). x + (x + (g(x) + x')) = h(x). % Failed 300.00 seconds PROBLEM 136 ---------------------------------------------------------------------- x' + (x + x)' = g(x). x + (g(x) + (x + x)') = h(x). % Problem 137 Given=1460. Generated=3052292. Kept=25570. proofs=0. User_CPU=300.00, System_CPU=1.17, Wall_clock=301. Process 5117 exit (max_seconds) Tue Jun 5 23:40:39 2007 x' + (x + x)' = g(x). x + (g(x) + (x + x)') = h(x). % Failed 300.00 seconds PROBLEM 137 ---------------------------------------------------------------------- x' + (x + x)' = g(x). (x + (x + g(x)))' = h(x). % Problem 138 Given=1559. Generated=3136330. Kept=24153. proofs=0. User_CPU=300.00, System_CPU=1.21, Wall_clock=302. Process 5122 exit (max_seconds) Tue Jun 5 23:45:41 2007 x' + (x + x)' = g(x). (x + (x + g(x)))' = h(x). % Failed 300.00 seconds PROBLEM 138 ---------------------------------------------------------------------- x' + (x + x)' = g(x). x + (x + (g(x) + (x + x)')) = h(x). % Problem 139 Given=1358. Generated=3021937. Kept=24160. proofs=0. User_CPU=300.00, System_CPU=1.20, Wall_clock=301. Process 5127 exit (max_seconds) Tue Jun 5 23:50:42 2007 x' + (x + x)' = g(x). x + (x + (g(x) + (x + x)')) = h(x). % Failed 300.00 seconds PROBLEM 139 ---------------------------------------------------------------------- x' + (x + x)' = g(x). x + (x + (x + (x + g(x))')) = h(x). % Problem 140 Given=1298. Generated=3434491. Kept=24007. proofs=0. User_CPU=300.00, System_CPU=1.24, Wall_clock=301. Process 5132 exit (max_seconds) Tue Jun 5 23:55:43 2007 x' + (x + x)' = g(x). x + (x + (x + (x + g(x))')) = h(x). % Failed 300.00 seconds PROBLEM 140 ---------------------------------------------------------------------- x' + (x + x)' = g(x). x + (x + (x + (x + (x + g(x))'))) = h(x). % Problem 141 Given=1296. Generated=3487260. Kept=25252. proofs=0. User_CPU=300.00, System_CPU=1.26, Wall_clock=301. Process 5137 exit (max_seconds) Wed Jun 6 00:00:44 2007 x' + (x + x)' = g(x). x + (x + (x + (x + (x + g(x))'))) = h(x). % Failed 300.00 seconds PROBLEM 141 ---------------------------------------------------------------------- x' + (x + x)' = g(x). x + (x + (x + g(x))') = h(x). % Problem 142 Given=1424. Generated=3197854. Kept=24559. proofs=0. User_CPU=300.00, System_CPU=1.11, Wall_clock=302. Process 5142 exit (max_seconds) Wed Jun 6 00:05:46 2007 x' + (x + x)' = g(x). x + (x + (x + g(x))') = h(x). % Failed 300.00 seconds PROBLEM 142 ---------------------------------------------------------------------- x' + (x + x)' = g(x). x + (x + g(x))' = h(x). % Problem 143 Given=1622. Generated=3731714. Kept=25502. proofs=0. User_CPU=300.00, System_CPU=1.39, Wall_clock=301. Process 5147 exit (max_seconds) Wed Jun 6 00:10:47 2007 x' + (x + x)' = g(x). x + (x + g(x))' = h(x). % Failed 300.00 seconds PROBLEM 143 ---------------------------------------------------------------------- x' + (x + x)' = g(x). (x + (x + (x + g(x))))' = h(x). % Problem 144 Given=1496. Generated=3215178. Kept=23198. proofs=0. User_CPU=300.00, System_CPU=1.25, Wall_clock=301. Process 5152 exit (max_seconds) Wed Jun 6 00:15:48 2007 x' + (x + x)' = g(x). (x + (x + (x + g(x))))' = h(x). % Failed 300.00 seconds PROBLEM 144 ---------------------------------------------------------------------- x' + (x + x)' = g(x). x + (x + (x + (x + (x + g(x)))')) = h(x). % Problem 145 Given=1306. Generated=3495940. Kept=24923. proofs=0. User_CPU=300.00, System_CPU=1.41, Wall_clock=302. Process 5157 exit (max_seconds) Wed Jun 6 00:20:50 2007 x' + (x + x)' = g(x). x + (x + (x + (x + (x + g(x)))')) = h(x). % Failed 300.00 seconds PROBLEM 145 ---------------------------------------------------------------------- x' + (x + x)' = g(x). x + (x + (x + (x + g(x)))') = h(x). % Problem 146 Given=1340. Generated=3508405. Kept=23485. proofs=0. User_CPU=300.00, System_CPU=1.19, Wall_clock=301. Process 5165 exit (max_seconds) Wed Jun 6 00:25:51 2007 x' + (x + x)' = g(x). x + (x + (x + (x + g(x)))') = h(x). % Failed 300.00 seconds PROBLEM 146 ---------------------------------------------------------------------- x' + (x + x)' = g(x). x + (x + (x + g(x)))' = h(x). % Problem 147 Given=1490. Generated=3224072. Kept=24879. proofs=0. User_CPU=300.00, System_CPU=1.13, Wall_clock=301. Process 5170 exit (max_seconds) Wed Jun 6 00:30:52 2007 x' + (x + x)' = g(x). x + (x + (x + g(x)))' = h(x). % Failed 300.00 seconds PROBLEM 147 ---------------------------------------------------------------------- x' + (x + x)' = g(x). x + (x + (x + (g(x) + (x + x)'))) = h(x). % Problem 148 Given=1388. Generated=3180836. Kept=24453. proofs=0. User_CPU=300.00, System_CPU=1.13, Wall_clock=301. Process 5175 exit (max_seconds) Wed Jun 6 00:35:53 2007 x' + (x + x)' = g(x). x + (x + (x + (g(x) + (x + x)'))) = h(x). % Failed 300.00 seconds PROBLEM 148 ---------------------------------------------------------------------- x' + (x + x)' = g(x). x + (g(x) + (x + (x + (x + x)))') = h(x). % Problem 149 Given=1311. Generated=3520604. Kept=24549. proofs=0. User_CPU=300.00, System_CPU=1.34, Wall_clock=302. Process 5180 exit (max_seconds) Wed Jun 6 00:40:55 2007 x' + (x + x)' = g(x). x + (g(x) + (x + (x + (x + x)))') = h(x). % Failed 300.00 seconds PROBLEM 149 ---------------------------------------------------------------------- x' + (x + x)' = g(x). x + (x + (g(x) + (x + (x + x))')) = h(x). % Problem 150 Given=1309. Generated=3532344. Kept=25550. proofs=0. User_CPU=300.00, System_CPU=1.24, Wall_clock=301. Process 5185 exit (max_seconds) Wed Jun 6 00:45:56 2007 x' + (x + x)' = g(x). x + (x + (g(x) + (x + (x + x))')) = h(x). % Failed 300.00 seconds PROBLEM 150 ---------------------------------------------------------------------- x' + (x + x)' = g(x). x + (g(x) + (x + (x + x))') = h(x). % Problem 151 Given=1332. Generated=3512843. Kept=23773. proofs=0. User_CPU=300.00, System_CPU=1.40, Wall_clock=302. Process 5190 exit (max_seconds) Wed Jun 6 00:50:58 2007 x' + (x + x)' = g(x). x + (g(x) + (x + (x + x))') = h(x). % Failed 300.00 seconds PROBLEM 151 ---------------------------------------------------------------------- x' + (x + x)' = g(x). x + (x + (x + (x + (x + g(x))))') = h(x). % Problem 152 Given=1290. Generated=3458881. Kept=24273. proofs=0. User_CPU=300.00, System_CPU=1.34, Wall_clock=301. Process 5195 exit (max_seconds) Wed Jun 6 00:55:59 2007 x' + (x + x)' = g(x). x + (x + (x + (x + (x + g(x))))') = h(x). % Failed 300.00 seconds PROBLEM 152 ---------------------------------------------------------------------- x' + (x + x)' = g(x). x + (x + (x + (x + g(x))))' = h(x). % Problem 153 Given=1297. Generated=3473633. Kept=24197. proofs=0. User_CPU=300.00, System_CPU=1.25, Wall_clock=301. Process 5200 exit (max_seconds) Wed Jun 6 01:01:00 2007 x' + (x + x)' = g(x). x + (x + (x + (x + g(x))))' = h(x). % Failed 300.00 seconds PROBLEM 153 ---------------------------------------------------------------------- x + (x + x)' = g(x). x + g(x)' = h(x). % Problem 154 Given=1904. Generated=3327116. Kept=29001. proofs=0. User_CPU=300.00, System_CPU=1.29, Wall_clock=302. Process 5205 exit (max_seconds) Wed Jun 6 01:06:02 2007 x + (x + x)' = g(x). x + g(x)' = h(x). % Failed 300.00 seconds PROBLEM 154 ---------------------------------------------------------------------- x + (x + x)' = g(x). x + (x + g(x)') = h(x). % Problem 155 Given=1756. Generated=3293516. Kept=26511. proofs=0. User_CPU=300.00, System_CPU=1.28, Wall_clock=301. Process 5210 exit (max_seconds) Wed Jun 6 01:11:03 2007 x + (x + x)' = g(x). x + (x + g(x)') = h(x). % Failed 300.00 seconds PROBLEM 155 ---------------------------------------------------------------------- x + (x + x)' = g(x). x + (x + g(x)) = h(x). % Problem 156 Given=1210. Generated=3803712. Kept=28447. proofs=0. User_CPU=300.00, System_CPU=1.36, Wall_clock=301. Process 5215 exit (max_seconds) Wed Jun 6 01:16:04 2007 x + (x + x)' = g(x). x + (x + g(x)) = h(x). % Failed 300.00 seconds PROBLEM 156 ---------------------------------------------------------------------- x + (x + x)' = g(x). (x + g(x))' = h(x). % Problem 157 Given=1639. Generated=3295149. Kept=25541. proofs=0. User_CPU=300.00, System_CPU=1.19, Wall_clock=301. Process 5220 exit (max_seconds) Wed Jun 6 01:21:06 2007 x + (x + x)' = g(x). (x + g(x))' = h(x). % Failed 300.00 seconds PROBLEM 157 ---------------------------------------------------------------------- x + (x + x)' = g(x). x + (x + (x + g(x))) = h(x). % Problem 158 Given=1120. Generated=2883895. Kept=26747. proofs=0. User_CPU=300.00, System_CPU=1.17, Wall_clock=301. Process 5228 exit (max_seconds) Wed Jun 6 01:26:07 2007 x + (x + x)' = g(x). x + (x + (x + g(x))) = h(x). % Failed 300.00 seconds PROBLEM 158 ---------------------------------------------------------------------- x + (x + x)' = g(x). x + (g(x) + x') = h(x). % Problem 159 Given=1553. Generated=3244842. Kept=26309. proofs=0. User_CPU=300.00, System_CPU=1.32, Wall_clock=301. Process 5233 exit (max_seconds) Wed Jun 6 01:31:08 2007 x + (x + x)' = g(x). x + (g(x) + x') = h(x). % Failed 300.00 seconds PROBLEM 159 ---------------------------------------------------------------------- x + (x + x)' = g(x). x + (x + (x + g(x)')) = h(x). % Problem 160 Given=1648. Generated=3142836. Kept=25584. proofs=0. User_CPU=300.00, System_CPU=1.10, Wall_clock=301. Process 5238 exit (max_seconds) Wed Jun 6 01:36:09 2007 x + (x + x)' = g(x). x + (x + (x + g(x)')) = h(x). % Failed 300.00 seconds PROBLEM 160 ---------------------------------------------------------------------- x + (x + x)' = g(x). x + (x + (g(x) + x')) = h(x). % Problem 161 Given=1319. Generated=2710535. Kept=26874. proofs=0. User_CPU=300.00, System_CPU=1.04, Wall_clock=302. Process 5243 exit (max_seconds) Wed Jun 6 01:41:11 2007 x + (x + x)' = g(x). x + (x + (g(x) + x')) = h(x). % Failed 300.00 seconds PROBLEM 161 ---------------------------------------------------------------------- x + (x + x)' = g(x). x + (g(x) + (x + x)') = h(x). % Problem 162 Given=1634. Generated=4518749. Kept=28167. proofs=0. User_CPU=300.00, System_CPU=1.75, Wall_clock=301. Process 5248 exit (max_seconds) Wed Jun 6 01:46:12 2007 x + (x + x)' = g(x). x + (g(x) + (x + x)') = h(x). % Failed 300.00 seconds PROBLEM 162 ---------------------------------------------------------------------- x + (x + x)' = g(x). (x + (x + g(x)))' = h(x). % Problem 163 Given=1669. Generated=3066825. Kept=25761. proofs=0. User_CPU=300.00, System_CPU=1.10, Wall_clock=301. Process 5253 exit (max_seconds) Wed Jun 6 01:51:13 2007 x + (x + x)' = g(x). (x + (x + g(x)))' = h(x). % Failed 300.00 seconds PROBLEM 163 ---------------------------------------------------------------------- x + (x + x)' = g(x). x + (x + (g(x) + (x + x)')) = h(x). % Problem 164 Given=1391. Generated=4170277. Kept=28666. proofs=0. User_CPU=300.00, System_CPU=1.53, Wall_clock=302. Process 5258 exit (max_seconds) Wed Jun 6 01:56:15 2007 x + (x + x)' = g(x). x + (x + (g(x) + (x + x)')) = h(x). % Failed 300.00 seconds PROBLEM 164 ---------------------------------------------------------------------- x + (x + x)' = g(x). x + (x + (x + (x + g(x))')) = h(x). % Problem 165 Given=1521. Generated=3120899. Kept=26297. proofs=0. User_CPU=300.00, System_CPU=1.23, Wall_clock=301. Process 5263 exit (max_seconds) Wed Jun 6 02:01:16 2007 x + (x + x)' = g(x). x + (x + (x + (x + g(x))')) = h(x). % Failed 300.00 seconds PROBLEM 165 ---------------------------------------------------------------------- x + (x + x)' = g(x). x + (x + (x + (x + (x + g(x))'))) = h(x). % Problem 166 Given=1527. Generated=3178998. Kept=26310. proofs=0. User_CPU=300.00, System_CPU=1.15, Wall_clock=301. Process 5268 exit (max_seconds) Wed Jun 6 02:06:17 2007 x + (x + x)' = g(x). x + (x + (x + (x + (x + g(x))'))) = h(x). % Failed 300.00 seconds PROBLEM 166 ---------------------------------------------------------------------- x + (x + x)' = g(x). x + (x + (x + g(x))') = h(x). % Problem 167 Given=1570. Generated=3161087. Kept=25634. proofs=0. User_CPU=300.00, System_CPU=1.18, Wall_clock=302. Process 5273 exit (max_seconds) Wed Jun 6 02:11:19 2007 x + (x + x)' = g(x). x + (x + (x + g(x))') = h(x). % Failed 300.00 seconds PROBLEM 167 ---------------------------------------------------------------------- x + (x + x)' = g(x). x + (x + g(x))' = h(x). % Problem 168 Given=1653. Generated=3190569. Kept=26527. proofs=0. User_CPU=300.00, System_CPU=1.32, Wall_clock=301. Process 5278 exit (max_seconds) Wed Jun 6 02:16:20 2007 x + (x + x)' = g(x). x + (x + g(x))' = h(x). % Failed 300.00 seconds PROBLEM 168 ---------------------------------------------------------------------- x + (x + x)' = g(x). (x + (x + (x + g(x))))' = h(x). % Problem 169 Given=1632. Generated=3134898. Kept=26133. proofs=0. User_CPU=300.00, System_CPU=1.16, Wall_clock=301. Process 5283 exit (max_seconds) Wed Jun 6 02:21:21 2007 x + (x + x)' = g(x). (x + (x + (x + g(x))))' = h(x). % Failed 300.00 seconds PROBLEM 169 ---------------------------------------------------------------------- x + (x + x)' = g(x). x + (x + (x + (x + (x + g(x)))')) = h(x). % Problem 170 Given=1523. Generated=3177658. Kept=26207. proofs=0. User_CPU=300.00, System_CPU=1.29, Wall_clock=301. Process 5291 exit (max_seconds) Wed Jun 6 02:26:22 2007 x + (x + x)' = g(x). x + (x + (x + (x + (x + g(x)))')) = h(x). % Failed 300.00 seconds PROBLEM 170 ---------------------------------------------------------------------- x + (x + x)' = g(x). x + (x + (x + (x + g(x)))') = h(x). % Problem 171 Given=1541. Generated=3140213. Kept=26133. proofs=0. User_CPU=300.00, System_CPU=1.22, Wall_clock=302. Process 5296 exit (max_seconds) Wed Jun 6 02:31:24 2007 x + (x + x)' = g(x). x + (x + (x + (x + g(x)))') = h(x). % Failed 300.00 seconds PROBLEM 171 ---------------------------------------------------------------------- x + (x + x)' = g(x). x + (x + (x + g(x)))' = h(x). % Problem 172 Given=1565. Generated=3126068. Kept=25910. proofs=0. User_CPU=300.00, System_CPU=1.16, Wall_clock=301. Process 5301 exit (max_seconds) Wed Jun 6 02:36:25 2007 x + (x + x)' = g(x). x + (x + (x + g(x)))' = h(x). % Failed 300.00 seconds PROBLEM 172 ---------------------------------------------------------------------- x + (x + x)' = g(x). x + (x + (x + (g(x) + (x + x)'))) = h(x). % Problem 173 Given=1149. Generated=2960250. Kept=27788. proofs=0. User_CPU=300.00, System_CPU=1.16, Wall_clock=301. Process 5306 exit (max_seconds) Wed Jun 6 02:41:26 2007 x + (x + x)' = g(x). x + (x + (x + (g(x) + (x + x)'))) = h(x). % Failed 300.00 seconds PROBLEM 173 ---------------------------------------------------------------------- x + (x + x)' = g(x). x + (g(x) + (x + (x + (x + x)))') = h(x). % Problem 174 Given=1554. Generated=3209662. Kept=26088. proofs=0. User_CPU=300.00, System_CPU=1.14, Wall_clock=301. Process 5311 exit (max_seconds) Wed Jun 6 02:46:27 2007 x + (x + x)' = g(x). x + (g(x) + (x + (x + (x + x)))') = h(x). % Failed 300.00 seconds PROBLEM 174 ---------------------------------------------------------------------- x + (x + x)' = g(x). x + (x + (g(x) + (x + (x + x))')) = h(x). % Problem 175 Given=1532. Generated=3232326. Kept=26858. proofs=0. User_CPU=300.00, System_CPU=1.02, Wall_clock=301. Process 5316 exit (max_seconds) Wed Jun 6 02:51:28 2007 x + (x + x)' = g(x). x + (x + (g(x) + (x + (x + x))')) = h(x). % Failed 300.00 seconds PROBLEM 175 ---------------------------------------------------------------------- x + (x + x)' = g(x). x + (g(x) + (x + (x + x))') = h(x). % Problem 176 Given=1626. Generated=3205229. Kept=26318. proofs=0. User_CPU=300.00, System_CPU=1.17, Wall_clock=301. Process 5321 exit (max_seconds) Wed Jun 6 02:56:29 2007 x + (x + x)' = g(x). x + (g(x) + (x + (x + x))') = h(x). % Failed 300.00 seconds PROBLEM 176 ---------------------------------------------------------------------- x + (x + x)' = g(x). x + (x + (x + (x + (x + g(x))))') = h(x). % Problem 177 Given=1527. Generated=3150379. Kept=25919. proofs=0. User_CPU=300.00, System_CPU=1.15, Wall_clock=301. Process 5326 exit (max_seconds) Wed Jun 6 03:01:31 2007 x + (x + x)' = g(x). x + (x + (x + (x + (x + g(x))))') = h(x). % Failed 300.00 seconds PROBLEM 177 ---------------------------------------------------------------------- x + (x + x)' = g(x). x + (x + (x + (x + g(x))))' = h(x). % Problem 178 Given=1548. Generated=3109392. Kept=26121. proofs=0. User_CPU=300.00, System_CPU=1.18, Wall_clock=301. Process 5331 exit (max_seconds) Wed Jun 6 03:06:32 2007 x + (x + x)' = g(x). x + (x + (x + (x + g(x))))' = h(x). % Failed 300.00 seconds PROBLEM 178 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). x + g(x)' = h(x). % Problem 179 Given=2115. Generated=3870871. Kept=29557. proofs=0. User_CPU=300.00, System_CPU=1.42, Wall_clock=301. Process 5336 exit (max_seconds) Wed Jun 6 03:11:33 2007 (x + (x + (x + x)))' = g(x). x + g(x)' = h(x). % Failed 300.00 seconds PROBLEM 179 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). x + (x + g(x)') = h(x). % Problem 180 Given=1983. Generated=3749374. Kept=25619. proofs=0. User_CPU=300.00, System_CPU=1.34, Wall_clock=302. Process 5341 exit (max_seconds) Wed Jun 6 03:16:35 2007 (x + (x + (x + x)))' = g(x). x + (x + g(x)') = h(x). % Failed 300.00 seconds PROBLEM 180 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). x + (x + g(x)) = h(x). % Problem 181 Given=1296. Generated=3934854. Kept=28657. proofs=0. User_CPU=300.00, System_CPU=1.56, Wall_clock=301. Process 5346 exit (max_seconds) Wed Jun 6 03:21:36 2007 (x + (x + (x + x)))' = g(x). x + (x + g(x)) = h(x). % Failed 300.00 seconds PROBLEM 181 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). (x + g(x))' = h(x). % Problem 182 Given=1716. Generated=3429989. Kept=24769. proofs=0. User_CPU=300.00, System_CPU=1.01, Wall_clock=301. Process 5354 exit (max_seconds) Wed Jun 6 03:26:37 2007 (x + (x + (x + x)))' = g(x). (x + g(x))' = h(x). % Failed 300.00 seconds PROBLEM 182 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). x + (x + (x + g(x))) = h(x). % Problem 183 Given=1040. Generated=3030255. Kept=25654. proofs=0. User_CPU=300.00, System_CPU=1.10, Wall_clock=301. Process 5359 exit (max_seconds) Wed Jun 6 03:31:38 2007 (x + (x + (x + x)))' = g(x). x + (x + (x + g(x))) = h(x). % Failed 300.00 seconds PROBLEM 183 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). x + (g(x) + x') = h(x). % Problem 184 Given=1372. Generated=3199974. Kept=24480. proofs=0. User_CPU=300.00, System_CPU=1.02, Wall_clock=301. Process 5364 exit (max_seconds) Wed Jun 6 03:36:39 2007 (x + (x + (x + x)))' = g(x). x + (g(x) + x') = h(x). % Failed 300.00 seconds PROBLEM 184 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). x + (x + (x + g(x)')) = h(x). % Problem 185 Given=1702. Generated=4007961. Kept=25097. proofs=0. User_CPU=300.00, System_CPU=1.08, Wall_clock=302. Process 5369 exit (max_seconds) Wed Jun 6 03:41:41 2007 (x + (x + (x + x)))' = g(x). x + (x + (x + g(x)')) = h(x). % Failed 300.00 seconds PROBLEM 185 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). x + (x + (g(x) + x')) = h(x). % Problem 186 Given=1299. Generated=2745248. Kept=24071. proofs=0. User_CPU=300.00, System_CPU=0.87, Wall_clock=300. Process 5373 exit (max_seconds) Wed Jun 6 03:46:41 2007 (x + (x + (x + x)))' = g(x). x + (x + (g(x) + x')) = h(x). % Failed 300.00 seconds PROBLEM 186 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). x + (g(x) + (x + x)') = h(x). % Problem 187 Given=1855. Generated=4108810. Kept=24383. proofs=0. User_CPU=300.00, System_CPU=1.26, Wall_clock=302. Process 5378 exit (max_seconds) Wed Jun 6 03:51:43 2007 (x + (x + (x + x)))' = g(x). x + (g(x) + (x + x)') = h(x). % Failed 300.00 seconds PROBLEM 187 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). (x + (x + g(x)))' = h(x). % Problem 188 Given=1828. Generated=3391471. Kept=24608. proofs=0. User_CPU=300.00, System_CPU=1.04, Wall_clock=301. Process 5383 exit (max_seconds) Wed Jun 6 03:56:44 2007 (x + (x + (x + x)))' = g(x). (x + (x + g(x)))' = h(x). % Failed 300.00 seconds PROBLEM 188 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). x + (x + (g(x) + (x + x)')) = h(x). % Problem 189 Given=1819. Generated=3537119. Kept=23725. proofs=0. User_CPU=300.00, System_CPU=1.06, Wall_clock=301. Process 5388 exit (max_seconds) Wed Jun 6 04:01:45 2007 (x + (x + (x + x)))' = g(x). x + (x + (g(x) + (x + x)')) = h(x). % Failed 300.00 seconds PROBLEM 189 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). x + (x + (x + (x + g(x))')) = h(x). % Problem 190 Given=1585. Generated=3949577. Kept=26360. proofs=0. User_CPU=300.00, System_CPU=1.18, Wall_clock=301. Process 5393 exit (max_seconds) Wed Jun 6 04:06:46 2007 (x + (x + (x + x)))' = g(x). x + (x + (x + (x + g(x))')) = h(x). % Failed 300.00 seconds PROBLEM 190 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). x + (x + (x + (x + (x + g(x))'))) = h(x). % Problem 191 Given=1595. Generated=4119612. Kept=25348. proofs=0. User_CPU=300.00, System_CPU=1.20, Wall_clock=302. Process 5406 exit (max_seconds) Wed Jun 6 04:11:48 2007 (x + (x + (x + x)))' = g(x). x + (x + (x + (x + (x + g(x))'))) = h(x). % Failed 300.00 seconds PROBLEM 191 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). x + (x + (x + g(x))') = h(x). % Problem 192 Given=1734. Generated=4157836. Kept=26414. proofs=0. User_CPU=300.00, System_CPU=1.12, Wall_clock=301. Process 5411 exit (max_seconds) Wed Jun 6 04:16:49 2007 (x + (x + (x + x)))' = g(x). x + (x + (x + g(x))') = h(x). % Failed 300.00 seconds PROBLEM 192 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). x + (x + g(x))' = h(x). % Problem 193 Given=1955. Generated=3653989. Kept=26072. proofs=0. User_CPU=300.00, System_CPU=1.19, Wall_clock=301. Process 5416 exit (max_seconds) Wed Jun 6 04:21:50 2007 (x + (x + (x + x)))' = g(x). x + (x + g(x))' = h(x). % Failed 300.00 seconds PROBLEM 193 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). (x + (x + (x + g(x))))' = h(x). % Problem 194 Given=1796. Generated=4101344. Kept=24127. proofs=0. User_CPU=300.00, System_CPU=1.40, Wall_clock=302. Process 5424 exit (max_seconds) Wed Jun 6 04:26:52 2007 (x + (x + (x + x)))' = g(x). (x + (x + (x + g(x))))' = h(x). % Failed 300.00 seconds PROBLEM 194 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). x + (x + (x + (x + (x + g(x)))')) = h(x). % Problem 195 Given=1605. Generated=4167788. Kept=24755. proofs=0. User_CPU=300.00, System_CPU=1.15, Wall_clock=301. Process 5429 exit (max_seconds) Wed Jun 6 04:31:53 2007 (x + (x + (x + x)))' = g(x). x + (x + (x + (x + (x + g(x)))')) = h(x). % Failed 300.00 seconds PROBLEM 195 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). x + (x + (x + (x + g(x)))') = h(x). % Problem 196 Given=1636. Generated=4063985. Kept=25517. proofs=0. User_CPU=300.00, System_CPU=1.35, Wall_clock=301. Process 5434 exit (max_seconds) Wed Jun 6 04:36:54 2007 (x + (x + (x + x)))' = g(x). x + (x + (x + (x + g(x)))') = h(x). % Failed 300.00 seconds PROBLEM 196 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). x + (x + (x + g(x)))' = h(x). % Problem 197 Given=1678. Generated=3998342. Kept=25236. proofs=0. User_CPU=300.00, System_CPU=1.23, Wall_clock=302. Process 5439 exit (max_seconds) Wed Jun 6 04:41:56 2007 (x + (x + (x + x)))' = g(x). x + (x + (x + g(x)))' = h(x). % Failed 300.00 seconds PROBLEM 197 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). x + (x + (x + (g(x) + (x + x)'))) = h(x). % Problem 198 Given=1563. Generated=3949310. Kept=25597. proofs=0. User_CPU=300.00, System_CPU=1.22, Wall_clock=301. Process 5444 exit (max_seconds) Wed Jun 6 04:46:57 2007 (x + (x + (x + x)))' = g(x). x + (x + (x + (g(x) + (x + x)'))) = h(x). % Failed 300.00 seconds PROBLEM 198 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). x + (g(x) + (x + (x + (x + x)))') = h(x). % Problem 199 Given=1399. Generated=4328906. Kept=27906. proofs=0. User_CPU=300.00, System_CPU=1.22, Wall_clock=301. Process 5449 exit (max_seconds) Wed Jun 6 04:51:58 2007 (x + (x + (x + x)))' = g(x). x + (g(x) + (x + (x + (x + x)))') = h(x). % Failed 300.00 seconds PROBLEM 199 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). x + (x + (g(x) + (x + (x + x))')) = h(x). % Problem 200 Given=1709. Generated=3499684. Kept=25300. proofs=0. User_CPU=300.00, System_CPU=1.01, Wall_clock=301. Process 5454 exit (max_seconds) Wed Jun 6 04:56:59 2007 (x + (x + (x + x)))' = g(x). x + (x + (g(x) + (x + (x + x))')) = h(x). % Failed 300.00 seconds PROBLEM 200 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). x + (g(x) + (x + (x + x))') = h(x). % Problem 201 Given=1775. Generated=3434173. Kept=25108. proofs=0. User_CPU=300.00, System_CPU=1.04, Wall_clock=301. Process 5459 exit (max_seconds) Wed Jun 6 05:02:00 2007 (x + (x + (x + x)))' = g(x). x + (g(x) + (x + (x + x))') = h(x). % Failed 300.00 seconds PROBLEM 201 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). x + (x + (x + (x + (x + g(x))))') = h(x). % Problem 202 Given=1617. Generated=4180262. Kept=24376. proofs=0. User_CPU=300.00, System_CPU=1.28, Wall_clock=302. Process 5464 exit (max_seconds) Wed Jun 6 05:07:02 2007 (x + (x + (x + x)))' = g(x). x + (x + (x + (x + (x + g(x))))') = h(x). % Failed 300.00 seconds PROBLEM 202 ---------------------------------------------------------------------- (x + (x + (x + x)))' = g(x). x + (x + (x + (x + g(x))))' = h(x). % Problem 203 Given=1632. Generated=4067235. Kept=24713. proofs=0. User_CPU=300.00, System_CPU=1.43, Wall_clock=301. Process 5469 exit (max_seconds) Wed Jun 6 05:12:03 2007 (x + (x + (x + x)))' = g(x). x + (x + (x + (x + g(x))))' = h(x). % Failed 300.00 seconds PROBLEM 203 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). x + g(x)' = h(x). % Problem 204 Given=1680. Generated=3121653. Kept=28246. proofs=0. User_CPU=300.00, System_CPU=0.97, Wall_clock=301. Process 5474 exit (max_seconds) Wed Jun 6 05:17:04 2007 (x + (x + x'))' = g(x). x + g(x)' = h(x). % Failed 300.00 seconds PROBLEM 204 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). x + (x + g(x)') = h(x). % Problem 205 Given=1498. Generated=3009065. Kept=24396. proofs=0. User_CPU=300.00, System_CPU=0.92, Wall_clock=301. Process 5482 exit (max_seconds) Wed Jun 6 05:22:05 2007 (x + (x + x'))' = g(x). x + (x + g(x)') = h(x). % Failed 300.00 seconds PROBLEM 205 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). x + (x + g(x)) = h(x). % Problem 206 Given=1257. Generated=3935021. Kept=27720. proofs=0. User_CPU=300.00, System_CPU=1.13, Wall_clock=301. Process 5487 exit (max_seconds) Wed Jun 6 05:27:06 2007 (x + (x + x'))' = g(x). x + (x + g(x)) = h(x). % Failed 300.00 seconds PROBLEM 206 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). (x + g(x))' = h(x). % Problem 207 Given=1495. Generated=3015686. Kept=23857. proofs=0. User_CPU=300.00, System_CPU=1.03, Wall_clock=301. Process 5492 exit (max_seconds) Wed Jun 6 05:32:08 2007 (x + (x + x'))' = g(x). (x + g(x))' = h(x). % Failed 300.00 seconds PROBLEM 207 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). x + (x + (x + g(x))) = h(x). % Problem 208 Given=1100. Generated=3005234. Kept=25599. proofs=0. User_CPU=300.00, System_CPU=0.80, Wall_clock=301. Process 5497 exit (max_seconds) Wed Jun 6 05:37:09 2007 (x + (x + x'))' = g(x). x + (x + (x + g(x))) = h(x). % Failed 300.00 seconds PROBLEM 208 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). x + (g(x) + x') = h(x). % Problem 209 Given=1285. Generated=2889149. Kept=25043. proofs=0. User_CPU=300.00, System_CPU=1.04, Wall_clock=301. Process 5502 exit (max_seconds) Wed Jun 6 05:42:10 2007 (x + (x + x'))' = g(x). x + (g(x) + x') = h(x). % Failed 300.00 seconds PROBLEM 209 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). x + (x + (x + g(x)')) = h(x). % Problem 210 Given=1306. Generated=2791556. Kept=23714. proofs=0. User_CPU=300.00, System_CPU=0.81, Wall_clock=301. Process 5507 exit (max_seconds) Wed Jun 6 05:47:11 2007 (x + (x + x'))' = g(x). x + (x + (x + g(x)')) = h(x). % Failed 300.00 seconds PROBLEM 210 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). x + (x + (g(x) + x')) = h(x). % Problem 211 Given=1265. Generated=2596249. Kept=23604. proofs=0. User_CPU=300.00, System_CPU=0.85, Wall_clock=300. Process 5513 exit (max_seconds) Wed Jun 6 05:52:11 2007 (x + (x + x'))' = g(x). x + (x + (g(x) + x')) = h(x). % Failed 300.00 seconds PROBLEM 211 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). x + (g(x) + (x + x)') = h(x). % Problem 212 Given=1349. Generated=2811729. Kept=24142. proofs=0. User_CPU=300.00, System_CPU=0.87, Wall_clock=300. Process 5518 exit (max_seconds) Wed Jun 6 05:57:12 2007 (x + (x + x'))' = g(x). x + (g(x) + (x + x)') = h(x). % Failed 300.00 seconds PROBLEM 212 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). (x + (x + g(x)))' = h(x). % Problem 213 Given=1492. Generated=2828693. Kept=23923. proofs=0. User_CPU=300.00, System_CPU=0.96, Wall_clock=301. Process 5523 exit (max_seconds) Wed Jun 6 06:02:13 2007 (x + (x + x'))' = g(x). (x + (x + g(x)))' = h(x). % Failed 300.00 seconds PROBLEM 213 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). x + (x + (g(x) + (x + x)')) = h(x). % Problem 214 Given=1262. Generated=2744828. Kept=22842. proofs=0. User_CPU=300.00, System_CPU=0.81, Wall_clock=301. Process 5528 exit (max_seconds) Wed Jun 6 06:07:14 2007 (x + (x + x'))' = g(x). x + (x + (g(x) + (x + x)')) = h(x). % Failed 300.00 seconds PROBLEM 214 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). x + (x + (x + (x + g(x))')) = h(x). % Problem 215 Given=1228. Generated=2708326. Kept=23175. proofs=0. User_CPU=300.00, System_CPU=0.86, Wall_clock=301. Process 5533 exit (max_seconds) Wed Jun 6 06:12:15 2007 (x + (x + x'))' = g(x). x + (x + (x + (x + g(x))')) = h(x). % Failed 300.00 seconds PROBLEM 215 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). x + (x + (x + (x + (x + g(x))'))) = h(x). % Problem 216 Given=1195. Generated=2658958. Kept=23574. proofs=0. User_CPU=300.00, System_CPU=0.80, Wall_clock=301. Process 5538 exit (max_seconds) Wed Jun 6 06:17:16 2007 (x + (x + x'))' = g(x). x + (x + (x + (x + (x + g(x))'))) = h(x). % Failed 300.00 seconds PROBLEM 216 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). x + (x + (x + g(x))') = h(x). % Problem 217 Given=1315. Generated=2760656. Kept=24264. proofs=0. User_CPU=300.00, System_CPU=0.84, Wall_clock=301. Process 5546 exit (max_seconds) Wed Jun 6 06:22:17 2007 (x + (x + x'))' = g(x). x + (x + (x + g(x))') = h(x). % Failed 300.00 seconds PROBLEM 217 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). x + (x + g(x))' = h(x). % Problem 218 Given=1468. Generated=2886861. Kept=24547. proofs=0. User_CPU=300.00, System_CPU=0.96, Wall_clock=302. Process 5551 exit (max_seconds) Wed Jun 6 06:27:19 2007 (x + (x + x'))' = g(x). x + (x + g(x))' = h(x). % Failed 300.00 seconds PROBLEM 218 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). (x + (x + (x + g(x))))' = h(x). % Problem 219 Given=1504. Generated=2846793. Kept=23776. proofs=0. User_CPU=300.00, System_CPU=0.94, Wall_clock=301. Process 5618 exit (max_seconds) Wed Jun 6 06:32:20 2007 (x + (x + x'))' = g(x). (x + (x + (x + g(x))))' = h(x). % Failed 300.00 seconds PROBLEM 219 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). x + (x + (x + (x + (x + g(x)))')) = h(x). % Problem 220 Given=1191. Generated=2663561. Kept=23229. proofs=0. User_CPU=300.00, System_CPU=0.88, Wall_clock=301. Process 5711 exit (max_seconds) Wed Jun 6 06:37:21 2007 (x + (x + x'))' = g(x). x + (x + (x + (x + (x + g(x)))')) = h(x). % Failed 300.00 seconds PROBLEM 220 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). x + (x + (x + (x + g(x)))') = h(x). % Problem 221 Given=1227. Generated=2687045. Kept=23145. proofs=0. User_CPU=300.00, System_CPU=0.89, Wall_clock=300. Process 5716 exit (max_seconds) Wed Jun 6 06:42:21 2007 (x + (x + x'))' = g(x). x + (x + (x + (x + g(x)))') = h(x). % Failed 300.00 seconds PROBLEM 221 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). x + (x + (x + g(x)))' = h(x). % Problem 222 Given=1301. Generated=2774889. Kept=23697. proofs=0. User_CPU=300.00, System_CPU=0.81, Wall_clock=301. Process 5721 exit (max_seconds) Wed Jun 6 06:47:22 2007 (x + (x + x'))' = g(x). x + (x + (x + g(x)))' = h(x). % Failed 300.00 seconds PROBLEM 222 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). x + (x + (x + (g(x) + (x + x)'))) = h(x). % Problem 223 Given=1211. Generated=2684318. Kept=23406. proofs=0. User_CPU=300.00, System_CPU=0.84, Wall_clock=301. Process 5726 exit (max_seconds) Wed Jun 6 06:52:23 2007 (x + (x + x'))' = g(x). x + (x + (x + (g(x) + (x + x)'))) = h(x). % Failed 300.00 seconds PROBLEM 223 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). x + (g(x) + (x + (x + (x + x)))') = h(x). % Problem 224 Given=1200. Generated=2664297. Kept=23246. proofs=0. User_CPU=300.00, System_CPU=0.77, Wall_clock=301. Process 5731 exit (max_seconds) Wed Jun 6 06:57:24 2007 (x + (x + x'))' = g(x). x + (g(x) + (x + (x + (x + x)))') = h(x). % Failed 300.00 seconds PROBLEM 224 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). x + (x + (g(x) + (x + (x + x))')) = h(x). % Problem 225 Given=1236. Generated=2701796. Kept=23296. proofs=0. User_CPU=300.00, System_CPU=0.77, Wall_clock=301. Process 5736 exit (max_seconds) Wed Jun 6 07:02:25 2007 (x + (x + x'))' = g(x). x + (x + (g(x) + (x + (x + x))')) = h(x). % Failed 300.00 seconds PROBLEM 225 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). x + (g(x) + (x + (x + x))') = h(x). % Problem 226 Given=1285. Generated=2731742. Kept=23409. proofs=0. User_CPU=300.00, System_CPU=0.83, Wall_clock=301. Process 5741 exit (max_seconds) Wed Jun 6 07:07:26 2007 (x + (x + x'))' = g(x). x + (g(x) + (x + (x + x))') = h(x). % Failed 300.00 seconds PROBLEM 226 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). x + (x + (x + (x + (x + g(x))))') = h(x). % Problem 227 Given=1351. Generated=2877191. Kept=23927. proofs=0. User_CPU=300.00, System_CPU=1.02, Wall_clock=301. Process 5746 exit (max_seconds) Wed Jun 6 07:12:27 2007 (x + (x + x'))' = g(x). x + (x + (x + (x + (x + g(x))))') = h(x). % Failed 300.00 seconds PROBLEM 227 ---------------------------------------------------------------------- (x + (x + x'))' = g(x). x + (x + (x + (x + g(x))))' = h(x). % Problem 228 Given=1525. Generated=3140112. Kept=23945. proofs=0. User_CPU=300.00, System_CPU=1.06, Wall_clock=301. Process 5751 exit (max_seconds) Wed Jun 6 07:17:28 2007 (x + (x + x'))' = g(x). x + (x + (x + (x + g(x))))' = h(x). % Failed 300.00 seconds PROBLEM 228 ---------------------------------------------------------------------- (x + (x + x))' = g(x). x + g(x)' = h(x). % Problem 229 Given=1995. Generated=3726468. Kept=28952. proofs=0. User_CPU=300.00, System_CPU=1.07, Wall_clock=301. Process 5759 exit (max_seconds) Wed Jun 6 07:22:29 2007 (x + (x + x))' = g(x). x + g(x)' = h(x). % Failed 300.00 seconds PROBLEM 229 ---------------------------------------------------------------------- (x + (x + x))' = g(x). x + (x + g(x)') = h(x). % Problem 230 Given=1867. Generated=3496690. Kept=25036. proofs=0. User_CPU=300.00, System_CPU=1.04, Wall_clock=301. Process 5764 exit (max_seconds) Wed Jun 6 07:27:30 2007 (x + (x + x))' = g(x). x + (x + g(x)') = h(x). % Failed 300.00 seconds PROBLEM 230 ---------------------------------------------------------------------- (x + (x + x))' = g(x). x + (x + g(x)) = h(x). % Problem 231 Given=1366. Generated=3960657. Kept=28082. proofs=0. User_CPU=300.00, System_CPU=1.10, Wall_clock=301. Process 5769 exit (max_seconds) Wed Jun 6 07:32:31 2007 (x + (x + x))' = g(x). x + (x + g(x)) = h(x). % Failed 300.00 seconds PROBLEM 231 ---------------------------------------------------------------------- (x + (x + x))' = g(x). (x + g(x))' = h(x). % Problem 232 Given=1745. Generated=3348927. Kept=24125. proofs=0. User_CPU=300.00, System_CPU=0.94, Wall_clock=301. Process 5774 exit (max_seconds) Wed Jun 6 07:37:32 2007 (x + (x + x))' = g(x). (x + g(x))' = h(x). % Failed 300.00 seconds PROBLEM 232 ---------------------------------------------------------------------- (x + (x + x))' = g(x). x + (x + (x + g(x))) = h(x). % Problem 233 Given=1072. Generated=3076723. Kept=25880. proofs=0. User_CPU=300.00, System_CPU=0.98, Wall_clock=301. Process 5779 exit (max_seconds) Wed Jun 6 07:42:33 2007 (x + (x + x))' = g(x). x + (x + (x + g(x))) = h(x). % Failed 300.00 seconds PROBLEM 233 ---------------------------------------------------------------------- (x + (x + x))' = g(x). x + (g(x) + x') = h(x). % Problem 234 Given=1481. Generated=3229446. Kept=25795. proofs=0. User_CPU=300.00, System_CPU=1.08, Wall_clock=301. Process 5784 exit (max_seconds) Wed Jun 6 07:47:34 2007 (x + (x + x))' = g(x). x + (g(x) + x') = h(x). % Failed 300.00 seconds PROBLEM 234 ---------------------------------------------------------------------- (x + (x + x))' = g(x). x + (x + (x + g(x)')) = h(x). % Problem 235 Given=1723. Generated=3270415. Kept=24971. proofs=0. User_CPU=300.00, System_CPU=1.07, Wall_clock=302. Process 5789 exit (max_seconds) Wed Jun 6 07:52:36 2007 (x + (x + x))' = g(x). x + (x + (x + g(x)')) = h(x). % Failed 300.00 seconds PROBLEM 235 ---------------------------------------------------------------------- (x + (x + x))' = g(x). x + (x + (g(x) + x')) = h(x). % Problem 236 Given=1520. Generated=2845856. Kept=24124. proofs=0. User_CPU=300.00, System_CPU=0.88, Wall_clock=300. Process 5794 exit (max_seconds) Wed Jun 6 07:57:36 2007 (x + (x + x))' = g(x). x + (x + (g(x) + x')) = h(x). % Failed 300.00 seconds PROBLEM 236 ---------------------------------------------------------------------- (x + (x + x))' = g(x). x + (g(x) + (x + x)') = h(x). % Problem 237 Given=1865. Generated=3362031. Kept=25167. proofs=0. User_CPU=300.00, System_CPU=1.06, Wall_clock=301. Process 5799 exit (max_seconds) Wed Jun 6 08:02:38 2007 (x + (x + x))' = g(x). x + (g(x) + (x + x)') = h(x). % Failed 300.00 seconds PROBLEM 237 ---------------------------------------------------------------------- (x + (x + x))' = g(x). (x + (x + g(x)))' = h(x). % Problem 238 Given=1798. Generated=3391083. Kept=24638. proofs=0. User_CPU=300.00, System_CPU=1.17, Wall_clock=301. Process 5804 exit (max_seconds) Wed Jun 6 08:07:39 2007 (x + (x + x))' = g(x). (x + (x + g(x)))' = h(x). % Failed 300.00 seconds PROBLEM 238 ---------------------------------------------------------------------- (x + (x + x))' = g(x). x + (x + (g(x) + (x + x)')) = h(x). % Problem 239 Given=1731. Generated=3329806. Kept=24863. proofs=0. User_CPU=300.00, System_CPU=1.02, Wall_clock=301. Process 5809 exit (max_seconds) Wed Jun 6 08:12:40 2007 (x + (x + x))' = g(x). x + (x + (g(x) + (x + x)')) = h(x). % Failed 300.00 seconds PROBLEM 239 ---------------------------------------------------------------------- (x + (x + x))' = g(x). x + (x + (x + (x + g(x))')) = h(x). % Problem 240 Given=1568. Generated=3632599. Kept=24550. proofs=0. User_CPU=300.00, System_CPU=1.05, Wall_clock=301. Process 5814 exit (max_seconds) Wed Jun 6 08:17:41 2007 (x + (x + x))' = g(x). x + (x + (x + (x + g(x))')) = h(x). % Failed 300.00 seconds PROBLEM 240 ---------------------------------------------------------------------- (x + (x + x))' = g(x). x + (x + (x + (x + (x + g(x))'))) = h(x). % Problem 241 Given=1603. Generated=3625279. Kept=24375. proofs=0. User_CPU=300.00, System_CPU=1.09, Wall_clock=301. Process 5822 exit (max_seconds) Wed Jun 6 08:22:42 2007 (x + (x + x))' = g(x). x + (x + (x + (x + (x + g(x))'))) = h(x). % Failed 300.00 seconds PROBLEM 241 ---------------------------------------------------------------------- (x + (x + x))' = g(x). x + (x + (x + g(x))') = h(x). % Problem 242 ============================== PROOF ================================= % Proof 1 at 96.35 (+ 0.33) seconds: Winker2a. % Length of proof is 29. % Level of proof is 10. % Maximum clause weight is 23. % Given clauses 949. 1 (exists a exists b (a + b)' = a') # answer(Winker2a) # label(non_clause) # label(goal). [goal]. 6 x + y = y + x # label(Commutativity). [assumption]. 7 (x + y) + z = x + (y + z) # label(Associativity). [assumption]. 8 ((x + y)' + (x + y')')' = x # label(Robbins). [assumption]. 9 (x + (x + x))' = g(x). [assumption]. 10 x + (x + (x + g(x))') = h(x). [assumption]. 11 (x + y)' != x' # answer(Winker2a). [deny(1)]. 17 x + (y + z) = y + (x + z). [para(6(a,1),7(a,1,1)),rewrite([7(2)])]. 18 ((x + y)' + (y + x')')' = y. [para(6(a,1),8(a,1,1,1,1))]. 19 ((x + y)' + (y' + x)')' = x. [para(6(a,1),8(a,1,1,2,1))]. 20 ((x + (y + z))' + (x + (y + z'))')' = x + y. [para(7(a,1),8(a,1,1,1,1)),rewrite([7(6)])]. 26 x + (x + ((x + g(x))' + y)) = h(x) + y. [para(10(a,1),7(a,1,1)),rewrite([7(7)]),flip(a)]. 27 x + (y + (x + (x + g(x))')) = y + h(x). [para(10(a,1),7(a,2,2)),rewrite([17(6),7(5)])]. 29 ((x + (y + z))' + (y + (x + z)')')' = y. [para(17(a,1),8(a,1,1,1,1))]. 50 ((x' + y)' + (y + x)')' = y. [para(6(a,1),19(a,1,1))]. 54 (x + (y' + (x + (x + y)'))')' = (x + y)'. [para(19(a,1),8(a,1,1,2)),rewrite([6(5),7(5),6(7)])]. 64 (x + (y + (x + (x + y')'))')' = (x + y')'. [para(18(a,1),19(a,1,1,2)),rewrite([6(5),7(5),6(7)])]. 146 ((h(x) + y)' + (x + (x + ((x + g(x))' + y)'))')' = x + x. [para(26(a,1),20(a,1,1,1,1))]. 149 ((x + h(y))' + (y + (x + (y + (y + g(y))'))')')' = y. [para(27(a,1),8(a,1,1,1,1))]. 475 ((x + (y + (z + u)))' + (z + (x + (y + u))')')' = z. [para(7(a,1),29(a,1,1,1,1)),rewrite([7(6)])]. 8478 ((x + g(x))' + (h(x) + g(x)')')' = x. [para(54(a,1),149(a,1,1,2)),rewrite([6(4),6(9)])]. 8533 ((x + y)' + (y + ((x + g(x))' + (h(x) + g(x)')'))')' = y. [para(8478(a,1),50(a,1,1,1,1,1))]. 15801 ((h(x) + y)' + ((x + g(x))' + (x + (x + y))')')' = (x + g(x))'. [para(26(a,1),475(a,1,1,1,1))]. 18039 (g(x) + (h(x) + (h(x) + g(x)')')')' = x + x. [para(8478(a,1),146(a,1,1,2,1,2,2)),rewrite([9(11),6(10)])]. 18062 (x + (x + (g(x) + (h(x) + (h(x) + g(x)')'))'))' = g(x). [para(18039(a,1),8(a,1,1,2)),rewrite([6(12),7(12)])]. 23483 ((h(x) + g(x)')' + (g(x) + (x + g(x))')')' = (x + g(x))'. [para(18062(a,1),15801(a,1,1,2,1,2)),rewrite([64(13),6(10)])]. 23492 (h(x) + g(x)')' = g(x). [para(23483(a,1),8(a,1,1,2)),rewrite([6(11),7(11),6(16),8533(17)]),flip(a)]. 24432 (g(x) + (g(x)' + h(x)')')' = g(x)'. [para(23492(a,1),18(a,1,1,1))]. 24433 $F # answer(Winker2a). [resolve(24432,a,11,a)]. ============================== end of proof ========================== Given=949. Generated=1163392. Kept=24427. proofs=1. User_CPU=96.35, System_CPU=0.33, Wall_clock=97. Process 5827 exit (max_proofs) Wed Jun 6 08:24:19 2007 (x + (x + x))' = g(x). x + (x + (x + g(x))') = h(x). % Proved 96.35 seconds PROBLEM 242 ---------------------------------------------------------------------- (x + (x + x))' = g(x). x + (x + g(x))' = h(x). % Problem 243 ============================== PROOF ================================= % Proof 1 at 42.43 (+ 0.18) seconds: Winker2a. % Length of proof is 33. % Level of proof is 11. % Maximum clause weight is 27. % Given clauses 659. 1 (exists a exists b (a + b)' = a') # answer(Winker2a) # label(non_clause) # label(goal). [goal]. 6 x + y = y + x # label(Commutativity). [assumption]. 7 (x + y) + z = x + (y + z) # label(Associativity). [assumption]. 8 ((x + y)' + (x + y')')' = x # label(Robbins). [assumption]. 9 (x + (x + x))' = g(x). [assumption]. 10 x + (x + g(x))' = h(x). [assumption]. 11 (x + y)' != x' # answer(Winker2a). [deny(1)]. 17 x + (y + z) = y + (x + z). [para(6(a,1),7(a,1,1)),rewrite([7(2)])]. 18 ((x + y)' + (y + x')')' = y. [para(6(a,1),8(a,1,1,1,1))]. 19 ((x + y)' + (y' + x)')' = x. [para(6(a,1),8(a,1,1,2,1))]. 20 ((x + (y + z))' + (x + (y + z'))')' = x + y. [para(7(a,1),8(a,1,1,1,1)),rewrite([7(6)])]. 23 (x + (x + (y' + (x + y)'))')' = (x + y)'. [para(8(a,1),8(a,1,1,2)),rewrite([6(5),7(5),6(7)])]. 26 x + ((x + g(x))' + y) = h(x) + y. [para(10(a,1),7(a,1,1)),flip(a)]. 29 ((x + (y + z))' + (y + (x + z)')')' = y. [para(17(a,1),8(a,1,1,1,1))]. 30 x + (y + (x + g(x))') = y + h(x). [para(10(a,1),17(a,1,2)),flip(a)]. 43 ((x + (y + z))' + (z + (x + y)')')' = z. [para(7(a,1),18(a,1,1,1,1))]. 53 ((x + (y + z))' + (x + (z + y'))')' = x + z. [para(17(a,1),18(a,1,1,1,1)),rewrite([7(6)])]. 62 ((x' + y)' + (y + x)')' = y. [para(6(a,1),19(a,1,1))]. 67 ((x + ((y + z)' + (y + z')'))' + (y + x)')' = x. [para(8(a,1),19(a,1,1,2,1,1))]. 436 (x + (h(x) + g(x)')')' = (x + g(x))'. [para(30(a,1),23(a,1,1,2,1)),rewrite([6(4)])]. 479 ((x + g(x))' + (x + (h(x) + g(x)'))')' = x. [para(436(a,1),8(a,1,1,2)),rewrite([6(10)])]. 503 ((x + y)' + (y + ((x + g(x))' + (x + (h(x) + g(x)'))'))')' = y. [para(479(a,1),62(a,1,1,1,1,1))]. 548 ((h(x) + y)' + ((x + g(x))' + (x + y)')')' = (x + g(x))'. [para(26(a,1),29(a,1,1,1,1))]. 2545 (x + (y + (x + (z + (y + (x + (y + z'))')))'))' = (x + (y + z'))'. [para(53(a,1),19(a,1,1,2)),rewrite([6(7),7(7),7(6),6(10),7(10)])]. 7274 (g(x) + (x + (x + ((x + y)' + (x + y')')))')' = x + x. [para(9(a,1),67(a,1,1,2)),rewrite([7(8),6(11)])]. 21123 (g(x) + (x + (h(x) + (x + (h(x) + g(x)'))'))')' = x + x. [para(436(a,1),7274(a,1,1,2,1,2,2,2)),rewrite([6(11),26(12)])]. 21221 (x + (x + (x + (g(x) + (h(x) + (x + (h(x) + g(x)'))')))'))' = g(x). [para(21123(a,1),8(a,1,1,2)),rewrite([17(11),6(14),7(14)])]. 21328 ((x + (h(x) + g(x)'))' + (g(x) + (x + g(x))')')' = (x + g(x))'. [para(21221(a,1),548(a,1,1,2,1,2)),rewrite([17(15),2545(16),6(11)])]. 21333 (x + (h(x) + g(x)'))' = g(x). [para(21328(a,1),8(a,1,1,2)),rewrite([6(12),7(12),6(17),503(18)]),flip(a)]. 21467 (g(x) + (x + (g(x) + h(x)))')' = x + x. [back_rewrite(21123),rewrite([21333(8),6(4)])]. 21841 x + h(x) = x + x. [para(21333(a,1),20(a,1,1,2)),rewrite([6(3),6(7),21467(8)]),flip(a)]. 21849 (g(x) + (g(x)' + (x + x)')')' = g(x)'. [para(21333(a,1),43(a,1,1,1)),rewrite([21841(5)])]. 21850 $F # answer(Winker2a). [resolve(21849,a,11,a)]. ============================== end of proof ========================== Given=659. Generated=520278. Kept=21844. proofs=1. User_CPU=42.43, System_CPU=0.18, Wall_clock=42. Process 5829 exit (max_proofs) Wed Jun 6 08:25:01 2007 (x + (x + x))' = g(x). x + (x + g(x))' = h(x). % Proved 42.43 seconds PROBLEM 243 ---------------------------------------------------------------------- (x + (x + x))' = g(x). (x + (x + (x + g(x))))' = h(x). % Problem 244 Given=1851. Generated=3273868. Kept=24506. proofs=0. User_CPU=300.00, System_CPU=0.95, Wall_clock=301. Process 5830 exit (max_seconds) Wed Jun 6 08:30:02 2007 (x + (x + x))' = g(x). (x + (x + (x + g(x))))' = h(x). % Failed 300.00 seconds PROBLEM 244 ---------------------------------------------------------------------- (x + (x + x))' = g(x). x + (x + (x + (x + (x + g(x)))')) = h(x). % Problem 245 Given=1531. Generated=3702293. Kept=23655. proofs=0. User_CPU=300.00, System_CPU=1.22, Wall_clock=302. Process 5834 exit (max_seconds) Wed Jun 6 08:35:04 2007 (x + (x + x))' = g(x). x + (x + (x + (x + (x + g(x)))')) = h(x). % Failed 300.00 seconds PROBLEM 245 ---------------------------------------------------------------------- (x + (x + x))' = g(x). x + (x + (x + (x + g(x)))') = h(x). % Problem 246 Given=1570. Generated=3694551. Kept=24225. proofs=0. User_CPU=300.00, System_CPU=1.01, Wall_clock=301. Process 5838 exit (max_seconds) Wed Jun 6 08:40:05 2007 (x + (x + x))' = g(x). x + (x + (x + (x + g(x)))') = h(x). % Failed 300.00 seconds PROBLEM 246 ---------------------------------------------------------------------- (x + (x + x))' = g(x). x + (x + (x + g(x)))' = h(x). % Problem 247 Given=1651. Generated=3408889. Kept=24948. proofs=0. User_CPU=300.00, System_CPU=1.07, Wall_clock=301. Process 5842 exit (max_seconds) Wed Jun 6 08:45:06 2007 (x + (x + x))' = g(x). x + (x + (x + g(x)))' = h(x). % Failed 300.00 seconds PROBLEM 247 ---------------------------------------------------------------------- (x + (x + x))' = g(x). x + (x + (x + (g(x) + (x + x)'))) = h(x). % Problem 248 Given=1591. Generated=3089289. Kept=24913. proofs=0. User_CPU=300.00, System_CPU=0.96, Wall_clock=301. Process 5846 exit (max_seconds) Wed Jun 6 08:50:07 2007 (x + (x + x))' = g(x). x + (x + (x + (g(x) + (x + x)'))) = h(x). % Failed 300.00 seconds PROBLEM 248 ---------------------------------------------------------------------- (x + (x + x))' = g(x). x + (g(x) + (x + (x + (x + x)))') = h(x). % Problem 249 Given=1594. Generated=3736962. Kept=24018. proofs=0. User_CPU=300.00, System_CPU=1.04, Wall_clock=301. Process 5850 exit (max_seconds) Wed Jun 6 08:55:08 2007 (x + (x + x))' = g(x). x + (g(x) + (x + (x + (x + x)))') = h(x). % Failed 300.00 seconds PROBLEM 249 ---------------------------------------------------------------------- (x + (x + x))' = g(x). x + (x + (g(x) + (x + (x + x))')) = h(x). % Problem 250 Given=1079. Generated=3271732. Kept=26170. proofs=0. User_CPU=300.00, System_CPU=1.15, Wall_clock=301. Process 5854 exit (max_seconds) Wed Jun 6 09:00:09 2007 (x + (x + x))' = g(x). x + (x + (g(x) + (x + (x + x))')) = h(x). % Failed 300.00 seconds PROBLEM 250 Finished Wednesday, Jun 06, 09:00 AM 2007, processed 250, successes 4, failures 246.